CAPITULO 6

Teora local de Cauchy

6.1

INTRODUCCION

Atravesaremos ahora la puerta de entrada a un mundo sin parangon en la teora de

funciones de una o varias variables reales. La llave: la formula de Cauchy, que al
expresar el valor en un punto de una funcion holomorfa en abiertos estrellados, de
momento como una especie de promedio integral de sus valores sobre un camino
cerrado que rodee al punto, permite representar (localmente, al menos) la funcion
como una integral dependiente de un parametro, con consecuencias adivinables en
algunos casos (analiticidad de las funciones holomorfas) o un tanto imprevisibles
en otros (teorema de Liouville, teorema fundamental del a lgebra, . . . )
La formula de Cauchy descansa, a su vez, en el teorema de Cauchy. Reflexionando a posteriori, parece absolutamente imposible que tal cantidad de resultados
se sustenten, finalmente, en algo que podra parecer una simple curiosidad: la integral de una funcion holomorfa en un disco (o, con la misma demostracion, en
un abierto estrellado) sobre un camino cerrado es nula (tambien si la funcion deja
de ser derivable en un punto, mientras mantenga la continuidad). Esta sera nuestra
primera version del teorema de Cauchy: mas adelante nos ocuparemos de extender
su alcance (comenzando por ampliar el a mbito de validez de la formula de Cauchy
en la denominada teora global de Cauchy).
Sin embargo, el examen de la demostracion del teorema de Cauchy revela la
causa de esta pequena maravilla, situandonos en terreno mas conocido. Basta encontrar una primitiva de la funcion dada para saber que la integral es nula, y esto reduce
el problema a probar la anulacion de la integral sobre el contorno de un triangulo
(teorema de Cauchy-Goursat). Una exposicion inmejorable de este planteamiento
puede verse en Open University: Integration/Cauchys Theorem I/Taylor Series.
The Open University Press, Milton Keynes (1974), p. 63; a partir de esa pagina se
encuentra perfectamente desglosada y explicada la demostracion, si bien bajo la
hipotesis de derivabilidad en todos los puntos.
Los enunciados y demostraciones que nosotros utilizaremos se encuentran
basicamente en
Rudin, W.: Analisis real y complejo. (3a. ed.) McGraw-Hill/Interamericana,
Madrid (1987).
Como complemento en algunos detalles,
Conway, J. B.: Functions of One Complex Variable. (2nd ed.) Springer, New
York (1978).
93

94
6.2

Teora local de Cauchy

TEOREMA Y FORMULA
DE CAUCHY

1 Teorema. Sea
un abierto no vaco de C, f :
C continua. Son equivalentes:

(1.1) existe una primitiva de f en
, es decir, una funcion F H(
) tal que
F = f ;
(1.2) para todo camino cerrado contenido en
,


f (z) dz = 0;

(1.3) para dos caminos cualesquiera 1 , 2 contenidos en
que tengan los

mismos orgenes e iguales extremos,




f (z) dz =
f (z) dz.
1

Demostracion. (Recuerdese el teorema de los campos conservativos para formas

diferenciales reales).
(1.1) (1.2) Visto.
(1.2) (1.3) 1 (2 ) es un camino cerrado contenido en
.
(1.3) (1.1) Si
no es conexo, las componentes conexas de
son abiertos
disjuntos dos a dos cuya union es
. Por tanto, para construir una primitiva de f
en
es suficiente construir una primitiva de f en cada una de las componentes de

.
Sea, pues, G una componente conexa de
. Fijado a G, definimos F :
G C haciendo


F(z) =
f (w) dw,
z

donde z es cualquier camino contenido en G con origen a y extremo z (la funcion

F esta entonces bien definida por ser la integral independiente del camino). Esta
funcion F es derivable, y para cada z 0 G es F  (z 0 ) = f (z 0 ). En efecto: dado
z 0 G, tomemos de modo que D(z 0 ; ) G; si 0 es un determinado camino
contenido en G con origen a y extremo z 0 , para cada z D(z 0 ; ) sea z la union
de 0 con el segmento [z 0 , z], que por ser un camino contenido en G con origen a
y extremo z nos permite escribir





F(z) F(z 0 )
1
=
f (w) dw
f (w) dw
z z0
z z0
z
0


1
f (w) dw
=
z z 0 [z0 ,z]

Teora local de Cauchy

95

y por tanto
 



  1
 F(z) F(z 0 )

f (z 0 ) = 

zz
zz
0

sup

wsop[z 0 ,z]

[z 0 ,z]

1
f (w) dw
z z0

[z 0 ,z]



f (z 0 ) dw 

| f (w) f (z 0 )| ,

que tiende a 0 cuando z tiende a z 0 por la continuidad de f en z 0 .

