Curvas Regulares no Plano

(1) Considere os exemplos de curvas parametrizadas planas (t) =

(f(t), g(t)), t I R
2
exibidas em seguida. Analise os itens
abaixo, em cada exemplo dado.
Determine o domnio de denicao.
Verique a regularidade da curva, explicitando os pontos
singulares (onde o vetor velocidade se anula),
Estude a paridade e a periodicidade das funcoes coorde-
nadas f(t) e g(t).
Encontre os pontos de intersec ao da curva com os eixos
coordenados.
Verique se a curva apresenta simetria em relacao aos eixos
coordenados, ou simetria em relacao `a origem, ou simetria
com respeito a alguma reta.
Verique tambem se a curva e invariante por rotac oes ou
por um grupo de rotacoes.
Ache as expressoes das retas verticais e horizontais que
tangenciam estas curvas nos pontos regulares.
Escreva a curva como uniao de gracos horizontais ou ver-
ticais.
Encontre os pontos duplos e pontos m ultiplos (pontos de
auto-intersec ao).
Analise o sinal da derivada de cada coordenada da curva
(i.e sinal de f

e g

) e estude a varia cao de f e g plotando

o resultado num desenho.
Estude as segundas derivadas de cada coordenada da curva
(i.e sinal de f

e g

) e estude a concavidade da curva deter-

minando os pontos de inexao (pontos onde a concavidade
muda).
Obtenha os pontos regulares em torno dos quais a curva e
localmente convexa (esta de um lado da reta tangente).
Determine as c uspides, caso existirem (pontos singulares t
0
onde o limite lim
tt
0
g

(t)/f

(t) existe, podendo ser , ou

seja nestes pontos, existe reta tangente limite).
Determine as retas assmptotas verticais e horizontais es-
tudadas no Calculo I, caso existirem.
Determine tambem as retas assmptotas oblquas ou incli-
nadas, caso existirem: Seja C uma curva que e um graco
de uma func ao y=g(x) denida num semi-intervalo ilimi-
tado da reta [c, ) ou (, c] (graco vertical). Dizemos
1
2
que a reta y = ax + b e uma reta assntota de C, se as
seguintes condicoes sao satisfeitas:
limg(x)/x = a, quando x ou quando x .
lim(g(x) ax) = b, quando x ou quando x
, respectivamente.
Claro que uma denic ao analoga vale para gracos
horizontais dados por funcoes x=h(y) denida em
semi-intervalos ilimitados.
Marque no desenho o sentido do movimento em cada pedaco
regular.
Analise se o traco da curva e uma curva geometrica simples,
ou uma subvariedade de dimensao 1 do plano ou uma curva
regular geometrica (as tres terminologias sao sinonomos).
Caso a resposta seja negativa, determine os pedacos do
traco da curva que sao curvas regulares geometricas.
Finalmente, complete o plot esbocando o desenho da curva.
Os exemplos propostos sao os seguintes:
(a) (t) = (

3t
2
,

3t
t
3
3
), t . Neste exemplo, exiba
formulas explcitas mostrando que a curva e uniao de gracos
verticais ou horizontais. Encontre a equac ao da reta tan-
gente no ponto t = 1 (i.e correspondente a t = 1.)
(b) (t) = ((t
3
t)e
t
2
, t
2
), t . Neste exemplo, exiba
formulas explcitas mostrando que a curva e uniao de gracos
verticais ou horizontais.
(c) f(x) = x +
1
x
.
(d) (Curva de Lissajous) x = f(t) := sin 2t, y = g(t) := cos 3t.
Neste exerccio de especial atenc ao aos pontos m ultiplos
e verique como a paridade e periodicidade das funcoes
coordenadas esta reetida na simetria da curva. Determine
se a curva dada e fechada (Uma curva : [a, b]
3
e dita fechada se (a) = (b)). Encontre um pedaco
da curva tal que aplicando simetrias do plano (rotacoes ou
reexoes) obtem-se a curva inteira. Faca uso do MAPLE.
(e) (Estrofoide) x(x
2
+ y
2
) = a(x
2
y
2
). Neste exemplo,
escreva a formula polar e em seguida escreva a formula
parametrica.
(f) (Hypocicloide com tres c uspide: deltoide) f(t) = 2 cos t +
cos 2t, g(t) = 2 sin t sin 2t. A curva e regular ? A curva e
fechada ? A curva possui c uspides ? A curva possui sime-
trias (de reexao ou de rotac ao) ? Faca uso do MAPLE.
3
(g) x
3
+ y
3
= 3x
2
.
(h) (Cissoide de Diocles) (x
2
+y
2
)xay
2
= 0, a > 0. Encontre
a formula polar e em seguida exiba uma parametrizac ao.
(i) (Folium de Descartes) x
3
+y
3
3xy = 0. Faca y = tx, t >
1 e encontre uma parametrizac ao de uma parte da curva.
Aplique certa simetria para conseguir a curva inteira.
(2) Estude a curva dada implicitamente pelas equacoes abaixo e
esboce o seu graco. Determine as partes das curvas que sao
subvariedades de dimensao 1 de R
2
, dadas por imagem inversa
de um valor regular de certa func ao suave f : R
2
R: nestas
partes, calcule um normal unitario `a curva. Determine se a
curva e compacta ou nao compacta.
(a) (Folium Parab olico): x
3
= a(x
2
y
2
) + bxy, a > 0, b >
0, b =
2a
3
. Deduza que a curva tem auto-intersec oes. En-
contre a forma polar da curva e em seguida escreva a formula
parametrica.
(b) (Trevo equilatero): x(x
2
3y
2
) = 3a(x
2
+ y
2
), a > 0.
Deduza que o traco da curva tem 3 componentes conexas.
Encontre a forma polar da curva e em seguida escreva a
formula parametrica.
(c) (Tridente de Newton): axy = x
3
+2ax
2
+3a
2
x+4a
3
, a > 0.
Deduza que o traco da curva tem 2 componentes conexas.
(d) (Lemniscata de Bernoulli): (x
2
+ y
2
)
2
= a
2
(x
2
y
2
), a =

2. Encontre a forma polar da curva e em seguida escreva

a formula parametrica. Deduza que a curva nao e simples.
(3) Os conceitos de aplicacao propria e de sequencias divergentes.
Denic ao de aplicacoes proprias f : X R
n
Y R
m
: Se-
jam X e Y subconjuntos de R
n
e R
m
, respectivamente. Dizemos
que uma aplicacao contnua f : X Y e propria se, para todo
compacto K Y , f
1
(K) e compacto. Tal denicao se estende
`a aplicacoes contnuas f : X Y, de um espaco metrico X
num espaco metrico Y.
Dizemos que uma sequencia {x
n
} num espaco metrico X e
divergente, se nao contem subsequencias convergentes.
(a) Deduza que f : X Y e propria, se e somente se leva
sequencias divergentes em X em sequencias divergentes em
Y.
(b) Deduza que uma aplicac ao propria f : X Y e fechada,
i. e leva subconjuntos fechados F X em subconjuntos
fechados de Y.
4
(c) Deduza que uma aplicacao propria f : X Y bijetora e
um homeomorsmo.
(d) Explique intuitivamente o que e uma aplicacao propria
: R R
2
. Conclua que nao existe uma aplicac ao propria
: R R
2
cuja imagem esteja dentro do disco unitario
D = {(x, y), x
2
+ y
2
1}.
(e) Exiba dois exemplos explcitos, escrevendo as expressoes
das parametrizac oes, de uma imersao (tambem chamada
de parametrizacao regular) injetora : (0, 1) R
2
que
nao e um mergulho, i. e, nao e um homeomorsmo sobre
a sua imagem.
Um mergulho : (0, 1) R
2
e uma imersao (parametrizacao
regular) que e um homeomorsmo sobre a sua imagem.
(f) Exiba um exemplo de uma imersao injetora que e um mer-
gulho nao proprio : (0, 1) R
2
, mas que vista como
aplicacao : (0, 1) {(x, y), x > 0} e um mergulho
proprio.
(g) De uma condic ao suciente para que uma imersao injetora
: (0, 1) R
2
seja um mergulho, relacionando com a
propriedade de ser propria.
(4) Para o exerccio voce tera que recordar as denicoes do seno
hiperbolico, do cosseno hiperbolico e da tangente hiperbolica.
Considere a curva dada por
x = t 2 tanh t, y =
2
cosh t
chamada de courbe des forcats e considerada por Poleni em
1729.
(a) Sera esta regular ? Sera esta parametrizada pelo compri-
mento de arco ? Ter a esta uma reta assmptota ? Estude
a concavidade da curva e o comportamento no innito.
Desenhe a curva, indicando no desenho o sentido do movi-
mento.
Um fato surpreendente e que a superfcie (Figura 2) asso-
ciada (isometrica) no espaco hiperbolico tridimensional H
3
a
certo catenoide (mnimo) de R
3
e uma superfcie invariante por
translacoes Euclideanas horizontais, cuja curva geradora e a
courbe des forcats descoberta por Poleni (Figura 1).
5
Figure 1
Figure 2
6
Curvatura de curvas planas
(5) A tractrix. Vamos continuar com o tracado das curvas planas,
agora incluindo o estudo da curvatura ao roteiro sugerido no
exerccio 1 da lista sobre Curvas Regulares no Plano.
Considere o ponto o horizontal x dado por (a, 0), a > 0. Va-
mos denir geometricamente a curva tractrix, dizendo que um
ponto p pertence `a tractrix se o comprimento da reta tangente
em qualquer ponto da curva compreendido entre o ponto de
tangencia e o eixo vertical y e constante.
(a) Exiba uma parametrizac ao da tractrix.
(b) Esboce o traco da curva, indicando no desenho o sentido do
movimento, nos moldes do exercco 1 da lista sobre Curvas
Regulares no Plano.
(c) Estude o comportamento da curvatura da tractrix em torno
dos pontos singulares e no innito.
(d) Determine as retas tangentes nas c uspides.
(e) Desenhe o vetor curvatura

k no desenho da curva. Ex-
plique o sinal da curvatura.
(6) A Cissoide. Considere a curva C dada implicitamente pela
equacao (aqui voce tera que rever o teorema das funcoes implcitas
do Calculo II) f(x, y) = x
3
+ xy
2
ay
2
= 0.
(a) Encontre uma reta de simetria de C.
(b) Encontre uma formula da curvatura de C em termo da
funcao f(x, y).
(c) Encontre os pontos singulares da curva.
(d) Encontre os pontos da curva em que a curva e um graco
vertical numa vizinhanca deste ponto. Idem, para graco
horizontal.
(e) Encontre uma parametrizacao global da curva, estudando
o comportamento da funcao curvatura, em torno dos pon-
tos singulares e no innito. Desenhe a curva indicando no
desenho o sentido do movimento.
(f) Desenhe o vetor curvatura

k no desenho da curva. Ex-
plique o sinal da curvatura.
(7) O Folium de Descates. Considere a curva C dada implicita-
mente por
f(x, y) = x
3
+ y
3
= 3xy.
(a) Encontre uma reta de simetria de C.
7
(b) Encontre uma formula da curvatura de C em termo da
funcao f(x, y).
(c) Encontre os pontos singulares da curva.
(d) Encontre os pontos onde a reta tangente e vertical.
(e) Encontre os pontos da curva em que a curva e um graco
vertical numa vizinhanca deste ponto. Idem, para graco
horizontal.
(f) Deduza que o traco da curva parametrizada
: (1, ) R
2
dada por (t) =
(
3t
1 + t
3
,
3t
2
1 + t
3
)
e
uma parte de C, denindo rigorosamente esta parte:
Estude o comportamento da curvatura quando t 1 e
quando t .
Deduza que a reta x + y = 1 e uma reta assmptota de
C.
(g) Desenhe o vetor curvatura

k no desenho da curva. Ex-
plique o sinal da curvatura.
(8) Considere o cardioide C dado na forma polar por
r = 2a (1 + cos t), a > 0. Estude a curvatura do cardioide nos
pontos singulares. Determine as suas c uspides e as retas tan-
gentes nestes pontos. Desenhe a curva apontando as simetrias
no desenho.
Escreva o cardioide na forma implcita f(x, y) = 0 determi-
nando os pontos singulares de f(x, y) sobre a curva (a curva
nao e um graco de uma func ao diferenciavel numa vizinhanca
deste ponto).
Desenhe o vetor curvatura

k no desenho da curva. Explique
o sinal da curvatura.
(9) Considere a curva dada implicitamente por
f(x, y) = x
4
+ y
4
+ 2x
2
y
2
a
2
(x
2
y
2
) = 0. Estude a curva,
reconhecendo esta como uma curva classica.
(10) Descreva geometricamente o cicloide, determinando uma parametrizacao
da curva. Calcule a sua curvatura e estude o comportamento
desta em torno das c uspides. Desenhe o vetor curvatura e ex-
plique o sinal da curvatura.
(11) Seja um n umero real positivo. Estude o comportamento da
curvatura da curva y = x

, x > 0, quando x 0.
(12) Classique todas as curvas parametrizadas regulares planas com
curvatura constante.
(13) Mostre que a curvatura com sinal de uma curva parametrizada
regular plana e invariante por uma isometria positiva (preserva
8
orientac ao) de R
2
. Mostre que uma isometria negativa muda o
sinal da curvatura com sinal.
(14) Sejam : (1, 1) R
2
uma curva regular parametrizada
pelo comprimento de arco s tal que a curvatura com sinal k
+
(s)
satisfaz k
+
(s) = k
+
(s), s (1, 1). Deduza que o traco de
e simetrico com respeito a reta normal ao traco C de em
s = 0, isto e, com respeito a reta normal que passa por (0).
(15) Seja : (1, 1) R
2
uma curva parametrizada regular e
seja p um ponto de R
2
que nao esta no traco C de . Seja
g(t) := d((t), p) a distancia do ponto (t) de C ao ponto p.
Seja f(p) := d(C, p) = inf d(q, p), q C, a distancia entre C e
p.
(a) Deduza que f(p) e uma func ao contnua.
(b) Assuma que existe t
0
(1, 1) tal que f(p) = g(t
0
). De-
duza que a reta ligando os pontos p e (t
0
) e normal `a
em t
0
.
(16) Seja : (1, 1) R
2
uma curva parametrizada regular pelo
comprimento de arco s. Mostre que se as normais passam por
um ponto dado, entao o traco C de e um arco de crculo.
(17) Seja : (1, 1) R
2
uma curva parametrizada regular pelo
comprimento de arco s. Mostre que se as retas tangentes sao
equidistantes de um ponto dado, ent ao a curva e, ou bem um
segmento de reta, ou bem um arco de crculo.
(18) Dena os conceitos de localmente estritamente convexo e glob-
almente estritamente convexo.
(19) Seja : (1, 1) R
2
uma curva parametrizada regular. Seja C
o traco de . Deduza que se a curvatura k de satisfaz k(0) >
0, entao restringindo-se a uma vizinhanca da origem, segue
que o seu traco desta restric ao, digamos, C
0
, localmente, numa
vizinhanca da origem, e o graco de uma funcao estritamente
convexa escolhendo-se apropriadamente os eixos coordenados.
Alem disso, conclua que C
0
e de fato estritamente convexa,
ou seja C
0
esta de um lado de sua reta tangente num seu dado
(arbitrario) ponto e o unico ponto da curva comum com a reta
tangente e o ponto de tangencia.
(20) De exemplos de curvas parametrizadas regulares fechadas cuja
curvatura e estritamente positiva, mas a curva nao e global-
mente convexa.
(21) De exemplos de curvas parametrizadas regulares simples fechadas
convexas mas nao estritamente convexas.
(22) De exemplos de curvas parametrizadas regulares simples pro-
priamente mergulhadas que sao estritamente convexas.
9
(23) De exemplos de curvas parametrizadas regulares completas com
retas assmptotas que sao estritamente convexas.
(24) O que se pode dizer, se k
+
(s) 0, s (1, 1): Sera que a
restricao do traco de a um pequeno intervalo em torno de
cada s (1, 1) e, localmente, (numa vizinhanca de qualquer
ponto xado s) convexa?
De fato, deduza que existe uma vizinhanca de s = s
0
, tal
que o traco da curva restrita a esta vizinhanca, esta contido no
semi-plano determinado pela reta tangente `a curva em s
0
para
o qual o normal unitario n(s
0
) esta apontando.
(25) Seja : [0, ] R
2
uma curva parametrizada regular pelo
comprimento de arco s. Seja k
+
(s) a curvatura com sinal de
(s). Considere a quantidade C(k) :=

0
k
+
(s), Deduza que
C(k) = 2I, I Z, ou seja C(k) e um m ultiplo inteiro de 2. O
n umero I chamado de ndice de rotacao. Exiba exemplos tais
que I vale 2, 4.
Um resultado gobal e que I = 1, se e somente se, a curva
parametrizada e simples e fechada.
Em seguida cito outros dois teoremas globais sobre curvas
planas: O teorema de Jordan diz que o traco C de uma curva
parametrizada regular plana simples e fechada : [0, ] R
2
divide o plano R
2
em exatamente duas componentes conexas,
sendo C a fronteira comum destas. Da, tais curvas sao tambem
chamadas de curvas de Jordan.
Outro resultado global, diz que uma curva de Jordan e con-
vexa (a curva esta contida num dos semi-planos determinados
pela sua reta tangente, em cada ponto), se e somente se a sua
curvatura com sinal k
+
(s) nao muda de sinal ao longo da curva.
Alem disso, quando C e convexa, o domnio limitado de
R
2
delimitado pelo traco C da curva, e um conjunto convexo
do plano.
(26) O Crculo osculador. Seja : (1, 1) R
2
, uma curva
parametrizada regular pelo comprimento de arco s. Suponha
que a curvatura em s = 0 nao se anule e que a orientac ao da
curva esteja escolhida de forma que k
+
(0) = k(0) > 0. De-
nimos o n umero real positivo R := 1/k(0), chamado de raio de
curvatura da curva em s = 0.
10
Seja > 0 e seja C

o crculo centrado em a

:= (0)+n(0),
e de raio . Seja D

o disco fechado de raio centrado em a

(cujo bordo e C

). Deduza o seguinte:
(a) Se < R entao, existe > 0 tal que a restric ao do traco
de ao intervalo perfurado 0 < |s| < e exterior ao disco
D

.
(b) Se > R entao, existe > 0 tal que a restric ao do traco
de ao intervalo perfurado 0 < |s| < e interior ao disco
D

