Tema 10

Teorema de Morera y sus consecuencias

Abordamos en este tema una segunda tanda de aplicaciones de la teora local de Cauchy, que
se inicia con el teorema de Morera, debido al matemtico italiano G. Morera (1856-1909). Se
trata, ni ms ni menos, que del recproco del teorema de Cauchy para el tringulo, luego da una
til caracterizacin de las funciones holomorfas. De ella deducimos dos importantes mtodos
para la construccin de funciones holomorfas. El primero se basa en el teorema de convergencia
de Weierstrass, que asegura la holomorfa del lmite de una sucesin de funciones holomorfas
en un abierto, siempre que la convergencia sea uniforme en cada subconjunto compacto de
dicho abierto. Por otra parte, el teorema de Morera permite probar, con las hiptesis adecuadas,
la holomorfa de una integral dependiente de un parmetro.

10.1. Teorema de Morera

La caracterizacin de la existencia de primitiva se estableci para cualquier funcin continua
en un abierto del plano, y fue la motivacin para buscar teoremas del tipo de Cauchy, afirmando
que ciertas integrales se anulan. En el primer teorema de este tipo, el del tringulo, trabajamos
directamente con una funcin, no slo continua, sino holomorfa. Ahora sabemos que esto era
lgico, pues si vamos buscando una primitiva, est claro que una funcin continua en un abierto,
que no sea holomorfa, no puede admitir una primitiva. Sin embargo, si olvidamos el problema
de la existencia de primitiva, cabe analizar el teorema de Cauchy para el tringulo y preguntarse
hasta qu punto sigue siendo cierto para una funcin que slo se supone continua. La respuesta
es negativa, una funcin continua en un abierto que verifique la tesis de dicho teorema, ha de
ser holomorfa. Tenemos pues el recproco del teorema de Cauchy para el tringulo:

Teorema de Morera. Sea un abierto no vaco del plano y f una funcin continua en ,
verificando que
Z
f (z) dz = 0
[ a,b,c,a ]

siempre que todo el tringulo (a, b, c) est contenido en . Entonces f es holomorfa en .

113
10. Teorema de Morera y sus consecuencias 114

Demostracin. El razonamiento se puede adivinar fcilmente, recordando la demostracin

del teorema local de Cauchy. Para conseguir una primitiva F de una funcin f holomorfa en
un dominio estrellado, integrbamos f sobre segmentos con origen fijo y extremo variable. La
holomorfa de f slo se usaba para aplicar el teorema de Cauchy para el tringulo, probando
as que F verificaba la hiptesis del lema de construccin de primitivas.
Pues bien, ahora el abierto no es un dominio estrellado, pero tampoco queremos encontrar
una primitiva de f , slo queremos probar que f es holomorfa. Como la holomorfa es una
propiedad local, podemos restringir nuestra funcin a un disco abierto, que s es un dominio
estrellado, y usar el mismo razonamiento que en el teorema local de Cauchy: integrar nuestra
funcin continua entre un punto fijo del disco y otro variable. Para probar que la funcin as
definida verifica la hiptesis del lema de construccin de primitivas, no podemos obviamente
aplicar el teorema de Cauchy para el tringulo, ni falta que nos hace, porque la tesis de dicho
teorema es justo la hiptesis que ahora tenemos. Por tanto, en cada disco abierto contenido en
vamos a tener una primitiva de nuestra funcin f , luego la restriccin de f a dicho disco
abierto es holomorfa y basta aplicar el carcter local de la holomorfa. Veamos con detalle este
bonito razonamiento.
Fijado , tomamos R R+ tal que D(, R) . Consideramos entonces la funcin
F : D(, R) C definida por
Z
F(z) = f (w) dw z D(, R)
[ ,z ]

y vamos a comprobar que F verifica la hiptesis del lema de construccin de primitivas. En

efecto, sea a D(, R) y tomemos r = R | a | > 0 de forma que D(a, r) D(, R) . Para
z D(a, r) , tenemos claramente (, a, z) D(, R) , lo que nos permite usar la hiptesis
sobre f para obtener
Z Z
0= f (w) dw = F(a) + f (w) dw F(z)
[ ,a,z, ] [ a,z ]

