Sei sulla pagina 1di 32

1

}
=
C
dz z f 0 ) (
C
Teorema integral de Cauchy
Si f (z) es analtica con derivada
continua en todos los puntos
dentro y sobre un contorno cerrado
C, entonces:
0 =
}
C
z
dz
C
f (z) es analtica en todo punto
excepto en z = 0
0 =
}
C
z
dz e
f (z) es analtica en todo punto
C
Ejemplos:
2
Demostracin del teorema integral de Cauchy:

} } } }
}
+ +
=
C C C C
C
dy y x u i dx y x v i dy y x v dx y x u
dz z f
) , ( ) , ( ) , ( ) , (
) (
) , ( : ) , (
) , ( : ) , (
y x v y x Q
y x u y x P
=
=
) , ( : ) , (
) , ( : ) , (
y x u y x Q
y x v y x P
=
=
0 =
|
|
.
|

\
|
c
c

c
c
+
|
|
.
|

\
|
c
c

c
c
=
}} }}
dxdy
y
v
x
u
i dxdy
y
u
x
v
D D
0
(Como f(z) es analtica
cumple las ECR)
Como suponemos u(x,y), v(x,y) y sus
derivadas parciales continuas en todos
los puntos dentro y sobre C:
3
}
=
C
dz z f 0 ) (
Teorema integral de Cauchy-Goursat
Si f (z) es analtica en todos los puntos dentro y
sobre un contorno cerrado C, entonces:
Es menos restrictivo que
el teorema integral de
Cauchy. Goursat
demostr el teorema
integral de Cauchy sin
imponer la restriccin
alguna sobre la derivada
de f(z).
Edouard Jean-Baptiste Goursat
(1838 1936)
4
?
cos
1
2
=
}
C
dz
z
f (z) es no analtica en z = t/2, 3t/2, ...
0
3
sin 3
1
=

}
C
z
dz
z
z e
2
C
1
C
0
cos
1
1
=
}
C
dz
z
f (z) es no analtica
en z = 3
?
3
sin 3
2
=

}
C
z
dz
z
z e
Ejemplos
1
C
2
C
0
) sin(
1
=
}
dz
z
C
t
No es analtica en
los puntos
z = 0, 1, 2,...
0 1 2
-1 -2
C
2i
5
}
+
C
dz
z z
dz
) 9 (
2 2
Evaluar la integral
f (z) presenta singularidades en z = 0 y z = 3i. Esos puntos estn fuera
de la regin sombreada como muestra la figura. As:
donde C es un crculo de
radio 2, centrado en 0, descrito
en sentido positivo y un crculo
de radio 1, centrado en 0,
descrito en sentido negativo.
0
) 9 (
2 2
=
+
}
C
dz
z z
dz
Ejemplo
C
0
3i
-3i
1 2
6
Ms sobre integracin en contornos cerrados...
Podemos usar el teorema Integral de Cauchy para integrar
funciones en contornos cerrados siempre que stas sean:
(a) analticas, o
(b) analticas en ciertas regiones
Por ejemplo,
0 =
}
C
z
dz
C
f (z) es analtica en todo punto
excepto en z = 0
Pero, qu sucede si el contorno encierra un punto singular?
C
? =
}
C
z
dz
7
) ( 2
) (
0
0
z f i dz
z z
z f
C
t =

}
Frmula Integral de Cauchy
Sea f (z) analtica en un dominio simplemente conexo D.
Para cualquier punto z
0
en D y cualquier contorno cerrado C
en D que incluya z
0
:
D
0
z
C
8
Ejemplo
Ilustremos la frmula integral de Cauchy para el caso de
f (z) = 1 y z
0
= 0
0
0
= z
C
D
La frmula integral de Cauchy
i i dz
z
C
t t 2 1 2
1
= =
}
f (z) es una funcin constante,
es entera, as que C puede ser cualquier
contorno cerrado en el plano complejo
conteniendo z = 0.
) ( 2
) (
0
0
z f i dz
z z
z f
C
t =

}
se convierte en
9
Ejemplo
}

