en el plano complejo

Integracion

4.1. Funciones complejas de variable real

Una funcion compleja de variable real es una funcion w : [a, b] C, donde
a b . La parte real y la parte imaginaria de w son dos funciones
reales de variable real:
w(t) = u(t) + iv(t),
de modo que, a todos los efectos, w puede interpretarse como una funcion w :
[a, b] R2 . Como tal, la definicion logica de derivada es
w (t) = u (t) + iv (t),
admitiendo que u y v son derivables en t.
Ejemplos 4.1.
(1) Si z0 = x0 + iy0 es constante y w(t) = u(t) + iv(t) es derivable, calcula la derivada de
z0 w(t).
i
i
i
dh
dh
dh
z0 w(t) =
(x0 + iy0 )(u + iv) =
(x0 u y0 v) + i(y0 u + x0 v)
dt
dt
dt
d
d
= (x0 u y0 v) + i (y0 u + x0 v) = (x0 u y0 v ) + i(y0 u + x0 v )
dt
dt

= (x0 + iy0 )(u + iv ),

4 Integracion en el plano complejo

38
es decir,

i
dh
z0 w(t) = z0 w (t).
dt

(2) Si z0 = x0 + iy0 es constante, calcula la derivada de ez0 t .

i
d h x0 t
d z0 t
e =
e cos(y0 t) + iex0 t sen(y0 t)
dt
hdt
i
h
i
x0 t
x0 t
x0 t
x0 t
= x0 e cos(y0 t) y0 e sen(y0 t) + i x0 e sen(y0 t) + y0 e cos(y0 t)
= x0 eiz0 t + iy0 ez0 t ,

o sea,

d z0 t
e = z0 ez0 t .
dt

Tal como ilustran los ejemplos, las reglas del calculo de funciones reales se
mantienen para funciones complejas de variable real (linealidad, regla del producto, regla del cociente y regla de la cadena). Tambien se mantienen la mayora de
los resultados (con alguna excepcion, como el teorema del valor medio, que no se
cumple para este tipo de funciones).
De manera analoga a las derivadas, las integrales de funciones complejas de
variable real se definen como
Z b
Z b
Z b
w(t) dt =
u(t) dt + i
v(t) dt,
a

donde se supone que u y v son funciones integrables en (a, b). Las integrales
pueden ser impropias. Esta definicion se resume en las dos identidades
Z b
Z b
Z b
Z b
Im w(t) dt.
w(t) dt =
Re w(t) dt,
Im
w(t) dt =
Re
a

Ejemplo 4.2. Evalua la integral

(1 + it)2 dt.
0
Z 1
Z 1
Z
2
2
(1 + it) dt =
(1 t ) dt + i
0

2t dt =

2
+ i.
3

Las propiedades de estas integrales estan heredadas de las de las integrales de

funciones reales:
(a) Linealidad:
Z bh
a

Z b
Z b
i
w2 (t) dt.
w1 (t) dt +
w1 (t) + w2 (t) dt =
a

4.1 Funciones complejas de variable real

39

(b) Aditividad:
Z

w(t) dt =

w(t) dt +

w(t) dt.

(c) Acotacion:
 Z b
Z b


 w(t) dt
|w(t)| dt.


a

Merece la pena ver la demostracion de la propiedad de acotacion, ya que es

algo mas elaborada que su equivalente real:
Z b

Z b


i
w(t) dt = e ,
= 
w(t) dt ,
a

por lo tanto

e w(t) dt =
w(t) dt = Re
a
Z b
Z b
 i

e w(t) dt =

|w(t)| dt.

As pues,

Re e

i
w(t) dt

Z b
 Z b




|w(t)| dt.
w(t)
dt


a

El teorema fundamental del calculo sigue siendo valido para este tipo de integrales. As, si U (t) es una primitiva de u(t) y V (t) es una primitiva de v(t),
entonces W (t) = U (t) + iV (t) es una primitiva de w(t) = u(t) + iv(t) ya que
W (t) = w(t). Entonces,
Z b
b
b


w(t) dt = U (t) + iV (t) = W (b) W (a).
a

Por analogo motivo, la regla del cambio de variable y la integracion por partes
siguen siendo validas para estas integrales.
Ejemplos 4.3.
(1) Integra

/4

eit dt.

Como ieit es una primitiva de eit ,



Z /4
/4
1
1
1
1
it
it 
i/4
e dt = ie  = ie
+ i = i + i = + i 1 .
0
2
2
2
2
0

4 Integracion en el plano complejo

40

(2) La integral del ejemplo 4.2 se puede hacer a partir de la relacion



d
(1 + it)3
i
= (1 + it)2 .
dt
3
Con ella,
Z 1
0


3 1
3
(1
+
it)
 = i (1 + i) + i = i (1 + 3i 3 i 1)
(1 + it)2 dt = i

3
3
3
3
0
i
2
=
(2i 3) = + i.
3
3

