Nota: Las siguientes lneas son un resumen de las cuestiones que se han tratado en clase sobre

este tema. El desarrollo de todos los tpicos tratados est recogido en la bibliografa
recomendada en la Programacin de la asignatura.

Tema 5. Frmula de Cauchy

5.1. Frmula integral de Cauchy
El siguiente teorema denominado Frmula Integral de Cauchy es fundamental y nos
explica que una funcin analtica dentro de un contorno simple y cerrado queda completamente
determinada por los valores en dicho contorno, es decir, no hay que explicitar dicha funcin en
el interior del conjunto encerrado por la curva.
Antes de enunciarlo vemos algunas propiedades que nos van a ser tiles en el proceso
de demostracin del resultado.
Proposicin 5.1.1
Si g(z) es una funcin analtica en un contorno cerrado y simple, C, junto a su interior salvo,
a lo sumo, en un punto, z0, interior a C y si C es otra curva cerrada y simple contenida en C,
que contiene en su interior a dicho punto z0, (ver Fig. 5.1) se tiene que
g (z) dz '
g (z) dz
mC
mC

Nota: Cuando hablamos de z0 interior a C queremos indicar que es un punto interior a la regin
acotada que tiene como contorno la curva C.

Proposicin 5.1.2
Sea C una curva cerrada y simple y sea z0 un punto interior a la regin que encierra, entonces
dz
' 2i
mC z & z0

Teorema 5.1.3 Frmula integral de Cauchy.

Sea f(z) una funcin analtica en un contorno cerrado y simple, C, junto a su interior. Si z0 es
un punto interior a C se tiene que
1
f(z)
f ( z0 ) '
dz
m
2 i C z & z0

La frmula anterior no es slo til en el sentido que decamos de conocer una funcin
sabiendo los valores de sta en la frontera, tambin, en una primera inspeccin, nos sirve para
calcular integrales complejas que, de otra forma, podran resultar mas complicadas; as por
ez
ejemplo, si C es la curva *z* = 1 la integral
dz se puede calcular de la manera siguiente:
mC z
ez
ez
dz '
dz ' 2 i e 0 ' 2 i
mC z
mC z & 0

5.2. Derivadas sucesivas de las funciones analticas.

En el apartado anterior demostrbamos que si f(z) es una funcin analtica en un conjunto
abierto, D, y si z 0 D, entonces para toda curva cerrada y simple, C, que envuelva al punto z tal
que ella y su interior est contenida en D se tiene que
f(z) '

1
f(w)
dw .
2 i mC w & z

Ahora demostraremos que, en las mismas condiciones del teorema anterior, podemos
calcular f (z) en funcin de los valores de la funcin en la frontera y que esta tambin es
analtica. No slo esto, veremos que existen y son analticas f "(z), ..., f (n)(z) para todo n 0 N.
Obsrvese que estos resultados no tienen equivalentes en la Teora de Funciones de
Variable Real, pues el hecho de ser derivable una funcin en un punto no implica,
necesariamente, que existan las derivadas sucesivas de dicha funcin, como ya conocemos.
Teorema 5.2.2 Frmula integral de Cauchy para las derivadas.
Sea f(z) una funcin analtica en una curva cerrada y simple, C, junto a su interior y sea z un
punto de la regin interior a C. Entonces existen y son analticas todas las derivadas de la
funcin, f (n)(z) para todo n0N, y es
n!
f(w)
f (n) ( z ) '
dz
2 i mC ( w & z)n % 1

Usando este resultado es inmediato establecer las dos propiedades siguientes:

Proposicin 5.2.3
Si f(z) es una funcin analtica en un punto z0, todas sus derivadas son analticas en el mismo
punto.

Proposicin 5.2.4
Si f(z) admite primitiva en un abierto, D, del plano complejo C, entonces f(z) es analtica en
D.

5.3. Teorema de Morera

Teorema 5.3.1 de Morera
Sea f(z) una funcin continua en un conjunto, D, abierto y conexo y tal que

f (z) dz ' 0 para

mC
todo arco cerrado, C, diferenciable a trozos contenido en D. En este caso, f(z) es analtica en
D.

A partir del teorema de Morera se tiene que:

Proposicin 5.3.2
Si f(z) es una funcin continua en un dominio, D, simplemente conexo,entonces las siguientes
condiciones son equivalentes (las curvas se suponen contenidas en D):
a) f(z) admite primitiva en D
b) La integral,
f (z)dz no depende del camino C. (Solamente de los extremos).
mC
c) Para todo camino cerrado, C, es
d) f(z) es analtica en D

mC

f (z) dz ' 0