C
dz
z
z
2
2
Evaluar la integral donde C es
2
0
= z
z = 2 es un punto singular en el interior a C.
se convierte en:
2 1 = z
) ( 2
) (
0
0
z f i dz
z z
z f
C
t =

}
La frmula integral de Cauchy
t t 8 4 2
2
2
i i dz
z
z
C
= =

}
f (z) es analtica en todo punto de
modo que C puede ser cualquier
contorno en el plano complejo
conteniendo el punto z = 2.
10
0
C
C
0
z
z
u i
e r
0
Demostracin no rigurosa de
la frmula integral de Cauchy:

Por el principio de deformacin
de contornos:
} }

=

0
0 0
) ( ) (
C C
dz
z z
z f
dz
z z
z f
u u
t
u u
t
u
u
d e r z f i d e ir
e r
e r z f
dz
z z
z f
i i
C
i
i
} } }
+ =
+
=

2
0
0 0 0
2
0
0
0 0
0
) (
) ( ) (
0
u u
u
i i
e ir
d
dz
e r z z
0 0 0
; = + =
Cambio de
variable:
11
Hemos tomado un r
0
arbitrario. Hagmoslo infinitamente
pequeo:
) ( 2 ) (
) ( ) ( lim
0
2
0
0
2
0
0
2
0
0 0
0
0
z if d z if
d z f i d e r z f i
i
r
t u
u u
t
t t
u
=
= =
(

+
}
} }

) ( 2
) (
0
0
z f i dz
z z
z f
C
t =

}
Qu no es riguroso aqu?
12
0
C
C
0
z
z
u i
e r
0
Demostracin de la frmula
integral de Cauchy. Por el
principio de deformacin
de contornos:
} }

=

0
0 0
) ( ) (
C C
dz
z z
z f
dz
z z
z f

2
0
1
0
0
0
0
0
0
0
0 0
0
) ( ) ( 1
) (
) ( ) ( ) ( ) (
I
C
I
C
C
C
dz
z z
z f z f
dz
z z
z f
dz
z z
z f z f z f
dz
z z
z f
} }
} }

+
=

13
} } }
= = =

=
t
u
t
u
t u u
2
0
0
2
0
0 0
1
2
1 1
0
i d i d e ir
e r
dz
z z
I
i
C
i
}

=
0
0
0
2
) ( ) (
C
dz
z z
z f z f
I
Vamos a encontrar una cota ML para
0
2 r L t =
M
z z
z f z f
z z
z f z f
s

0
0
0
0
) ( ) (
) ( ) (
Tenemos:
Y necesitamos M tal que:
Para todo z en C
0
:
0 0
r z z =
Como f(z) es continua en z
0
:
o c < <
0 0
) ( ) ( z z si z f z f
Si tomamos
c o < s ) ( ) (
0 0
z f z f r
para todo z sobre C
0
.
14
c t t
c
2 2
) ( ) (
0
0 0
0
2
0
= = s

=
}
r
r
ML dz
z z
z f z f
I
C
Ya podemos aplicar la desigualdad ML: para
0
2 r L t =
M
r r
z f z f
z z
z f z f
s

0 0
0
0
0
) ( ) ( ) ( ) ( c
Epsilon puede ser tan pequeo como queramos (de hecho
reducirlo es reducir el radio r
0
. As que:
0 0
2 2
= = I I
) ( 2
) ( ) ( 1
) (
) (
0
0
0
0
2
0
0
0
2
0
1
0
z if dz
z z
z f z f
dz
z z
z f dz
z z
z f
I
C
i I
C
C
t
t
=

= =
} } }

15
) ( 2
) (
0
0
z f i dz
z z
z f
C
t =

}
Ejemplos
Evaluar las siguientes integrales:
}

C
i z
dz
(1)
donde C es el crculo |z |=2
i z =
0
1 ) ( = z f
f (z) es analtica en D y C incluye z
0

1 ) (
0
= z f
C
i
D
i
i z
dz
C
t 2 =

}
16
) ( 2
) (
0
0
z f i dz
z z
z f
C
t =

}
}
+
C
z
dz
1
2
(2)
donde C es el crculo |z+i |=1
Necesitamos un trmino en la forma 1/(z- z
0
) as que rescribimos la
integral como:
En primer lugar, notemos que 1/(z
2
+1) presenta
puntos singulares en z = i.