.
O crculo centrado em (0) + Rn(0) de raio R e chamado
de crculo osculador e e o crculo que melhor aproxima a
curva numa vizinhanca de (0). O centro deste crculo e
chamado de centro de curvatura. Assuma que k(s) > 0,
onde k(s) e a curvatura com sinal de . A curva
(s) = (s) + (1/k(s)) n(s), cujo traco consiste na uniao
de todos os centros de curvatura, e chamada de evoluta da
curva original.
(c) Estude a evoluta da elipse, chamada de astroide, nos moldes
do exerccio 1 da lista de Curvas Regulares no Plano, de-
terminando, em particular, os seus pontos singulares, mar-
cando a orientacao da curva no desenho e estudando o com-
portamento da curvatura da curva.
(d) Deduza o seguinte: A evoluta de uma tractrix e uma catenaria
que admite uma parametrizacao da forma t (cosh u, u).
A evoluta de uma cicloide e uma cicloide, a evoluta de
uma cardioide e uma cardioide e a evoluta de uma espiral
logartmica e outra espiral logartmica ( = a e
b
).
(e) Seja : (1, 1) R
2
, uma curva parametrizada regular
pelo comprimento de arco s. Assuma que k(s) > 0, onde
k(s) = k
+
(s) e a curvatura com sinal de . Lembremos que
a curva (s) := (s) + (1/k(s)) n(s), s (1, 1), onde n
e o normal unitario canonico ao longo de , e chamada de
evoluta da curva original . Suponha que k

(s) > 0, s
(1, 1).
(i) Deduza que e uma curva parametrizada regular e
que as retas tangentes `a sao retas normais `a .
Exiba o vetor unitario tangente no sentido do movi-
mento (sentido de

(s)).
(ii) Encontre uma formula integral explcita para o com-
primento de arco u = h(s) de .
11
(iii) Seja

(s) a curvatura com sinal da curva (s). De-

duza que
1

=
1
2
d
ds
(
1
k
2
)
(iv) Deduza que se as retas normais `a sao equidistantes
de um ponto xado p R
2
, entao a evoluta de e
um crculo.
(27) Seja (t), t I uma curva regular plana e seja s um n umero
real xado. A curva paralela `a e a curva plana denida por
(t) = (t) + s

n
onde

n e o campo de vetores normais unitarios ao longo de
denido na sala de aula.
(a) A curva paralela e necessariamente regular ? Explique,
com rigor.
(b) Assuma que existem a, b > 0 tal que a < |k

| < b, onde k

e a curvatura com sinal de com respeito `a

n . Mostre,
para s sucientemente pequeno, que a curvatura com sinal
k

da curva paralela e dada por

k

(t) =
k

(t)
|1 sk

|
(c) A paralela de uma curva simples fechada (mergulhada) e
ainda mergulhada (sem auto-intersecoes) ?
Caso a curva seja simples e fechada satisfazendo k

0,
sera que a paralela e uma curva convexa, para s sucien-
temente pequeno ?
(d) A paralela `a uma elipse e uma elipse ? Estude as curvas
paralelas a uma elipse, levando em conta a regularidade e
curvatura.
(e) Estude as curvas paralelas a uma catenaria, levando em
conta a regularidade e a curvatura.
(f) Assuma que C
0
seja uma curva regular, simples, fechada
e estritamente convexa. Assuma que s > 0. Sejam L
0
e
A
0
o comprimento de C
0
e a area da regiao delimitada por
C
0
, respectivamente. Sejam L(s) e A(s) o comprimento e
a area relativos `a paralela a C(s) := C
0
+ s

n , sendo

n
um normal exterior a C
0
.
(i) Mostre que para s sucientemente pequeno, C(s) e
uma curva regular fechada e estritamente convexa.
12
(ii) Mostre que que o comprimento L(s) da paralela e
L(s) = L
0
+ 2s e que a area A(s) englobada por
C(s) e A(s) = A
0
+ sL
0
+ s
2
.
Curvas regulares em superf

cies no espaco
(28) Deduza que a curvatura (s) > 0 e a torc ao (s) de uma curva
regular : I R
3
(com vetor curvatura nao nulo em cada
ponto ) sao invariantes por isometrias positivas de R
3
.
(29) Deduza a parte da unicidade do teorema fundamental da teoria
local das curvas espaciais.
(30) Considere a helice dada por
(t) = (a cos t, a sin t, bt), t R, a > 0.
(a) Lembro para este exerccio que as isometrias positivas A :
R
3
R
3
(movimentos rgidos) de R
3
em R
3
, que preser-
vam a metrica Euclideana (preservam o comprimento das
curvas, preservam a distancia entre dois pontos, etc...) sao
as rotac oes, as translac oes e composic oes destas.
Encontre um grupo `a um parametro de isometrias positi-
vas G de R
3
em R
3
de forma que a helice seja invariante
globalmente pela acao de G. Ou seja cada elemento de G e
da forma A(t), t I, onde I e um intervalo da reta e A(t)
e uma isometria positiva de R
3
, e a helice e levada nela
mesma pela isometria A(t).
(b) Demonstre, sem fazer as contas da torc ao e da curvatura,
que a curvatura e a torc ao da helice sao constantes. Em seguida,
fazendo uma conta, encontre estas constantes.
(c) Seja U um aberto de R
n
. Uma imersao X : U R
n
R
n+m
a uma aplicac ao suave cuja diferencial dX(p) : T
p
U =
R
n
R
n+m
e injetora (tem posto n) em cada ponto p U
(nao se requer que seja um homeomorsmo sobre a sua
imagem). Lembre-se que a matriz da diferencial na base
canonica e a matriz jacobiana, cujas colunas sao
X(p)
x
1
, . . . ,
X(p)
x
n
,
tomando em R
n
coordenadas x
1
, . . . , x
n
.
(i) Seja a R. A cada ponto da helice (u) = (cos u, sin u, au), t
R, trace a reta passando por este ponto e perpendi-
cular ao eixo z.
Obtenha uma imersao injetora X : R
2
R
3
cuja
imagem e a superfcie resultante descrita. Deduza
que X e uma imersao propria e da que H = X(R
2
)
13
e uma superfcie regular de R
3
(subvariedade de di-
mensao 2 de R
3
). Reconheca o helicoide.
(ii) Obtenha uma parametrizac ao global do helicoide H
que seja conforme. Calcule a curvatura de Gauss
do helicoide H, usando as coordenadas conformes
(tambem chamadas de isotermicas) obtidas.
(iii) Responda se tal superfcie H e invariante pela acao
do mesmo grupo G denido acima que atua na helice,
deixando-a invariante.
(iv) Deduza por um argumento geometrico que a helice
(contida emH) tem curvatura geodesica k
g
constante.
(v) Calcule a curvatura geodesica k
g
e a curvatura nor-
mal da helice como curva do helicoide.
(31) Usando obrigatoriamente a equacao das geodesicas e o teorema
de existencia e unicidade das geodesicas, determine:
(a) Todas as geodesicas do cilindro vertical C = {(x, y, z)
R
3
, x
2
+y
2
= a
2
, a > 0}. Reconheca-as como curvas classicas.
(b) Todas as geodesicas da esfera S
R
= {(x, y, z) R
2
,
x
2
+ y
2
+ z
2
= R
2
, R > 0}.
(32) Mostre que a c ubica retorcida t (t, t
2
, t
3
) tem curvatura k e
torcao respectivamente dadas por
k(t) =
(4 + 36t
2
+ 36t
4
)
1/2
(1 + 4t
2
+ 9t
4
)
3/2
(t) =
3
(1 + 9t
2
+ 9t
4
)
Desenhe a curva, usando o MAPLE, fazendo uma analise.
(33) Considere : I R
3
uma curva parametrizada pelo compri-
mento de arco s de curvatura (em R
3
) k(s) > 0 positiva, cujo
traco esteja contido na esfera de centro p e de raio r > 0. As-
suma que a torcao (s) de nunca se anule.
(a) Deduza que satisfaz a seguinte equacao diferencial (Monge,
1807)
1
k
2
+
(
1

(
1
k
)

)
2
= r
2
()
Sugestao: Diferencie a equac ao |(s) p|
2
= r
2
.
(b) Conclua que uma curva : I R
3
parametrizada pelo
comprimento de arco s de curvatura (em R
3
) k(s) > 0
positiva, cujo traco esteja contido na esfera de centro de
raio r > 0, satisfaz para s
0
I:
14
k

(s
0
) = 0 k(s
0
) = 1/r ou (s
0
) = 0.
(c) Considere a curva de Viviani obtida pela interse cao do
cilindro (x a)
2
+ y
2
= a
2
com a esfera
x
2
+ y
2
+ z
2
= 4a
2
.
(i) Cheque que uma parametrizacao da curva esta dada
por:
(t) = a (1 + cos t, sin t, 2 sin(t/2)) , 2 t 2
(ii) Usando o MAPLE, estude a curvatura (em R
3
) e
a torc ao, determinando os maximos e mnimos da
curvatura, desenhando os gracos da curvatura da
torcao. Desenhe a curva.
(iii) Deduza que no ponto de maximo ou de mnimo t
0
, a
curvatura (em R
3
) e igual a k(t
0
) =
1
a
=
curvatura media da esfera de raio a.
(34) De exemplos variados explcitos de curvas na esfera de raio 1
e verique as equac ao () acima. Por exemplo: Considere a
espiral esferica
(t) = (cos t cos 7t, cos t sin 7t, sin t)
Calcule as formulas da curvatura e da torcao da curva. Es-
boce o traco da curva.
(35) Seja : I R
3
uma curva parametrizada regular cuja cur-
vatura e (s) > 0. Suponha que o traco de esteja contido na
esfera unitaria centrada na origem. Assuma que tenha torcao
(s) = cst = a R.
Deduza que existem b, c R tal que
(s) =
1
b cos as + c sin as
Sugestao: Diferencie a equacao |(s)|
2
= 1.
(36) Dena informalmente o tubo ao redor de uma curva (regular)
movendo um pequeno crculo centrado na curva e ortogonal a
curva ao longo da curva. Agora tente encontrar uma denic ao
rigorosa de tubo de raio r ao redor de uma curva regular
dando varios exemplos, considerando varias curvas (p. exemplo:
helices). Calcule o volume da regiao solida englobada pelo tubo.
(37) Uma helice cilndrica ou simplesmente helice e uma curva parametrizada
regular : I R
3
que e uma generalizac ao das helices circu-
lares. Estao denidas pela propriedade que as tangentes fazem
15
um angulo constante com uma direcao xada L (constant
slope). Ou seja, se

v o vetor unitario diretor de L, ent ao

v T(s) = cos = const

Assuma que k(s), (s) = 0, s I, onde k e sao respecti-
vamente a curvatura e a torc ao de .
(a) Mostre que a helice satisfaz
k

= tan = constante
Esta equacao caracteriza as helices ? Este e um teorema
de Lancret demonstrado por Saint Venant em 1845.
(b) Suponha que L seja o eixo-z. Mostre que a curvatura k

da projec ao da helice no plano ortogonal a L e dada por

k

= k cossec
2

(38) Forma local de uma curva espacial regular. Seja : (1, 1)

R
3
uma curva regular (suave) parametrizada pelo comprimento
de arco s. A menos de um movimento rgido (rotac oes composta
com translacoes) assuma que (0) = 0, T(0) = (1, 0, 0), n(0) =
(0, 1, 0) e b(0) = (0, 0, 1). Assuma que a curvatura geometrica
k(s) > 0, s (1, 1). Lembre-se que o normal n esta denido
por

k = kn, onde

k e o vetor curvatura. Seja (s) a torc ao
da curva.
(a) Deduza que (explicando os detalhes)
(s) =
(
s
k
2
(0)s
3
6
,
s
2
k(0)
2
+
s
3
k

(0)
6
,
s
3
k(0)(0)
6
)
+ o(s
3
),
onde o(s
3
)/s
3
0 quando s 0.
Conclua:
(b) Se < 0 e s e sucientemente pequeno, entao z cresce com
s.
(c) Existe um real > 0 sucientemente pequeno tal que
para s (, ) a projecao de no plano gerado por
{T(s), n(s)} esta inteiramente contida no semi-plano para
onde o vetor curvatura

k esta apontando.
16
Subvariedades diferenci

aveis
(39) Vamos lembrar o conceito de imersao: Seja U um aberto de R
n
.
Uma imersao X : U R
n
R
n+m
a uma aplicac ao suave (de
classe C

) cuja diferencial dX(p) : T

p
U = R
n
R
n+m
e inje-
tora (tem posto n) em cada ponto p U (nao se requer que seja
um homeomorsmo sobre a sua imagem). Lembre-se que a ma-
triz da diferencial na base canonica e a matriz jacobiana, cujas
colunas sao
X(p)
x
1
, . . . ,
X(p)
x
n
, tomando em R
n
coordenadas
x
1
, . . . , x
n
. A imagem de uma imersao nao e necessariamente
uma subvariedade de R
n+m
, ja que pode, por exemplo, ter auto-
intersec oes.
Uma imersao X : U R
n
R
n+m
que e um homeomorsmo
de U sobre a sua imagem X(U) (dotado da topologia induzida
de R
n+m
) e chamada de mergulho. Neste caso, a imagem e uma
subvariedade de R
n+m
. Observamos que os conceitos de imersao
e de mergulho se estendem `a aplicac oes suaves
f : M N, onde M e N sao subvariedades suaves.
Vamos lembrar tambem o conceito de aplicacao propria: Se-
jam X e Y subconjuntos de R
n
e R
m
, respectivamente. Dizemos
que uma aplicacao contnua f : X Y e propria se, para todo
compacto K Y , f
1
(K) e compacto. Tal denicao se estende
`a aplicacoes contnuas f : X Y, de um espaco metrico X
num espaco metrico Y.
(a) De dois exemplos nao triviais de imersoes X : U R
n
R
n+m
que nao sao mergulhos.
(b) Deduza que se X : U R
n
R
n+m
e um mergulho
(suave) entao X(U) e uma subvariedade (suave) de R
n+m
de dimensao n.
(c) Deduza que uma imersao injetora propria (suave) X : U
R
n
R
n+m
e um mergulho (suave). Alem disso, X(U) e
um subconjunto fechado de R
n+m
.
(40) Considere a equac ao
F(x, y, z) = e
z
(
x
2
+ y
2
+ z
2
)
(1 + z
2
)
1/2
+ y = 0
(a) Use o teorema das func oes implcitas para deduzir que
numa vizinhanca de (1, 0, 0) o conjunto F
1
(0) e um graco
vertical da forma {(x, y, z), z = f(x, y)} de classe C

. En-
contre o normal ao graco no ponto (1, 0, 0).
17
(b) Considere F : R
3
\ {plano yz} R,
F(x, y, z) = e
z
(x
2
+ y
2
+ z
2
) (1 +z
2
)
1/2
+y. Deduza que
F
1
(0) e uma superfcie regular nao conexa de R
3
.
(41) Considere F : R
3
R
2
, dada por F(x, y, z) = (F
1
(x, y, z), F
2
(x, y, z)),
onde

F
1
(x, y, z) = x
2
+
y
2
2
+ z
3
z
2
F
2
(x, y, z) = x
3
+ y
3
3y + z
Use o teorema das func oes implcitas para deduzir que numa
vizinhanca de (1, 1, 0), o conjunto F
1
{(3/2, 3)} e uma curva
regular de R
3
(subvariedade de dimensao 1 de R
3
), que admite
uma parametrizacao de classe C

da forma t (t, f(t), g(t)),