Hemos comprobado como queramos que, para cada a D(, R) existe r R+ tal que
D(a, r) D(, R) y
Z
F(z) = F(a) + f (w) dw z D(a, r)
[ a,z ]

El lema de construccin de primitivas nos dice que F H D(, R) con F 0 (z) = f (z) para

todo z D(, R) . Pero entonces tambin tenemos F 0 H D(, R) , es decir, la restriccin de

f a D(, R) es holomorfa. Por el carcter local del concepto de derivada, f es derivable en el

punto . Como era arbitrario, tenemos f H() como queramos. 

Aunque pueda parecer engorrosa, la hiptesis del teorema anterior se comprueba fcilmente
en ciertas situaciones, con lo que el teorema nos da un criterio til para comprobar que una
funcin es holomorfa, como vamos a ver enseguida.
10. Teorema de Morera y sus consecuencias 115

10.2. Teorema de convergencia de Weierstrass

Cabe preguntarse cual es el tipo de convergencia adecuado para trabajar con sucesiones de
funciones holomorfas en un abierto del plano.
Por una parte, la convergencia puntual en es demasiado dbil, no garantiza siquiera que
la funcin lmite sea continua, pero los ejemplos que suelen darse para ponerlo de manifiesto
no siempre son adecuados. Lo correcto sera dar un ejemplo de una sucesin de funciones
holomorfas en un abierto , que converja puntualmente en a una funcin que no sea siquiera
continua, pero esto no es fcil. Citamos sin demostrarlo, que existe una sucesin de funciones
polinmicas que converge puntualmente en todo el plano a una funcin que no es continua.
En el otro extremo, la convergencia uniforme en es demasiado restrictiva. Por ejemplo,
una serie de potencias con radio de convergencia infinito slo converge uniformemente en C ,
cuando todos sus coeficientes son nulos a partir de uno en adelante, esto es, cuando la serie se
reduce a una suma finita. Debemos buscar un tipo de convergencia intermedio, ms fuerte que
la puntual, pero menos restrictiva que la uniforme en todo el abierto .
El ltimo ejemplo comentado sugiere cual puede ser la respuesta satisfactoria a la pregunta
planteada, pues sabemos que una serie de potencias con radio de convergencia infinito converge
uniformemente en cada subconjunto compacto del plano. De manera ms general, toda serie
de potencias no trivial converge uniformemente en cada compacto contenido en su dominio
de convergencia. El siguiente teorema pone de manifiesto que efectivamente, la convergencia
uniforme sobre compactos es adecuada para trabajar con sucesiones de funciones holomorfas.

Teorema de convergencia de Weierstrass. Sea un abierto no vaco de C y, para cada

n N , sea fn H() . Supongamos que la sucesin { fn } converge uniformemente en cada
subconjunto compacto de a una funcin f : C , en particular:

f (z) = lm fn (z) z
n

(k)
Entonces f H() y, para cada k N , se tiene que la sucesin { fn } de las k-simas
derivadas, converge a la derivada k-sima f (k) , uniformemente en cada subconjunto compacto
de , en particular:
(k)
f (k) (z) = lm fn (z) z , k N
n

Demostracin. Con el fin de aplicar el teorema de Morera, empezamos comprobando que

f es continua. En efecto, para cada a tomamos r R+ de forma que D (a, r) . Como
{ fn } converge uniformemente a f en el compacto D (a, r) , la restriccin de f a D (a, r) es
continua, y el carcter local de la continuidad nos dice que f es continua en el punto a .
El siguiente paso consiste simplemente en aplicar el teorema de Cauchy para el tringulo.
Dados a, b, c tales que (a, b, c) , como fn H() para todo n N , dicho teorema
nos dice que Z
fn (z) dz = 0 n N
[ a,b,c,a ]
10. Teorema de Morera y sus consecuencias 116

Como { fn } converge uniformemente a f en el compacto [ a, b, c, a ] , la continuidad

de la integral curvilnea nos permite deducir que
Z Z
f (z) dz = lm fn (z) dz = 0
[ a,b,c,a ] n [ a,b,c,a ]

