Você está na página 1de 74

Curvas Regulares no Plano

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


(f (t), g(t)), t I R2 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 coordenadas f (t) e g(t).
Encontre os pontos de intersecao 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 rotacoes 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 verticais.
Encontre os pontos duplos e pontos m
ultiplos (pontos de
auto-intersecao).
Analise o sinal da derivada de cada coordenada da curva
(i.e sinal de f e g ) e estude a variacao 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 determinando 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 t0
onde o limite lim g (t)/f (t) existe, podendo ser , ou
tt0

seja nestes pontos, existe reta tangente limite).


Determine as retas assmptotas verticais e horizontais estudadas no Calculo I, caso existirem.
Determine tambem as retas assmptotas oblquas ou inclinadas, caso existirem: Seja C uma curva que e um graco
de uma funcao y=g(x) denida num semi-intervalo ilimitado da reta [c, ) ou (, c] (graco vertical). Dizemos
1

que a reta y = ax + b e uma reta assntota de C, se as


seguintes condicoes sao satisfeitas:
lim g(x)/x = a, quando x ou quando x .
lim(g(x) ax) = b, quando x ou quando x
, respectivamente.
Claro que uma denicao 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 s
ao os seguintes:
2
3
(a) (t) = ( 3t , 3t t3 ), t . Neste exemplo, exiba
formulas explcitas mostrando que a curva e uniao de gracos
verticais ou horizontais. Encontre a equacao da reta tangente no ponto t = 1 (i.e correspondente a t = 1.)
2
(b) (t) = ((t3 t)et , t2 ), t . Neste exemplo, exiba
formulas explcitas mostrando que a curva e uniao de gracos
verticais ou horizontais.
1
(c) f (x) = x + .
x
(d) (Curva de Lissajous) x = f (t) := sin 2t, y = g(t) := cos 3t.
Neste exerccio de especial atencao 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(x2 + y 2 ) = a(x2 y 2 ). Neste exemplo,
escreva a formula polar e em seguida escreva a formula
parametrica.
uspide: deltoide) f (t) = 2 cos t +
(f) (Hypocicloide com tres c
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 simetrias (de reexao ou de rotacao) ? Faca uso do MAPLE.

(g) x3 + y 3 = 3x2 .
(h) (Cissoide de Diocles) (x2 + y 2 )x ay 2 = 0, a > 0. Encontre
a formula polar e em seguida exiba uma parametrizacao.
(i) (Folium de Descartes) x3 + y 3 3xy = 0. Faca y = tx, t >
1 e encontre uma parametrizacao 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 R2 , dadas por imagem inversa
de um valor regular de certa funcao suave f : R2 R: nestas
partes, calcule um normal unitario `a curva. Determine se a
curva e compacta ou nao compacta.
(a) (Folium Parabolico): x3 = a(x2 y 2 ) + bxy, a > 0, b >
0, b = 2a
. Deduza que a curva tem auto-intersecoes. En3
contre a forma polar da curva e em seguida escreva a formula
parametrica.
(b) (Trevo equilatero): x(x2 3y 2 ) = 3a(x2 + 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 = x3 +2ax2 +3a2 x+4a3 , a > 0.
Deduza que o traco da curva tem 2 componentes conexas.
(d) (Lemniscata
de Bernoulli): (x2 + y 2 )2 = a2 (x2 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 aplicac
ao propria e de sequencias divergentes.
Denicao de aplicacoes proprias f : X Rn Y Rm : Sejam X e Y subconjuntos de Rn e Rm , 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 {xn } 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 aplicacao propria f : X Y e fechada,
i. e leva subconjuntos fechados F X em subconjuntos
fechados de Y.

(c) Deduza que uma aplicacao propria f : X Y bijetora e


um homeomorsmo.
(d) Explique intuitivamente o que e uma aplicacao propria
: R R2 . Conclua que nao existe uma aplicacao propria
: R R2 cuja imagem esteja dentro do disco unitario
D = {(x, y), x2 + y 2 6 1}.
(e) Exiba dois exemplos explcitos, escrevendo as expressoes
das parametrizacoes, de uma imersao (tambem chamada
de parametrizacao regular) injetora : (0, 1) R2 que
nao e um mergulho, i. e, nao e um homeomorsmo sobre
a sua imagem.
Um mergulho : (0, 1) R2 e uma imersao (parametrizac
ao
regular) que e um homeomorfismo sobre a sua imagem.
(f) Exiba um exemplo de uma imersao injetora que e um mergulho nao proprio : (0, 1) R2 , mas que vista como
aplicacao : (0, 1) {(x, y), x > 0} e um mergulho
proprio.
(g) De uma condicao suciente para que uma imersao injetora
: (0, 1) R2 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 comprimento de arco ? Tera esta uma reta assmptota ? Estude
a concavidade da curva e o comportamento no innito.
Desenhe a curva, indicando no desenho o sentido do movimento.
Um fato surpreendente e que a superfcie (Figura 2) associada (isometrica) no espaco hiperbolico tridimensional H3 a
certo catenoide (mnimo) de R3 e uma superfcie invariante por
translacoes Euclideanas horizontais, cuja curva geradora e a
courbe des forcats descoberta por Poleni (Figura 1).

Figure 1

Figure 2

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. Vamos 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 parametrizacao 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. Explique 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) = x3 + 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 pontos singulares e no innito. Desenhe a curva indicando no
desenho o sentido do movimento.

(f) Desenhe o vetor curvatura k no desenho da curva. Explique o sinal da curvatura.


(7) O Folium de Descates. Considere a curva C dada implicitamente por
f (x, y) = x3 + y 3 = 3xy.
(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 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
)
(
3t2
3t
2
e
: (1, ) R dada por (t) =
,
1 + t3 1 + t3
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. Explique 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 tangentes nestes pontos. Desenhe a curva apontando as simetrias
no desenho.
Escreva o cardioide na forma implcita f (x, y) = 0 determinando os pontos singulares de f (x, y) sobre a curva (a curva
nao e um graco de uma funcao 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) = x4 + y 4 + 2x2 y 2 a2 (x2 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 explique o sinal da curvatura.
umero real positivo. Estude o comportamento da
(11) Seja um n
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

(14)

(15)

(16)

(17)

(18)
(19)

(20)

(21)
(22)

orientacao) de R2 . Mostre que uma isometria negativa muda o


sinal da curvatura com sinal.
Sejam : (1, 1) R2 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).
Seja : (1, 1) R2 uma curva parametrizada regular e
seja p um ponto de R2 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 funcao contnua.
(b) Assuma que existe t0 (1, 1) tal que f (p) = g(t0 ). Deduza que a reta ligando os pontos p e (t0 ) e normal `a
em t0 .
Seja : (1, 1) R2 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.
Seja : (1, 1) R2 uma curva parametrizada regular pelo
comprimento de arco s. Mostre que se as retas tangentes sao
equidistantes de um ponto dado, entao a curva e, ou bem um
segmento de reta, ou bem um arco de crculo.
Dena os conceitos de localmente estritamente convexo e globalmente estritamente convexo.
Seja : (1, 1) R2 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 restricao, digamos, C0 , localmente, numa
vizinhanca da origem, e o graco de uma funcao estritamente
convexa escolhendo-se apropriadamente os eixos coordenados.
Alem disso, conclua que C0 e de fato estritamente convexa,
ou seja C0 esta de um lado de sua reta tangente num seu dado
(arbitrario) ponto e o u
nico ponto da curva comum com a reta
tangente e o ponto de tangencia.
De exemplos de curvas parametrizadas regulares fechadas cuja
curvatura e estritamente positiva, mas a curva nao e globalmente convexa.
De exemplos de curvas parametrizadas regulares simples fechadas
convexas mas nao estritamente convexas.
De exemplos de curvas parametrizadas regulares simples propriamente mergulhadas que sao estritamente convexas.

(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 = s0 , tal
que o traco da curva restrita a esta vizinhanca, esta contido no
semi-plano determinado pela reta tangente `a curva em s0 para
o qual o normal unitario n(s0 ) esta apontando.
(25) Seja : [0, ] R2 uma curva parametrizada regular pelo
comprimento de arco s. Seja k + (s) a curvatura com sinal de

k + (s), Deduza que


(s). Considere a quantidade C(k) :=
0

C(k) = 2I, I Z, ou seja C(k) e um m


ultiplo inteiro de 2. O
n
umero I chamado de ndice de rotac
ao. 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, ] R2
divide o plano R2 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 convexa (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
2
R delimitado pelo traco C da curva, e um conjunto convexo
do plano.
(26) O Crculo osculador. Seja : (1, 1) R2 , uma curva
parametrizada regular pelo comprimento de arco s. Suponha
que a curvatura em s = 0 nao se anule e que a orientacao da
curva esteja escolhida de forma que k + (0) = k(0) > 0. Denimos 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 restricao do traco
de ao intervalo perfurado 0 < |s| < e exterior ao disco
D .
(b) Se > R entao, existe > 0 tal que a restricao do traco
de ao intervalo perfurado 0 < |s| < e interior ao disco
D .
O crculo centrado em (0) + R n(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, determinando, em particular, os seus pontos singulares, marcando a orientacao da curva no desenho e estudando o comportamento da curvatura da curva.
(d) Deduza o seguinte: A evoluta de uma tractrix e uma catenaria
que admite uma parametrizacao da forma t 7 (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 eb ).
(e) Seja : (1, 1) R2 , 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 movimento (sentido de (s)).
(ii) Encontre uma formula integral explcita para o comprimento de arco u = h(s) de .

11

(iii) Seja (s) a curvatura com sinal da curva (s). Deduza que
( )
1
1 d
1
=

2 ds k 2
(iv) Deduza que se as retas normais `a s
ao equidistantes
de um ponto fixado p R2 , 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

e o campo de vetores normais unitarios ao longo de


onde n
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

. Mostre,
e a curvatura com sinal de com respeito `a n
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 sucientemente 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 C0 seja uma curva regular, simples, fechada
e estritamente convexa. Assuma que s > 0. Sejam L0 e
A0 o comprimento de C0 e a area da regiao delimitada por
C0 , respectivamente. Sejam L(s) e A(s) o comprimento e

, sendo n

a area relativos `a paralela a C(s) := C0 + s n


um normal exterior a C0 .
(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) = L0 + 2s e que a area A(s) englobada por
C(s) e A(s) = A0 + sL0 + s2 .
Curvas regulares em superfcies no espac
o
(28) Deduza que a curvatura (s) > 0 e a torcao (s) de uma curva
regular : I R3 (com vetor curvatura nao nulo em cada
ponto ) sao invariantes por isometrias positivas de R3 .
(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 :
R3 R3 (movimentos rgidos) de R3 em R3 , que preservam a metrica Euclideana (preservam o comprimento das
curvas, preservam a distancia entre dois pontos, etc...) sao
as rotacoes, as translacoes e composicoes destas.
Encontre um grupo `a um parametro de isometrias positivas G de R3 em R3 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 R3 , e a helice e levada nela
mesma pela isometria A(t).
(b) Demonstre, sem fazer as contas da torcao e da curvatura,
que a curvatura e a torcao da helice sao constantes. Em seguida,
fazendo uma conta, encontre estas constantes.
(c) Seja U um aberto de Rn . Uma imersao X : U Rn Rn+m
a uma aplicacao suave cuja diferencial dX(p) : Tp U =
Rn Rn+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
X(p)
X(p)
canonica e a matriz jacobiana, cujas colunas sao
,...,
,
x1
xn
n
tomando em R coordenadas x1 , . . . , xn .
(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 perpendicular ao eixo z.
Obtenha uma imersao injetora X : R2 R3 cuja
imagem e a superfcie resultante descrita. Deduza
que X e uma imersao propria e da que H = X(R2 )

13

(ii)

(iii)

(iv)
(v)

e uma superfcie regular de R3 (subvariedade de dimensao 2 de R3 ). Reconheca o helicoide.


Obtenha uma parametrizacao global do helicoide H
que seja conforme. Calcule a curvatura de Gauss
do helicoide H, usando as coordenadas conformes
(tambem chamadas de isotermicas) obtidas.
Responda se tal superfcie H e invariante pela acao
do mesmo grupo G denido acima que atua na helice,
deixando-a invariante.
Deduza por um argumento geometrico que a helice
(contida em H) tem curvatura geodesica kg constante.
Calcule a curvatura geodesica kg e a curvatura normal 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)
R3 , x2 +y 2 = a2 , a > 0}. Reconheca-as como curvas classicas.
(b) Todas as geodesicas da esfera SR = {(x, y, z) R2 ,
x2 + y 2 + z 2 = R2 , R > 0}.
(32) Mostre que a c
ubica retorcida t 7 (t, t2 , t3 ) tem curvatura k e
torcao respectivamente dadas por
(4 + 36t2 + 36t4 )1/2
3
k(t) =

(t)
=
(1 + 4t2 + 9t4 )3/2
(1 + 9t2 + 9t4 )
Desenhe a curva, usando o MAPLE, fazendo uma analise.
(33) Considere : I R3 uma curva parametrizada pelo comprimento de arco s de curvatura (em R3 ) k(s) > 0 positiva, cujo
traco esteja contido na esfera de centro p e de raio r > 0. Assuma que a torcao (s) de nunca se anule.
(a) Deduza que satisfaz a seguinte equacao diferencial (Monge,
1807)
( ( ) )2
1
1 1
+
= r2 ()
k2
k
Sugestao: Diferencie a equacao |(s) p|2 = r2 .
(b) Conclua que uma curva : I R3 parametrizada pelo
comprimento de arco s de curvatura (em R3 ) k(s) > 0
positiva, cujo traco esteja contido na esfera de centro de
raio r > 0, satisfaz para s0 I:

14

k (s0 ) = 0 k(s0 ) = 1/r ou (s0 ) = 0.


(c) Considere a curva de Viviani obtida pela intersecao do
cilindro (x a)2 + y 2 = a2 com a esfera
x2 + y 2 + z 2 = 4a2 .
(i) Cheque que uma parametrizacao da curva esta dada
por:
(t) = a (1 + cos t, sin t, 2 sin(t/2)) ,

2 6 t 6 2

(ii) Usando o MAPLE, estude a curvatura (em R3 ) e


a torcao, 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 t0 , a
curvatura (em R3 ) e igual a k(t0 ) = a1 =
curvatura media da esfera de raio a.
(34) De exemplos variados explcitos de curvas na esfera de raio 1
e verique as equacao () 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. Esboce o traco da curva.
(35) Seja : I R3 uma curva parametrizada regular cuja curvatura 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 denicao
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 R3 que e uma generalizacao das helices circulares. 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, entao

v T (s) = cos = const


Assuma que k(s), (s) = 0, s I, onde k e sao respectivamente a curvatura e a torcao 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 projecao da helice no plano ortogonal a L e dada por
k = k cossec2
(38) Forma local de uma curva espacial regular. Seja : (1, 1)
R3 uma curva regular (suave) parametrizada pelo comprimento
de arco s. A menos de um movimento rgido (rotacoes 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 torcao


da curva.
(a) Deduza que (explicando os detalhes)
(
k 2 (0)s3 s2 k(0) s3 k (0) s3 k(0) (0) )
(s) = s
,
+
,
+ o(s3 ),
6
2
6
6
3
3
onde o(s )/s 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

veis
Subvariedades diferencia
(39) Vamos lembrar o conceito de imersao: Seja U um aberto de Rn .
Uma imersao X : U Rn Rn+m a uma aplicacao suave (de
classe C ) cuja diferencial dX(p) : Tp U = Rn Rn+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
X(p)
X(p)
colunas sao
,...,
, tomando em Rn coordenadas
x1
xn
x1 , . . . , xn . A imagem de uma imersao nao e necessariamente
uma subvariedade de Rn+m , ja que pode, por exemplo, ter autointersecoes.
Uma imersao X : U Rn Rn+m que e um homeomorsmo
de U sobre a sua imagem X(U ) (dotado da topologia induzida
de Rn+m ) e chamada de mergulho. Neste caso, a imagem e uma
subvariedade de Rn+m . Observamos que os conceitos de imersao
e de mergulho se estendem `a aplicacoes suaves
f : M N, onde M e N sao subvariedades suaves.
Vamos lembrar tambem o conceito de aplicac
ao propria: Sejam X e Y subconjuntos de Rn e Rm , 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 Rn Rn+m
que nao sao mergulhos.
(b) Deduza que se X : U Rn Rn+m e um mergulho
(suave) entao X(U ) e uma subvariedade (suave) de Rn+m
de dimensao n.
(c) Deduza que uma imersao injetora propria (suave) X : U
Rn Rn+m e um mergulho (suave). Alem disso, X(U ) e
um subconjunto fechado de Rn+m .
(40) Considere a equacao
(
)
F (x, y, z) = ez x2 + y 2 + z 2 (1 + z 2 )1/2 + y = 0
(a) Use o teorema das funcoes 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 . Encontre o normal ao graco no ponto (1, 0, 0).

17

(b) Considere F : R3 \ {plano yz} R,


F (x, y, z) = ez (x2 + y 2 + z 2 ) (1 + z 2 )1/2 + y. Deduza que
F 1 (0) e uma superfcie regular nao conexa de R3 .
(41) Considere F : R3 R2 , dada por F (x, y, z) = (F1 (x, y, z), F2 (x, y, z)),
onde

y2

F1 (x, y, z) = x2 +
+ z3 z2
2
F (x, y, z) = x3 + y 3 3y + z
2

Use o teorema das funcoes implcitas para deduzir que numa


vizinhanca de (1, 1, 0), o conjunto F 1 {(3/2, 3)} e uma curva
regular de R3 (subvariedade de dimensao 1 de R3 ), que admite
uma parametrizacao de classe C da forma t 7 (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 ex+y+z . Deduza de duas maneiras inteiramente distintas que F 1 (0) e uma superfcie regular de R3 .
Encontre um normal unitario N ao longo da superfcie regular.
(43) Verique se as funcoes f : R3 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) = x2 + y 2 z 2 c = 0; c R.
(b) f (x, y, z) = ax2 + by 2 cz 2 = 0; a, b, c > 0.
(c) f (x, y, z) = ax2 + by 2 cz 2 + 1 = 0; a, b, c > 0.
(
)2
(d) (x2 + y 2 )1/2 a + z 2 r2 = 0; a > r > 0.
(44) Verique se os conjuntos abaixo sao subvariedades de Rn+1 ,
ou nao, fazendo primeiramente n = 2, 3 determinando sua dimensao e estudando-os geometricamente: intersecoes com os
huperplanos coordenados vericando simetrias-grupos do espaco
ambiente que deixam o conjunto invariante-, conexidade, completude (se sao completas como espacos metricos). Encontre
um campo normal unitario N ao longo das hipersuperfcies de
Rn+1 subvariedades de dimensao n de Rn+1 .
(a) x21 + x22 + + x2n x2n+1 1 = 0 (n > 2).
(b) x21 + x22 + + x2n x2n+1 + 1 = 0 (n > 2).
(c) Estenda, denindo outras quadricas de dimensao arbitraria.

18

(45) Estude f (x, y, z) := x3 +y 3 +z 3 3xyz = c, c R, considerando


os casos c = 0 e c = 0, separadamente, determinando explicitamente o conjunto quando c = 0, e determinando os valores de
c para os quais a equacao dene implicitamente uma superfcie
regular. Para estes valores de c encontre um normal unitario N
ao longo da superfcie regular. Sugestao: Observe que
x3 + y 3 + z 3 3xyz = (x + y + z)(x2 + y 2 + z 2 xy xz yz),
e deduza que x2 + y 2 + z 2 xy xz yz = 0 x = y = z.
(46) Estude f (x, y, x) = xn + 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 R3 e uma imersao
injetora, entao (S) e uma superfcie regular de R3 .
(i) Seja : S2 R3 dada por (p) = f (p)p (f diferenciavel e estritamente positiva em S2 ). A imagem
S := (S2 ) e chamada de graco radial. Deduza que
S e uma superfcie regular.
Deduza que : S2 S e um difeomorsmo.
(b) Seja p um ponto de S e v um vetor tangente `a S em p (v
Tp 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, entao f e constante.
(e) Generalize os tres itens acima ao contexto de subvariedades
diferenciaveis de Rn+m .
(f) Funcao altura. Seja p0 R3 e a R3 um vetor unitario
nao nulo. Dena a func
ao altura por h(p) = (p p0 ) a,
onde denota o produto interno em R3 .
(i) Calcule a diferencial dp (v), exibindo uma formula.
(ii) Seja p S um ponto crtico de h. De uma interpretacao 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 normais sao paralelas ao vetor a entao S e um plano. E
se S e apenas conexa ?

19

(g) Funcao distancia. Seja p0 R3 \ S e seja h(p) = |p p0 |2


o quadrado da func
ao distancia.
(i) Calcule a diferencial dp (v), exibindo uma formula.
(ii) Seja p S um ponto crtico de h. De uma interpretacao geometrica.
(iii) Exiba exemplos explcitos de superfcies conexas S e
pontos crticos da funcao distancia.
(iv) Conclua o seguinte: De um ponto arbitrario p0 R3
se pode tracar uma reta que e normal a uma dada
superfcie compacta S.
(v) Deduza o seguinte: Se as retas normais a uma supercie completa S se intersectam num ponto p0 , entao
a superfcie S e uma esfera centrada em p0 . E se S e
apenas conexa ?
(h) Quadrado da distancia a uma reta. Considere r a reta
passando por p0 com vetor diretor unitario a. Seja
h(p) = |p p0 |2 ((p p0 ) a)2 .
(i) Calcule a diferencial dp (v), exibindo uma formula.
(ii) Seja p S um ponto crtico de h. De uma interpretacao geometrica e exiba exemplos explcitos de
superfcies S e pontos crticos da funcao 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, entao 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 p0 S. Seja S2 a esfera unitaria em R3 . Considere a
p p0
projecao : S S2 dada por (p) =
. De uma
|p p0 |
condicao geometrica para que seja um difeomorsmo local.

20

Subvariedades Riemannianas do espac


o Euclideano
(49) Superfcies regradas. Seja I um intervalo aberto da reta. Uma
superfcie imersa regrada S em R3 e a imagem de uma imersao
X : I R R3 da forma
X(u, v) = (u) + vw(u), u I, v R
Sendo , w : I R3 , de classe C (suaves) e w(u) = 0, u
I. Admite-se que a imersao tenha pontos singulares; ou seja,
admite-se pontos onde Xu Xv = 0. Os pontos onde
Xu Xv = 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 7 (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 6 0.
De fato, o teorema de curvatura de Gauss, diz que
eg f 2
Kext =
=K
(1)
EG F 2
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
x2 y 2 z 2
+ 2 2 = 1, a, b, c > 0
a2
b
c
e uma superfcie regrada.
Sugestao:
(
)
Considere (u, v) 7 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 R3 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 R3 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 regulares (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 R3 . Nao deve ser uma superfcie regular.
Sugestao: escolha bem a curva .
(ii) Usando a formula de Gauss (1) deduza que os cilindros generalizados regulares sao planos, i.e. K 0.
(c) Dizemos que uma superfcie regrada S e um cone generalizado 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-intersecoes).
(ii) Deduza que um cone generalizado nos pontos regulares e plano, i. e, K 0.
(51) Deduza que o cilindro circular reto
x2 + y 2 = a2 , a > 0 em R3 , e uma subvariedade de dimensao
2 do R3 (superfcie regular). Classique todas as geodesicas do
cilindro circular reto
x2 + y 2 = a2 , a > 0 em R3 , de duas maneiras distintas: A
primeira maneira fazendo um estudo da equacao das geodesicas
no cilindro e a outra maneira fazendo uso de isometrias.

22

(52) A esfera S2 . Considere a esfera unitaria S2 = {x2 + y 2 + z 2 = 1}


em R3 .
(a) Deduza que S2 e uma subvariedade de dimensao 2 do R3
(superfcie regular). Classique todas as geodesicas da esfera S2 . Responda qual das armacoes abaixo esta rigorosamente correta:
(i) Os circulos maximos sao geodesicas das esfera S2 .
(ii) Os circulos maximos, parametrizados com velocidade
constante, sao geodesicas das esfera S2 .
(b) Calcule a curvatura geodesica kg de um paralelo da esfera.
(c) Considere a parametrizacao de S2 em coordenadas esfericas
, dada por X(, ) = (sin cos , sin sin , cos ) (deixarei
livre aqui o domnio da parametrizacao). Seja X , X o referencial local adaptado `a para metrizacao X.
Seja a conexao Riemanniana de S2 .
(i) Calcule X X , X X , X X . Usando obrigatoriamente
este item, deduza que os crculos maximos, parametrizados com velocidade constante, sao geodesicas de S2 .
Usando obrigatoriamente este item, calcule a curvatura geodesica kg dos paralelos de S2 .
(ii) Verique a equacao de Gauss de um paralelo
k 2 = kg2 + kn2
onde k e a curvatura do paralelo em R3 , kg e a curvatura geodesica do paralelo na esferatoro S2 e kn e
a curvatura normal,
explicitando estas quantidades em termo dos parametros , .
(d) Uma curva na esfera que faz angulo constante com os meridianos da esfera e chamada de loxodr
omica.
(i) Mostre que a imagem de uma loxodromica pela projec
ao
estereogr
afica do polo norte (veja adiante) e uma espiral 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 torcao.
(e) Deduza que na esfera nao ha linhas assimptoticas.
(53) A esfera S2 bis.

23

(a) Mostre que a projec


ao estereogr
afica usual do polo norte e
dada por
x + iy
N (x, y, z) =
:= u + iv := E
1z
dando a interpretacao geometrica desta aplicacao.
(b) Mostre que N leva crculos da esfera em crculos ou retas
no plano, determinando geometricamente cada situacao.
(c) Mostre que N preserva os angulos mas inverte as suas
orientacoes.
(d) Mostre que a inversa e dada por
(
)
2u
2v
EE 1
E 7
,
,
EE + 1 EE + 1 EE + 1
onde EE = u2 + v 2 .
(e) Mostre que a metrica Euclideana ds2 = dx2 +dy 2 +dz 2 em
R3 induzida em S2 , induz em C {} a seguinte metrica
ds2 =

4
(1 +

u2

+ v 2 )2

(du2 + dv 2 )

(f) Generalize os itens anteriores considerando a esfera Sn de


dimensao n, i.e, a esfera unitaria centrada na origem de
Rn+1 .

(g) Considerando o referencial adaptado { u


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

tidades u
, v
, v
.
u
u
v
(h) Aplique obrigatoriamente o calculo anterior para escrever a
equacao das curvas em S2 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
w log
2
onde, a metrica em termos das coordenadas isotermicas
(conformes) w = u + iv, e dada por ds2 = 2 | dw|2 .
K=

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 S2 e uma


equivalencia conforme de S2 ; da uma transformacao de
Mobius da esfera. Mostre que uma isometria positiva da
referida metrica e o conjunto das transformacoes de Mobius
da forma
az c
T (z) =
cz + a
satisfazendo |a|2 + |c|2 = 1, a, c C.
Conclua que toda isometria positiva da esfera S2 leva crculos
em crculos.
(k) Classique todas as isometrias positivas de S2 , geometricamente.
(l) Mostre que para cada tal isometria positiva T correspon1
dem z e
xados por T.
z
(m) A aplicacao z 7 1/z e uma isometria positiva ? Descreva-a
geometricamente.
(n) Mostre que os meridianos na esfera, parametrizados com
velocidade constante, sao as u
nicas geodesicas da esfera,
fazendo obrigatoriamente um estudo da equacao das geodesicas
na esfera.
(o) Mostre que dados dois pontos p e q de S2 existe uma isometria positiva de S2 que leva p em q, ou seja S2 e uma variedade homogenea bidimensional.
(p) Mostre que dadas duas geodesicas C1 e C2 de S2 existe uma
isometria positiva de S2 que leva C1 em C2 .
(q) Dena o conceito de reflex
ao 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 R3 `a esfera.
(r) Dena o conceito de translac
ao ao longo de uma geodesica
2
na esfera S . Deduza que tais translacoes sao compostas
de duas reflexoes em geodesicas, como denido acima.
(s) Dados p, q S2 seja distS2 (q, p) a distancia entre p, q (na
metrica das esfera).
(i) Deduza que existe uma curva C na esfera que minimiza 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 S2 . Aqui faca um estudo alternativo analizando o funcional comprimento de arco.

25

(ii) Seja Cr := {q S2 ; distS2 (q, p0 ) = r}, o crculo


esferico de raio r e centro p0 em S2 .
(iii) Deduza que o comprimento de Cr e proporcional ao
seno de r.
de C
(iv) Deduza que o vetor curvatura geodesico
g
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 R3 ), entao R = 1 2 , onde g e a cur1+g

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 intersecao da esfera com um plano
de R3 . De o signicado disto intrnseco.
(54) Determine todas as geodesicas da esfera unitaria Sn Rn+1 , de
dimensao n, exibindo uma formula explcita e fazendo uso do
teorema de existencia e unicidade local das geodesicas.
(55) Superfcies de revoluc
ao. Considere S uma superfcie de revolucao 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 variacao de
aqui). Assuma que a curva parametrizada u 7 (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 = c0 seja uma geodesica, fazendo
um argumento geometrico.
(e) Determine a conexao Riemanniana da superfcie S, deduzindo

26

a (u)

=
=

u
a(u)
u

= 0, explique geometricamente este resultado


u
u

= a (u) a(u)

(f) Deduza que as equacoes 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):
{( )2
( )2
du
+ a2 (u(t)) d
=1
dt
dt
(2)
d
2
a (u(t)) dt = C, (C=cst)
Note que se d(0)
> 0 entao C > 0.
dt
(g) Recupere os fatos que os meridianos parametrizados por
uma velocidade constante sao geodesicas. Recupere tambem
os fatos que os paralelos parametrizados por uma velocidade constante sao geodesicas a (u)a(u) = 0. Interprete.
(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 6 6 /2,
entao as geodesicas estao determinadas pela equac
ao 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 T2 . Seja 0 < r < a. Considere o crculo C no plano yz
dado por z 2 + (y a)2 = r2 . Considere T2 o toro de revolucao
gerado pela rotacao de C em torno do eixo z.

27

(a) Deduza que T2 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 funcao suave. Calcule
o normal unitario ao toro.
(b) Exiba parametrizacoes explcitas naturais de T2 , calculando a metrica g e a conexao Riemanniana num referencial local adaptado ao sistema de coordenadas obtido.
(c) Encontre parametrizacoes conformes de T2 e calcule a curvatura 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 T2 que sao linhas assimptoticas,
caso existirem.
(e) Verique a equacao de Gauss de um paralelo
k 2 = kg2 + kn2
onde k e a curvatura do paralelo em R3 , kg e a curvatura
geodesica do paralelo no toro T2 e kn e a curvatura normal,
explicitando estas quantidades em termo dos parametros u, v
da parametrizacao escolhida.
(57) Classique todas as superfcies de revolucao satisfazendo curvatura de Gauss K 1, estudando e determinando o comportamento 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-helic
oide. Considere a superfcie de revolucao
da caten
aria, chamada de caten
oide dada por x = a cosh v cos u, y =
a cosh v sin u,
z = av; 0 < u < 2, v R (catenoide menos um meridiano). O catenoide e a u
nica superfcie mnima de revoluc
ao
3
3
de R . Considere o helicoide de R 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 u
nica superfcie mnima
3
regrada de R .
(a) Encontre uma denicao geometrica do helicoide. Mostre
que o helicoide e invariante por um grupo a 1-parametro
de isometrias de R3 (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 parametrizacoes (locais) do catenoide
e do helicoide, respectivamente.
(i) Mostre que F e uma famlia a 1-parametro de superfcies 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). Dizemos 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 correpondem `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 projecao no plano
horizontal e uma espiral logartmica).
(60) Seja g1 a metrica de Sn1 . Seja (dr)2 a metrica canonica de
I = (0, ). Dene-se a metrica g em Sn1 I, por
gm,r = r2 g1 + (dr)2 , m Sn1 , r I
(a) Sera que g e a metrica produto ?
(b) Deduzir que (Sn1 I, g) e isometrica `a metrica de Rn \{0}
munida da metrica Euclideana.

29

(c) Mostrar que (Sn1 I, g1 (dr)2 ) e isometrica ao cilindro


C = {x = (x0 , x1 , . . . , xn ) Rn+1 ; x21 + +x2n = 1; x0 > 0}
munido da metrica induzida de Rn+1 .
(61) Considere a aplicacao f : Rn (0, ) Rn R, por
f (z, r) := (x, t) = (sin r z, cos r),
z = (z1 , . . . , zn ) Rn , r (0, ).
(a) Deduza que f determina um difeomorsmo
g : Sn1 (0, ) Sn Rn R por
g(z, r) = (sin r z, cos r).
(b) Deduza que a metrica induzida em Sn1 (0, ), pela metrica
canonica de Sn , dada pela restricao da metrica canonica de
Rn R, dt2 + dx21 + + dx2n `a Sn , e dada por
dr2 + sin2 rds2n1 , onde ds2n1 e a metrica canonica de Sn1 ,
que e a restricao da metrica Euclideana dz12 + + dzn2 `a
Sn1 . Deduza que os meridianos sao geodesicas de Sn .
OBS: Uma consideracao analoga pode-se fazer para as metricas
dt2 +sin2 t ds2p +cos2 t ds2q em Sp Sq (0, /2), considerando
a aplicacao Sp Sq (0, /2) Rp+1 Rq+1 ,
(x, y, t) 7 (xsin t, ycos t). Tais metricas sao chamadas sao
chamadas de warped products (logo, a metrica canonica
da esfera pode ser vista assim). Aqui ds2p , denota a metrica
canonica da esfera Sp .
Variedades Riemannianas
(62) Seja (M, g) uma variedade Riemanniana de dimensao n (g =
, e a metrica). Sejam x1 , . . . , xn coordenadas locais e sejam
X1 , . . . , Xn o referencial local adaptado. Seja a conexao Riemanniana de M . Escreva para i, j 1, . . . , n,
Xi , Xj = gij , coecientes da metrica
n

Xj Xi =
ij
k Xk
k=1

ij
k

As quantidades
sao os smbolos de Christoel, ou coecientes de com respeito ao referencial X1 , . . . , Xn dado.
Calcule ij
etrica, ou seja, em termos da
k em termos da m
ij
matriz gij e da inversa g .
Sugestao: Use a formula de Koszul.
(63) O plano hiperbolico: modelo do semi-plano. Considere o plano
hiperbolico

30

H2 = {z = x + iy, z = y > 0} munido da metrica hiperbolica


1
ds2 =
(dx2 + dy 2 ).
(z)2
Considere as coordenadas canonicas Cartesianas (x, y), y > 0

e o referencial global adaptado x := x


= (1, 0) e y := y
=
2
(0, 1). Seja a conexao Riemanniana de H .
Escreva
11
x x = 11
1 x + 2 y
12
x y = 12
1 x + 2 y
22
y y = 22
1 x + 2 y

As quantidades ij
ao os smbolos de Christoel, ou coek s
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 transformacoes sao
isometrias de H2 . Identique as que sao positivas.
(i) Translacoes Euclideanas horizontais.
(ii) Reexao com respeito ao eixo imaginario dos y. Idem
com respeito a uma outra reta vertical.
(iii) Homotetias com centro em H2 que preservam H2 .
(iv) Inversoes ou simetrias ou reflex
oes com respeito `a
semi-crculos de raio R com centro x0 em H2 ,
R2
denidas por z 7
+ x0 , R > 0, x0 R.
z x0
(c) Deduza que as transformacoes de Mobius que preservam
H2 sao isometrias positivas de H2 (a recproca tambem e
verdadeira). Tais transformacoes sao da forma
az + b
T (z) =
, a, b, c, d R e ad bc = 1.
cz + d
(d) Classique todas as geodesicas de H2 .
Sugestao : Usando as equacoes das geodesicas, combinado
com o teorema de existencia e unicidade de geodesicas,
mostre que as as semi-retas verticais abertas (em H2 ) parametrizadas com velocidade constante, partindo do bordo
assimptotico H2 := {z = 0} {}, e os semi-crculos
abertos (em H2 ) ortogonais `a H2 parametrizados com
velocidade constante, sao as u
nicas geodesicas de H2 .

31

Talvez ajude saber que as reexoes Euclideanas nas tais


semi-retas verticais e as invers
oes relativas aos tais semicrculos (denidas acima) sao isometrias de H2 . Alem disso,
a compostas de duas destas e uma isometria positiva que
leva um semi-crculo (em H2 ) numa semi-reta vertical (em
H2 ).
(e) Deduza que o plano hiperbolico H2 e uma variedade Riemanniana 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 H2 levando c sobre e
p em q.
(h) Deduza que os horociclos (retas Euclideanas horizontais
ou crculos Euclideanos tangentes ao bordo assimptotico
de H2 ) 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
4
conforme `a metrica Euclideana ds2 =
|dw|2 .
(1 |w|2 )2
zi
Considere a transformacao de Mobius de TC (z) =
,
z+i
chamada de transformacao de Cayley.
(a) Deduza que a transformacao de Cayley e um mapeamento
conforme de H2 sobre D.
(b) Deduza que a transformacao de Cayley TC : H2 D, e
uma isometria positiva.
(c) Explicite todas as geodesicas de D, levando em conta a
transformacao de Cayley e o seguinte fato: As transformacoes
de Mobius sao conformes e levam crculos ou retas Euclideanos em crculos ou retas Euclideanos.
(d) Deduza que o crculo hiperbolico em D 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 centrado no ponto i de H2 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 parametrizacao deste crculo hiperbolico
em H2 com velocidade constante.
(f) Dados p, q D seja distD (q, p) a distancia entre p, q (na
metrica hiperbolica). Seja C := {q D; distD (q, p0 ) = },
o crculo de raio e centro p0 em D.
(i) Deduza que o comprimento de C cresce exponencialmente 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 sinh2 /2.
(g) Mostre que a curvatura geodesica kg do crculo hiperbolico
de raio hiperbolico e kg = coth .
(h) Mais geralmente, determine todas as curvas de curvatura
geodesica constante do plano hiperbolico.
(65) O espaco hiperbolico: modelo do semi-espaco.
Seja H3 := {(x, y, z); z > 0}, o semi-espaco superior munido
da metrica conforme `a metrica Euclideana
)
1 ( 2
dx + dy 2 + dz 2 ,
2
z
chamada de metrica hiperbolica
Tal variedade Riemaniana H3 de dimensao 3 e chamada de
modelo do semi-espaco do espaco hiperbolico. Seja a conexao

= (1, 0, 0), y := y
= (0, 1, 0), e
de H3 e sejam x := x

z := z = (0, 0, 1), o referencial global adaptado as coordenadas canonicas (x, y, z), z > 0, de H3 .
(a) Calcule os smbolos de Christoel ij
k.
(b) Deduza que as as semi-retas verticais contidas em H3 parametrizadas
com velocidade constante, partindo do bordo assimptotico
( H3 ) sao geodesicas de H3 .
(c) Considere a semi-esfera S = Sr (a) := {p = (x, y, z)
R3 ; |p a|R3 = r, z > 0}, onde a {(x, y, z); z = 0} e
ds2 =

33

r > 0. Considere a reflex


ao, ou simetria, ou inversao com
respeito `a S denida por
I(p) = a +

(d)
(e)

(f)
(g)

(h)

r2
(p a)
|p a|2R3

(i) Mostre que I e um difeomorsmo anti-conforme preservando H3 , levando H3 em si mesmo, deixando xos
todos os pontos de S e satisfazendo I I(p) = p, para
todos os pontos p H3 . Mostre que I provem de uma
u
nica inversao em um crculo em H3 C {}.
(ii) Mostre que I leva as calotas esfericas, semi-planos
verticais, semi-planos inclinados, planos horizontais,
esferas em H3 em calotas esfericas, ou semi-planos
verticais, ou semi-planos inclinados, ou planos horizontais ou esferas em H3 . Deduza que I leva crculos
ou retas em crculos ou retas. Faca um exame minucioso e discuta cada caso separadamente examinando
todas as possibilidades como voce fez, anteriormente,
com as inversoes em crculos.
(iii) Mostre que se p, q H3 , entao
r2 |p q|R3
|I(p) I(q)|R3 =
.
|p a|R3 |q a|R3
Mostre com todos os detalhes que a inversao I e uma isometria negativa de H3 .
Mostre que as geodesicas de H3 sao as semi-retas verticais
contidas em H3 parametrizadas com velocidade constante,
partindo do bordo assimptotico ( H3 ) e os semi-crculos
em H3 ortogonais `a H3 , parametrizados com velocidade
constante.
Mostre que dada duas geodesicas 1 e 2 existe uma isometria positiva de H3 levando 1 em 2 .
Mostre que a rotacao em torno de uma geodesica , tambem
chamada de rotacao hiperbolica, e uma isometria positiva
de H3 . Descreva-a com detalhes geometricamente. Mostre
que a rotacao hiperbolica leva pedacos de planos ou esferas
em H3 em pedacos de planos ou esferas em H3 .
Mostre que a translacao ao longo de uma geodesica , ou
simplesmente translacao hiperbolica, ou mais simplesmente
ainda translacao e uma isometria positiva de H3 . Mostre
que a translacao hiperbolica leva pedacos de planos ou

34

esferas em H3 em pedacos de planos ou esferas em H3 .


Descreva-a com detalhes geometricamente.
(66) O espaco produto. Considere o espaco produto M R munido
da metrica produto, onde M e uma variedade Riemanniana (superfcie) 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 ds2 = 2 (dx2 + 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
ds2 = 2 (dx2 + dy 2 ) + dt2
Seja a conexao Riemanniana de M R.
Mostre que:
(a)
x
y
x x = x y

x
y
y y = x + y

x
y
y x = x y = x + y

x t = y t = t t = t x = t y = 0
(b) Mostre que as retas verticais (x1 , . . . , xn ) = cte, sao
geodesicas verticais.
(c) Mostre que as geodesicas de M sao geodesicas horizontais de M R.
(d) Considere o espaco produto H2 R, onde H2 e o plano
hiperbolico.
(i) Calcule conexao de H2 R.
(ii) Deduza que as isometrias de H2 {0}, sao isometrias
de H2 R.
(iii) Deduza que as translacoes Euclideanas verticais sao
isometrias de H2 R.
(iv) Deduza que o semi-plano yt, y > 0 em H2 R, e
isometrico ao plano R2 , logo e plano.

35

(v) Considere o modelo do disco D do plano hiperbolico


(dotado da metrica hiperbolica) e o modelo do produto (Riemanniano) D R.
Deduza que a faixa yt, 1 < y < 1, e isometrica ao
plano R2 , logo e plana. Mostre que a rotacao em
torno do eixo z e uma isometria de D R.
(vi) Determine todas as geodedsicas de D R que partem
da origem.
(67) Seja M R o espaco produto, onde M e uma variedade Riemanniana. Seja C um domnio e seja X : # M R, w 7
(h(w), f (w)), w = u + iv, u, v R uma imersao de em M R
(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 :=

, t := t , o referencial local do espaco tangente, onde x , y


y
e um referencial do plano tangente `a M adaptado `a f e t e o
campo vertical canonico tangente `a reta t 7 (, t), M.
Relembre a notacao complexa: Se g e uma funcao suave diferenciavel (complexa) em entao, dene-se os operadores (complexos) gw := 21 (gu igv ) , e gw := 12 (gu + igv ) .
(a) Mostre que
(
(
) x
y )
Xu Xu = huu + (hu )2 (hu )2
+ 2hu hu
x

(
(
)
x )
2
2 y
y + fuu t
+ huu + (hu ) (hu )
+ 2hu hu

(
)
)2 z
z (
= huu + (hw + hw )2
x
+ hw + hw

(
(
)2 z )
2 z
y + fuu t
+ huu i (hw + hw )
+ i hw + hw

(
(
)
y )
2
2 x
Xv Xv = hvv + (hv ) (hv )
+ 2hv hv
x

(
(
) y
x )
+ hvv + (hv )2 (hv )2
+ 2hv hv
y + fvv t

)
(
)2 z
z (
hw hw
x
= hvv (hw hw )2

(
(
)2 z )
z
+ hvv + i (hw hw )2
i hw hw
y + fvv t

(
x
y )
Xu Xv = Xv Xu = huv + (hu hv hu hv )
+ (hu hv + hu hv )
x

(
x
y )
+ huv + (hu hv + hu hv )
+ (hu hv hu hv )
y

+ fuv t

36

( 2
) )
) z
2
z
= huv + i
+ i hw hw
x

)
(
(
)
(
) z
z
2
2
+ huv + h2w h2w
hw hw
y + fuv t

h2w

h2w

Sugestao: Calcule Xu Xu , Xv Xv e Xv Xu , 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 funcao suave. Em M R vamos denir a
metrica gf (x1 , . . . , xn ) := dt2 + f 2 (t) g(x1 , . . . , xn ). 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 (x1 , . . . , xn ) = cte) sao
geodesicas (verticais).
(c) De condicoes sucientes gerais para que as geodesicas de
M sejam geodesicas horizontais de M R. Seja a
e a conexao de M f R. Mostre que
conexao de M e