numa vizinhanca de t = 1. Calcule o vetor velocidade da
curva em t = 1.
(42) Seja F(x, y, z) = y
3
e
x+y+z
. Deduza de duas maneiras in-
teiramente distintas que F
1
(0) e uma superfcie regular de R
3
.
Encontre um normal unitario N ao longo da superfcie regular.
(43) Verique se as funcoes f : R
3
R abaixo sao suaves
e determine os abertos do espaco de maneira que 0 seja um
valor regular, de maneira que f
1
(0) seja uma superfcie regular,
estudando tal superfcie. Quando 0 nao e um valor regular
estude assim mesmo o conjunto {f(x, y, z) = 0, x, y, z R}.
Use o MAPLE para esbocar varias superfcies atribuindo valores
para as constantes.
(a) f(x, y, z) = x
2
+ y
2
z
2
c = 0; c R.
(b) f(x, y, z) = ax
2
+ by
2
cz
2
= 0; a, b, c > 0.
(c) f(x, y, z) = ax
2
+ by
2
cz
2
+ 1 = 0; a, b, c > 0.
(d)
(
(x
2
+ y
2
)
1/2
a
)
2
+ z
2
r
2
= 0; a > r > 0.
(44) Verique se os conjuntos abaixo sao subvariedades de R
n+1
,
ou nao, fazendo primeiramente n = 2, 3 determinando sua di-
mensao e estudando-os geometricamente: intersecoes com os
huperplanos coordenados vericando simetrias-grupos do espaco
ambiente que deixam o conjunto invariante-, conexidade, com-
pletude (se sao completas como espacos metricos). Encontre
um campo normal unitario N ao longo das hipersuperfcies de
R
n+1
subvariedades de dimensao n de R
n+1
.
(a) x
2
1
+ x
2
2
+ + x
2
n
x
2
n+1
1 = 0 (n 2).
(b) x
2
1
+ x
2
2
+ + x
2
n
x
2
n+1
+ 1 = 0 (n 2).
(c) Estenda, denindo outras quadricas de dimensao arbitraria.
18
(45) Estude f(x, y, z) := x
3
+y
3
+z
3
3xyz = c, c R, considerando
os casos c = 0 e c = 0, separadamente, determinando explicita-
mente o conjunto quando c = 0, e determinando os valores de
c para os quais a equac ao dene implicitamente uma superfcie
regular. Para estes valores de c encontre um normal unitario N
ao longo da superfcie regular. Sugestao: Observe que
x
3
+y
3
+z
3
3xyz = (x+y +z)(x
2
+y
2
+z
2
xy xz yz),
e deduza que x
2
+ y
2
+ z
2
xy xz yz = 0 x = y = z.
(46) Estude f(x, y, x) = x
n
+ y
n
+ z
n
= c, c > 0, n 2.
(47) Estude f(x, y, z) = (yz)
2
+ (xz)
2
+ (xy)
2
= 1.
(48) Seja S uma supercie regular.
(a) Deduza que se S e compacta e : S R
3
e uma imersao
injetora, ent ao (S) e uma superfcie regular de R
3
.
(i) Seja : S
2
R
3
dada por (p) = f(p)p (f difer-
enciavel e estritamente positiva em S
2
). A imagem
S := (S
2
) e chamada de graco radial. Deduza que
S e uma superfcie regular.
Deduza que : S
2
S e um difeomorsmo.
(b) Seja p um ponto de S e v um vetor tangente `a S em p (v
T
p
S). Considere : (, ) S uma curva parametrizada
diferenciavel tal que (0) = p e

(0) = v. Seja f uma

funcao diferenciavel em S. Considere a quantidade f (t).
(c) Deduza que se S e uma superfcie compacta, entao f tem
sempre um ponto crtico.
(d) Deduza que se S e conexa e se todos os pontos de S sao
pontos crticos de f, ent ao f e constante.
(e) Generalize os tres itens acima ao contexto de subvariedades
diferenciaveis de R
n+m
.
(f) Funcao altura. Seja p
0
R
3
e a R
3
um vetor unitario
nao nulo. Dena a funcao altura por h(p) = (p p
0
) a,
onde denota o produto interno em R
3
.
(i) Calcule a diferencial d
p
(v), exibindo uma formula.
(ii) Seja p S um ponto crtico de h. De uma in-
terpretacao geometrica e exiba exemplos explcitos
de superfcies compactas S de genero g arbitrario,
funcoes altura e seus pontos crticos.
(iii) Deduza que se S e compacta existe um ponto de S
cuja reta normal e paralela `a a.
(iv) Deduza que se S e completa e se todas as retas nor-
mais sao paralelas ao vetor a entao S e um plano. E
se S e apenas conexa ?
19
(g) Funcao distancia. Seja p
0
R
3
\ S e seja h(p) = |p p
0
|
2
o quadrado da funcao distancia.
(i) Calcule a diferencial d
p
(v), exibindo uma formula.
(ii) Seja p S um ponto crtico de h. De uma inter-
pretacao geometrica.
(iii) Exiba exemplos explcitos de superfcies conexas S e
pontos crticos da func ao distancia.
(iv) Conclua o seguinte: De um ponto arbitrario p
0
R
3
se pode tracar uma reta que e normal a uma dada
superfcie compacta S.
(v) Deduza o seguinte: Se as retas normais a uma super-
cie completa S se intersectam num ponto p
0
, ent ao
a superfcie S e uma esfera centrada em p
0
. E se S e
apenas conexa ?
(h) Quadrado da distancia a uma reta. Considere r a reta
passando por p
0
com vetor diretor unitario a. Seja
h(p) = |p p
0
|
2
((p p
0
) a)
2
.
(i) Calcule a diferencial d
p
(v), exibindo uma formula.
(ii) Seja p S um ponto crtico de h. De uma inter-
pretacao geometrica e exiba exemplos explcitos de
superfcies S e pontos crticos da func ao h(p).
(iii) Deduza que se S e compacta existe um ponto de S
tal que a normal `a S neste ponto intersecta a reta r
perpendicularmente.
(iv) Deduza que se S e completa e se todas as normais
intersectam a reta r perpendicularmente, ent ao S e
um cilindro circular reto com eixo r.
(i) Seja S uma superfcie compacta. Deduza que existem dois
pontos p e q tal que a reta passando por estes pontos corta
S ortogonalmente.
(j) Seja p
0
S. Seja S
2
a esfera unitaria em R
3
. Considere a
projecao : S S
2
dada por (p) =
p p
0
|p p
0
|
. De uma
condicao geometrica para que seja um difeomorsmo lo-
cal.
20
Subvariedades Riemannianas do espaco Euclideano
(49) Superfcies regradas. Seja I um intervalo aberto da reta. Uma
superfcie imersa regrada S em R
3
e a imagem de uma imersao
X : I R R
3
da forma
X(u, v) = (u) + vw(u), u I, v R
Sendo , w : I R
3
, de classe C

(suaves) e w(u) = 0, u
I. Admite-se que a imersao tenha pontos singulares; ou seja,
admite-se pontos onde X
u
X
v
= 0. Os pontos onde
X
u
X
v
= 0, sao chamados de pontos regulares da imersao X.
A curva se chama curva geratriz, a curva w se chama de
curva diretriz. As retas geratrizes da superfcie regrada S sao
as retas v (u) + vw(u).
(a) Seja S uma superfcie regrada regular. Deduza que as retas
geratrizes sao curvas assimptoticas.
OBS: Vamos ver, no estudo da Geometria extrnseca, que
o teorema de curvatura de Gauss implica que a curvatura
de Gauss K de uma superfcie regrada S satisfaz K 0.
De fato, o teorema de curvatura de Gauss, diz que
K
ext
=
eg f
2
EGF
2
= K (1)
onde e, f, g, sao as quantidades geometricas dadas em sala
de aula. Um calculo facil, que voce pode vericar, mostra
que para as superfcies regradas g = 0.
(b) Deduza que o hiperboloide elptico de uma folha
x
2
a
2
+
y
2
b
2

z
2
c
2
= 1, a, b, c > 0
e uma superfcie regrada.
Sugestao:
Considere (u, v)
(
a (cos uv sin u), b (sin u+v cos u), cv
)
.
(50) Superfcies desenvolvveis: K 0. Vamos considerar superfcies
regradas X(u, v) = (u)+vw(u), u I, v R, quando |w(u)| =
1, u I e quando e w, satisfazem que o produto misto
w w

0 (developable surfaces).
(a) Seja : I R
3
uma curva regular cuja curvatura nunca
se anula. Considere a imersao
X(u, v) = (u) + v

(u)
21
(i) Deduza que X e uma imersao regular em todos os
pontos, exceto nos pontos da curva .
Exiba exemplos de tais superfcies escolhendo uma
curva espacial classica .
(ii) Usando a formula de Gauss (1), deduza que a parte
de S, fora do traco de , e plana, i. e. K 0.
(b) Dizemos que uma superfcie regrada S e um cilindro sobre
uma curva, se S e a imagem de uma imersao X da forma
X(u, v) = (u) +vp, onde p R
3
e um vetor xo unitario.
(i) Deduza que um cilindro cilindro sobre uma curva e
regular em todos os pontos onde

p nao se anula.
Exiba exemplos explcitos de cilindros generalizados
completos (como espacos metricos) globalmente reg-
ulares (a imersao e regular em todos os pontos) nao
triviais, de modo que pelo menos um exemplo seja
imerso, mas nao seja mergulhado.
Isto e, o seu exemplo deve ter auto-intersecoes. Ou
seja, nao deve ser uma subvariedade de dimensao 2
do R
3
. Nao deve ser uma superfcie regular.
Sugestao: escolha bem a curva .
(ii) Usando a formula de Gauss (1) deduza que os cilin-
dros generalizados regulares sao planos, i.e. K 0.
(c) Dizemos que uma superfcie regrada S e um cone general-
izado se e imagem de uma imersao da forma
X(u, v) = q + vw(u), |w(u)| = 1
(i) Deduza que que um cone generalizado e regular em
todos os pontos onde v

= 0. Logo, um cone
nunca e regular no seu vertice.
Exiba exemplos de tais cones, sendo pelo menos um
que seja imerso, mas nao seja mergulhado (tenha
auto-intersec oes).
(ii) Deduza que um cone generalizado nos pontos regu-
lares e plano, i. e, K 0.
(51) Deduza que o cilindro circular reto
x
2
+ y
2
= a
2
, a > 0 em R
3
, e uma subvariedade de dimensao
2 do R
3
(superfcie regular). Classique todas as geodesicas do
cilindro circular reto
x
2
+ y
2
= a
2
, a > 0 em R
3
, de duas maneiras distintas: A
primeira maneira fazendo um estudo da equac ao das geodesicas
no cilindro e a outra maneira fazendo uso de isometrias.
22
(52) A esfera S
2
. Considere a esfera unitaria S
2
= {x
2
+y
2
+z
2
= 1}
em R
3
.
(a) Deduza que S
2
e uma subvariedade de dimensao 2 do R
3
(superfcie regular). Classique todas as geodesicas da es-
fera S
2
. Responda qual das armac oes abaixo esta rigorosa-
mente correta:
(i) Os circulos maximos sao geodesicas das esfera S
2
.
(ii) Os circulos maximos, parametrizados com velocidade
constante, sao geodesicas das esfera S
2
.
(b) Calcule a curvatura geodesica k
g
de um paralelo da esfera.
(c) Considere a parametrizac ao de S
2
em coordenadas esfericas
, dada por X(, ) = (sin cos , sin sin , cos ) (deixarei
livre aqui o domnio da parametrizacao). Seja X

, X

o ref-
erencial local adaptado `a para metrizac ao X.
Seja a conexao Riemanniana de S
2
.
(i) Calcule
X

,
X

,
X

. Usando obrigatoriamente
este item, deduza que os crculos maximos, parametriza-
dos com velocidade constante, sao geodesicas de S
2
.
Usando obrigatoriamente este item, calcule a cur-
vatura geodesica k
g
dos paralelos de S
2
.
(ii) Verique a equacao de Gauss de um paralelo
k
2
= k
2
g
+ k
2
n
onde k e a curvatura do paralelo em R
3
, k
g
e a cur-
vatura geodesica do paralelo na esferatoro S
2
e k
n
e
a curvatura normal,
explicitando estas quantidades em termo dos parametros , .
(d) Uma curva na esfera que faz angulo constante com os me-
ridianos da esfera e chamada de loxodromica.
(i) Mostre que a imagem de uma loxodromica pela projecao
estereograca do polo norte (veja adiante) e uma es-
piral logartmica.
(ii) Usando coordenadas esfericas, encontre uma equacao
diferencial de primeira ordem que as loxodromicas
satisfazem. Em seguida exiba uma formula explcita.
Com a ajuda do MAPLE esboce uma loxodromica na
esfera estudando a sua curvatura e a sua torc ao.
(e) Deduza que na esfera nao ha linhas assimptoticas.
(53) A esfera S
2
bis.
23
(a) Mostre que a projecao estereograca usual do polo norte e
dada por

N
(x, y, z) =
x + iy
1 z
:= u + iv := E
dando a interpretac ao geometrica desta aplicac ao.
(b) Mostre que
N
leva crculos da esfera em crculos ou retas
no plano, determinando geometricamente cada situac ao.
(c) Mostre que
N
preserva os angulos mas inverte as suas
orientac oes.
(d) Mostre que a inversa e dada por
E
(
2u
EE + 1
,
2v
EE + 1
,
EE 1
EE + 1
)
onde EE = u
2
+ v
2
.
(e) Mostre que a metrica Euclideana ds
2
= dx
2
+dy
2
+dz
2
em
R
3
induzida em S
2
, induz em C {} a seguinte metrica
ds
2
=
4
(1 + u
2
+ v
2
)
2
(du
2
+ dv
2
)
(f) Generalize os itens anteriores considerando a esfera S
n
de
dimensao n, i.e, a esfera unitaria centrada na origem de
R
n+1
.
(g) Considerando o referencial adaptado {

u
,

v
} da metrica
ds
2
=
4
(1+u
2
+v
2
)
2
(du
2
+ dv
2
) na esfera C {}, calcule a
conexao Riemanniana da esfera determinando as quan-
tidades
u

u
,
u

v
,
v

v
.
(h) Aplique obrigatoriamente o calculo anterior para escrever a
equacao das curvas em S
2
de curvatura geodesica
g
= cst(
constante).
(i) Ja sabemos que a curvatura de Gauss de uma superfcie
Riemanniana e um invariante intrnseco (depende apenas
da metrica). Em termos de coordenadas isotermicas w =
u + iv pode ser escrita como
K =

w
log

2
onde, a metrica em termos das coordenadas isotermicas
(conformes) w = u + iv, e dada por ds
2
=
2
| dw|
2
.
Mostre, usando coordenadas isotermicas (u, v)
(fazendo E = w) explicitadas acima, que a curvatura de
Gauss da referida metrica esferica e K +1.
24
(j) Deduza que uma isometria positiva da esfera S
2
e uma
equivalencia conforme de S
2
; da uma transformac ao de
Mobius da esfera. Mostre que uma isometria positiva da
referida metrica e o conjunto das transformac oes de Mobius
da forma
T(z) =
az c
cz + a
satisfazendo |a|
2
+|c|
2
= 1, a, c C.
Conclua que toda isometria positiva da esfera S
2
leva crculos
em crculos.
(k) Classique todas as isometrias positivas de S
2
, geometrica-
mente.
(l) Mostre que para cada tal isometria positiva T correspon-
dem z e
1
z
xados por T.
(m) A aplicac ao z 1/z e uma isometria positiva ? Descreva-a
geometricamente.
(n) Mostre que os meridianos na esfera, parametrizados com
velocidade constante, sao as unicas geodesicas da esfera,
fazendo obrigatoriamente um estudo da equac ao das geodesicas
na esfera.
(o) Mostre que dados dois pontos p e q de S
2
existe uma isome-
tria positiva de S
2
que leva p em q, ou seja S
2
e uma var-
iedade homogenea bidimensional.
(p) Mostre que dadas duas geodesicas C
1
e C
2
de S
2
existe uma
isometria positiva de S
2
que leva C
1
em C
2
.
(q) Dena o conceito de reexao numa geodesica da esfera,
geometricamente, sem fazer uso do ambiente Euclideano.
Em seguida, mostre que tal reexao e a restricao de uma
reexao Euclideana de R
3
`a esfera.
(r) Dena o conceito de translacao ao longo de uma geodesica
na esfera S
2
. Deduza que tais translac oes sao compostas
de duas reexoes em geodesicas, como denido acima.
(s) Dados p, q S
2
seja dist
S
2(q, p) a distancia entre p, q (na
metrica das esfera).
(i) Deduza que existe uma curva C na esfera que mini-
miza o comprimento de arco, dentre todas as curvas
parametrizadas suaves regulares ligando p `a q. Alem
disso, o traco desta curva e um arco de crculo de raio
maximo contido em S
2
. Aqui faca um estudo alter-
nativo analizando o funcional comprimento de arco.
25
(ii) Seja C
r
:= {q S
2
; dist
S
2(q, p
0
) = r}, o crculo
esferico de raio r e centro p
0
em S
2
.
(iii) Deduza que o comprimento de C
r
e proporcional ao
seno de r.
(iv) Deduza que o vetor curvatura geodesico

g
de C
r
e dado por

g
= cot

= cot r

r
, concluindo
que a curvatura geodesica
g
= | cot r|.
(v) Deduza que se um paralelo P tem raio R (como
crculo em R
3
), entao R =
1

1+
2
g
, onde
g
e a cur-
vatura geodesica de P.
(vi) Deduza que as isometrias da esfera levam crculos
em crculos, em que crculos aqui signica uma curva
obtida fazendo a intersec ao da esfera com um plano
de R
3
. De o signicado disto intrnseco.
(54) Determine todas as geodesicas da esfera unitaria S
n
R
n+1
, de
dimensao n, exibindo uma formula explcita e fazendo uso do
teorema de existencia e unicidade local das geodesicas.
(55) Superfcies de revolucao. Considere S uma superfcie de rev-
olucao em torno do eixo z parametrizada por
X(u, ) = (a(u) cos , a(u) sin , c(u)), u I, onde I [0, ) e
um intervalo da reta e a(u) 0 (nao colocarei a varia cao de
aqui). Assuma que a curva parametrizada u (a(u), b(u)), e
regular e que esta parametrizada pelo comprimento de arco.
(a) Calcule o comprimento de um paralelo.
(b) Calcule a metrica de S no sistema de coordenadas (u, ).
(c) Mostre que os meridianos sao geodesicas de S, por um
argumento geometrico.
(d) Encontre uma condicao necessaria e suciente sobre a(u) de
maneira que o paralelo u = c
0
seja uma geodesica, fazendo
um argumento geometrico.
(e) Determine a conexao Riemanniana da superfcie S, de-
duzindo
26

u
=
a

(u)
a(u)

u
= 0, explique geometricamente este resultado

= a

(u) a(u)

