Universidade Federal de Alagoas

Intituto de Matem

atica
Curso de Matem

atica Bacharelado
Autor: Alcides de Carvalho J unior
Orientador: Prof. M arcio Henrique Batista
Macei o-AL
Fevereiro / 2014
Universidade Federal de Alagoas
Intituto de Matem

atica
Alcides de Carvalho J unior
Desigualdade Isoperimetrica e Hipersuperfcies de Curvatura
Media Constante
Macei o-AL
2014
ii
ALCIDES DE CARVALHO J

UNIOR
DESIGUALDADE ISOPERIM

ETRICA E HIPERSUPERF

ICIES DE CURVATURA M

EDIA
CONSTANTE
Monograa apresentada ao Curso
de Bacharelado em Matematica da
Universidade Federal de Alagoas, como
requisito parcial para obten cao do Grau de
Bacharel em Matematica.
Orientador: Prof. Dr. M

ARCIO HENRIQUE BATISTA

Maceio-AL
2014
iii
ALCIDES DE CARVALHO J

UNIOR
DESIGUALDADE ISOPERIM

ETRICA E HIPERSUPERF

ICIES DE CURVATURA M

EDIA
CONSTANTE
Monograa apresentada ao Curso
de Bacharelado em Matematica da
Universidade Federal de Alagoas, como
requisito parcial para obten cao do Grau de
Bacharel em Matematica.
Aprovada em M

ES de 2014.
BANCA EXAMINADORA
Prof. Dr. M

ARCIO HENRIQUE BATISTA - Orientador

UFAL
Prof. Dr.
Prof. Dr.
Maceio-AL
2014
iv
Ao meu pai.
v
Agradecimentos
Agradeco a minha namorada, Thays Rayana Santos por me amar.
Agradeco aos amigos (galera do CA) por estarem sempre juntos nessa busca por conhecimento,
nao cometerei o pecado de citar nominalmente cada um deles para nao esquecer de ninguem.
Agradeco a minha mae, Maria Jose Barbosa da Silva, e toda minha Famlia materna, pelo apoio
incondicional que sempre tiveram para comigo.
Agradeco ao meu padrasto, Eduardo Gon calves J unior, por ser meu segundo pai.
Agradeco ao meu pai, Alcides de Carvalho, por tudo e que infelizmente ja nao esta mais aqui.
Agradeco a secretaria de gradua cao Karen, por sempre resolver minhas questoes academicas.
Agradeco ao Micael, pela amizade que estimo, e por compartilhar ideias parecidas a cerca da
matematica que nos cerca.
Agradeco ao meu Orientador por me orientar, e pelas conversas em sua sala.
Por m, Agradeco a apoio naceiro do Cnpq que contei em quase toda minha graduacao.
Peco desculpas aqueles que por descuido nao me lembro agora.
vi
Lista de Figuras
1.1 Cartago. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1
3.1 Hiperplano. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
vii
Lista de Tabelas
viii
Sumario
Agradecimentos v
Lista de Figuras vi
Lista de Tabelas vii
Resumo ix
Abstract x
1 Introducao 1
2 A Primeira Variacao da

Area e do Volume 2
2.1 Deni coes Basicas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
2.2 Os Teoremas da Primeira Variacao da