El contorno C incluye uno de esos puntos, z = -i.
Ese es nuestro punto z
0
en la frmula
C
i
i +
D
dz
i z
i z
i z i z
dz
z
dz
C C C
} } }
+

=
+
=
+
1
) )( ( 1
2
17
t =
+

}
C
z
dz
1
2
) ( 2
) (
0
0
z f i dz
z z
z f
C
t =

}
i z =
0
C
i
i +
D
i z
z f

=
1
) (
2 / ) (
0
i z f =
dz
i z
i z
i z i z
dz
z
dz
C C C
} } }
+

=
+
=
+
1
) )( ( 1
2
18
Evaluar

donde C es el crculo |z 2i | = 4.
Solucin
Solo z = 3i est dentro de C, y
i z
i z
z
z
z
3
3
9
2

+
=
+
z d
z
z
C
}
+ 9
2
: entonces ,
3
) ( Sea
i z
z
z f
+
=
i
i
i
i i f i z d
i z
i z
z
z d
z
z
C C
t t t = = =

+
=
+
} }
6
3
2 ) 3 ( 2
3
3
9
2
19
Otro ejemplo
) ( 2
) (
0
0
z f i dz
z z
z f
C
t =

}
Frmula integral de Cauchy:
se convierte en
i
C
z
ie dz
i z
e

=
+
}
t 2
i z =
0
C
D
}
+
C
z
dz
i z
e
Evaluar donde C es cualquier contorno cerrado
conteniendo z = -i
f (z) es analtica en todo punto
20
}

C
z
dz
1
4
C
i
i +
1 1 +
Tenemos que
} }
+ +
=

C C
i z i z z z
dz
z
dz
) )( )( 1 )( 1 ( 1
4
El contorno C incluye uno de esos puntos, z = +i.
Ese es nuestro punto z
0
en la frmula
} }

=

C C
dz
i z
z f
z
dz ) (
1
4
) )( 1 )( 1 (
1
) (
i z z z
z f
+ +
= donde
4 ) 2 )( 1 )( 1 (
1
) ( ) (
0
i
i i i
i f z f =
+
= =
Ahora
2
) ( 2
) (
1
0
0
4
t
t = =

} }
z f i dz
z z
z f
z
dz
C C
donde C es el crculo |z+i |=1
21
}

C
z
dz z
1
tan
2
donde C es el crculo |z |=3/2
tan z es no analtica en t/2, 3t/2, ., pero esos
puntos estn fuera de nuestro contorno de
integracin
C incluye dos puntos singulares, z = 1.
Para poder usar la frmula integral de Cauchy,
debemos tener slo un punto singular z
0
dentro de C.
C
1
1 +
2 / 3t
2 / t
Usaremos fracciones parciales:
) 1 )( 1 (
) 1 ( ) 1 (
1 1 1
1
2
+
+ +
=
+
+

=
z z
z B z A
z
B
z
A
z
2 / 1 , 2 / 1
1
0 ) (
= =
=
= +
B A
B A
z B A
22
( )
0
!
2 ) (
1
0
z
n
n
C
n
dz
f d
n
i
dz
z z
z f t
=

} +
Por ejemplo,

Se pueden tratar funciones ms complicadas con potencias de z-z
0
,
con la frmula:
Nota: cuando n=0 tenemos la
Frmula Integral de Cauchy:
0
) ( 2
) (
0
z
C
z f i dz
z z
z f
t =

}
Generalizacin de la frmula integral de Cauchy
( )
| |
( )
| |
} }
= =
=

=
+

C
z z
C
dz
z d
i dz
z
z
dz
z z d
i dz
z
z z
2
2
2
3
1
2
2
2
0 0
cos
2
cos
,
3
2
1
3
t t
f analtica en y dentro
de C, z
0
dentro de C
Esta frmula tambin es conocida como la formula para las
derivadas de una funcin analtica.