u
(f) Deduza que as equac oes das geodesicas em S, assumindo
que a geodesica esta parametrizada pelo comprimento de
arco, sao equivalentes ao seguinte sistema (aqui (u(t), (t))
sao expressoes locais de uma curva em S):
{
(
du
dt
)
2
+ a
2
(u(t))
(
d
dt
)
2
= 1
a
2
(u(t))
d
dt
= C, (C=cst)
(2)
Note que se
d(0)
dt
> 0 ent ao C > 0.
(g) Recupere os fatos que os meridianos parametrizados por
uma velocidade constante sao geodesicas. Recupere tambem
os fatos que os paralelos parametrizados por uma veloci-
dade constante sao geodesicas a

(u)a(u) = 0. Inter-
prete.
(h) Deduza que se existir dois paralelos de S da forma a(u) =
C, entao uma geodesica tangente a um destes paralelos,
oscila entre estes dois paralelos. Verique que o dado C
determina a geodesica.
(i) Mostre que se e o angulo que uma geodesica de S faz
com um paralelo P dado por a(u) = r = cst, 0 /2,
entao as geodesicas estao determinadas pela equacao de
Clairaut:
r cos = |C|,
(i) Deduza que se uma geodesica e assimptotica a um
paralelo, este paralelo tem que ser uma geodesica.
(ii) Estude as geodesicas no paraboloide.
(iii) Estude as geodesicas no catenoide.
(56) O toro T
2
. Seja 0 < r < a. Considere o crculo C no plano yz
dado por z
2
+ (y a)
2
= r
2
. Considere T
2
o toro de revoluc ao
gerado pela rotac ao de C em torno do eixo z.
27
(a) Deduza que T
2
e uma superfcie regular, mostrando que e
uma superfcie de nvel, i. e, pode ser obtida como imagem
inversa de um valor regular de uma func ao suave. Calcule
o normal unitario ao toro.
(b) Exiba parametrizacoes explcitas naturais de T
2
, calcu-
lando a metrica g e a conexao Riemanniana num refe-
rencial local adaptado ao sistema de coordenadas obtido.
(c) Encontre parametrizacoes conformes de T
2
e calcule a cur-
vatura de Gauss K, usando a formula que depende apenas
da metrica. Estude os pontos onde K > 0, K = 0 e K < 0,
respectivamente, fazendo um desenho do toro e apontando
estes pontos na gura.
(d) Encontre todos os paralelos de T
2
que sao linhas assimptoticas,
caso existirem.
(e) Verique a equacao de Gauss de um paralelo
k
2
= k
2
g
+ k
2
n
onde k e a curvatura do paralelo em R
3
, k
g
e a curvatura
geodesica do paralelo no toro T
2
e k
n
e a curvatura normal,
explicitando estas quantidades em termo dos parametros u, v
da parametrizac ao escolhida.
(57) Classique todas as superfcies de revolucao satisfazendo cur-
vatura de Gauss K 1, estudando e determinando o compor-
tamento geometrico da curva geratriz.
(58) Deduza que a superfcie de revolucao cuja curva geratriz e a
tractrix, possui nos pontos regulares curvatura de Gauss K
1.
(59) Famlia catenoide-helicoide. Considere a superfcie de revolu cao
da caten aria, chamada de catenoide dada por x = a cosh v cos u, y =
a cosh v sin u,
z = av; 0 < u < 2, v R (catenoide menos um meridi-
ano). O catenoide e a unica superfcie mnima de revolucao
de R
3
. Considere o helicoide de R
3
parametrizado por x =
av cos u, y = av sin u, z = au; 0 < u < 2, v R ( domnio
fundamental do helicoide=pedaco do helicoide entre as alturas
z = 0, e z = 2a). O helicoide e a unica superfcie mnima
regrada de R
3
.
(a) Encontre uma denic ao geometrica do helicoide. Mostre
que o helicoide e invariante por um grupo a 1-parametro
de isometrias de R
3
(screw motions).
28
(b) Mostre que o catenoide e o helicoide sao localmente isometricos.
Sugestao: Aqui e preciso re-parametrizar o helicoide para
ver isto, como ja esta feito abaixo. Calcule a curvatura de
Gauss, usando a formula que depende apenas da metrica.
(c) Considere a famlia catenoide-helicoide, denotada F

, abaixo.
Z

= cos C(u, v) + sin H(u, v) [0, 2)

onde C(u, v) = (a cosh v cos u, a cosh v sin u, av) e
H(u, v) = (a sinh v sin u, a sinh v cos u, au), 0 < u <
2, < v < , sao parametrizac oes (locais) do catenoide
e do helicoide, respectivamente.
(i) Mostre que F

e uma famlia a 1-parametro de su-

perfcies helicoidais cujo passo depende de ( Claro
que para = 0 obtemos o catenoide).
(ii) Mostre F

e uma famlia a 1-parametro de superfcies

mnimas isometricas, ligando uma parte do catenoide
(catenoide menos um meridiano) a uma parte do
helicoide ( domnio fundamental do helicoide). Dize-
mos que Z

, (0, 2) e uma superfcie associada

ao catenoide (helicoide). O catenoide e conjugado ao
helicoide.
(iii) Conclua que o catenoide e o helicoide sao localmente
isometricos e, por uma isometria local, geodesicas
no catenoide sao levadas em geodesicas no helicoide.
Em particular, conclua que as retas do helicoide cor-
repondem `a geodesicas do catenoide, determinando
tais geodesicas.
(iv) Deduza que as curvas coordenadas do helicoide sao
linhas assimptoticas. Mais precisamente, mostre que
as linhas assimptoticas do helicoide sao retas e helices
circulares.
(v) Encontre as linhas assimptoticas do catenoide. Mais
precisamente, mostre que as linhas assimptoticas do
catenoide sao helices logartmicas (A projec ao no plano
horizontal e uma espiral logartmica).
(60) Seja g
1
a metrica de S
n1
. Seja (dr)
2
a metrica canonica de
I = (0, ). Dene-se a metrica g em S
n1
I, por
g
m,r
= r
2
g
1
+ (dr)
2
, m S
n1
, r I
(a) Sera que g e a metrica produto ?
(b) Deduzir que (S
n1
I, g) e isometrica `a metrica de R
n
\{0}
munida da metrica Euclideana.
29
(c) Mostrar que (S
n1
I, g
1
(dr)
2
) e isometrica ao cilindro
C = {x = (x
0
, x
1
, . . . , x
n
) R
n+1
; x
2
1
+ +x
2
n
= 1; x
0
> 0}
munido da metrica induzida de R
n+1
.
(61) Considere a aplicac ao f : R
n
(0, ) R
n
R, por
f(z, r) := (x, t) = (sin r z, cos r),
z = (z
1
, . . . , z
n
) R
n
, r (0, ).
(a) Deduza que f determina um difeomorsmo
g : S
n1
(0, ) S
n
R
n
R por
g(z, r) = (sin r z, cos r).
(b) Deduza que a metrica induzida emS
n1
(0, ), pela metrica
canonica de S
n
, dada pela restric ao da metrica canonica de
R
n
R, dt
2
+ dx
2
1
+ + dx
2
n
`a S
n
, e dada por
dr
2
+sin
2
rds
2
n1
, onde ds
2
n1
e a metrica canonica de S
n1
,
que e a restric ao da metrica Euclideana dz
2
1
+ + dz
2
n
`a
S
n1
. Deduza que os meridianos sao geodesicas de S
n
.
OBS: Uma consideracao analoga pode-se fazer para as metricas
dt
2
+sin
2
t ds
2
p
+cos
2
t ds
2
q
emS
p
S
q
(0, /2), considerando
a aplicac ao S
p
S
q
(0, /2) R
p+1
R
q+1
,
(x, y, t) (xsin t, ycos t). Tais metricas sao chamadas sao
chamadas de warped products (logo, a metrica canonica
da esfera pode ser vista assim). Aqui ds
2
p
, denota a metrica
canonica da esfera S
p
.
Variedades Riemannianas
(62) Seja (M, g) uma variedade Riemanniana de dimensao n (g =
, e a metrica). Sejam x
1
, . . . , x
n
coordenadas locais e sejam
X
1
, . . . , X
n
o referencial local adaptado. Seja a conexao Rie-
manniana de M. Escreva para i, j 1, . . . , n,
X
i
, X
j
= g
ij
, coecientes da metrica

X
j
X
i
=
n

k=1

ij
k
X
k
As quantidades
ij
k
sao os smbolos de Christoel, ou coe-
cientes de com respeito ao referencial X
1
, . . . , X
n
dado.
Calcule
ij
k
em termos da metrica, ou seja, em termos da
matriz g
ij
e da inversa g
ij
.
Sugestao: Use a formula de Koszul.
(63) O plano hiperbolico: modelo do semi-plano. Considere o plano
hiperbolico
30
H
2
= {z = x +iy, z = y > 0} munido da metrica hiperbolica
ds
2
=
1
(z)
2
(dx
2
+ dy
2
).
Considere as coordenadas canonicas Cartesianas (x, y), y > 0
e o referencial global adaptado
x
:=

x
= (1, 0) e
y
:=

y
=
(0, 1). Seja a conexao Riemanniana de H
2
.
Escreva

x
=
11
1

x
+
11
2

y

y
=
12
1

x
+
12
2

y

y
=
22
1

x
+
22
2

y
As quantidades
ij
k
sao os smbolos de Christoel, ou coe-
cientes de com respeito ao referencial
x
,
y
dado.
(a) Calcule os smbolos de Christoel
ij,
k
obrigatoriamente
fazendo uso das propriedades da conexao, sem fazer uso
da formula de Koszul.
(b) Mostre diretamente que as seguintes transformac oes sao
isometrias de H
2
. Identique as que sao positivas.
(i) Translac oes Euclideanas horizontais.
(ii) Reexao com respeito ao eixo imaginario dos y. Idem
com respeito a uma outra reta vertical.
(iii) Homotetias com centro em

H
2
que preservam H
2
.
(iv) Inversoes ou simetrias ou reexoes com respeito `a
semi-crculos de raio R com centro x
0
em

H
2
,
denidas por z
R
2
z x
0
+ x
0
, R > 0, x
0
R.
(c) Deduza que as transformacoes de Mobius que preservam
H
2
sao isometrias positivas de H
2
(a recproca tambem e
verdadeira). Tais transformac oes sao da forma
T(z) =
az + b
cz + d
, a, b, c, d Re ad bc = 1.
(d) Classique todas as geodesicas de H
2
.
Sugestao : Usando as equac oes das geodesicas, combinado
com o teorema de existencia e unicidade de geodesicas,
mostre que as as semi-retas verticais abertas (em H
2
) para-
metrizadas com velocidade constante, partindo do bordo
assimptotico

H
2
:= {z = 0} {}, e os semi-crculos
abertos (em H
2
) ortogonais `a

H
2
parametrizados com
velocidade constante, sao as unicas geodesicas de H
2
.
31
Talvez ajude saber que as reexoes Euclideanas nas tais
semi-retas verticais e as inversoes relativas aos tais semi-
crculos (denidas acima) sao isometrias de H
2
. Alem disso,
a compostas de duas destas e uma isometria positiva que
leva um semi-crculo (em H
2
) numa semi-reta vertical (em
H
2
).
(e) Deduza que o plano hiperbolico H
2
e uma variedade Rie-
manniana de dimensao 2 completa de curvatura de Gauss
K 1.
(f) Mostre que tomando as geodesicas no plano hiperbolico
como retas, os quatro primeiros axiomas de Euclides sao
vericados, mas nao o quinto axioma das paralelas.
(g) Mostre com todos os detalhes que dadas duas geodesicas
completas c e do plano hiperbolico e, dados p c e q ,
existe uma isometria positiva f de H
2
levando c sobre e
p em q.
(h) Deduza que os horociclos (retas Euclideanas horizontais
ou crculos Euclideanos tangentes ao bordo assimptotico
de H
2
) tem curvatura geodesica igual a 1.
(64) O plano hiperbolico: modelo do Disco de Poincare. Considere
o disco de Poincare D = {w C; |w| < 1, munido da metrica
conforme `a metrica Euclideana ds
2
=
4
(1 |w|
2
)
2
|dw|
2
.
Considere a transformac ao de Mobius de T
C
(z) =
z i
z + i
,
chamada de transformac ao de Cayley.
(a) Deduza que a transformacao de Cayley e um mapeamento
conforme de H
2
sobre D.
(b) Deduza que a transformacao de Cayley T
C
: H
2
D, e
uma isometria positiva.
(c) Explicite todas as geodesicas de D, levando em conta a
transformacao de Cayley e o seguinte fato: As transformac oes
de Mobius sao conformes e levam crculos ou retas Eu-
clideanos em crculos ou retas Euclideanos.
(d) Deduza que o crculo hiperbolico emD de centro hiperbolico
com centro na origem 0 = (0, 0) e de raio hiperbolico e
um crculo Euclideano centrado na origem e de raio R =
tanh /2. Exiba a paremetrizacao deste crculo hiperbolico
em D com velocidade constante.
32
(e) Mostre que o crculo hiperbolico de raio hiperbolico cen-
trado no ponto i de H
2
esta dado por
x = sinh cos
y = sinh sin + cosh , [0, 2]
Logo, e um crculo Euclideano de centro (0, cosh ) e raio
R = sinh . Exiba a parametrizac ao deste crculo hiperbolico
em H
2
com velocidade constante.
(f) Dados p, q D seja dist
D
(q, p) a distancia entre p, q (na
metrica hiperbolica). Seja C

:= {q D; dist
D
(q, p
0
) = },
o crculo de raio e centro p
0
em D.
(i) Deduza que o comprimento de C

cresce exponen-
cialmente com . Mais precisamente, mostre que o
comprimento de um crculo hiperbolico em D de raio
hiperbolico > 0 e 2 sinh . Alem disso, mostre
que a area de um disco hiperbolico em D de raio
hiperbolico e 4 sinh
2
/2.
(g) Mostre que a curvatura geodesica k
g
do crculo hiperbolico
de raio hiperbolico e k
g
= coth .
(h) Mais geralmente, determine todas as curvas de curvatura
geodesica constante do plano hiperbolico.
(65) O espaco hiperbolico: modelo do semi-espaco.
Seja H
3
:= {(x, y, z); z > 0}, o semi-espaco superior munido
da metrica conforme `a metrica Euclideana
ds
2
=
1
z
2

(
dx
2
+ dy
2
+ dz
2
)
,
chamada de metrica hiperbolica
Tal variedade Riemaniana H
3
de dimensao 3 e chamada de
modelo do semi-espaco do espaco hiperbolico. Seja a conexao
de H
3
e sejam
x
:=

x
= (1, 0, 0),
y
:=

y
= (0, 1, 0), e

z
:=

z
= (0, 0, 1), o referencial global adaptado as coorde-
nadas canonicas (x, y, z), z > 0, de H
3
.
(a) Calcule os smbolos de Christoel
ij
k
.
(b) Deduza que as as semi-retas verticais contidas emH
3
parametrizadas
com velocidade constante, partindo do bordo assimptotico
(

H
3
) sao geodesicas de H
3
.
(c) Considere a semi-esfera S = S
r
(a) := {p = (x, y, z)
R
3
; |p a|
R
3 = r, z > 0}, onde a {(x, y, z); z = 0} e
33
r > 0. Considere a reexao, ou simetria, ou inversao com
respeito `a S denida por
I(p) = a +
r
2
|p a|
2
R
3
(p a)
(i) Mostre que I e um difeomorsmo anti-conforme preser-
vando H
3
, levando

H
3
em si mesmo, deixando xos
todos os pontos de S e satisfazendo I I(p) = p, para
todos os pontos p H
3
. Mostre que I provem de uma
unica invers ao em um crculo em

H
3
C {}.
(ii) Mostre que I leva as calotas esfericas, semi-planos
verticais, semi-planos inclinados, planos horizontais,
esferas em H
3
em calotas esfericas, ou semi-planos
verticais, ou semi-planos inclinados, ou planos hori-
zontais ou esferas em H
3
. Deduza que I leva crculos
ou retas em crculos ou retas. Faca um exame minu-
cioso e discuta cada caso separadamente examinando
todas as possibilidades como voce fez, anteriormente,
com as invers oes em crculos.
(iii) Mostre que se p, q H
3
, ent ao
|I(p) I(q)|
R
3 =
r
2
|p q|
R
3
|p a|
R
3|q a|
R
3
.
(d) Mostre com todos os detalhes que a invers ao I e uma isome-
tria negativa de H
3
.
(e) Mostre que as geodesicas de H
3
sao as semi-retas verticais
contidas em H
3
parametrizadas com velocidade constante,
partindo do bordo assimptotico (

H
3
) e os semi-crculos
em H
3
ortogonais `a

H
3
, parametrizados com velocidade
constante.
(f) Mostre que dada duas geodesicas
1
e
2
existe uma isome-
tria positiva de H
3
levando
1
em
2
.
(g) Mostre que a rotac ao em torno de uma geodesica , tambem
chamada de rotac ao hiperbolica, e uma isometria positiva
de H
3
. Descreva-a com detalhes geometricamente. Mostre
que a rotac ao hiperbolica leva pedacos de planos ou esferas
em H
3
em pedacos de planos ou esferas em H
3
.
(h) Mostre que a translacao ao longo de uma geodesica , ou
simplesmente translac ao hiperbolica, ou mais simplesmente
ainda translac ao e uma isometria positiva de H
3
. Mostre
que a translacao hiperbolica leva pedacos de planos ou
34
esferas em H
3
em pedacos de planos ou esferas em H
3
.
Descreva-a com detalhes geometricamente.
(66) O espaco produto. Considere o espaco produto M R munido
da metrica produto, onde Me uma variedade Riemanniana (su-
perfcie) de dimensao 2).
Deniremos em seguida a metrica produto: Sejam (x, y, t)
coordenadas locais em M R, sendo z = x + iy U C
coordenadas conformes (ou isotermicas) locais num aberto W
M e sendo t a coordenada usual da reta R.
Ou seja, nas coordenadas conformes locais (x, y) de M a
metrica de M esta expressa da forma ds
2
=
2
(dx
2
+ dy
2
),
onde : U R e positiva e suave.
A metrica produto nas coordenadas locais (x, y, t) num aberto
W R de M R, esta denida por
ds
2
=
2
(dx
2
+ dy
2
) + dt
2
Seja a conexao Riemanniana de MR.
Mostre que:
(a)

x
=

x

y
=

x
+

y

x
=

y
=

y

x
+

x

t
=

t
=

t
=

x
=

y
= 0
(b) Mostre que as retas verticais (x
1
, . . . , x
n
) = cte, sao
geodesicas verticais.
(c) Mostre que as geodesicas de M sao geodesicas horizon-
tais de M R.
(d) Considere o espaco produto H
2
R, onde H
2
e o plano
hiperbolico.
(i) Calcule conexao de H
2
R.
(ii) Deduza que as isometrias de H
2
{0}, sao isometrias
de H
2
R.
(iii) Deduza que as translacoes Euclideanas verticais sao
isometrias de H
2
R.
(iv) Deduza que o semi-plano yt, y > 0 em H
2
R, e
isometrico ao plano R
2
, logo e plano.
35
(v) Considere o modelo do disco D do plano hiperbolico
(dotado da metrica hiperbolica) e o modelo do pro-
duto (Riemanniano) D R.
Deduza que a faixa yt, 1 < y < 1, e isometrica ao
plano R
2
, logo e plana. Mostre que a rotacao em
torno do eixo z e uma isometria de D R.
(vi) Determine todas as geodedsicas de DR que partem
da origem.
(67) Seja MR o espaco produto, onde M e uma variedade Rieman-
niana. Seja C um domnio e seja X : M R, w
(h(w), f(w)), w = u +iv, u, v R uma imersao de em MR
(imagina h() V ). Diz-se que h(w) e a componente horizon-
tal e que f(w) e a componente vertical. Seja
x
:=

x
,
y
:=

y
,
t
:=

t
, o referencial local do espaco tangente, onde
x
,
y
e um referencial do plano tangente `a M adaptado `a f e
t
e o
campo vertical canonico tangente `a reta t (, t), M.
Relembre a notacao complexa: Se g e uma func ao suave difer-
enciavel (complexa) em entao, dene-se os operadores (com-
plexos) g
w
:=
1
2
(g
u
ig
v
) , e g
w
:=
1
2
(g
u
+ ig
v
) .
(a) Mostre que

X
u
X
u
=
(
h
uu
+
(
(h
u
)
2
(h
u
)
2
)

+ 2h
u
h
u

x
+
(
h
uu
+
(
(h
u
)
2
(h
u
)
2
)

+ 2h
u
h
u

y
+ f
uu

t
=
(
h
uu
+ (h
w
+ h
w
)
2

z

+
(
h
w
+ h
w
)
2
z

x
+
(
h
uu
i (h
w
+ h
w
)
2

z

+ i
(
h
w
+ h
w
)
2
z

y
+ f
uu

X
v
X
v
=
(
h
vv
+
(
(h
v
)
2
(h
v
)
2
)

+ 2h
v
h
v

x
+
(
h
vv
+
(
(h
v
)
2
(h
v
)
2
)

+ 2h
v
h
v

y
+ f
vv

t
=
(
h
vv
(h
w
h
w
)
2

z

(
h
w
h
w
)
2
z

x
+
(
h
vv
+ i (h
w
h
w
)
2

z

i
(
h
w
h
w
)
2
z

y
+ f
vv

t

X
u
X
v
=
X
v
X
u
=
(
h
uv
+ (h
u
h
v
h
u
h
v
)

x

+ (h
u
h
v
+h
u
h
v
)

y

x
+
(
h
uv
+ (h
u
h
v
+h
u
h
v
)

x

+ (h
u
h
v
h
u
h
v
)

y

y
+ f
uv

t
36
=
(
h
uv
+ i
(
h
2
w
h
2
w
)

+ i
(
h
2
w
h
2
w
)

x
+
(
h
uv
+
(
h
2
w
h
2
w
)

(
h
2
w
h
2
w
)

y
+ f
uv

t
Sugestao: Calcule
X
u
X
u
,
X
v
X
v
e
X
v
X
u
, em termos das
derivadas das componentes horizontal h e vertical f. Use a
terminologia complexa para obter as identidades pedidas.
(68) Seja (M, g) uma variedade Riemaniana de dimensao n e seja
f : R (0, ) um func ao suave. Em M R vamos denir a
metrica g
f
(x
1
, . . . , x
n
) := dt
2
+f
2
(t) g(x
1
, . . . , x
n
). Note que tal
metrica nao e a metrica produto (a menos que f 1). O espaco
M R (ou melhor, M
f
R) e chamado de warped product.
(a) Exiba exemplos nao triviais de tais espacos.
(b) Mostre que as retas verticais (x
1
, . . . , x
n
) = cte) sao
geodesicas (verticais).
(c) De condic oes sucientes gerais para que as geodesicas de
M sejam geodesicas horizontais de M R. Seja a
conexao de M e

a conexao de M
f
R. Mostre que
(i)

t
= 0.
(ii)

x
i
=


x
i

t
=
f

x
i
.
(iii)


x
i

x
j
=
f

f
g
ij

t
+
x
i

x
j
.
Geometria extr

nseca das superf

cies de R
3
Vamos focar agora no estudo da geometria extrnseca das
superfcies de R
3
. Vamos explorar certas superfcies especiais,
tais como superfcies mnimas, superfcies de curvatura media
constante. Este estudo tem, por exemplo, um paralelo com a
geometria extrnseca das superfcies de H
3
e de H
2
R. Mais
geralmente, tem um paralelo com a teoria das superfcies im-
ersas num espaco homogeneo tridimensional. De fato, varias
propriedades e formulas continuam validas quando o ambiente
e o espaco hiperbolico ou outro espaco homogeneo tridimen-
sional.
Seja S uma superfcie imersa em R
3
. Suponha que (0) = p
S e que

(0) = v T
p
S.
37
Lembre-se que dizemos que um vetor tangente v a uma su-
perfcie S num ponto p de S e assimptotico, se a curvatura
normal k
N
nesta direc ao se anula. Uma curva assimptotica em
S e uma parametrizada regular tal que cada vetor tangente ao
longo da curva determina uma direc ao assimptotica.
Lembre-se que uma curva parametrizada regular em S na
qual cada vetor tangente determina uma direcao principal, i.
e o vetor diretor e principal (e um autovetor do operador de
Weingarten), e chamada de linha de curvatura.
Lembre-se que dizemos que um ponto p de S e umblico se
todas as curvaturas principais k
1
e k
2
de S sao iguais em p, i.
e k
1
(p) = k
2
(p). Dizemos que S e totalmente umblica se todos
os pontos de M sao umblicos.
Vamos xar notacoes. Seja X : U R
2
R
3
, (u, v)
X(u, v) uma imersao e seja S = X(U) uma superfcie imersa
em R
3
. Seja N um normal unitario ao longo de S.
Sejam, usando varias notacoes, E = g
11
= X
u
, X
u
, F =
g
12
= X
u
, X
v
, G = g
22
= X
v
, X
v
os coecientes da primeira
forma fundamental. Sejam e = l = b
11
= N, X
uu
, f = m =
b
12
= N, X
uv
, g = n = b
22
= N, X
uu
os coecientes da
segunda forma fundamental (N e normal unitario `a imersao
X).
(a) Veremos que deduz-se das equacoes de compatibilidade de
Codazzi-Mainardi seguinte:
Se uma superfcie regular conexa S R
3
e totalmente
umblica ent ao e isoparametrica, ou seja, todas as curvat-
uras principais sao iguais a uma constante. De fato, a
deducao natural das equac oes de compatibilidade seguira
do estudo do tensor de curvatura.
(i) Deduza o teorema de Olinde Rodrigues: Se (t) e
uma linha de curvatura entao

