Complementos de Analisis

Exposicion 20
Herman Bravo Tobar
30 de abril de 2014
Demostrar que si f es holomorfa en una region C y R rectangulo cerrado, entonces

R
f(z)dz = 0
donde R denota el borde orientado del rectangulo R.
En primer lugar, se puntualizaran algunos de los conceptos involucrados en la demostracion del Teorema
del Rectangulo:
Region: Una region, subconjunto de C, es un conjunto no vaco, abierto y conexo. Esto implica que
dentro de una region no existen singularidades (agujeros), como los polos.
Holomorfa: Se dice que una funcion es holomorfa en una region, si es complejamente diferenciable en
cada punto de esta. Una funcion holomorfa en todo el plano complejo se denomina funcion entera.
Borde Orientado: Por convencion, se reere a la trayectoria sobre la traza de la curva en el sentido
contrario a las agujas del reloj.
La situacion se muestra en la gura siguiente:
La demostracion del teorema requiere probar el siguiente lema.
1
Lema: Sea f una funcion lineal, holomorfa sobre una region C y R rectangulo cerrado, entonces

R
f(z)dz = 0
Dado que f es lineal, posee primitiva. Sea f(z) = az +b; en efecto, una primitiva de f es F(z) =
az
2
2
+bz.
Luego, podemos evaluar la integral en los extremos de la traza de la curva; sin embargo, el rectangulo es una
trayectoria cerrada, es decir, el punto de inicio a y el punto nal de la traza b son el mismo punto. Por lo
tanto:

R
f(z)dz =

R
F

(z)dz = F(z(b)) F(z(a)) = 0

donde z es una parametrizacion de la curva.
Ahora puede demostrarse el caso general, con f una funcion cualquiera, para lo cual se diseccionara el
rectangulo de la siguiente forma:
Notamos que las integrales sobre los segmentos interiores al rectangulo original se anulan, ya que se
integra dos veces sobre estos y en sentidos opuestos. Entonces, el valor de la integral total sera igual a la
suma de cuatro integrales, una sobre cada rectangulo:
I =
4

i=0

R
i
f(z)dz
Tenemos que al menos una de las integrales sobre los rectangulos alcanza un cuarto del valor de la integral
total. Sea R
(1)
el rectangulo donde esto ocurre, entonces:

R
(1)
f(z)dz

|I|
4
Haremos lo mismo sucesivamente, con rectangulos cada vez mas peque nos:
2
donde R
(1)
R
(2)
R
(3)
. . .
Cada vez escogemos el rectangulo donde la integral sea al menos un cuarto de la anterior. Cabe destacar
que los lados de un rectangulo R
(k+1)
tienen la mitad de la longitud que los lados del rectangulo anterior
R
(k)
y adem as:

R
(k)
f(z)dz

|I|
4
k
Ahora, sea z
0

k=1
R
(k)
. Podemos asegurar que la interseccion no es vaca, pues el rectangulo inicial
es no vaco y los rectangulos estan encajonados. Como f es holomorfa en z
0
(z
0
), dado > 0, existe
> 0 tal que si |z z
0
| < , entonces:
|r
z
| =

f(z) f(z
0
)
z z
0
f

(z
0
)

<
Tomemos n lo sucientemente grande, de manera que R
(n)
B(z
0
, ). Entonces se tendra:

R
(n)
f(z)dz =

R
(n)
[f(z
0
) + f

(z
0
)(z z
0
) + r
z
(z z
0
)] dz
=

R
(n)
[f(z
0
) + f

(z
0
)(z z
0
)] dz +

R
(n)
r
z
(z z
0
)dz
donde la integral de la izquierda (en la ultima expresion) es cero, a consecuencia del lema para funciones
lineales anteriormente demostrado. Luego, tenemos:

R
(n)
r
z
(z z
0
)dz

|I|
4
n
Acoteremos esta integral. Sabiendo que |r
z
| < y utilizando la desigualdad M-L, se tiene:
M L

R
(n)
r
z
(z z
0
)dz

|I|
4
n
Debemos encontrar M y L. M es una cota para la funcion |z z
0
|, que como podemos ver la gura (mas
abajo), es siempre menor a

2s
2
n
(la diagonal del cuadrado de lado
s
2
n
). Por su parte, L es la longitud de la
3
traza de la curva; como sabemos que el lado mas largo del rectangulo mide
s
2
n
, podemos concluir que L es
menor que
4s
2
n
.
Reemplazando los valores de M y L, obtenemos:

2s
2
n

4s
2
n

|I|
4
n
4

2s
2
|I|
La cota no depende de la funcion f, de z, ni de z
0
, y se cumple para todo > 0, es decir, podemos hacer
la cota tan peque na como queramos. Entonces, podemos concluir que |I| = 0 y por consiguiente I = 0.
HBT/L
A
T
E
X
4