CAP

ITULO 6
Teora local de Cauchy
6.1 INTRODUCCI

ON
Atravesaremos ahora la puerta de entrada a un mundo sin parang on en la teora de
funciones de una o varias variables reales. La llave: la f ormula de Cauchy, que al
expresar el valor en un punto de una funci on holomorfa en abiertos estrellados, de
momentocomo una especie de promedio integral de sus valores sobre un camino
cerrado que rodee al punto, permite representar (localmente, al menos) la funci on
como una integral dependiente de un par ametro, con consecuencias adivinables en
algunos casos (analiticidad de las funciones holomorfas) o un tanto imprevisibles
en otros (teorema de Liouville, teorema fundamental del algebra, . . . )
La f ormula de Cauchy descansa, a su vez, en el teorema de Cauchy. Reexio-
nando a posteriori, parece absolutamente imposible que tal cantidad de resultados
se sustenten, nalmente, en algo que podra parecer una simple curiosidad: la in-
tegral de una funci on holomorfa en un disco (o, con la misma demostraci on, en
un abierto estrellado) sobre un camino cerrado es nula (tambi en si la funci on deja
de ser derivable en un punto, mientras mantenga la continuidad). Esta ser a nuestra
primera versi on del teorema de Cauchy: m as adelante nos ocuparemos de extender
su alcance (comenzando por ampliar el ambito de validez de la f ormula de Cauchy
en la denominada teora global de Cauchy).
Sin embargo, el examen de la demostraci on del teorema de Cauchy revela la
causa de esta peque na maravilla, situ andonos enterrenom as conocido. Basta encon-
trar una primitiva de la funci on dada para saber que la integral es nula, y esto reduce
el problema a probar la anulaci on de la integral sobre el contorno de un tri angulo
(teorema de Cauchy-Goursat). Una exposici on 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 p agina se
encuentra perfectamente desglosada y explicada la demostraci on, si bien bajo la
hip otesis de derivabilidad en todos los puntos.
Los enunciados y demostraciones que nosotros utilizaremos se encuentran
b asicamente en
Rudin, W.: An alisis 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 Teora local de Cauchy
6.2 TEOREMA Y F

ORMULA DE CAUCHY
1 Teorema. Sea un abierto no vaco de C, f : C continua. Son equiva-
lentes:
(1.1) existe una primitiva de f en , es decir, una funci on 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,
_

1
f (z) dz =
_

2
f (z) dz.
Demostraci on. (Recu erdese 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 uni on es . Por tanto, para construir una primitiva de f
en es suciente construir una primitiva de f en cada una de las componentes de
.
Sea, pues, G una componente conexa de . Fijado a G, denimos F :
G C haciendo
F(z) =
_

z
f (w) dw,
donde
z
es cualquier camino contenido en G con origen a y extremo z (la funci on
F est a entonces bien denida por ser la integral independiente del camino). Esta
funci on 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 uni on
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
)
z z
0
=
1
z z
0
__

z
f (w) dw
_

0
f (w) dw
_
=
1
z z
0
_
[z
0
,z]
f (w) dw
Teora local de Cauchy 95
y por tanto

F(z) F(z
0
)
z z
0
f (z
0
)

1
z z
0
_
[z
0
,z]
f (w) dw
1
z z
0
_
[z
0
,z]
f (z
0
) dw

sup
wsop[z
0
,z]
| 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 tri angulo (Cauchy-Goursat). Sea un abierto
no vaco de C, p un punto de , f : C continua tal que f H( \ { p}).
Para cualquier tri angulo cerrado contenido en ,
_

f (z) dz = 0.
Demostraci on. 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.
Demostraci on. Adaptar la de Rudin, loc. cit., Teor. 10.14, p. 234.
4 F ormula 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 est e en el soporte de es
f (z) Ind

(z) =
1
2i
_

f (w)
w z
dw.
Demostraci on. Adaptar la de Rudin, loc. cit., Teor. 10.15, pp. 234235.
5 Corolario (F ormula de Cauchy en un disco). Sea un abierto no vaco de C,
D(a; r) un disco cerrado contenido en , f una funci on holomorfa en . Entonces,
para cada z D(a; r),
f (z) =
1
2i
_
D(a;r)
f (w)
w z
dw.
Demostraci on. Puesto que D(a; r) , la distancia d(a,
c
) de a al complemen-
tario 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 ser a 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 f ormula del enunciado.
96 Teora local de Cauchy
6.3 CONSECUENCIAS DE LA F

ORMULA DE CAUCHY
1 Teorema (analiticidad de las funciones holomorfas). Toda funci on holomorfa
es analtica. Precisando m as: Si es un abierto no vaco de C y f H(), para
cada a existe una serie de potencias

