Captulo 2

Derivabilidad de funciones
complejas
Objetivos
Distinguir los conceptos de diferenciabilidad en el plano real y de deriva-
bilidad en los complejos.
Estudiar la derivabilidad de las funciones elementales.
2.1. Sucesiones
Una sucesion compleja es una coleccion innita ordenada de n umeros com-
plejos, z
n

n=1
, z
n
C.
Dado que podemos escindir los terminos de la sucesion en parte real y parte
imaginaria, z
n
= x
n
+ iy
n
= (x
n
, y
n
), podemos considerar la sucesion compleja
como una sucesion en el plano real y aprovechar todos los conceptos heredados
del mismo.
La convergencia de una sucesion se dene del mismo modo que en cualquier
otro espacio metrico, teniendo en cuenta que la distancia entre dos n umeros
complejos, z, w, es [z w[.
Decimos que una sucesion compleja z
n

n=1
converge al valor lmite l C
si
> 0 , n
0
() N , tal que si n n
0
() , entonces [z
n
l[ < . (2.1)
Esta denicion reeja que a medida que avanza el ordinal de la sucesion, n,
los elementos z
n
estan comprendidos en bolas de radio cada vez mas peque no
con centro en el lmite l.
El concepto de convergencia de una sucesion se corresponde con la conver-
gencia simultanea de la parte real y de la parte imaginaria de la sucesion, del
mismo modo que una sucesion en R
2
converge si convergen las sucesiones reales
dadas por sus dos componentes:
Proposicion 2.1.1 Una sucesion compleja z
n

n=1
converge a un valor l =
a + ib C si y solo si x
n

n=1
converge a a y y
n

n=1
converge a b.
1
Como ['(z)[ [z[, tenemos que si la sucesion compleja converge, la sucesion
dada por la parte real converge al valor a,
[x
n
a[ = ['(z
n
l)[ [z
n
l[ < ,
para n n
0
(). Y lo mismo para la parte imaginaria.
A la inversa, si las partes real e imaginaria de la sucesion convergen a a y b,
respectivamente,
> 0 , n

0
() N , tal que si n n

0
() , entonces [x
n
a[ < ,
> 0 , n

0
() N , tal que si n n

0
() , entonces [y
n
b[ < ,
tomamos como n
0
() el mayor de n

0
(/

2), n

0
(/

2). Para n n
0
(),
[z
n
l[
2
= [x
n
a[
2
+[y
n
b[
2
<

2
2
+

2
2
=
2
,
y, por tanto, la sucesion converge a l. 2
Ejemplo 2.1.1 Convergencia de la sucesion z
n
= (n + i)/(i n)
lm
n
z
n
= lm
n
n + i
i n
= lm
n
n
2
1
n
2
+ 1
+ i lm
n
2n
n
2
+ 1
= 1 .
As pues, el concepto de convergencia de sucesiones complejas no aporta
ninguna novedad respecto al caso real. De hecho, se mantienen todas las propie-
dades elementales de los lmites de sucesiones reales. Si z
n

n=1
, w
n

n=1
son
dos sucesiones complejas convergentes a sus respectivos lmites, l, m, y es un
n umero complejo,
lm
n
(z
n
+ w
n
) = l + m , lm
n
z
n
w
n
= lm , lm
n
(z
n
) = l . (2.2)
2.2. Funciones complejas
Para denir los subconjuntos abiertos y cerrados de C, hacemos uso de la
identicacion con R
2
. Un subconjunto U de C es abierto si para todo x U
existe una bola centrada en x de radio r > 0 adecuado que este contenida en U.
Una funcion de variable compleja es una aplicacion f que asocia a cada
n umero de un subconjunto U C un unico valor complejo f(z),
f : U C
z f(z)
.
Usando la identicacion z = x + iy = (x, y), podemos ver las funciones
complejas como funciones de dos variables reales, con dos componentes,
f(z) = f(x + iy) = u(x, y) + iv(x, y) = (u(x, y), v(x, y)) = f(x, y) ,
denotando por u, v, las partes real e imaginaria de la funcion f. Denotaremos de
la misma manera la funcion f vista como funcion de variable compleja o como
funcion de dos variables reales, a pesar de que conceptualmente son dos objetos
matematicos distintos.
El paso de una forma a otra es sencillo. Para obtener f(x, y) a partir de f(z)
solo tenemos que descomponer z = x + iy en la expresion y aislar los terminos
dependientes de la unidad imaginaria.
2
Ejemplo 2.2.1 Expresar f(z) = z
2
como funcion de dos variables reales.
f(z) = z
2
= (x + iy)
2
= (x
2
y
2
) + i2xy u(x, y) = x
2
y
2
, v(x, y) = 2xy ,
f(x, y) = (x
2
y
2
, 2xy) .
A la inversa, tambien es facil pasar de la forma real a la forma compleja, sin
mas que tener en cuenta que x = (z + z)/2, y = (z z)/2i.
Ejemplo 2.2.2 Expresar f(x, y) = (x/(x
2
+ y
2
), y/(x
2
+ y
2
)) como funcion
de variable compleja.
f(z) =
x
x
2
+ y
2
i
y
x
2
+ y
2
=
z + z
2z z

z z
2z z
=
1
z
.
2.3. Continuidad de funciones complejas
Al igual que para sucesiones, podemos denir el concepto de lmite de una
funcion en un punto.
Sea f una funcion de variable compleja denida en un subconjunto U. Si a
es un punto de acumulacion de U, decimos que l C es el lmite de la funcion
f en a, lm
za
f(z) = l, si
> 0 , () > 0 tal que si 0 < [z a[ < () , entonces [f(z) l[ < . (2.3)
Esta denicion expresa simplemente que la imagen de valores proximos a a
esta proxima a l.
Al igual que suceda para el lmite de sucesiones, la existencia de lmite
de funciones esta relacionada con la existencia de lmite de las partes real e
imaginaria de la funcion:
Proposicion 2.3.1 Sea f : U C una funcion de variable compleja. Sea a
un punto de acumulacion de U. El lmite de la funcion f = u + iv en a es
l = b + ic C si y solo si, las funciones u, v tienen por lmite en a a b, c,
respectivamente.
La demostracion es analoga a la empleada para sucesiones.
Como la distancia en el plano real es la misma que en los complejos,
[z w[
2
= (x u)
2
+ (y w)
2
= |(x, y) (y, w)|
2
, (2.4)
la condicion de existencia de lmite de una funcion compleja es la misma que
para su equivalente funcion de variable real, as que esta denicion no aporta
novedades. Por ejemplo, la caracterizacion de la existencia de lmite por medio
de la convergencia de sucesiones es valida tambien en el dominio complejo:
Proposicion 2.3.2 Sea f : U C una funcion de variable compleja. Sea a
un punto de acumulacion de U. El lmite de la funcion f en a es l C si y
solo si, para toda sucesion z
n

n=1
convergente a a, contenida en U, la sucesion
f(z
n
)

n=1
converge a l.
3
En estas condiciones, el concepto de continuidad tampoco trae consigo ningu-
na novedad al introducir las funciones de variable compleja, ya que es equivalente
al mismo concepto para funciones en el plano real:
Una funcion f : U C es continua en un punto a U si
> 0 , () > 0 tal que si [z a[ < () , entonces [f(z) f(a)[ < . (2.5)
Comparando con las denicion de lmite, observamos que la condicion de
continuidad de f en a solo expresa que lm
za
f(z) = f(a). Es decir, la imagen de
valores proximos a a esta proxima a f(a).
La continuidad de una funcion esta relacionada con la continuidad de sus
partes real e imaginaria:
Proposicion 2.3.3 Sea f : U C una funcion de variable compleja. Sea a un
punto de U. La funcion f = u + iv es continua en a si y solo si, las funciones
u, v son continuas en a.
La condicion de continuidad se puede asimismo caracterizar por medio de
sucesiones:
Proposicion 2.3.4 Sea f : U C una funcion de variable compleja. La fun-
cion f es continua en a U si y solo si, para toda sucesion z
n

n=1
convergente
a a, contenida en U, la sucesion f(z
n
)

n=1
converge a f(a).
Las propiedades de la continuidad y de los lmites de funciones reales se
trasladan automaticamente al dominio complejo:
Proposicion 2.3.5 Sean f, g funciones continuas en un punto a. Sea C.
Las funciones f, f + g y fg son continuas en a. La funcion f/g es continua
en a si g(a) ,= 0.
Proposicion 2.3.6 Sea f una funcion continua en un punto a. Sea g una fun-
cion continua en el punto f(a). La funcion h = g f es continua en a.
Decimos que una funcion es continua en U si es continua en todos los puntos
de U. Llamamos dominio de continuidad de la funcion f al subconjunto de
puntos donde es continua dicha funcion.
Ejemplo 2.3.1 La funcion constante, f(z) = k C es continua en todo el
dominio complejo.
Claramente, sin mas que tomar cualquier valor (), para cualquier a C,
[z a[ < () [f(z) f(a)[ = 0 < .
Ejemplo 2.3.2 La funcion identidad, f(z) = z es continua en todo el dominio
complejo.
Tomando () = , para cualquier a C,
[z a[ < [f(z) f(a)[ = [z a[ < .
4
Ejemplo 2.3.3 Los polinomios complejos son funciones continuas en todo el
dominio complejo. Las funciones racionales son funciones continuas salvo en
los ceros del denominador.
Los monomios de la forma f(z) = az
n
son funciones continuas por ser pro-
ducto de funciones continuas, la funcion identidad y la funcion constante. Por
ello, los polinomios son funciones continuas, por ser suma de funciones continuas.
Las funciones racionales son cocientes de polinomios, funciones continuas,
por lo que son funciones continuas, salvo en los ceros del denominador.
Ejemplo 2.3.4 La funcion argumento en cualquier determinacion es disconti-
nua en el corte de la determinacion.
Consideremos por ejemplo la determinacion 2. La funcion (arg)
2
asigna a
cada n umero complejo un argumento
2
[0, 2). El corte de la determinacion,
C
2
, es la semirrecta real positiva. Veremos que el argumento no es continuo en
los reales positivos.
Para ello, tomemos una sucesion de n umeros complejos, z
n

n=1
, del primer
cuadrante que converja a un valor real a > 0. Como todos los z
n
estan en
el primer cuadrante, tienen argumento comprendido en (0, /2), con lo que la
sucesion arg(z
n
)
2

n=1
converge al argumento cero, que coincide con (arg a)
2
.
Pero si tomamos otra sucesion, z

n=1
, del cuarto cuadrante que converja
al mismo valor a > 0, por estar los argumentos de este cuadrante comprendidos
en (3/2, 2), el lmite la sucesion arg(z

n
)
2

n=1
es 2, distinto de cero.
Por tanto, la funcion argumento con la determinacion 2 no es continua
en la semirrecta C
2
. Con el mismo razonamiento se puede ver que la funcion
argumento en una determinacion no es continua en su corte C

, precisamente
por el salto de valor 2 que experimenta el argumento al cruzar C

.
2.4. Derivabilidad de funciones complejas
La denicion de derivada de una funcion de variable compleja es analoga a
la usada para funciones de variable real.
Decimos que una funcion denida en un abierto U C, f : U C es
derivable u holomorfa en un punto a U si existe el siguiente lmite
f

(a) = lm
za
f(z) f(a)
z a
, (2.6)
que denominaremos, si existe, derivada de la funcion f en a.
Al igual que en el caso real, de esta denicion se siguen notables consecuen-
cias:
Proposicion 2.4.1 Si una funcion f : U C C es derivable en un punto
a U, es continua en a.
Proposicion 2.4.2 Linealidad de la derivada: Sea C. Sean f, g funciones
de variable compleja derivables en un punto a. Entonces f +g, f son derivables
en a.
(f + g)

(a) = f

(a) + g

(a) , (f)

(a) = f

(a) . (2.7)
5
Proposicion 2.4.3 Regla de Leibniz: Sean f, g funciones de variable compleja
derivables en un punto a. Entonces fg es derivable en a y f/g es derivable en
a si g(a) ,= 0.
(fg)

(a) = f

(a)g(a) + f(a)g

(a) , (f/g)

(a) =
f

(a)g(a) f(a)g

(a)
g(a)
2
.
(2.8)
Proposicion 2.4.4 Regla de la cadena: Sean f, g funciones de variable com-
pleja derivables, respectivamente, en a y b = f(a). Entonces g f es derivable
en a.
(g f)

(a) = g

(b)f

(a) . (2.9)
Decimos que una funcion de variable compleja es derivable u holomorfa en
un subconjunto U C si es derivable en todos los puntos de U. A la region
donde una funcion f es derivable la denominamos dominio de holomorfa de
la funcion f. Si el dominio de holomorfa es C, diremos que la funcion es entera.
Ejemplo 2.4.1 La funcion constante f(z) = k C es entera.
Aplicando la denicion en un punto arbitrario a,
f

(a) = lm
za
f(z) f(a)
z a
= lm
za
k k
z a
= 0 .
Ejemplo 2.4.2 La funcion identidad f(z) = z es entera.
Aplicamos la denicion en un punto cualquiera a,
f

(a) = lm
za
f(z) f(a)
z a
= lm
za
z a
z a
= 1 .
Ejemplo 2.4.3 Las funciones polinomicas son enteras.
Consideremos en primer lugar un monomio f(z) = az
n
, donde n es un n umero
natural y a es un n umero complejo. Esta funcion es entera, ya que es el producto
de una funcion constante y n veces la funcion identidad, todas ellas enteras. Por
tanto, aplicando la regla de Leibniz,
f

(z) = az
n1
+ az
n1
. .
n
= anz
n1
.
Como toda funcion polinomica se obtiene como suma nita de monomios, es
entera.
Ejemplo 2.4.4 Las funciones racionales son holomorfas salvo en los ceros del
denominador.
Como las funciones racionales son cocientes de funciones polinomicas, que son
funciones enteras, las funciones racionales son holomorfas salvo en aquellos pun-
tos que anulan el denominador.
6
2.5. Diferenciabilidad de funciones reales
En el caso del concepto de derivabilidad, las analogas se vuelven confusas
si usamos la identicacion del dominio complejo con el plano real. Recordemos
la denicion de diferenciabilidad de una funcion de dos variables reales:
Sea f : U R
2
denida en un abierto U R
2
. Sea a = (a
1
, a
2
). Decimos
que f es diferenciable en a si existe una funcion lineal h : R
2
R
2
tal que,
lm
(x
1
,x
2
)(a
1
,a
2
)
|f(x
1
, x
2
) f(a
1
, a
2
) h(x a)|
|x a|
= 0 . (2.10)
A la aplicacion lineal h la denominaremos diferencial de f en a y la denota-
remos por df(a
1
, a
2
).
O lo que es lo mismo, descomponiendo h(x a) = b(x
1
a
1
) + c(x
2
a
2
),
existen dos vectores b, c R
2
tales que
lm
(x,y)(a
1
,a
2
)
|f(x
1
, x
2
) f(a
1
, a
2
) b(x
1
a
1
) c(x
2
a
2
)|
|x a|
= 0 . (2.11)
Esta relacion se suele denotar como f(x
1
, x
2
) = f(a
1
, a
2
) + b(x
1
a
1
) +
c(x
2
a
2
) + o(|x a|), es decir, que la diferencia entre el valor de f(x
1
, x
2
) y
su aproximacion lineal, f(a
1
, a
2
) + b(x
1
a
1
) + c(x
2
a
2
), es un omicron de
|x a|,
lm
(x
1
,x
2
)(a
1
,a
2
)
o(|x a|)
|x a|
= 0 . (2.12)
Decimos que f : U R
2
R
2
es diferenciable en U si lo es en todo punto
de U. En este caso denotamos la aplicacion diferencial de f como,
df : U L(R
2
; R
2
)
(x
1
, x
2
) df(x
1
, x
2
)
. (2.13)
La denicion de diferenciabilidad se relaciona con los conceptos de continui-
dad y de derivabilidad parcial:
Proposicion 2.5.1 Sea f : U R
2
R
2
una funcion diferenciable en a U.
Entonces f es continua en a y existen las derivadas parciales en a.
f(a
1
, a
2
)
x
= b ,
f(a
1
, a
2
)
y
= c . (2.14)
Este resultado permite interpretar la diferencial de la funcion como el termi-
no de orden uno del polinomio de Taylor de la funcion en a:
f(x
1
, x
2
) = f(a
1
, a
2
) +
f(a
1
, a
2
)
x
(x
1
a
1
) +
f(a
1
, a
2
)
y
(x
2
a
2
) +o(|x a|) .
(2.15)
Una condicion suciente de diferenciabilidad, basada solamente en las deri-
vadas parciales y que permite soslayar la denicion de diferencial, nos la pro-
porciona la siguiente proposicion:
Proposicion 2.5.2 Sea f : U R
2
R
2
una funcion con derivadas parciales
continuas en a U. Entonces la funcion es diferenciable en a.
7
Las funciones que tienen todas las derivadas parciales continuas se denomi-
nan funciones de clase C
1
.
Otro resultado interesante es el teorema de la funcion inversa:
Teorema 2.5.1 Teorema de la funcion inversa: Sea f : U R
2
una funcion
de clase C
1
denida en un abierto U R
2
. Sea a = (a
1
, a
2
) U un punto en
el que el jacobiano de f no se anula. Entonces existen entornos abiertos V de a
y W de f(a) de modo que la restriccion de f a V es biyectiva y f
1
es de clase
C
1
en W.
Ejemplo 2.5.1 El cambio a coordenadas polares es una aplicacion continua
con inversa de clase C
1
.
La funcion que dene el cambio a coordenadas polares en la determinacion,
por ejemplo, 2,
f : (0, ) (0, 2) R
2
(r, ) (r cos , r sin)
,
es una funcion de clase C
1
, ya que sus componentes son producto de funciones
que lo son. El jacobiano de f es r > 0, luego existe una inversa f
1
de clase C
1
,
por ejemplo, denida en el plano real salvo el corte C
2
.
2.6. Diferenciabilidad y holomorfa
A la vista de lo anterior, es tentador sugerir que una funcion de variable
compleja es derivable si es diferenciable como funcion de dos variables reales.
Pero los conceptos son maniestamente distintos.
Ejemplo 2.6.1 La funcion f(z) = z es diferenciable en todo el plano real, pero
no es holomorfa en ning un punto.
Que la funcion f(x, y) = (x, y) es diferenciable es trivial, ya que es una
funcion polinomica. Para comprobar su holomorfa, recurrimos a la denicion y
tratamos de calcular el lmite en cualquier valor a C,
lm
za
f(z) f(a)
z a
= lm
za
z a
z a
= lm
w0
w
w
, w = z a .
Pero este lmite no puede existir, ya que, si lo calculamos a lo largo del
eje real, w = x, obtenemos un valor distinto que a lo largo del eje imaginario,
w = iy,
lm
x0
x
x
= 1 , lm
y0
iy
iy
= 1 ,
por tanto, al no existir dicho lmite, la funcion no es derivable en ning un punto.
El problema radica en que el concepto de holomorfa es mas fuerte que
el concepto de diferenciabilidad real, como viene a demostrar el teorema de
Cauchy-Riemann:
Teorema 2.6.1 Teorema de Cauchy-Riemann: Sea f : U C una funcion
denida en un subconjunto abierto U C. La funcion f es holomorfa en a U
si y solo si:
8
1. f es diferenciable en a.
2.
f(a)
y
= i
f(a)
x
.
Ademas f

(a) =
f(a)
x
.
La demostracion de este teorema es inmediata. Si f es holomorfa en a,
lm
za
|f(z) f(a) f

(a)(z a)|
|z a|
= lm
za
_
_
_
_
f(z) f(a)
z a
f

(a)
_
_
_
_
= 0 .
Desarrollando esta expresion,
f(z) f(a) f

(a)(z a)
z a
=
f(z) f(a) f

(a)(x a
1
) if

(a)(y a
2
)
z a
,
de donde obtenemos la condicion de diferenciabilidad de f en a, junto con las
expresiones de las derivadas parciales,
f(a)
x
= f

(a) ,
f(a)
y
= if

(a) .
A la inversa, si f es diferenciable en a,
lm
(x,y)(a
1
,a
2
)
|f(x, y) f(a
1
, a
2
) b(x a
1
) c(y a
2
)|
|(x, y) (a
1
, a
2
)|
= 0 ,
y verica las relaciones entre las derivadas parciales, c = ib,
f(x, y) f(a
1
, a
2
) b(x a
1
) ib(y a
2
) = f(z) f(a) b(z a) ,
obtenemos la condicion de holomorfa,
0 = lm
za
|f(z) f(a) b(z a)|
|z a|
= lm
za
_
_
_
_
f(z) f(a)
z a
b
_
_
_
_
,
con b = f

(a). 2
Ejemplo 2.6.2 La funcion f(z) = z no es holomorfa en ning un punto.
Puesto que no verica las condiciones del teorema,
f(x + iy) = x iy
f(x + iy)
x
= 1 ,
f(x + iy)
y
= i ,= i .
Ejemplo 2.6.3 La funcion exponencial compleja es entera.
La funcion exponencial se separa en parte real e imaginaria,
f(z) = e
z
= e
x
(cos y + i siny) ,
y es diferenciable, porque la exponencial, el seno y el coseno reales son funciones
derivables. Comprobamos las condiciones de Cauchy-Riemann,
f(x + iy)
x
= e
x
(cos y + i siny) = e
z
,
f(x + iy)
y
= e
x
(sin y + i cos y) = ie
z
,
y concluimos que la funcion exponencial es entera y ademas f

(z) = e
z
.
9
Ejemplo 2.6.4 Las funciones seno y coseno trigonometrico e hiperbolico son
enteras.
Las funciones e
z
, e
z
, e
iz
, e
iz
son enteras, ya que son resultado de componer
la exponencial con funciones lineales de la forma g(z) = az, donde a = 1, i,
todas ellas enteras y con derivada g

(z) = a.
Por tanto, las funciones seno y coseno trigonometrico e hiperbolico son en-
teras, porque son sumas de funciones enteras.
Calculemos sus derivadas,
f(z) = sin z =
e
iz
e
iz
2i
, f

(z) =
e
iz
+ e
iz
2
= cos z ,
f(z) = cos z =
e
iz
+ e
iz
2
, f

(z) = i
e
iz
e
iz
2
= sinz ,
f(z) = sinh z =
e
z
e
z
2
, f

(z) =
e
z
+ e
z
2
= coshz ,
f(z) = coshz =
e
z
+ e
z
2
, f

(z) =
e
z
e
z
2
= sinh z .
Tambien podramos verlo comprobando las condiciones de Cauchy-Riemann.
Por ejemplo, el seno trigonometrico,
f(x + iy) = sin(x + iy) = sin xcoshy + i cos xsinh y ,
es una funcion diferenciable en todo el plano, porque sus componentes son
productos de funciones derivables reales. Ademas, verica las condiciones de
Cauchy-Riemann,
f(x + iy)
x
= cos xcosh y i sinxsinh y = cos(x + iy) ,
f(x + iy)
y
= sin xsinh y + i cos xcoshy = i cos(x + iy) ,
por lo que la funcion es entera con derivada f

(z) = cos z.
Ejemplo 2.6.5 Las funciones tangente, cotangente, secante y cosecante trigo-
nometricas e hiperbolicas son funciones holomorfas salvo en los ceros de sus
denominadores.
Todas estas funciones son cocientes de senos y cosenos, que son funciones
enteras. As que son funciones holomorfas, salvo donde se anulen sus denomina-
dores.
La funcion tangente es holomorfa salvo en los ceros del coseno, z = (2n +
1)/2, con n Z,
f(z) = tan z =
sin z
cos z
, f

(z) =
cos
2
z + sin
2
z
cos
2
z
= sec
2
z = 1 + tan
2
z .
La funcion cotangente es holomorfa salvo en los ceros del seno, z = n, con
n Z,
f(z) = cot z =
cos z
sin z
, f

(z) =
sin
2
z + cos
2
z
sin
2
z
= cosec
2
z = 1 cot
2
z .
10
La funcion secante es holomorfa salvo en los ceros del coseno, z = (2n+1)/2,
con n Z,
f(z) = sec z =
1
cos z
, f

(z) =
sin z
cos
2
z
= sec z tan z .
La funcion cosecante es holomorfa salvo en los ceros del seno, z = n, con
n Z,
f(z) = cosec z =
1
sin z
, f

(z) =
cos z
sin
2
z
= cosec z cot z .
La funcion tangente hiperbolica es holomorfa salvo en los ceros del coseno
hiperbolico, z = i(2n + 1)/2, con n Z,
f(z) = tanh z =
sinh z
coshz
, f

(z) =
cosh
2
z sinh
2
z
cosh
2
z
= sech
2
z = 1 tanh
2
z .
La funcion cotangente hiperbolica es holomorfa salvo en los ceros del seno
hiperbolico, z = in, con n Z,
f(z) = coth z =
coshz
sinhz
, f

(z) =
sinh
2
z cosh
2
z
sinh
2
z
= cosech
2
z = 1 coth
2
z .
La funcion secante hiperbolica es holomorfa salvo en los ceros del coseno
hiperbolico, z = i(2n + 1)/2, con n Z,
f(z) = sechz =
1
coshz
, f

(z) =
sinh z
cosh
2
z
= sechz tanh z .
La funcion cosecante hiperbolica es holomorfa salvo en los ceros del seno
hiperbolico, z = in, con n Z,
f(z) = cosechz =
1
sinh z
, f

(z) =
coshz
sinh
2
z
= cosechz coth z .
Las condiciones 2 del teorema se conocen como condiciones de Cauchy-
Riemann. Desglosandolas en parte real e imaginaria, f(x, y) = u(x, y)+iv(x, y),
se reducen a
u
x
=
v
y
,
u
y
=
v
x
, (2.16)
como se comprueba facilmente,
u
y
+ i
v
y
=
f
y
= i
f
x
= i
u
x

v
x
,
identicando parte real e imaginaria. 2
Con frecuencia usaremos una notacion abreviada para las derivadas parcia-
les, u
x
:= u/x.
Las condiciones de Cauchy-Riemann maniestan que la matriz jacobiana
real de la funcion f es antisimetrica,
_
u
x
u
y
v
x
v
y
_
=
_
u
x
v
x
v
x
u
x
_
,
11
y el jacobiano es positivo, u
2
x
+ v
2
x
= [f

[
2
0.
Si pensamos en las partes real e imaginaria como en un cambio de variable,
x =
z + z
2
, y =
z z
2i
,
f
z
=
f
x
x
z
+
f
y
y
z
=
1
2
_
f
x
i
f
y
_
,
f
z
=
f
x
x
z
+
f
y
y
z
=
1
2
_
f
x
+ i
f
y
_
,
observamos que las condiciones de Cauchy-Riemann tienen una interpretacion
clara,
f
z
=
f
x
,
f
z
= 0 . (2.17)
Las funciones holomorfas son las funciones diferenciables que dependen de z
a traves de esta variable, y no de z.
Finalmente, una cuarta manera de expresar las condiciones de Cauchy-
Riemann consiste en emplear coordenadas polares en el plano,
x = r cos , y = r sin .
donde es el argumento en una determinacion , ( 2, ), con lo cual
dicho cambio de variables no sera valido en el corte C

.
f
r
=
f
x
x
r
+
f
y
y
r
=
f
x
cos +
f
y
sin ,
f

=
f
x
x

+
f
y
y

= r
_

f
x
sin +
f
y
cos
_
.
Por tanto, si la funcion f es holomorfa, se vericaran las condiciones de
Cauchy-Riemann y obtendremos
f
r
= = f

(z)(cos + i sin) =
z
r
f

(z) ,
f

= rf

(z) sin + i cos = izf

(z) ,
de donde deducimos las condiciones de Cauchy-Riemann en coordenadas pola-
res,
f
r
=
i
r
f

, f

(z) =
r
z
f
r
, (2.18)
en cualquier determinacion.
Ejemplo 2.6.6 La funcion logaritmo es holomorfa salvo en el corte de la de-
terminacion.
Consideremos el logaritmo neperiano con la determinacion ,
f(z) = (ln z)

= log r + i

, z = re
i
,
12

(2, ). No puede ser holomorfa en el corte C

, ya que no es continua en
dicha semirrecta. La funcion es diferenciable, ya que el modulo y el argumento
son funciones diferenciables reales y el logaritmo es derivable fuera del origen.
Como las condiciones de Cauchy-Riemann se satisfacen,
f(re
i
)
r
=
1
r
,
f(re
i
)

= i ,
f
r
= i/rf

, la funcion es holomorfa salvo en el corte C

,
f

(z) =
r
z
f(z)
r
=
1
z
,
en cualquier determinacion.
Ejemplo 2.6.7 La potencia de exponente w C es holomorfa salvo en el corte
de la determinacion.
Tomamos cualquier determinacion,
f(z) = (z
w
)

= e
w(lnz)
= e
w(log r+i)
, z = re
i
,
Esta funcion es holomorfa salvo en el corte C

, ya que es composicion de
una funcion entera, la exponencial, y una funcion holomorfa salvo en el corte,
g(z) = (ln z)

. Aplicando la regla de la cadena,

f

(z) = e
wg(z)
wg

(z) = w
(z
w
)

z
= w(z
w1
)

,
expresion que depende de la determinacion escogida.
Como caso particular, w = 1/n, esta la raz, f(z) = (z
1/n
)

,
f

(z) =
1
n
(z
1+1/n
)

.
De la condicion suciente de diferenciabilidad de funciones reales, obtenemos
una condicion suciente de holomorfa:
Proposicion 2.6.1 Sea f = u + iv : U C una funcion de variable compleja.
Si las derivadas parciales u
x
, u
y
, v
x
, v
y
existen y al menos una derivada de u y
una derivada de v son continuas y verican las condiciones de Cauchy-Riemann
en a U, la funcion es holomorfa en a.
Finalmente, el teorema de la funcion inversa se puede adaptar al caso de
funciones holomorfas complejas:
Teorema 2.6.2 Sea f : U C una funcion holomorfa denida en un abierto
U C. Sea a U un punto en el que f

(a) ,= 0. Entonces existen entornos

abiertos V de a y W de f(a) de modo que la restriccion de f a V es biyectiva
y g = f
1
es holomorfa en W. Ademas, si w = f(z), g

(w) = 1/f

(z).
La demostracion es sencilla, usando el teorema de la funcion inversa para
funciones diferenciables reales. Hemos mencionado que la condicion de ser de
13
clase C
1
es redundante, como se vera mas adelante. As que solo hay que com-
probar que el jacobiano es positivo, pero hemos visto que el jacobiano de f en
a es [f

(a)[
2
, con lo cual, si f

(a) no se anula, tampoco se anula el jacobiano.

Por tanto, tenemos garantizado por el teorema de la funcion inversa para
funciones diferenciables reales, que existen entornos abiertos V de a y W de
f(a), de modo que la restriccion de f a V es biyectiva y f
1
es de clase C
1
en
W,
f : V R
2
(x, y) (u(x, y), v(x, y))
,
g : W R
2
(u, v) (x(u, v), y(u, v))
.
Solo falta comprobar que g es holomorfa, para lo cual solo es preciso ya usar
las condiciones de Cauchy-Riemann.
Las derivadas parciales de g existen, por ser diferenciable, y la matriz jaco-
biana de g es la inversa de la matriz jacobiana de f,
_
x
u
x
v
y
u
y
v
_
=
_
u
x
u
y
v
x
v
y
_
1
=
_
u
x
v
x
v
x
u
x
_
1
=
1
[f

[
2
_
u
x
v
x
v
x
u
x
_
,
usando las condiciones de Cauchy-Riemann para f.
Por tanto, g verica las condiciones de Cauchy-Riemann,
x
u
=
u
x
[f

[
2
= y
v
, x
v
=
v
x
[f

[
2
= y
u
,
y es, pues, holomorfa. Finalmente,
g

(w) =
g(u + iv)
u
= x
u
(u, v) + iy
u
(u, v)
=
u
x
(x, y)
u
x
(x, y)
2
+ v
x
(x, y)
2
i
v
x
(x, y)
u
x
(x, y)
2
+ v
x
(x, y)
2
=
1
u
x
(x, y) + iv
x
(x, y)
=
1
f

(z)
. 2
Ejemplo 2.6.8 La exponencial admite inversa holomorfa.
La derivada de la funcion exponencial f(z) = e
z
, f

(z) = e
z
no se anula nunca,
luego admite inversas locales holomorfas, g, tales que
g

(w) =
1
f

(z)
=
1
e
z
=
1
w
, w = e
z
, z = g(w) ,
lo cual es una manera alternativa de deducir la holomorfa de las funciones
logaritmo y calcular su derivada.
2.7. Funciones armonicas
Una propiedad importante de las funciones holomorfas es su relacion con las
funciones armonicas y la ecuacion de Laplace.
Decimos que una funcion real f denida en el plano real es armonica si
verica la ecuacion de Laplace, f(x, y) = f
xx
(x, y) + f
yy
(x, y) = 0.
14
Las funciones armonicas son de gran importancia en la fsica, ya que la
ecuacion de Laplace describe multitud de procesos fsicos estacionarios, como,
por ejemplo, la temperatura en una lamina plana en equilibrio, as como los
potenciales escalares de cualquier campo conservativo.
Supongamos que f : U C es una funcion holomorfa en U y que ademas su
derivada f

es tambien holomorfa. Posteriormente veremos que esta condicion

es redundante. Derivando las derivadas parciales y usando las condiciones de
Cauchy-Riemann, obtenemos
u
x
= v
y
u
y
= v
x
_

u
xx
= v
xy
u
yy
= v
yx
_
u
xx
+ u
yy
= 0 ,
haciendo uso del lema de Schwarz para las derivadas cruzadas, v
xy
= v
yx
.
De identica manera se concluye que v
xx
+v
yy
= 0. Es decir, ambas funciones
son armonicas.
Proposicion 2.7.1 Las partes real e imaginaria de una funcion holomorfa f :
U C son funciones armonicas.
Mas a un, supongamos que u es una funcion conocida. La teora de sistemas
de ecuaciones diferenciales nos asegura que el sistema diferencial para v dado
por
v
x
= u
y
, v
y
= u
x
,
es integrable si se cumple la condicion de integrabilidad, v
xy
= v
yx
, que es
precisamente la ecuacion de Laplace para u:
Proposicion 2.7.2 Sea u : U R una funcion armonica en el plano. Entonces
existe una funcion holomorfa f : U C, que tiene a u por parte real. La parte
imaginaria es la solucion del sistema v
x
= u
y
, v
y
= u
x
, que es unica salvo
constante.
De manera analoga se podra establecer un resultado similar para u.
El procedimiento para construir la parte imaginaria de la funcion holomorfa
es sencillo: En primer lugar se integra el sistema de ecuaciones diferenciales y
luego se introduce la variable compleja mediante la sustitucion x = (z + z)/2,
y = (z z)/2i. Obviamente, la condicion de holomorfa exige que la variable
conjugada no aparezca explcitamente en la expresion nal. Este procedimiento
se acostumbra denominar metodo de Milne-Thomson.
Ejemplo 2.7.1 Construir una funcion armonica que tenga por parte real a
u(x, y) = xy.
La funcion u es claramente armonica, ya que u
xx
(x, y) = 0 = u
yy
(x, y). La
parte imaginaria la obtenemos a partir de las condiciones de Cauchy-Riemann,
v
x
(x, y) = u
y
(x, y) = x
v
y
(x, y) = u
x
(x, y) = y
_

v(x, y) = x
2
/2 + g(y)
g

(y) = y
_
,
de donde obtenemos g(y) = y
2
/2 + k, v(x, y) = (y
2
x
2
)/2 + k, siendo k R
una constante.
15
Juntando las partes real e imaginaria,
f(z) = xy + i
y
2
x
2
2
+ ik = i
z
2
2
+ ik .
Una manera mas sencilla de verlo es darse cuenta de que una funcion holo-
morfa no depende de z, f(z) = f(x, y). Por tanto, la dependencia en z es la mis-
ma que la dependencia en x, ya que si tomamos y = 0, obtenemos f(z) = f(x).
As podemos reconstruir mas facilmente la funcion f a partir de sus valores
sobre los reales.
En el ejemplo anterior,
f(x, 0) =
x
2
2
+ ik f(z) = i
z
2
2
+ ik .
2.8. Representacion conforme
Consideremos una curva , parametrizada por : I C, una funcion
derivable, donde I = (a, b) es un intervalo de la recta real. La curva es la
imagen de , (I).
Si f : U C es una funcion inyectiva de variable compleja denida en
un abierto U C, dene una transformacion del subconjunto U en f(U), que
es biyectiva. Supongamos que f es holomorfa y que f

(z) no se anula en U.
Sabemos por el teorema de la funcion inversa que f
1
es tambien holomorfa en
f(U).
Supongamos que esta contenida en U, es decir, que (t) pertenece a U
para t I. Mediante la funcion f, la curva se transforma en otra curva f(),
parametrizada por = f , es decir, (t) = f((t)), para t I.

'(t0)
'(t0)
z0
'(t0)

'(t0)

Figura 2.1: Las transformaciones holomorfas respetan los angulos

Las velocidades de las curvas,

(t) y

(t), en los puntos respectivos z = (t)

y f(z) = (t), se relacionan por medio de la regla de la cadena,

(t) = f

(z)

(t) .
Los angulos que forman con una semirrecta dada las velocidades de las curvas
vienen dados por sus argumentos,
arg
_

(t)
_
= arg
_
f

(z)
_
+ arg
_

(t)
_
.
16
Por tanto, si consideramos una segunda curva

, tambien contenida en U,
parametrizada por :

I C, de modo que ambas se cortan en un punto
(t
0
) = z
0
= (

t
0
), resultara que el angulo que forman las dos curvas en z
0
,
denido como el angulo que forman sus velocidades,
arg
_

(t
0
)
_
arg
_

t
0
)
_
= arg
_

(t
0
)
_
arg
_

t
0
)
_
,
se mantiene al transformar las curvas por la funcion holomorfa f.
Por ello, se dice que las funciones holomorfas inyectivas que no se anulan
denen transformaciones conformes de abiertos del plano, ya que conservan
los angulos.
As pues, una funcion holomorfa, vista como transformacion del plano, tiene
dos efectos. Por una parte es una dilatacion en cada punto z
0
,
[

(t
0
)[ = [f

(z
0
)[ [

(t
0
)[,
ya que en cada punto z
0
los vectores experimentan una modicacion de su
longitud en un factor [f

(z
0
)[, y un giro de angulo igual a arg
_
f

(z
0
)
_
.
Los puntos donde f

(z) se anula son los puntos singulares de la transfor-

macion. La imagen de los vectores apoyados en un puntos singular es siempre
el vector nulo, tal como reejan las ecuaciones anteriores.
17