(t)
N = (t)

(t)
onde (t) e a curvatura principal ao longo de (t).
(ii) Faca uma deduc ao nave do resultado comentado antes
que diz que toda superfcie regular conexa S R
3
to-
talmente umblica e isoparametrica, seguindo o seguinte
roteiro: Seja k(p) = k
i
(p), p U, i = 1, 2, onde
k
i
, i = 1, 2 sao as curvaturas principais de S. Seja
a conexao Riemanniana de R
3
. Usando o teorema de
Olinde -Rodrigues, deduza que
X
u
N = N
u
= kX
u
38
e
X
v
N = N
v
= kX
v
. Assuma que U seja conexo.
Diferencie apropriadamente as duas equacoes e mostre
que k e constante em U. Deduza o teorema local-
mente e faca o argumento tpico de conexidade
para globalizar o resultado.
(iii) Classique todas as superfcies completas totalmente
umblicas de R
3
, usando o resultado anterior e fazendo
uso da classicac ao das curvas planas de curvatura
constante do R
2
.
(iv) Estabeleca a equacao das linhas de curvatura num
sistema de coordenadas locais, usando o teorema de
Olinde-Rodrigues: Usando coordenadas locais (u, v)
, escreva a equac ao na forma de uma equac ao obtida
igualando o determinante de certa matriz 3 3 a
zero. As entradas da matriz sao escritas em termo da
primeira e segunda forma fundamentais e em termo
de (u

, v

), tomando a expressao local (u(t), v(t)) para

a curva. Da extraia uma equacao diferencial chamada
de equacao das linhas de curvatura.
(v) Deduza que as curvas coordenadas de uma parametrizac ao
sao linhas de curvatura, se e somente se as matrizes
da primeira e segunda forma fundamental (no refer-
encial adaptado) sao diagonais. Ou seja, nas varias
notacoes F = g
12
= 0 e f = m = b
12
= 0.
Em particular, deduza da que os paralelos e os merid-
ianos de uma superfcie de revolu cao sao linhas de
curvatura.
(b) Seja uma curva parametrizada regular numa superfcie
imersa S e seja k
N
a curvatura normal de .
(i) Estabeleca a equac ao das linhas assimptoticas num
sistema de coordenadas locais (u, v) de S.
(ii) Mostre que se v e um vetor assimptotico, entao ou a
curvatura k de se anula em s = 0 ou

n e ortogonal
`a N(p), onde

n e o unitario na direc ao de

(s).
(iii) Mostre que se nao e parametrizada pelo compri-
mento de arco ent ao a curvatura normal e dada por
k
N
(t) =
II(

(t),

(t))
|

(t)|
2
(c) Vamos agora considerar o referencial de Darboux em vez
do mais conhecido referencial de Frenet: A superfcie S
39
esta orientada pelo normal unitario N, isto e: Dado p S
e dados vetores tangentes linearmente independentes v, w
de T
p
S dizemos que a base {v, w} e uma base positiva de
T
p
S, se {v, w, N(p)} e uma base positiva de R
3
.
Dada uma curva em S parametrizada pelo comprimento
de arco s, Seja (s) o vetor unitario tangente `a S em (s),
obtido girando o vetor tangente

(s) de /2 de maneira
que {g

(s), (s)} seja a uma base positiva de T

(s)
. Con-
sidere
T(s) =

(s), (s), (s) = T(s) (s) = N((s)))

Observe que

(0) =
d(N (s))
ds
em s = 0
(i) Seja k
g
a curvatura geodesica de . Mostre que existe
uma func ao
g
(s), chamada de torc ao geodesica, tal
que
T

(s) = k
g
+ k
N

(s) = k
g
T +
g

(s) = k
N
T
g

Note que como

(0) depende apenas de T(0), a ter-

ceira equac ao acima mostra que K
N
(o que ja sabamos
de antem ao ) e
g
dependem apenas de T; podemos
escrever que k
N
= k
N
(v) e
g
=
g
(v), para v =

(0)
unitario tangente.
(ii) Deduza das equac oes acima que se {v, w}, v =

(0),
e uma base ortornormal, positivamente orientada, de
T
p
S ent ao
k
N
(v) = d
p
N(v) v = II(v, v)

g
(v) = d
p
N(v) w = II(v, w)
(iii) Mostre que se e
1
, e
2
T
p
S sao direcoes principais
com{e
1
, e
2
} uma base ortornormal positivamente ori-
entada, se e o angulo orientado que o vetor unitario
v, `a partir de e
1
, faz com e
1
, entao
k
N
(v) = k
1
cos
2
+ k
2
sin
2
(relac ao de Euler)
onde k
1
, k
2
sao as curvaturas principais de S em p.
40
(iv) Deduza que num ponto p de S com curvatura de
Gauss K(p) < 0, ha precisamente duas direcoes as-
simptoticas. Determine uma condic ao suciente para
que as duas direcoes assimptoticas sejam ortogonais.
(v) Com as notac oes acima, mostre que

g
(v) = (k
2
k
1
) sin cos
Sugestao : Considere a equacao obtida acima no item
anterior

g
(v) = D
p
N(v) w = II(v, w).
(vi) Deduza, usando o que foi feito acima, que e uma
linha de curvatura, se e so se
g
= 0.
Seja a conexao Riemanniana de S. Lembre-se que
dizemos que e uma geodesica se
D

(s)
ds
:=

(s)

(s) 0
Geodesicas sao curvas que minimizam localmente o
comprimento de arco, como ja vimos explicitamente
na esfera S
2
(K = 1) e no plano hiperbolico H
2
(K =
1).
(vii) Relembre e re-estabeleca a equac ao das geodesicas
num sistema de coordenadas locais.
Conclua que e uma geodesica, se e so se k
g
= 0. (
ou ainda, se e so se,

n quando denido e ortogonal
`a S.)
Relembre que os meridianos de uma superfcie de
revoluc ao sao geodesicas. Quais as condicoes para
que um paralelo seja uma geodesica ? De condic oes
analticas e geometricas.
Relembre a classicacao de todas as geodesicas no
cilindro circular reto, tanto de um ponto de vista
analtico quanto de um ponto de vista geometrico.
(viii) Mostre que uma geodesica plana que nao seja uma
reta e uma linha de curvatura. Mostre que uma reta
numa superfcie sempre e uma geodesica. Mostre
com um contra-exemplo que uma reta numa superfcie
pode nao ser uma linha de curvatura.
(ix) Mostre que uma geodesica que e linha de curvatura e
uma curva plana.
41
(x) Mostre que uma reta numa superfcie S e uma linha
assimptotica; conclua que a curvatura de Gauss sat-
isfaz K 0 ao longo de qualquer reta contida em S.
Mostre que K = 0 ao longo da reta, se e so se o nor-
mal N e constante ao longo da reta. De um exemplo
de uma reta numa superfcie ao longo da qual a cur-
vatura de Gauss e estritamente negativa ao longo da
reta. De um exemplo de uma reta numa superfcie ao
longo da qual a curvatura de Gauss e nula ao longo
da reta.
(d) Mostre o seguinte teorema de Beltrami-Enneper: Seja S
uma superfcie de R
3
e seja N um normal unitario ao longo
de S. Seja : (1, 1) S uma curva assimptotica de uma
superfcie S parametrizada pelo comprimento de arco s.
Seja p = (0).
Seja

k o vetor curvatura de emR
3
. Assuma que

k (0) = 0.
Seja n(0) :=

k (0)/|

k (0)|.
(i) Deduza, com rigor, que {

(0), n(0)} e um referencial

ortornormal do plano tangente `a S em p.
(ii) Seja a torc ao de . Seja A : T
p
S T
p
S o operador
de Weingarten. Deduza que a matriz de A na base
{

(0), n(0)} e da forma

(
0 (0)
(0)
)
(iii) Deduza que
|(0)| =

K(p)
onde K e a curvatura de Gauss de S, justicando
com rigor a formula.
(iv) Mostre que se K(p) < 0, e se as duas curvas as-
simptoticas distintas em p tem curvaturas diferente
de zero em p, ent ao suas torcoes em p sao iguais e de
sinais contrarios.
Sugestao 1: Parametrize pelo comprimento de arco s.
Deduza que que

(0) e tangente `a superfcie.

Nota: Numa vizinhanca de um ponto hiperbolico p, i. e,
K(p) < 0, pode-se encontrar coordenadas locais tais que
as curvas coordenadas sao curvas assimptoticas.
42
Da conclua que {

,

n :=

(0)/k(0)} e um referencial
ortornormal ao longo de (

n e o unitario na direc ao de

(s)), deduzindo a formula:

K = II(

)II(

n ,

n ) II(

,

n )
2
Agora, conclua que o binormal b `a curva em R
3
dado
por b = T

n e normal unitario `a superfcie S, obtendo
a formula desejada para K.
Sugestao 2: Ou ainda, parametrize pelo comprimento
de arco. Observe que

n e tangente `a S em p, e assim o
normal N ao longo de satisfaz N((s)) = b(s) = T(s)

n (s) (

n e o unitario na direcao de

(s)) Mostre que

dN(T(s)) = b

(s) = (s)

n
Veja que a matriz do operador de Weingarten dN = N :
T
p
S T
p
S com respeito a base ortornormal {T(0),

n (0)}
deve ter um zero na diagonal principal e (0) na outra
diagonal (dN = N). Conclua que K(p) = (0)
2
. Para
completar a demonstracao ( e re-obter a formula pedida)
use a relac ao de Euler obtida anteriormente e a formula da
torcao geodesica
g
tambem obtida anteriormente.
(e) Demonstre o seguinte teorema de Terquem-Joachimsthal:
(i) Se e uma curva na intersec ao de duas superfcies
S
1
, S
2
que e uma linha de curvatura de S
1
; entao e
uma linha de curvatura de S
2
, se e so se S
1
e S
2
se
interceptam num angulo constante ao longo de .
(ii) Aplique o teorema acima para demonstrar que os
meridianos sao linhas de curvatura de uma superfcie
de revolucao.
(iii) Seja N o normal unitario ao longo da superfcie S
R
3
. Aplique o teorema para mostrar o seguinte:
Se e uma geodesica plana de uma superfcie S, cuja
curvatura k nunca se anula, entao a imagem esferica
pela aplicac ao normal de Gauss N descreve um
arco de crculo na esfera S
2
.
Agora vamos tratar de uma propriedades geometrica das
superfcies de R
3
na forma nao parametrica (gracos).
(f) Seja S uma superfcie regular de R
3
. Explique e justique
que podemos escolher um sistema de coordenadas (x, y)
tal que numa vizinhanca de p em S, a superfcie S e o
43
graco de uma func ao z = f(x, y). Alem disso, podemos
supor p = 0 = f(0, 0) e podemos supor ainda o normal
unitario N em p sendo (0, 0, 1), com (x, y) denido numa
vizinhanca da origem. Tambem, podemos escolher os eixos
x e y sendo direcoes principais em p.
Sejam k
1
(p) e k
2
(p) as curvaturas principais de S em p.
Deduza:
f(x, y) =
k
1
(p)
2
x
2
+
k
2
(p)
2
y
2
+ o(x
2
+ y
2
)
onde
o(x
2
+ y
2
)
x
2
+ y
2
0, quando x
2
+ y
2
0. Conclua:
(i) Se a curvatura de Gauss de S em p satisfaz K(p) > 0
entao existe uma vizinhanca de p em S tal que S
restrita a esta vizinhanca esta de um lado do plano
tangente `a S em p.
(A) Voce poderia dar uma informac ao geometrica
mais acurada sobre a convexidade local de S
numa vizinhanca de p ?
(B) Deduza que para sucientemente pequeno a
curva f(x, y) = e simples fechada e convexa.
(ii) Se a curvatura de Gauss de S em p satisfaz K(p) < 0
entao em uma vizinhanca pequena qualquer de p em
S, tem-se que S restrita a esta vizinhanca esta dos
dois lados do plano tangente `a S em p.
(A) Estude a curva f(x, y) = , para suciente-
mente pequeno.
(iii) De exemplos explcitos das duas situac oes acima.
(iv) De exemplos explcitos de que quando K(p) = 0,
pode ocorrer os dois casos.
(g) Estude o comportamento da curvatura de Gauss K quando
x
2
+ y
2
, onde S esta dada por z =
x
x
2
+ y
2
+ 2
.
(h) (sela de macaco) Calcule os coecientes da segunda forma
fundamental e mostre que a curvatura media e de Gauss se
anulam na origem: z = x
3
3xy
2
. Estude o comportamento
local na origem.
(i) Superfcies de revolucao.
(i) Classique as superfcies mnimas de revoluc ao, mostrando
que todas pertencem `a famlia dos catenoides, usando
as duas abordagens abaixo:
44
(A) A curva geratriz da superfcie e localmente um
graco vertical dado por z = f(y), y I, I
sendo um intervalo aberto da reta.
(B) A curva geratriz da superfcie e localmente um
graco horizontal dado por y = g(z), z J, J
sendo um intervalo aberto da reta.
(ii) (pseudo-esfera) Considere S, a superfcie (pseudo-
esfera) obtida pela revolu cao da parte da tractrix
contida no primeiro quadrante aberto, em torno do
eixo-y. Mostre que a curvatura de Gauss K de S e
identicamente igual a 1.
(iii) Investigue e classique as superfcies de revolu cao de
curvatura de Gauss K +1, fazendo uma analise
geometrica de suas curvas geratrizes.
(iv) Investigue e classique as superfcies de revolu cao de
curvatura de Gauss K 1, fazendo uma analise
geometrica de suas curvas geratrizes.
(j) Considere a (superfcie mnima de Enneper)
X(u, v) =
(
u
u
3
3
+ uv
2
, v
v
3
3
+ vu
2
, u
2
v
2
)
u, v R.
(i) Mostre que os coecientes da primeira forma funda-
mental sao dados por E = G = (1+u
2
+v
2
)
2
, F = 0,
e mostre que Enneper e completa.
(ii) Mostre que a superfcie mnima de Enneper e glob-
almente conforme a C, logo simplesmente conexa.
(iii) Calcule os coecientes da segunda forma fundamen-
tal de Enneper.
(iv) Mostre que a superfcie mnima de Enneper e de fato
mnima, isto e de curvatura media H = 0 .
(v) Deduza que as linhas de curvatura de Enneper sao
curvas planas.
(k) Considere o helicoide globalmente parametrizado por H(u, v) =
(a sinh v sin u, a sinh v cos u, au), < u < , <
v < .
(i) Mostre que o helicoide e periodico na direc ao z e in-
variante por um grupo a 1-parametro de screw mo-
tions.
(ii) Mostre que o helicoide e uma superfcie mnima com-
pleta de curvatura total

H
K dA, innita, onde dA =
45

EGF
2
dudv e o elemento de area do helicoide.
Calcule a curvatura total de um domnio fundamen-
tal do helicoide.
(iii) Mostre que o helicoide e globalment conforme a C.
(iv) Mostre que as linhas coordenadas do helicoide sao
linhas assimptoticas. Mais precisamente, mostre que
as linhas assimptoticas do helicoide sao retas e helices
circulares.
(v) Sera que as linhas coordenadas sao geodesicas ?
(vi) Estude o comportamento do normal unitario N ao
helicoide ao longo das retas.
(vii) Calcule a curvatura de Gauss K do helicoide. Es-
tude o comportamento de K ao longo das retas do
helicoide.
(viii) Mostre que as linhas de curvatura do helicoide sao
helices logartmicas.
(l) Considere a famlia catenoide-helicoide, denotada F

. abaixo
(Voce nao precisa fazer os itens feitos por voce num lista
anterior).
Z

= cos C(u, v) + sin H(u, v) [0, 2)

onde C(u, v) = (a cosh v cos u, a cosh v sin u, av) e
H(u, v) = (a sinh v sin u, a sinh v cos u, au), 0 < u <
2, < v < , sao parametrizac oes (locais) do catenoide
e do helicoide, respectivamente ( Explique isto !).
(i) Mostre que F

e uma famlia a 1-parametro de su-

perfcies helicoidais cujo passo depende de ( Claro
que para = 0 obtemos o catenoide), ligando uma
parte do catenoide `a uma parte do helicoide.
(ii) Mostre F

e uma famlia a 1-parametro de superfcies

mnimas isometricas, ligando uma parte do catenoide
`a uma parte do helicoide. Dizemos que Z

,
(0, 2) e uma superfcie associada ao catenoide (helicoide).
(iii) Conclua que o catenoide e o helicoide sao localmente
isometricos e, por uma isometria local, geodesicas
no catenoide sao levadas em geodesicas no helicoide
(desenhe-as usando o Maple).
(iv) Mostre que as linhas assimptoticas do catenoide sao
helices logartmicas.
(v) Estude a famlia a 1-parametro de catenoides C
a
,
fazendo variar o parametro a > 0. Deduza que a
famlia e gerada pelas homotetias (x, y, z) a(x, y, z),
46
fazendo variar o parametro a. Estude o comporta-
mento da famlia da quando a 0. Estude o compor-
tamento da curvatura quando a 0.
(vi) Deduza o calculo da curvatura total do catenoide

