Apuntes de ECUACIONES DIFERENCIALES de Jos Mara Amig 1

SESIN 08: EL TEOREMA DE CAUCHY

El teorema de Cauchy es uno de los resultados ms importantes del clculo de vari-
able compleja. De hecho, en esta sesin y tambin en las sesiones 10-13 nos dedicaremos
a explotar algunas de sus muchas consecuencias.
Aunque la mayora de resultados de este apartado se pueden enunciar para con-
tornos cerrados generales, nosotros nos limitaremos a los contornos contornos simples,
tanto por la mayor sencillez de enunciados y demostraciones, como por cubrir los casos
que aparecen en la prctica.
Teorema 1 (Teorema de la integral de Cauchy) Sea , una funcin analtica en un
dominio 1 y sea un contorno simple cerrado tal que '
int
1. Entonces
_

,d. = 0
Prueba. Daremos la demostracin en el caso en que ,
0
sea continua en 1. ya que
entonces este teorema es consecuencia inmediata del Teorema de Green:
_

(1dr + Qd) =
__
[
int
_
JQ
Jr

J1
J
_
drd
si 1(r. ). Q(r. ) son de clase C
1
en un abierto que contenga a '
int
. Luego
_

,d. =
_

(ndr d) + i
_

(dr + nd)
=
__
[
int
_

J
Jr

Jn
J
_
drd + i
__
[
int
_
Jn
Jr

J
J
_
drd
Aplicando ahora las ecuaciones de Cauchy-Riemann, se deduce el Teorema de Cauchy.
Ejemplo 1 La funcin ,(.) = .
n
, : N, es analtica en todo el plano complejo. Sea
= . C : . = 1c
i
. 1 0. 0 _ o < 2: la circunferencia de radio 1 centrada en el
origen. Entonces
_

,d. =
_
2
0
1
n
c
in
i1c
i
do = i1
n+1
_
2
0
c
i(n+1)
do =
1
n+1
: + 1
_
c
i(n+1)

2
0
= 0
El teorema de Cauchy tiene muchas consecuencias interesantes. En esta seccin
veremos algunas de ellas.
Teorema 2 (Teorema de la primitiva) Sea , una funcin analtica en un dominio
simplemente conexo . Entonces existe una funcin 1 analtica en y nica salvo
una constante aditiva, tal que 1
0
(.) = ,(.) para \. . 1 se llama la primitiva (o
antiderivada) de , en .
Apuntes de ECUACIONES DIFERENCIALES de Jos Mara Amig 2
Prueba. La existencia de la primitiva se sigue de los teoremas de Cauchy y de la
independencia del contorno (Teorema 4 de la Sesin 7). Para demostrar la unicidad
(salvo una constante aditiva), supongamos que 1
0
es otra primitiva de , en . Entonces,
(1 1
0
)
0
(.) = 1
0
(.) 1
0
0
(.) = ,(.) ,(.) = 0
para \. . Por el Teorema 3 de la Sesin 3, 1 1
0
es una constante en .
Teorema 3 (Principio de deformacin de contornos) Consideremos dos contornos cer-
rados simples
1
y
2
tales que
2

1;int
. Si una funcin ,(.) es analtica en
1
,
2
y en el dominio doblemente conexo delimitado por ambos contornos (=
2;ext

1;int
),
entonces
_

1
,d. =
_

2
,d.
Prueba. Tracemos un contorno
0
de (un punto de)
1
a (un punto de)
2
y que
est contenida en
2;ext

1;int
. De esta forma obtenemos un nuevo contorno cerrado
=
1
+
0

2

0
cuyo interior es el dominio
2;ext

1;int
~
0
. Aplicando el
Teorema de Cauchy,
0 =
_

1
+
0

0
, =
_

1
, +
_

0
,
_

2
,
_

0
, =
_

1
,
_

2
,
En realidad, el contorno no es simple, pero esta objecin puede evitarse considerando
dos copias de
0
(recorridas en sentidos opuestos) separadas una distancia y dejando
que 0.
Este corolario puede ser tambin enunciado de la siguiente forma, que explica mejor
su denominacin: las integrales de una funcin analtica ,(.) alrededor de dos contornos
cerrados simples sern idnticas si uno de los contornos puede transformarse en el otro
por medio de una deformacin continua y sin cruzar ninguna singularidad de ,.
Ejemplo 2 Sea ,(.) = 1,(. .
0
) y : [0. 2:] C con (o) = .
0
+1c
i
. la circunfer-
encia de centro .
0
y radio 1 0 orientada positivamente. Entonces,
_

d.
. .
0
=
_
2
0

0
(o)
(o) .
0
do =
_
2
0
i1c
i
1c
i
do = 2:i
independientemente de 1.
El teorema de Cauchy no slo tiene implicaciones para integrales de funciones
analticas a lo largo de contornos cerrados, sino tambin para contornos no cerrados.
Corolario 1 (Principio de independencia de la trayectoria) Sea , una funcin analti-
ca en un dominio simplemente conexo 1 y sean .
1
. .
2
dos puntos de 1. Entonces, la
integral
_

,(.)d. es independiente del contorno : [c. /] C contenido en 1 utilizado

para ir de (c) = .
1
a (/) = .
2
.
Apuntes de ECUACIONES DIFERENCIALES de Jos Mara Amig 3
Prueba. Sean
1
y
2
dos contornos cualesquiera contenidos en 1 con punto inicial .
1
y nal .
2
. Entonces =
1

2
es un contorno cerrado contenido en 1. Si bien nosotros
enunciamos el Teorema de Cauchy slo para contornos simples cerrados, tambin es
cierto para contorno cerrados generales (contenidos en dominios simplemente conexos
en los que el integrando , es analtico), con lo cual
0 =
_

2
, =
_

1
,
_

2
,
Ejemplo 3 Sea .
1
= 1. .
2
= 1 y ,(.) = 1,.. Sea
1
el semicrculo superior de 1 a
1 parametrizado por
1
(t) = c
it
. 0 _ t _ :. Entonces
_

1
,(.)d. =
_

0
,(
1
(t))
0
1
(t)dt =
_

0
c
it
ic
it
dt = :i
Sea ahora
2
el semicrculo inferior de 1 a 1 parametrizado por
2
(t) = c
it
. 0 _ t _ :.
Entonces
_

2
,(.)d. =
_

0
,(
2
(t))
0
2
(t)dt =
_

0
c
it
(ic
it
)dt = :i
Por qu no obtenemos el mismo resultado?
Teorema 4 (Frmula integral de Cauchy) Sea un contorno cerrado simple y ,(.)
una funcin analtica en '
int
. Entonces
,(.
0
) =
1
2:i
_

,(.)
. .
0
d. \.
0

int
Es decir: si ,(.) es analtica en '
int
, donde es un contorno cerrado simple,
entonces los valores de ,(.) sobre determinan su valor en cualquier punto de
int
. La
frmula de Cauchy resulta de aplicar el teorema integral de Cauchy y el principio de
deformacin de contornos a la funcin ,(.),(. .
0
), .
0

int
.
Prueba. Si , es analtica en el dominio 1 '
int
. entonces la funcin ,(.),(. .
0
)
es analtica en 1 excepto en el punto .
0
. Sea
0
: [c. /] C un contorno circular
de centro .
0
y radio : 0 tal que
0
est contenido en '
int
. Por el principio de
deformacin de contornos,
_

,(.)
. .
0
d. =
_

0
,(.)
. .
0
d.
donde
_

0
,(.)
. .
0
d. =
_

0
,(.
0
)
. .
0
d. +
_

0
,(.) ,(.
0
)
. .
0
d.
= 2:i,(.
0
) +
_

0
,(.) ,(.
0
)
. .
0
d.
Apuntes de ECUACIONES DIFERENCIALES de Jos Mara Amig 4
segn el Ejemplo 2. Demostraremos con ayuda de la desigualdad `1 que la integral
de la derecha vale 0. con lo que el teorema quedar probado.
En efecto: debido a la continuidad de , en .
0
. para \ 0 existe o 0 tal que
[,(.) ,(.
0
)[ < si [. .
0
[ < o. Por tanto, si : < o. tendremos [,(.) ,(.
0
)[ <
sobre el contorno
0
y

,(.) ,(.
0
)
. .
0

=
[,(.) ,(.
0
)[
:
<

:
=: ` \.
0
([c. /])
Por ltimo y dado que la longitud de
0
([c. /]) es 2::. se verica

0
,(.) ,(.
0
)
. .
0
d.

<

:
2:: = 2: \ 0
Ejemplo 4 Sea ,(.) = .
n
(analtica en C) y : [0. 2:] C el crculo de centro .
0
y
radio 1 orientado positivamente, (o) = .
0
+ 1c
i
. Entonces,
1
2:i
_

.
n
. .
0
d. =
1
2:i
_
2
0
(.
0
+ 1c
i
)
n
1c
i
i1c
i
do =
1
2:
_
2
0
n

k=0
_
:
/
_
.
nk
0
1
k
c
ik
do
=
1
2:
_
.
n
0
_
2
0
do +
n

k=1
_
:
/
_
.
nk
0
1
k
_
2
0
c
ik
do
_
= .
n
0
= ,(.
0
)
ya que
_
2
0
c
ik
do = 0 para / Z, / ,= 0.
La frmula de Cauchy puede utilizarse a veces para calcular integrales.
Ejemplo 5 Calcular la integral
_

cos .
.
2
+ 1
d.
donde es la circunferencia (c) [. 2i[ = 2. (/) [. + 2i[ = 2. orientada positivamente.
Solucin. (c)
_

cos .
.
2
+ 1
d. =
_

cos .
(. i)(. + i)
d. =
_

cos .,(. + i)
. i
d.
donde ,(.) = cos .,(. + i) es una funcin analtica en '
int
= [. 2i[ _ 2, el disco
cerrado de radio 2 y centro 2i. Adems, i
int
. Aplicando la frmula de Cauchy con
,(.) = cos .,(. + i) y .
0
= i. tenemos:
_

cos .
.
2
+ 1
d. = 2:i
_
cos .
. + i
_
z=i
= 2:i
_
cos i
2i
_
= : cosh 1
Apuntes de ECUACIONES DIFERENCIALES de Jos Mara Amig 5
(/) En este caso, factorizamos el integrando de la siguiente manera:
_

cos .
.
2
+ 1
d. =
_

cos .,(. i)
. + i
d.
ya que, as, ,(.) = cos .,(. i) es analtica en '
int
= [. + 2i[ _ 2. el disco cerrado
de radio 2 y centro 2i. y .
0
= i
int
. Por la frmula de Cauchy,
_

cos .
.
2
+ 1
d. = 2:i
_
cos i
. i
_
z=i
= : cosh 1
Teorema 5 (Frmula integral de Cauchy para las derivadas de una funcin analtica)
Si una funcin , es analtica en cierto dominio 1, entonces posee derivadas analticas
en 1 de todos los rdenes. Adems, si es un contorno cerrado simple tal que '
int

1, entonces la derivada :-sima de , en el punto .
0

int
viene dada por
,
(n)
(.
0
) =
:!
2:i
_

,(.)
(. .
0
)
n+1
d.
Prueba. La demostracin es por induccin. Probaremos slo el primer caso, : = 1.
Por denicin,
,
0
(.
0
) = lm
h!0
,(.
0
+ /) ,(.
0
)
/
donde, por la frmula integral de Cauchy,
,(.
0
+ /) ,(.
0
)
/
=
1
2:/i
_

_
,(.)
. .
0
/

,(.)
. .
0
_
d.
=
1
2:i
_

,(.)d.
(. .
0
)(. .
0
/)
=
1
2:i
_

,(.)d.
(. .
0
)
2
+
/
2:i
_

,(.)d.
(. .
0
)
2
(. .
0
/)
Utilizando la misma tcnica que en la demostracin de la frmula integral de Cauchy,
demostraremos que la segunda integral tiende a 0 cuando / 0. Sea, en efecto,

0
: [c. /] C un contorno circular de centro .
0
y radio : 0 tal que
0
est contenido
en '
int
y elijamos / con [/[ < :,2. Por el principio de deformacin de contornos,
/
2:i
_

,(.)d.
(. .
0
)
2
(. .
0
/)
=
/
2:i
_

0
,(.)d.
(. .
0
)
2
(. .
0
/)
donde, para \.
0
. se cumple [. .
0
[ = : y [. .
0
/[ _ [. .
0
[ [/[ _ :,2.
Luego, si ` = max
z2
0
[,(.)[, por la desigualdad `1 deducimos

/
2:i
_

0
,(.)d.
(. .
0
)
2
(. .
0
/)

<
[/[
2:
` 2::
:
2
:,2
=
2 [/[ `
:
2
0
Apuntes de ECUACIONES DIFERENCIALES de Jos Mara Amig 6
cuando / 0. As, pues,
,
0
(.) =
1
2:i
_

,()d
( .)
2
\. 1
Observemos, nalmente, que la integral de la derecha es nita, por tratarse de la
integracin de una funcin continua sobre un compacto, lo que prueba que , es derivable
en 1.
Nota 1 La frmula integral de Cauchy para las derivadas prueba que, bajo las hiptesis
del teorema anterior,
d
n
d.
n
_

,()
.
d =
_

J
n
J.
n
_
,()
.
_
d : N
que es una extensin a las integrales de contorno de la regla de Leibniz.
Las integrales de la forma
_

,(.)
(. .
0
)
m
d. : N
donde es un contorno cerrado simple, , es analtica en '
int
y .
0

int
. se llaman
integrales de Cauchy y aparecen a menudo en las aplicaciones.
Ejemplo 6 Calcular la integral
1 =
_

c
2z
(. + 1)
4
d.
donde es el crculo [.[ = 3 orientado positivamente.
Solucin. Poniendo ,(.) = c
2z
, .
0
= 1 y : = 3 en la frmula integral de Cauchy
para las derivadas, obtenemos
1 =
2:i
3!
,
(3)
(1)
Como ,
(3)
(.) = 8c
2z
. resulta ,
(3)
(1) = 8c
2
y
1 =
8:ic
2
3
Ejercicio 1 Si , es analtica en el disco cerrado 1
R
(.
0
). probar la desigualdad de
Cauchy

,
(n)
(.
0
)

_
`:!
1
n
: N
donde ` 0 es una constante tal que [,(.)[ < ` para \. con [. .
0
[ = 1.
Apuntes de ECUACIONES DIFERENCIALES de Jos Mara Amig 7
La frmula integral de Cauchy tiene otras muchas aplicaciones interesantes, algunas
de las cuales veremos a continuacin. Empezaremos con el Teorema de Morera, que
viene a ser el recproco del teorema integral de Cauchy.
Teorema 6 (Morera) Sea , continua en un dominio 1 y supongamos que
_

,d. = 0
para todo contorno cerrado simple en 1. Entonces, , es analtica en 1.
Prueba. El Teorema 4, Sesin 7 (Independencia del contorno) implica la existencia
de una funcin 1 analtica en 1 tal que 1
0
= ,. Por otra parte, por el Teorema 5,
sabemos que todas las derivadas de 1 existen y son asimismo analticas en 1. En
particular, ,
0
(.) = 1
00
(.) para \. 1. lo que prueba que , es analtica.
Teorema 7 (Teorema del Valor Medio) Sea , una funcin analtica en el dominio 1.
.
0
1 y sea 1 0 tal que 1
R
(.
0
) = . C : [. .
0
[ = 1 1. Entonces,
,(.
0
) =
1
2:
_
2
0
,(.
0
+ 1c
i
)do
Observemos que este teorema expresa el valor de , en .
0
como un promedio de sus
valores sobre el crculo de centro .
0
y radio 1. de ah su nombre. La expresin es vlida
siempre que , sea analtica en el disco 1
R
(.
0
).
Prueba. Basta con aplicar la frmula integral de Cauchy con (o) = .
0
+ 1c
i
. 0 _
o _ 2:.
Una consecuencia del Teorema del Valor Medio es el Principio del Mximo y el
Principio del Mnimo que vienen a continuacin. Recordemos que se dice que , : 1
C alcanza un extremo (mximo o mnimo) en .
0
1 si, en realidad, [,[ : 1 R
alcanza dicho extremo en .
0
.
Teorema 8 Sea 1 C un dominio acotado y , una funcin no constante, analtica
en 1 y continua en la clausura 1. Entonces,
1. (Principio del Mdulo Mximo) , alcanza el mximo absoluto en la frontera
J1 = 1 ~ 1, es decir,
sup
z2D
[,(.)[ _ max
z2@D
[,(.)[
2. (Principio del Mdulo Mnimo) Si, adems, , no se anula en 1, entonces ,
alcanza tambin el mnimo absoluto en J1.
Apuntes de ECUACIONES DIFERENCIALES de Jos Mara Amig 8
Prueba. 1. Supongamos que , alcanza un mximo en .
0
1 y sea : 0 tal que
1
r
(.
0
) = . Z : [. .
0
[ _ : 1 y

,(.
0
+ :c
i
)

_ [,(.
0
)[ para \o [0. 2:]. Por el
Teorema del Valor Medio,
[,(.
0
)[ _
1
2:
_
2
0

,(.
0
+ :c
i
)

do
por lo que la nica manera de que la desigualdad anterior no conduzca a la contradiccin
[,(.
0
)[ < [,(.
0
)[ es que se verique

,(.
0
+ :c
i
)

= [,(.
0
)[ para \o [0. 2:]. es decir,
que ,(.) sea constante en 1
r
(.
0
). Repitiendo sucesivamente el argumento con puntos
.
i
J1
r
(.
i1
) 1, i = 1. 2. ..., hasta recubrir 1 (puesto que es conexo), se deduce
que, si , tiene un mximo en 1. entonces es constante. Luego, si , no es constante en
1, , no puede alcanzar ningn mximo en 1. Por otra parte, como , es continua en el
compacto 1, ha de alcanzar all el mximo absoluto. La nica posibilidad de reconciliar
ambos resultados es que el mximo absoluto se alcance en la frontera J1 = 1 ~ 1.
2. El Principio del Mdulo Mnimo se deduce aplicando el Principio del Mdulo
Mximo a la funcin 1,,(.). Puesto que, por hiptesis, ,(.) ,= 0 para \. 1. se
cumple que 1,,(.) es analtica en 1.
Obsrvese de la demostracin anterior que una funcin , que verique las hiptesis
de los Principios del Mdulo Mximo y Mnimo no puede tener mximos ni mnimos
locales en 1.
Ejemplo 7 Hallar los extremos de ,(.) = c
z
en 1
1
(0) = . : [.[ _ 1.
Solucin. Como [c
z
[ = c
x
, donde r = Re ., tenemos que
max
jzj1
[,(.)[ = max
jzj1
c
x
= c = ,(1)
mn
jzj1
[,(.)[ = mn
jzj1
c
x
= c
1
= ,(1)
En ambos casos, el extremo se alcanza en la frontera J1
1
(0) = . : [.[ = 1, en
consonancia con los Principos del Mdulo Mximo y Mnimo, ya que ,(.) = c
z
verica
todas las hiptesis del teorema anterior.
Teorema 9 (Teorema de Liouville) Si , es una funcin entera y acotada (es decir,
,(.) es analtica en C y [,(.)[ < ` para \. C), entonces , es una funcin constante.
Prueba. Sean c y / dos puntos del plano complejo y sea
0
un crculo de centro c y
radio 1 2 [c /[ . de manera que / tambin est en el interior de
0
. Por la frmula
integral de Cauchy, tenemos
,(/) ,(c) =
1
2:i
_

0
,(.)
. /
d.
1
2:i
_

0
,(.)
. c
d.
=
/ c
2:i
_

0
,(.)d.
(. c)(. /)
Apuntes de ECUACIONES DIFERENCIALES de Jos Mara Amig 9
donde, para \.
0
se cumple
[. c[ = 1. [. /[ _ [. c[ [/ c[ _ 1 1,2 = 1,2
Adems, por hiptesis, [,(.)[ _ ` para \. C. Utilizando la desigualdad `1,
[,(/) ,(c)[ =
[/ c[
2:

0
,(.)d.
(. c)(. /)

_
[/ c[
2:
`
1
2
,2
2:1 =
2 [/ c[ `
1
Haciendo 1 concluimos que [,(/) ,(c)[ = 0.
El Teorema de Liouville puede usarse para demostrar el Teorema Fundamental del
lgebra. En efecto: si el polinomio j(.) de grado : _ 1 no tuviera ninguna raz en
el plano complejo, la funcin ,(.) := 1,j(.) sera entera y acotada. El Teorema de
Liouville implica entonces j(.) = 1,,(.) = co::t, lo cual es una contradiccin.
1. Problemas propuestos
1. Calcular mediante la frmula de Cauchy la integral
_

.
3
+ 2. + 1
(. 1)
3
d.
donde es el crculo de radio 2 centrado en el origen y orientado positivamente.
2. Hallar el valor numrico de la integral
_

d.
(. c)
n
.
: = 2. 3. ..., donde . = c est en el interior de la curva cerrada simple .
3. Calcular las integrales
1
1
=
_
jzj=1
cos .
.
d.. 1
2
=
_
jzj=1
sin .
.
d.. 1
3
=
_
jzj=1
sin .
.
2
d..
4. Hallar los extremos absolutos de la funcin

c
z
2

en el disco unidad [.[ _ 1.

Apuntes de ECUACIONES DIFERENCIALES de Jos Mara Amig 10
2. Lecturas adicionales
1. J.M. Amig: Fundamentos de Matemticas. Servicios de Reprografa de la Uni-
versidad Miguel Hernndez, Elche, 2001.
2. J.E. Marsden, M.J. Homan: Basic Complex Analysis. W.H. Freeman, New York,
1999.
3. M.R. Spiegel: Variable Compleja. McGraw-Hill, Mjico, 2000.
4. A.D. Wunsh: Variable Compleja con Aplicaciones. Addison-Wesley, Mjico, 1999.