Professional Documents
Culture Documents
Diego Armentano
24 de Mayo 2006
Resumen
La idea de estas notas es dar una demostracion de la desigualdad isoperimetrica. El
enunciado es el siguiente:
...de todas las curvas cerradas de longitud dada, la que encierra mayor
area es la
circunferencia.
Este es un problema clasico del C
alculo en Variaciones, pues es un problema de maximizar (o minimizar) una funcion parametrizada en una familia de funciones (que en
este caso es la familia de curvas rectificables de longitud constante dada).
1.
Parte I
Observar que esta bien definida la longitud del borde pues KC es un convexo
donde la suma se entiende como la suma de las longitudes de los intervalos definidos
anteriormente.
2.
Parte II
l
l
D 0,
= lm D 0,
lm (KP ) = (KC )
0
0
2
2
donde es la medida de area en el plano.
3.
Parte III
f (1 )
l
(,l) [f (0 ), f (1 )]
f (0 )
(,l) [f (0 ), f (1 )] S(,l) .
Mas precisamente:
Afirmaci
on 3.1. Sea < . La diferencia de areas entre (,l) y S(,l) es:
S(,l) (,l) [f (0 ), f (1 )] =
f (0 )2 + f (1 )2 f (0 ) f (1 ) (2 cos + sen )
2
y esta acotada inferiormente por
sen
l2
1
2
2
1 cos
(1)
Para esto basta ver que tg0 (x) = 1 + (tg x)2 ) y por lo tanto integrando se obtiene tg x > x si x > 0.
f (1 )
f (0 )
Demostraci
on. Es facil ver que si escribimos l en funcion de f (0 ), f (1 ) y se tiene:
l2 = f (0 )2 + f (1 )2 2 f (0 ) f (1 ) (2 cos ).
El area de S(,l) es:
l2
f (0 )2 + f (1 )2 2 f (0 ) f (1 ) (2 cos )
S(,l) =
=
2
2
y el area de (,l) [f (0 ), f (1 )] es igual a
(,l) [f (0 ), f (1 )] = f (0 ) f (1 ) cos ,
y si restamos ambas obtenemos el resultado.
Veamos que esta acotada inferiormente. Para eso basta ver que la diferencia se minimiza
cuando f (0 ) = f (1 ). Es decir, debemos probar que el area de un triangulo (,l) [x, y] es
maxima cuando x = y. Basta maximizar la funcion F (x, y) = l2 x y cos restringido a
la condicion subsidiaria g(x, y) = x2 + y 2 2 x y cos l2 . Aplicando multiplicadores de
Lagrange tenemos:
y cos = (2x 2 y cos )
x cos = (2y 2 x cos )
g(x, y) = 0, x > 0, y > 0
de donde x, y deben verificar x2 = y 2 e g(x, y) = 0, por lo tanto se obtiene un maximo
cuando x = y.
Afirmaci
on 3.2. Sean los sectores S(,l1 ) y S(,l2 ) como en la figura, y el sector S(+,l1 +l2 ) .
Entonces la diferencia de areas:
(r1 r2 )2
S(+,l1 +l2 ) S(,l1 ) + S(,l2 ) =
2
+
donde r1 y r2 son los radios de S(,l1 ) y S(,l2 ) respectivamente. S
l1 + l2
l2
l1
Demostraci
on. Simplemente computemos cada termino:
(l1 + l2 )2
S(+,l1 +l2 ) =
2( + )
(r1 + r2 )2
=
2( + )
2 2
r + r22 2 + 2r1 r2
= 1
.
2( + )
y
r2 r2
S(,l1 ) + S(,l2 ) = 1 + 2
2
2
entonces
+
2 ( + )
2
2
2 2
2 2
r + r2 + 2r1 r2 ( + )(r12 + r22 )
= 1
2( + )
2
2
2r1 r2 (r1 + r2 )
=
2( + )
(r1 r2 )2
=
2
+
Con estos calculos previos estamos en condiciones de probar que el area de la union de
(,l) [f (0 ), f (1 )] y (,l) [f (1 ), f (2 )] es menor o igual al area del sector S(2,l1 +l2 ) (ver
figura mas abajo).
Lemma 1. Sean y constantes positivas menores que una constante universal (a precisar en la demostraci
on) y sean los sectores S(,l1 ) y S(,l2 ) tales que
|r1 r2 | <
mn(r1 , r2 )
2
5
l2
f (0 )
Demostraci
on. Para facilitar la notacion, notaremos:
1 = (,l1 ) [f (0 , f (1 )] y 2 = (,l2 ) [f (1 , f (2 )]
Para probar la desigualdad, basta sumar y restar S(,l1 ) + S(,l2 ) a la diferencia y usar
la cota (1), es decir:
S(,l1 ) (1 ) + S(,l2 ) (2 )
(r1 r2 )2
r12
sen
r22
sen
+
1
+ 1
2
+
2
2
1 cos
2
2
1 cos
sen
sen
mn(r1 , r2 )2
mn(r1 , r2 )2 1
+ 1
2
1 cos
2
1 cos
4
+
2
sen
sen
mn(r1 , r2 )
mn(r1 , r2 )2 1
+ 1
2
1 cos
2
1 cos
4
3 sen
sen
2
mn(r1 , r2 )
+ 1
>0
4
2
1 cos
2
1 cos
sen
2
1cos
Demostraci
on. Como C divide al plano en dos componentes conexas abiertas (una acotada y
la otra no), existe un punto p y un n
umero C tal que el disco D(p, C ) = {z R2 : kz pk <
C } esta incluido totalmente en la componente conexa acotada de R2 C .
Parametrizamos la curva en polares, y unimos segmentos desde p a cada vertice de la
poligonal (donde cada vertice tiene angulo i con i = 1 . . . k).
Si es necesario subdividimos en mas puntos de la poligonal de forma tal que:
los angulos determinados sean todos menores que la constante tal que < se
tiene:
sen
1
1
> ,
2
1 cos
4
y tal que max(|f (i ) f (i+1 )|) < C (mas adelante lo veremos).5
Sean 1 , . . . , k los angulos determinados (es decir i = i+1 i), y los vertices de los triangulos determinados son: (f (1 ), 1 ), . . . , (f (k ), k )) en notacion polar6 , y sea li la longitud
del lado correspondiente a (f (i ), f (i+1 )). De esta manera la poligonal queda determinada
por los triangulos (i ,li ) [f (i , f (i+1 )] on i = 1 . . . k.
Llamemos = 2 max(|f (i ) f (i+1 )|). Observar que maxj=0...k (|rj+1 rj |) < /2 donde
rj = lj /j con j = 1 . . . k (pues rj siempre esta comprendido entre el mnimo y el maximo
de f (j ) y f (j+1 )).
Sea i el triangulo (i ,li ) [f (i ), f (i+1 )].
Procederemos de la siguiente manera:
Primero cambiamos los triangulos i por los sectores S(i ,li ) .
Luego vamos cambiando S(1 ,l1 ) S(2 ,l2 ) por el sector S(1 +2 ,l1 +l2 ) .
Analogamente, cambiamos S(1 +2 ,l1 +l2 ) S(3 ,l3 ) por S(1 +2 +3 ,l1 +l2 +l3 ) .
Proseguimos de igual manera, hasta llegar a cambiar k1
i=1 S(i ,li ) S(k ,lk ) por S(1 ++k ,l1 ++lk ) .
Definimos por r12...h al radio del sector S(1 ++h ,l1 ++lh ) , que se construye de la siguiente
manera:
r1 + r2
r12 =
2
r1 +r2
+ r3
r12 + r2
r123 = 2
=
2
2
..
.
y en general
r1 +r2
+r3
2
r12...h =
...
r12...(h1) + rh
2
Observar que esto es posible pues si la diferncia de angulos tiende a cero, entonces la diferencia de los
lados respectivos tambien tienden a cero.
6
El par (r, ) indica el punto del plano de angulo respecto al eje real y de radio r.
Ahora lo que hacemos es ir haciendo las transformaciones y estudiar como se van modificando
las areas. Como se observo en los lemas anteriores, el area crece cuando cambiamos los
triangulos i por los sectores S(i ,li ) y decrece cuando promediamos sectores. Haciendo el
procedimiento anterior obtenemos que la diferencia de area de la circunferencia con permetro
l1 + . . . + lk y del area encerrada por la poligonal es:
k
!
o
Xn
k
X
i=1
ri2
i
2
i=1
sen i
i
1
2
1 cos i
(r1 r2 )2 1 2
(r12 r3 )2 (1 + 2 ) 3
+
+
2
1 + 2
2
(1 + 2 ) + 3
(r12...(k1) rk )2 (1 + + k1 ) k
+
2
(1 + + k1 ) + k
Podriamos seguir con este argumento pero mejor ataquemoslo por otro lado. Primero es
facil observar que basta probar la desigualdad no solo para poligonales convexas si no para
poligonales convexas en que los angulos de los triangulos i sean todos iguales. Esto es
consecuencia de que nada nos impide tomar como aproximacion de la curva convexa poligonales donde los angulos sean todos iguales. Es decir que podemos considerar por ejemplo que
j = e2 j/k para j = 1 . . . k y por tanto j = 2/k (que llamaremos ). Bajo estas nuevas
hipotesis es facil ver que |r12...(l1) rl | < :
r12 = (r1 + r2 )/2 y por tanto
|r12 r3 | |r12 r2 | + |r2 r3 |
|r1 r2 |
+ |r2 r3 | < .
2
r12...(l1) + rl
rl + |rl rl+1 |
2
|r12...(l1) rl |
+ |rl rl+1 |
2
< .
S(k,l1 ++lk )
(i )
i=1
k
X
ri2
sen
2
2
1 cos
i=1
(r12 r3 )2 (1 + 2 ) 3
(r1 r2 )2 1 2
+
+
2
1 + 2
2
(1 + 2 ) + 3
(r12...(k1) rk )2 (1 + + k1 ) k
+
2
(1 + + k1 ) + k
k
X
sen
2 2 2
2 (k 1)
ri2
+
+ +
2
2
1 cos
2 2
2 3
2
k
i=1
>
>
sen
2 z}|{
1
k
2
2
1 cos
2
k
X
r2
i
i=1
k
X
i=1
ri2
2
8
k
X
r2
i
i=1
2 >
X 2 C2 2
r
8 i=1 i
4
2
k
X 2 C2 k
r
8 i=1 i
4
2
k
!
k
X
X
2
2
=
ri
C
8
i=1
i=1
>
> 0.
Con esto damos por finalizada la demostracion de la Desigualdad Isoperimetrica. Todavia
nos falta algo por probar, falta ver que la desigualdad es optima en el sentido de que si
una curva de longitud l encierra igual area que la circunferencia de ese permetro entonces
esa curva es la circunferencia. Pero por ahora nos limitamos a lo anterior. Por ahora este
problema queda planteado.