C
a
K d A = 4, onde dA =

EGF
2
du dv e
o elemento de area do catenoide C
a
.
(vii) Mostre por um argumento simples e direto que S
nao tem pontos umblicos, mas que S e assimptot-
icamente umblica, i. e k
1
(p) k
2
(p) 0, quando
|p| , onde k
1
, k
2
sao as curvaturas principais de
S.
(m) Considere S uma superfcie imersa em R
3
e seja N um
campo de vetores normal (unitario) `a S. A superfcie par-
alela `a S esta denida por
S
t
= S + tN
(i) Mostre que nos pontos regulares da superfcie imersa
a curvatura media H
t
e a curvatura de Gauss K
t
de
S
t
sao dadas por
H
t
=
H Kt
1 2Ht + Kt
2
K
t
=
K
1 2Ht + Kt
2
(ii) Assuma que H e uma constante positiva. Assuma
que M e completa com curvatura de Gauss K limi-
tada. Mostre que as curvaturas media H
t
e de Gauss
K
t
satisfazem a seguinte relac ao de Weingarten
2aH
t
+ K
t
= b, a > 0, b 0
para t sucientemente pequeno bem escolhido.
(iii) Mostre ainda que quando H = 0 e K >> , M
t
e
imersa quando t e sucientemente pequeno.
(iv) De um exemplo de um m de uma superfcie mnima
tal que K
t
, quando
p
pS
t
S
t
.
(v) Finalmente mostre que M
t
e uma superfcie especial
de Weingarten , ou seja existe uma func ao de classe
C
1
, f : [0, ) R, tal que as curvaturas media e
de Gauss satisfazem uma relac ao da forma
H
t
= f(H
2
t
K
t
)
para f elptica, i. e f satisfazendo
4t (f

(t))
2
< 1.
47
Conclua tambem que dentro de uma mesma classe de
superfcies especiais de Weingarten existe uma bem
determinada superfcie totalmente umblica.
(vi) Considere uma superfcie imersa S em R
3
orientada
por campo de vetores normal unitario N. Assuma
que a curvatura media H e positiva e assuma que S
satisfaz uma relac ao de Weingarten da forma
2aH + K = b, a > 0, b > 0
Que consideracoes e resultados analogos ao do item
anterior voce pode deduzir ?
(n) Mostre que em parametros isotermicas z = u + iv, tem-se
que: A curvatura media H e a curvatura de Gauss K de
uma superfcie S imersa em R
3
sao dados por
H =
l + n
2E
e K =
ln m
2
E
2
Idem para uma superfcie S imersa em H
3
.
(o) Deduza que equac ao das linhas de curvatura via o metodo
dos multiplicadores de Lagrange, e inra que em coorde-
nadas isotermicas a equacao das linhas de curvatura e dada
por
mdu
2
+ (l n) dudv + mdv
2
= 0
(p) Mostre a seguinte formula
X = 2

H
onde

H o vetor curvatura media de S (Note que voce pode
interpretar X como sendo o vetor posic ao de S).
Conclua a seguinte caracterizac ao das superfcies mnimas:
S e mnima X = 0
Ou seja S e mnima, sse as coordenadas de S em R
3
em
parametros isotermicos sao func oes harmonicas.

Vamos fazer agora uma incursao pelas superfcies de R
3
, tomando
parametros isotermicos, obtendo com esta ajuda alguns con-
ceitos, formulas e resultados fundamentais da geometria das
imersoes . Considere S uma superfcie imersa em R
3
. Considere
z = u + iv coordenadas isotermicas locais em uma vizinhanca
de um ponto p S; isto e, E = G e F = 0, onde E, F, G, sao
os coecientes da primeira forma fundamental, relativos a uma
48
parametrizacao conforme X(z). Vamos denotar tambem E =

2
. Sejam l, m, n, os coecientes da segunda forma fundamental
(Na notacao proposta em sala de aula e = l, f = m, g = n).
Vamos denotar {X
1
, X
2
} o referencial local adaptado `a X em
p. Usaremos tambem a notac ao X
u
para designar X
1
e X
v
para
designar X
2
.
(a) O gradiente, a divergencia e o Laplaciano. Seja f : S R
uma funcao real suave denida em S. Dene-se o gradiente
de f, denotado por f como sendo o campo de vetores
tangentes `a S satisfazendo
f v = df
p
(v)
onde v e tangente `a S em p, isto e v T
p
S.
(b) Mostre que
f =
f
u
E
X
u
+
f
v
E
X
v
onde cometemos o abuso de notacao usual identicando
f(u, v) com f X(u, v).
(c) Dene-se a divergencia de um campo Y de vetores tan-
gentes `a S ( i. e Y (p) T
p
S), denotada por div, como
sendo o traco da aplicacao Z D
Z
Y, onde Z e um campo
de vetores tangentes `a S, e D e a conexao Riemanniana de
S. Ou seja,
div Y = tr (Z D
Z
Y )
(d) Mostre
div Y =
1
E
(

u
(Y X
u
) +

v
(Y X
v
)
)
(e) Dene-se o Laplaciano de uma funcao real suave f denida
em S , denotado por f, como sendo
f = div f
(f) Mostre
f(p) =
1
E
(

2
f(u, v)
u
2
+

2
f(u, v)
v
2
)
onde cometemos o abuso de notacao identicando f(u, v)
com f X(u, v).
(g) Mostre que os conceitos de gradiente, divergencia e Lapla-
ciano pertence `a geometria intrnseca das superfcies, ou
seja dependem apenas da primeira forma fundamental e
49
podem por isto ser denidos numa superfcie Riemanniana
qualquer. Assim o Laplaciano denido acima e tambem
chamado de Laplaciano Riemanniano.
(h) Consideremos S munida de sua estrutura de superfcie de
Riemann (induzida pela metrica de S). Seja f : M R
uma funcao real suave. o Laplaciano conforme relativo `a
coordenada conforme z esta denido como

z
f = f
uu
+ f
vv
(i) Mostre que a denic ao de Laplaciano conforme depende da
coordenada isotermica z, uma funcao mas a noc ao de f ser
harmonica na superfcie de Riemann nao depende. Alem
disso mostre que esta nocao de harmonicidade e a mesma
considerando o Laplaciano Riemanniano denido no item
anterior.
Um importante teorema da Geometria e o teorema da di-
vergencia: Seja S uma superfcie Riemanniana suave e seja
Y um campo suave de vetores tangentes `a S. O teorema
da divergencia (intrnseco) diz o seguinte

S
div Y dA =

S
Y ds
onde dA =

EGF
2
dudv e o elemento de area de S,
S e o bordo de S, ds e o elemento comprimento de arco
de S, e e o vetor co-normal interior ao longo de S ( e
tangente `a S, normal `a S, apontando para dentro de S).
(j) Considere X como sendo o vetor posic ao de uma superfcie
orientada S em R
3
, por um campo de vetores normais
unitarios interior N ao longo de S. Suponha que S seja
uma curva (regular) simples fechada contida no plano-
xy, de modo que = D onde D R
2
e um domnio de
Jordan. Suponha que SD e um ciclo orientavel, de modo
que S D = V, onde V e um solido de R
3
, e o teorema
da divergencia se aplica (Faca uma gura !). Seja
R
3 o
Laplaciano usual de R
3
.
(i) Mostre que
6vol(V ) + 2

S
X N dA = 0
Sugestao : Aplique corretamente o teorema da di-
vergencia (em R
3
)
50
(ii) Mostre que ao longo de S,
|X|
2
= 4 + 4HX N
(iii) Aplique agora o teorema da divergencia em S mostrando
que

S
|X|
2
dA = 2

S
X ds
onde e o co-normal interior ao longo do bordo de
S.
(iv) Levando em conta os resultados obtidos nos itens an-
teriores deduza que
4 area(S) + 4H

S
X N dA = 2

S
X ds
(v) Juntando os resultados obtidos nos itens anteriores
inra
2 area(S) = 6Hvol(M)

S
X ds
(k) (Fluxo numa superfcie mnima). Suponha agora que S
seja uma superfcie mnima emR
3
, orientada por um campo
de vetores normal unitario N ao longo de S. Seja o co-
normal exterior ao longo de S.
Seja W um campo de vetores suaves em R
3
. Considere
a componente tangencial W
T
de W, ou seja a projecao
ortogonal de W no plano tangente `a S. Lembre que
W
T
= W (W N) N
(i) Seja v um campo constante em R
3
. Mostre que v
T
e o gradiente de uma funcao harmonica que e a re-
stricao `a S de uma funcao linear em R
3
. Sugestao :
Voce vai precisar do fato que as coordenadas dos pon-
tos de uma superfcie mnima em R
3
em parametros
isotermicos sao funcoes harmonicas: Veja um ex-
erccio anterior.
(ii) Mostre ainda que segue do teorema da divergencia a
seguinte equacao vetorial

S
ds = 0
51
Conclua que para curvas fechadas , tem-se que

ds,
e um invariante de homologia.
O uxo ao longo de esta denido pela quantidade
uxo([]) :=

ds
(iii) Considere uma superfcie mnima de revolu cao com
eixo z e curva geradora C contida no plano yz, parametrizada
por
(r(t), t), t I R. Considere a porcao da superfcie
entre os planos horizontais z = t
1
, z = t
2
, cujo bordo
consiste de dois crculos horizontais de raios r(t
1
) e
r(t
2
), respectivamente. Seja v = (0, 0, 1) o vetor ver-
tical canonico. Calcule o uxo vertical e obtenha
a seguinte equacao diferencial r(t)
1

1 + r
2
= cte.
Conclua que a superfcie e um catenoide.
Vamos em seguida abordar a famosa representa cao de Weier-
strass das superfcies mnimas.
(l) Seja S uma superfcie mnima simplesmente conexa em R
3
e z = u + iv parametros isotermicos. Vamos obter mero-
morphic data (g, f dz) que determinam a imersao mnima
X : U R
2
S R
3
, onde U e um aberto simplesmente
conexo de R
2
. Seja
= (
1
,
2
,
3
) := 2
X
z
:= X
u
iX
v
(i) Mostre que z = u + iv sao parametros isotermicos,
se e so se
2
1
+
2
2
+
2
3
= 0.
(ii) Mostre que X e harmonica (as coordenadas x
1
(u, v), x
2
(u, v), x
3
(u, v)
de X, sao funcoes harmonicas reais), se e so se e
holomorfa.
(iii) Quando z = u + iv sao parametros isotermicos, de-
duza que X e harmonica, se e so se a imersao X e
mnima e conforme.
(iv) Mostre que X e regular e z = u +iv sao parametros
isotermicos (ou seja E = 0), se e so se

|
j
|
2
= 0
e z = u + iv sao parametros isotermicos.
52
(v) Deduza que o normal unitario N(u, v) =
X
u
X
v
|X
u
X
v
|
=
i

||
2
.
(vi) Deduza

z
N =
l n
2
im =
i
||
2

(vii) Mostre que
X(z) = R
z

z
0
() d
(viii) Mostre que se X nao e plana entao
1
i
2
, e

3
0. Neste caso, existe uma func ao holomorfa
2f :=
1
i
2
em U e uma func ao meromorfa g :=

1
i
2
, de maneira que podemos escrever ( fazendo
um abuso de notac ao ) a representacao de Weier-
strass
X(z) = R
z

z
0
(
(1 g
2
)f dz, i(1 + g
2
)f dz, 2gf dz
)
Mostre que a superfcie sera regular sse f se anula
apenas nos polos de g e a ordem de cada zero nestes
pontos e exatamente o dobro da ordem do polo de g.
(ix) Mostre que a metrica e dada por
ds
2
=
(
|f|(1 +|g|
2
)
)
2
| dz|
2
(x) A nalidade deste exerccio e mostrar que g e exata-
mente a composta da aplicac ao normal de Gauss com
a projecao estereograca do polo norte, que tem que
ser conforme, sse S e mnima (por que ?).
(xi) Mostre que
X
u
X
v
=
(
(
3

2
), (
1

3
), (
2

1
)
)
Conclua
N =
X
u
X
v
|X
u
X
v
|
=
(
2Rg
1 +|g|
2
,
2g
1 +|g|
2
,
1 |g|
2
1 +|g|
2
)
Inra da o desejado.
53
(xii) Mostre que a segunda forma fundamental II e dada
por
II = 2R(f dz dg)
(xiii) Deduza que
:=
l n
2
im = 2fg

e holomorfa e que
(dz)
2
= 2(f dz dg)
e uma forma quadratica holomorfa globalmente denida
na superfcie mnima, chamada de diferencial quadratica
de Hopf.
(xiv) Mostre que a curvatura de Gauss K de uma su-
perfcie mnima pode ser expressa em termos de f, g
K =
(
2|g

|
|f|(1 +|g|
2
)
2
)
2
(xv) Vamos neste item re-obter superfcies mnimas classicas
via a representac ao de Weierstrass:
(A) Mostre que o catenoide pode ser obtido fazendo
U = C \ {0}, g(z) = z, f(z) dz =
dz
z
2
.
(B) Mostre que o helicoide pode ser obtido fazendo
U = C, g(z) = e
z
, f(z) dz = i e
z
dz.
(C) Mostre que Enneper pode ser obtida fazendo
U = C, g(z) = z, f(z) dz = dz. Nota: O catenoide
e a unica superfcie mnima de revolu cao . O
catenoide e a superfcie de Enneper sao as unicas
superfcies mnimas completas de curvatura to-
tal 4. Se uma superfcie mnima S mergul-
hada e completa tem curvatura total nita e
genero zero, ent ao S tem que ser o plano ou o
catenoide (Teorema de Lopez-Ros). Se uma su-
perfcie mnima S mergulhada e completa tem
curvatura total nita e dois ns, entao S tem
que ser o catenoide (Teorema de R. Schoen): A
hipotese de curvatura total nita pode ser relax-
ada e substituda pela hipotese bem mais fraca
de topologia nita (Teorema de P. Collin).
54
(D) Obtenha a representacao de Weierstrass da famlia
catenoide-helic oide de superfcies mnimas as-
sociadas, localmente isometricas, ao catenoide
(helicoide).
(xvi) Vamos ver outros exemplos de superfcies mnimas:
(A) A superfcie de Scherk e dada implicitamente
por
e
z
=
cos y
cos x
Estude o seu graco.
Scherk foi obtida pelo metodo de separac ao das
variaveis. A equacao nao parametrica da su-
perfcie mnima de R
3
e a seguinte:
div
(
u
W(u)
)
= 0
Obtenha Scherk procurando soluc oes da equacao
nao parametrica da superfcie mnima de R
3
da
forma z = u(x, y) := F(x) + G(y).
(B) Considere U = C \ {0}, g(z) = e
1
z
, f(z) dz =
dz
z
2
e
1
z
. Calcule
1
,
2
,
3
. Mostre que a condic ao
de zeros e polos de f, g estao satisfeitas. Para
que a imersao esteja bem denida e necessario
vericar as condicoes de perodo: Basta consid-
erar uma curva de Jordan em torno de 0 e calcu-
lar os resduos de
1
,
2
,
3
na singularidade 0,
e mostrar que parte real do resduo e real. Con-
clua que (g, f dz) dene uma imersao conforme
mnima de C\{0} em R
3
. Mostre que a imersao
e completa e de curvatura total . Sugestao :
Para mostrar o ultimo ponto voce tera que usar
o grande teorema de Picard.
Nota: Lembremos que a curvatura de Gauss K de
uma superfcie mnima S e sempre nao positiva. A
curvatura total denotada por C(S) esta denida por
C(S) :=

S
K dA
Um resultado interessante e o seguinte: Se uma su-
perfcie mnima completa mergulhada de curvatura
55
total nita em R
3
, tem uxo vertical (i. e o uxo,
uxo([]), e um vetor vertical para toda curva fechada
S), entao S e o plano o catenoide. Nota: A cur-
vatura total pode ser interpretada como a imagem
esferica da aplicacao normal de Gauss. De modo
que quando a curvatura total e nita vale a seguinte
formula:
C(S) = 4n
onde n e o grau da aplicac ao normal de Gauss. Quando
a curvatura total e nita segue de um teorema de
Huber que S e conformemente equivalente a uma
superfcie de Riemann compacta S de genero g, re-
movido um conjunto nito de pontos, chamados punc-
ture. Os dados meromorfos (g, f dz) se estendem
meromorcamente `a S (Teorema de Osserman).
O tensor de curvatura, as equac

oes de curvatura
de Gauss e de Codazzi-Mainardi e o Laplaciano
Riemanniano
(69) Mostre que em parametros isotermicas z = u+iv, tem-se que: A
curvatura media H e a curvatura de Gauss K de uma superfcie
S imersa em R
3
sao dados por
H =
l + n
2E
e K =
ln m
2
E
2
Idem para uma superfcie S imersa em H
3
.
(70) Deduza que equac ao das linhas de curvatura via o metodo
dos multiplicadores de Lagrange, e inra que em coordenadas
isotermicas a equacao das linhas de curvatura e dada por
mdu
2
+ (l n) dudv + mdv
2
= 0
(71) Mostre as equac oes de Codazzi-Mainardi:
l
v
m
u
=
E
v
2E
(l + n)
m
v
n
u
=
E
u
2E
(l + n)
56
(72) As equacoes de Codazzi-Mainardi podem ser escritas como
(
l n
2
)
u
+ m
v
= EH
u
(
l n
2
)
v
m
u
= EH
v
Sugestao : Parta dos termos a esquerda das equacoes propostas
substituindo os termos pelas denicoes , em seguide use o fato
de que N e normal unitario, X
u
e X
v
tangentes ortogonais e
de mesmo modulo, aplicando simetria e compatibilidade com a
metrica, para chegar ao resultado desejado.
Deduza
(73) Se =
l n
2
im, as equac oes de Codazzi tomam a forma
complexa

z
= EH
z
A equac ao (ou as equac oes ) de Codazzi-Mainardi sao as mes-
mas no espaco hiperbolico. Verique isto ! onde 2

z
=

u

i

v
, e 2

z
=

u
+i

v
. Inra que S tem curvatura media con-
tante, sse e holomorfa. Mostre que isto implica que os pontos
umblicos de uma superfcie conexa S imersa em R
3
de cur-
vatura media contante sao isolados ou S e totalmente umblica.
Mostre o mesmo para uma superfcie de curvatura media cons-
tante imersa em H
3
.
(74) Mostre ainda que as linhas de curvatura sao dadas pela equac ao

(
(dz)
2
)
= 0
Nota: Um fato que pode ser demonstrado e que quando S
(conexa) tem curvatura media constante, o ndice do campo
de linhas de curvatura num ponto singular (i. e num ponto
umblico, necessariamente isolado, se S nao e totalmente umblica)
e estritamente negativo. Segue disto, e do teorema de Poincare-
Hopf, o seguinte teorema de Hopf demonstrado nos meados do
seculo vinte. Tal resultado deu um novo impulso `a teoria das
superfcies de curvatura media constante: Se uma superfcie
fechada imersa S em R
3
(nao necessariamente mergulhada),
topologicamente equivalente a esfera , tem curvatura media con-
stante ent ao S e uma esfera geometrica. Enuncie e demonstre
o correspondente teorema de Hopf no espaco hiperbolico.
57
(75) Mostre que quando S tem curvatura media constante a difer-
encial holomorfa quadratica
(dz)
2
esta globalmente bem denida em S, i. e nao depende das
escolhas dos parametros isotermicos.
(76) Mostre a seguinte formula
X = 2