Puesto que esta igualdad es vlida siempre que el tringulo (a, b, c) est contenido en , el
teorema de Morera nos dice que f H() .
(k)
Fijamos ahora k N para probar que la sucesin { fn } converge a f (k) , uniformemente
en cada subconjunto compacto de . Fijamos tambin a y r R+ tal que D (a, 2r) .
Para cualesquiera n N y z D (a, r) , podemos aplicar la frmula de Cauchy para la derivada
k-sima a la funcin fn f H() obteniendo:

k! fn (w) f (w)
Z
(k)
fn (z) f (k) (z) = dw
2i C(a,2r) (w z)k+1

Ahora acotamos esta integral usando de nuevo la continuidad de la integral curvilnea. Para
w C(a, 2r) tenemos claramente | w z | > | w a | | z a | > r . Por otra parte, escribimos
Mn = max | fn (w) f (w) | : w C(a, 2r) y obtenemos

(k) k ! Mn 2k!
| fn (z) f (k) (z) | 6 k+1
4 r = k Mn
2 r r
Como esto es cierto para todo z D (a, r) , deducimos que
 (k) 2k!
max | fn (z) f (k) (z) | : z D (a, r) 6 k Mn

r
y esta desigualdad es vlida para todo n N . Como { fn } converge uniformemente a f en el
(k)
compacto C(a, 2r) , tenemos {Mn } 0 y la desigualdad anterior nos dice que { fn }
converge a f (k) uniformemente en D (a, r) . Como a era arbitrario, hemos probado que
(k)
{ fn } converge a f (k) uniformemente en un entorno de cada punto de . De esto se puede
deducir la convergencia uniforme en cada subconjunto compacto de , como vamos a ver.
(k)
Para abreviar escribimos gn = fn y g = f (k) y fijamos un compacto K . Para cada
punto de K sabemos que existe un disco abierto centrado en dicho punto y contenido en , en
el que {gn } converge uniformemente a g , luego tenemos un recubrimiento de K por abiertos
del que, por ser K compacto, podemos extraer un subrecubrimiento finito. Existen por tanto
p N , a1 , a2 , . . . , a p K y r1 , r2 , . . . r p R+ tales que
p
[
K D(a j , r j )
j=1

y {gn } converge uniformemente a g en D(a j , r j ) , para j = 1, 2, . . . , p . Ahora la convergencia

uniforme en K es evidente: dado > 0 , para cada j = 1, 2, . . . p existe m j N tal que, si
n > m j se tiene | gn (z)g(z) | < para todo z D(a j , r j ) ; tomando m = max{m1 , m2 , . . . , m p } ,
es claro que, cuando n > m , se tiene | gn (z) g(z) | < para todo z K . 
10. Teorema de Morera y sus consecuencias 117

Resaltamos el ltimo razonamiento anterior: para una sucesin de funciones de en C ,

no necesariamente holomorfas, la convergencia uniforme en un entorno de cada punto de ,
implica la convergencia uniforme en cada subconjunto compacto de . El recproco tambin
es evidentemente cierto, puesto que cada punto de tiene un entorno compacto, cosa que
tambin se us al principio de la demostracin. La equivalencia que as se obtiene muestra que
la convergencia uniforme en cada subconjunto compacto de tiene carcter local, por lo que
a veces se la denomina convergencia localmente uniforme.

Conviene tambin recordar que, para funciones reales de variable real, no hay nada parecido
al teorema anterior, incluso la convergencia uniforme en todo un abierto, de una sucesin de
funciones derivables, no garantiza que la funcin lmite sea derivable en dicho abierto. Como
ejemplo ilustrativo podemos considerar la sucesin { fn } de funciones de R en R definida por

1p
fn (x) = 1 + n2 x2 x R, n N
n
Es claro que fn es derivable en R para todo n N y comprobamos fcilmente que { fn }
converge uniformemente en R a la funcin valor absoluto, f (x) = | x | para todo x R , que
no es derivable en el origen. Basta observar que, para cualesquiera x R y n N se tiene

1 p
1 1 1
| fn (x) f (x) | = 1 + n2 x2 n | x | = 6
n n 1 + n2 x2 + n | x | n

Ntese que de hecho, para cada n N , la funcin fn es de clase C en R , e incluso es analtica

en R es decir, en un entorno de cada punto, puede expresarse como suma de una serie de
potencias.

Por ltimo, resaltamos que el teorema anterior puede obviamente usarse para series:

Sea un abierto de C y fn H() para todo n N {0} . Suponemos que la serie

fn converge uniformemente en cada subconjunto compacto de y sea f su suma:
n>0

f (z) = fn(z) z
n=0

(k)
Entonces f H() y, para todo k N , la serie fn converge uniformemente en
n>0
cada subconjunto compacto de , con

(k)
f (k) (z) = fn (z) z k N
n=0

Como caso particular, podemos considerar la suma de una serie de potencias no trivial
f (z) = n (z a)n para todo z , donde es el dominio de convergencia de la serie,
n>0
pues sabemos que la serie converge uniformemente en cada subconjunto compacto de .
10. Teorema de Morera y sus consecuencias 118

Tomando fn (z) = n (z a)n para cualesquiera z y n N {0} , el teorema anterior

nos dice que f H() y que

n!
f (k) (z) = (n k) ! n (z a)nk z k N
n=k

As pues, el teorema que nos dio la holomorfa de la suma de una serie de potencias queda ahora
como caso muy particular del teorema de convergencia de Weierstrass.

10.3. Integrales dependientes de un parmetro

De manera
Z intuitiva, una integral curvilnea dependiente un parmetro es una expresin de
la forma (w, z) dw donde es un camino y es una cierta funcin de dos variables: la

variable de integracin w , que deber moverse en la imagen del camino y el parmetro z del
que depende nuestra integral, que en principio podra tomar valores en un conjunto arbitrario. La
integral tendr sentido siempre que, para cada valor de z , la funcin w 7 (w, z) , sea continua
en , dando lugar a una funcin de z . Si queremos obtener una funcin compleja de variable
compleja el parmetro z deber moverse tambin en un subconjunto de C , luego va a ser
una funcin compleja de dos variables complejas.
Usaremos pues un camino , un conjunto no vaco A C y una funcin : A C .
Suponiendo que, para cada z A , la funcin w 7 (w, z) es continua en , podemos definir
una funcin f : A C sin ms que escribir
Z
f (z) = (w, z) dw z A

y decimos que f es una integral (curvilnea) dependiente de un parmetro.

Nuestro objetivo es encontrar condiciones suficientes sobre la funcin para asegurar la
holomorfa de f , suponiendo lgicamente que A es abierto. El teorema de Morera sugiere que
empecemos por asegurarnos la continuidad de f . Para ello basta fortalecer la hiptesis acerca
de la continuidad de , suponiendo que es continua, como funcin de dos variables:

Lema 1. (Continuidad de la integral curvilnea dependiente de un parmetro). Sea un

camino, A un subconjunto no vaco de C yZ : A C una funcin continua. Entonces,
la funcin f : A C , definida por f (z) = (w, z) dw para todo z A , es continua.

Demostracin. Fijado a A y una sucesin {an } de puntos de A , con {an } a , debemos

ver que { f (an )} f (a) . Para cada n N podemos escribir
Z
f (an ) = n (w) dw donde n (w) = (w, an ) w

y anlogamente,
Z
f (a) = (w) dw donde (w) = (w, a) w

10. Teorema de Morera y sus consecuencias 119

En vista de la continuidad de la integral curvilnea, bastar comprobar que la sucesin {n }

converge a uniformemente en .
El conjunto K = {an : n N} {a} es compacto, luego K tambin lo es, y el teorema
de Heine nos dice que es uniformemente continua en K . As pues, dado > 0 podemos
encontrar > 0 de forma que, para (w1 , z1 ), (w2 , z2 ) K se tiene

max | w1 w2 | , | z1 z2 | < = | (w1 , z1 ) (w2 , z2 ) | <
Como {an } a , existe m N tal que, para n > m se tiene | an a | < , lo que permite usar
la implicacin anterior tomando w1 = w2 = w arbitrario, z1 = an con n > m y z2 = a ,
obteniendo que
n > m = | n (w) (w) | < w
Esto prueba que {n } uniformemente en , como queramos. 

En un segundo paso iremos ya en busca de la holomorfa de la funcin f del lema anterior,

con las hiptesis adecuadas. A poco que se piense, el teorema de Morera nos llevar a considerar
la integral de f sobre un cierto tringulo, que claramente ser una integral iterada. Poder aplicar
la siguiente consecuencia del teorema de Fubini ser decisivo como veremos.

Lema 2. Sean y dos caminos y : C una funcin continua. Entonces:

Z Z  Z Z 
(w, z) dw dz = (w, z) dz dw

Demostracin. Ntese que la existencia de ambas integrales iteradas

Z viene asegurada por el
lema anterior. Tomando A = , el lema nos dice que la funcin z 7 (w, z) dw es continua

en , luego podemos considerar su integral sobre el camino . Anlogo razonamiento se
aplica a la otra integral iterada.
Empezamos por considerar el caso particular en que y son arcos, es decir, : [a, b] C
y : [c, d] C son funciones de clase C 1 en sus respectivos intervalos. Se tiene entonces
Z Z b
(t), z 0 (t) dt z


(w, z) dw =
a

de donde deducimos que

Z Z  Z d Z b 
(t), (s) (t) dt 0 (s) ds

0
(w, z) dw dz =
c a

Anlogamente, intercambiando los papeles de y obtenemos

Z Z  Z b Z d 
(t), (s) (s) ds 0 (t) dt

0
(w, z) dw dz =
a c

La igualdad de las dos integrales iteradas que han aparecido es consecuencia del teorema de
Fubini, pues ambas coinciden con la integral doble, sobre el rectngulo [a, b] [c, d] de la
funcin continua F , definida en dicho rectngulo por
F(t, s) = (t), (s) 0 (t) 0 (s)


(t, s) [a, b] [c, d]
10. Teorema de Morera y sus consecuencias 120

Ciertamente F toma valores complejos, pero eso no supone ninguna dificultad, el teorema
de Fubini se aplica a las partes real e imaginaria de F que son funciones continuas con valores
reales. Ntese tambin que aplicamos la versin ms elemental del teorema de Fubini, para una
funcin continua en un rectngulo compacto, que ni siquiera requiere conocer la integral de
Lebesgue. En algunos textos, a esta versin del teorema se la conoce como el fubinito.
Probado el lema en el caso de dos arcos, el caso general es pura rutina. Escribimos los
n m
caminos y como suma de arcos: = k y = j . Entonces, usando la aditividad
k=1 j=1
y la linealidad de la integral curvilnea tenemos por una parte:
!
Z Z  m Z n Z m n Z Z 
(w, z) dw dz = (w, z) dw dz = (w, z) dw dz
j=1 j k=1 k j=1 k=1 j k

y anlogamente
Z Z  n m Z Z 
(w, z) dz dw = (w, z) dz dw
k=1 j=1 k j

Basta por tanto aplicar lo ya probado en el caso de dos arcos para concluir la demostracin. 

Usando los dos lemas anteriores, podemos ya deducir del teorema de Morera un segundo
mtodo muy til para construir funciones holomorfas:

Teorema (Holomorfa de la integral dependiente de un parmetro). Sea un camino,

un abierto del plano y : C una funcin continua. Supongamos que, para cada
w , la funcin w : C definida por w (z) = (w, z) para todo z , es holomorfa
en . Entonces, definiendo
Z
f (z) = (w, z) dw z

se obtiene una funcin holomorfa: f H() . Adems, para cada k N y cada z , la

(k)
funcin w 7 w (z) , de en C , es continua y se verifica que
Z
(k) (k)
f (z) = w dw z , k N (1)

Demostracin. Por el Lema 1 sabemos que f es continua en . Con el fin de aplicar el

teorema de Morera, fijamos a, b, c C tales que el tringulo (a, b, c) est contenido en .
Tomando = [a, b, c, a] , el Lema 2 nos dice que
Z Z Z  Z Z 
f (z) dz = (w, z) dw dz = w (z) dz dw (2)

Para cada w tenemos por hiptesis w H() , lo que nos permite aplicar el teorema de
Cauchy para el tringulo, obteniendo:
Z
w (z) dz = 0 w

10. Teorema de Morera y sus consecuencias 121

Z
En vista de (2) , tenemos f (z) dz = 0 y basta aplicar el teorema de Morera.

Para calcular las sucesivas derivadas de f usaremos la frmula de Cauchy para las derivadas.
Fijamos k N , un punto a y tomamos r R+ tal que D(a, r) . Para w , como
w H() , tenemos
k! (w, z)
Z
(k)
w (a) = dz
2 i C(a,r) (z a)k+1

La funcin : C(a, r) C definida por

k ! (w, z)
(w, z) = (w, z) C(a, r)
2 i (z a)k+1

es continua, como cociente de dos funciones continuas, lo que nos permite aplicar el Lema 1.
Ntese que esta vez integramos sobre el camino C(a, r) , la variable de integracin es z y es
la variable w la que hace el papel de parmetro. Deducimos que la funcin : C
definida por
Z
(k)
(w) = (w, z) dz = w (a) w
C(a,r)

es continua. Aplicando ahora el Lema 2, tenemos tambin

Z Z Z  Z Z 
(k)
w (a) dw = (w, z) dz dw = (w, z) dw dz
C(a,r) C(a,r)

Por otra parte, aplicando tambin a f la frmula de Cauchy para las derivadas tenemos
 
k! f (z) k!
Z Z Z
(k)
f (a) = k+1
dz = (w, z) dw dz
2i C(a,r) (z a) C(a,r) 2 i (z a)k+1
Z Z 
= (w, z) dz dw
C(a,r)

Comparando las dos ltimas igualdades obtenemos finalmente

Z
(k) (k)
f (a) = w (a) dw

y esto es vlido para todo a , como queramos demostrar. 

La igualdad (1) que da las derivadas sucesivas de la integral dependiente de un parmetro,
puede escribirse de manera ms intuitiva. Basta pensar que, para cualesquiera w y z ,
(k)
w no es ms que una derivada parcial de orden k de la funcin . Tenemos por tanto:

k
Z
(k)
f (z) = k
(w, z) dw z , k N
z
10. Teorema de Morera y sus consecuencias 122

10.4. Ejercicios
1. Sea { fn } una sucesin de funciones continuas en un abierto del plano, y sea f : C
otra funcin continua. Probar que las siguientes afirmaciones son equivalentes:
(i) { fn } converge uniformemente a f en cada subconjunto compacto de .
(ii) Para toda sucesin {zn } de puntos de que converja a un punto z se tiene que
{ fn (zn )} f (z) .
2. Sea { fn } la sucesin de funciones enteras definida por fn (z) = z exp n2 z2 / 2 para

cualesquiera z C y n N . Probar que { fn } converge uniformemente en R pero no

converge uniformemente en ningn entorno del origen.
zn
3. Probar que la serie de funciones n
converge en D(0, 1) y que su suma es una
n>1 1 z
funcin holomorfa en D(0, 1) .
4. Sea f H D(0, 1) tal que f (0) = 0 . Probar que la serie z n converge en D(0, 1)



f
n>1
y que su suma es una funcin holomorfa en D(0, 1) .
5. Probar que la sucesin de funciones enteras definida por
1
fn (z) =sen (nz) z C, n N
n
converge uniformemente en R pero no converge uniformemente en ningn subconjunto
de C que tenga interior no vaco.
sen (nz)
6. Probar que la serie converge en la banda = {z C : | Im z | < log 3} y
n>0 3n
que su suma es una funcin f H() . Calcular f 0 (0) .
7. Sea : [ 0, 1 ] C una funcin continua. Probar que definiendo
Z 1
f (z) = (t) e it z dt z C
0
se obtiene una funcin entera y calcular el desarrollo en serie de Taylor de f centrado en
el origen.
8. Para cada n N , se considera la funcin fn : C C definida por
Z n
fn (z) = t et z dt z C
0
a) Probar que fn es una funcin entera y calcular su desarrollo en serie de Taylor
centrado en el origen.
b) Estudiar la convergencia de la sucesin { fn } en = {z C : Re z > 0} .
Z +
c) Deducir que f H() , donde f (z) = t et z dt para todo z .
0