4.2. Contornos
El objetivo de esta seccion es definir integrales de funciones de variable compleja sobre curvas del plano complejo, as que tenemos que empezar por definir lo
que entendemos por una curva.
Una curva de C es una funcion : [a, b] C que a cada a t b le asocia
el numero complejo z(t) = x(t) + iy(t), donde x, y : [a, b] R son funciones
continuas. Decimos que la curva es una curva simple si z(t1 ) 6= z(t2 ) cuando
t1 6= t2 . Cuando z(a) = z(b) se dice que es una curva cerrada, y si cumple la
condicion de curva simple salvo en los extremos se dice que es una curva cerrada
simple.
Ejemplos 4.4.
(1) La lnea poligonal
(
x + ix
z(x) =
x+i

si 0 x 1,
si 1 x 2,

es una curva simple.

(2) La circunferencia de radio R y centrada en z0 C, z() = z0 + Rei , 0 2, es una
curva cerrada simple.
(3) La misma circunferencia parametrizada como z() = z0 + Rei es una curva distinta,
porque esta recorrida en sentido contrario.
(4) Tambien la curva z() = z0 + Rei2 es el mismo conjunto de puntos pero una curva
distinta, porque recorre dos veces la circunferencia. En este caso se trata de una curva cerrada
pero no simple.

Cuando la funcion z(t) es derivable, se dice que es una curva regular. La

longitud de una curva regular viene dada por la expresion
Z b
p

|z (t)| dt,
|z (t)| = x (t)2 + y (t)2 .
L() =
a

4.3 Integrales de contorno

41

En una curva regular en la que z (t) 6= 0 para a t b, el complejo

z (t)
(t) =
|z (t)|

representa el vector unitario tangente a la curva en z(t). Cuando z (t) es continua

decimos que es una curva suave. En este caso (t) cambia de manera continua
con t.
Finalmente, diremos que es un contorno si es una curva suave a trozos (z (t)
es continua a trozos) en el intervalo [a, b]. Del mismo modo que para las curvas se
definen contornos cerrados y contornos cerrados simples.

4.3. Integrales de contorno

Definicion 4.1. Sea un dominio de C, : [a, b] un contorno de dicho
dominio y f : C una funcion tal que f es continua a trozos en [a, b]. Se
define la integral de f sobre el contorno como
Z b
Z


f z(t) z (t) dt.
f (z) dz =
a

La integral de contorno as definida es equivalente a dos integrales de lnea de

dos campos vectoriales sobre , ya que si f (z) = u(x, y) + iv(x, y),
f (z)z = (u + iv)(x + iy ) = (ux vy ) + i(vx + uy ),
con lo que
Z

f (z) dz =

P1 dx + Q1 dy + i

P2 dx + Q2 dy,

siendo
P1 = u,

Q1 = v,

P2 = v,

Q2 = u.

La integral de contorno hereda, por tanto, las propiedades de las integrales de lnea
de campos vectoriales. As:
(1) son invariantes bajo cambios de parametrizacion que mantengan la orientacion
de la curva;
(2) si denota la curva orientada en sentido opuesto,
Z
Z
f (z) dz = f (z) dz;

4 Integracion en el plano complejo

42

(3) si 1 + 2 denota la concatenacion de dos curvas tales que el extremo final de

la primera es el extremo inicial de la segunda,
Z
Z
Z
f (z) dz.
f (z) dz +
f (z) dz =
1 +2

Tambien hereda las propiedades de las integrales de funciones complejas de

variable real:
(4) si , C y f y g son integrables sobre ,
Z
Z h
Z
i
f (z) + g(z) dz = f (z) dz + g(z) dz,

(5) y si |f (z)| M sobre ,


Z


 f (z) dz  M L().



La u ltima propiedad se sigue de que

 Z b
Z
Z b





f z(t) z (t) dt M
 f (z) dz 
|z (t)| dt = M L().


a

En cuanto a la propiedad (3), la forma mas general en la que puede expresarse es

Z
Z
Z
f (z) dz,
f (z) dz + +
f (z) dz =
1 n

cuando 1 , . . . , n son contornos tales que L(i j ) = 0 si i 6= j.

Ejemplos 4.5.

(1) Halla la integral

z dz, siendo = {z() = 2ei : /2 /2}.

Como

z () = i2ei ,

z() = 2ei ,
la integral valdra
Z

z dz =

(2) Halla la integral

/2
i

2e

2ie d = 4i

/2

/2

d = 4i.

/2

dz
siendo la circunferencia de radio R centrada en z = 0 y orientada
z

en sentido positivo.
Ahora

= {Rei : 0 2},

luego
Z

dz
=
z

iRei
d = i
Rei

d = 2i.

4.4 Independencia del contorno: primitivas

43

4.4. Independencia del contorno: primitivas

En general, las integrales de contorno dependen no solo de la funcion integrada
sino tambien del contorno. En algunos casos eso no es as, y resultan independientes del contorno de integracion. Vamos a estudiar en esta seccion cuando ocurre
esto.
Teorema 4.1. Sea un dominio de C y f : C; entonces, son equivalentes:
(a) dados los puntos z1 , z2 ,
Z

f (z) dz =

f (z) dz

para todo par de contornos 1 , 2 con origen en z1 y extremo final en z2 ;

(b) la integral de contorno
Z

f (z) dz = 0

para todo contorno cerrado .

Dem.: (a) (b) Tomando dos puntos distintos z1 , z2 cualesquiera, los dos
trozos en que dividen son dos contornos 1 , 2 con origen en z1 y extremo final
z2 . El contorno cerrado original se reconstruye como = 1 2 . Entonces,
Z
Z
Z
f (z) dz = 0.
f (z) dz
f (z) dz =

(b) (a) Dados dos contornos 1 , 2 como los de las hipotesis, el contorno =
1 2 es cerrado. Entonces
Z
Z
Z
f (z) dz = f (z) dz = 0.
f (z) dz
1

Para indicar claramente que el contorno de una integral de contorno es cerrado

se utiliza a veces la notacion
I
f (z) dz.

4 Integracion en el plano complejo

44

Definicion 4.2 (Primitiva). Sea un dominio de C y f : C una funcion

continua. Si existe una funcion holomorfa F : C tal que F (z) = f (z) para
todo z , decimos que F es una primitiva de f en .
Como ocurre en R, dos primitivas, F y G, de la misma funcion f difieren en
una constante compleja aditiva. La razon es que (F G) = 0, y si una funcion
holomorfa tiene derivada nula, las ecuaciones (CR) implican que tiene que ser
constante.
Cuando una funcion tiene primitiva, sus integrales de contorno verifican un
teorema fundamental del calculo:
Teorema 4.2. Sea f : C, con un dominio de C, una funcion continua
con una primitiva F en . Entonces, si es un contorno entre los puntos
z1 , z2 ,
Z
f (z) dz = F (z2 ) F (z1 ).

Dem.: La razon de este resultado es la identidad

d
F z(t) = F z(t) z (t) = f z(t) z (t),
dt

gracias a la cual, si es una curva suave,

Z b
Z b
Z




d
f z(t) z (t) dt =
f (z) dz =
F z(t) dt
dt
a

a
= F z(b) F z(a) = F (z2 ) F (z1 ).

Para un contorno general , cuyos trozos se unen en los puntos z1 , . . . , zn , correspondientes a valores del parametro a < t1 < . . . < tn < b, denotando t0 = a y
tn+1 = b,
Z
n Z t
n Z t
X
X
k+1
k+1 d




F z(t) dt
f (z) dz =
f z(t) z (t) dt =

dt

k=0 tk
k=0 tk
n h
X



i

=
F z(tk+1 ) F z(tk ) = F z(b) F z(b)
k=0

= F (z2 ) F (z1 ).

4.4 Independencia del contorno: primitivas

45

Para funciones cuya integral no depende del contorno, sino solo de los extremos, tiene sentido utilizar la notacion
Z
Z z2
f (z) dz = f (z) dz,

z1

siendo cualquier contorno que una los puntos z1 y z2 .

Teorema 4.3. Sea un dominio de C y f : I
C una funcion continua. Entonf (z) dz = 0 para todo contorno

ces, existe una primitiva de f en si y solo si

cerrado .

Dem.: Si F (z) = f (z) en , entonces, por el teorema 4.2,

Z
f (z) dz = F (z2 ) F (z1 ),

siendo z1 y z2 los extremos del contorno . Si es cerrado, z1 = z2 y el miembro

de la derecha se anula.
I
Por el teorema 4.1, si f (z) dz = 0 para todo contorno cerrado , las

integrales a lo largo de cualquier contorno no dependen del camino, sino solo de

los extremos. Tomemos z0 , z y definamos
Z z
F (z) =
f () d.
z0

Vamos a probar que F (z) = f (z). Para ello tomemos un entorno de z lo bastante
pequeno como para que este en , y tomemos h C tal que z + h este en ese
entorno. Entonces,
Z z+h
Z z
Z z+h
f () d.
F (z + h) F (z) =
f () d
f () d =
z0

z0

Como
Z

z+h

d = h

(lo que puede probarse tomando, por ejemplo, el contorno z(t) = z + th, con
0 t 1),
Z
i
1 z+h h
F (z + h) F (z)
f (z) =
f () f (z) d.
h
h z

4 Integracion en el plano complejo

46

Acotando esta expresion,



Z z+h h
i 
 F (z + h) F (z)


1


f (z)
f () f (z) d  .

h
|h|  z

Ahora bien, como f (z) es continua en , dado un > 0 arbitrario, podemos hacer
que |f () f (z)| < sin mas que tomar h de modo que |h| sea lo suficientemente
pequeno, con lo que



 F (z + h) F (z)
 1 |h| = ,


f
(z)
 |h|

h
lo que implica que



 F (z + h) F (z)

lm 
f (z) = 0
h0
h

y de ah que

F (z + h) F (z)
= f (z).
h0
h

F (z) = lm

Ejemplos 4.6.
(1) La integral
I

ez dz = 0

porque e tiene como primitiva e en C.

(2) La integral

dz
=0
z2

para todo contorno cerrado que no pase por z = 0, ya que una primitiva de 1/z 2 en C{0}
es 1/z.
(3) Vamos a hallar la integral
dz
z a
para cualquier contorno cerrado simple que rodee el punto z = a en sentido positivo, sin
pasar por e l. No podemos sin mas decir que vale 0 alegando que log(z a) es una primitiva
de 1/(z a), ya que la funcion log(z a) no es continua en todo C {a} debido al corte
que define la rama del logaritmo que uno adopte. As que hay que adoptar otra estrategia
para hallar la integral.
I

Para ello vamos a dividir la curva en dos trozos, como indica la figura: uno pequeno que
corte la semirrecta Re(z a) < 0, que denotaremos , y el resto, que denotaremos ,
ambos orientados en sentido positivo. Denotemos los puntos de division z1 y z2 , tal como se
indica en la figura.

4.4 Independencia del contorno: primitivas

47

z1

z2

Consideremos primero . Como e sta noZcruza la semirrecta Re(z a) < 0, una primitiva
dz
es F1 (z) = log(z a) tomada sobre la rama
de 1/(z a) que nos sirve para calcular
z
principal. Entonces,
Z
dz
= F1 (z1 ) F1 (z2 ) = ln |z1 a| + i( ) ln |z2 a| i( + )
z a


 z1 a 
 + i2( ).
= ln 
z2 a 

Para obtener la integral sobre tenemos que cambiar la rama del logaritmo. Entonces,
F2 (z) = log(z a), tomando la rama [0, 2), es una primitiva de 1/(z a) con la que
podemos calcular esa integral, luego
Z
dz
= F2 (z2 ) F2 (z1 ) = ln |z2 a| + i( + ) ln |z1 a| i( )
z a


 z1 a 

 + i2.
= ln 
z2 a 

Sumando las dos integrales,

I

dz
=
za

dz
+
za

(4) Hallemos la integral





 z1 a 
 z1 a 
dz
 + i2( ) ln 

= ln 
 z2 a  + i2 = 2i.
za
z2 a 
I

z dz,

donde es el contorno cerrado de la figura, que corta al eje real en 3 y en 3, orientado en

sentido positivo, y la raz esta tomada sobre la rama

z=

rei/2 ,

0 < 2.

4 Integracion en el plano complejo

48

Una integral as no puede realizarse directamente debido al corte sobre el eje real positivo,
as que, para hacerla, dividimos la curva en dos mitades, la que cae sobre el semiplano
Im z 0, que denotaremos + , y la que cae sobre el semiplano Im z 0, que denotaremos
.
Para hacer la integral sobre + buscamos una
rama de la raz que tenga el corte en Im z 0
y que coincida con nuestra definicion de z sobre el semiplano Im z 0. Dicha rama
corresponde a la determinacion /2 < 3/2. Para esa rama hay una primitiva valida
en Im z 0:
2
/2 < 3/2.
F+ (z) = r3/2 ei3/2 ,
3
Utilizandola,
Z

2
z dz = F+ (3) F+ (3) = 3 3(ei3/2 1) = 2 3(i + 1).
3

Para hacer la integral sobre buscamos una

rama de la raz que tenga el corte en Im z 0
y que coincida con nuestra definicion de z sobre el semiplano Im z 0. Dicha rama
corresponde a la determinacion /2 < 5/2. Para esa rama hay una primitiva valida en
Im z 0:
2
F (z) = r3/2 ei3/2 ,
/2 < 5/2.
3
Utilizandola,
Z

2
z dz = F (3) F (3) = 3 3(ei3 ei3/2 ) = 2 3(1 i).
3

Sumando las dos contribuciones,

I

z dz =

z dz +

z dz = 4 3.

4.5 Teorema de Cauchy-Goursat

49

4.5. Teorema de Cauchy-Goursat

Ya hemos visto al introducir las integrales de contorno que la integral de una
funcion f (z) = u(x, y) + iv(x, y) sobre un contorno cerrado simple orientado
en sentido positivo equivale a dos integrales de lnea reales:
I
I
I
f (z) dz = u dx v dy + i v dx + u dy.

Si u y v tienen derivadas parciales continuas en un dominio que contenga tanto

como la region R delimitada por , podemos aplicar el teorema de Green y
transformar la expresion anterior en
ZZ
ZZ
I
(ux vy ) dxdy.
(vx + uy ) dxdy + i
f (z) dz =

El resultado interesante es que si f (z) es holomorfa, entonces, por las ecuaciones

(CR), los dos integrandos se anulan y tenemos que
I
f (z) dz = 0.

Este resultado es bastante mas general de como lo acabamos de obtener. Para

empezar, no es necesario pedir que u y v tengan derivadas continuas (eso es algo
que, como veremos, esta garantizado por el hecho de que f (z) es holomorfa).
Ademas, el resultado se puede generalizar a contornos cerrados no simples. Eso
es evidente si tales contornos constan de un numero finito de lazos, ya que en
ese caso se descomponen en una suma de un numero finito de contornos cerrados
simples; pero ya no es evidente cuando el numero de lazos es infinito, y sin
embargo el resultado sigue siendo cierto en esos casos.
El teorema mas general que proporciona este resultado fue obtenido en una
primera version por Cauchy y expresado en su forma actual por Goursat, y es
conocido por ello como teorema de Cauchy-Goursat.
Teorema 4.4 (Cauchy-Goursat). Sea f : C una funcion holomorfa en un
dominio simplemente conexo C; entonces, para cada contorno cerrado
,
I
f (z) dz = 0.

Una consecuencia importante de este teorema es el siguiente resultado, consecuencia del teorema 4.3 combinado con el de Cauchy-Goursat:

4 Integracion en el plano complejo

50

Corolario 4.1. Toda funcion f (z) holomorfa en un dominio C simplemente

conexo tiene primitiva.
El teorema de Cauchy-Goursat admite una extension a dominios multiplemente
conexos:
Teorema 4.5. Sea un dominio de C, y sean
(a) un contorno cerrado simple orientado positivamente, y
(b) 1 , . . . , n un numero finito de contornos cerrados simples orientados positivamente, situados en el interior de y cuyos interiores tienen interseccion
vaca dos a dos.
Si f (z) es holomorfa en la region cerrada formada por los n + 1 contornos y la
region interior de excluidas las regiones interiores de 1 , . . . , n , entonces
I
n I
X
f (z) dz.
f (z) dz =

k=1

Dem.: La demostracion pasa por introducir unas curvas poligonales, que denotaremos l0 , l1 , . . . , ln , que unan el contorno k con el k+1 para todo k = 1, . . . , n, y
los contornos 1 y n con el , como ilustra la figura.

l0
l1
l2

l3

El resultado son dos contornos cerrados simples, 1 y 2 , tales que

1 + 2 =

n
X
k=1

k +

n
X
j=0

lj

n
X
j=0

lj =

n
X

k .

k=1

Para cada uno de estos dos contornos se verifican las condiciones del teorema de
Cauchy-Goursat, de modo que
I
I
f (z) dz = 0,
f (z) dz =
1

4.5 Teorema de Cauchy-Goursat

51

y, por tanto,
I

f (z) dz =

Pn
k=1 k

f (z) dz

n I
X
k=1

f (z) dz = 0.

Hay una manera mas compacta de expresar este resultado. Sea A una region
cerrada de C; su frontera, que denotaremos A, es, en general, la union de varios
contornos cerrados simples, orientados de tal manera que el interior de A quede
siempre a la izquierda de los contornos. Entonces, si f es holomorfa en A,
Z
f (z) dz = 0.
A

Esto incluye tambien el caso en que A sea simplemente conexo y su frontera un

u nico contorno.
En el caso particular en que A sea una region anular, cuya frontera consta de
un contorno exterior y otro interior, tenemos el siguiente resultado:
Corolario 4.2 (Principio de deformacion de caminos). Sean 1 y 2 dos contornos
cerrados simples orientados en sentido positivo, donde 2 esta en el interior de
1 . Si f (z) es holomorfa en la region cerrada formada por esos contornos y los
puntos situados entre ellos, entonces
I
I
f (z) dz.
f (z) dz =
2

El nombre de este corolario alude al hecho de que esta situacion corresponde

al caso en que el contorno 1 se pueda deformar continuamente hasta el 2 sin que
en ningun momento nos salgamos de la region en que f es holomorfa.
Ejemplos 4.7.
(1) Para hallar la integral
I

dz
za

sobre un contorno cerrado simple orientado en sentido positivo, trazamos la circunferencia

C = {z C : |z a| = }, donde > 0 es lo suficientemente pequeno como para que la
circunferencia este completamente en el interior de . Como 1/z es holomorfa entre y C,
incluidos ambos contornos,
I
I
dz
dz
=
.
C z a
za

4 Integracion en el plano complejo

52

La segunda integral es facil de parametrizar con z() = a + ei , 0 2, as que

I

dz
=
za

iei
d = i
ei

d = 2i,

un resultado que ya obtuvimos anteriormente, pero que obtenemos de nuevo aqu de una
forma mas sencilla.
(2) Halla las integrales
I

dz
,
2
z +1

z2

z
dz,
+1

donde es un contorno cerrado simple orientado positivamente que rodea los puntos i.
Como
1
1
=
2
z +1
2i

1
1

zi z+i

1
z
=
2
z +1
2

1
1
+
zi z+i

podemos escribir la primera integral como

I
I
I
dz
1
1
2i 2i
dz
dz
=

= 0,
2
2i z i 2i z + i
2i
2i
z +1
y la segunda como
I

1
z dz
=
2
z +1
2

1
dz
+
zi 2

2i 2i
dz
=
+
= 2i.
z+i
2
2

4.6. Formula
integral de Cauchy
Uno de los resultados mas importantes de la teora de funciones de variable
compleja es la formula integral de Cauchy.
Teorema 4.6 (Formula integral de Cauchy). Sea f (z) una funcion holomorfa en un
dominio C que contiene el contorno cerrado simple orientado positivamente
y su interior. Si a es un punto del interior de , entonces
I
f (z)
1
dz.
f (a) =
2i z a
Dem.: Como f es continua en a, para cada > 0 habra un entorno D(a, ) tal que
si z D(a, ), entonces |f (z) f (a)| < . Tomemos ahora un 0 < < tal que
la circunferencia
C = {z C : |z a| = }

4.6 Formula integral de Cauchy

53

este contenida ntegramente en el interior de . Como f (z)/(z a) es holomorfa

en , C y entre ambos contornos,
I
I
f (z)
f (z)
dz =
dz.
C za
za
Por otro lado, sabemos que

dz
= 2i,
za

luego podemos escribir

I
I
f (z) f (a)
f (z)
dz 2if (a) =
dz.
za
C
za

Ahora bien, en C,



 f (z) f (a)  |f (z) f (a)|


=
<
,
 za 

y la longitud de C es 2, luego

I
 f (z) f (a) 

dz  < 2

za

C
y, por tanto,

I

 f (z)
 < 2.

dz

2if
(a)

 za

Este resultado es valido para cualquier > 0, luego el valor absoluto de la izquierda debe valer 0, lo que prueba el resultado.
Ejemplo 4.8.
Este resultado permite hacer muchas integrales de contorno de una manera muy simple. Aunque
exploraremos esta va con mas detalle mas adelante, veamos aqu un simple ejemplo.
Vamos a calcular la integral
I
z dz
.
(9 z 2 )(z + i)
D(0,2)

Podemos escribir esta integral como

I
D(0,2)

f (z)

,
z (i)

f (z) =

z
,
(9 z 2 )

y, por la formula integral de Cauchy,

I
(i)

z dz
= 2if (i) = 2i
= .
2
(9 z )(z + i)
10
5
D(0,2)

54

4 Integracion en el plano complejo

4.7. Aplicaciones de la formula

integral de Cauchy
En esta seccion vamos a extraer consecuencias de la formula integral de Cauchy. Como veremos, de esta sencilla formula se siguen varios de los resultados
mas potentes de la teora de variable compleja.
4.7.1.

Derivadas de funciones holomorfas

Para empezar, la formula integral de Cauchy ofrece una representacion de una

funcion holomorfa en terminos de una integral dependiente de un parametro. Si
derivamos esa expresion, intercambiando derivada con integral sin preocuparnos
de si tal cosa es lcita, obtenemos la expresion
I
1
f ()
f (z) =
d,
2i ( z)2
que da como resultado la derivada de f (z) como una integral que involucra a f (z).
Pero es mas, podemos seguir haciendo sucesivas derivadas y encontrar la formula
I
n!
f ()
f (n) (z) =
d.
2i ( z)n+1
Desde luego, esto no garantiza que las sucesivas derivadas de f (z) existan, pero
es muy sugerente el hecho de que el integrando sea, para cualquier n y cualquier
z en el interior de , una funcion integrable (ya que tanto f () como 1/( z)n+1
son continuas sobre ). As que vamos a tratar de demostrar que, efectivamente,
la derivada de orden n esta dada por la expresion que acabamos de hallar.
Empezaremos por la primera derivada. Para ello tenemos que demostrar que
f (z + h) f (z)
f (z)
h
tiende a 0 cuando h 0. Utilicemos las formulas integrales para transformar la
expresion anterior en


I  
1
1
1
1
1
f () d,

2i h z h z
( z)2
siempre que 0 < |h| < d, siendo d = mn | z| la distancia de z a (para
que z + h este en el interior de ). Centremonos en el corchete del integrando

4.7 Aplicaciones de la formula integral de Cauchy

55

(denotaremos w = z para abreviar):



1
1
w2 w(w h) h(w h)
1
1
2=

h wh w
w
h(w h)w2
h2
h
=
=
.
2
h(w h)w
(w h)w2
Nos encontramos, pues, con que
f (z + h) f (z)
h
f (z) =
h
2i

f ()
d.
( z h)( z)2

Para probar que el miembro derecho tiende a 0 cuando h 0 vamos a acotar su

modulo. Por un lado, para todo ,
| z|2 d2 ,

| z h| || z| |h|| d |h|,

con lo que
1
1

.
|( z h)( z)2 | (d |h|)d2

Por otro lado, como f () es continua, sobre alcanzara su valor maximo M , de

modo que |f ()| M para todo . Entonces,


I
 h

f
()

 |h|M L() 0,
d
 2i ( z h)( z)2  2(d |h|)d2
h0

quedando, pues, probado que la expresion integral reproduce, de hecho, la derivada.

Vamos ahora a probar la formula para f (n) (z) por induccion. Dado que ya hemos dado el primer paso de induccion (probar que es valida para n = 1), vamos a
probar que si la formula sirve para f (n1) (z), entonces la derivada f (n) (z) existe y
esta dada por la misma formula. Para ello tendremos que demostrar que
f (n1) (z + h) f (n1) (z)
f (n) (z),
h
que utilizando las formulas se convierte en


I  
(n 1)!
1
n
1
1

f () d,

2i
( z h)n ( z)n
( z)n+1
h

4 Integracion en el plano complejo

56

tiende a 0 cuando h 0. Como antes, el corchete se convierte en



1
n
1
wn+1 w(w h)n hn(w h)n
1
n+1 =

h (w h)n wn
w
h(w h)n wn+1
wn+1 (w h)n (w + hn)
=
.
h(w h)n wn+1
Ahora bien,
(w h)n = wn nhwn1 +

n(n 1) 2 n2
hw
+ h3 R(w, h),
2

donde R(w, h) es un polinomio en w y h, luego

wn+1 (w h)n (w + hn) = wn+1 wn+1 + nhwn
3

2 2

h wR(w, h) nhw + n h w
=

n1

n(n 1) 2 n1
hw
2

n2 (n 1) 3 n2
hw
nh4 R(w, h)

n(n + 1) 2 n1

h),
hw
+ h3 R(w,
2

donde

n2 (n 1) n2

R(w, h) = wR(w, h)
w
nhR(w, h)
2
es otro polinomio en w y h. Entonces el corchete se reescribe como

h
hR(w,
h)
wn+1 (w h)n (w + hn) n(n + 1)
=
+
.
h(w h)n wn+1
2
(w h)n w2 (w h)n wn+1

Sobre , la funcion |R(w,

h)| es continua y, por tanto, su modulo alcanza un
valor maximo D. Por otro lado, como hemos visto antes,
|w h| d |h|,

|w| d.

Sabiendo esto,

 n+1

 


n

w



(w h) (w + hn)  n(n + 1) 
h
 hR(w, h) 




 (w h)n w2  +  (w h)n wn+1 
h(w h)n wn+1
2

|h|D
|h|
n(n + 1)
+
,
2
(d |h|)n d2 (d |h|)n dn+1

4.7 Aplicaciones de la formula integral de Cauchy

57

as que
 (n1)

(n1)
f

(z

h)

f
(z)
(n)



f
(z)


h


L()
(n 1)!D
(n + 1)!
|h|
+
0.

2(d |h|)n d2 (d |h|)n dn+1

2
h0
Podemos, en consecuencia, enunciar el siguiente teorema:

Teorema 4.7. Sea f : C una funcion holomorfa en el dominio simplemente conexo C; entonces, f C () y todas sus derivadas son, por tanto,
holomorfas en . Ademas, si es cualquier contorno cerrado simple orientado
positivamente de , la derivada n-esima se puede obtener mediante la formula
I
n!
f ()
(n)
f (z) =
d,
2i ( z)n+1
para todo z en el interior de . (Esta formula incluye, como caso n = 0, la formula
integral de Cauchy).
Una evidente consecuencia de este teorema es que si f (z) = u(x, y) + iv(x, y),
entonces u, v C ().
Ejemplos 4.9.

(1) Una consecuencia del teorema de las derivadas es que

I
dz
= 0,
n+1
(z a)
para todo n N y para todo contorno cerrado simple . La razon es que el valor de esta
integral es 2if (n) (z)/n!, siendo f (z) = 1 (el signo depende de la orientacion de ).
(2) Halla el valor de la integral
I

D(0,2)

z 3 + 2z + 1
dz.
(z 1)3

Denotando f (z) = z 3 + 2z + 1, el resultado de esta integral es

I
z 3 + 2z + 1
dz = if (1).
3
(z 1)
D(0,2)

Como f (z) = 6z,

I

D(0,2)

z 3 + 2z + 1
dz = 6i.
(z 1)3

4 Integracion en el plano complejo

58

4.7.2.

Teorema de Morera

Si f (z) es continua en un dominio (que puede ser multiplemente conexo)

y la integral sobre cualquier contorno cerrado de se anula, entonces sabemos,
por el teorema 4.3, que existe en una funcion F (z) tal que F (z) = f (z) para
todo z . La funcion F (z) es, por tanto, holomorfa en , y como f (z) es su
derivada, por el teorema de las derivadas sabemos que f (z) tiene que ser tambien
holomorfa. Este resultado, que limitado a dominios simplemente conexos resulta
ser el recproco del teorema de Cauchy-Goursat, se debe a E. Morera, y se puede
formular as:
Teorema 4.8 (Morera). Si f : C es continua en el dominio C y
I
f (z) dz = 0

para todo contorno cerrado , entonces f (z) es holomorfa en .

4.7.3.

Teorema del valor medio de Gauss

Teorema 4.9. Sea f (z) una funcion holomorfa en un dominio y sea z0 .

Entonces f (z0 ) es igual al valor medio de f (z) sobre cualquier circunferencia de
centrada en z0 y orientada positivamente.
Dem.: Denotemos Cr la circunferencia de dada por |z z0 | = r orientada
positivamente. Entonces, por la formula integral de Cauchy,
I
f (z)
1
dz,
f (z0 ) =
2i Cr z z0
y parametrizando Cr como z() = z0 + rei , con 0 2, la integral se
convierte en
Z 2


1
f z0 + rei d.
f (z0 ) =
2 0
Evidentemente, tomando la parte real e imaginaria de la formula del valor medio de Gauss, llegamos a la conclusion de que la misma formula la verifican todas
las funciones armonicas.

4.7 Aplicaciones de la formula integral de Cauchy

Ejemplo 4.10. Para evaluar la integral

59

ecos cos(sen ) d, razonamos de la siguiente manera:

cos

cos(sen ) = e

cos

i sen

Re e

Entonces, la integral se puede obtener como

Z

2
cos

cos(sen ) d = Re

cos +i sen

= Re e

d = Re

ei

ei

= Re e

f ei d,

definiendo f (z) = ez . En consecuencia, segun el teorema del valor medio de Cauchy,

Z

ecos cos(sen ) d = 2 Re f (0) = 2.

El teorema del valor medio de Gauss se puede utilizar para resolver de forma
aproximada la ecuacion de Laplace en un recinto, ya que la solucion, u(x, y) (una
funcion armonica) se puede aproximar en (x0 , y0 ) a partir de algunos de sus valores
sobre una circunferencia con centro en (x0 , y0 ). Este es el fundamento del metodo
de diferencias finitas para resolver la ecuacion de Laplace.
4.7.4.

Principio del modulo

maximo

En esta seccion vamos a estudiar las curiosas propiedades que tiene el modulo
de una funcion holomorfa respecto a su valor maximo.
Lema 4.1. Sea f (z) una funcion holomorfa en D(z0 , ). Si |f (z)| |f (z0 )| para
todo z D(z0 , ), entonces f (z) es constante en D(z0 , ).
Dem.: Dado 0 < < , el teorema del valor medio de Gauss nos asegura que
Z 2


1
f z0 + ei d,
f (z0 ) =
2 0
de donde obtenemos la acotacion

Z 2



1
f z0 + ei  d.
|f (z0 )|
2 0



Por otro lado, como por hipotesis f z0 + ei  |f (z0 )| para todo 0 2,
Z 2
Z 2



i
f z0 + e  d
|f (z0 )| d = 2|f (z0 )|,
0

4 Integracion en el plano complejo

60

luego
1
|f (z0 )|
2
Por lo tanto,




f z0 + ei  d.

Z 2



1
i 

d,
f z0 + e
|f (z0 )| =
2 0
o, lo que es lo mismo,
Z 2




|f (z0 )| f z0 + ei  d = 0.
0

Como el integrando es una funcion continua y no negativa en [0, 2], para que la
integral se anule el integrando debe ser 0, y, por tanto,
|f (z)| = |f (z0 )|
sobre la circunferencia de radio centrada en z0 . Este razonamiento es valido para
todo 0 < < , luego |f (z)| = |f (z0 )| para todo z D(z0 , ). Si el modulo de una
funcion holomorfa es constante en un dominio, entonces la funcion es constante
en ese dominio.
Con este lema podemos probar el siguiente resultado:
Teorema 4.10. Si una funcion f (z) es holomorfa y no constante en un dominio
C, entonces |f (z)| no tiene maximo en .
Dem.: Probaremos el contrapositivo de este teorema, es decir, si f (z) es holomorfa en y |f (z)| tiene maximo en , entonces f es constante.
Supongamos que |f (z)| alcanza un maximo en z0 . Sea z0 cualquier otro
punto de . Como es conexo, construyamos una curva desde z0 a z0 . Sea d
la distancia de a . Elijamos n puntos sobre , z1 , . . . , zn , de tal modo que
zn = z0 y
|zk zk1 | < d,
k = 1, 2, . . . , n.

Ahora construyamos los entornos Dk = D(zk , d), k = 0, 1, . . . , n. Todos ellos

estan en porque es abierto y d es la distancia de a .
Por el lema anterior, f (z) es constante en D0 , luego f (z1 ) = f (z0 ) ya que
z1 D0 . Como |f (z0 )| es maximo en , tambien lo es |f (z1 )|, luego otra vez por
el lema f (z) es constante en D1 y, por tanto, f (z2 ) = f (z0 ), ya que z2 D1 .
Repitiendo el razonamiento llegamos a que f (z0 ) = f (z0 ). El punto z0 estaba
elegido arbitrariamente en , luego f (z) = f (z0 ) para todo z .

4.7 Aplicaciones de la formula integral de Cauchy

61

Y este teorema nos conduce a la siguiente conclusion:

Corolario 4.3 (Principio del modulo maximo). Sea un dominio acotado de C
y f (z) una funcion holomorfa en . Supongamos que f (z) es continua en ;
entonces |f (z)| alcanza su valor maximo en , y e ste se encuentra en .
Dem.: Como es un conjunto cerrado y acotado, |f (z)|, que es una funcion continua, alcanza su valor maximo en . Como por el teorema anterior |f (z)| no puede
ser maximo en , el maximo debe estar en = .
Ejemplo 4.11. Consideremos la funcion f (z) = sen z en el rectangulo 0 Re z , 0 Im z
1. Denotando z = z + iy, sabemos que
| sen z| =

sen2 x + senh2 y;

entonces, | sen z| es maximo cuando lo son sen2 x en 0 x , y senh2 y en 0 y 1,

independientemente. La primera es maxima en x = /2, y la segunda en y = 1, y el punto
z = 2 + i esta en la frontera del rectangulo.

Evidentemente, el principio del modulo maximo tiene una contrapartida para

el modulo mnimo si f (z) 6= 0, ya que entonces el mnimo de |f (z)| es el maximo
de la funcion |1/f (z)|.
Tambien existe un principio de modulo maximo para funciones armonicas:
Corolario 4.4 (Principio del modulo maximo para funciones armonicas). Sea
u(x, y) una funcion armonica en el dominio acotado de R2 . Supongamos que
u(x, y) es continua en ; entonces el maximo de u(x, y) se alcanza sobre .
Dem.: Sea v(x, y) la armonica conjugada de u(x, y). Entonces f (z) = u(x, y) +
iv(x, y) es holomorfa en y continua en , y lo mismo cabe decir de F (z) =
ef (z) . Entonces, por el principio de modulo maximo |F (z)| = eu(x,y) alcanza su
maximo sobre . Como la exponencial es monotona creciente estricta, lo mismo
ocurre con u(x, y).
4.7.5.

Teorema de Liouville

Cuando la funcion f (z) es holomorfa en una region que contiene el disco cerrado D(z0 , R),
I
f (z)
n!
dz,
f (n) (z0 ) =
2i CR (z z0 )n+1

4 Integracion en el plano complejo

62

siendo CR = D(z0 , R). Denotemos por MR el valor maximo de |f (z)| sobre CR .

Entonces,
n!MR
|f (n) (z0 )|
.
Rn
Esta desigualdad se conoce como desigualdad de Cauchy. Para el caso particular
n = 1 afirma que
MR
,
|f (z0 )|
R
una desigualdad que nos va a permitir obtener el siguiente resultado:
Teorema 4.11 (Liouville). Si f (z) es holomorfa y acotada en todo C, entonces es
constante.
Dem.: Al ser f holomorfa en todo C, la desigualdad de Cauchy es valida para
todo R y z0 . Como |f (z)| M , para algun M > 0, en todo el plano complejo,
tenemos que
M
|f (z)|
R
para todo z C y todo R > 0. En consecuencia, f (z) = 0 en todo C, y por tanto
f es constante.
4.7.6.

Teorema fundamental del Algebra

Uno de los resultados mas importantes de la teora de variable compleja es que

todo polinomio de grado n tiene exactamente n races complejas (contada cada
raz tantas veces como sea su multiplicidad). Esto se conoce como teorema funda
mental del Algebra.
El teorema es una consecuencia del teorema de Liouville.

Corolario 4.5 (Teorema fundamental del Algebra).

Todo polinomio
P (z) = a0 + a1 z + + an z n

(an 6= 0),

de grado n 1 tiene n races complejas (contando su multiplicidad).

Dem.: En realidad basta probar que P (z) tiene al menos una raz, ya que si z1
es una raz de P (z), entonces Q1 (z) = P (z)/(z z1 ) es un polinomio de grado
n 1.1 El mismo resultado asegura que Q1 (z) tiene al menos una raz z2 (igual o
distinta), con lo que Q2 (z) = Q1 (z)/(z z2 ) es un polinomio de grado n 2, y
as sucesivamente hasta llegar a un polinomio de grado 0.
1

Para probarlo basta hacer una division por Ruffini y comprobar que el resto es P (z1 ) = 0.

4.7 Aplicaciones de la formula integral de Cauchy

63

Vamos, pues, a probar que P (z) tiene al menos una raz. Procederemos por reduccion al absurdo, suponiendo que P (z) 6= 0 para todo z C. Entonces 1/P (z)
es holomorfa en C. Vamos a ver que tambien es acotada en C. Para ello escribamos
w=

a1
an1
a0
+
+

+
,
z n z n1
z

de modo que P (z) = (an + w)z n . Como

|w|

|a0 |
|a1 |
|an1 |
+
+

+
,
|z n | |z n1 |
|z|

podemos hacer que |w| sea arbitrariamente pequeno en la region |z| > R sin mas
que tomar R suficientemente grande. Elijamos R de tal modo que |w| < |an |/2;
entonces

 |an |
|an + w| |an | |w| >
,
2
con lo que
1
1
2
=
<
|P (z)| |an + w||z|n
|an |Rn
para todo |z| > R. As que 1/P (z) es acotada fuera del disco cerrado D(0, R).
Pero en el disco cerrado tambien es acotada porque se trata de una funcion continua en un conjunto cerrado y acotado, as que 1/P (z) es acotada en todo C. Por
el teorema de Liouville, 1/P (z) debe ser constante, luego P (z) = const., lo que
contradice el hecho de que ningun polinomio de grado n 1 es constante.
En conclusion, tiene que existir algun z1 C tal que P (z1 ) = 0.
4.7.7.

Teorema de Taylor finito

Teorema 4.12. Sea f (z) una funcion holomorfa en el disco D(a, R); entonces,
para todo z D(a, R),
f (n) (a)
f (a)
2
(z a) + +
(z a)n
f (z) = f (a) + f (a)(z a) +
2!
n!
n+1
+ Rn+1 (z)(z a) ,

donde

1
Rn+1 (z) =
2i

f ()
d,
( z)( a)n+1

siendo D(a, R) un contorno cerrado simple que rodea los puntos a y z.

4 Integracion en el plano complejo

64

Dem.: Para el z dado y cualquier , escribamos

1
1
1
1
=
=
.
z
( a) (z a) a 1 z a
a
Como y z esta en el interior de ,
w=

za
6= 1.
a

Si w C es tal que w 6= 1, entonces sabemos que

n
X
k=0

de donde

1 wn+1
,
w =
1w
k

X
1
wn+1
k
=
.
w +
1w
1w
k=0

Haciendo w = (z a)/( a) en esta expresion,

k
n+1

n 
X
1
1
za
za
+
,
za =
za a

a
1
1
k=0
a
a
con lo que multiplicando por 1/( a) llegamos a la identidad

n+1
n
X
(z a)k
1
za
1
=
+
.
z
( a)k+1 z a
k=0

Multiplicando por f ()/2i e integrando sobre ,

I
I
n
X
1
f ()
f ()
1
d =
d
(z a)k
2i z
2i ( a)k+1
k=0
I
f ()
1
d,
+ (z a)n+1
2i ( z)( a)n+1
y aplicando la formula integral de Cauchy para f (z) y sus derivadas, e identificando Rn+1 (z), obtenemos la formula de Taylor.