You are on page 1of 4

Complementos de An´alisis

Exposici´on 20
Herman Bravo Tobar
30 de abril de 2014
Demostrar que si f es holomorfa en una regi´on Ω ⊆ C y R ⊆ Ω rect´angulo cerrado, entonces

∂R
f(z)dz = 0
donde ∂R denota el borde orientado del rect´angulo R.
En primer lugar, se puntualizar´an algunos de los conceptos involucrados en la demostraci´on del Teorema
del Rect´angulo:
Regi´on: Una regi´on, subconjunto de C, es un conjunto no vac´ıo, abierto y conexo. Esto implica que
dentro de una regi´on no existen singularidades (agujeros), como los polos.
Holomorfa: Se dice que una funci´on es holomorfa en una regi´on, si es complejamente diferenciable en
cada punto de ´esta. Una funci´on holomorfa en todo el plano complejo se denomina funci´on entera.
Borde Orientado: Por convenci´on, se refiere a la trayectoria sobre la traza de la curva en el sentido
contrario a las agujas del reloj.
La situaci´on se muestra en la figura siguiente:
La demostraci´on del teorema requiere probar el siguiente lema.
1
Lema: Sea f una funci´on lineal, holomorfa sobre una regi´on Ω ⊆ C y R ⊆ Ω rect´angulo 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 rect´angulo es una
trayectoria cerrada, es decir, el punto de inicio a y el punto final 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 parametrizaci´on de la curva.
Ahora puede demostrarse el caso general, con f una funci´on cualquiera, para lo cual se diseccionar´a el
rect´angulo de la siguiente forma:
Notamos que las integrales sobre los segmentos interiores al rect´angulo original se anulan, ya que se
integra dos veces sobre ´estos y en sentidos opuestos. Entonces, el valor de la integral total ser´a igual a la
suma de cuatro integrales, una sobre cada rect´angulo:
I =
4

i=0

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

∂R
(1)
f(z)dz


|I|
4
Haremos lo mismo sucesivamente, con rect´angulos cada vez m´as peque˜ nos:
2
donde R
(1)
⊃ R
(2)
⊃ R
(3)
⊃ . . .
Cada vez escogemos el rect´angulo donde la integral sea al menos un cuarto de la anterior. Cabe destacar
que los lados de un rect´angulo R
(k+1)
tienen la mitad de la longitud que los lados del rect´angulo 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 intersecci´on no es vac´ıa, pues el rect´angulo inicial
es no vac´ıo y los rect´angulos est´an 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 suficientemente grande, de manera que R
(n)
⊂ B(z
0
, δ). Entonces se tendr´a:

δ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 expresi´on) 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 funci´on |z −z
0
|, que como podemos ver la figura (m´as
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 m´as largo del rect´angulo 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 funci´on 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