H
onde

H o vetor curvatura media de S (Note que voce pode
interpretar X como sendo o vetor posic ao de S).
Conclua a seguinte caracterizacao das superfcies mnimas:
S e mnima X = 0
Ou seja S e mnima, sse as coordenadas de S emR
3
em parametros
isotermicos sao func oes harmonicas.
(77) A ideia agora e enfocar o seguinte: Sejam k
1
,
1
, k
2
,
2
as cur-
vaturas e torcoes de duas linhas de curvatura passando por
um ponto nao umblico p de uma imersao mnima conforme
X : U R
2
S, (U aberto de R
2
, p X(u) ). Ent ao demons-
tre o teorema de Enneper deduzindo a seguinte formula em p
k
2
1

1
= k
2
2

2
Sugestao : Considere os parametros isotermicos z = u + iv,
i. e X = X(z). Admita o seguinte fato: estes parametros
isotermicos podem ser escolhidos ( nas vizinhancas de um ponto
nao umblico) de forma que as linhas coordenadas sejam linhas
de curvatura.
De maneira que a curva coordenada v = cte e linha de cur-
vatura, cuja curvatura e k
1
e cuja torcao e
1
. Analogamente, a
curva coordenada u = cte e linha de curvatura, cuja curvatura
e k
2
e cuja torcao e
2
.
(a) Mostre, usando a equacao das linhas de curvatura,

(v

)
2
u

(u

)
2
E F G
l m n

que isto implica que m = 0 e que as equac oes de Codazzi-

Mainardi (E = G, F = 0)
58
l
v
m
u
=
E
v
2E
(l + n)
m
v
n
u
=
E
u
2E
(l + n)
cam (F = m = 0)
l
v
= E
v
(
l + n
2E
)
n
u
= E
u
(
l + n
2E
)
Donde conclua que l = n = b, b R (constante).
(b) Em seguida use as formulas da curvatura e da torcao numa
parametrizacao qualquer, para concluir que a curvatura k
1
e a torc ao
1
da linha de curvatura v = cte, satisfaz

1
k
2
1
=
X
u
X
uu
X
uuu
|X
u
X
uu
|
2

|X
u
X
uu
|
2
|X
u
|
6
(c) Use a propriedades da conexao do ambiente R
3
para cal-
cular X
uu
como combinac ao linear de X
u
e de X
v
cujos
coecientes dependem da metrica.
Conclua uma expressao para X
u
X
uu
como combinac ao
linear de X
v
e de N, cujos coecientes dependem da primeira
e segunda formas fundamentais. Aqui e bom lembrar que
o triedro {X
u
, X
v
, N} e ortornormal positivo e que |X
u
| =
|X
v
|.
(d) Deduza (usando os calculos anteriores) que
X
u
X
uu
X
uuu
=
l
4
(
2E
uv

E
u
E
v
E
)
Inra

1
k
2
1
=
l
4E
3/2
(
2E
uv

E
u
E
v
E
)
Da conclua o resultado desejado.
(78) Deduza do teorema de Enneper acima a seguinte proposic ao :
Se uma famlia de linhas de curvatura de uma superfcie mnima
S e constituda por curvas planas, assim tambem o e a famlia
de linhas de curvatura ortogonal, numa vizinhanca de um ponto
p nao plano (K(p) = 0, K sendo a curvatura de Gauss de S).
Deduza que a imagem esferica g de uma tal curva plana
, onde g : S S
2
e a aplicac ao normal de Gauss, e um
59
crculo, concluindo que as duas famlias de linhas de curvaturas
sao enviadas por g em duas famlias de crculos ortogonais na
esfera S
2
.
Nota: As superfcies mnimas (nao planas) cujas linhas de
curvatura sao curvas planas foram classicadas : Estas sao
o catenoide, a superfcie mnima de Enneper e as superfcies
mnimas de Bonnet.
(79) Equacoes de curvatura de Gauss e Codazzi-Mainardi em coor-
denadas locais em espacos de formas (space form).
Seja

M um espaco de curvatura seccional constante c de di-
mensao n +1 ( Se

M e simplesmente conexo e completo, ent ao

M = R
n+1
, se c = 0, S
n+1
, se c = 1 e H
n+1
, se c = 1). Seja M
uma hipersuperfcie imersa em

M.
(80) Mostre que para

M = R
n+1
as equac oes de curvatura de Gauss
e Codazzi-Mainardi sao dadas em um sistema de coordenadas
u
1
, . . . , u
n
de M com referencial local adaptado X
1
=

u
1
, . . . , X
n
=

u
n
sao dadas respectivamente por
R
m
ijk
=

s
g
ms
(l
ik
l
js
l
jk
l
is
) (eq. de curvatura de Gauss)
onde R(X
i
, X
j
)X
k
=

m
R
m
ijk
X
m
R
m
ijk
=

l
ik

m
jl

l
jk

m
il
+

m
ik
u
j

m
jk
u
i
onde l
ij
sao os coecientes da segunda forma fundamental de
M. As quantidades
k
ij
sao os smbolos de Christoel de M.
l
ik
u
j

l
ij
u
k
=

s
(
l
ks

s
ij
l
sj

s
ik
)
(eqs. de Codazzi)
Quando n = 2 mostre que as equac oes de Codazzi sao:
l
12
x
1

l
11
x
2
+

s
(
s
12
l
s1

s
11
l
s2
) = 0
l
22
x
1

l
21
x
2
+

s
(
s
22
l
s1

s
21
l
s2
) = 0 (3)
60
(81) Seja M uma variedade Riemanniana de dimensao n. Seja a
conexao Riemanniana de M. Seja p um ponto de M e sejam
{e
1
(p), . . . , e
n
(p)} um referencial ortornormal do plano tangente
`a M em p.
Pesquise na literatura sobre Geometria Riemanniana a exis-
tencia de um referencial ortornormal numa vizinhanca de p,
chamado de referencial geodesico em p, que tambem sera deno-
tado por {e
1
, . . . , e
n
} tal que no ponto p temos que
e
i
e
j
(p) = 0
e [e
i
, e
j
](p) = 0.
A deduc ao faz uso do conceito de transporte paralelo ao longo
das geodesicas partindo de p no sentido de e
i
(p).
(82) Seja A o operador e Weingarten que representa a segunda forma
fundamental de M. Seja e
1
, . . . , e
n
um referencial geodesico em
p M, denido numa vizinhanca de p. Seja (a
ij
) a matriz de
A neste referencial geodesico. Seja

a conexao de

M. Mostre
que em p vale as equac oes de Codazzi-Mainardi

e
k
a
ii
(p) =

e
i
a
ik
(p) i, k {1, . . . , n}
(83) Toda superfcie M de classe C
1
possui coordenadas isotermicas
z = u + iv em torno de qualquer ponto p M. Ou seja numa
vizinhanca de p a metrica e dada por ds
2
= E (du
2
+ dv
2
).
Suponha que M seja uma superfcie suave imersa num espaco
de formas tridimensional

M, i.e M

M, munida de coorde-
nadas isotermicas z = u +iv. Mostre que se l, m, n denotam os
coecientes da segunda forma fundamental neste sistema de co-
ordenadas, e H, K
ext
denotam as curvaturas media e de Gauss
extrnseca de M :
(a) K
ext
=
l n m
2
E
2
e H =
l + n
2E
.
(b) As linhas de curvatura sao dadas por
m du
2
+ (l n) dudv + m dv
2
= 0
(c) As equac oes de Codazzi sao dadas por
(
l n
2
)
u
+ m
v
= E H
u
(
l n
2
)
v
m
v
= E H
v
.
(d) Conclua que H = const, (z) :=
l n
2
ime holomorfa.
Conclua tambem que os pontos umblicos de uma superfcie
de curvatura media constante em

M sao isolados ou a su-
perfcie e totalmente umblica.
61
(e) Mostre que a equacao de curvatura de Gauss pode ser es-
crita:
log

E
E
:= K =
l n m
2
E
2
+ c K =curv.de Gauss.
NOTA: O teorema fundamental das hipersuperfcies de R
n+1
,
diz o seguinte: Seja dado um aberto U R
n
e sejam dadas
matrizes nn suaves em U e simetricas, (g
ij
) e (b
ij
) sendo (g
ij
)
positiva denida, g
ij
= g
ij
(u
1
, . . . , u
n
), b
ij
= b
ij
(u
1
, . . . , u
n
), i, j =
1, . . . , n; satisfazendo as equac oes de compatibilidade: equac ao
de curvatura de Gauss e equacoes de Codazzi Mainardi dadas
no exerccio (10).
Segue que para condic oes iniciais u(0) = (u
1
(0), . . . , u
n
(0))
U, p
0
R
n+1
, X
1
(0), . . . X
n
(0) T
p
0
R
n+1
, com < X
i
(0), X
j
(0) >=
g
ij
(u(0)), e dado um normal unitario inicial N(0) em p
0
(ortogo-
nal aos X
j
(0)), existe um aberto conexo (bola aberta) V U
com u(0) V e existe uma imersao suave X : V R
n+1
, cuja
aplicacao nornal de Gauss e N com as seguintes propriedades:
(a) X(u(0)) = p
0
(b)
X
u
i
(u(0)) = X
i
(0), i = 1, . . . , n
(c) N(u(0) = N(0)
(d) g
ij
e b
ij
sao a primeira e segunda formas fundamentais de
X com respeito `a N.
A deduc ao deste teorema faz uso do teorema de Frobenius sobre
a integrabilidade de um sistema de equac oes diferenciais parciais
lineares, obtido a partir das equac oes de Gauss e de Weingarten.
(84) Seja M uma variedade Riemanniana M munido da metrica
< , > e conexao . O campo gradiente f de uma funcao
suave f : M R e o campo tangente `a M denido por
< f(p), v >= vf(p) = df(p)v, para todo p M e todo
v T
p
M.
O Laplaciano e o operador denido por f = div f,
para toda func ao suave f : M R, onde div X e a divergencia
Riemanniana do campo X denida por
div X = traco(Y
Y
X), para todo Y campo tangente `a M.
Considere coordenadas locais x
1
, . . . , x
n
numa vizinhanca de
p M e considere o referencial local adaptado X
1
, . . . , X
n
. Seja
(g
ij
) a matriz cujas entradas sao os coecientes da metrica no
referencial local dado e seja (g
ij
) = (g
ij
)
1
, a matriz inversa.
62
(a) Deduza que o gradiente f em coordenadas locais e dado
por
f =

ij
g
ij
f
x
i
X
j
(b) Deduza que a divergencia gradiente div X de um campo
X =

m
y
m
X
m
em coordenadas locais e dada por
div X =
1

det(g
ij
)
[

ij
y
i
x
i

det(g
ij
) + y
j

det(g
ij
)
x
i
]
Sugestao:
(i) Use a denic ao dos smbolos de Christoel para con-
cluir

l,i,m,j

l
im
g
lj
=

i,m,j
1
2
[
g
mj
x
i
+
g
ji
x
m

g
im
x
j
]
(ii) (g
ij
) = (g
ij
)
1
= transporta da matriz dos cofatores
de (g
ij
) dividida pelo determinante=
(1)
i+j
G
ij
det(g
ij
)
.
(c) Deduza a expressao local do Laplaciano f
f =
1

det(g
ij
)

i,j

x
i
(
f
x
j
g
ij

det(g
ij
)
)
(d) Mostre
div X =

i,j,m,k
g
ij
[(
(y
m
g
jm
)
x
i
)

k
ij
g
mk
y
m
]
Sugestao: Use simplesmente a compatibilidade com a metrica.
(e) Deduza que
f =

i,j
g
ij
(

2
f
x
i
x
j

k
ij
u
x
k
)
(f) Conclua que o Laplaciano e um operador linear ellptico de
segunda ordem e, logo, satisfaz o princpio do maximo de
Hopf.
Faca uma pesquisa e enuncie o princpio do maximo.
(g) Calcule o gradiente, a divergencia e o Laplaciano num ref-
erencial geodesico {e
1
, . . . , e
n
} em p.
63
(85) Seja M = {X R
n+1
; |X| < 1} a bola unitaria munida da
metrica (hiperbolica) ds
2
=
4|dX|
2
(1 |X|
2
)
2
, mostre que
= (1 r
2
)
2
(
n+1

i=1
a

2
x
2
i
+
b
1 r
2
r
r
)
,
para constantes a, b; onde r = |X|. Calcule a e b.
(86) Sejam f, g func oes suaves e Y um campo suave em M.
(a) Mostre que
div fY = f div Y +f, Y , onde e o gradiente sobre M
e div e a divergencia sobre M.
(b) Mostre que (fg) = fg + gf + 2f, g, onde e
o Laplaciano sobre M.
(c) Mostre que

M
(fg +f, g)dM = 0
(d) Mostre o seguinte teorema devido a E. Hopf: Seja M uma
variedade Riemanniana orient avel compacta ( sem bordo)
e conexa. Seja f uma funcao suave em M com f 0.
Mostre que f = const.
Sugestao: Aplique o teorema da divergencia duas vezes,
primeiramente a f, em seguida a f
2
.
(87) NOTA:
Se

M = R
n+1
e X : M R
n+1
ent ao se N e o normal
unitario ao longo de M, considerando X o vetror posic ao, valem
as seguintes formulas:
X = n

H ,
(4)
onde

H = H(N)N e o vetor curvatura media (5)
N = |A|
2
N (6)
onde |A|
2
= k
2
1
+ + k
2
n
(7)
|A|
2
e o quadrado da segunda forma fundamental (8)
k
i
e curvatura principal de M, i = 1, . . . , n (9)
As equacoes (2), (4) acima, sao aplicadas para mostrar as
estimativas a priori da altura para func oes u : R
n

R denidas num domnio limitado , cujos gracos em R

n+1
tem curvatura media constante nao nula H =
1
R
, R > 0. A
64
estimativa e que |u(p)| R, p . Tal estimativa e otima e
e atingida pela semi-esfera de raio R. Na verdade, na deduc ao
das estimativas e usado a desigualdade |A|
2
nH
2
, sendo que
a igualdade e valida na desigualdade em um ponto p, se e so se,
este ponto p e umblico. A tecnica e combinar as duas equac oes
levando em conta a elipticidade do operador Laplaciano e o
princpio do maximo.
Deduza que quando M R
n+1
uma variedade Riemanniana
orientavel compacta ( sem bordo) temos a formula de Minkowski