e
(i)
= 0.
t t
e =
e = f .
(ii)
e
(iii)

xi

xi

xj

xi
f

g
f ij t

f xi

xi

.
xj

Geometria extrnseca das superfcies de R3


Vamos focar agora no estudo da geometria extrnseca das
superfcies de R3 . 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 H3 e de H2 R. Mais
geralmente, tem um paralelo com a teoria das superfcies imersas num espaco homogeneo tridimensional. De fato, varias
propriedades e formulas continuam validas quando o ambiente
e o espaco hiperbolico ou outro espaco homogeneo tridimensional.
Seja S uma superfcie imersa em R3 . Suponha que (0) = p
S e que (0) = v Tp S.

37

Lembre-se que dizemos que um vetor tangente v a uma superfcie S num ponto p de S e assimptotico, se a curvatura
normal kN nesta direcao se anula. Uma curva assimptotica em
S e uma parametrizada regular tal que cada vetor tangente ao
longo da curva determina uma direcao assimptotica.
Lembre-se que uma curva parametrizada regular em S na
qual cada vetor tangente determina uma direc
ao 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 k1 e k2 de S sao iguais em p, i.
e k1 (p) = k2 (p). Dizemos que S e totalmente umblica se todos
os pontos de M sao umblicos.
Vamos xar notacoes. Seja X : U R2 R3 , (u, v) 7
X(u, v) uma imersao e seja S = X(U ) uma superfcie imersa
em R3 . Seja N um normal unitario ao longo de S.
Sejam, usando varias notacoes, E = g11 = Xu , Xu , F =
g12 = Xu , Xv , G = g22 = Xv , Xv os coecientes da primeira
forma fundamental. Sejam e = l = b11 = N, Xuu , f = m =
b12 = N, Xuv , g = n = b22 = N, Xuu 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 R3 e totalmente
umblica entao e isoparametrica, ou seja, todas as curvaturas principais sao iguais a uma constante. De fato, a
deducao natural das equacoes 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 deducao nave do resultado comentado antes
que diz que toda superfcie regular conexa S R3 totalmente umblica e isoparametrica, seguindo o seguinte
roteiro: Seja k(p) = ki (p), p U, i = 1, 2, onde
ki , i = 1, 2 sao as curvaturas principais de S. Seja
a conexao Riemanniana de R3 . Usando o teorema de
Olinde -Rodrigues, deduza que Xu N = Nu = kXu