n=0
a
n
(z a)
n
con radio R d(a,
c
)
(donde d(a,
c
) es la distancia de a al complementario de , considerada +si

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

n=0
a
n
(z a)
n
siempre que |z a| < d(a,
c
).
Informalmente, la misma serie representa a f hasta la frontera.
Demostraci on. 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) est a contenido en , y puesto
que |z a| < r, la f ormula de Cauchy nos da
f (z) =
1
2i
_
D(a;r)
f (w)
w z
dw.
Pero el teorema de construcci on de funciones analticas nos dice que
1
2i
_
D(a;r)
f (w)
w z
dw =
1
2i

n=0
__
D(a;r)
f (w)
(w a)
n+1
dw
_
(z a)
n
con tal que z no est e en la circunferencia |w a| = r, y as
f (z) =

n=0
a
n
(z a)
n
donde
a
n
=
1
2i
_
D(a;r)
f (w)
(w a)
n+1
dw.
En principio los a
n
parecen depender de r; sin embargo no es este el caso, ya que
a
n
=
f
(n)
(a)
n!
.
Teora local de Cauchy 97
Ejemplos.
1. La funci on f denida en = (C \ 2i Z) {0} por
f (z) =
_
z
e
z
1
si z y z = 0
1 si z = 0
es holomorfa en , luego ser a analtica en y en particular existir an coecientes
B
n
(los llamados n umeros de Bernoulli) de modo que
f (z) =

n=0
B
n
n!
z
n
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 extensi on 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 situaci on? 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
) = |ma| < |a|.
La f ormula de Cauchy permite obtener una representaci on de las derivadas
de una funci on holomorfa en t erminos de la propia funci on, de la que podremos
extraer consecuencias importantes, que no tienen su correspondiente en la teora
de funciones en R.
2 F ormula 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,
f
(n)
(z) =
n!
2i
_
D(a;r)
f (w)
(w z)
n+1
dw.
Demostraci on. Para cada z D(a; r) es
f (z) =
1
2i
_
D(a;r)
f (w)
w z
dw.
Aplicando reiteradamente el teorema de derivaci on bajo el signo integral se obtiene
la f ormula deseada.
Un corolario es que el tama no 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 acotaci on
| f
(n)
(a)|
n! M(r)
r
n
.
Demostraci on. Obviamente
| f
(n)
(a)| =

n!
2i
_
D(a;r)
f (w)
(w a)
n+1
dw

n! M(r)
2 r
n+1
2r.
4 Teorema de Liouville. Sea f una funci on entera, es decir, f H(C). Si f est a
acotada, necesariamente es constante.
Demostraci on. Supongamos que para alg un K > 0 es | f (z)| K cualquiera que
sea z C. Entonces, dado a C, para todo R > 0 se tendr a
| f

(a)| =

1
2i
_
D(a;R)
f (w)
(w a)
2
dw

1
2
K
R
2
2 R =
K
R
,
expresi on 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 algebra. Todo polinomio no constante tiene al menos
una raz en C.
Demostraci on. En caso contrario, si P(z) = a
0
z
n
+. . . +a
n
fuese un polinomio
no constante (a
0
= 0, n 1) que no se anulase nunca, la funci on denida por
f (z) =
1
P(z)
sera una funci on entera no nula. Pero como
lim
z
f (z) = lim
z
1
z
n
(a
0
+. . .)
= 0,
se deduce que f debe estar acotada. (En efecto: tomando = 1 en la denici on
de lmite, existir a 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.) Seg un el teorema
de Liouville, f tiene que ser constante (no nula), e igualmente sera constante
1/f = P, contradiciendo la hip otesis de partida.
Teora local de Cauchy 99
6 Principio del m odulo m aximo. Sea f una funci on holomorfa en una regi on
de C. Si su m odulo | f | tiene alg un m aximo local, entonces f es constante.
Demostraci on. Supongamos que para alg un 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
f (a) =
1
2i
_
D(a;r)
f (w)
w a
dw =
1
2
_
2
0
f (a +r e
i t
) dt
se deduce que
| f (a)|
1
2
_
2
0
| f (a +r e
i t
)| dt
1
2
_
2
0
| f (a)| dt = | f (a)|,
con lo cual
1
2
_
2
0
(| f (a)| | f (a +r e
i t
)|) dt = 0.
El integrando es una funci on continua no negativa, luego | f (a)| = | f (a +r e
i t
)|
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 nalmente f es constante
en (por el principio de prolongaci on analtica).
Hay otras lecturas equivalentes de este enunciado:
o bien f es constante o, en caso contrario, su m odulo | f | no tiene m aximos
locales;
si f no es constante, su m odulo | f | no tiene m aximos locales.
7 Teorema de Morera. Sea f una funci on continua en un abierto no vaco de
C tal que para todo tri angulo cerrado se tenga
_