Area e do Volume . . . . . . . . . . . . . . . . . . . 4
3 Unicidade de solucao do problema isoperimetrico de classe C
2
8
4 Unicidade do Extremo do Funcional Isoperimetrico de classe C
2
12
5 A Desigualdade Isoperimetrica C
1
14
Referencias Bibliogracas 16
ix
Resumo
Neste trabalho faremos um passeio pelos resultados a cerca de hipersuperfcie de curvatura media cons-
tante, a saber, a unicidade de solucao do problema isoperimetrico de classe C
2
e a unicidade do extremo
do funcional isoperimetrico de classe C
2
.
Devemos tambem destacar os teoremos sobre a primeira varia cao da area e do volume.
Por m, estudaremos o teorema de Federer-Fleming a m de demonstrar a desigualdade isoperi-
metrica para hipersuperfcie.
Palavras-chave: Desigualdade Isoperimetrica. Hipersuperfcies. Curvatura Media.
x
Abstract
In this work we will do a walk through the results about the mean curvature hypersurface nds, namely
the uniqueness of solution of the isoperimetric problem for C
2
and the uniqueness of the end of the
isoperimetric functional C
2
.
We should also highlight the theorems on the rst variation of area and volume.
Finally, we study the theorem Federer-Fleming to demonstrate the isoperimetric inequality to
hypersurface.
Keywords: Isoperimetric inequality. Hypersurfaces. Mean curvature.
Captulo 1
Introducao
Reza a lenda que a princesa Dido no seculo IX a.c, que havia fugido da cidade de Tiro, chegou ao norte
da