23
( )
0
!
2 ) (
1
0
z
n
n
C
n
dz
f d
n
i
dz
z z
z f t
=

} +
Tomando f(z
0
) como una funcin de variable z
0
. Derivando
con respecto a z
0
y aplicando la regla de Leibnitz:
Partamos de la frmula integral de Cauchy:
}

=
C
dz
z z
z f
i
z f
0
0
) (
2
1
) (
t
Demostracin de la generalizacin de
la frmula integral de Cauchy
( )
}
}
}

=
|
|
.
|

\
|

=
(

=
C
C
C
dz
z z
z f
i
dz
z z dz
d
z f
i
dz
z z
z f
i dz
d
z f
dz
d
2
0
0 0
0 0
0
0
) (
2
1
1
) (
2
1
) (
2
1
) (
t
t
t
Usar el mismo
procedimiento para
demostrar por induccin:
24
La generalizacin de la frmula integral de Cauchy nos
muestra algo excepcional:

Si una funcin f(z) es analtica en cierto dominio, entonces
posee derivadas de todos los rdenes en dicho dominio. Y
estas derivadas son a su vez tambin analticas en el
dominio.

Sea f(z) una funcin definida en todo punto de un entorno de z
0
. Si f(z)
no es analtica en z
0
es imposible encontrar una funcin F(z) tal que
dF/dz = f(z) en todo punto del entorno. De existir F(z) sera analtica y
por la frmula generalizada de Cauchy, su segunda derivada df/dz
existira en todo punto del entorno considerado. Y entonces f(z) sera
analtica en z
0
: una contradiccin.

25
) ( 2
) (
) (
0
2
0
z f i dz
z z
z f
C
'
=

}
t
Ejemplo
Evaluar la integral
}
C
z
dz
z
e
2
t
donde C es el crculo |z |=2
C
0
0
= z sea
z
e z f
t
= ) ( sea
f (z) es analtica en D, y C incluye z
0

t t
t
t
= =
'
=
'
0
0
) (
) (
e z f
e z f
z
D
i
z
dz e
C
z
2
2
2t
t
=
}
26
) (
2
2
) (
) (
0
3
0
z f
i
dz
z z
z f
C
' '
=

}
t
Ejemplo
Evaluar la integral
( )
}

C
dz
i z
z
3
2
donde C es el crculo |z |=2
C
i z =
0
sea
2
) ( z z f =
sea
f (z) es analtica in D, y C incluye z
0
2 ) (
2 ) (
0
=
' '
=
' '
z f
z f
D
i
i z
dz z
C
t 2
) (
3
2
=

}
27
Calcular

donde C es la circunferencia con sentido positivo.
( )
}
+
C
z
dz
i z
e
3
2
3 = z
( )
( )
( )
( )
i
C
z
i
i z
C
n
n
C
z
ie I
i
I
dz
i z
e
i
e
e z f e z f i z
siendo
dz
z z
z f
i
n
z f
dz
i z
e
I
2
3
2
2
0 0
1
0
0
) (
3
2
2
! 2
) ( ) ( ; 2
:
,
) (
2
!
2

+
= =
+
=
=
' '
= =

=
+
=
}
}
}
t
t t
t
28
29
30
31
32
Resumen:
0 ) ( =
}
C
dz z f con f (z) analtica dentro y sobre C.
(1)
) ( 2
) (
0
z if dz
z z
z f
C
o
t =

}
con f (z) analtica dentro y sobre C
(3)
( Teorema integral de Cauchy-Goursat )
(Frmula integral de Cauchy )
con f (z) analtica
dentro y sobre C

(4)
( Frmula para derivadas )
(2)
) ( ) ( ) (
0 1
1
0
z F z F dz z f
z
z
=
}
donde ) (z f
dz
dF
=
F (z) analtica en un dominio simplemente conexo D,
con derivada dF/dz = f(z) y z
0
y z
1
en D.
( )
0
!
2 ) (
1
0
z
n
n
C
n
dz
f d
n
i
dz
z z
z f t
=

} +

Potrebbero piacerti anche