2 Teorema de Cauchy para un triangulo (Cauchy-Goursat). Sea
un abierto
no vaco de C, p un punto de
, f :
C continua tal que f H(
\ { p}).
Para cualquier triangulo cerrado  contenido en
,


f (z) dz = 0.


Demostracion. Rudin, loc. cit., Teor. 10.13, pp. 232234.

3 Teorema de Cauchy para abiertos estrellados. Sea
un abierto estrellado de
C, p un punto de
, f :
C continua tal que f H(
\ { p}). Para cualquier
camino cerrado contenido en
,


f (z) dz = 0.

Demostracion. Adaptar la de Rudin, loc. cit., Teor. 10.14, p. 234.

4 Formula de Cauchy en abiertos estrellados. Sea
un abierto estrellado de C
y f H(
). Si es un camino cerrado contenido en
, para cualquier z de

que no este en el soporte de es


f (w)
1
dw.
f (z) Ind (z) =
2i w z
Demostracion. Adaptar la de Rudin, loc. cit., Teor. 10.15, pp. 234235.
5 Corolario (Formula de Cauchy en un disco). Sea
un abierto no vaco de C,
D(a; r ) un disco cerrado contenido en
, f una funcion holomorfa en
. Entonces,
para cada z D(a; r ),


1
f (w)
dw.
f (z) =
2i D(a;r ) w z
Demostracion. Puesto que D(a; r )
, la distancia d(a,
c ) de a al complementario de
es estrictamente mayor que r . Si r < R < d(a,
c ), el disco D(a; R)
es un abierto estrellado contenido en
, en el que f sera holomorfa.
Llamando a la circunferencia D(a; r ), es un camino cerrado contenido
en D(a; R) y para cada z D(a; r ) es Ind (z) = 1, luego basta aplicar el resultado
anterior para obtener la formula del enunciado.

96
6.3

Teora local de Cauchy

CONSECUENCIAS DE LA FORMULA
DE CAUCHY

1 Teorema (analiticidad de las funciones holomorfas). Toda funcion holomorfa

abierto no vaco de C y f H(
), para
es analtica. Precisando mas: Si
es un 
n
c
cada a
existe una serie de potencias
n=0 an (z a) con radio R d(a,
)
(donde d(a,
c ) es la distancia de a al complementario de
, considerada + si

c = , o sea, si
= C) tal que
f (z) =

an (z a)n

n=0

siempre que |z a| < d(a,
c ).

Informalmente, la misma serie representa a f hasta la frontera.
Demostracion. Elegido a, sea z tal que |z a| < d(a,
c ). Tomando r de modo
que |z a| < r < d(a,
c ), el disco cerrado D(a; r ) esta contenido en
, y puesto
que |z a| < r , la formula de Cauchy nos da
1
f (z) =
2i

D(a;r )

f (w)
dw.
wz

Pero el teorema de construccion de funciones analticas nos dice que

1
2i

D(a;r )




f (w)
f (w)
1 
dw =
dw (z a)n
n+1
wz
2i n=0 D(a;r ) (w a)

con tal que z no este en la circunferencia |w a| = r , y as

f (z) =

an (z a)n

n=0

donde
1
an =
2i

D(a;r )

f (w)
dw.
(w a)n+1

En principio los an parecen depender de r ; sin embargo no es e ste el caso, ya que

f (n) (a)
.
an =
n!

Teora local de Cauchy

97

Ejemplos.
1. La funcion f definida en
= (C \ 2iZ) {0} por

z
f (z) = e z 1 si z
y z = 0
1
si z = 0
es holomorfa en
, luego sera analtica en
y en particular existiran coeficientes
Bn (los llamados numeros de Bernoulli) de modo que
f (z) =


Bn
n=0

n!

zn

al menos siempre que |z| < 2. De hecho, el radio de convergencia de la serie es

exactamente 2, ya que si fuese mayor f admitira una extension continua en 2i,
lo que es falso.
2. En el ejemplo anterior, la serie de potencias que representa a f en el entorno del
punto a = 0 resulta tener por radio exactamente la distancia d(a,
c ). Siempre
vamos a encontrar esta situacion? La respuesta, en general, es NO: basta tomar

= C \ (, 0] y f : z
f (z) = Log z C; para cualquier a

el desarrollo de f en serie de potencias de z a tiene radio |a|, mientras que si
e a < 0 es d(a,
c ) = | m a| < |a|.
La formula de Cauchy permite obtener una representacion de las derivadas
de una funcion holomorfa en terminos de la propia funcion, de la que podremos
extraer consecuencias importantes, que no tienen su correspondiente en la teora
de funciones en R.
2 Formula de Cauchy para las derivadas. Sea
un abierto no vaco de C y
f H(
). Dado a
, sea r > 0 tal que D(a; r )
. Entonces, si |z a| < r ,
para cada n N,


