1

LA DE CAUCHY, UNA
FRMULA PARA UNA
I NTEGRAL


Agust n Luis de Cauchy ( Pars 1789 - Sceaux, 1857) ha sido uno de los
mat emt icos ms grandes y prolficos de la hist oria cont empornea de la
Ciencia, por la cant idad de t emas que t oc y en los cuales dest ac. En
part cular podemos considerar a Cauchy como el creador del anlisis
complej o.


Fue en el ao 1825, cuando public un result ado ext raordinario en su
Resume des leons dones lEcole Royale Polyt echnique sur le calcul
I nfinit simal , y que desde ent onces conocemos como la Fr mul a de l a
I nt egr al de Cauchy . En esencia, el result ado est ableci la posibilidad de
calcular mediant e int egracin el valor de una funcin complej a holomorfa en
un punt o a de un dominio plano D, de cont orno simple cerrado dado por , si
se conocen los valor es que t oma t al funcin en el cont or no de D.

Vamos a t rat ar de explicit ar la frmula de la manera ms simple que se nos
ocurre, exponiendo ant es algunos result ados previos necesarios.



1. I nt r oducci n.
2. Las ecuaci ones de Cauchy - Ri emann.
3. El Teor ema de l a I nt egr al de Cauchy .
4. El nmer o de vuel t as al r ededor de un punt o.
5. La Fr mul a.
6. Bi bl i ogr af a var i a sobr e anl i si s compl ej o.
2


1. I nt r oducci n:

El conj unt o de los nmeros complej os es el de los pares ordenados de nmeros
reales:
{ } R b R a b a C / ) , (
Es fcil comprobar su est ruct ura de grupo conmut at ivo respect o a la ley int erna

2
) ' , ' ( ), , ( ), ' , ' ( ) ' , ' ( ) , ( C b a b a b b a a b a b a + + +

y su est ruct ura de cuerpo conmut at ivo se aadimos como ley mult iplicat iva

2
) ' , ' ( ), , ( ), ' ' , ' ' ( ) ' , ' ( ) , ( C b a b a b a ab bb aa b a b a + +

la represent acin grfica bidimensional es lo que llamamos el plano complej o,
donde el punt o represent at ivo del par de nmeros reales que represent a cada
complej o decimos que es su afij o o punt o r epr esent at ivo. Los conj unt os cont enidos
en el plano complej o los denominamos r eci nt os, y, si son circulares, discos.

Un recint o D puede ser conexo o no conexo ( por arcos) segn se pueda o no unir
dos punt os cualesquiera de D mediant e un arco de curva plana cont inua cont enida
en D. En gener al se ver ifica que un espacio conexo por ar cos es topolgicament e
conexo, aunque la afirmacin cont raria no sea ciert a.

Tomando como grupo de vect ores el grupo adit ivo ( C, + ) y como cuerpo de
definicin el cuerpo conmut at ivo infinit o de los nmeros reales, es fcil det erminar
que la est ruct ura ( C, + , + R) es un espacio vect or ial conmut at ivo r eal.

El espacio vect orial real de los nmeros complej os es, adems un espacio nor mado,
est o es, se puede definir en l un mdulo para cada complej o, una norma y una
dist ancia.

Mdulo o norma de un nmero complej o ( a,b) :
2 2
) , ( b a b a + +

Dist ancia ent re dos nmeros complej os ( a, b) y ( c, d) :
( ) ( ) ( ) ( )
2 2
' ' ' , ' ) ' , ' ( ), , ( b b a a b b a a b a b a d + +

1. 2. Funciones en el campo complej o:

Una funcin complej a de variable complej a es una funcin de dominio en C y
valores t ambin en C:
C C f :

En general, si E es un espacio normalizado ( dot ado de una norma) sobre un campo
numrico ( en general R o el mismo C) , una funcin de variable complej a con
valores en E es :
E C f :
o bien, si es
E C f
n
:

donde es C
n
el espacio de las n- plas de nmeros complej os.

3
Si el dominio de F es U C diremos que f est definida en el dominio U de C, que
puede ser abiert o o cerrado en la t opologa usual de C.

Funci ones hol omor f as:

Si es E un espacio vect orial normalizado, se dice que una funcin definida en un
abiert o U de C, de valores en E, es holomorfa en U si es derivable en t odo punt o de
U.

En general, una funcin derivable en un abiert o U de C
n
, con valor es en E, es
holomorfa en U si es diferenciable en t odo punt o del abiert o U.

Funci ones anal t i cas:

Sea n un ent ero nat ural no nulo. Una funcin f de valores en un espacio vect orial
normalizado complet o E definida en un abiert o U del espacio numrico K* ( en el
que K = R o K = C) es analt ica si, para t odo punt o z
o
de U, f es desarrollable en
ser ie de pot encias de z - z
o
, conver gent e en un ent or no de z
o
. Cuando K = C, las
funciones analt icas no son ms que las funciones holomorfas en U. Cuando K = R
son las rest ricciones en U de las funciones holomorfas en un abiert o de C
n
que
cont iene a U.

Sean n y p dos ent eros nat urales no nulos. Una aplicacin de un abiert o U de C
p
en
C
n
es analt ica si y solament e si t odas sus component es son funciones analt icas en
U.
4



2. Las ecuaci ones de Cauchy - Ri emann:

Ent re las derivadas parciales de las dos component es de una funcin holomorfa
exist en dos relaciones muy sencillas que se conocen como Ecuaciones de Cauchy -
Riemann ( t ambin se las acost umbra a denominar Ecuaciones de DAlembert - Euler)
y que permit en, al combinarlas con el t eorema de Grenn en el plano, conseguir una
prueba muy simple del Teorema de Cauchy, como luego veremos.

Sea iv u z f + ) ( una funcin holomorfa en un recint o conexo D, cont orneado por
la cur va cer r ada r ect ificable de Jor dan.

Se t iene, en definit iva:

iy x z D z iv u z f C D f + + , , ) ( , :

siendo la diferencial y la derivada:

dy i dx dz v i u z f dz z f z df dv i du z df . , ' . ' ) ( ' , ). ( ' ) ( , . ) ( + + +

O sea:

( )( ) ( ) ( ) dy u dx v i dy v dx u dy i dx v i u dv i du z df '. '. . '. '. . ' . ' . ) ( + + + + +

Y t ambin:

,
_

,
_

+ dy
y
v
dx
x
v
i dy
y
u
dx
x
u
dv i du z df . . ) (

Por lo que ident ificando est as dos expresiones:

x
v
y
u
v
y
v
x
u
u

' , '

Se obt ienen, por t ant o, las r elaciones buscadas:


[ 1]

'

x
v
y
u
y
v
x
u



( Ecuaciones de Cauchy - Riemann)
5



2. El Teor ema de l a I nt egr al de Cauchy :

Veamos en primer lugar el enunciado ms sencillo de est e Teorema, al que se
consider a el r esult ado cent r al de la t eor a de las funciones analt icas, j unt o con la
prueba que se obt iene del Teorema de Green y de las Ecuaciones de Cauchy -
Riemann:

Si es D un r ecint o conexo de cont or no dado por la cur va r ect i f icable Jor dan se
cumple que

0 ). ( dz z f
En ef ect o:

( )( ) ( ) ( ) dy u dx v i dy v dx u dy i dx v i u dz z f dy i dx dz v i u z f . . . . . . . . ). ( , . , . ) ( + + + + + +

y si t enemos en cuent a el Teorema de Green en el plano:

dy dx
y
P
x
Q
dy Q dx P
D
. . .

,
_

podemos escribir ent onces que

,
_

,
_

+ +

dxdy
y
v
x
u
i dy dx
y
u
x
v
dy u dx v i dy v dx u dz z f
D
. . . . . . . . ). (

y las dos lt imas int egrales son nulas, por las ecuaciones de Cauchy - Riemann [ 1] :

0 0 0 . . . +

,
_

,
_

dxdy
y
v
y
v
i dy dx
y
u
y
u
D


y, en definit iva:

0 ). ( dz z f


Ext ensin:

El t eorema de Cauchy puede ext enderse al caso de que el recint o plano D sea
conexo salvo en un nmero finit o de punt os { }
k
p p p ,..., ,
2 1
siempre que se verifique
que
[ 2]
[ ]
j
j
p z
k j z f p z

, 1 , 0 ) ( ). ( lim


est o nos permit e enunciar el siguient e corolario:

6
0
) ( ) (
0
) ( ) (

dz
a z
a f
dz
a z
z f
dz
a z
a f z f


en ef ect o, pues se t i ene que

a z
a z
a f z f
a z

, 0
) ( ) (
). ( lim

y, por consiguient e, se puede aplicar el t eorema a la funcin
a z
a f z f

) ( ) (
,
quedando:

[ 3]

0 .
) ( ) (
dz
a z
a f z f



Est e corolario nos permit ir probar ya la Frmula de la I nt egral de Cauchy
ut ilizando para ello la expresin int egral que nos da el nmero de vuelt as o ndice
de un cir cuit o con r espect o a un punt o a, y que explicit amos a cont inuacin.



7

3. El nmer o de vuel t as al r ededor de un punt o:

Par a t odo cir cuit o del disco conexo D, y para t odo punt o a del disco no
pert enecient e al circuit o se verifica que exist e un nmero ent ero n que llamaremos
ndice del punt o a con r espect o al cir cuit o , o bien, nmero de vuelt as del
ci r cui t o con respect o al punt o a , cumpliendo que

a z
dz
i
n
2
1


( la proposicin es t ambin vlida para un recint o conexo salvo en un nmero finit o
de punt os en donde se verifica la ant erior condicin [ 2] de lmit e nulo del Teorema
de Cauchy) .

para un circuit o que d solament e una vuelt a al punt o a ( en sent ido posit ivo, es
deci r , cont rario al de las aguj as del reloj ) , se t endr:

a z
dz
i 2
1
1

en ef ect o:

Consideremos el arco rect ificable cerrado definido en e int ervalo [ ]
2 1
, t t , en
donde es [ ] C t z t t t ) ( , ,
2 1
; si llamamos h( t ) a la expresin de la int egral, ser:
dt
a t z
t z
a z
dz
t h
t
t
t
t

2
1
2
1
) (
) ( '
) ( ,
de donde ( ) a t z Ln t h
a t z
t z
t h

) ( ) (
) (
) ( '
) ( ' ,
o sea:

( ) a t z e
t h
) (
) (


y siendo en los ext remos del int ervalo [ ]
2 1
, t t , ) ( ) (
2 1
t z t z , podemos escribir que

( ) ( ) a t z e a t z e
t h t h


) ( ) (
2
) (
1
) (
2 1
, o sea: 1
) ( ) (
1 2

t h t h
e . Est o nos indica que si
ident ificamos con la conocida expresin Z n e
in
, 1
2
, ser

in t h t h 2 ) ( ) (
1 2


por lo cual, en definit iva quedara que:

in
a z
dz
t h t h t h
t
t
2 ) ( ) ( ) (
1 2
2
1



[ 4]

a z
dz
i
n
2
1


8

4. La Fr mul a:

Desde la expresin [ 3] del corolario al t eorema de Cauchy se t iene:

0 ) ( .
) (
0 .
) (
.
) (
0 .
) ( ) (
a z
dz
a f dz
a z
z f
dz
a z
a f
dz
a z
z f
dz
a z
a f z f

y t eniendo en cuent a el result ado [ 4] del nmero de vuelt as:

in a f dz
a z
z f
2 ). ( .
) (

de lo cual:

dz
a z
z f
in
a f
) (
2
1
) (

Que es la frmula de la I nt egral de Cauchy para la expresin del valor de
una funcin holomorfa f( z) en un punt o a.
9
5. Bi bl i ogr af a var i a sobr e anl i si s compl ej o:

Damos a cont inuacin bibliografa diversa recopilada de diferent es fuent es, sobre
anlisis complej o, con la cual puede ampliarse el est udio de est os int eresant es
t emas.

AHLFORS, L.V. Complex Analysis. Ed. McGraw- Hill, London, 1966.
APOSTOL, J.M. Calculus, t omos I y I I ( Revert , 1989) .
APOSTOL, T.M. I nt roduccin a la Teora Analt ica de Nmeros. Revert , Barcelona
( 1980) .
ASH, R.B. Complex variables. Academic Press, New York ( 1971) .
BAK, J. and NEWMAN, D.J. Complex Analysis. Springer- - Verlag, New York ( 1982) .
BARTLE, R.G. I nt roduccin al Anlisis Mat emt ico ( Limusa, 1990) .
BEARDON, A.F. A Primer on Riemann Surfaces. Cambridge Universit y Press
( 1984) .
BERENSTEI N, C.A. and GAY, R. Complex Variables. An int roduct ion. Springer- -
Verlag, New York ( 1991) .
BOAS, R.P. Ent ire Funct ions. Academic Press, New York ( 1954) .
BURCKEL, R.B. An int roduct ion t o Classical Complex Analysis. Birkhauser Verlag,
Basel ( 1979) .
BURGOS, J. Clculo I nfinit esimal de una variable ( MaGraw- Hill, 1995) .
BUTUZOV, V.F. y ot ros. Anlisis mat emt ico en pregunt as y problemas ( Mir,
1984)
CARATHODORY, C. Theory of funct ions of a complex variable. Vol. I- I I . Chelsea,
New York ( 1964) .
CARTAN, H. Element ary Theory of Analyst ic Funcions of one or several complex
variables. Dover Publicat ions, I nc. , New York, 1995.
CARTAN, H. Teora element al de las funciones analt icas de una y varias variables
complej as. Selecciones Cient f icas ( 1968) .
CONWAY, J.B. Funct ions of one complex variable. Springer- Verlag, New York
( 1973) .
COURANT, R y JOHN, F. I nt roduccin al Clculo y al Anlisis Mat emt ico, t omos I
y I I ( Limusa, 1976 y 1978)
CHURCHI LL, Ruel V. , BROWN, James W. Complex Variables and Applicat ions.
5a. Ed. McGraw- Hill, I nc., 1990.
DEMI DOVI CH, B. 5000 problemas de Anlisis Mat emt ico ( Paraninfo, 1980) .
DOLBEAULT, P. Analyse Complexe. Masson, Paris ( 1990) .
DUNCAN, J. Complex Analysis. John Wiley and Sons, New York ( 1968) .
DURN, A. Hist oria, con personaj es, de los concept os del Clculo. ( Alianza, 1996)
ESCAN, J. M. Fonct ions d' une Variable Complexe. Masson et Cie, Paris ( 1972) .
FEYEL, D. y PRADELLE, A. DE LA. Ej ercicios sobre las funciones analt ic as.
Paraninfo, Madrid ( 1980) .
FORSTER, O. Lect ures on Riemann Surfaces. Springer- Verlag, New York ( 1981) .
GONZALEZ, Mar i o O. Classical Complex Analysis. Ed. Marcel Dekker, I nc. 1992.
GRAUERT, H. and K. FRI TZSCHE, K. Several Complex Variables. Springer- Verlag,
New York ( 1976)
HAI RER, E. y WANNER, G. Analysis by it s Hist ory ( Springer Verlag, 1996)
HENRI CI , P. Applied and Comput at ional Complex Analysis. John Wiley and Sons,
New York ( 1986) .
HI LLE, E. Analyt ic f unct ion t heor y, Vol. I- - I I . Chelsea, New York ( 1966) .
HOLLAND, A.S.B. Complex Funct ion Theory. Elsevier Nort h Holland, New York
( 1980) .
HORMANDER, L. An I nt roduct ion t o Complex Analysis in Several Variables. Nort h
Holland, Amst erdam ( 1973) .
I LI N, V y POZNI AK,E. Fundament os del Anlisis Mat emt ico, 3 t omos ( Mir,
1991) .
10
KAPLAN, W. I nt r oduct ion t o analyt ic funct ions. Addison Wesley, Reading,
Massachuset t s ( 1966) .
KNOOP, K. Theory and Applicat ions of I nfinit e Series Dover, 1990
KUDRI TSEV, L.D. Curso de Anlisis Mat emt ico, t omos I y I I ( Mir, 1984) .
KUDRI TSEV, L.D. ; KUTSOV, A.D. ; CHEJLOV, V.I . y SHABUNI N, M.I .
Problemas de Anlisis Mat emt ico Vol I y I I . ( Mir- Rubios, 1992) .
KRZYZ, J.G. Problems in Complex Variable Theory. Elsevier, New York ( 1971) .
LANG, S. I nt roduccin al Anlisis Mat emt ico ( Addison- Wesley, 1990)
LANG, S. Complex Analysis. Addison Wesley, Reading, Massachuset t s ( 1977) .
LI ASHK, I .I .; BOI ARCHUK, A.K. ; GAI , I .G. y GOLOVACH, G.P. Mat emt ica
Superiores. Problemas Resuet os ( Ant i- Demidovich) Vol I I ( Clculo I nt egral para
funciones de una variable) I I I . ( Series y Clculo diferencial para funciones de varias
variables) ( Edit orial URSS, 1999) .
LI NES, E. Anlisis Mat emt ico I V. U.N.E.D., Madrid ( 1976) .
MARKUSHEVI CH, A.I . Theory of Funct ions of a Complex Variable, Vol. I- - I I - - I I I .
Pr ent i ce- - Hall, New York ( 1965- - 67) .
MARSDEN, J.E. Basic complex Analysis. Freeman, San Francisco ( 1973) .
NACHBI N, L. Holomorphic Funct ions, Domains of Holomorphy and Local
Propert ies. Nort h Holland, Amst erdam ( 1970) .
POLYA, G. y SZEG, G. Problems and t heorems in Analysis, t omos I y I I
( Springer- Verlag, 1976)
RUDI N, W. Anlisis real y complej o. Alhambra, Madrid ( 1979) .
RUDI N, W. Principios de Anlisis Mat emt ico ( McGraw- Hill, 1987) .
SAKS, S. and ZYGMUND, A. Analyt ic Funct ions. Elsevier, Amst erdam ( 1971) .
SANSONE, G. and GERRETSEN, J. Lect ur es on t he Theor y of Funct i ons of a
Complex Variable. Vol. I- - I I . Wolt ers Noordhoff, Groningen ( 1960- - 69) .
SEGAL, S.L. Nine I nt roduct ions in Complex Analysis. Nort h Holland, Amst erdam
( 1981) .
SPI VAK, M. Calculus ( Revert , 1987) .
VEECH, W. A. A second course in complex analysis. Benj amin, New York ( 1967) .
VOLKOVYSKI , L.; G. LUNTS, G. y I . ARAMANOVI CH, Problemas sobre la t eora
de funciones de variable complej a. Mir, Mosc ( 1972) .










Carlos S. Chinea
Mayo, 2003
casanchi@t eleline. es