Apuntes de ECUACIONES DIFERENCIALES de José María Amigó 1

SESIÓN 08: EL TEOREMA DE CAUCHY
El teorema de Cauchy es uno de los resultados más importantes del cálculo de vari-
able compleja. De hecho, en esta sesión y también en las sesiones 10-13 nos dedicaremos
a explotar algunas de sus muchas consecuencias.
Aunque la mayoría 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 práctica.
Teorema 1 (Teorema de la integral de Cauchy) Sea , una función analítica en un
dominio 1 y sea ¸ un contorno simple cerrado tal que ¸ ' ¸
int
¸ 1. Entonces
_

,d. = 0
Prueba. Daremos la demostración 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

_
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
_
÷

Jr
÷
Jn

_
drd¸ + i
__
[
int
_
Jn
Jr
÷


_
drd¸
Aplicando ahora las ecuaciones de Cauchy-Riemann, se deduce el Teorema de Cauchy.
Ejemplo 1 La función ,(.) = .
n
, : ¸ N, es analítica 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 sección
veremos algunas de ellas.
Teorema 2 (Teorema de la primitiva) Sea , una función analítica en un dominio
simplemente conexo ¹. Entonces existe una función 1 analítica 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é María 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 Sesión 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 Sesión 3, 1 ÷1
0
es una constante en ¹.
Teorema 3 (Principio de deformación de contornos) Consideremos dos contornos cer-
rados simples ¸
1
y ¸
2
tales que ¸
2
¸ ¸
1;int
. Si una función ,(.) es analítica 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

2

0
, =
_

1
, +
_

0
, ÷
_

2
, ÷
_

0
, =
_

1
, ÷
_

2
,
En realidad, el contorno ¸ no es simple, pero esta objeción puede evitarse considerando
dos copias de ¸
0
(recorridas en sentidos opuestos) separadas una distancia y dejando
que ÷ 0.
Este corolario puede ser también enunciado de la siguiente forma, que explica mejor
su denominación: las integrales de una función analítica ,(.) alrededor de dos contornos
cerrados simples serán idénticas si uno de los contornos puede transformarse en el otro
por medio de una deformación 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 sólo tiene implicaciones para integrales de funciones
analíticas a lo largo de contornos cerrados, sino también para contornos no cerrados.
Corolario 1 (Principio de independencia de la trayectoria) Sea , una función analíti-
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é María 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 sólo para contornos simples cerrados, también es
cierto para contorno cerrados generales (contenidos en dominios simplemente conexos
en los que el integrando , es analítico), con lo cual
0 =
_

1

2
, =
_

1
, ÷
_

2
,
Ejemplo 3 Sea .
1
= 1. .
2
= ÷1 y ,(.) = 1,.. Sea ¸
1
el semicírculo 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 semicírculo 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 (Fórmula integral de Cauchy) Sea ¸ un contorno cerrado simple y ,(.)
una función analítica en ¸ ' ¸
int
. Entonces
,(.
0
) =
1
2:i
_

,(.)
. ÷.
0
d. \.
0
¸ ¸
int
Es decir: si ,(.) es analítica en ¸ ' ¸
int
, donde ¸ es un contorno cerrado simple,
entonces los valores de ,(.) sobre ¸ determinan su valor en cualquier punto de ¸
int
. La
fórmula de Cauchy resulta de aplicar el teorema integral de Cauchy y el principio de
deformación de contornos a la función ,(.),(. ÷.
0
), .
0
¸ ¸
int
.
Prueba. Si , es analítica en el dominio 1 ¸ ¸ '¸
int
. entonces la función ,(.),(. ÷.
0
)
es analítica 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
deformación 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é María Amigó 4
según 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 veri…ca
¸
¸
¸
¸
_

0
,(.) ÷,(.
0
)
. ÷.
0
d.
¸
¸
¸
¸
<

:
2:: = 2: \ 0
Ejemplo 4 Sea ,(.) = .
n
(analítica en C) y ¸ : [0. 2:] ÷ C el círculo 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 fórmula 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.
Solución. (c)
_

cos .
.
2
+ 1
d. =
_

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

cos .,(. + i)
. ÷i
d.
donde ,(.) = cos .,(. + i) es una función analítica en ¸ ' ¸
int
= [. ÷2i[ _ 2, el disco
cerrado de radio 2 y centro 2i. Además, i ¸ ¸
int
. Aplicando la fórmula 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é María 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 analítica en ¸ '¸
int
= [. + 2i[ _ 2. el disco cerrado
de radio 2 y centro ÷2i. y .
0
= ÷i ¸ ¸
int
. Por la fórmula de Cauchy,
_

cos .
.
2
+ 1
d. = 2:i
_
cos i
. ÷i
_
z=i
= ÷: cosh 1
Teorema 5 (Fórmula integral de Cauchy para las derivadas de una función analítica)
Si una función , es analítica en cierto dominio 1, entonces posee derivadas analíticas
en 1 de todos los órdenes. Además, 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 demostración es por inducción. Probaremos sólo el primer caso, : = 1.
Por de…nición,
,
0
(.
0
) = lm
h!0
,(.
0
+ /) ÷,(.
0
)
/
donde, por la fórmula 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 técnica que en la demostración de la fórmula 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 deformación 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é María 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
integración de una función continua sobre un compacto, lo que prueba que , es derivable
en 1.
Nota 1 La fórmula integral de Cauchy para las derivadas prueba que, bajo las hipótesis
del teorema anterior,
d
n
d.
n
_

,(¸)
¸ ÷.
d¸ =
_

J
n
J.
n
_
,(¸)
¸ ÷.
_
d¸ : ¸ N
que es una extensión 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 analítica 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 círculo [.[ = 3 orientado positivamente.
Solución. Poniendo ,(.) = c
2z
, .
0
= ÷1 y : = 3 en la fórmula 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 analítica 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é María Amigó 7
La fórmula integral de Cauchy tiene otras muchas aplicaciones interesantes, algunas
de las cuales veremos a continuación. Empezaremos con el Teorema de Morera, que
viene a ser el recíproco 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 analítica en 1.
Prueba. El Teorema 4, Sesión 7 (“Independencia del contorno”) implica la existencia
de una función 1 analítica en 1 tal que 1
0
= ,. Por otra parte, por el Teorema 5,
sabemos que todas las derivadas de 1 existen y son asimismo analíticas en 1. En
particular, ,
0
(.) = 1
00
(.) para \. ¸ 1. lo que prueba que , es analítica.
Teorema 7 (Teorema del Valor Medio) Sea , una función analítica 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 círculo de centro .
0
y radio 1. de ahí su nombre. La expresión es válida
siempre que , sea analítica en el disco 1
R
(.
0
).
Prueba. Basta con aplicar la fórmula integral de Cauchy con ¸(o) = .
0
+ 1c
i
. 0 _
o _ 2:.
Una consecuencia del Teorema del Valor Medio es el Principio del Máximo y el
Principio del Mínimo que vienen a continuación. Recordemos que se dice que , : 1 ÷
C alcanza un extremo (máximo o mínimo) en .
0
¸ 1 si, en realidad, [,[ : 1 ÷ R
alcanza dicho extremo en .
0
.
Teorema 8 Sea 1 ¸ C un dominio acotado y , una función no constante, analítica
en 1 y continua en la clausura 1. Entonces,
1. (Principio del Módulo Máximo) , alcanza el máximo absoluto en la frontera
J1 = 1 ~ 1, es decir,
sup
z2D
[,(.)[ _ max
z2@D
[,(.)[
2. (Principio del Módulo Mínimo) Si, además, , no se anula en 1, entonces ,
alcanza también el mínimo absoluto en J1.
Apuntes de ECUACIONES DIFERENCIALES de José María Amigó 8
Prueba. 1. Supongamos que , alcanza un máximo 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 contradicción
[,(.
0
)[ < [,(.
0
)[ es que se veri…que
¸
¸
,(.
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 máximo en 1. entonces es constante. Luego, si , no es constante en
1, , no puede alcanzar ningún máximo en 1. Por otra parte, como , es continua en el
compacto 1, ha de alcanzar allí el máximo absoluto. La única posibilidad de reconciliar
ambos resultados es que el máximo absoluto se alcance en la frontera J1 = 1 ~ 1.
2. El Principio del Módulo Mínimo se deduce aplicando el Principio del Módulo
Máximo a la función 1,,(.). Puesto que, por hipótesis, ,(.) ,= 0 para \. ¸ 1. se
cumple que 1,,(.) es analítica en 1.
Obsérvese de la demostración anterior que una función , que veri…que las hipótesis
de los Principios del Módulo Máximo y Mínimo no puede tener máximos ni mínimos
locales en 1.
Ejemplo 7 Hallar los extremos de ,(.) = c
z
en 1
1
(0) = ¦. : [.[ _ 1¦.
Solución. 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 Módulo Máximo y Mínimo, ya que ,(.) = c
z
veri…ca
todas las hipótesis del teorema anterior.
Teorema 9 (Teorema de Liouville) Si , es una función entera y acotada (es decir,
,(.) es analítica en C y [,(.)[ < ` para \. ¸ C), entonces , es una función constante.
Prueba. Sean c y / dos puntos del plano complejo y sea ¸
0
un círculo de centro c y
radio 1 2 [c ÷/[ . de manera que / también está en el interior de ¸
0
. Por la fórmula
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é María Amigó 9
donde, para \. ¸ ¸
0
se cumple
[. ÷c[ = 1. [. ÷/[ _ [. ÷c[ ÷[/ ÷c[ _ 1 ÷1,2 = 1,2
Además, por hipótesis, [,(.)[ _ ` 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 raíz en
el plano complejo, la función ,(.) := 1,j(.) sería entera y acotada. El Teorema de
Liouville implica entonces j(.) = 1,,(.) = co::t, lo cual es una contradicción.
1. Problemas propuestos
1. Calcular mediante la fórmula de Cauchy la integral
_

.
3
+ 2. + 1
(. ÷1)
3
d.
donde ¸ es el círculo de radio 2 centrado en el origen y orientado positivamente.
2. Hallar el valor numérico 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 función
¸
¸
¸c
z
2
¸
¸
¸ en el disco unidad [.[ _ 1.
Apuntes de ECUACIONES DIFERENCIALES de José María Amigó 10
2. Lecturas adicionales
1. J.M. Amigó: Fundamentos de Matemáticas. Servicios de Reprografía de la Uni-
versidad Miguel Hernández, Elche, 2001.
2. J.E. Marsden, M.J. Ho¤man: Basic Complex Analysis. W.H. Freeman, New York,
1999.
3. M.R. Spiegel: Variable Compleja. McGraw-Hill, Méjico, 2000.
4. A.D. Wunsh: Variable Compleja con Aplicaciones. Addison-Wesley, Méjico, 1999.

sino también para contornos no cerrados.int : De esta forma obtenemos un nuevo contorno cerrado = 1+ 0 2 0 cuyo interior es el dominio 2. supongamos que F0 es otra primitiva de f en A. Ejemplo 2 Sea f (z) = 1=(z z0 ) y : [0. Z Z Z Z Z Z Z 0= f= f+ f f f= f f 1+ 0 2 0 1 0 2 0 1 2 En realidad. el contorno no es simple. que explica mejor su denominación: las integrales de una función analítica f (z) alrededor de dos contornos cerrados simples serán idénticas si uno de los contornos puede transformarse en el otro por medio de una deformación continua y sin cruzar ninguna singularidad de f . Corolario 1 (Principio de independencia de la trayectoria) Sea f una función analítica en un dominio simplemente conexo D y sean z1 . F F0 es una constante en A: Teorema 3 (Principio de deformación de contornos) Consideremos dos contornos cerrados simples 1 y 2 tales que 2 1. Entonces. Z 2 Z 2 I 0 ( ) iRei dz = d = d =2 i z z0 ( ) z0 Rei 0 0 independientemente de R: El teorema de Cauchy no sólo tiene implicaciones para integrales de funciones analíticas a lo largo de contornos cerrados. entonces I I f dz = f dz 1 2 Prueba. 2 ] ! C con ( ) = z0 + Rei .int .int 0 : Aplicando el Teorema de Cauchy. Para demostrar la unicidad (salvo una constante aditiva). z2 dos puntos de D.Apuntes de ECUACIONES DIFERENCIALES de José María Amigó 2 Prueba. Si una función f (z) es analítica en 1 . La existencia de la primitiva se sigue de los teoremas de Cauchy y de la independencia del contorno (Teorema 4 de la Sesión 7). pero esta objeción puede evitarse considerando dos copias de 0 (recorridas en sentidos opuestos) separadas una distancia " y dejando que " ! 0: Este corolario puede ser también enunciado de la siguiente forma. Tracemos un contorno 0 de (un punto de) 1 a (un punto de) 2 y que esté contenida en 2.ext \ 1. b] ! C contenido en D utilizado para ir de (a) = z1 a (b) = z2 : .ext \ 1. Entonces. 2 y en el dominio doblemente conexo delimitado por ambos contornos (= 2. (F F0 )0 (z) = F 0 (z) 0 F0 (z) = f (z) f (z) = 0 para 8z 2 A: Por el Teorema 3 de la Sesión 3.int ). la circunferencia de centro z0 y radio R > 0 orientada positivamente: Entonces. la R integral f (z)dz es independiente del contorno : [a.ext \ 1.

también es cierto para contorno cerrados generales (contenidos en dominios simplemente conexos en los que el integrando f es analítico). entonces la función f (z)=(z z0 ) es analítica en D excepto en el punto z0 : Sea 0 : [a.Apuntes de ECUACIONES DIFERENCIALES de José María Amigó 3 Prueba. con lo cual Z Z Z f= f f 0= 1 2 1 2 Ejemplo 3 Sea z1 = 1. entonces los valores de f (z) sobre determinan su valor en cualquier punto de int . z0 2 int : Prueba. 0 0 ¿Por qué no obtenemos el mismo resultado? Teorema 4 (Fórmula integral de Cauchy) Sea una función analítica en [ int . z2 = 1 y f (z) = 1=z: Sea 1 el semicírculo superior de 1 a 1 parametrizado por 1 (t) = eit . donde es un contorno cerrado simple. b] ! C un contorno circular de centro z0 y radio r > 0 tal que 0 esté contenido en [ int : Por el principio de deformación de contornos. Entonces I f (z) 1 f (z0 ) = dz 2 i z z0 un contorno cerrado simple y f (z) 8z0 2 int Es decir: si f (z) es analítica en [ int . 0 t . Entonces Z Z Z 0 e it ieit dt = i f ( 1 (t)) 1 (t)dt = f (z)dz = 1 0 0 Sea ahora Entonces 2 el semicírculo inferior de 1 a 1 parametrizado por 2 (t) = e Z Z Z 0 f (z)dz = f ( 2 (t)) 2 (t)dt = eit ( ie it )dt = i 2 it . Sean 1 y 2 dos contornos cualesquiera contenidos en D con punto inicial z1 y …nal z2 : Entonces = 1 2 es un contorno cerrado contenido en D. I I f (z) f (z) dz = dz z z0 z z0 0 donde I f (z) dz = z z0 I f (z0 ) f (z) f (z0 ) dz + dz z z0 z z0 0 0 I f (z) f (z0 ) = 2 if (z0 ) + dz z z0 0 I 0 . Si f es analítica en el dominio D [ int . Si bien nosotros enunciamos el Teorema de Cauchy sólo para contornos simples cerrados. La fórmula de Cauchy resulta de aplicar el teorema integral de Cauchy y el principio de deformación de contornos a la función f (z)=(z z0 ).0 t .

el disco cerrado de radio 2 y centro 2i: Además. k 6= 0. si r < . Entonces. se veri…ca I " f (z) f (z0 ) dz < 2 r = 2 " 8" > 0 z z0 r 0 Ejemplo 4 Sea f (z) = z n (analítica en C) y : [0. 1 2 i I Z 2 Z 2 X n 1 1 n n k k ik zn (z0 + Rei )n i dz = iRe d = z R e d i z z0 2 i 0 Re 2 0 k=0 k 0 ( Z ) Z 2 n 2 X n 1 n n = z0 d + z n k Rk eik d = z0 = f (z0 ) k 0 2 0 0 k=1 eik d = 0 para k 2 Z. ya que La fórmula de Cauchy puede utilizarse a veces para calcular integrales. (a) cos z dz = z2 + 1 cos z dz = (z i)(z + i) cos z=(z + i) dz z i donde f (z) = cos z=(z + i) es una función analítica en [ int = jz 2ij 2.Apuntes de ECUACIONES DIFERENCIALES de José María Amigó 4 según el Ejemplo 2. I Solución. tenemos: I cos z cos z cos i dz = 2 i =2 i = cosh 1 2+1 z z + i z=i 2i . para 8" > 0 existe > 0 tal que jf (z) f (z0 )j < " si jz z0 j < : Por tanto. Ejemplo 5 Calcular la integral I cos z dz z2 + 1 R2 0 donde es la circunferencia (a) jz I I 2ij = 2. b]) Por último y dado que la longitud de 0 ([a. con lo que el teorema quedará probado. ( ) = z0 + Rei . i 2 int : Aplicando la fórmula de Cauchy con f (z) = cos z=(z + i) y z0 = i. tendremos jf (z) f (z0 )j < " sobre el contorno 0 y f (z) z f (z0 ) " jf (z) f (z0 )j < =: M = z0 r r 8z 2 0 ([a. Demostraremos con ayuda de la desigualdad M L que la integral de la derecha vale 0. b]) es 2 r. En efecto: debido a la continuidad de f en z0 . (b) jz + 2ij = 2. 2 ] ! C el círculo de centro z0 y radio R orientado positivamente. orientada positivamente.

0 : [a. se cumple jz z0 j = r y jz z0 hj jz z0 j jhj Luego.Apuntes de ECUACIONES DIFERENCIALES de José María Amigó (b) En este caso. Además. demostraremos que la segunda integral tiende a 0 cuando h ! 0: Sea. n = 1: Por de…nición. f (z0 + h) f (z0 ) f 0 (z0 ) = l m h!0 h donde. en efecto. La demostración es por inducción. si es un contorno cerrado simple tal que [ int D. por la fórmula integral de Cauchy. f (z) = cos z=(z i) es analítica en [ int = jz + 2ij 2. I I h f (z)dz h f (z)dz = 2 (z 2 i (z z0 ) z0 h) 2 i 0 (z z0 )2 (z z0 h) donde. y z0 = i 2 int . Probaremos sólo el primer caso. si M = maxz2 0 jf (z)j. I f (z0 + h) f (z0 ) 1 f (z) f (z) = dz h 2 hi z z0 h z z0 I 1 f (z)dz = 2 i (z z0 )(z z0 h) I I 1 f (z)dz h f (z)dz = + 2 2 i (z z0 ) 2 i (z z0 )2 (z z0 h) Utilizando la misma técnica que en la demostración de la fórmula integral de Cauchy. I cos z cos i dz = 2 i = cosh 1 2+1 z z i z= i Teorema 5 (Fórmula integral de Cauchy para las derivadas de una función analítica) Si una función f es analítica en cierto dominio D. así. el disco cerrado de radio 2 y centro 2i. entonces posee derivadas analíticas en D de todos los órdenes. b] ! C un contorno circular de centro z0 y radio r > 0 tal que 0 esté contenido en [ int y elijamos h con jhj < r=2: Por el principio de deformación de contornos. por la desigualdad M L deducimos I h f (z)dz jhj M 2 r 2 jhj M < = ! 0 2 (z 2 r=2 2 i 0 (z z0 ) z0 h) 2 r r2 r=2: . para 8z 2 0 . factorizamos el integrando de la siguiente manera: I I cos z cos z=(z i) dz = dz 2+1 z z+i 5 ya que. entonces la derivada n-ésima de f en el punto z0 2 int viene dada por I f (z) n! (n) f (z0 ) = dz 2 i (z z0 )n+1 Prueba. Por la fórmula de Cauchy.

z0 = para las derivadas. f es analítica en [ int y z0 2 integrales de Cauchy y aparecen a menudo en las aplicaciones. Las integrales de la forma I f (z) dz (z z0 )m m2N int . pues. probar la desigualdad de Cauchy M n! f (n) (z0 ) n2N Rn donde M > 0 es una constante tal que jf (z)j < M para 8z con jz z0 j = R: . Poniendo f (z) = e2z . …nalmente. 1 y n = 3 en la fórmula integral de Cauchy Solución. I I dn f( ) @n f( ) d = d n2N n n dz z @z z que es una extensión a las integrales de contorno de la regla de Leibniz. donde es un contorno cerrado simple. bajo las hipótesis del teorema anterior. que la integral de la derecha es …nita. 1 f (z) = 2 i 0 6 I f ( )d ( z)2 8z 2 D Observemos. lo que prueba que f es derivable en D: Nota 1 La fórmula integral de Cauchy para las derivadas prueba que. por tratarse de la integración de una función continua sobre un compacto. resulta f (3) ( 1) = 8e 2 y I= 8 ie 3 2 Ejercicio 1 Si f es analítica en el disco cerrado B R (z0 ). Ejemplo 6 Calcular la integral I= donde I e2z dz (z + 1)4 se llaman es el círculo jzj = 3 orientado positivamente. obtenemos I= 2 i (3) f ( 1) 3! Como f (3) (z) = 8e2z .Apuntes de ECUACIONES DIFERENCIALES de José María Amigó cuando h ! 0: Así.

. Sesión 7 (“Independencia del contorno” implica la existencia ) 0 de una función F analítica en D tal que F = f: Por otra parte. algunas de las cuales veremos a continuación.Apuntes de ECUACIONES DIFERENCIALES de José María Amigó 7 La fórmula integral de Cauchy tiene otras muchas aplicaciones interesantes. Prueba. lo que prueba que f es analítica. La expresión es válida siempre que f sea analítica en el disco BR (z0 ). de ahí su nombre. f 0 (z) = F 00 (z) para 8z 2 D. Recordemos que se dice que f : D ! C alcanza un extremo (máximo o mínimo) en z0 2 D si. Entonces. en realidad. Z 2 1 f (z0 + Rei )d f (z0 ) = 2 0 Observemos que este teorema expresa el valor de f en z0 como un promedio de sus valores sobre el círculo de centro z0 y radio R. Prueba. sabemos que todas las derivadas de F existen y son asimismo analíticas en D: En particular. f es analítica en D. además. 0 2 . Teorema 6 (Morera) Sea f continua en un dominio D y supongamos que I f dz = 0 para todo contorno cerrado simple en D. Teorema 7 (Teorema del Valor Medio) Sea f una función analítica en el dominio D. El Teorema 4. Entonces. es decir. Empezaremos con el Teorema de Morera. jf j : D ! R alcanza dicho extremo en z0 . (Principio del Módulo Máximo) f alcanza el máximo absoluto en la frontera @D = D D. Teorema 8 Sea D C un dominio acotado y f una función no constante. Una consecuencia del Teorema del Valor Medio es el Principio del Máximo y el Principio del Mínimo que vienen a continuación. por el Teorema 5. z0 2 D y sea R > 0 tal que BR (z0 ) = fz 2 C : jz z0 j = Rg D. analítica en D y continua en la clausura D. 1. f no se anula en D. (Principio del Módulo Mínimo) Si. que viene a ser el recíproco del teorema integral de Cauchy. entonces f alcanza también el mínimo absoluto en @D. Entonces. sup jf (z)j max jf (z)j z2D z2@D 2. Basta con aplicar la fórmula integral de Cauchy con ( ) = z0 + Rei .

tenemos I I 1 f (z) f (z) 1 f (b) f (a) = dz dz 2 i 0z b 2 i 0z a I b a f (z)dz = 2 i (z a)(z b) 0 . Teorema 9 (Teorema de Liouville) Si f es una función entera y acotada (es decir. se deduce que. f (z) 6= 0 para 8z 2 D. entonces f es una función constante. Ejemplo 7 Hallar los extremos de f (z) = ez en B 1 (0) = fz : jzj Solución. 2 ]. La única posibilidad de reconciliar ambos resultados es que el máximo absoluto se alcance en la frontera @D = D D. El Principio del Módulo Mínimo se deduce aplicando el Principio del Módulo Máximo a la función 1=f (z): Puesto que. Luego. f (z) es analítica en C y jf (z)j < M para 8z 2 C). m n jf (z)j = m n ex = e jzj 1 jzj 1 1 = f ( 1) En ambos casos. 2 ]: Por el Teorema del Valor Medio. Supongamos que f alcanza un máximo en z0 2 D y sea r > 0 tal que B r (z0 ) = fz 2 Z : jz z0 j rg D y f (z0 + rei ) jf (z0 )j para 8 2 [0. como f es continua en el compacto D. hasta recubrir D (puesto que es conexo). i = 1. f no puede alcanzar ningún máximo en D. entonces es constante. donde x = Re z. 2. que f (z) sea constante en B r (z0 ): Repitiendo sucesivamente el argumento con puntos zi 2 @B r (zi 1 ) \ D. se cumple que 1=f (z) es analítica en D: Obsérvese de la demostración anterior que una función f que veri…que las hipótesis de los Principios del Módulo Máximo y Mínimo no puede tener máximos ni mínimos locales en D. si f tiene un máximo en D. :::. Por otra parte. si f no es constante en D. por hipótesis. 1. Sean a y b dos puntos del plano complejo y sea 0 un círculo de centro a y radio R > 2 ja bj .Apuntes de ECUACIONES DIFERENCIALES de José María Amigó 8 Prueba. es decir. 2. Prueba. de manera que b también está en el interior de 0 : Por la fórmula integral de Cauchy. Z 2 1 jf (z0 )j f (z0 + rei ) d 2 0 por lo que la única manera de que la desigualdad anterior no conduzca a la contradicción jf (z0 )j < jf (z0 )j es que se veri…que f (z0 + rei ) = jf (z0 )j para 8 2 [0. tenemos que max jf (z)j = max ex = e = f (1) jzj 1 jzj 1 1g. ya que f (z) = ez veri…ca todas las hipótesis del teorema anterior. en consonancia con los Principos del Módulo Máximo y Mínimo. el extremo se alcanza en la frontera @B 1 (0) = fz : jzj = 1g. ha de alcanzar allí el máximo absoluto. Como jez j = ex .

(z a)n n = 2. donde z = a está en el interior de la curva cerrada simple . lo cual es una contradicción. 1. 3. Hallar el valor numérico de la integral I dz . 3. la función f (z) := 1=p(z) sería entera y acotada. jf (z)j jf (b) M para 8z 2 C: Utilizando la desigualdad M L. Hallar los extremos absolutos de la función ez en el disco unidad jzj 1. I jb aj f (z)dz f (a)j = 2 (z a)(z b) 0 2 jb aj M jb aj M 2 R= 2 =2 2 R R f (a)j = 0: Haciendo R ! 1 concluimos que jf (b) El Teorema de Liouville puede usarse para demostrar el Teorema Fundamental del Álgebra. Problemas propuestos 1. para 8z 2 jz se cumple bj jz aj jb aj R R=2 = R=2 9 0 aj = R.Apuntes de ECUACIONES DIFERENCIALES de José María Amigó donde. El Teorema de Liouville implica entonces p(z) = 1=f (z) = const. jz Además. por hipótesis. Calcular las integrales I1 = I cos z dz. . I2 = z I sin z dz. Calcular mediante la fórmula de Cauchy la integral I 3 z + 2z + 1 dz (z 1)3 donde es el círculo de radio 2 centrado en el origen y orientado positivamente: 2. I3 = z I sin z dz: z2 jzj=1 jzj=1 2 jzj=1 4. :::. En efecto: si el polinomio p(z) de grado n 1 no tuviera ninguna raíz en el plano complejo.

Spiegel: Variable Compleja. A. 3. Amigó: Fundamentos de Matemáticas. Méjico. J. Lecturas adicionales 1. M. New York. Addison-Wesley. Servicios de Reprografía de la Universidad Miguel Hernández. 2. Marsden. 2000.H. Ho¤man: Basic Complex Analysis.J.R. Elche. J. M.Apuntes de ECUACIONES DIFERENCIALES de José María Amigó 10 2. 1999. Méjico.M. 1999. Freeman. W. . 2001. 4. McGraw-Hill.E.D. Wunsh: Variable Compleja con Aplicaciones.