38

e Xv N = Nv = kXv . Assuma que U seja conexo.


Diferencie apropriadamente as duas equacoes e mostre
que k e constante em U. Deduza o teorema localmente e faca o argumento tpico de conexidade
para globalizar o resultado.
(iii) Classique todas as superfcies completas totalmente
umblicas de R3 , usando o resultado anterior e fazendo
uso da classicacao das curvas planas de curvatura
constante do R2 .
(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 equacao na forma de uma equacao 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 parametrizacao
sao linhas de curvatura, se e somente se as matrizes
da primeira e segunda forma fundamental (no referencial adaptado) sao diagonais. Ou seja, nas varias
notacoes F = g12 = 0 e f = m = b12 = 0.
Em particular, deduza da que os paralelos e os meridianos de uma superfcie de revolucao sao linhas de
curvatura.
(b) Seja uma curva parametrizada regular numa superfcie
imersa S e seja kN a curvatura normal de .
(i) Estabeleca a equacao das linhas assimptoticas num
sistema de coordenadas locais (u, v) de S.
(ii) Mostre que se v e um vetor assimptotico, entao ou a

e ortogonal
curvatura k de se anula em s = 0 ou n

e o unitario na direcao de (s).


`a N (p), onde n
(iii) Mostre que se nao e parametrizada pelo comprimento de arco entao a curvatura normal e dada por
kN (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 Tp S dizemos que a base {v, w} e uma base positiva de
Tp S, se {v, w, N (p)} e uma base positiva de R3 .
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) . Considere
T (s) = (s),

(s),

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

Observe que
(0) =

d(N (s))
ds

em s = 0

(i) Seja kg a curvatura geodesica de . Mostre que existe


uma funcao g (s), chamada de torcao geodesica, tal
que
T (s) =

kg + kN

(s) = kg T

+ g

(s) = kN T g
Note que como (0) depende apenas de T (0), a terceira equacao acima mostra que KN (o que ja sabamos
de antemao ) e g dependem apenas de T ; podemos
escrever que kN = kN (v) e g = g (v), para v = (0)
unitario tangente.
(ii) Deduza das equacoes acima que se {v, w}, v = (0),
e uma base ortornormal, positivamente orientada, de
Tp S entao
kN (v) = dp N (v) v = II(v, v)
g (v) = dp N (v) w = II(v, w)
(iii) Mostre que se e1 , e2 Tp S sao direcoes principais
com {e1 , e2 } uma base ortornormal positivamente orientada, se e o angulo orientado que o vetor unitario
v, `a partir de e1 , faz com e1 , entao
kN (v) = k1 cos2 + k2 sin2

(relacao de Euler)

onde k1 , k2 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 assimptoticas. Determine uma condicao suciente para
que as duas direcoes assimptoticas sejam ortogonais.
(v) Com as notacoes acima, mostre que
g (v) = (k2 k1 ) sin cos
Sugestao : Considere a equacao obtida acima no item
anterior
g (v) = Dp 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)
:= (s) (s) 0
ds
Geodesicas sao curvas que minimizam localmente o
comprimento de arco, como ja vimos explicitamente
na esfera S2 (K = 1) e no plano hiperbolico H2 (K =
1).
(vii) Relembre e re-estabeleca a equacao das geodesicas
num sistema de coordenadas locais.
Conclua que e uma geodesica, se e so se kg = 0. (

quando denido e ortogonal


ou ainda, se e so se, n
`a S.)
Relembre que os meridianos de uma superfcie de
revolucao sao geodesicas. Quais as condicoes para
que um paralelo seja uma geodesica ? De condicoes
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 satisfaz K 6 0 ao longo de qualquer reta contida em S.
Mostre que K = 0 ao longo da reta, se e so se o normal N e constante ao longo da reta. De um exemplo
de uma reta numa superfcie ao longo da qual a curvatura 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 R3 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 em R3 . 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 torcao de . Seja A : Tp S Tp 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 assimptoticas distintas em p tem curvaturas diferente
de zero em p, entao 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 hiperb
olico p, i. e,
K(p) < 0, pode-se encontrar coordenadas locais tais que
as curvas coordenadas sao curvas assimptoticas.

42

:= (0)/k(0)} e um referencial
Da conclua que { , n

e o unitario na direcao de
ortornormal ao longo de ( n
(s)), deduzindo a formula:

, n

) II( , n

)2
K = II( , )II( n
Agora, conclua que o binormal b `a curva em R3 dado

e normal unitario `a superfcie S, obtendo


por b = T n
a formula desejada para K.
Sugestao 2: Ou ainda, parametrize pelo comprimento

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

(s) ( n

e o unitario na direcao de (s)) Mostre que


n

dN (T (s)) = b (s) = (s) n


Veja que a matriz do operador de Weingarten dN = N :

(0)}
Tp S Tp S com respeito a base ortornormal {T (0), n
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 relacao 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 intersecao de duas superfcies
S1 , S2 que e uma linha de curvatura de S1 ; entao e
uma linha de curvatura de S2 , se e so se S1 e S2 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
R3 . 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 aplicacao normal de Gauss N descreve um
arco de crculo na esfera S2 .
Agora vamos tratar de uma propriedades geometrica das
superfcies de R3 na forma nao parametrica (gracos).
(f) Seja S uma superfcie regular de R3 . 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 funcao 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 k1 (p) e k2 (p) as curvaturas principais de S em p.
Deduza:
f (x, y) =

onde
(i)

(ii)

(iii)
(iv)

k1 (p) 2 k2 (p) 2
x +
y + o(x2 + y 2 )
2
2

o(x2 + y 2 )
0, quando x2 + y 2 0. Conclua:
2
2
x +y
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 informacao 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.
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 sucientemente pequeno.
De exemplos explcitos das duas situacoes acima.
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
x2 + y 2 , onde S esta dada por z = 2
.
x + y2 + 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 = x3 3xy 2 . Estude o comportamento
local na origem.
ao.
(i) Superfcies de revoluc
(i) Classique as superfcies mnimas de revolucao, 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 (pseudoesfera) obtida pela revolucao 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 revolucao de
curvatura de Gauss K +1, fazendo uma analise
geometrica de suas curvas geratrizes.
(iv) Investigue e classique as superfcies de revolucao de
curvatura de Gauss K 1, fazendo uma analise
geometrica de suas curvas geratrizes.
(j) Considere a (superfcie mnima de Enneper)
(
)
u3
v3
2
2
2
2
X(u, v) = u
+ uv , v
+ vu , u v
u, v R.
3
3
(i) Mostre que os coecientes da primeira forma fundamental sao dados por E = G = (1+u2 +v 2 )2 , F = 0,
e mostre que Enneper e completa.
(ii) Mostre que a superfcie mnima de Enneper e globalmente conforme a C, logo simplesmente conexa.
(iii) Calcule os coecientes da segunda forma fundamental 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 direcao z e invariante por um grupo a 1-parametro de screw motions.
(ii) Mostre que o helicoide e uma superfcie mnima completa de curvatura total K dA, innita, onde dA =
H

45

EG F 2 du dv e o elemento de area do helicoide.


Calcule a curvatura total de um domnio fundamental 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. Estude 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 parametrizacoes (locais) do catenoide
e do helicoide, respectivamente ( Explique isto !).
(i) Mostre que F e uma famlia a 1-parametro de superfcies 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 Ca ,
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 comportamento da famlia da quando a 0. Estude o comportamento da curvatura quando a 0.
(vi) Deduza
o calculo da curvatura
total do catenoide

K d A = 4, onde dA = EG F 2 du dv e
Ca

o elemento de area do catenoide Ca .


(vii) Mostre por um argumento simples e direto que S
nao tem pontos umblicos, mas que S e assimptoticamente umblica, i. e k1 (p) k2 (p) 0, quando
|p| , onde k1 , k2 sao as curvaturas principais de
S.
(m) Considere S uma superfcie imersa em R3 e seja N um
campo de vetores normal (unitario) `a S. A superfcie paralela `a S esta denida por
St = S + tN
(i) Mostre que nos pontos regulares da superfcie imersa
a curvatura media Ht e a curvatura de Gauss Kt de
St sao dadas por
H Kt
K
Ht =
Kt =
2
1 2Ht + Kt
1 2Ht + Kt2
(ii) Assuma que H e uma constante positiva. Assuma
que M e completa com curvatura de Gauss K limitada. Mostre que as curvaturas media Ht e de Gauss
Kt satisfazem a seguinte relacao de Weingarten
a > 0, b > 0

2aHt + Kt = b,

para t sucientemente pequeno bem escolhido.


(iii) Mostre ainda que quando H = 0 e K >> , Mt e
imersa quando t e sucientemente pequeno.
(iv) De um exemplo de um fim de uma superfcie mnima
tal que Kt , quando p St .
pSt

(v) Finalmente mostre que Mt e uma superfcie especial


de Weingarten , ou seja existe uma funcao de classe
C 1 , f : [0, ) R, tal que as curvaturas media e
de Gauss satisfazem uma relacao da forma
Ht = f (Ht2 Kt )
para f elptica, i. e f satisfazendo
4t (f (t)) < 1.
2

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 R3 orientada
por campo de vetores normal unitario N . Assuma
que a curvatura media H e positiva e assuma que S
satisfaz uma relacao 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 R3 sao dados por
l+n
ln m2
e K=
2E
E2
Idem para uma superfcie S imersa em H3 .
(o) Deduza que equacao 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
H=

m du2 + (l n) du dv + m dv 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 posicao de S).
Conclua a seguinte caracterizacao das superfcies mnimas:
S

e mnima

X = 0

Ou seja S e mnima, sse as coordenadas de S em R3 em


parametros isotermicos sao funcoes harmonicas.

Vamos fazer agora uma incursao pelas superfcies de R3 , tomando


parametros isotermicos, obtendo com esta ajuda alguns conceitos, formulas e resultados fundamentais da geometria das
imersoes . Considere S uma superfcie imersa em R3 . 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 {X1 , X2 } o referencial local adaptado `a X em
p. Usaremos tambem a notacao Xu para designar X1 e Xv para
designar X2 .
(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 = dfp (v)
onde v e tangente `a S em p, isto e v Tp S.
(b) Mostre que
fu
fv
f = Xu + Xv
E
E
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 tangentes `a S ( i. e Y (p) Tp S), denotada por div, como
sendo o traco da aplicacao Z DZ 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 DZ Y )
(d) Mostre

(
)
1

div Y =
(Y Xu ) +
(Y Xv )
E u
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

)
(
1 2 f (u, v) 2 f (u, v)
+
f (p) =
E
u2
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 Laplaciano 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 = fuu + fvv
(i) Mostre que a denicao de Laplaciano conforme depende da
coordenada isotermica z, uma funcao mas a nocao 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 divergencia: 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

div Y dA = Y ds
S

onde dA = EG F 2 du dv 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 posicao de uma superfcie
orientada S em R3 , por um campo de vetores normais
unitarios interior N ao longo de S. Suponha que S seja
uma curva (regular) simples fechada contida no planoxy, de modo que = D onde D R2 e um domnio de
Jordan. Suponha que S D e um ciclo orientavel, de modo
que S D = V, onde V e um solido de R3 , e o teorema
da divergencia se aplica (Faca uma gura !). Seja R3 o
Laplaciano usual de R3 .
(i) Mostre que

6vol(V ) + 2 X N dA = 0
S

Sugestao : Aplique corretamente o teorema da divergencia (em R3 )

50

(ii) Mostre que ao longo de S,


|X|2 = 4 + 4HX N
(iii) Aplique agora o teorema da divergencia em S mostrando
que

2
|X| dA = 2
X ds
S

onde e o co-normal interior ao longo do bordo de


S.
(iv) Levando em conta os resultados obtidos nos itens anteriores deduza que

4 area(S) + 4H X N dA = 2
X ds
S

(v) Juntando os resultados obtidos nos itens anteriores


inra

2 area(S) = 6Hvol(M )
X ds
S

(k) (Fluxo numa superfcie mnima). Suponha agora que S


seja uma superfcie mnima em R3 , orientada por um campo
de vetores normal unitario N ao longo de S. Seja o conormal exterior ao longo de S.
Seja W um campo de vetores suaves em R3 . 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 R3 . Mostre que v T
e o gradiente de uma funcao harmonica que e a restricao `a S de uma funcao linear em R3 . Sugest
ao :
Voce vai precisar do fato que as coordenadas dos pontos de uma superfcie mnima em R3 em parametros
isotermicos sao funcoes harmonicas: Veja um exerccio anterior.
(ii) Mostre ainda que segue do teorema da divergencia a
seguinte equacao vetorial

ds = 0
S

51

Conclua que para curvas fechadas , tem-se que ds,


e um invariante de homologia.
O fluxo ao longo de esta denido pela quantidade

uxo([]) :=

ds

(iii) Considere uma superfcie mnima de revolucao 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 = t1 , z = t2 , cujo bordo
consiste de dois crculos horizontais de raios r(t1 ) e
r(t2 ), respectivamente. Seja v = (0, 0, 1) o vetor vertical canonico. Calcule o fluxo vertical e obtenha
1
a seguinte equacao diferencial r(t)
= cte.
1 + r2
Conclua que a superfcie e um catenoide.
Vamos em seguida abordar a famosa representacao de Weierstrass das superfcies mnimas.
(l) Seja S uma superfcie mnima simplesmente conexa em R3
e z = u + iv parametros isotermicos. Vamos obter meromorphic data (g, f dz) que determinam a imersao mnima
X : U R2 S R3 , onde U e um aberto simplesmente
conexo de R2 . Seja
= (1 , 2 , 3 ) := 2

X
:= Xu iXv
z

(i) Mostre que z = u + iv sao parametros isotermicos,


se e so se 21 + 22 + 23 = 0.
(ii) Mostre que X e harmonica (as coordenadas x1 (u, v), x2 (u, v), x3 (u, v)
de X, sao funcoes harmonicas reais), se e so se e
holomorfa.
(iii) Quando z = u + iv sao parametros isotermicos, deduza que X e harmonica, se e so se a imersao X e
mnima e conforme.
parametros
(iv) Mostre que X e regular e z = u + iv sao
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) =

.
||2
(vi) Deduza

Xu Xv
=
|Xu Xv |

ln
i
N =
im = 2
z
2
||
(vii) Mostre que
z
X(z) = R

() d
z0

(viii) Mostre que se X nao e plana entao 1 i2 , e


3 0. Neste caso, existe uma funcao holomorfa
2f := 1 i2 em U e uma funcao meromorfa g :=
3
, de maneira que podemos escrever ( fazendo
1 i2
um abuso de notacao ) a representacao de Weierstrass
z
(
)
X(z) = R
(1 g 2 )f dz, i(1 + g 2 )f dz, 2gf dz
z0

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
(
)2
ds2 = |f |(1 + |g|2 ) | dz|2
(x) A nalidade deste exerccio e mostrar que g e exatamente a composta da aplicacao normal de Gauss com
a projecao estereograca do polo norte, que tem que
ser conforme, sse S e mnima (por que ?).
(xi) Mostre que
)
(
Xu Xv = (3 2 ), (1 3 ), (2 1 )
Conclua
(
)
Xu Xv
2Rg
2g 1 |g|2
N=
=
,
,
|Xu Xv |
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
:=

ln
im = 2f g
2

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 superfcie mnima pode ser expressa em termos de f, g
(
)2
2|g |
K=
|f |(1 + |g|2 )2
(xv) Vamos neste item re-obter superfcies mnimas classicas
via a representacao de Weierstrass:
(A) Mostre que o catenoide pode ser obtido fazendo
dz
U = C \ {0}, g(z) = z, f (z) dz = 2 .
z
(B) Mostre que o helicoide pode ser obtido fazendo
U = C, g(z) = ez , f (z) dz = i ez dz.
(C) Mostre que Enneper pode ser obtida fazendo
U = C, g(z) = z, f (z) dz = dz. Nota: O catenoide
e a u
nica superfcie mnima de revolucao . O
catenoide e a superfcie de Enneper sao as u
nicas
superfcies mnimas completas de curvatura total 4. Se uma superfcie mnima S mergulhada e completa tem curvatura total nita e
genero zero, entao S tem que ser o plano ou o
catenoide (Teorema de Lopez-Ros). Se uma superfcie 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 relaxada e substituda pela hipotese bem mais fraca
de topologia finita (Teorema de P. Collin).

54

(D) Obtenha a representacao de Weierstrass da famlia


catenoide-helicoide de superfcies mnimas associadas, localmente isometricas, ao catenoide
(helicoide).
(xvi) Vamos ver outros exemplos de superfcies mnimas:
(A) A superfcie de Scherk e dada implicitamente
por
cos y
ez =
cos x
Estude o seu graco.
Scherk foi obtida pelo metodo de separacao das
variaveis. A equacao nao parametrica da superfcie mnima de R3 e a seguinte:
(
)
u
div
=0
W (u)
Obtenha Scherk procurando solucoes da equacao
nao parametrica da superfcie mnima de R3 da
forma z = u(x, y) := F (x) + G(y).
1
(B) Considere U = C \ {0}, g(z) = ez , f (z) dz =
dz
cao
1 . Calcule 1 , 2 , 3 . Mostre que a condi
z 2 ez
de zeros e polos de f, g estao satisfeitas. Para
que a imersao esteja bem denida e necessario
vericar as condicoes de perodo: Basta considerar uma curva de Jordan em torno de 0 e calcular os resduos de 1 , 2 , 3 na singularidade 0,
e mostrar que parte real do resduo e real. Conclua que (g, f dz) dene uma imersao conforme
mnima de C \ {0} em R3 . Mostre que a imersao
e completa e de curvatura total . Sugest
ao :
Para mostrar o u
ltimo 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) := K dA
S

Um resultado interessante e o seguinte: Se uma superfcie mnima completa mergulhada de curvatura

55

total nita em R3 , tem fluxo vertical (i. e o uxo,


uxo([]), e um vetor vertical para toda curva fechada
S), entao S e o plano o catenoide. Nota: A curvatura 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 aplicacao 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, removido um conjunto nito de pontos, chamados puncture. Os dados meromorfos (g, f dz) se estendem
meromorcamente `a S (Teorema de Osserman).
es de curvatura
O tensor de curvatura, as equac
o
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 R3 sao dados por
H=

l+n
2E

e K=

ln m2
E2

Idem para uma superfcie S imersa em H3 .


(70) Deduza que equacao 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
m du2 + (l n) du dv + m dv 2 = 0
(71) Mostre as equacoes de Codazzi-Mainardi:
Ev
(l + n)
2E
Eu
mv nu = (l + n)
2E
lv mu =

56

(72) As equacoes de Codazzi-Mainardi podem ser escritas como


(
)
ln
+ mv = EHu
2
u
(
)
ln
mu = EHv
2
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, Xu e Xv tangentes ortogonais e
de mesmo modulo, aplicando simetria e compatibilidade com a
metrica, para chegar ao resultado desejado.
Deduza
ln
(73) Se =
im, as equacoes de Codazzi tomam a forma
2
complexa
z = EHz
A equacao (ou as equacoes ) de Codazzi-Mainardi sao as mes

mas no espaco hiperbolico. Verique isto ! onde 2


=

z
u

i ,e2
=
+ i . Inra que S tem curvatura media conv
z
u
v
tante, sse e holomorfa. Mostre que isto implica que os pontos
umblicos de uma superfcie conexa S imersa em R3 de curvatura media contante sao isolados ou S e totalmente umblica.
Mostre o mesmo para uma superfcie de curvatura media constante imersa em H3 .
(74) Mostre ainda que as linhas de curvatura sao dadas pela equacao
(
)
(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 PoincareHopf, 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 R3 (nao necessariamente mergulhada),
topologicamente equivalente a esfera , tem curvatura media constante entao 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 diferencial 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 posicao de S).
Conclua a seguinte caracterizacao das superfcies mnimas:
S

e mnima

X = 0

Ou seja S e mnima, sse as coordenadas de S em R3 em parametros


isotermicos sao funcoes harmonicas.
(77) A ideia agora e enfocar o seguinte: Sejam k1 , 1 , k2 , 2 as curvaturas e torcoes de duas linhas de curvatura passando por
um ponto nao umblico p de uma imersao mnima conforme
X : U R2 S, (U aberto de R2 , p X(u) ). Entao demonstre o teorema de Enneper deduzindo a seguinte formula em p
k12 1 = k22 2
Sugestao : Considere os parametros isotermicos z = u + iv,
i. e X = X(z). Admita o seguinte fato: estes par
ametros
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 curvatura, cuja curvatura e k1 e cuja torcao e 1 . Analogamente, a
curva coordenada u = cte e linha de curvatura, cuja curvatura
e k2 e cuja torcao e 2 .
(a) Mostre, usando a equacao das linhas de curvatura,


(v )2 u v (u )2



E
F
G


l
m
n
que isto implica que m = 0 e que as equacoes de CodazziMainardi (E = G, F = 0)

58

Ev
(l + n)
2E
Eu
mv nu = (l + n)
2E
cam (F = m = 0)
(
)
l+n
lv = E v
2E
(
)
l+n
nu = Eu
2E
lv mu =

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 k1
e a torcao 1 da linha de curvatura v = cte, satisfaz
1 k12 =

Xu Xuu Xuuu |Xu Xuu |2

|Xu Xuu |2
|Xu |6

(c) Use a propriedades da conexao do ambiente R3 para calcular Xuu como combinacao linear de Xu e de Xv cujos
coecientes dependem da metrica.
Conclua uma expressao para Xu Xuu como combinacao
linear de Xv e de N, cujos coecientes dependem da primeira
e segunda formas fundamentais. Aqui e bom lembrar que
o triedro {Xu , Xv , N } e ortornormal positivo e que |Xu | =
|Xv |.
(d) Deduza (usando os calculos anteriores) que
(
)
l
Eu Ev
Xu Xuu Xuuu =
2Euv
4
E
Inra
(
)
l
Eu Ev
2
1 k1 =
2Euv
4E 3/2
E
Da conclua o resultado desejado.
(78) Deduza do teorema de Enneper acima a seguinte proposicao :
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 S2 e a aplicacao 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 S2 .
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 coordenadas locais em espacos de formas (space form).
um espaco de curvatura seccional constante c de diSeja M
e simplesmente conexo e completo, entao
mensao n + 1 ( Se M
n+1

M = R , se c = 0, Sn+1 , se c = 1 e Hn+1 , se c = 1). Seja M


.
uma hipersuperfcie imersa em M
n+1

(80) Mostre que para M = R


as equacoes de curvatura de Gauss
e Codazzi-Mainardi sao dadas em um sistema de coordenadas
u1 , . . . , un de M com referencial local adaptado X1 = u 1 , . . . , Xn =

sao dadas respectivamente por


un
m
Rijk
=

g ms (lik ljs ljk lis )

onde R(Xi , Xj )Xk =


m
Rijk
=

lik m
jl

(eq. de curvatura de Gauss)


m
Rijk
Xm

ljk m
il +

m
m
jk
ik

uj
ui

onde lij sao os coecientes da segunda forma fundamental de


M . As quantidades kij sao os smbolos de Christoel de M .
(
)
lik
lij

=
lks sij lsj sik
uj
uk
s

(eqs. de Codazzi)

Quando n = 2 mostre que as equacoes de Codazzi sao:


l12 l11 s

+
(12 ls1 s11 ls2 ) = 0
x1
x2
s
l22 l21 s

+
(22 ls1 s21 ls2 ) = 0
x1
x2
s

(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
{e1 (p), . . . , en (p)} um referencial ortornormal do plano tangente
`a M em p.
Pesquise na literatura sobre Geometria Riemanniana a existencia de um referencial ortornormal numa vizinhanca de p,
chamado de referencial geodesico em p, que tambem sera denotado por {e1 , . . . , en } tal que no ponto p temos que ei ej (p) = 0
e [ei , ej ](p) = 0.
A deducao faz uso do conceito de transporte paralelo ao longo
das geodesicas partindo de p no sentido de ei (p).
(82) Seja A o operador e Weingarten que representa a segunda forma
fundamental de M . Seja e1 , . . . , en um referencial geodesico em
p M , denido numa vizinhanca de p. Seja (aij ) a matriz de
a conexao de M
. Mostre
A neste referencial geodesico. Seja
que em p vale as equacoes de Codazzi-Mainardi
e aii (p) =
e aik (p)

i
k

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 ds2 = E (du2 + dv 2 ).
Suponha que M seja uma superfcie suave imersa num espaco
, i.e M # M
, munida de coordede formas tridimensional M
nadas isotermicas z = u + iv. Mostre que se l, m, n denotam os
coecientes da segunda forma fundamental neste sistema de coordenadas, e H, Kext denotam as curvaturas media e de Gauss
extrnseca de M :
l n m2
l+n
(a) Kext =
eH=
.
2
E
2E
(b) As linhas de curvatura sao dadas por
m du2 + (l n) dudv + m dv 2 = 0
(c) As equacoes de Codazzi sao dadas por
(l n)
(l n)
+
m
=
E

H
mv = E Hv
v
u
2 u
2 v
.
ln
im e holomorfa.
(d) Conclua que H = const, (z) :=
2
Conclua tambem que os pontos umblicos de uma superfcie
sao isolados ou a sude curvatura media constante em M
perfcie e totalmente umblica.

61

(e) Mostre que a equacao de curvatura de Gauss pode ser escrita:


log
E

:= K =

l n m2
+c
E2

K =curv.de Gauss.

NOTA: O teorema fundamental das hipersuperfcies de Rn+1 ,


diz o seguinte: Seja dado um aberto U Rn e sejam dadas
matrizes n n suaves em U e simetricas, (gij ) e (bij ) sendo (gij )
positiva denida, gij = gij (u1 , . . . , un ), bij = bij (u1 , . . . , un ), i, j =
1, . . . , n; satisfazendo as equacoes de compatibilidade: equacao
de curvatura de Gauss e equacoes de Codazzi Mainardi dadas
no exerccio (10).
Segue que para condicoes iniciais u(0) = (u1 (0), . . . , un (0))
U , p0 Rn+1 , X1 (0), . . . Xn (0) Tp0 Rn+1 , com < Xi (0), Xj (0) >=
gij (u(0)), e dado um normal unitario inicial N (0) em p0 (ortogonal aos Xj (0)), existe um aberto conexo (bola aberta) V U
com u(0) V e existe uma imersao suave X : V # Rn+1 , cuja
aplicacao nornal de Gauss e N com as seguintes propriedades:
(a) X(u(0)) = p0
X
(b) u
(u(0)) = Xi (0), i = 1, . . . , n
i
(c) N (u(0) = N (0)
(d) gij e bij sao a primeira e segunda formas fundamentais de
X com respeito `a N.
A deducao deste teorema faz uso do teorema de Frobenius sobre
a integrabilidade de um sistema de equacoes diferenciais parciais
lineares, obtido a partir das equacoes 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 Tp M.
O Laplaciano e o operador denido por f = div f,
para toda funcao suave f : M R, onde div X e a divergencia
Riemanniana do campo X denida por
div X = traco(Y 7 Y X), para todo Y campo tangente `a M .
Considere coordenadas locais x1 , . . . , xn numa vizinhanca de
p M e considere o referencial local adaptado X1 , . . . , Xn . Seja
(gij ) a matriz cujas entradas sao os coecientes da metrica no
referencial local dado e seja (g ij ) = (gij )1 , a matriz inversa.

62

(a) Deduza que o gradiente f em coordenadas locais e dado


por

f
f =
g ij
Xj
x
i
ij
(b) Deduza
que a divergencia gradiente div X de um campo
X = m ym Xm em coordenadas locais e dada por
]
[

yi
det(gij )
1
div X =
det(gij ) + yj
xi
det(gij ) ij xi
Sugestao:
(i) Use a denicao dos smbolos de Christoel para concluir
]
1 [ gmj

gji
gim
l
im glj =
+

2
x
x
xj
i
m
i,m,j
l,i,m,j
(ii) (g ij ) = (gij )1 = transporta da matriz dos cofatores
(1)i+j G
de (gij ) dividida pelo determinante= det(gij )ij .
(c) Deduza a expressao local do Laplaciano f
)
( f
1
ij
f =
g
det(gij )
det(gij ) i,j xi xj
(d) Mostre
div X =

i,j,m,k

[(
g

ij

(ym gjm )
xi

kij gmk ym

Sugestao: Use simplesmente a compatibilidade com a metrica.


(e) Deduza que
)
( 2f
ij
k u
f =
g
ij
x
x
xk
i
j
i,j
(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 referencial geodesico {e1 , . . . , en } em p.

63

(85) Seja M = {X Rn+1 ; |X| < 1} a bola unitaria munida da


4|dX|2
metrica (hiperbolica) ds2 =
, mostre que
(1 |X|2 )2
( n+1
)
2
b
r
= (1 r2 )2
a 2+
,
2 r
x
1

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

(f g + f, g)dM = 0
M

(d) Mostre o seguinte teorema devido a E. Hopf: Seja M uma


variedade Riemanniana orientavel 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:
= Rn+1 e X : M # Rn+1 entao se N e o normal
Se M
unitario ao longo de M , considerando X o vetror posicao, valem
as seguintes formulas:

X = n H ,

onde H = H(N )N e o vetor curvatura media


N = |A| N
2

onde |A| =
2

k12
2

+ +

(4)
(5)
(6)

kn2

(7)

|A| e o quadrado da segunda forma fundamental

(8)

ki 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 funcoes u : Rn
R denidas num domnio limitado , cujos gracos em Rn+1
tem curvatura media constante nao nula H = R1 , R > 0. A

64

estimativa e que |u(p)| 6 R, p . Tal estimativa e otima e


e atingida pela semi-esfera de raio R. Na verdade, na deducao
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 equacoes
levando em conta a elipticidade do operador Laplaciano e o
princpio do maximo.
Deduza que quando M Rn+1 uma variedade Riemanniana
orientavel compacta ( sem bordo) temos a formula de Minkowski

(1 + H(X, N )dM = 0
M

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 o
vamente. Seja o laplaciano sobre M . Finalmente, seja H
vetor curvatura media de M denido pela equacao
k

i=1


ei ei = k H +
ei ei ,
k

i=1

onde e1 , . . . , ek e um campo de vetores ortornormais tangentes


`a M numa vizinhanca de um ponto p de M e e1 , . . . , en+1
e uma
extensao ortornormal suave destes campos `a uma vizinhanca de
p em M .

(a) Mostre que f = ki=1 (ei ei f ei ei f )


(b) Mostre que < f, ei ei >= ei ei f . Interprete o termo da
direita da igualdade.
n+1 (ej ej f e ej f )
(c) Mostre que f = f + k Hf
j
j=k+1
(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 funcao distancia e f = r
Interprete e expresse a formula do item
anterior
neste
caso
.
(
)
f
Deduza tambem que nH = divM
, onde H e a
f
f
.
curvatura media com respeito ao normal N = 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 gf (x1 , . . . , xn ) := dt2 + f 2 (t) g(x1 , . . . , xn ). 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 R1 (X, Y )Z = Y, ZX
e o tensor de curvatura de M R e R o tensor
X, ZY. Seja R
de curvatura de M. Mostre que

e , ) = f .
(a) R(
t xi t
f xi

e
(b) R(
,
) = 0.
xi xj t

e , ) = f gij .
(c) R(
xi t xj
f
t
2
e , ) = R( , ) f R1 ( , ) .
(d) R(
xi xj xk
xi xj xk f
xi xj xk
(90) Seja p M , um ponto nao umblico de uma superfcie M em
H3 .
(a) Mostre que existe um referencial ortornormal {X1 , X2 } numa
vizinhanca de p principal, i.e, AXi = ki Xi , 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 X2 X1 ,
X1 X2 , X1 X1 , X2 X2 estao determinadas por funcoes
a, b que dependem apenas de k1 , k2 e das suas derivadas
com respeito a X1 , X2 . Precisamente, mostre que numa
vizinhanca u de p:
X2 X1 = b X2 , X2 X2 = b X1 ,
X1 X2 = a X1 ,
X1 X1 = a X2 ,
[X1 , X2 ] = a X1 b X2 .
X2 (k1 )
X1 (k2 )
onde a =
eb=
. Alem disto, mostre que
k2 k1
k2 k1
a curvatura de Gauss extrnsica Kext (produto dos autovalores do operador de Weingarten) satisfaz
Kext := k1 k2 =

(X12 (k2 ) X22 (k1 ))(k2 k1 ) X1 (k2 )(2X1 (k2 ) X1 (k1 ))


+
(k2 k1 )2
(k2 k1 )2
X2 (k1 )(X2 (k2 ) 2X2 (k1 ))
+
+1
(k2 k1 )2

em U.
Sugestao: As primeiras equacoes seguem da compatibilidade, da simetria e das equacoes de Codazzi. Enquanto

66

que a segunda equacao segue da equacao de curvatura de


Gauss.
(c) Mostre que existe um sistema de coordenadas principais
numa vizinhanca de p. Sugest
ao: Basta mostrar que existem campos Y1 = f X1 e Y2 = g X2 ; tais que [Y1 , Y2 ] = 0.
(91) Seja San Sbm , 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 Sn Sm com a metrica
1
ds2n + 1b ds2m .
a
(b) Mostre que todas as curvaturas seccionais cam no intervalo [0, max{a, b}].
(c) Mostre que San Sbm , tem curvatura escalar constante (pesquise
a denicao) 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) {e1 , . . . , en }
de Sn com a metrica canonica ds2n , e um referencial ortornormal (local) {en+1 , . . . , en+m } de Sm com a metrica canonica ds2m ,
trabalhando com oreferencial (local)

{ a e1 , . . . , a en , b en+1 , . . . , b en+m }, em San Sbm . Em seguida,


use a formula de Koszul que exprime a conexao Riemanniana
em termos
metrica, levando em conta o calculo de
da

a ei b ej , ek , considerando todos os casos para i, j, k,


e chegando a umaformula geral.
Escreva {F1n, . . . , Fmn+m } =

{ a e1 , . . . , a en , b en+1 , . . . , b en+m }, em Sa Sb , e deduza que R(Fi , Fj )Fk = 0, a menos que 1 6 i, j, k 6 n, ou


n + 1 6 i, j, k 6 n + m. Assim conclua que R(Fi , Fj )Fk = 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 Sn1 I, onde I e um intervalo aberto da real R com a metrica dr2 + 2 (r) dsn1 . Note
que f (x) = f (y, r) = r, e uma funcao distancia. Na esfera
(Sn1 , ds2n1 ), escolha um referencial ortornormal {e1 , . . . , en1 }
e um referencial ortornomal {F1 , . . . , Fn } = { 1 e1 , . . . , 1 en1 , N =

= f } de (Sn1 I, dr2 + 2 (r) dsn1 ) .


r

67

(a) Deduza que R(Fi , Fn , Fi , Fn ) =

, se i < n, e que

1 2
, se i, j < n. Conclua que as
2

2
curvaturas seccionais se situam entre , e 1
.
2
(Pesquise as denicoes de tensor de Ricci e de curvatura
escalar). Deduza que
)
(
1 2

Fi , se i < n, e
(n 1) Ricci(Fi ) = (n 2)
2

que Ricci(Fn ) = Fn .

Conclua que a curvatura escalar S satisfaz

1 2
nS = 2 + (n 2)
.

2
Para n = 2 voce obtem algum resultado conhecido ?
Faca (r) = r, sin r, e sinh r, e re-obtenha um resultado
conhecido, explicando.
Obtenha todas as metricas que sao Ricci flat, ou seja com
tensor de Ricci nulo, separando os casos n = 2 e n > 2.
Faca uma mudanca de variaveis = G(), (reduzindo a
ordem da equacao), e usando separacao de variaveis mostre
que a equacao da curvatura escalar flat (S = 0) ca
2 = 1 + C2n , onde C e uma constante.
R(Fi , Fj , Fi , Fj ) =

(b)

(c)

(d)
(e)
(f)
(g)

(93) Considere o modelo do semi-espaco superior do espaco hiperbolico


space Hn+1 , {(x0, . . . , xn ) Rn+1 , xn > 0}, munido da metrica
n
1 2
2
dx . Seja DX Y , a derivada covariante associada `a
ds = 2
xn i=0 i
metrica Euclideana, e seja X Y a conexao associada `a metrica
hyperbolica. Deduza que:

Z, Y X = (1/x2n )ZDY X+(1/x3n )(X[xn ]Y ZY [xn ]ZX+Z[xn ]XY )


(a) Calcule os smbolos de Christoel de Hn+1 . Particularize
para n = 1, 2, fazendo os calculos nestes casos diretamente,
usando simetria e compatibilidade.
(b) Deduza que, em H2 , 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 H3 .
(d) Dena o conceito de cilindro em H3 , classicando todos os
exemplos. Calcule a curvatura media do cilindro.
(e) Seja : (, ) M , uma curva paramerizada por comprimento de arco (hiperbolico). Seja N a curvatura normal de com respeito `a N . Reparametrizando pelo
parametro comprimento de arco euclideano (visto M como
hipersuperfcie de Rn+1 ), obtemos uma curva . Considere
a curvatura normal kN de com respeito ao campo de
vetores N unitarios (na metrica euclideana) normal `a M .
Mostre a seguinte relacao:
N = kN xn + Nn
onde Nn representa a u
ltima componente de N.
Conclua que se H e a curvatura media hiperbolica e h e a
curvatura media Euclideana tem-se que H = h xn + Nn .
(f) Deduza `a partir da formula anterior a equac
ao da curvatura media pre -determinada H de um gr
afico horizontal
dado por uma funcao x0 = u(x1 , . . . , xn ) denida sobre um
domnio D P := {x0 = 0}. A equacao e a seguinte:
(
)
(
)
u
n
un
div
=
H+
W (u)
xn
W (u)

onde W (u) =
1 + |(u)|2 , sendo que e div, representam o gradiente e a divergencia Euclideanos respectivamente. Investigue e classique a equacao,, segundo a teoria
das E.D.Ps de segunda ordem.
(g) Idem para a equacao da curvatura media pre-determinada
H de um gr
afico vertical dado por uma funcao xn =
u(x0 , . . . , xn1 ) denida sobre um domnio Hn+1 .
Agora, a equacao e a seguinte.
(
div

u
W (u)

n
=
u

(
H

1
W (u)

Investigue e classique a equacao, segundo a teoria das


E.D.Ps de segunda ordem.
(h) Calcula a curvatura media H da superfcie de Poleni em
H3 , dada na Lista A, deduzindo que e igual a 1.
(94) Obtenha uma formula analoga (ao do exerccio anterior) que
e associadas a duas
relacione as conexoes Riemannianas e ,

69

metricas conformes g e ge, sendo ge = eu g, denidas numa varievdade M , onde u : M R e uma funcao suave.
(95) Classique todas as superfcies totalmente umblicas de H3 .
(96) Considere o modelo do semi-espaco do espco hiperbolico H3 =
{(u, v, w), w > 0}. No plano vw considere novas coordenadas
x, y denidas da seguinte maneira: Seja c o semi-crculo centrado 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 u
nica geodesica do plano hiperbolico vw que passa por p e e
ortogonal a c, interceptando c em p1 . Seja 2 a u
nica geodesica
que passa por p e e ortogonal ao eixo w, cortando-o em p2
(que tambem e uma geodesica). Entao x = dist(p1 , (0, 0, 1))
(orientada) e y = dist(p2 , (0, 0, 1))(orientada), de modo que
x > 0 v > 0 e y > 0 w > 1. Agora considere
novas coordenadas x, y, z de H3 , onde se p = (u, v, w) entao
z := dist(
p, plano vw) e z > 0 u > 0. Mostre que

u = exp y tanh z 1 tanh2 x cosh2 y


v = exp y tanh x cosh y

w = exp y sech z 1 tanh2 x cosh2 y


(97) Considere o espaco hiperbolico H3 = {(X = x1 , x2 , x3 ); x3 >
0} Considere o setor proprio aberto S contido em H3 cujo
vertice e o ponto (1, 0, 0) e cuja reta mediana e o raio [1, +]

contido no eixo real x1 , i.e S = {p R2
< arg(p + 1) <
2

}. Considere a seguinte curva de classe C 2 no plano :=


2
{x1 = 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
3
o semi-crculo de raio r. Seja C H o cone euclideano sobre
com respeito ao ponto q = (1, 0, 0). Isto e C = >0 hq, (),
onde hq, (X) = (X + (1, 0, 0)) + (1, 0, 0), para todo > 0
e todo X H3 H3 . 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 = x3 , e dada na parametrizacao

70

natural de C por
H(t, ) =

1 + r2 + 2ar sin t + a2
(
)3/2
2r 1 + (r + a sin t)2

alem disso, mostre que a curvatura media hiperbolica H de C


calculada tambem com respeito `a orientacao normal no sentido
crescente dos z = x3 , satisfaz H < 0 se e somente se
(
)
2r sin t 1 + (r + a sin t)2 < (a + r sin t)(1 + r2 + 2ar sin t + a2 )

(98) Considere a faixa B = {(x, y) R2 1 < y < 1}. Considere o semi-plano vertical = {x = 0} em H3 . seja (t) =
(0, y(t), z(t)), t (0, 1) uma curva regular parametrizada cujo
traco esta em . Suponhamos que limt0 y(t) = 1 e limt1 y(t) =
1. Seja M a superfcie obtida fazendo sofrer sucessivas translacoes
horizontais. Isto e M = xR Tx (), onde Tx (X) := X +
(x, 0, 0), X H3 .
(a) Exiba a parametrizacao natural de M e mostre que a curvatura media euclideana H de M com respeito ao normal
1
unitario N = 2
(0, z (t), y (t)) e dada por
2

y +z
z y z y
H(t, x) = H(t) = (
)3/2 (t)
2 y2 + z2
(b) Mostre que a curvatura media hiperbolica H de M e identicamente nula se e somente se
(
)
y y2 + z2


z y z y = 2
z
Alem disto se e um graco com respeito a y, mostre que
(c)
(
)
1 + z2

H 0 z = 2
z
(99) Consideremos o modelo da bola tridimensional do espaco hiperbolico
dado por B = {(u, v, w) 3 | u2 + v 2 + w2 < 1}. Considere
uma superfcie de revolucao 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 horizontal {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 comprimento 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 coordenadas euclideanas de p. Mostre que
(a) A metrica de D neste sistema de coordenadas (x, y) e dada
por ds2 = cosh2 (y)dx2 + dy 2 .
(b) Sejam ex e ey os campos de vetores unitarios na direcao 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 ey . Faca uma gura !!. Mostre as seguintes relacoes
1

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

=
+ sin
dn
cosh y x
y
sin

c =
+ cos
cosh y x
y
ex =

(c) Suponha que f (s, t), a 6 s 6 b, 0 6 t < seja uma dada


variacao 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 ex + (y t)0 ey (g = cosh y).
(e) Mostre que a formula da primeira variacao ca
)
b {(
2 ) (

x
d
dy
dx
d
x
2

Lc (t) t=0 =

+g

2gg
dt
ds ds
ds2
t 0
a
( 2
( )2 ) ( ) }
d y
dx
y
+
gg

ds
2
ds
ds
t 0
(f) Conclua `a partir da formula da primeira variac
ao 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
d
tanh y sin .
ds
Mostre que isto da uma curvatura principal k1 = k da
superfcie de revolucao gerada por c.
k(s) =

72

(g) Mostre que a outra curvatura principal k2 e dada por k2 =


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 escreve como ds2 = sinh2 y d + cosh2 y dx2 + dy 2 Considere

,
e
, os campos adaptados a este referencial. Seja
x y
1
:=
. Mostre que

( d
)
+ sin tanh y n
ds

= coth y
y
c c =

Usando estas formulas re-obtenha as curvaturas principais


k1 e k2 obtidas nos itens anteriores.
(i) Mostre que se a curva c e o graco de uma funcao positiva
y = y(x), entao as curvaturas principais da superfcie de
revolucao gerada por c sao dadas por:
y cosh y 2 sinh y y sinh y cosh2 y
(cosh2 y + y 2 )3/2
cosh2 y
k2 =
sinh y(cosh2 y + y 2 )1/2
k1 =

(j) Encontre uma integral primeira da equacao da curvatura


media constante no espaco hiperbolico de uma curva geratriz de uma superfcie de revolucao, mostrando que

v cosh2 y
(cosh2 y + y 2 )

2H u = const

onde v = c sinh y, c = comprimento do crculo hiperbolico


c (sinh y)2
unitario e u =
.
2
O teorema de Gauss-Bonnet
(100) Seja M um catenoide de R3 . 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 ) =


K d A = 4.
M

(101) Seja Tg 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 Tg que sao fronteiras de um anel A (topologico),
A Tg .
(b) Deduza que nao existem duas geodesicas 1 e 2 em Tg ,
partindo de um mesmo ponto p e chegando num mesmo
ponto q, sendo 1 2 a fronteira de um disco D (topologico),
D Tg .
(c) Deduza que Tg , uma superfcie suave orientada compacta
(sem bordo) de genero g > 1, dotada da metrica de curvatura de Gauss K 1, nao pode ser imersa no espaco
Euclidean R3 .
(102) Um ovaloide S R3 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 ovaloide S e homeomorfo `a esfera S2 .
(b) Deduza que um ovaloide S e uniformemente convexo.
(c) Considere a aplicacao normal de Gauss g : S S2 . Deduza
que a curvatura total C(M ) = K d A e a area da imagem
S

(d)
(e)

(f)

(g)
(h)

esferica g(S) coberta pela aplicacao normal de Gauss g :


S S2 , contadas as multiplicidades.
Considere a aplicacao normal de Gauss g : S S2 . Deduza
que g(S) = S2 , isto e aplicacao normal de Gauss g e sobre.
Usando obrigatoriamente o teorema de Gauss Bonnet, deduza que a aplicacao normal de Gauss g : S S2 e injetora, logo, combinando com o resultado anterior, conclua
que g : S S2 e um difeomorsmo.
Deduza, usando obrigatoriamente espacos de recobrimento,
que a aplicacao normal de Gauss g : S S2 e um difeomorsmo.
Estude os resultados acima para curvas fechadas suaves
planas (em R2 ) de curvatura k > 0.
Pode-se generalizar os resultados acima para imersoes de
um ovaloide S # R3 ?

(103) Seja M R3 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 ) = K d A da superfcie M =


M

2 2
3
2
2
2
{(x, y, z) R , z + ( x + y a ) = r2 , 0 < r < a}.
(105) Seja M = {(x, y, z) R3 , ex + ey + ez = 4}. Calcule a curvatura total C(M ) = K d A de M .
2

(106) Interprete a curvatura total de uma superfcie compacta M


R3 como a area algebrica da imagem esferica da aplicacao normal de Gauss (soma das areas cobertas positivamente, menos a
soma das areas cobertas negativamente, contadas as multiplicidades).
(a) Aplique para mostrar que a curvatura total de um toro
de revolucao em R3 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 H2 (os lados
de P sao geodesicas de H2 ) 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 4k , k > 1
lados de iguais comprimentos com = 2.

Você também pode gostar