Frmula integral de Cauchy

Teorema
Sean f analtica en dominio simplemente conexo, C una curva cerrada simple,
orientado positivamente contenida en , z0 es un punto interior a C, entonces

f ( z)
dz
z z0
C
1
f ( z)
2 if ( z 0 ) =
dz

2 i C z z 0
2 if ( z 0 ) =

Sea dominio simplemente conexo, C una curva cerrada simple en , z0 es

un punto interior a C, C1 circunferencia de centro z0 de radio conveniente para que est en
la regin acotada por C, entonces
f ( z)
f ( z)
C z z 0 dz = C z z 0 dz
1
Demostracin

( )

dz

zz

( ) ( )+ ( )

( ) ( )

+ ( )

= 2 i
0

Entonces,
( )

( )

Acotando

( )
#$
*+ ! "

( ) ( )

2&'(($) ) =

( )
*+

( )! ( " )
#$
! "

+ ( )

( ) ( )

*+

( )! ( " )
! "

#$

Como es continua en z0 entonces |(($) (($) )| se puede hacer arbitrariamente cercano a

cero siempre que |$ $) | sea convenientemente cercano a cero, sean y estas cantidades
arbitrariamente cercanas a cero de modo que
|(($) (($) )| < 1
2
Siempre que, |$ $) | < 3 < 4, entonces la integral se puede acotar, en efecto
*+

(($) (($) )
5 #$ =
$ $)

6+

|(($) (($) )|
7
#$ 2&|$ $) | = 2&7
4
|$ $) |
2

Esto significa que la integral se puede hacer arbitrariamente cercana a cero tomando el
radio de C1 suficientemente pequeo, esto solo se puede hacer si la integral es cero
Y as
8
Por lo cual, se tiene que

*+

(($)
#$ 2&'(($) )8 = 0
$ $)

*+

Ejemplo
Calcular

* (
3

: !;

: !;<)(

!3)

(($)
#$ = 2&'(($) )
$ $)

#$, siendo C z(t) = 3eit, t[0, 2]

$ 1
$3 1
B
C
D
=
=
+
+
($ 3 16)($ 2) ($ 4)($ + 4)($ 2) $ + 4 $ 4 $ 2
Clculo de A
$3 1
B=
($ 4)($ 2)
Para z = - 4
16 1
5
B=
=
(4 4)(4 2) 16
Clculo de B
$3 1
C=
($ + 4)($ 2)
Para z = 4
16 1
15
C=
=
(4 + 4)(4 2) 16
Clculo de C
$3 1
D=
($ 4)($ + 4)
Para z = 2
41
1
D=
=
(2 4)(2 + 4)
4
3
$ 1
5
15
1
=
+

3
($ 16)($ 2) 12($ + 4) 16($ 4) 4($ 2)
*

$3 1
#$ =
($ 3 16)($ 2)

| |HI
*

5
15
1
2&'
+

G #$ = 0 + 0
12($ + 4) 16($ 4) 4($ 2)
4

$3 1
2&'
#$ =
3
($ 16)($ 2)
2

Ejemplos
1. Evaluar de dos formas

: JI

!K

Forma 1
Se hace la divisin de los polinomios
: JI

!K

=$+3

$ 3 + 3$ 5
#$ =
$

#$, C, disco unitario

5
F$ + 3 G #$ =
$

*+

*+

($ + 3)#$ 5

*+

#$
= 10&'
$

Forma 2
Aplicando la frmula integral de Cauchy la funcin (($) = $ 3 + 3$ 5 es analtica en en
cualquier disco centrado en el origen. El punto z = 0, est dentro del disco unitario
*

2. Evaluar

$ 3 + 3$ 5
#$ = 2&'((0) = 2&'(5) = 10&'
$
sen (z )

(z

z =2

(z

1
2

(z 1) (z + 1)

dz

A
B
C
D
+
+
+
2
z + 1 (z + 1)
z 1 (z 1)2

Clculo de B
C
1
D
(x + 1)
= A( z + 1) + B +
+
2
2
(z 1)
z 1 ( z 1)

Para z = -1
C
1
D
( 1 + 1) B = 1
= A( 1 + 1) + B +
+
2
2
4
( 1 1)
z 1 (z 1)

Clculo de D
A
1
B
C
( z 1)2 + D
=
+
+

2
2
(z + 1) z + 1 (z + 1) z 1

Para z= 1 D = 1

1
2

(z 1) (z + 1)

A
1
C
1
+
+
+
2
z + 1 4(z + 1)
z 1 4(z 1)2

Para z = 0
1= AC +

1
1
AC =
2
2

Para z =2
1 A
1
1
1
= +
+ C + A + 3C =
9
3 36
4
6

1
2

AC =

1
1
C = , A=
1
6
3
A + 3C =
6

1
2

(z 1) (z + 1)

1
1
1
1
+

+
2
3( z + 1) 4(z + 1) 3(z 1) 4( z 1)2

Luego,
sen(z )

(z

z =2

dz =

sen (z )

sen(z )

3(z + 1) dz + 4(z + 1)

z =2

z =2

dz

sen (z )

sen (z )

3(z 1) dz + 4(z 1)

z =2

dz =

z =2

Los nmeros 1 y -1 estn dentro del disco de centro 0 y radio 2

Entonces
sen (z )

(z

z =2

dz =

2
2 i
2 i
2i
isen ( ) +
cos( )
sen +
cos = 4 2 i
3
4
3
4

Esta frmula es importante para demostrar que una funcin analtica en un punto admite
derivadas de todos los rdenes en ese punto y, todas ellas, analticas en dicho punto.
Si f es analtica en el interior y sobre los puntos de una curva cerrada simple C. Sea z un
punto interior a C. Denotando por s los puntos de C y usando la frmula integral de
Cauchy, se tiene que:

f ( z) =
Derivando en z
( M ($) =

1 f ( s)
ds
2 i C s z

1
2&'

((N)
#N
(N $)3

Teorema
Si f es una funcin analtica en dominio simplemente conexo, C una curva
cerrada simple, orientado positivamente contenida en , z0 es un punto interior a C,
entonces

f ( z)

2 i ( z z )
C

:(

!;!Q)

1. *

:(

dz = f ' ( z 0 )

n!
f ( z)
dz = f

2 i C ( z z 0 )n+1

Ejemplos

(n )

( z 0 ), n = 0,1, 2,......

, a) |$| = 1, b) |$ 1 '| = 1

!;!Q)

, tiene singularidades en z = 0, y en z = 1 + i,

a) z = 1 + i no est en |$| 1
;
as, (($) = !;!Q es analtica en |$| 1

1
#$
$

1 ' #$
R 3
=R
$ ($ 1 ')
$3

M
1
1
( M ($) = F
G =
($ 1 ')3
$1'
1
1
( M()) =
=
(1 ')3
2'
1
#$
2&'
R 3
= R $ 13 ' #$ =
= &
$ ($ 1 ')
$
2'

b) z = 0, no est en |$ 1 '| 1, as que (($) = : es analtica y

1
1
((1 + ') =
=
(1 + ')3 2'
1
#$
2&'
3
$
R 3
=R
#$ =
=&
($ 1 ')
$ ($ 1 ')
2'
;