Escolar Documentos
Profissional Documentos
Cultura Documentos
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
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
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
(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
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,
_
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
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.