n!
f (w)
f (n) (z) =
dw.
2i D(a;r ) (w z)n+1
Demostracion. Para cada z D(a; r ) es


f (w)
1
dw.
f (z) =
2i D(a;r ) w z
Aplicando reiteradamente el teorema de derivacion bajo el signo integral se obtiene
la formula deseada.
Un corolario es que el tamano de las derivadas sucesivas en un punto no puede
crecer descontroladamente.

98

Teora local de Cauchy

3 Desigualdades de Cauchy. Sea
un abierto no vaco de C y f H(
).

Dado a
, sea r > 0 tal que D(a; r )
. Entonces, poniendo M(r ) =
sup|wa|=r | f (w)|, para cada n N se tiene la acotacion
| f (n) (a)|

n! M(r )
.
rn

Demostracion. Obviamente




 n!
 n! M(r )
f
(w)
(n)

dw
| f (a)| = 
 2 r n+1 2r.
2i D(a;r ) (w a)n+1
4 Teorema de Liouville. Sea f una funcion entera, es decir, f H(C). Si f esta
acotada, necesariamente es constante.
Demostracion. Supongamos que para algun K > 0 es | f (z)| K cualquiera que
sea z C. Entonces, dado a C, para todo R > 0 se tendra






1
f
(w)
 1 K 2 R = K ,
dw
| f  (a)| = 
 2 R 2
2i D(a;R) (w a)2
R
expresion que tiende a 0 cuando R +. Por tanto f  (a) = 0 en todo a C,
para lo que f debe ser constante.
5 Teorema fundamental del a lgebra. Todo polinomio no constante tiene al menos
una raz en C.
Demostracion. En caso contrario, si P(z) = a0 z n + . . . + an fuese un polinomio
no constante (a0 = 0, n 1) que no se anulase nunca, la funcion definida por
f (z) =

1
P(z)

sera una funcion entera no nula. Pero como

lim f (z) = lim

1
= 0,
z n (a0 + . . .)

se deduce que f debe estar acotada. (En efecto: tomando = 1 en la definicion

de lmite, existira un R > 0 tal que si |z| > R se tiene | f (z)| < 1; y para
|z| R, f se mantiene acotada por el teorema de Weierstrass.) Segun el teorema
de Liouville, f tiene que ser constante (no nula), e igualmente sera constante
1/ f = P, contradiciendo la hipotesis de partida.

Teora local de Cauchy

99

6 Principio del modulo maximo. Sea f una funcion holomorfa en una region

de C. Si su modulo | f | tiene algun maximo local, entonces f es constante.
Demostracion. Supongamos que para algun a
sea posible encontrar un R > 0
tal que D(a; R)
y | f (a)| | f (z)| para todo z D(a; R). Esto obliga a que
| f (a)| = | f (z)| para todo z D(a; R), puesto que si 0 < |z a| = r < R, como
1
f (a) =
2i

D(a;r )

1
f (w)
dw =
wa
2

f (a + r eit ) dt

se deduce que
1
| f (a)|
2

1
| f (a + r eit )| dt
2

con lo cual
1
2

| f (a)| dt = | f (a)|,

(| f (a)| | f (a + r eit )|) dt = 0.

El integrando es una funcion continua no negativa, luego | f (a)| = | f (a + r eit )|

para todo t [0, 2] y en particular | f (a)| = | f (z)|.
Pero si | f | es constante en D(a; R), f tiene que ser constante en D(a; R)
(consecuencia de las ecuaciones de Cauchy-Riemann) y finalmente f es constante
en
(por el principio de prolongacion analtica).
Hay otras lecturas equivalentes de este enunciado:
o bien f es constante o, en caso contrario, su modulo | f | no tiene maximos
locales;
si f no es constante, su modulo | f | no tiene maximos locales.
7 Teorema de Morera. Sea f una funcion continua en un abierto no vaco
de
C tal que para todo triangulo cerrado 
se tenga




Entonces f H(
).

f = 0.

100

Teora local de Cauchy

Demostracion. Hemos de probar que cada a
posee un entorno en el que f es

derivable. Para verlo, consideremos cualquier disco D(a; r )
; en e l, f admite
una primitiva F que podemos construir poniendo


F(z) =
f (w) dw,
z D(a; r ).
[a,z]