M
(1 + H(X, N)dM = 0
onde N e um campo de vetores normal unitario a M e H e a
curvatura media calculada com respeito a N.
(88) Seja f uma funcao suave em uma variedade Riemanniana M de
dimensao n + 1 e seja M uma subvariedade de M de dimensao
k. Sejam e a conexao e o Laplaciano sobre M, respecti-
vamente. Seja o laplaciano sobre M. Finalmente, seja

H o
vetor curvatura media de M denido pela equac ao
k

i=1

e
i
e
i
= k

H +
k

i=1

e
i
e
i
,
onde e
1
, . . . , e
k
e um campo de vetores ortornormais tangentes
`a M numa vizinhanca de um ponto p de M e e
1
, . . . , e
n+1
e uma
extensao ortornormal suave destes campos `a uma vizinhanca de
p em M.
(a) Mostre que f =

k
i=1
(e
i
e
i
f
e
i
e
i
f)
(b) Mostre que < f,
e
i
e
i
>=
e
i
e
i
f. Interprete o termo da
direita da igualdade.
(c) Mostre que f = f + k

Hf

n+1
j=k+1
( e
j
e
j
f
e
j
e
j
f)
(d) Suponha que M e imagem inversa de um valor regular de f
e que as trajetorias do gradiente que partem de p M sao
geodesicas. Ou seja, f e uma func ao distancia e f =

r
.
Interprete e expresse a formula do item anterior neste caso .
Deduza tambem que nH = div
M
(
f
f
)
, onde H e a
curvatura media com respeito ao normal N =
f
f
.
(89) Seja (M, g) uma variedade Riemaniana de dimensao n e seja
f : R (0, ) um funcao suave. Em M R vamos denir
a metrica g
f
(x
1
, . . . , x
n
) := dt
2
+ f
2
(t) g(x
1
, . . . , x
n
). Note que
65
tal metrica nao e a metrica produto (a menos que f 1). O
espaco M R (ou M
f
R) e chamado de warped product.
Vamos considerar o tensor canonico R
1
(X, Y )Z = Y, ZX
X, ZY. Seja

R o tensor de curvatura de M R e R o tensor
de curvatura de M. Mostre que
(a)

R(

t
,

x
i
)

t
=
f

x
i
.
(b)

R(

x
i
,

x
j
)

t
= 0.
(c)

R(

x
i
,

t
)

x
j
=
f

f
g
ij

t
.
(d)

R(

x
i
,

x
j
)

x
k
= R(

x
i
,

x
j
)

x
k

f
2
f
R
1
(

x
i
,

x
j
)

x
k
.
(90) Seja p M, um ponto nao umblico de uma superfcie M em
H
3
.
(a) Mostre que existe um referencial ortornormal {X
1
, X
2
} numa
vizinhanca de p principal, i.e, AX
i
= k
i
X
i
, i = 1, 2, onde
A e o operador de Weingarten que representa a segunda
forma fundamental de M.
(b) Seja a conexao de M. Mostre que as quantidades
X
2
X
1
,

X
1
X
2
,
X
1
X
1
,
X
2
X
2
estao determinadas por func oes
a, b que dependem apenas de k
1
, k
2
e das suas derivadas
com respeito a X
1
, X
2
. Precisamente, mostre que numa
vizinhanca u de p:

X
2
X
1
= b X
2
,
X
2
X
2
= b X
1
,
X
1
X
2
= a X
1
,

X
1
X
1
= a X
2
, [X
1
, X
2
] = a X
1
b X
2
.
onde a =
X
2
(k
1
)
k
2
k
1
e b =
X
1
(k
2
)
k
2
k
1
. Alem disto, mostre que
a curvatura de Gauss extrnsica K
ext
(produto dos auto-
valores do operador de Weingarten) satisfaz
K
ext
:= k
1
k
2
=
(X
2
1
(k
2
) X
2
2
(k
1
))(k
2
k
1
)
(k
2
k
1
)
2
+
X
1
(k
2
)(2X
1
(k
2
) X
1
(k
1
))
(k
2
k
1
)
2
+
X
2
(k
1
)(X
2
(k
2
) 2X
2
(k
1
))
(k
2
k
1
)
2
+ 1
em U.
Sugestao: As primeiras equacoes seguem da compatibili-
dade, da simetria e das equacoes de Codazzi. Enquanto
66
que a segunda equac ao segue da equac ao de curvatura de
Gauss.
(c) Mostre que existe um sistema de coordenadas principais
numa vizinhanca de p. Sugestao: Basta mostrar que exis-
tem campos Y
1
= f X
1
e Y
2
= g X
2
; tais que [Y
1
, Y
2
] = 0.
(91) Seja S
n
a
S
m
b
, o espaco produto da esfera de dimensao n e
curvatura sectional a > 0 pela esfera de dimensao m e curvatura
sectional b > 0.
(a) Mostre que tal espaco e isometrico `a S
n
S
m
com a metrica
1
a
ds
2
n
+
1
b
ds
2
m
.
(b) Mostre que todas as curvaturas seccionais cam no inter-
valo [0, max{a, b}].
(c) Mostre que S
n
a
S
m
b
, tem curvatura escalar constante (pesquise
a denic ao) e que e uma variedade de Einstein, se e so se
(n 1)a = (m 1)b, mas, nunca tem curvatura seccional
constante
Sugestao: Escolha um referencial ortornormal (local) {e
1
, . . . , e
n
}
de S
n
com a metrica canonica ds
2
n
, e um referencial ortornor-
mal (local) {e
n+1
, . . . , e
n+m
} de S
m
com a metrica canonica ds
2
m
,
trabalhando com o referencial (local)
{

a e
1
, . . . ,

a e
n
,

b e
n+1
, . . . ,

b e
n+m
}, em S
n
a
S
m
b
. Em seguida,
use a formula de Koszul que exprime a conexao Riemanniana
em termos da metrica, levando em conta o calculo de

a e
i

b e
j
,

e
k
, considerando todos os casos para i, j, k,
e chegando a uma formula geral. Escreva {F
1
, . . . , F
n+m
} =
{

a e
1
, . . . ,

a e
n
,

b e
n+1
, . . . ,

b e
n+m
}, em S
n
a
S
m
b
, e de-
duza que R(F
i
, F
j
)F
k
= 0, a menos que 1 i, j, k n, ou
n + 1 i, j, k n + m. Assim conclua que R(F
i
, F
j
)F
k
= 0, a
menos que i = k ou j = k. A partir disto obtenha as curvaturas
seccionais, desenvolvendo todos os detalhes.
(92) Considere a variedade Riemanniana S
n1
I, onde I e um in-
tervalo aberto da real R com a metrica dr
2
+
2
(r) ds
n1
. Note
que f(x) = f(y, r) = r, e uma funcao distancia. Na esfera
(S
n1
, ds
2
n1
), escolha um referencial ortornormal {e
1
, . . . , e
n1
}
e um referencial ortornomal {F
1
, . . . , F
n
} = {
1

e
1
, . . . ,
1

e
n1
, N =

r
= f} de (S
n
1
I, dr
2
+
2
(r) ds
n1
) .
67
(a) Deduza que R(F
i
, F
n
, F
i
, F
n
) =

, se i < n, e que
R(F
i
, F
j
, F
i
, F
j
) =
1
2

2
, se i, j < n. Conclua que as
curvaturas seccionais se situam entre

, e
1
2

2
.
(b) (Pesquise as denic oes de tensor de Ricci e de curvatura
escalar). Deduza que
(n 1) Ricci(F
i
) =
(
(n 2)
1
2

)
F
i
, se i < n, e
que Ricci(F
n
) =

F
n
.
(c) Conclua que a curvatura escalar S satisfaz
nS = 2

+ (n 2)
1
2

2
.
(d) Para n = 2 voce obtem algum resultado conhecido ?
(e) Faca (r) = r, sin r, e sinh r, e re-obtenha um resultado
conhecido, explicando.
(f) Obtenha todas as metricas que sao Ricci at, ou seja com
tensor de Ricci nulo, separando os casos n = 2 e n > 2.
(g) Faca uma mudanca de vari aveis

= G(), (reduzindo a
ordem da equac ao), e usando separac ao de vari aveis mostre
que a equac ao da curvatura escalar at (S = 0) ca

2
= 1 + C
2n
, onde C e uma constante.
(93) Considere o modelo do semi-espaco superior do espaco hiperbolico
space H
n+1
, {(x
0,
. . . , x
n
) R
n+1
, x
n
> 0}, munido da metrica
ds
2
=
1
x
2
n
n

i=0
dx
2
i
. Seja D
X
Y , a derivada covariante associada `a
metrica Euclideana, e seja
X
Y a conexao associada `a metrica
hyperbolica. Deduza que:
Z,
Y
X = (1/x
2
n
)ZD
Y
X+(1/x
3
n
)(X[x
n
]Y ZY [x
n
]ZX+Z[x
n
]XY )
(a) Calcule os smbolos de Christoel de H
n+1
. Particularize
para n = 1, 2, fazendo os calculos nestes casos diretamente,
usando simetria e compatibilidade.
(b) Deduza que, em H
2
, as curvas equidistantes tem curvatura
(geometrica) entre 0 e 1, os horociclos tem curvatura (geometrica
) 1 e que os crculos hiperbolicos tem curvatura (geometrica)
> 1, exibindo formulas explcitas em cada caso.
68
(c) Calcule a curvatura media das superfcies equidistantes,
das horosferas e das esferas em H
3
.
(d) Dena o conceito de cilindro em H
3
, classicando todos os
exemplos. Calcule a curvatura media do cilindro.
(e) Seja : (, ) M, uma curva paramerizada por com-
primento de arco (hiperbolico). Seja
N
a curvatura nor-
mal de com respeito `a N. Reparametrizando pelo
parametro comprimento de arco euclideano (visto M como
hipersuperfcie de R
n+1
), obtemos uma curva . Considere
a curvatura normal k
N
de com respeito ao campo de
vetores N unitarios (na metrica euclideana) normal `a M.
Mostre a seguinte relacao:

N
= k
N
x
n
+ N
n
onde N
n
representa a ultima componente de N.
Conclua que se H e a curvatura media hiperbolica e h e a
curvatura media Euclideana tem-se que H = hx
n
+ N
n
.
(f) Deduza `a partir da formula anterior a equacao da cur-
vatura media pre -determinada H de um graco horizontal
dado por uma func ao x
0
= u(x
1
, . . . , x
n
) denida sobre um
domnio D P := {x
0
= 0}. A equacao e a seguinte:
div
(
u
W(u)
)
=
n
x
n
(
H +
u
n
W(u)
)
onde W(u) =

1 +|(u)|
2
, sendo que e div, repre-
sentam o gradiente e a divergencia Euclideanos respectiva-
mente. Investigue e classique a equac ao,, segundo a teoria
das E.D.Ps de segunda ordem.
(g) Idem para a equac ao da curvatura media pre-determinada
H de um graco vertical dado por uma funcao x
n
=
u(x
0
, . . . , x
n1
) denida sobre um domnio

H
n+1
.
Agora, a equac ao e a seguinte.
div
(
u
W(u)
)
=
n
u
(
H
1
W(u)
)
Investigue e classique a equac ao, segundo a teoria das
E.D.Ps de segunda ordem.
(h) Calcula a curvatura media H da superfcie de Poleni em
H
3
, dada na Lista A, deduzindo que e igual a 1.
(94) Obtenha uma formula analoga (ao do exerccio anterior) que
relacione as conexoes Riemannianas e

, associadas a duas
69
metricas conformes g e g, sendo g = e
u
g, denidas numa varie-
vdade M, onde u : M R e uma funcao suave.
(95) Classique todas as superfcies totalmente umblicas de H
3
.
(96) Considere o modelo do semi-espaco do espco hiperbolico H
3
=
{(u, v, w), w > 0}. No plano vw considere novas coordenadas
x, y denidas da seguinte maneira: Seja c o semi-crculo cen-
trado na origem e de raio 1 (que e uma geodesica do plano vw
munido com a metrica hiperbolica). Seja p = (v, w). Considere

1
a unica geodesica do plano hiperbolico vw que passa por p e e
ortogonal a c, interceptando c em p
1
. Seja
2
a unica geodesica
que passa por p e e ortogonal ao eixo w, cortando-o em p
2
(que tambem e uma geodesica). Entao x = dist(p
1
, (0, 0, 1))
(orientada) e y = dist(p
2
, (0, 0, 1))(orientada), de modo que
x 0 v 0 e y 0 w 1. Agora considere
novas coordenadas x, y, z de H
3
, onde se p = (u, v, w) ent ao
z := dist( p, plano vw) e z 0 u 0. Mostre que
u = exp y tanh z

1 tanh
2
x cosh
2
y
v = exp y tanh xcosh y
w = exp y sech z

1 tanh
2
x cosh
2
y
(97) Considere o espaco hiperbolico H
3
= {(X = x
1
, x
2
, x
3
); x
3
>
0} Considere o setor proprio aberto S

contido em

H
3
cujo
vertice e o ponto (1, 0, 0) e cuja reta mediana e o raio [1, +]
contido no eixo real x
1
, i.e S

= {p R
2

2
< arg(p + 1) <

2
}. Considere a seguinte curva de classe C
2
no plano :=
{x
1
= 0}, dada por (t) := (0, r cos t, a + r sin t), t (0, ),
onde a, r > 0. Suponhamos que r e escolhido sucientemente
grande de modo que os pontos (0, r, 0) /

S

. A imagem de e
o semi-crculo de raio r. Seja C H
3
o cone euclideano sobre
com respeito ao ponto q = (1, 0, 0). Isto e C =
>0
h
q,
(),
onde h
q,
(X) = (X + (1, 0, 0)) + (1, 0, 0), para todo > 0
e todo X H
3

H
3
. Mostre que C e uma superfcie de
classe C
2
, e que e o graco de uma funcao denida num setor
contendo S

no seu interior. Mostre que a curvatura media

euclideana H de C, calculada com respeito `a orientacao normal
no sentido crescente dos z = x
3
, e dada na parametrizacao
70
natural de C por
H(t, ) =
1 + r
2
+ 2ar sin t + a
2
2r
(
1 + (r + a sin t)
2
)
3/2
alem disso, mostre que a curvatura media hiperbolica H de C
calculada tambem com respeito `a orientacao normal no sentido
crescente dos z = x
3
, satisfaz H < 0 se e somente se
2r sin t
(
1 + (r + a sin t)
2
)
< (a + r sin t)(1 + r
2
+ 2ar sin t + a
2
)
(98) Considere a faixa B = {(x, y) R
2

1 < y < 1}. Con-

sidere o semi-plano vertical = {x = 0} em H
3
. seja (t) =
(0, y(t), z(t)), t (0, 1) uma curva regular parametrizada cujo
traco esta em . Suponhamos que lim
t0
y(t) = 1 e lim
t1
y(t) =
1. Seja M a superfcie obtida fazendo sofrer sucessivas translacoes
horizontais. Isto e M =
xR
T
x
(), onde T
x
(X) := X +
(x, 0, 0), X

H
3
.
(a) Exiba a parametrizacao natural de M e mostre que a cur-
vatura media euclideana H de M com respeito ao normal
unitario N =
1

2
+ z

2
(0, z

(t), y

(t)) e dada por

H(t, x) = H(t) =
z

2
(
y

2
+ z

2
)
3/2
(t)
(b) Mostre que a curvatura media hiperbolica H de M e iden-
ticamente nula se e somente se
z

= 2
y

(
y

2
+ z

2
)
z
Alem disto se e um graco com respeito a y, mostre que
(c)
H 0 z

= 2
(
1 + z

2
)
z
(99) Consideremos o modelo da bola tridimensional do espaco hiperbolico
dado por B = {(u, v, w)
3
| u
2
+ v
2
+ w
2
< 1}. Considere
uma superfcie de revolu cao gerada por uma curva c contida no
disco aberto D = {(u, v, w)} B

w = 0}. Seja p D, seja

a unica geodesica passando por p e ortogonal `a geodesica hori-
zontal {v = 0}. Seja q a interseccao entre estas duas geodesicas.
Entao x e igual a distancia hiperbolica entre q e 0, e y e o com-
primento orientado de entre p e q. Isto signica que x 0
71
(resp. y 0) u 0 (resp.v 0), onde (u, v) sao as coorde-
nadas euclideanas de p. Mostre que
(a) A metrica de D neste sistema de coordenadas (x, y) e dada
por ds
2
= cosh
2
(y)dx
2
+ dy
2
.
(b) Sejam e
x
e e
y
os campos de vetores unitarios na direc ao de x
e y, respectivamente. Seja t(s) o campo unitario tangente
`a c no sentido do movimento (s parametro comprimento
de arco). Seja n(s) o normal unitario apontando para o
sentido dos y crescentes. Seja o angulo orientado de t(s)
`a e
y
. Faca uma gura !!. Mostre as seguintes relac oes
e
x
=
1
cosh y


x
sin = cosh y
dx
ds
, cos =
dy
dx
n(s) = cos e
x
+ sin e
y
d
dn
=
cos
cosh y

x
+ sin

y
c =
sin
cosh y

x
+ cos

y
(c) Suponha que f(s, t), a s b, 0 t < seja uma dada
variac ao propria de c(s), i.e, f(s, 0) = c(s) e f(a, t) =
c(a), f(b, t) = c(b). Seja g := cosh y.
(d) Mostre que o campo variacional e dado por V (s) = g(x
/
t)
0
e
x
+ (y
/
t)
0
e
y
(g = cosh y).
(e) Mostre que a formula da primeira varia cao ca
d
dt
L
c
(t)

t=0
=

b
a
{(
2gg

dy
ds

dx
ds
+ g
2
d
2
x
ds
2
)

(
x
t
)
0
+
(
d
2
y
ds
2
gg

(
dx
ds
)
2
)

(
y
t
)
0
}
ds
(f) Conclua `a partir da formula da primeira variacao que esta
determina a curvatura geodesica de c, e inra dos itens
anteriores que a curvatura (geodesica) de c, com respeito
ao normal n e dada por
k(s) =
d
ds
tanh y sin .
Mostre que isto da uma curvatura principal k
1
= k da
superfcie de revolu cao gerada por c.
72
(g) Mostre que a outra curvatura principal k
2
e dada por k
2
=
sin coth y.
(h) Considere um sistema de coordenadas de B dado por x, y, ,
onde e o angulo de rotacao em torno do eixo x. Mostre
que a metrica de B neste sistema de coordenadas se es-
creve como ds
2
= sinh
2
y d +cosh
2
y dx
2
+dy
2
Considere

x
,

y
e

, os campos adaptados a este referencial. Seja

:=
1

. Mostre que

c
c =
(
d
ds
+ sin tanh y
)
n

= coth y

y
Usando estas formulas re-obtenha as curvaturas principais
k
1
e k
2
obtidas nos itens anteriores.
(i) Mostre que se a curva c e o graco de uma funcao positiva
y = y(x), ent ao as curvaturas principais da superfcie de
revoluc ao gerada por c sao dadas por:
k
1
=
y

cosh y 2 sinh y y

sinh y cosh
2
y
(cosh
2
y + y

2
)
3/2
e
k
2
=
cosh
2
y
sinh y(cosh
2
y + y

2
)
1/2
(j) Encontre uma integral primeira da equac ao da curvatura
media constante no espaco hiperbolico de uma curva gera-
triz de uma superfcie de revoluc ao, mostrando que
v cosh
2
y

(cosh
2
y + y

2
)
2H u = const
onde v = c sinh y, c = comprimento do crculo hiperbolico
unitario e u =
c (sinh y)
2
2
.
O teorema de Gauss-Bonnet
(100) Seja M um catenoide de R
3
. Seja K a curvatura de Gauss de
M. Deduza com todos os detalhes, usando obrigatoriamente
73
o teorema de Gauss-Bonnet, que a curvatura total C(M) =

M
K d A = 4.
(101) Seja T
g
uma superfcie suave orientada compacta (sem bordo)
de genero g > 1, dotada da metrica de curvatura de Gauss
K 1 (isto sempre e possvel).
(a) Deduza que nao existe duas geodesicas fechadas disjuntas

1
e
2
em T
g
que sao fronteiras de um anel A (topologico),
A T
g
.
(b) Deduza que nao existem duas geodesicas
1
e
2
em T
g
,
partindo de um mesmo ponto p e chegando num mesmo
ponto q, sendo
1

2
a fronteira de um disco D (topologico),
D T
g
.
(c) Deduza que T
g
, uma superfcie suave orientada compacta
(sem bordo) de genero g > 1, dotada da metrica de cur-
vatura de Gauss K 1, nao pode ser imersa no espaco
Euclidean R
3
.
(102) Um ovaloide S R
3
e uma uma superfcie suave compacta (sem
bordo) de curvatura de Gauss K > 0.
(a) Deduza, usando obrigatoriamente o teorema de Gauss-Bonnet,
que um oval oide S e homeomorfo `a esfera S
2
.
(b) Deduza que um oval oide S e uniformemente convexo.
(c) Considere a aplicacao normal de Gauss g : S S
2
. Deduza
que a curvatura total C(M) =

S
K d A e a area da imagem
esferica g(S) coberta pela aplicacao normal de Gauss g :
S S
2
, contadas as multiplicidades.
(d) Considere a aplicacao normal de Gauss g : S S
2
. Deduza
que g(S) = S
2
, isto e aplicacao normal de Gauss g e sobre.
(e) Usando obrigatoriamente o teorema de Gauss Bonnet, de-
duza que a aplicac ao normal de Gauss g : S S
2
e inje-
tora, logo, combinando com o resultado anterior, conclua
que g : S S
2
e um difeomorsmo.
(f) Deduza, usando obrigatoriamente espacos de recobrimento,
que a aplicacao normal de Gauss g : S S
2
e um difeo-
morsmo.
(g) Estude os resultados acima para curvas fechadas suaves
planas (em R
2
) de curvatura k > 0.
(h) Pode-se generalizar os resultados acima para imersoes de
um ovaloide S R
3
?
(103) Seja M R
3
uma superfcie suave orientada, compacta de
genero g > 1. Deduza que existem pontos onde a curvatura
74
de Gauss K e estritamente positiva, pontos onde a curvatura
de Gauss K e estritamente negativa e pontos onde a curvatura
de Gauss K se anula.
(104) Calcule a curvatura total C(M) =

M
K d A da superfcie M =
{(x, y, z) R
3
, z
2
+ (

x
2
+ y
2
a
2
)
2
= r
2
, 0 < r < a}.
(105) Seja M = {(x, y, z) R
3
, e
x
2
+ e
y
2
+ e
z
2
= 4}. Calcule a cur-
vatura total C(M) =

M
K d A de M.
(106) Interprete a curvatura total de uma superfcie compacta M
R
3
como a area algebrica da imagem esferica da aplicacao nor-
mal de Gauss (soma das areas cobertas positivamente, menos a
soma das areas cobertas negativamente, contadas as multiplici-
dades).
(a) Aplique para mostrar que a curvatura total de um toro
de revoluc ao em R
3
e zero. Obtenha o mesmo resultado
usando o teorema de Gauss-Bonnet.
(b) Aplique para deduzir que a curvatura total de um catenoide
e 4.
(107) Seja P um polgono geodesico do plano hiperbolico H
2
(os lados
de P sao geodesicas de H
2
) com 4k lados, k > 1. Seja a
soma dos angulos internos de P. Seja A a area de P na metrica
hiperbolica.
(a) Deduza
= A + 2(2k 1)
(b) Deduza que existe um polgono geodesico P de 4
k
, k > 1
lados de iguais comprimentos com = 2.