f = 0.
Entonces f H().
100 Teora local de Cauchy
Demostraci on. Hemos de probar que cada a posee un entorno en el que f es
derivable. Para verlo, consideremos cualquier disco D(a; r) ; en el, f admite
una primitiva F que podemos construir poniendo
F(z) =
_
[a,z]
f (w) dw, z D(a; r).
(La comprobacion de que F es una primitiva de f es est andar: usando la hip otesis
del enunciado, para cada z
0
D(a; r) tenemos
F(z) F(z
0
)
z z
0
=
1
z z
0
_
[z
0
,z]
f (w) dw, 0 < |z z
0
| < r |z
0
a|,
lo que implica que por ser f continua

F(z) F(z
0
)
z z
0
f (z
0
)

1
z z
0
_
[z
0
,z]
_
f (w) f (z
0
)
_
dw

max
w[z
0
,z]
| f (w) f (z
0
)|
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 Cauchy-
Goursat.
8 Corolario. Sea un abierto no vaco de C, p , f : C continua en
y holomorfa en \ { p}. Entonces f es holomorfa en .
Demostraci on. Del teorema de Cauchy-Goursat se deduce que
_

f = 0
para todo tri angulo , 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 funci on holomorfa
en \ { p} y acotada para alg un r > 0 en el disco reducido D

( p; r) = {z C :
0 < |z p| < r}. Entonces f admite una extensi on holomorfa en .
Demostraci on. La funci on h denida en por
h(z) =
_
(z p)
2
f (z) si z \ { p}
0 si z = p
R
r -r
-R
iR
Teora local de Cauchy 101
es holomorfa en y h

( p) = 0 por la hip otesis de acotaci on de f , con lo cual

podremos escribir
h(z) =

n=2
c
n
(z p)
n
, z D( p; r),
y as
f (z) =

n=0
c
n+2
(z p)
n
, z D

( p; r),
de manera que basta extender f a p deniendo f ( p) = c
2
.
6.4 AVANCE: El teorema de Cauchy y el c alculo de integrales reales.
Como aperitivo de procedimientos que posteriormente desarrollaremos de manera
m as completa y sistem atica, veamos c omo el uso de la integraci on compleja permite
el c alculo de ciertas integrales reales que, de otro modo, resulta difcil de calcular.
Nos proponemos demostrar la tan repetida igualdad
_
+
0
sen x
x
dx =

2
,
teniendo en cuenta que la integral debe ser entendida como integral impropia, es
decir,
_
+
0
sen x
x
dx = lim
r0
+
, R+
_
R
r
sen x
x
dx.
Comencemos por considerar la funci on f H(), donde
= C \ {i y : y (, 0]} y f (z) =
e
i z
z
, z .
102 Teora local de Cauchy
Sea (r, R) el camino cerrado de la gura, obtenido uniendo el segmento
[r, R], la semicircunferencia
R
: t [0, ]
R
(t ) = R e
i t
C, el segmento
[R, r] y la semicircunferencia opuesta de
r
: t [0, ]
r
(t ) = r e
i t
C.
Puesto que es un abierto estrellado y sop (r, R) , teniendo en cuenta el
teorema de Cauchy podemos escribir
0 =
_
(r,R)
f (z) dz
=
_
[r,R]
f (z) dz +
_

R
f (z) dz +
_
[R,r]
f (z) dz
_

r
f (z) dz
=
_
R
r
e
i x
x
dx +
_

R
f (z) dz +
_
r
R
e
i x
x
dx
_

r
f (z) dz
=
_
R
r
e
i x
e
i x
x
dx +
_

R
f (z) dz
_

r
f (z) dz;
equivalentemente,
_
R
r
e
i x
e
i x
x
dx =
_

r
f (z) dz
_

R
f (z) dz. (

)
Ahora bien:
_

r
f (z) dz =
_

0
e
i r e
i t
r e
i t
r i e
i t
dt = i
_

0
e
i r (cos t +i sen t )
dt,
y para cada t [0, ] la funci on del integrando tiene lmite (cuando r 0
+
) igual
a e
0
= 1. Adem as, la acotaci on

e
i r (cos t +i sen t

= e
r sen t
e
0
= 1, t [0, ],
muestra que el integrando est a dominado por una funci on (constante) integrable
en [0, ] que no depende de r, luego aplicando el teorema de la convergencia
dominada se obtiene
lim
r0
+
_

r
f (z) dz = i
_

0
dt = i .
An alogamente
_

R
f (z) dz = i
_

0
e
i R (cos t +i sen t )
dt,
Teora local de Cauchy 103
pero ahora, para t (0, ), es
lim
R+

e
i R (cos t +i sen t

= lim
R+
e
R sen t
= 0,

e
R sen t

= e
R sen t
< e
0
= 1,
y por la misma raz on de antes
lim
R+
_

0
e
R 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 acotaci on
_

0
e
R sen t
dt

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

para
0 t

2
.)
Como consecuencia,
lim
R+
_

R
f (z) dz = 0,
y llevando los resultados obtenidos a la igualdad (

) y pasando al lmite para

r 0
+
, R +, queda
2i
_
+
0
sen x
x
dx = i +0,
luego
_
+
0
sen x
x
dx =

2
.