(La comprobacion de que F es una primitiva de f es estandar: usando la hipotesis

del enunciado, para cada z 0 D(a; r ) tenemos


1
F(z) F(z 0 )
=
f (w) dw,
0 < |z z 0 | < r |z 0 a|,
z z0
z z 0 [z0 ,z]
lo que implica que por ser f continua
 




  1

 F(z) F(z 0 )






f
(w)

f
(z

f
(z
)
=
)
dw
0 
0



z z0
z z 0 [z0 ,z]
max | f (w) f (z 0 )|
w[z 0 ,z]

tiende a 0 cuando z z 0 .)
Pero si F H(D(a; r )), es analtica y en particular su derivada f es a su vez
derivable en D(a; r ).
El teorema de Morera da una especie de recproco del teorema de CauchyGoursat.
8 Corolario. Sea
un abierto no vaco de C, p
, f :
C continua en

y holomorfa en
\ { p}. Entonces f es holomorfa en
.
Demostracion. Del teorema de Cauchy-Goursat se deduce que


f =0


para todo triangulo 
, y el teorema de Morera asegura entonces que f es

holomorfa.
Podemos incluso rebajar exigencias:
9 Corolario. Sea
un abierto no vaco de C, p
, f una funcion holomorfa
en
\ { p} y acotada para algun r > 0 en el disco reducido D ( p; r ) = {z C :
0 < |z p| < r }. Entonces f admite una extension holomorfa en
.
Demostracion. La funcion h definida en
por

(z p)2 f (z) si z
\ { p}
h(z) =
0
si z = p

Teora local de Cauchy

101

es holomorfa en
y h  ( p) = 0 por la hipotesis de acotacion de f , con lo cual

podremos escribir


cn (z p)n ,
h(z) =

z D( p; r ),

n=2

y as
f (z) =

cn+2 (z p)n ,

z D ( p; r ),

n=0

de manera que basta extender f a p definiendo f ( p) = c2 .

6.4

AVANCE: El teorema de Cauchy y el calculo de integrales reales.

Como aperitivo de procedimientos que posteriormente desarrollaremos de manera

mas completa y sistematica, veamos como el uso de la integracion compleja permite
el calculo de ciertas integrales reales que, de otro modo, resulta difcil de calcular.
Nos proponemos demostrar la tan repetida igualdad

+
sen x

dx = ,
x
2
0
teniendo en cuenta que la integral debe ser entendida como integral impropia, es
decir,

R

+
sen x
sen x
dx =
lim
d x.
r 0+ , R+ r
x
x
0
iR

-R

-r

Comencemos por considerar la funcion f H(
), donde

= C \ {i y : y (, 0]}

ei z
f (z) =
,
z

z
.

102

Teora local de Cauchy

Sea (r, R) el camino cerrado de la figura, obtenido uniendo el segmento

[r, R], la semicircunferencia R : t [0, ] R (t) = R eit C, el segmento
[R, r ] y la semicircunferencia opuesta de r : t [0, ] r (t) = r eit C.
Puesto que
es un abierto estrellado y sop (r, R)
, teniendo en cuenta el
teorema de Cauchy podemos escribir


f (z) dz
0=
(r,R)








f (z) dz +
f (z) dz +
f (z) dz
f (z) dz
=


=

[r,R]
R ix

e
dx +
x

=

R

R

e
dx
f (z) dz
R x
r


f (z) dz
f (z) dz;

f (z) dz +

ei x ei x
dx +
x

[R,r ]
r i x

equivalentemente,


r

ei x ei x
dx =
x

f (z) dz

f (z) dz.

( )

Ahora bien:


r

f (z) dz =
0

it

ei r e
r i eit dt = i
it
re

ei r (cos t+i sen t) dt,

y para cada t [0, ] la funcion del integrando tiene lmite (cuando r 0+ ) igual
a e0 = 1. Ademas, la acotacion
 i r (cos t+i sen t 
e
 = er sen t e0 = 1,
t [0, ],
muestra que el integrando esta dominado por una funcion (constante) integrable
en [0, ] que no depende de r , luego aplicando el teorema de la convergencia
dominada se obtiene




lim+
f (z) dz = i
dt = i .
r 0

Analogamente

R

f (z) dz = i
0

ei R (cos t+i sen t) dt,

Teora local de Cauchy

103

pero ahora, para t (0, ), es



lim ei R (cos t+i sen t  = lim eR sen t = 0,

R+

R+

 R sen t 
 = eR sen t < e0 = 1,
e

y por la misma razon de antes

lim

R+ 0

eR sen t dt = 0.

(En la mayor parte de los textos, este resultado, conocido como lema de Jordan,
se

prueba sin hacer referencia a la integral de Lebesgue mediante la acotacion

2t
(1 e R ), deducida de la desigualdad sen t
para
eR sen t dt
R

0 t .)
2
Como consecuencia,


lim
f (z) dz = 0,
R+
R

y llevando los resultados obtenidos a la igualdad ( ) y pasando al lmite para

r 0+ , R +, queda

2i
0

luego

0

sen x
d x = i + 0,
x

sen x
dx = .
x
2