Africa e pediu a populacao local uma regiao (area) para construir uma vila para ela e seus seguidores.
Dido foi prontamente atendida, mas, havia uma condicao. Um representante local deu-lhe uma tira de
boi e disse:
- Voce tera tanta terra quanto conseguir delimitar com essa tira. Dido muito inteligente que era cortou
a tira em pequenas fatias que juntou com a inten cao de delimitar uma regiao ao longo da costa onde
hoje se localiza a cidade de Cartago. O problema de Dido era achar um contorno que delimita-se area
maxima, entao sua solu caofoi dispor as fatias em um semi-crculo, perpendicular `a orla marinha. Ela
tinha resolvido o que hoje conhecemos como problema isoparametrico relativo.
Figura 1.1: Cartago.
A solucao deste problema era conhecida desde a antiguidade. Sem contar a lenda de Dido,
Aristoteles, no seculo III a.c. armava que o crculo era a solucao do problema isoparametrico, mas
sua demonstracao tinha arma coes losocas. Varias demonstracoes do problema apareceram ao longo
dos anos, muitas das quais ligadas a grades matematicos, mas quase todas incompletas, so em 1870, K.
Weierstras forneceu uma prova completa para o problema.
Captulo 2
A Primeira Variacao da

Area e do
Volume
2.1 Denicoes Basicas
Sejam uma hipersupefcie regular de dimensao (n 1), e x : G R
n
uma parametriza cao de , onde
G e um subconjunto aberto de R
n1
. Assim, os vetores
x
u
1
, ...,
x
u
n1
formam uma base do espa co tangente de .
A metrica Riemanniana de (isto e, a primeira forma fundametal) e dada localmente pela matriz positiva
denida g(u), onde
g = (g
ik
), g
ik
=
x
u
i
,
x
u
k
, i, k = 1, ..., n 1.
Observacao 2.1.1. A metrica g independe da parametrizacao.
Denicao 2.1.1. Seja um domnio em R
n
, com fronteira C
k
, k 1. Dizemos que e solucao para
o problema isoperimetrico C
k
se, para cada domnio D com fronteira C
k
e volume igual ao de , temos
A(D) A().
Seja um domnio emR
n
, com fronteira C
k
, k 1. Dizemos que e um C
k
extremo do funcional
isoperimetrico se, para cada famlia a 1-parametro de C
k
difeomorsmos
t
: R
n
R
n
satisfazendo
V (
t
()) = V () para todo t, temos
d
dt
A(
t
())

t=0
= 0.
A segunda forma fundamental de em R
n
e dada localmente por
B = (b
jk
), b
jk
=
_

2
x
u
j
u
k
, n
_
, j, k = 1, , (n 1).
3
Note que
b
jk
=
_

2
x
u
j
u
k
, n
_
=

u
j
_
x
u
k
, n
_

_
x
u
k
,
n
u
j
_
=
_
x
u
k
,
n
u
j
_
.
Isto e,
b
jk
=
_
x
u
k
,
n
u
j
_
.
Se L = (L
kj
) denota a matriz da transforma cao linear auto-adjunto A associada com B, entao
L = g
1
A,
onde g e a metrica.
A curvatura media H de em R
n
e o traco de L, isto e, o traco de B em relacao a A, dado por
H = trg
1
A
e a curvatura de Gauss K de em R
n
e o determinante de L isto e, o determinante de B em rela cao a
A, dado por
K = det g
1
A.
Podemos pensar N como um aplicacao que associa a cada ponto p a seu vetor normal N(p) S
n1
usualmente referido como a aplicacao de Gauss N : S
n1
segue-se da que dN = L.
Exemplo 2.1.1. Seja um aberto de S
n1
(r), a esfera (n1) dimensional de raio r, entao o campo de
vetores normal unitario ao longo exterior a B
n1
(r) e dado por
N(p) =
1
r
p.
Donde dN =
1
r
I
(n1)(n1)
portanto,
H =
n 1
r
K =
1
r
n1
.
4
2.2 Os Teoremas da Primeira Variacao da

Area e do Volume
O Teorema abaixo arma que se perturbarmos um pouco na direcao de X a variacao do volume e da
area de sao dadas pelas formulas integrais que seguem.
Teorema 2.2.1 (Primeira Varia cao da

Area). Seja um domnio em R
n
, com fronteira de classe C
2
.
Dado um campo de vetores X : R
n
R R
n
de R
n
dependente do tempo, e seja
t
: R
n
R
n
o
uxo a um parametro determinado por X, isto e,
t
e X estao relacionados por
d
dt

t
(x) = X(x, t),
0
= id.
Ponha
(x) = X(x, 0), = |

.
Entao
d
dt
V (
t
())

t=0
=
__

div dv
n
=
_

, ndA, (2.1)
onde n e o campo de vetores tangentes unitarios ao longo de , e
d
dt
A(
t
())

t=0
=
_

[div

T
H, n]dA =
_

H, ndA. (2.2)
onde
T
denota a componente tangencial de .
Demonstracao. Primeiro mostraremos a variacao do volume. Do teorema da mudan ca de variaveis para
integrais, temos
V (
t
()) =
__

det J

t
(x)dv
n
(x),
onde J

t
(x) e a matriz jacobiana de
t
. Da, segue que
d
dt
V (
t
()) =
__

d
dt
det J

t
(x)dv
n
(x).
Pela formula para diferencia cao de determinantes (ver apendice) temos
d
dt
V (
t
()) =
__

det J

t
tr
_
J
1

t
.
d
dt
J

t
_
dv
n
(x). (2.3)
Sabemos que o elemento jk da matriz jacobiana sao dados por (J

t
)
jk
=
J

k
t
x
j
, j, k = 1, 2, ..., n.
5
Para t = 0 temos J

0
= id donde
J

k
t
x
j

t=0
=
jk
onde
jk
e o delta de Kronecker. Alem disso,
d
dt
(J

t
)
jk
=

t
J
k

t
x
j
=

x
j
J
k

t
t
o que implica para t = 0,
d
dt
(J

t
)
jk

t=0
=

k
x
j
Observe que
tr
_
J
1

t
d
dt
J

t
_

t=0
=

j
_
J
1

t
d
dt
J

t
_
jj

t=0
=
_
_

j,k
J
jk

x
j

k
t
t
_
_

t=0
=

j,k

jk

k
x
j
= div .
Substituindo o fato acima em 2.3 obtemos o resultado desejado. A segunda igualdade 2.1 decorre do
teorema da dirvegencia.
Agora, mostraremos a primeira varia cao da area. Seja x = x(u), uma parametrizacao da superfcie
. E seja
y(u, t) =
t
(x(u)).
Para cada t xo, denote a metrica rimanianna sobre
t
() por
h
jk
=
_
y
u
j
,
y
u
k
_
, j, k = 1, . . . , n 1,
o que implica
d
dt
A(
t
()) =
_

t
_
det(h
jk
)du
1
. . . du
n1
Denotemos por H = (h
jk
), H
1
= (h
jk
), agora como

det H =
1
2

det H
d
dt
det H
=
1
2

det H
tr(H
1

t
H) det H
=
1
2

det H tr(H
1

t
H)
Observe que
tr(H
1

t
H) =

j
(H
1

t
H)
jj
=

j,k
_
h
jk

h
kj
t
_
=

j,k
_
h
jk

t
_
y
u
k
,
y
u
j
__
.
Por Schwarz temos que
tr(H
1

t
H) =

j,k
_
h
jk

_
y
u
k
,

u
j
y
t
__
,
6
o que nos da,

det H =

det H

j,k
_
h
jk

_
y
u
k
,

u
j
y
t
__
. (2.4)
Seja t = 0; entao (u) =
y
t
(u, 0). Escreva
=
n1

i=1

i
x
u
i
+ n (2.5)
ao longo de . Da, a equacao 2.4 implica, para t = 0,

det H

t=0
=

det G

j,k
_
g
jk

_
x
u
k
,

u
j
__
.
Por digerenciacao da equa cao 2.5 temos

u
j
=
n1

i=1
_

i
u
j
x
u
i
+
i

2
x
u
j
u
i
_
+

u
j
n +
n
u
j
o que implica, junto com o fato de que n e perpendicular a
x
u
k
para todo k = 1, . . . , n 1.
7

j,k
_
g
jk

_
x
u
k
,

u
j
__
=

j,k
_
g
jk

_
x
u
k
,
n1

i=1
_

i
u
j
x
u
i
+
i

2
x
u
j
u
i
_
+

u
j
n +
n
u
j
__
=

j,k
_
g
jk

_
n1

i=1
__
x
u
k
,

i
u
j
x
u
i
_
+
_
x
u
k
,
i

2
x
u
j
u
i
__
_
+
_
x
u
k
,
n
u
j
_
_
=

j,k
_
g
jk

_
n1

i=1

i
u
j
_
x
u
k
,
x
u
i
_
+
n1

i=1

i
_
x
u
k
,

2
x
u
j
u
i
_
_
+
_
x
u
k
,
n
u
j
_
_
=

j,k
_
n1

i=1
g
jk
g
ki

i
u
j
+
n1

i=1
g
jk

i
_
x
u
k
,

2
x
u
j
u
i
_
_
+

j,k

_
x
u
k
,
n
u
j
_
=

j,k,i
g
jk
g
ki

i
u
j
+

j,k,i
g
jk

i
_
x
u
k
,

2
x
u
j
u
i
_
+

j,k

_
x
u
k
,
n
u
j
_
=

j,i,k
g
jk
g
ki

i
u
j
+

j,k,i
g
jk

i
_
x
u
k
,

2
x
u
i
u
j
_
+

j,k

_
x
u
k
,
n
u
j
_
=

j,i

ji

i
u
j
+
1
2

j,k,i

j
g
ik

u
j
_
x
u
k
,
x
u
i
_
+

j,k

_
x
u
k
,
n
u
j
_
=

j
u
j
+
1
2

j,k,i

j
g
ik

u
j
g
ki
+

j,k

_
x
u
k
,
n
u
j
_
=

j
u
j
+
1
2

j,i

j
_
G
1

u
j
G
_
ii
+

j,k

_
x
u
k
,
n
u
j
_
=

j
u
j
+
1
2

j
tr
_
G
1

u
j
G
_
+

j,k

_
x
u
k
,
n
u
j
_
=

j
_

j
u
j
+
1
2

j
1
g
g
u
j
_
H
=

j
1

g
_

j
u
j

g +
j
1
2
1

g
g
u
j
_
H
=

j
1

u
j
(
j

g) H
= div

T
H
portanto,
d
dt
A(
t
())

t=0
=
_

[div

T
H, n]dA
a segunda igualdade 2.2 decorre do teorema da divergencia.
Captulo 3
Unicidade de solucao do problema
isoperimetrico de classe C
2
O primeiro resultado desta se cao estabelece uma rela cao entre as curvaturas de uma hipersuperfcie ,
solucao do problema isoperimetrico de classe C
2
(ver 2.1.1) e o disco unitario D em R
n
com mesmo
volume, mais precisamente, H

H
D(1)
. O segundo e o resultado da unicidade da solu cao, ou seja, se
existe solucao do problema isoperimetrico de classe C
2
ela e unica.
Teorema 3.0.2. Seja um domnio em R
n
, com fronteira de classe C
2
. Assuma que e uma solucao
para o problema isoperimetrico de classe C
2
, com o volume de igual ao do disco unitario em R
n
. Entao,
a curvatura media H de satisfaz
H n 1
em toda .
Demonstracao. Considere o funcional isoperimetrico
J(D) =
A(D)
V (D)
1
1
n
onde D percorre sobre todos os domnios limitados em R
n
com bordo C
2
. Seja
t
: R
n
R
n
o uxo a
um parametro determinado por X = X(x, t) como na prova do teorema 2.2.1, (x) = X(x, 0), = |.
Sendo solucao para o problema isoperimetrico de classe C
2
, segue que e uma extremo do funcional
isoperimetrico, assim,
0 =
d
dt
J(
t
())

t=0
.
Como,
J(
t
()) =
A(
t
())
V (
t
())
1
1
n
= A(
t
())V (
t
())
1
n
1
,
9
temos,
d
dt
J(
t
()) =
d
dt
A(
t
()) V (
t
())
1
n
1
+ A(
t
())
d
dt
V (
t
())
1
n
1
=
d
dt
A(
t
()) V (
t
())
1
n
1
+
_
1
n
1
_
A(
t
()) V (
t
())
1
n
2
d
dt
V (
t
()).
Da, pelo teorema anterior 2.2.1 temos que
0 =
d
dt
J(
t
())

t=0
=
1
V ()
1
1
n
_

H, ndA +
_
1
n
1
_
A()
V ()
2
1
n
_

, ndA,
o que implica
1
V ()
1
1
n
_

H, ndA =
_
1
n
1
_
A()
V ()
2
1
n
_

, ndA,
donde,

_
H, ndA
_
, ndA
=
n 1
n
A()
V ()
. (3.1)
Denote por
n
o volume da bola unitaria B
n
e c
n1
a area da esfera unitaria S
n1
de R
n
, sabemos que

n
=
c
n1
n
. Agora, por hipotese temos V () =
n
e e uma solu cao do problema isoperimetrico, entao
A() c
n1
, donde
A()
V ()
n
assim, substituindo em 3.1 obtemos

_
H, ndA
_
, ndA
n 1. (3.2)
Para cada w
0
, seja uma funcao C

nao negativa com suporte compacto sobre uma vizinhan ca de

w
0
em R
n
, e escolha X(x, t) = (x)n
w
0
, para concluir a demonstra cao precisamos do seguinte:
Lema 3.0.1. Seja x
0
R
n
. Sejam f, g funcoes denidas em R
n
com f C

nao negativa com suporte

compacto numa vizinhanca de x
0
. Ent ao,
_
B
r
(x
0
)
f(x)g(x)dx
_
B
r
(x
0
)
f(x)dx
r0
g(x
0
).
Demonstracao. Dado > 0, sendo g contnua, existe > 0 tal que se x B

(x
0
) implica |g(x)g(x
0
)| < .

_
B
r
(x
0
)
f(x)g(x)dx
_
B
r
(x
0
)
f(x)dx
g(x
0
)

_
B
r
(x
0
)
f(x)(g(x) g(x
0
))dx
_
B
r
(x
0
)
f(x)dx

_
B
r
(x
0
)
f(x)|g(x) g(x
0
)|dx
_
B
r
(x
0
)
f(x)dx


_
B
r
(x
0
)
f(x)dx
_
B
r
(x
0
)
f(x)dx
= ,
sempre que r .
Da, pelo lema anterior escolhendo com suporte sucientemente pequeno sobre w
0
obtemos por
10
?? que H(w
0
) n 1, o que conclui o teorema.
Observacao 3.0.1. O argumento do ultimo paragrafo, aplicado a 3.1, implica que H = const., a saber
H =
n 1
n
A()
V ()
.
Teorema 3.0.3. Sejam um domnio em R
n
, com fronteira de classe C
2
e n o vetor normal unitario
exterior ao longo de . Suponha que a curvatura media H de satisfaz
H n 1
em toda . Ent ao,
A() c
n1
,
ocorrendo a igualdade se, e somente se, e disco em R
n
.
Demonstracao. Comece com = , e deixe C denotar o fecho convexo de , e = C o bordo de C.
Seja \( ), um hiperplano de C suporte em (Veja gura3.1) Entao, existe um
x ( ) (caso contrario, entao C nao seria o menor conjunto convexo contendo ), o que implica
(a) e o hiperplano tangente a em x, e (b), o segmento de linha x esta contido em . Estes dois
implicam que e hiperplano de suporte unico para C em cada ponto de x, exceto possivelmente em .
Se nao fosse o hiperplano de suporte unico de C em , entao teria uma singularidade conica em o
que implicaria que C nao e menor conjunto convexo que contem . Portanto, cada ponto de tem um
unico apoio no hiperplano, ou seja, esta em toda parte diferenciavel.
Figura 3.1: Hiperplano.
Como e convexo, em toda parte diferenciavel, entao todos os pontos de tem um unico vetor
normal exterior unitario, e a aplica cao de Gauss
N : S
n1
que leva todos os pontos de para sue vetor normal exterior unitario n() esta bem denida. A
aplicacao de Gauss restrita a \( ) nao acrescenta novos pontos para a imagem em S
n1
que ainda
nao estiverem na imagem de , a saber,
N(\( )) N( )
11
Por conseguinte, para calcular a imagem da area de aplicacao de Gauss, que e, a area de S
n1
, restringimos
a integral a . Em um sistema de coordenadas em , conforme descrito nos calculos acima, a
Transforma cao Jacobiana de N, N

, e dada em coordenadas locais pela transformacao linear descrita por

G
1
B. Para os pontos de nos temos B semidenida positiva, o que implica, pela desigualdade
aritmetica-geometrica,
c
n1
=
_

det(G
1
B)dA

_
tr(G
1
B)
n 1
_
n1
dA
=
_

_
H
n 1
_
n1
dA
A( )
A(),
o que implica a desigualdade. Se temos a igualdade, entao = . Alem disso, temos a igualdade na
desigualdade aritmetica-geometrica, o que implica que todos os pontos sao umbilicos o que implica que
e uma esfera unitaria.
Captulo 4
Unicidade do Extremo do Funcional
Isoperimetrico de classe C
2
Neste captulo apresentaremos dois resultados a cerca de curvatura media constante, um dos quais um
classico devido a Alexandrov que classica os domnios cujo bordo tem curvatura media constante. E o
outro, que arma que o bordo de um extremo do funcional isoperimetrico tem nessecariamente curvatura
media constante, garantindo assim a unicidade do extremo do funcional isoperimetrico.
Teorema 4.0.4. Seja um domnio em R
n
, com fronteira de classe C
2
, que e um extremo do funcional
isoperimetrico classe C
2
. Ent ao, tem curvatura media constante.
Demonstracao. Use a notacao do teorema 2.2.1, e seja = , n. Se e um extremo do funcional
isoperimetrico entao, para cada escolha do campo X para o qual
V (
t
()) = const. t.
Um tal uxo e chamado incompressvel. Pela primeira variacao do volume(ver 2.1)
0 =
d
dt
V (
t
())

t=0
=
_

dA.
Sendo um extremo do funcional isoperimetrico temos,
d
dt
A(
t
())

t=0
= 0.
Da sempre que o uxo for incompressvel pela primeira variacao da area (ver 2.2) temos que,
0 =
d
dt
A(
t
())

t=0
=
_

HdA.
13
Assim,
_

HdA = 0 tal que

_

dA = 0. (4.1)
Dada , tome
=
_

dA
_
_

dA.
Entao
_

dA = 0, implica que
0 =
_

HdA =
_

H
_
_

1
A
_

dA
_
_
dA =
_

_
_
H
1
A
_

HdA
_
_
dA
onde A denota a area de , ultima igualde segue de Fubini. Como, e arbitraria
H
1
A
_

HdA = 0
i.e, H = const.
Teorema 4.0.5. Seja um domnio em R
n
, com fronteira de classe C
2
. Suponha que tenha
curvatura media constante. Entao, e um disco em R
n
.
Demonstracao. Omitiremos a demonstra cao desse teorema. Esse teorema e um classico da Geometria e
e devido a Alexandrov, para uma demonstra cao veja Chavel 2 pagina 42.
Captulo 5
A Desigualdade Isoperimetrica C
1
Esta secao contem o principal resultado do nosso trabalho, a desigualdade isoperimetrica que e um celebre
problema da Geometria conhecido desde os antigos, quando n = 2 temos a solu cao para o problema de
Dido apresentado na introducao.
Denicao 5.0.1. Dena a constante isoperimetrica I de R
n
por
I = inf

A()
V ()
1
1
n
onde e um domnio em R
n
, com fronteira de classe C
1
.
Dena a constante de Sobolev O de R
n
por
O = inf
f
|f|
1
|f|
n/n1
onde f C

c
(R
n
).
O resultado a seguir estabelece a equivalencia da desigualdade isoperimetrica geometrica para
uma desigualdade de Sobolev analtica. Fazendo uma ponte entre dois mundos aparentemente distintos.
Tal resultado foi provado de forma independente por Federe e Fleming em 60.
Teorema 5.0.6 (Teorema de Federer-Fleming). As constantes isoperimetrica e de Sobolev sao iguais,
isto e,
I = O.
Demonstracao. Seja um domnio limitado em R
n
com bordo C
1
. Para > 0 sucientemte pequeno
considere a fun cao
f

(x) =
_

_
1, x
1
1

d(x, ), x R
n
\, d(x, ) <
0, x R
n
\, d(x, )
Entao f

e lipschitz para cada , com efeito,

15
Lema 5.0.2. Dada qualquer f C

c
(R
n
), temos
||f|| = |f|
em quase toda parte sobre R
n
.
Teorema 5.0.7 (Desigualdade isoperimetrica para Superfcies). Seja um domnio em R
n
, com fronteira
de classe C
1
. Ent ao,
A()
V ()
1
1
n
n
1
n
n
=
A(S
n1
)
V (B
n
)
1
1
n
.
16
Referencias Bibliogracas
[1] ARA

UJO, P.V. Geometria Diferencial. Colecao Matem atica Universitaria, IMPA Rio de Janeiro,
1998.
[2] CHAVEL, I. Isoperimetric Inequalities, Cambridge University Press, NY, USA, 2001.
[3] DO CARMO, M. P. Geometria Diferencial de Curvas e Supercies. Segunda Edicao, Colec ao Textos
Universitarios, SBM, Rio de Janeiro, 2005.
[4] LIMA, E.L., Curso de Analise, vol.2 (decima edicao). Projeto Euclides. Associacao Instituto Nacional
de Matematica Pura e Aplicada. Rio de Janeiro, 2000.
[5] MONTIEL, S. & ROS, A. Curves and Surfaces. Graduate Studies in Mathematics, vol. 69, American
Mathematical Society, Providence, 2005.