Escolar Documentos
Profissional Documentos
Cultura Documentos
11
INTRODUO
GEOMETRIA Dl.FERENCIAL
I~
Blucher
KETI TENENBLAT
Professora Emrita da Universidade de Braslia (UnB)
INTRODUO
GEOMETRIA DIFERENCIAL
'
2 edio revisada
Blucher
Rua Pedroso Alvarenga, l .245, 4 andar
04531-012 - So Paulo -SP- Brasil
Tel.: 55 (11) 3078-5366
editora@blucher.com.br
www.blucher.com.br
FICHA CATALOGRFICA
Tenenblat, Keti
Introduo geometria diferencial / Keti Tenenblat
2. ed. So Paulo: Blucher, 2008.
Bibliografia.
ISBN 978-85-212-0467-l
1. Geometria diferencial
l. Ttulo.
proibida a reproduo total ou parcial por quaisquer meis, sem autorizao escrita da Editora.
08-06319
CDDSl 6.7
Prefcio
Esta a segunda edio deste livro que tem o objetivo de servir como texto para
um curso introdutrio de Geometria Diferencial, em nvel de graduao. Apresentamos a teoria local de curvas e superficies, no espao euclidiano, admitindo como
pr-requisitos os cursos bsicos de clculo diferencial e equaes diferenciais.
No Captulo O, relacionamos os principais resultados do clculo vetorial e do
clculo diferencial.para funes de vrias variveis, que sero utilizados, freqentemente, nos captulos seguintes.
Sugerimos que a leitura do texto seja iniciada com o estudo de curvas planas, Captulo 1, recordando os conceitos do Captulo O, medida que se tornarem
necessrios.
A teoria local clssica de curvas no espao introduzida no Captulo II e a de
superficies, no Captulo III. Tendo em vista o carter introdutrio do curso, o estudo
das superficies desenvolvido para superficies parametrizadas regulares. Estas surgem naturalmente como uma extenso do conceito de curva parametrizada regular.
No Captulo. IV, julgamos conveniente ineluir o mtodo do triedro mvel, como
um mtodo alternativo ao clssico, para o estudo local das superf~:cies.
Procuramos ilustrar os conceitos e os resultados da teoria apresentados no texto,
por meio de vrios exemplos e :figuras. No :final de cada seo, inclumos uma srie
de exerccios. Esta edio difere pouco da anterior. Foi introduzida uma seo ao
:final do Captulo III, indicando algumas aplicaes da computao grfica, usando
o programa "ACOGEO". Este programa permite visualizar tanto as curvas e superfcies no espao euclidiano como os principais resultados da teoria de geometria
diferencial apresentados no livro.
Desejamos agradecer aos alunos e colegas que leram criticamente este texto.
Agradecimentos especiais so devidos a Manfredo_ P. do Carmo pelas sugestes e
a Jos Anchieta Delgado pelas contribuie~ na primeira edio deste livro. Finalmente, agradecemos a Hailton G. Reis pela digitao desta edio, a Rosngela
Maria da Silva pela cuidadosa reviso e a Patrcia Fernandes do Nascimento por
diversas :figuras do texto.
Contedo
X
4. Primeira Forma Quadrtica .............................................................................. 138
5. Segunda Forma Quadrtica; Curvatura Normal ............................................... 152
6. Curvaturas Principais; Curvatura de Gauss; Curvatura Mdia ......................... 160
7. Classificao dos Pontos de uma Superfice ..................................................... 174
8. Linhas de Curvatura; Linhas Assintticas; Geodsicas .................................... 187
9. Teorema Egregium de Gauss; Equaes de Compatibilidade;
Teorema Fundamental das Superficies ............................................................. 207
10. Aplicaes Computacionais ............................................................................ 212
Captulo O
CLCULO NO ESPAO EUCLIDIANO
No estudo de curvas e superfcies, sero utilizados os conceitos fundamentais do clculo vetorial e do clculo diferencial de funes de uma ou mais
variveis. Por esse 1TIOtivo, julgamos conveniente reunir neste captulo inicial
as noes necessrias, muito embora, admitindo que so do conhecimento do
leitor.
vetores de JR3 . Daqui por diante, vamos nos referir aos pontos ou vetores de
JR3 indistintamente.
Dados dois vetores w1 e w2 de componentes w1 = (xi, Yl, z1) e w2
(x2, Y2, z2), definimos a soma w1 + w2 como sendo o vetor de componentes
w1 +w2 =(xi
Yl +Y2, z1 +z2). Se um nmero real, definimos o
produto w como sendo o vetor de componentes w = ( x, y, z).
O conjunto de vetores de JR3 com essas operaes um espao vetorial,
isto , so satisfeitas as oito propriedades seguintes:
w1 +w2 = w2 +w1,
(w1 +w2) +w3 = w1 + (w2 +w3),
o+w1 =w1,
w1 +(-w1)
O,
onde w1, w2, w3 so vetores, e se w1 (x1, y1, zi), -w1 indica o vetor de
componentes -w1 =(-xi, -yi, -zi). Alm disso, se .1 e .2 so nmeros
.1 (2 w1) = (1 2) w1,
(1 + 2) w1
.1 w1 + .2 w1,
O mdulo de um vetor w
W}.
O.
tem-se 1 = 2 = = n
0,
O.
1.1 Exemplos
a) Os vetores w1
(1, 2, O), w2 =(O, 1, 1) e w3 (2, 5, 1) so
linearmente dependentes, pois 2w1 + w2 - w3 O.
b) Todo conjunto de vetores que contm o vetor nulo linearmente dependente.
e) Os vetores e1 = (1, O, O), e1 =(O, 1, O) e e3 (O, O, 1) so linearmente independentes.
d) Os vetores w1 (1, 2, O), w2 =(O, 1, 1) e w3 = (4, 5, 2) so linearmente independentes.
e) Qualquer subconjunto .de vetores linearmente independentes linearmente independente.
Se wi, w2, , w11 so vetores linearmente independentes e w um
vetor que pode ser expresso como combinao linear de w1, w2, , w 11 ,
ento decorre da definio de vetores linearmente independentes que esta
combinao linear nica, isto , se
ento 1 i, 2 2, ., n ,z.
Os vetores e1 = (1, O, O), e1 =(O, 1, O), e3 =(O, O, 1) so linearmente
independentes e, alm disso, todo vetor w = (x, y, z) de IR3 pode ser expresso, de modo nico, como combinao linear de ei, e1 e e3 na forma
ento { w1 , w2,
w1
w2
a12
u1
W3
a13
u1
+a23
w3 } ~,uma base
ui +a33 u3,
(w1, w2)
x1 x2 + Yl Y2
z2.
Em particular, temos que (w, w) = lwl 2 para todo vetor w. fcil verificar
que o produto interno satisfaz as seguintes propriedades:
( w1, w2)
(w1, w2)
(w1, w2),
O,
w1
w2
W3
Dizemos que as bases { u1, u2, u3} e {w1, w2, w3} tm a mesma orientao
se o determinante de mudana de base positivo, isto ,
Duas bases ordenadas tm orientao oposta quando o determinante de mudana de base negativo. No caso particular de duas bases ortonormais, observamos que o determinante de mudana de base igual a 1.
1.3 Exemplo. Consideremos as bases {e1, e1, e3} e {w1, w2, w3}
e3} base can)nic~~e w1 = 1(2, -2, 1), w2 =
1(2, 1, -2), w3 =1(1, 2, 2). Estas bases ortonormais tm a mesma orientao,
j que o determinante de mudana de base igual a 1.
Dados dois vetores w1 e w2 de componentes w1 = (x1, YI, z1) e w2 =
= JwiJ
= (w1
= O se, e s se,
w1 e w2 so linearmente dependentes;
ento
XI
(w1, w2 x w3)
YI
z1
{ u 1,
= -(w1,
w2 x w3).
Dados um ponto po
(xo, yo, zo) de IB.3 e um vetor no-nulo w =
(a, b, e), a reta que passa pelo ponto po paralela ao vetor w o conjunto
de pontos p de IB.3 , tais que
p
= Po +tw,
-=
< t < =,
< t < =.
= (x, y, z)
-= < u
< =,
-= < v
= uw1 +vw2,
< =, ou seja,
Dizemos que um subconjunto no-vazio W de IB.3 um subespao vetorial de IB.3 se, para cada par de vetores w1, w2 E W e nmero real, os
vetores w1 +w2 e w1 pertencem a W. Pode-se verificar facilmente que todo
plano de IB.3 que contm a origem um subespao vetorial de IB.3 . Analogamente, toda reta que passa pela origem um subespao vetorial de IB.3 .
Uma base de um subespao vetorial W de IB.3 um conjunto de vetores
linearmente independentes de W tal que todo vetor de W uma combinao
linear desses vetores. Se W um plano de IB.3 passando na origem, ento
dois vetores linearmente independentes de W formam uma base do plano.
No caso de uma reta em IB.3 , passando na origem, qualquer vetor no-nulo
da reta uma base.
Conclumos esta seo observando que, com um tratamento inteiramente
anlogo, podemos introduzir os conceitos apresentados em IB.3 para um espao euclidiano IB.11 de dimenso n. Entretanto, para o estudo da teoria local
de curvas e superfcies, utilizaremos apenas os espaos euclidianos IB.2 e IB. 3 .
1.4 Exerccios
1. Considere os vetores u 1 = (2, 1) e u2
= (1, 3)
u2
= (2,
1, 2) e u3
1) o
10
5. Considere o vetor u1
(1, 2, -1 ).
c)Jw1+w2! 2
Jw1
w21 2 =4(w1,w2);
lw1
w2J.
(-y, x).
11. Obtenha a equao do plano que passa pelo ponto (1, 2, -3) e paralelo ao plano determinado por 3x -y + 2z
4.
11
12. Dois planos de JR.3 que se intersectam determinam dois ngulos que
so os mesmos formados pelas retas normais aos planos. Obtenha esses
= 1 e y +z =
2.
13. Obtenhaaequaodoplanoquecontmospontos (1, 1, -1), (3, 3, 2)
e (3, -1, -2). Obtenha um vetor normal ao plano.
14. Considere os vetores
w1
= (2, 3, -4)
e w2
(O, 1, 1).
3y + z
5.
= w2
12
= O, onde w1
w = w1 x w2.
= po + tw
dois planos.
b) Prove que, se p um ponto que pertence a ambos os planos, ento
JL--:::Po+tow.
por
13
X,
(a+f3)(t) = a(t)+f3(t),
(fa)(t)
f(t)a(t),
= (a(t), f3(t)),
(a x f3)(t) = a(t) x f3(t).
(a, /3) (t)
t-+to
quando, dado qualquer e > O, existe 8 > O tal que, se O < Jt - to J < 8,
t-+to
=L
se, e s se,
.
ento
Lem-
se lim a(t)
t-+to
14
que denotamos por a'(to). Dizemos que a diferencivel se a diferencivel para todo t E J. Uma funo a(t) = (x(t), y(t), z(t)) diferencivel
em to se, e s se, as funes coordenadas de a so diferenciveis em to.
Neste caso,
a'(to)
da
a '()
t =dt,
d (d)
dt
a "(t ) = dt
= ddt2a '
etc.
/3)
e a x
/3
so diferenciveis e
d,Ua,)
/3\ +(a
/
/3
+a
d/3 \
' dt / '
d/3
dt .
15
d(aof)
dr
da dt
dt dr
,
a" (to)
a(t) = a(t0 ) +a (to)(t-to) + -- (t-to) 2 +
2
aCn)(to)
n
+ n.1 (t-to) + Rn(t, to),
. Rn
- e, denormna
. da desenvo1vrmento
.
( (t' to)
) =O, t E I . Esta expressao
onde hm
t--+to
t - to n
Fi : IRn
F.
16
Uma aplicao F : JRIZ ---+ IRm dita linear se, para todo par de pontos p
e q em JRll e E IR, temos
= 1F(p).
Se F linear, ento F(O) =O. Alm disso, como consequncia das propriedades acima, temos que F determinada pelos seus valores em uma
base de JRll. Em particular, considerando a base cannica de JRll, e 1 =
(1, O, ,O), e1 =(O, 1, O, ,O), ,en =(O, O, ,O, 1), se
(a11, a21, ,ami),
(a12, a22, ,am2),
Fm(p)
onde p = (x1, x2, ;"Xn)E JRll. Reciprocamente, se as funes coordenadas
de F so desta fol-ma, ento F linear. Portanto, para cada funo linear
H'i---~-~----"'--.:.c"'------'-""-"- ,_podemos associar a matriz dos coeficientes
17
chamada matriz associada aplicao linear F, relativamente s bases cannicas de JRll e IRm. Reciprocamente, toda matriz m x n determina uma
aplicao linear de IR11 em IRm.
Seja A uma matriz (no-nula) m x n, isto , com m linhas e n colunas. Consideremos um nmero inteiro r tal que 1::; r::; min{m,n}. Uma
submatriz r x r de A uma matriz obtida, a partir de A, eliminando m - r
linhas e n - r colunas de A. O posto de uma matriz A o maior inteiro r
para o qual existe uma submatriz r x r de A cujo determinante no se anula.
No caso particular de uma aplicao linear F: JR 3
---+
> O o conjunto,
denotado por Be(po), do_s pontos p E JRll que distam de po menos que
isto ,
B e (po)
= {p E IRn;
IP - Po 1 < }
e A.
Um
18
p-+po
--+
19
contnua em po
A se
lim F(p)
p->po
F(po).
para todo p E A.
Uma funo F : A e Rn
B e R 11 , onde A e B so abertos de Rn,
dita um homeomorfismo se F injetora, contnua, F (A) = B e a funo
inversa p-l : B---+ A tambm contnua. Neste caso, A e B so ditos
homeomoifos.
Pode-se provar as seguintes propriedades:
Seja F: A e Rn---+ Rm uma funo definida em um aberto A de R 11 e
cujas funes coordenadas so Fi, i = 1, ,m. Ento, lim F(p) L se, e
p->po
contnua em po.
Sejam F : A e Rn ---+ R e G: B e R ---+ JRk funes tais que F (A) e B,
onde A e B so abertos de R 11 e Rm respectivamente. Se F contnua
em Po E A e G contnua em F (po), ento a funo composta G o F : A e
Rn---+ JRk contnua em p 0 Segue-se que, se F contnua em A e G
contnua em B, ento GoF contnua em A.
111
111
R 12
---+
.IR, as
20
11 )),
11
ento a derivada
~: (po)
ou Fxi(po) e
igual a
______________S__e___ ~:(p) existe, para todo p E A, ento temos definida uma funo
aF :A ~ mm
-a
lN..
. -a
aF (p) . As d enva
. d as parciais
..
que, para cada p E A , associa
~
21
11
ffi. 11
em ffi.
111
~ ffi.m
,
diferencivel em p 0 se
ffi.111 ,
d rpo w
=l F(po +tw)-F(po)
. rm
.., .
.
t---+to
t
ffi.11
~ ffi.m
dFp 0 : ffi.11 ~ ffi.m uma aplicao linear, temos a matriz associada a dFp 0 ,
22
relativamente s bases cannicas de Rn e Rm, dada por
onde , , Fm so as funes coordenadas de F. A matriz acima denominada matrizjacobiana de F em po. Quando m n, o determinante da
matrizjacobiana de F em Po dito ojacobiano de F em po.
Pode-se provar as seguintes propriedades:
Se F : A e !Rn _, Rm diferencivel em po E A, ento F contnua em
Se F, G: A e Rn _, Rm e f: A_, R so funes diferenciveis em po,
ento as funes F + G, fG, (F, G) e F x G (essa ltima quando m 3)
c11tere:nc:mveis em PO
Se todas as derivadas parciais de primeira ordem de uma funo F : A e
Rn -T Rm so contnuas em A, ento F diferencivel.
Dizemos que uma funo F : A e Rn _, Rm diferencivel de classe
ck, k ~ 1 (resp. e=) se as derivadas parciais de F at ordem k (resp. de
todas as ordens) existem e so contnuas.
No difcil verificar que uma aplicao linear F : Rn _, Rm diferencivel de classe e=. Alm disso, para todo p E !Rn, dFp = F. De fato, se
w E Rn, ento
lim F(p+tw)-F(p)
t ...... o
23
funo F : A
191.11
___,
Fxp:1 , etc.
A frmula de Taylor, que vimos para uma funo de uma varivel, estendese ao caso de uma funo de vrias variveis. Em particular, se F uma
funo diferencivel (C"'), de duas variveis x e y, ento, para todo inteiro
~
(h'JaJn~
(xo, yo) + nhn-I k a ~n~a (xo, Yo) +
n.
X
X y
)
+ ... k11 anp
ayi (xo, Yo) +
l(x, y)
Rn
=0.
(xo, yo)l 11
(xo, Yo).
A regra da cadeia para funes de vrias variveis dada no seguinte
teorema:
Sejam F : A
JR; 11
___,
JRm e G : B
B. Se F diferencivel em po E A e G
JRk
24
ck
f :I e
ck
ck
(resp. e=).
ck (resp.
C')
25
Como consequncia do teorema da funo inversa, temos um outro resultado importante, que o teorema da funo implcita:
Sejam F: A e JR.11+111 -+ lR.11 uma funo diferencivel de classe ck (resp.
e) e F1, ,F11 as funes coordenadas de F. Denotaremos por x
(x1, ,xn), y= (yi, ... ,ym) e (x, y) = (x1, ,xn, Y1, ,ym) os pontos
, respectivamente. Fixados (a, b) E A e e E Il.{11 tal que
de JR.11 , JR.111 e
F(a, b) e, seamatrizdeterminadapor
b), i,j= l, ,n temposto
n (isto , determinante no-nulo), ento existe uma vizinhana U de b em
JR.111 e uma nica funo G : U e JR.111 -+ Il.{11 , diferencivel classe
e), tal que G(b) a e F(G(y), y) e, para todo y EU.
ck (resp.
-+
JR.3 :
(x, y1 x+y);
(x+y) 2 , (x+y)3).
Em cada caso, verifique que F diferencivel e obtenha a matriz jacoonde dFp no injetora:
biana. Indique os pontos p E
lR. uma funo contnua tal que F(x, y) =
F(x, y), para todo (x, y) E JR.2 -{(O, O)} e um nmero real nonulo. Prove que F limitada, isto , a funo F tem um mximo e um
2. Seja F:
{O}
-+
26
mnimo. (Sugesto: Considere a funo F restrita a uma circunferncia
de raio unitrio).
3. Verifique que a funo F(x, y, z) = (z, x, y) um difeomorfismo de
IR3 e obtenha a diferencial de F em p.
4. Considere a aplicao
Verifique que
wEIR3 .
O, para todo t E J. Prove que, para todo to E I, existe e> O tal que
a, restrita ao intervalo (to - e, to + e), injetora.
6. Seja F : A
IR2 ---+ IR3 uma funo diferencivel tal que dFp injetora,
U de
7. Seja F: A
ck
(resp.
C'). Seja
eA
ck (resp. C"')
tal que G(xo, Yo) =zo e F(x, y, G(x, y)) =e, para todo
(x,y)EU.
8. Obtenha uma aplicao linear F : IR2 ---+ IR2 , cuja imagem da base
cannica de JR2 , e1 = (1, O), e1 =(O, 1) dada por F(e1) = (2, 1)
e F(e 2 ) = (1, O). Verifique que F bijetora, obtenha a funo inversa
p- I e a diferencial de F em p E JR 2 .
9. Seja T : IR2 ---+ IR2 uma translao por a, isto , T(p) =a+ p onde
a, p E IR2 . Verifique que T preserva distncia entre pontos, isto , para
27
todo p, q E R 2 ,
1T (p)
- T (q) 1 =
IP - q 1.
Captulo I
CURVAS PLANAS
. a(t)
t E
R associa
(cost, sent),
29
(a,b)
Figura 1
a(t)
Figura 2
1)), t E
30
~, ~) ,
associa
YA
!
i
1
!
!
!
/1
l
l
!
{2,t:ll!
Figura 3
A aplicao
!ti
no diferencivel
31
Figura 4
A aplicao
(t, O)
a(t)
{(t,
se t::; O,
Figura 5
y(t)
se t >O,
32
no diferencivel de classe
e=.
a(t)
f3(r)
tm o trao da Figura 6.
Y1J'
i
!
i
l
V'""'
/I
Figura 6
= (x(t), y(t)).
O vetor
33
a(t+h)- a(t)
h
1
. a(t+h)-a(t)
1i m - - - - - h
h-+0
"~t+h)-G!(t)
G!( t+h)
t+h
Figura 7
a(t)
34
a definido no par-
metro t, e no no ponto a(t), pois, como pode ser visto no Exemplo 2.2
a ( ~)
=a(-~)
regular se 'Vt
a :I
__,. IR
dita
I, a'(t) =/=O.
2.4 Definio. Seja a: I __,. IR2 uma curva regular. A reta tangente a a
em to E I a reta que passa por a(to) na direo de a'(to), isto , a reta
dada pela funo
a.
t?
(t2, d).
= (2, O)
e a'(t)
35
2;
e,
-r
a :I
-r
R 2 uma
f3
aoh : J
-r
JR.2
uma curva regular, que tem o mesmo trao que a, chamada reparametrizao de a por h. A funo h dita mudana de parmetro (ver Figura
8).
37
''*"(h(l l
;/
Figura 8
3.2 Exemplos
a) Consideremos a curva regular
a(t)
(a cost, a sent), t
IR,
[3(s)
aoh(s)
(a
cos~,
sen~).
b)A curva
[3(r)
uma reparametrizao de
-2r + 1, r E IR.
38
f3
uma reparametrizao de
f3
ento
f3
tm orientaes opostas.
f3
y
~(.r)
Figura 9
exista e seja contnua), pode-se verificar ([1], [5] e [14]) que existe o limite
superior do conjunto dos comprimentos dessas linhas poligonais, e igual a
ti 1
to
39
A aplicao s(t)
1t la'
to
e=,
--+
s ti,
o comprimento do arco
to. Isto ,
t1
la'(t)ldt
to
a' (t) 1 =
associa s(t) =
t0 , e s'(t)
~ ["
1. Como s'(t)
to - t.
1, Vt E J. A recproca imediata.
o
3.5 Exemplo. A aplicao
a (t)
j que
la'(t)i
1, Vt E :IR.
f3,
onde
f3
3.6 Proposio. Seja a : I---+ IR2 uma curva regular e s : I---+ s(I) e IR
a funo comprimento de arco de a a partir de to. Ento existe a funo
inversa h de s, definida no intervalo aberto J = s(I), e f3 =a oh uma
reparametrizao de a, onde f3 est parametrizada pelo comprimento de
arco.
Demonstrao.
= la'(t)I >O,
D
A aplicao f3 da Proposio 3.6 dita uma reparametrizao de a pelo
comprimento de arco. Observamos que essa reparametrizao no nica,
pois depende da funo comprimento. de arco, que, por sua vez, depende de
to fixado.
Usando a Proposio 3.6, vamos obter uma reparametrizao pelo com-
va 2 +b 2 dt= ../a2+b2t.
41
s
, s E IR. Portanto,
v'a2+b2
f3
= -Jjj -Vi.
h(s)=log(~+1).
Portanto,
f3(s) = ((
~ + 1) cos(log( ~+ 1)), ( ~ + 1)
sen(log(
~+ 1)))
entre t = a e t = b.
3. Obtenha uma reparametrizao da ciclide
a(t) =(a( t - sent), a (l - cost)),
f3 (r)
42
a(s)
= (x(s), y(s)), s E I,
t(s)
(x'(s), y'(s)).
Seja n(s) um vetor unitrio ortogonal a t(s), tal que a base ortogonal de
ffi. 2 formada por t(s) e n(s) tem a mesma orientao que a base cannica
e1
= (1, O),
e2
,_,=----------- __O
_____C()]ljunto
a em s.
Figura 10
n(so).
43
t'(s) = k(s)n(s).
Considerando a curva a(s)
(x(s), y(s)), s
I, segue-se da definio
que
n'(s) = -k(s)t(s).
Resumindo, se a : I--+ JR.2 uma curva regular, parametrizada pelo comprimento de arco s, ento o referencial de Frenet t(s), n(s) satisfaz as
equaes
t' (s)
k( s) n (s),
n' (s)
-k(s )t(s),
</>
44
por a'(so) e a'(so+h), isto, Os</J(h)sn talque
cos<f>(h)
(a'(so), a'(so+h)).
Ento, lim </> (hh) indica a velocidade com que as retas tangentes mudam de
h-+0
la'(so+h)
a'(so)I
2 sen </>(h)
2 '
conclumos que
Jk(so)I
4.1 Exemplos
a) Seja a(s) uma curva parametrizada pelo comprimento de arco cujo
trao uma reta. Ento, a curvatura identicamente nula. De fato, seja
a(s)
(as+xo, bs+yo), s
E J,
a(s)
= a'(s)
constante,
t(s)
(- sen~, cos),
n(s)
(-cosJ;, - seni).
Logo,
k(s)
(t'(s), n(s))
45
a, dada por
b sen
s
z/
t(.s)
.s)
'
Figura 11
ori~ntao
da curva.
f3 : J
46
Ento,
t(r) -
(x'' y')
J (x')2 + (y')2'
k(r)
n(r)
(-y', x')
J(x')2 + (y')2;
-x"y' + x'y''
((x')2 + (y')2)3/2.
= a(r) , temos
d/3 ds = a'(r)
ds dr
e
d
f3 ( ds ) '
ds2
onde
dr
d[J d's
+ ds
(1)
,,
dr2 =a (r),
ds
I
dr= Ja (r)J.
(2)
(3)
E, portanto,
(x', y')
- v(x')2 + (y')2
(-y', x')
n(r) = J(x')2 + (y')2
Como
/ d2f3
)
k(s(r)) = \ ds 2 (s(r)), n(r) ,
(4)
47
k(r)
-x''y' + x'y''
((x')2 + (y')2)3/2
D
e, portanto, k(r)
a'(r)
e,.(cosr
a"(r)
e(-2senr, 2cosr),
r-:;
v2er
senr, senr+cosr),
mento de arco. O vetor tangente t(s) =a' (s) unitrio e, portanto, a" (s)
ortogonal a a'(s). Fixemos so E 1 e suponhamos que k(so) =!=-O. Observamos que a reta tangente a
a em so,
a(s)
a"(so)+R(s),
onde R(s) uma funo vetorial, tal que lirn ( R(s) )2 =O. Portanto,
..
S-+So
a(s)-T(s)=
S-SQ
(s s ) 2
a"(so)+R(s).
2
48
Yt
t (so)
1.,,~l.
i
7
!
oC(so)
k(sohO
k(s0 )<0
Figura 12
Como k(so)
49
Figura 13
Uma involuta de uma curva regular f3 uma curva que ortogonal s retas
tangentes de f3. Portanto, se f3 evoluta de a, ento a uma involuta de
{3.
Observamos que o ngulo entre duas curvas regulares que se interceptam
definido como sendo o ngulo en~e os vetores tangentes s curvas no ponto
de interseo.
4.4 Exerccios
1. Obtenha a curvatura das seguintes curvas regulares:
a) a(t)
= (t, t4 ), t E lR;
b) a(t)
(cost (icost
c) a(t)
1)), t E lR (cardiide);
mnima.
50
4. Seja a(s) (x(s), y(s)) uma curva regular parametrizada pelo comprimento de arco, e sejam n(s) o vetor normal e k(s) a curvatura de a.
Considere a famlia de curvas
f3(s,r)
= a(s) + rn(s),
Sr S.
5. Seja r r( e) uma curva regular dada em coordenadas polares. Verifique que o comprimento do arco da curva de 80 a 81 obtido por
e a curvatura
k(8) =
2(r') 2 - rr'' + r2
(r2 + (r')2)3/2
51
a)
em s.
1O. Seja a(s) uma curva regular parametrizada pelo comprimento de arco
s e tal que k( s) > O, Vs. Verifique que o comprimento do arco da evoluta de a entre so e s1 igual diferena entre os raios de curvatura
em
so e
s1.
/3 (t)
ortogonal a a e f3 em t. Verifique
o centro de curvatura de
e E 1,
a
em e' Q( e) a projeo de
a (e)
sobre
r
52
k(s).
b) A curva a (s) acima nica quando fixamos a (so)
= Po
e a' (so)
= (LoT)(f3(s)).
1s
so
xo+ls
x(s)
cos(e(s)+)ds,
so
y(s)
Yo +
1s
so
Vamos verificar que a curva a assim definida est parametrizada pelo com-
53
= ( cos(e(s)+),
t(s)
a'(s)
n(s)
( - sen(e(s)+), cos(e(s)+) ),
sen(e(s)+) ),
// y ") = k( -y,I
(X,
X ') ,
x''
-ky''
y"
-kx'.
f3
= po
e a' (so)
= vo,
existe uma rotao L e uma translao T de JR2 tal que a curva =Lo To f3
= a(so) e
a =Lo To f3.
satisfaz (so)
Portanto,
'(so)
= a'(so).
D
5.2 Exerccios
1. Caracterize todas as curvas regulares planas que tm curvatura constante.
2. Prove que toda curva regular plana cuja curvatura da forma
k(s)
= --b,
as+
a "=I O,
54
= --h-.
cos s
4. Determine as curvas regulares do plano cujas retas tangentes se interceptam em um ponto fixo.
5. Determine as curvas regulares do plano cujas retas normais se interceptam em um ponto fixo.
Captulo II
CURVAS NO ESPAO
Neste captulo ser desenvolvida a teoria local de curvas no espao euclidiano Jlt3 . Como veremos a seguir, muitos conceitos bsicos para curvas no
espao so introduzidos de modo anlogo ao de curvas planas.
em Jlt3 . A
formado pelos
e Jit
a(t)
56
t E
JR, a> O, b ::j: O a hlice circulm: O trao desta curva est contido no
Figura 14
e) A aplicao
a(t)
Z/,\
Figura 15
57
---+
dita
f3 =
a oh :J
---+
:IR3
uma curva regular, que tem o mesmo trao que a, chamada reparametrizao de a por h. A funo h a mudana de parmetro.
Observamos que, se f3 uma reparametrizao de a por h, ento a
uma reparametrizao de f3 por h- 1 . A orientao de uma curva regular
a o sentido de percurso do trao de a. Uma reparametrizao f3 de a
tem orientao igual (resp. oposta) de a se a mudana de parmetro
estritamente crescente (resp. decrescente).
58
2.1 Exemplo. A curva
a(s)
= ( cos
sen
s E IIR,
f3(t)
= (cost,
.ri'
sent, t),
s E IIR.
la'(t)ldt
to
s(t)
t1
la'(t)ldt.
to
Uma curva regular a : 1 __, 1!R3 dita parametrizada pelo comprimento de arco
se para cada to, t1 E 1, to ::; t1,
t1
la'(t)jdt
= t1
to.
to
2.2 Proposio~. Uma curva regu.lar a : 1 __, 1!R3 est parametrizada pelo
= 1.
Como ocorre com as curvas planas, toda curva regular no espao admite
uma reparametrizao pelo parmetro comprimento de arco.
2.3 Proposio. Sejam a: 1__,1!R3 uma curva regu.lar e s: 1 __, s(I) e 1IR
59
f3
= (t,
a(t) = (t,
a) a(t)
t 2 , t 3 ), t E IR,
b)
so curvas regulares.
2. Verifique que a aplicao
(t, O, e-fz-)
a(t) = { O
(t,e-fz-,o)
se t
<o,
se t =O,.
se t>O,
= (1 +cost,
=
; x2 +
{(x, y, z) E IR
y2+z2 =4}.
(x- l)
+y2 = 1}
e da esfera S= {(x, y, z) E IR
4. Obtenha uma curva regular em IR3 cujo trao coincide com a interseo
do cilindro C = {(x, y, z) E IR3 ;
x2 +y2 = 1}
= (2,
e o plano x+2y+z = 1.
3, 1) e a' (t)
= (t 2 , t, d).
60
-;-t,
1
-/)
a(s) =
onde u(s)
(~u(s),
= s+ v's2 +1,
1
u
2 (s),
~ log(u(s))),
12. Considere a curva regular a(t) = (2t, t 2 , logt), t E (O, =). Obtenha a
funo comprilnento de arco a partir de t = 1. Verifique que os pontos (2, 1, O) e (4, 4, log2) pertencem ao trao de a e calcule o
comprimento de arco de a entre esses pontos.
13. Obtenha uma reparametrizao pelo comprimento de arco das curvas
a) a(t)
b)
61
14. Seja a(t) uma curva regular. Prove que, se f3(s) e y(s) so duas
reparametrizaes de a por comprimento de arco, ento s = s+a,
onde a uma constante.
a(s)=
= ~'
a
Vs E R
(1 +s)z3 (1-s)z3 s )
,
, v'2
3
3
, sE(-1,1),
62
est parametrizada pelo comprimento de arco e
1
k(s)
= J8(1-s2).
A proposio seguinte caracteriza as retas como sendo as curvas de curvatura identicamente nula.
3.3 Proposio. Seja a : 1 ---+ JR3 uma curva regular parametrizada
a" (s)
=/=-
3.4 Definio. Seja a : I---+ JR3 uma curva regular parametrizada pelo
comprimento de arco tal que k(s) > O. O vetor
n(s)
a" (s)
k(s)
63
Denotando por t(s) o vetor unitrio a'(s), temos que t(s) e n(s) so
vetores ortonormais e
= k(s)n(s).
t' (s)
= t(s)
x n(s).
em s.
Cada par de vetores do triedro _d.e Frenet determina um plano. O plano de
JR que contm a(s) e normal ao vetor t(s) o plano normal curva
a em s. O plano que contm a(s) e normal a b(s) denominado plano
osculador, e o plano que contm a(s) e normal a n(s) .o plano retificante
da curva a em s (ver Figura 16).
3
b(.s)
1'
1
pl.ano no:rma.l
!
l
i
F - - - - - 7 n( .s)
pl.ano i:etificante
1 ~(.s)
1
1
i,.
t:(.s)
1
1
Figura 16
64
b'(s)
t'(s)xn(s)+t(s)xn'(s)
t(s) x n'(s).
i-(s)n(s) de-
a(s)
k(s) = ja11(s)j =
2 a b2.
a+
O) ,
b),
Portanto,
a"(s)
n(s) = k(s)
b(s)
s
- cos -;:::::;===:;:,
= t(s) x n(s)
b1 (s)
lb(so+h)-b(so)I
= 2 sen
</J~h),
conclumos que
li-(so)I
lb'(so)I = lim'</J(hh).
h->O
66
que
t'(s)
k(s)n(s),
b'(s)
1:(s)n(s).
n(s)
b(s) x t(s),
derivando temos
n'(s)
n' (s)
Resumindo, se a : I -+ JR:.3 uma curva regular, parametrizada pelo comprimento de arco, e tal que k(s) >O, Vs E/, ento o triedro de Frenet definido
por
n(s)
a"(s)
la"(s)I' b(s)
t' (s)
k(s)n(s),
n'(s)
-k(s)t(s)-1:(s)b(s),
b'(s)
,;(s)n(s),
67
3.8 Proposio. Seja a : I --+ JR.3 uma curva regular de parmetro t e
k(s(t))
i-(s(t))
d/3 ds
ds dt =
'( )
t'
(1)
2
2
2
d f3 (ds)
d/3 d s _ "( )
ds2 dt + ds
- a t
(2)
~;=la' (t)I,
(3)
(a"(t), a'(t))
=----la'(t)I
(4)
Como
temos que
d 2s
68
e, portanto, ds
k(s(t))
= 1~~1
la'(t) x a"(t)I
la'(t)l 3
Para obter a expresso da toro, vamos utilizar os vetores normal e binormal de f3, que so dados por
n(s(t))
b(s(t))
Substituindo (3) e (4) em (1) e (2) e usando a expresso de k(s(t)), obtemos
n(s(t))
db
ds(s(t))
a' x a"'
la'lla' x a"I
Como
i-(s(t)) = (
~~ (s(t)), n(s(t))),
conclumos que
i-(s(t)) =
As expresses k(s(t)) e i-(s(t)) obtidas na proposio acima so, respectivamente, a curvatura e a toro de a em t.
D
69
3.9 Exerccios
1. Considere as seguintes curvas regulares:
a) a(t)
JR,
Vi t), t E R.
a) a(t) = (t, t 2 , t 3 ),
b) f3 (t)
c) y( t)
= (cost,
sent, ),
70
1, onde
tangente de a.
a) Verifique que o vetor tangente indicatriz paralelo ao vetor normal
de a em pontos correspondentes.
71
k2+-r2
kT =
k2
'
't'1
h' -k'-r
k(k2 + -r2)"
ki =
k2+-r2
't' 2
'
h' -k'-r
-r2 = -r(k2 + -r2)"
4. Aplicaes
Como primeira aplicao das frmulas de Frenet, veremos que as curvas
planas so caracterizadas pelo fato de terem toro identicamente nula.
4.1 Lema. Seja a : I--+ IR3 uma curva regular de curvatura no-nula. Se
a uma curva plana, ento o plano osculador de a independe do parmetro
e o plano que contm o trao de a.
Demonstrao. Podemos supor a(s) parametrizada pelo comprimento
de arco. Como a uma curva plana, existe um plano de JR3 que contm
a(I). Seja v um vetor no-nulo ortogonal a este plano. Provaremos que v
paralelo a b(s), Vs E/. Fixado so E I, ento Vs E/,
72
Derivando, temos
(a'(s),
v) =O,
(a"(s),
v) =O,
portanto,
(t(s), v) =O,
k(s) (n(s), v)
O.
o
Como consequncia desse lema, temos
4.2 Proposio. Seja a : I -+ R 3 uma curva regular, de curvatura nonula. Ento, a uma curva plana se, e s se, "C O.
Demonstrao. Consideremos a parametrizada pelo comprimento de
arco. Se a uma curva plana, ento, pelo lema anterior, b(s) constante,
~~----partarit0,-7/(s)-;;-io~Vs E/. Donde concfoillios que "t(s)
(b'(s), n(s))
O, \:/s E/.
Reciprocamente, se "t(s) O,\:/ s E/, ento b'(s) O e b(s) = b constante. Fixado so E/, consideremos a funo f(s) = (a(s) - a(so), b). Vamos provar que f(s) =:=O. Derivando obtemos f'(s) (a'(s), b) = (t(s), b)
O, portanto, f(s) constante. Como f(so) O, conclumos que f(s) =O,
isto , a(I) est contido no plano que contm a(so) e ortogonal ao vetor
b.
o
A proposio seguinte caracteriza uma curva regular cujo trao est contido em uma circunferncia.
4.3 Proposio. Seja a : I -+ R3 uma curva regular. Ento, o trao de
a est contido em uma circunferncia de raio a > O se, e s se, a toro
73
't'
O e a curvatura k
=a1
Demonstrao. Podemos considerar a(s) parametrizada pelo comprimento de arco. Suponhamos que a(I) est contido em uma circunferncia
a(s) - cl 2 a 2 e, pela proposio anterior,
de centro e e raio a. Ento, 1
para todo s E J, 't'(s) O e
(a(s)
e, b) =O,
onde b(s)
(a"(s), a(s)-c) =
1.
la"(s)lla(s)
cl
1,
logo
1
a
Para provar a recproca, consideremos a aplicao. diferencivel
k(s)
la"(s)I
= -.
f :I
JR definida por
f(s)
a(s) +an(s).
f(s)
t(s)+an'(s)
t(s) +a(-k(s)t(s)- 't'(s)b(s)).
74
Como -r(s) =O e k(s) =
~'
a
=c
= c. Logo,
la(s)-cl =a,
ou seja, o trao de a est contido em uma circunferncia de centro c e raio
a.
D
A hlice circular a(t) =(a cost, a sent, bt), t E IR, a> O, tem a propriedade de que o vetor tangente forma um ngulo constante com o eixo Oz.
Este um caso particular de uma classe de curvas que tm essa propriedade.
4.4 Definio. Uma curva regular a : I ---+ IR3 uma hlice se existe um
vetor unitrio v que forma um ngulo constante com a'(t), Vt E I, isto ,
(a'(t), v) constante.
1a'(t)1
a(t) =(e' cost, e' sent, e'), t E IR, unia hlice
(ver Figura 15),pois a'(t) formaumnguloconstantecomovetor (O, O, 1).
75
o = -
Portanto, Vs E I,
= o,
cos e(s) e'(s) = o,
sen e(s) e' (s)
= o.
tg
e=
't"
k
't"
Ento,
V= COS
1. Considere uma curva regular a : I ---+ ffi.3 , parametrizada pelo comprimento de arco, tal que k(s) > O, Vs E I. Prove que:
a) Se todos os planos osculadores d
76
Determine
F#=~-------isto-,S-={p E IJR3;
1
k!(s)
e= - k(s) n(s) - k2(s)-r(s) b(s)
a(s)
e, portanto,
r = - k2 (s) +
.
b) Reciprocamente, se k2 (s)
k!(s) )
k2(s)-r(s)
k!(s) )
k2(s)-r(s).
constante igual a
r2 e
77
6. Seja
a :I
~ IJR3 uma curva regular cujo trao est contido em uma es-
=-a
a, satisfaz a propriedade
a) a(t)
= (i,
e-~,
Vi t), t E IIR,
b) f3 (t)
= (t + -/3
sen t, 2 cos t,
vf3 t -
a(t)
(at, bt 2 , ct 3 ), t E IIR,
e I,
a.
12. Seja a : I-+ IJR3 uma hlice, eu o vetor unitrio fixo que forma um
ngulo constante
s(t) cos
eu
e prove que:
78
13. Seja a : I---+ JR3 uma curva regular parametrizada pelo comprimento
de arco. Prove que a uma hlice se, e s se, Vs E !, as retas que
passam por a(s), na direo de n(s), so paralelas a um plano fixo.
14. Prove que a indicatriz esfrica tangente ou binormal (ver Exerccios 12
e 13 da seo anterior) de uma curva a uma circunferncia se, e s
se, a uma hlice.
--
. -s2 ... - s3
a(s) = a(O) +a' (O)s +a" (O) + a (O) ! + R,
21
3
111
a' (O) =
a" (O)
t (O),
= k(O)n(O),
111
a(s) ~
+ e~) s2 +/(~O)
s n(O)3)
79
x(s)
y(s)
z(s)
!c2(0)
s - - - s 3 +R1
6
'
k(O) 2 /((O) 3
- - s +--s +R2
2
6
'
k(O)-r(O)
6
(5)
s 3 +R3,
Vs E !. Fixado so
JR3
80
pl.ano
:retificante
Figura 17
z 11'
!
!
b(O),k
n(O)
pl.ano
osculado;r
i\
Figura 18
Observamos que os itens b) e c) da Proposio 5.1 fornecem a interpretao geomtrica do sinal da toro.
81
5.2 Exerccios
1. a) Considere uma crrcunferncia de raio r. Sejam Po e P dois pontos dessa circunferncia e s(::; nr) o comprimento de arco da circunferncia de Po a P. Se h = 2r sen !_ o comprimento da corda PoP,
2r
verifique que, para s suficientemente pequeno, a diferena Ih - si
aproximadamente dada por s 3 / 3 ! (2r )2, ou seja, da ordem s 3 .
b) Seja
to
s:( ) = (.
ko
s, 2 s '
= (coss,
sens, O).
82
6.1 Definio. Uma aplicao F : JR3
IF(p) -F(q)I
=IP
qj.
6.2 Exemplos
JR
associa
T(p)=a+p
JR3 ,
uma isometria de
denominada translao por a.
e) Consideremos a aplicao F que, para cada ponto (x, y, z) E JR3 ,
associa
F(x,
y, z) = (x cos e-y
sen e,
sen
cose,
onde O < e < 2rc fixo. Ento, F uma isometria de JR3 , denominada
rotao em torno do eixo Oz.
d) A aplicao definida por
r- 1
uma
d) Dados dois pontos p e q de JR3 , existe uma nica translao T tal que
T(p) q.
83
Demonstrao. a) Segue trivialmente da definio.
b) Se F uma translao por a e G uma translao por b, ento F o G
urna translao por a+ b.
c) Seja T(p)
a+ p e considere G(p) =-a+ p. Ento, To G(p)
Go T(p) = p. Portanto, G = r- 1
d) Considere a translao por q - p, isto , T (v) = q - p + v, v E
. Ento,
T(p) = q. Para provar a unicidade, consideremos T e T translaes por a
e b respectivamente, tais que T (p) T(p) = q. Ento, T (p) T(p) O,
da conclumos que a= b, portanto, T = f'.
D
3
6.4 Definio. Urna transformao ortogonal de IPL uma aplicao
linear C: IPL3 _,. JPL3 que preserva produto interno, isto ,
_,.
!C(p)
C(q)l 2 = IC(p
q)l 2 = (C(p
q), C(p
IC\p)
C(q)l 2
q)).
84
uma isometria.
D
fcil ver que nem toda isometria uma transformao ortogonal. Basta
considerar uma translao por a# O. A proposio seguinte d uma condio
para que uma isometria seja uma transformao ortogonal.
6.6 Proposio. Se F : JR 3
---+
Demonstrao. Inicialmente, vamos provar que F preserva produto interno. Sejam p e q pontos de JR 3 . Como consequncia das propriedades do
produto interno, temos que
(F(p), F(q))
= ~ (IF(p)l 2+
2
2
IF(q)l - IF(p)-F(q)l ).
= 2 (IPl 2+M 2
2
lp-ql ),
portanto,
(F(p), F(q))
= (p, q).
Falta provar que F uma aplicao linear, isto , que F(ap + bq)
aF(p) + bF(q) para todo a, b E 1R e
IF(ap+bq)-aF(p)
p, q E JR3 . Consideremos
bF(q)l
85
F(x, y, z)
E JR
F(x y z)
' '
v'3 4-y
' 7+-x+-z
v'3 1 )
1
= ( -x--z
2
2 '
'
86
transformao ortogonal
C(x, y, z)
(!x- J3 z
2
-y
2 '
' 2
+-21
z) .
de R 3 , ento F diferencivel e \f p
Jll3 e v
Jll3 , dFp(v)
= C(v).
Demonstrao. F diferenCi~vel pois composta de aplicaes diferenciveis. Se T uma translao por a, ento
dFp(v) =
~(a+C(p)+tC(v))I,,
C(v).
D
(dFp(v), dFp(w))
= (v, w),
\fv, w E Jll3 .
87
Segue deste corolrio que, se F: JR. 3 -+ JR. 3 uma isometria, ento adiferencial de F em p E JR.3 leva iuna base ortonormal v1 1 v2, v3 de JR.3 em
outra base ortonormal dFp(v1) 1 dFp(v2), dFp(v3). Dizemos que a isometria
F preserva orientao se as duas bases tm a mesma orientao, isto ,
F(x 1 y, z)
inverte orientao e
preserva orientao.
6.12 Proposio. Sejam p e q pontos de JR.3, v1, v2, v3 e wi, w2, W3
referenciais ortonormais de JR. 3 : Ento, existe uma nica isometria F de JR.3
q e dFp(vt)
Wt, i
= 1, 2, 3.
C(v) =
88
F(p) = ToC(p)
q-C(p)+C(p) =q,
ToC e
satisfazem as
F(p)=F(p)
q,
dFp(vi) = dFp(vi) =
Da ltima relao temos que C(vt)
t
T
e e.
= C(vt)
Wj.
Wt
e e e so aplicaes
t o e(p) = q' isto , T e
Como
Portanto, T o (p)
so translaes que levam C(p) em q. Conclumos da Proposio 6.3 que
t,
donde F
F.
IR3 ,
a e uma isometria F de
ento F o a
uma curva regular que difere de a apenas pela sua posio no espao.
Dadas uma curva regular
--i-
IR3 so congruentes se
6.14 Proposio. Seja a: I --i- IR3 uma curva regular parametrizada pelo
comprimento de arco, tal que a curvatura k(s) >O, \Is E/. Seja F uma
89
k(s),
t(s)
-r(s),
t(s)
dFa(s) (t(s) ),
ii(s)
dFa(s)(n(s)),
b(s)
dFa(s)(b(s)),
(resp. - )
'(s)
= dFa(s)(a'(s)),
(6)
logo,
j'(s)I = ldFa(s)(a'(s))I
ja'(s)I = 1,
onde a segunda igualdade decorre do Corolrio 6.10. Portanto, parametrizada pelo comprimento de arco.
Faremos a demonstrao no caso em que F preserva orientao. De (6)
temos que
(7)
da
t'(s)
dFa(s)(t'(s)).
k= j"(s)j
ii(s)
" (s)
k(s)
= jt'(s)j = jdFa(s)(t'(s))j
dFa(s)
lt'(s)j =k(s),
("k(s)(s))
dFa(s)(n(s)).
(8)
90
F preserva orientao, portanto,
(dFa(s)(t(s))
dFa(s)(n(s)), dFa(s)b(s)) =
n(s)), dFa(s)(b(s))),
dFa(s)(t(s))
dFa(s)(n(s))
dFa(s)(t(s)
n(s)).
(9)
b(s) = t(s)
ii(s) = dFa(s)(b(s)).
Finalmente,
~(s)
(b(s), n(s))
(b'(s), n(s))
= (dFa(s)(b'(s)), dFa(s)(n(s))) =
i-(s).
Analogamente, demonstra-se o caso em que F inverte orientao, observando que (9) passa a ser
dFa(s)(t(s))
dFa(s)(n(s))
= -dFa(s)(t(s) X n(s)).
o
91
F o a que congruente a
a, em
np(so),
dFa(so) (na(so))
dFa(so)(ba(so))
tp(so),
k
-!
ka
't"a
kp,
i-p (resp.
= -'t"a
=i-p),
ii(so)
= np(so),
b(so)
b13(so).
Para provar que = /3, basta mostrar que t tp, pois neste caso teremos (s) f3(s) constante e, como (s0 ) = f3(so), poderemos concluir que
92
(s)
= f3(s), Vs E J.
Consideremos a funo
f: I
EI
associa
f(s) = ll(s) - t13 (s)l 2+ ln(s) - n13(s) 12 + lb(s) - b13 (s) J2.
No difcil verificar que f'(s)
1s
t(s)ds.
so
tf(s)
k(s)ni(s),
n~(s)
-k(s)tt(s)
b~(s)
7:(s )ni(s).
(10)
1;::; i $ 3,
t(so)
(1, O, O),
n(so)
b(so)
(11)
(O, O, 1).
Vamos provar que esta soluo t(s), n(s), b(s) um referencial ortonormal. Para isso, consideremos o seguinte sistema de equaes para as funes
93
d
2k(t, n),
ds (t, t)
d
-2k(t, n) 27: (b, n),
ds (n, n)
d
ds (b, b) - 27: (b, n),
d
ds (t, n) = k(n, n)-k(t, t) -1: (t, b),
d
k(b, n)+7:(t, n),
ds (t, b)
d
7:(n, n)-k(t, b)-7:(b, b),
ds (b, n)
(12)
(n(s), n(s))
(b(s), b(s))
= (t(s), b(s)) =
=1,
De fato, basta substituir estas funes no sistema acima para verificar que
formam uma soluo do sistema. Portanto, a soluo de (10) com a condio
inicial (11) forma um referencial ortonormal para todo s. Alm disso, b(s)
t(s) X n(s), j que esta condio satifeita para S SQ.
Definimos a curva a(s) =.
r t(s)ds.
lso
94
b) Provar que a curva a nica, quando fixamos a(so) = po, a'(so) =
vi e a" (so) = k(so)v2, onde v1 e v2 so vetores ortonormais de ffi.3 ,
corresponde a provar, inicialmente, que existe uma nica soluo do sistema
(10), quando fixamos t(so) = v1, n(so) = v2 e b(so) =vi x v2. Este fato
decorre do teorema de existncia e unicidade de soluo de um sistema de
equaes diferenciais lineares. Obtida esta soluo t(s), n(s), b(s), prova-se
que um referencial ortonormal usando o sistema (12). Como a curva a
deve satisfazer a'(s)
= po +
1s
so
t(s)ds.
D
6.16 Exerccios
3. Verifique se as seguintes funes so isometrias de ffi.3 . Em caso afirmativo, obtenha a funo como composta de uma translao e uma transformao ortogonal.
a) F(x, y, z)
E JR.3 ,
b) F(x,y,
(2-y,z-3,x+1),
e) F(x, y, z)
v1
(1/J2, O, 1/J2), v2
95
(-x, -y,
inverte orienta-
7. Seja F: iR3 -T
uma aplicao diferencivel, tal que Vp E iR3 , dFp
preserva produto interno. Prove que F uma isometria.
8. Verifique que a curva a(t) = (2 cost, 2 sent, 2t), t E iR, e a curva
f3(t) = (t+V3 sent, 2 cost, V3 t sent) so congruentes. Obtenha
a isometria F tal que F o a = f3.
9. Sejam
/f,
a sen_:_ e a toro
2a
't'(s) = 2a, a> O. Verifique que o trao de a est contido em uma esfera
de raio a.
96
constante
'1: = - ,
_/..
,
a -r- O se, e so se,
a(t)
onde (!1 , h, f3)
(j
f1(t)dt,
j fi(t)dt, j f3(t)dt),
IF (t) !=
~
as
e toro
'l:(s) = bs, onde a e b so constantes, ento a curva admite uma parametrizao da forma
onde A, B e e so funes de a e b.
f3 (t)
16. Seja a(s) uma curva regular cuja toro no se anula. Prove que
a) existe uma curva
f3
tal que a e
f3
ak(s)+b'l:(s)
=1,
onde a e b so constantes;
b) existe mais de uma curva
f3
tal que a e
f3
so curvas de Bertrand
97
7. Teoria do Contato
JR3 , dentre todas as retas de IR3 que passam
por a (to), intuitivamnte, parece-nos que a reta tangente a a em to aquela
Dada uma curva regular a : 1
que tem maior "contato" com a curva. Alm disso, dentre todos os planos
que contm a reta tangente a a em to, o plano osculador parece ter maior
"contato" com a curva. A fim de precisar melhor essas idias, consideremos
a seguinte
7.1 Definio. Sejam a : 1-+ JR3 e f3 : l-+ JR3 curvas regulares tal que
1 em t =O.
(t,
1 2
2t +
f3(to)
f3(t)
a+ (t-to)v
98
f3(to) = a(to),
f3'(to)=a'(to).
Portanto,
a(to) + (t
f3(t)
isto , f3 a reta tangente a
to)a'(to),
D
Na teoria de curvas planas, consideramos a noo de raio de curvatura e
crculo osculador. Analogamente, para uma curva regular no espao a(s),
cuja curvatura k(s) no se anula, definimos o raio de curvatura de a em
/3 (s), s
#O,
\f s E J. Fixado so E J, seja
f3
(/3(s)
em so,
(13)
99
Alm disso,
f3(s)
1
Considerando a derivada de (13) e (14) em s
12
k2(so).
(14)
so, obtemos
O,
O.
(/3"(so),b(so))
(/3" (so), n(so))
Como l/3'(s)I
O,
=
k(so).
/3 11 (so)
2". 2.
2". n (resp.
100
a e n tm contato de ordem
JR3
l(so)
t(so),
"(so)
a"(so).
o
Observamos que, se a toro de a em so no-nula, ento a e o plano
osculador em so tm contato de ordem igual a 2 (ver Exerccio 4).
De modo anlogo Definio 7.5, pode-se introduzir o conceito de contato
entre uma curva e uma esfera (ver Exerccio 9). No caso de uma cmva a(s)
cuja toro -r(s) no se anula, definimos a esfera osculatriz de a em so
101
R(so)
p(so) + (p'(so))2
't'(so)
p'(so)
C(so) = a(so) + p(so)n(so) +-(-) b(so),
't' so
onde p(s0 ) o raio de curvatura. A esfera osculatriz tem contato de ordem
,;::: 3 com a curva (ver Exerccio 9).
7. 7 Exerccios
1. Seja a : I --+ JR3 uma curva regular, parametrizada pelo comprimento
de arco. Se para todo s E I, k(s) >O, ento prove que a reta tangente
a a em s, Vs E I, tem contto de ordem 1 com a. D um exemplo
de curva regular que tem contato de ordem 2 com uma de suas retas
tangentes. possvel obter uma curva regular, que tem contato de ordem ,;::: n, com uma de suas retas tangentes, para todo inteiro n ,;::: 1?
Justifique.
102
Figura 19
t1
y(t1) < O
y
~{tl
ri( t)
Figura20
103
(p') R)2 + (
p2 d
[( R 3 -r ds
p'
p-r2R2
-rp
)2] i
l
a.
8. Prove que, se o raio de curvatura esfrica de uma curva a constante,
ento a curvatura de a constante ou o trao de a est contido em
uma esfera.
9. Seja a(s), s E/, uma curva parametrizada pelo comprimento de arco
s. Consideremos uma esfera em JR;.3 de centro e e rio a > O
a em so,
104
d) A esfera osculatriz de
em so.
10. Obtenha a ordem de contato da curva a(s)
{(x, y, z)
JR3;
+y2 + i2 =
= (s, r, O)
e a esfera S =
s1
s2
n. Se n
e a(s2)
s1
s2
8. Involutas e Evolutas
a de IR3 determina duas famlias de
curvas, que so as .fuvoiutas e evolutas de a. O estudo das evolutas de uma
curva no espao difere bastante de estudo das evolutas de uma curva plana.
+, ........... - -Uma curva plana tem uma nica evoluta descrita pelos centros de curvatura
(ver seo 4 do Captulo I), enquanto que uma curva no espo tem uma
famlia infinita de evolutas. Como veremos a segur, as curvas descritas pelos centros de curvatura ou pelos centros de curvatura esfrica de uma curva
a,
a.
105
8.1 Definio. Seja a (s), s E /, uma curva regular de IR3 . Uma involuta
de a uma curva (s) tal que, \Is E!, (s) intercepta a reta tangente a
a em s ortogonalmente.
Supondo que a(s) parametrizada pelo comprimento de arco, vamos obter
a famlia das involutas de a. Como (s) pertence reta tangente a a em
s, ento
(t+'t+t 1 ,
t) =o.
Portanto,
l+;t'(s) =O,
ou seja,
(s) =a
s,
(s)
a(s) + (a-s)t(s).
(15)
106
Figura 21
(16)
a'
(1
( 1 + i)
Logo,
k'
('
i}
107
Portanto,
a(s)
(17)
108
3. Seja a(s) uma curva regular. Prove que a curva determinada pelos
centros de curvatura de a uma evoluta de a se, e s se, a uma
curva plana.
4. Seja a(s) uma curva parametrizada pelo comprimento de arco, tal que
k(s) :/=O, Vs. Prove que a curvatura k e a toro i da involuta de
a, isto , (s) a(s) +(a s)t(s), so dadas por
k! 1: k1:'
- (a-s)k(7:2+1c2r
"(;-------
9. Verifique que ~ catenria a (t) = (t, e cosh ! , O) pode ser reparametrizada pelo comprimento de arco por
e
[3(s)
a(t(s))
s
(e arcsenh - ,
e
O).
Captulo III
TEORIA LOCAL DE SUPERFCIES
6 denominado trao de
X.
110
1.2 Observaes.
a) A aplicao X(u, v)
J(uo, vo)
a(uo, vo)
dx
u
a)uo, vo)
dx
()y
au (uo, vo)
()y
a/uo, vo)
dz
du (uo, vo)
dz
dv (uo, vo)
Denotando esses dois vetores por Xi 1 (uo, vo) e Xv(uo, vo) respectivamente,
observamos que as seguintes afirmaes so equivalentes:
b.l) dXq injetora;
b:2) a matriz J(u 0 , vo) tem posto 2;
b.3) os vetores Xi 1 (uo, vo), Xv(uo, v0 ) so linearmente independentes;
111
1--7
X(u, vo),
1--7
X(uo, v),
Figura 22
1.3 Exemplos
po + ua + vb, isto ,
X(u, v)
112
Figura23
b) A aplicao
X(u,
v) (u, v,-~(d+au+bv)),
onde (u, v) E JR2 e a, b, e i= O so constantes, uma superfcie parametrizada regular, cuja imagem o plano de JR3 , dado por
O}.
e) Seja
X(u, v)
E JR ,
onde a e b so constantes no-nulas. A aplicao X diferencivel e os vetores x;, (1, O, 2u/a2 ) Xv =(O, 1, 2v/b2 ) so linearmente independentes
para todo (u., v) E JR2 . Portanto, X uma superfcie parametrizada regular,
cuja imagem o ptzrabolide elitico (ver Figura 24)
113
Figura24
d) Consideremos a aplicao X : U
definida por
Figura25
A aplicao X diferencivel e os vetores
x;,
Xv
114
X(u, v)
(u, v,
X(u, v) =
\7
X(U)
X
Figura 26
115
~ ~fv
J= (
fu
'
X(u,v)=(u,v,:~ ~),
(u,v)EJM;.
{ (x, y, z) E JM;.
~ ~}.
Figura 27
116
= (f(u)
R, uma curva
x;,
Xv
(/ (u)
cos v,
= (- J(u)
f (u)
117
i
1
o j
Figura 28
1.7 Exemplos de superfcies de-rotao
a) A superfcie
Figura 29
118
b) Consideremos a catenria
a(u)
u
a
X(u, v)
u
u
(u, a cosh- cos v, a cosh- sen v),
a
Figura 31
119
Considerando a rotao de
de rotao
X(u, v)
a em torno do eixo
Figura 32
Observamos que o trao de uma superfcie parametrizada regular X( u, v)
admite auto-interseo, isto , podem existir dois pontos distintos (uo, vo) =J.
(ur, vr), tal que X(uo, vo) =X(ur, vi). Por exemplo, em umasuperficie de
rotao
X(u, v)
onde u E l e v E JR, temos X(u, O) =X(u, 2n), para todo u E/. Outro
exemplo de uma superfcie que admite auto-interseo dado por
X(u, v)
(cos u (2 cos u
1), v),
(u, v) E JR2 .
a(u)
120
Figura 33
No estudo de curvas, vimos que uma curva regular a(t), t E I e
admite
auto-interseo, entretanto, existe um subconjunto l e I tal que a restrita a
l injetora (ver Captulo II, 2.4 Exerccio 9). A proposio a seguir mostra
que a propriedade anloga se verifica para superfcies.
[T~----~--1:s-:Pri[)pl>si1;(]'~ Seja X :
Demonstrao. Se X(u, v) = (x(u, v), y(u, v), z(u, v)) regular, ento
a matriz jacobiana de X em (uo, vo) tem posto 2. Suponhamos, sem perda
de generalidade, que
121
o
1.9 Exemplo. A superficie do Exemplo 1.3 d)
X(u, v)
Podem aparecer pontos singulares pela escolha da aplicao X ou pela natureza da superficie. Um exemplo do primeiro caso () da esfera descrita por
(ver Exemplo 1.3 d)
X(u, v)
onde tivemos que considerar o domnio d~ X, como sendo u E IR;. e O< v < n.
Exclumos assim os dois plos da esfera, j que (u, O) ou (u, n) so pontos
singulares de X. Entretanto, geometricamente no h diferena entre o plo
norte ou plo sul e qualquer outro ponto da esfera. O trao da aplicao X
122
= (au
onde a e b so constantes no-nulas. Os pontos singulares (O, v) correspondem ao vrtice do cone, que um ponto particular do cone. Pode-se
verificar que toda superfcie parametrizada regular cujo trao est contido no
cone exclui o vrtice.
Essas consideraes mostram que devemos escolher convenientemente as
aplicaes X. Alm disso, no caso de superfcies como a esfera, elipside,
etc. devemos consider-las como "unio" de traos de superfcies parametrizadas regulares. Esta forma de abordar o estudo de superfcies feita em
cursos mais avanados (ver por exemplo [6]), principalmente quando so includas propriedades geomtricas globais das superfcies. Entretanto, para o
estudo das propriedades locais, suficiente considerar as superfcies parametrizadas regulares.
Vamos encerrar esta seo com a segumte proposio.
1.10 Proposio. Seja F : R.3 -7 R. uma aplicao diferencivel. Consideremos o conjunto S { (x, y, z) E R.3 ; F(x, y, z) =e}, onde c um
nmero real. Se Po = (xo, yo, zo) E S tal que F}(po) +FJ(po) =/=O, ento
o conjunto dos pontos (x, y, z) E S, suficientemente prximos de po, o
trao de uma superfcie parametrizada regular.
Demonstrao. Suponhamos que Fz(po) =/=O. Segue-se do teorema da
funo-mplcita (ver Captulo O) que
uma aplicao diferencivel <P :
U -7 R., onde U um aberto do plano xy que contm (x, Yo), tal que
<fJ(xo, Yo) = zo e, para todo (x, y) EU, F(x, y, </J(x, y)) c. Portanto, a
aplicao
X(x, y)
123
a) o elipside S
z)
+y2 + ~
E R. ;
= 1} menos dois
pontos;
b) o hiperbolide de uma folha
+ y2
b2 -
(x,y,z)ER.;
:?
e) S { (x, y, z) E R.3 ;
reais positivos.
+ (3y2-z) 2
Jx2+y2};
Descreva em cada caso as curvas coordenadas e obtenha um subconjunto do domnio da parametrizao onde ela injetiva.
2. Verifique que a aplicao
X(u, v)
onde u E R. - {O}, v E R. e a e b so constantes no-nulas, uma superfcie parametrizada regular, que descreve o parabolide hiperblico
menos um ponto.
124
{ (x, y, z)
JR3 ; F(x, y, z)
O}.
a(s)
e JR.
Seja S o subconjunto de JR3 gerado pelas retas que passam por a(s),
paralelas ao eixo Oz. D uma condio suficiente que deve satisfazer
a curva
regular.
5. Seja a(t)
a(t) +ua'(t),
lar. Para cada t E JR, considere a reta que passa por a(t) e intercepta
ortogonalmente o eixo Oz. Obtenha uma superficie parametrizada regular cujo trao o conjunto de pontos obtido pela unio dessas retas.
Esta superficie denominada helicide.
7. Seja a(u)=l(f(u), O,g(u)), uElR, umacurvaregulartalque J(u)=fa
constante; b) a= O.
125
{(x, y, z)
IR.3 ; ax = yz}.
2. Mudana de Parmetros
Duas superfcies parametrizadas podem ter o mesmo trao. Por exemplo, as
superfcies
X(u, v)
(u+v, u
Y(, v)
(,
v, 4uv),
v, 2 -v 2 ),
(u, v) E IR.2 ,
(, v) Elfl2 ,
hiperblico.
Dada a superfcie parametrizada regular X, podemos obter vrias superfcies parametrizadas que tm o mesmo trao que X, da seguinte forma.
126
X(u, v)
h(, v)
Yv i= O.
temos que:
Portanto,
auav au d
av) .
127
2.2 Exemplos
a) A superficie
Y(, v)
(, v, 2
v2 ), (, v)
E ~.2,
uma reparametrizao de
X(u, v)
JR2 ,
l(+v, -v).
X(u, v)
{(, v) E JR2 ; O< < n, O< v < n}. Ento, Y uma reparametrizao de X por h:
U, onde h(, v) =(a senv cos, a cosv).
O trao de X e Y um hemisfrio da esfera (ver Figilra 34).
(, v) E
/1 X( U) =Y( )
Figura 34
128
A proposio
IR2
regular. Para cada (uo, vo) EU, existe um aberto V, (uo, vo) E V e U e
uma mudana de parmetros h : - t V, tal que o trao de Y =X oh o
grfico de uma funo diferencivel.
Demonstrao. Consideremos
X(u, v)
Se F: U
ffi.2
-t
129
De fato, se (, v) E , ento
Y(, ii) =
D
2.4 Exemplo. Consideremos a superfcie
ii), onde
1<
< 1, ii E
Figura 35
130
X oh(, v) de X, considerando a
mudana de parmetros h( , v) ( + c 1 , v+ c 2 ), que uma translao do
plano. Portanto, para investigar as propriedades geomtricas da superfcie X
em torno de um ponto (uo, vo), podemos supor que uo O e vo =O, o que
faremos mais adiante quando for conveniente.
2.5 Exerccios
1. Descreva o trao das seguintes superfcies parametrizadas regulares
X(u, v)
X(u, v)
O, v E R
"--------------~d~~e~~E:1.~!1:'~~~-h1tal que X
X oh.
X(u, v)
X(, v)
JR 2.
b)
X(u, v)
X(, v)
a v' b 1 + v e ii
+v
+v
1)' (, v) E JR2
+v
{O, O}.
131
X(u, v)
dada por
Vl + 2 cosv, Vl + 2 senv),
(u, v)
2
ER .
X o h o grfico de uma
e R,
obtemos uma curva diferencivel a(t) =X(u(t), v(t)) cujo trao est contido na superficie descrita por X. Dizemos que
3.1 Definio. Se X(u, v) uma superficie parametrizada regular, dizemos que um vetor w de R 3 um vetor_ tangente a X em q (uo, vo) se
w = a' (to), onde a (t) = X (u(t), v(t)) uma curva da superficie, tal que
(u(to), v(to))
132
(u(t),v(t)~
Figura 36
133
a'(to) =
w =
:i (X(u(t)),
v(t))I,..,.
ento existe uma curva a(t) da superfcie tal que (u'(O), v'(O))
e a' (O) w. De fato, basta considerar
a(t)
onde u(t)
uo +at e v(t)
(uo, vo)
X(u(t), v(t)),
vo +bt.
D
Figura 37
134
JR3
= (uo, vo),
dizemos que
x;,xXv
N ()
q
Se o domnio da superfcie X
3
-+ JR ,
denominada aplicao
x;,xXv(
1x;, xXvl
u, v),
38).
Figura 38
135
3.5 Exemplos
a) Seja X(u, v) = (u, v, vl - u2 -v2 ), (u, v) EU, onde U = {(u, v) E
JR2 ; u2 +v2 < l}. Consideremos o ponto q = (u 0 , v0 ) =(O, O). Pela Proposio 3.3, os vetores x;,(O, O)= (1, O, O) e Xv(O, O)= (O, 1, O) formam
uma base do plano tangente TqX. Portanto, todo vetor tangente a X em q
da forma (a, b, O), onde a,b E :IR e o vetor normal N(O, O)= (O, O, 1)
(ver Figura 39).
b) Se X(u, v) = (u, v, u2 +v2), (u, v) E JR2 , ento o plano tangente a X
em (u, v) gerado pelos vetores x;, = (1, O, 2u) e Xv =(O, 1, 2v), e
- (-2u, -2v, 1)
Nu,
.
( v) v4u 2 +4v2 + 1
z
N
Figura 39
136
Xa(ii)
Xv(q)
Portanto, como o determinante da matrizjacobiana de h, J(h) no se anula,
temos que X;,(q), Xv(q) e Xu(h(q)), Xv(h(q)) so bases do mesmo plano de
llt3 Alm disso,
(X;, xXv)(q)
Da conclumos que N(q)
se detJ(h) <O.
(Xu xXv)(h(q))detJ(h).
= N(h(q))
-N(h(q))
Figura40
137
N(, v) = (-cosv,
Observe que detJ( h)
senv, O)
-N(h(, v)).
-1.
3.8 Exerccios
X(u, v)
JR2
-t
Iq: TqX
IR
w ----'l-lq.(w)
r.
(w, w)
lwl 2
F ~:
H----~---CnnsidernuJJ>sUil1a superfcieda<fappLJ::'"(y,_v)
emponto q = (u 0 , v0 ).
Usando a notao
E(uo, vo)
F(uo, vo)
G(uo, vo)
temos que
139'
Variando (u; v), temos funes E(u, v), F(u, v) e G(u, v) diferenciveis, que so denominadas coeficientes da primeira forma quadrtica. As
funes E, F" e G satisfazem as seguintes propriedades:
a) E(u, v) >O e G(u, v) >O para todo (u, v), pois os vetores x;1 e Xi,
so nulos;
b) E(u, v)G(u, v) F 2 (u, v) >O. De fato, c~nio
lx;1 xXvl
temos que
4.2 Exemplos
a) Seja X(u, v) = Po+uw1 +~2, (u, v) E R 2, onde Po E R 3 e w1, w2
so vetores ortonormais de JR;. 3 ; isto , X descreve o plano ortogonal a w 1 x
que passa por po. Ent, Xu(u, v) =w1 e Xv(u, v) =wz. Como w1 e w2
so ortonormais, obtemos que os coeficientes da primeira forma quadrtica
so as funes constantes E(u, v) 1, F(u, v) O, G(u, v) = 1.
b) Consideremos a superficie
w2
X(u, v)
E(u, v)
= a2
140
d) Consideremos a superfcie
X(u, v)
(v cosu,
ne.
Seja
a(u)=(cosu, senu, bu) urna hlice circular. Para cada u existe urna nica
reta ortogonal ao eixo Oz, que passa por a( u). O trao de X o conjunto de
pontos de Jffi.3 , obtido pela unio dessas retas, que denominado helicide.
Os coeficientes da primeira forma quadrtica de X so dados por
E(u, v)
= v2 +b2 ,
E(u, v)
v)
G(u, v)
o,
j2(u).
Observamos que uma mudana de parmetros, embora modifique os coeficientes da primeira forma quadrtica, mantm invariante a primeira forma
quadrtica. De fato, se X(, v) X o h(, v) urna reparametrizao de
X, pela mudana de parmetros h, ento j vimos na Observao 3.6 da
seo anterior que, para todo ij (, v), os planos tangentes TqX e
coincidem. Portanto, se w pertence a este plano, ento
n(ij)x
141
A seguir, veremos que os conceitos de comprimento de uma curva da superficie, ngulo entre vetores tangentes e rea de uma regio da superficie
esto relacionados com a primeira forma quadrtica.
SejaX(u, v) umasuperficieparametrizadaregular. Se a(t) =X(u(t), v(t)),
t1 E!,
tos
cose
Iq(w1 +w2)-Iq(w1)-Iq(w2)
2Jlq(w1)Iq(w2)
cose
(a'(to), /3'(ro))
[a' (to) 11/3' (ro) 1
(Xi,, Xv) (
)
IXullXvl uo, vo
F(uo, vo)
JE(uo, vo)G(uo, vo)
142
regular e D
u'"'uva.
eU
A(X(D)) =
j LVEG-F2dudv,
143
Figura 41
:JR3 e h : e
---+ U uma mudana
e D e U regies do plano tais que D
de coordenadas. Sejam
h(D). Ento, A(X(D)) =A(X(D)). De fato, se h(, v) (u, v), ento
e IR2
De
de X por h, onde X: U
E :JR2 , O<
144
A(X(D)) =
4n2ar.
dada por
q,- 1
x-
<fJ
=X ox-
1,
X ox-1.
145
(ver Exerccio 11 ).
Figura42
4.6 Exemplos
X(u, v)
X(u, v)
X e
<jJ :
S~
X(u, v)
146
z
V
t
l
''
'i
l
i
.~--++------
!/
0!-----l--21t-+U
/--+---.
. ~i
1
Figura 43
u = senh , v =
v,
= (arcsenhu,
Figura 44
147
< 2n.
As superfcies X e Y so isomtricas, j
priedades geomtricas das superfcies, que dependem apenas da primeira forma quadrtica, so preservadas pela isometria. Por exemplo, se a(t) uma
curva da superfcie X e </> a isometria entre os traos de X e X, ento
o comprimento de a igual ao comprimento de </>o a. Na proposio a
seguir, veremos que esta propriedade caracteriza as superfcies isomtricas.
definida por </>=X ox- 1 , preserva comprimento de curvas, isto , para toda
curva a de X, o comprimento de a igual ao comprimento da curva </> o a.
x;
'(t)
u' (t)
148
R(a)
Gdt,
Gdt.
to
t()
to
e(a) = t().
Reciprocamente, suponhamos que, para toda curva a, os comprimentos de a e = tfJ (a) coincidem, ento vamos provar que X e X so
isomtricas. Seja q (uo, vo) um ponto de U. Consideremos uma curva
a(t) =X(u(t), v(t)), onde
u(t)
uo+at,
v(t)
vo +bt,
E(q)
G(q).
149
so isomtricas.
D
4.8 Exerccios
1. Considere a superfcie
X(u, v) = (u+v, u
X oh e
lq
1'1(q))
2. Considere a superfcie
X(u, v)
= (v cosu,
onde
= (u
150
JR2 ,
j ln J1 +.!}+ /J dxdy
A(D)?
X(u, v) = ( senv cosu, senv senu, cosv), u E JR, O< v < JC,
e a curva a(t) = X(u(t), v(t)), onde u(t) = logcot (~ - ~), v(t) =
n t -n
t n
2
'2
rr;-~-----~-----------~--~r)-(;alcule
< <1
O. Veri-
151
1}, onde
9. Sejam X,
e A(X(D)) coincidem.
10. Seja a(s) = (x(s), y(s), O), s E IR, uma curva regular parametrizada
pelo comprimento de arco, tal que a injetiva. Considere a superficie
cilndrica S descrita por
(s, v) E IR.2 .
X(U) e S =
S - t S preserva distncia intrnseca
entre pontos correspondentes, isto , se PI, pz E S, ento d(p1, pz) =
d(</J (p r ) , <fJ (p2)), onde d e d so as distncias intrnsecas de S e S
<P :
respectivamente.
12. Considere o cone menos o vrtice descrito por
X(r, O)
onde O<
(r
-e
152
u = {(r, e)
JR2 ; r
13. Seja a(u) (f(u), O, g(u)), u E I e JR, uma curva regular parametrizada pelo comprimento de arco, tal que a injetiva e f(u) >O.
Considere as superfcies de rotao
X(u, v)
Xa(u, v) = (af(u)
cos~,
af(u)
a
seu.:'..,
a
2
luf1' )1-a (!')2du),
0
aXu(uo, vo) +bXv(uo, vo), e consideremos uma curva a(t) =X(u(t), v(t))
153
q e a'(to)
(u(to), v(to))
w, isto ,
Como
a"(t)
temos que
Ilq(w)
+ b2
e(uo, vo)
f(uo, vo)
g(uo, vo)
temos que
Ilq(w)
Variando (u, v), temos funes diferenciveis e(u, v), f(u, v), g(u, v),
que so denominadas coeficientes da segunda forma quadrtica da superficie
parametrizada X.
154
{O} -+
k ( ) = Ilq(w)
11 w
Iq(w).
w #O, ento k11 (.:lw) = k11 (w) para todo
nmero real #O. De fato, seja w =a x;1 (uo, vo) + b Xv(uo, vo), onde
(a, b) #(O, O). Denotando por eo, fo, go os coeficientes da segunda forma
quadrtica em (u 0 , vo), temos
5.3 Observao. Se w E
k11 (w) =
2
Ilq(w)
_ _
.:l 2 a_
( 'l
.::___ __:___ _.....:::;_;_
Iq .11, w)
llq(w) = k ( )
lq(w)
11 w.
TqX e o:(s)
(2)
155
N(u(so) ,v(so)
Figura45
Figura 46
Nestas condies, a seo normal o trao de uma curva regular plana definida por a (s) =X (u(s), v(s)), parametrizada pelo comprimento de arco, tal que
156
(u(so), v(so)) (uo, vo) e {3 1 (so) w. Se k(so) O, isto , {3 11 (so) =O, ento
kn(w) IIq(w) O. Se k(so) >O, ento o vetor normal n(so) = N(uo, vo)
e, portanto, segue-se de (2) que
q, ento
lkn(w)!
w.
lwl
2k
11
(w),
lwl 2 .
X= X oh
uma reparametrizao de
~=-';-------s....4-~E_x. . empios
a) Se X(u, v) uma superfcie parametrizada regular que descreve um
plano de JR3 , ento a curvatura normal e a segunda forma quadrtica so identicamente nulas. De fato, todas as sees normais so retas que tm curvatura
nula.
b) Consideremos a superfcie
X(u, v)
a> O, u E :IR, O
v<
N(u, v)
cosv)
aponta para o interior da esfera, conclumos que a curvatura normal constante igual a l/a e a segunda forma quadrtica IIq(w) igual a
para todo q = (u, v) e w E TqX.
!wl 2 /a,
157
e) Seja
X(u, v)
r > O, (u, v) E JR2 , a superfcie que descreve o cilindro circular. Vamos calcular os coeficientes da primeira e segunda formas quadrticas de X e verificar
que existem direes tangentes em que a funo admite um mximo e um
mnimo. Como
x;,
)
senu, O ,
Xuu(u, v) =
x;,v(u, v) =(O, O, O),
(O, O, O),
Xvv
temos que
r2 , F(u, v)
E(u, v)
e(u, v)
O, G(u, v) = 1,
O.
= a2 r2 + b2 ,
IIq(w) = -a2r.
Iq(w)
kn (W)
-a 2 r
2 2 b2 .
ar+
#- O,
ento
158
1
Portanto, kn (w) 2::.
e essa ltima igualdade ocorre quando b O. Conr
clumos que a funo k11 admite um mximo e um mnimo nas direes de
Xv e
.x;,
respectivamente.
d) Consideremos a superfcie
X(u, v)
~2 ,
que descreve o parabolide hiperblico (ver Figura 47). Calculando os coeficientes da primeira e segunda formas quadrticas em q = (O, O) , obtemos
E(O, O)= 1,
F(O, O)
O,
f(O, O)
O,
G(O, O)
g(O, O)= 2.
Figura47
Portanto, se w =
.x;1(0, O) +bXv(O, O)
Iq(w)
IIq(w)
e, para
w# O,
a2 +b
-2a
1,
+ 2b 2 ,
159
Ento conclumos que k11 assume o valor mximo 2 e o mnimo -2, nas
direes de Xv e }{,_1 respectivamente.
e) A superfcie
X(u, v)
JR2
'
descreve a chamada sela de macaco (ver Figura 48). fcil verificar que os
coeficientes da segunda forma quadrtica se anulam em q (O, O). Portanto,
a curvatura normal e a segunda forma quadrtica em q so funes nulas.
Figura48
5.5 Exerccios
X(u, v)
160
X(u, v)
onde a(u) = (f(u), g(u), O) uma curva regular. Verifique que, para
cada q = (u, v), existe uma direo w, tangente a X em q, para a
qual a curvatura normal se anula.
161
{(O, O)}
k11
1R2
IR definida por
k11 (a,
isto ,
a2 eo + 2ab lo + b2 go
a2 Eo+2abFo+b2 Go
Esta funo diferencivel j que (a, b)-/= (O, O). Alm disso, para todo
-/=
k11 (a,
(3)
so respectivamente o n;nimo e o mximo da funo
12
restrita a C (ver
k1 < k1.
Consideremos agora os vetores de TqX
WJ
a1X11 (q)+b1Xv(q),
w2
a2 Xu (q) + b2 Xv (q).
162
k11 ,
k11
(eo-k1Eo)a1
(eo - k1Eo) a2
(/o -k1Fo) ar
(/o - k1Fo) a2
+
+
+
+
Uo -k1Fo) b1 =O,
(4)
(5)
(go-k1Go) b1 =0,
(6)
(go-k2Go) b2 =O.
(7)
Como k1
# k1,
conclumos que
af bf = 1, i =
+
ortogonais w1, w2, no necessariamente unitrios (embora
J,2), gue do o mnimo e o mximo da funo k11 Considerando
w1
como k11 (w)
= kn(w),
w2
w2 = lw2 I'
wi
= lwrl'
'l/
condies da proposio.
w1
w2
satisfazem as
D
163
x2-2H(q)x+K(q) =O.
Observamos que uma mudana de parmetros pode alterar o sinal da curvatura mdia, entretanto, a curvatura gaussiana permanece inalterada. Mais
precisamente, seja X= X oh uma reparametrizao de X por h. Denotemos por K, f-I, k11 (resp. K, H, k11 ) a curvatura gaussiana, curvatura mdia
e a funo curvatura normal de X em q (resp. de X em h(q)). J vimos
na seo anterior que kz = kn, em que o sinal positivo se detJ( h) > o
e negativo se detJ(h) < O. Portanto, as curvaturas principais de X em ij
e de X em h (q) permanecem inalteradas ou mudam ambas de sinal. Da
conclumos que H(q)
= H(h(q))
e K(q) =K(h(q)).
6.2 Exemplos
a) Se X uma superfcie parametrizada regular que descreve um plano,
u E IR, O< v < n, tem a curvatura normal k11 = ~ para todo (u, v). Portanto,
164
r >O, (u, v) E JR.2 . Como vimos no Exemplo 5.4 c), para todo q
(u, v), a
l :=:; kn :=:;O
r
e assume o mnimo e o mximo nas direes tangentes s curvas coordenadas.
Portanto, considerando os vetores unitrios nessas direes, temos que
w1
(-
w2
=(O, O, 1),
= kn(wi) = -~,
k1
kn(w2)
K==.O e H==.--.
2r
X(u, v)
= (u,
v, u3
165
lwl = 1,
se
COSO W}
+ sen0 Wz,
ento
Demonstrao. Consideremos
tais que ki
que
w1
a1x;1(q)+b1Xv(q),
w2
azx;,(q) +b2Xv(q),
= kn(w1)::::; kn(w2) =
w
+ senew2,
temos
Portanto,
kn(w)
+
+
onde
A= a1a2 eo + (1b2 +a2b1) fo''+b1b2 go.
Vamos provar que a constante A nula. Como kn (w) ::::; kz, temos que, para
todo e,
Logo,
cos2 e(k2
166
e =/= n /2,
(8)
Suponhamos que
A> O, ento existe e = ~-A., A. suficiente2A tg e > k2 - lei' o que contradiz (8). Analogamente,
A=/= O.
Se
e= n/2 +A.
tal que 2A tg
e> k1 -k1,
o que nova-
kn(w)
_3_::::::_fao,_11.o), ento
H(q)
K(q) =
E0 Go-F~
eogo- !~
EoGo-F~.
+
+
. (eo -koEo) ao
(!o -koFo) ao
ento
a eo + 2ab fo + b go
(a, b) E
a 2 Eo+2abFo+b 2 Go'
~2 \
{ ( 0 , 0 )},
167
eo koEo
fo-koFo
fo-koFo
go-koGo
=,
.r-
2foFo + Eogo
eoGo
EoGo - F~
x+
eogo - f~
EoGo - F~
=0.
E0 Go-F~
eogo- f~
EoGo-F~.
D
A proposio que acabamos de demonstrar permite calcular a curvatura
gaussiana K(u, v) e a curvatura mdia H(u, v) de uma superfcie parametrizada regular X(u, v) a partir dos coeficientes da primeira e segunda formas
quadrticas. Em seguida, resolvendo a equao
x2-2H(u, v)x+K(u, v) =O,
168
koFo) bo =O,
(9)
O.
eo-koEo
1 !o koFo
fo-koFo
go-koGo
1-o
-
Conclumos, usando a demonstrao da Proposio 6.4, que ko uma curPara provar que w uma direo principal, vamos provar
que k12 (w) =ko. Suponhamos que ao e boso no-nulos. Somando a primeira
equao de (9) multiplicada por ao com a segunda multiplicada por bo, obtemos
Portanto,
kn(w)= eoa+2foaobo+gob
ko.
D
Observamos que as solues do sistema (9) fornecem direes principais.
Para obter os vetores principais, basta considerar os vetores unitrios nessas
direes.
169
6.6 Exemplos
a) Consideremos o parabolide hiperblico descrito por
X(u, v)
(u, v, v2 -u2 ),
(u, v)
JR.2 .
1,
O, g(O, O)= 2.
Segue-se da Proposio 6.4 que H(O, O)= O e K(O, O)= -4. Considerando
as solues da equao x2 - 4 = O, conclumos que as curvaturas principais
em q =(O, O) so k1 = -2, k2 2. As direes principais so as solues do
sistema (8), quando substitumos ko respectivamente por k1 e k2. Portanto,
obtemos o vetor principal w1 =Xu(O, O)= (1, O, O) para k1 -2 e wi
Xv(O, O)= (O, 1, O) para k2 2.
b) Consideremos o conjunto de pontos de JR 3 obtido pela rotao da curva
a(u) =(O, u, u3 ), -1 < u < 1 em tomo da reta z = 1 contida no plano yoz.
Esta superfcie, chamada Chapu de Scherlock, dada por
X(u, v)
-1
<u <1 e
y.
Figura49
170
Para todo v E
temos que
E(O, v)
1,
F(O, v) =O,
G(O, v)
1,
e(O, v)
O,
f(O, v)
g(O, v)
-1.
O,
-1 e k1 =O e os vetores principais so
Xv(O, v) = (- senv, O, cosv),
Dentre as superfcies de lft3 , destacam-se as que tm a curvatura gaussiana constante, e as que tm curvatura mdia nula. Uma superfcie que tem a
curvatura mdia identicamente nula denominada superficie mnima. Dize------mo~n1ue-u.ma St1perfcie tem curvatura gaussiana constante se a funo K
constante.
O plano um exemplo de superfcie mnima cuja curvatura gaussiana
constante igual a zero.
No difcil verificar que a catenide e o helicide so superfcies mnimas (Exerccios 3 e 7 de 6.7). Observamos que, em uma superfcie mnima,
O, temos que
a curvatura gaussiana K ::; O. De fato, como H =
k1
nula (Exemplo 6.2 c)). A esfera de raio a > O uma superfcie de curvatura
gaussiana K 1/a2 (Exemplo 6.2 b)). A pseudo-esfera obtida pela rotao
da tratriz tem curvatura gaussiana constante igual a
1 (Exerccio 5).
As superfcies mnimas e as superfcies de curvatura gaussiana constante tm propriedades geomtricas interessantes. Por exemplo, pode-se provar
171
que, se X e X so superfcies que tm a mesma curvatura gaussiana constante, ento, restringindo convenientemente os domnios de X e X, existe
uma isometria entre os traos de X e X. Em uma superfcie mnima, se
considerarmos uma regio suficientemente pequena, pode-se provar que a
rea dessa regio menor que a rea de qualquer outra superfcie que tem
a mesma fronteira da regio.
6. 7 Exerccios
1. Sejam X(u, v) uma superfcie parametrizada regular e q
(uo, v0 ).
Prove que um vetor w = a .x;1 ( q) + b Xv (q) um vetor principal de X
em q se, e s se,
b2
Eo Fo
eo fo
Go
O.
X(u, v)
b >O,
172
a) H(q)
b) H(q)
-1
lo2rc k (8)d8.
2n o
11
1r
X(u, v)
= (f(u)
!"
f
X(x, y)
(x, y, f(x,y)),
173
fxxfyy
f~
O.
-2/x fy fxy
O.
X(u, v)
a) K(u, v) <O;
b) K(u, v) s depende da distncia r de X(u, v) ao eixo Oz;
c) K(u, v)
-t
O quando r-t
oo.
e"
h"
1 + (h') 2
=a,
1+
h(u)
lu+b, f(v)
onde l, , b so constantes.
v+b,
174
13. Determine as superficies de rotao que tm curvatura gaussiana constante (ver Exerccio 8).
14. Verifique que, para toda superficie de rotao, as direes tangentes aos
meridianos e paralelos so direes principais.
15. Uma superficie parametrizada regular X(u, v), (u, v) EU e R. 2 , denominada uma superficie de Weingarten, se existe uma relao entre
as curvaturas principais, isto , existe uma funo diferencivel l/f :
JR2 _,. JR, no-constante, tal que lJf(k1(u, v), k1(u, v)) O para todo
(u, v) EU. Por exemplo, as superficies mnimas e as superficies de curvatura gaussiana constante so superficies de Weingarten. Prove que:
a) Se X uma superficie de Weingarten, ento
dk1
du
dk1
dv
b)O
dk2
du
dk2
o.
de rotao
X(u,
O.
175
X(u, v)
(u, v) E R. 2 , onde O< r <a, tem pontos elpticos quando -~ < u < '
pontos parablicos quando u = ou u 3f, e pontos hiperblicos quando
~ < u < 3f (Exerccio 3) (ver Figura 50).
ponto hiperbfico
1
Figura 50
176
;:::o}
e {pEJR3 ; (p-X(q),No)
:::;o})
e JR2
uma superficie parametrizada regular e q = (uo, vo). Se q um ponto eltico, ento existe
uma vizinhana W de q, W e U; tal que X(W) est contida em um dos
semi-espaos fechados determinados pelos planos tangentes TqX. Se q um
ponto hiperblico,_.entiJco em toda vizinhana W de q, W e U, existem q 1 e
qz tais que X(q 1), X(q2) pertencem a semi-espaos distintos determinados
por TqX.
Demonstrao. Suponhamos, sem perda de generalidades, que o ponto
q =(O, O) EU. Consideramos a funo que, para cada (u, v) EU, associa
h(u, v)
= (X(u,
v)-X(q), No),
177
onde No
x;, xXv
= Jx;, X Xv J O,
O).
Figura 51
Observamos que o sinal da funo h(u, v) indica o semi-espao determinado por TqX, ao qual X(u, v) pertence.
Consideremos o desenvolviment<? de Taylor da funo X(u, v) em tomo
de (O, O),
X(u, v)
h(u, v)
onde w =
lim
(u, v)--+(O, O)
(10)
178
lim
(u, v)-;.(0, O)
prximo de (O, O), ento h(u, v) tem o mesmo sinal que k11 Conclumos
que existe uma vizinhana W -de q tal que X(W) est contido em um dos
semi-espaos fechados determinados por TqX.
Se q um ponto hiperblico, ento kn muda de sinal. Portanto, existem
vetores no-nulos w1 = u1 Xi 1(q) +v1 Xv(q) e w2 = u2Xi1 (q) +v2Xv(q) tais
que kn(w1) <O e kn(w2) >O. Como para todo nmero real no-nulo,
D
Se q um ponto parablico ou planar de uma superfcie X(u, v), ento,
~~~----------___ J::_:::_-=-=--""-:.:_!__v:) prximo de q, a posio do ponto X(u, v), relativamente ao
X(u, v)
E IR3 ,
179
(ver Exemplo 5.4 e)), temos que q um ponto planar e existem pontos
X(u, v) nos dois semi-espaos determinados pelo plano tangente a X em
= O.
7.6 Exemplos
a) Todo ponto planar de uma superfcie um ponto umblico. Em particu-
(u, v, u2 +
180
que
eo
Eo,
fo
Fo,
go
= Go,
onde Eo, Fo, Go, eo, fo, go indicam os coeficientes da primeira e segunda
formas quadrticas em q. Neste caso, igual s curvaturas principais de
X em q.
IIq(w) = lq(w).
Portanto, se w
o
Vamos utilizar a proposio anterior no seguinte exemplo.
7.8 Exemplo. Consideremos o elipside menos dois pontos, descrito por
X(u, v)
onde O < u < n e v E JR. Vamos obter seus pontos umblicos quando as
constantes a, b, c satisfazem a relao a > b > c > O.
181
Inicialmente, observamos que os coeficientes da primeira e segunda formas quadrticas de X so dados por
E(u, v)
F(u, v)
G(u, v)
e(u, v)
f(u, v) g(u, v) =
O,
-abc sen 3 u
portanto, a curvatura gaussiana K(u, v) >O, para todo (u, v). Pela Proposio 7.7, um ponto (u, v) umblico se, e s se,
e(u, v)
= E(u, v),
f(u, v)
= G(u, v),
eG
gE.
a2-b2
sen 2 u = --.,,..--
182
a2-b2
senv=O,
sen 2 u = - - -
a~,
O,
e~.
--+
O,
= 1.
(x;,, M,)
(Xi1, Nv)
= -e,
- (x;,v, N) = - /,
(11)
-,- (X;m, N)
(12)
(Xv, Nu)
(Xvu 1 N)
-f,
(13)
(Xv, Nv) -
(Xvv, N)
-g,
(14)
(M,, N) = o,
(15)
o.
(16)
(Nv, N)
A seguir, vamos provar que uma superfcie X(u, v), cujos pontos so
todos umblicos e cujo domnio U
183
f(u, v)
g(u, v)
v).
v) constante em U. Como U
Analogamente, substituindo f
mente
(18)
(Nv+lXv,Xv) =O.
(19)
N 11 +lX11 =O,
(21)
184
Nv+AXv =O.
= 2
;::::
O constante
em U.
b) Se K = O, isto , = O em U, ento, segue-se de (21) e (22) que Nu =
= 2 > O,
consideramos a funo
1
185
7.10 Exerccios
1. Classifique o ponto q
= (O, O)
186
(J(u), O, u), onde f: 1---;. JR. tal que f(u) >O. Prove que todos os
pontos d.a superfcie so parablicos se, e s se, a superfcie descreve
um cilindro circular ou um cone.
8. Considere uma superfcie parametrizada regular X(u, v) e uma curva
k
1=
e(q)
E(q)'
k - g(q)
2-
G(q)'
< u < 1,
u3 ) senv+ 1),
parablico (O, vo), existem pontos qi e q2 tais que X(q 1), X(q 2 )
pertencem <(semi-espaos distintos determinados pelo plano tangente a
X em (O, vo).
187
X(u, v)
188
A seguir, vamos obter as equaes diferenciais que permitem determinar
as linhas de curvatura de uma superfcie.
8.3 Proposio. Seja a(t) =X(u(t), v(t)), tE I
e .IR,
o,
(23)
O,
O,
(u(t), v(t)). Efninando k11 (a'(t)) nas equaes acima, obtemos que a
uma linha de curvatura se, e s se, as funes u(t) e v(t) satisfazem (23).
D
8.4 Exemplo. Considerando o helicide descrito por
X(u, v)
= (u
cosv, u senv, v)
(u, v) E JR2 ,
189
E(u, v)
1,
F(u, v)
e(u, v)
O,
f(u, v)
o,
g(u, v) =O.
Segue-se da proposio anterior que uma curva a(t) =X(u(t), v(t)) uma
lipha de curvatura se, e s se, as funes u(t) e v(t) satisfazem a equao
1 + u2 (v')2 -
Vl +u2
(u')2 =O,
v'l +u2
o que equivalente a dizer que u(t) e v(t) satisfazem uma das seguintes
equaes
v' =
V
u'
zl
u(t)
senh(t+b), v(t)=a+t,
t,
a(t)
= (senh (t+b)
190
w(t)
w(t)
a;
Analogamente,
(w, Xv) =
Como k11 (a'(t)) uma direo principal, decorre da Proposio 6.5 que
(w, .x;,) = (w, Xv) O, isto , w(t) =O. Portanto, ~~ + (t) a'(t) =O,
onde (t) =kn(a'(t)).
191
+ l(t)a'(t)
Reciprocamente, se
vetor com
x;
e Xv se anula, isto ,
(e
(f -
+ (f - l F) v1 O,
l(t) F) u + (g- l G) v' =O.
l(t) E) u
Portanto, segue-se da Proposio 6.5 que a' (t) uma direo principal de X
em (u(t), v(t)), cuja curvatura principal l (t), ou seja, l(t)
Conclumos que a uma linha de curvatura.
=k
11 (
a' (t)).
o
A seguir, veremos que por cada ponto no-umblico, de uma superfcie
parametrizada regular, passam duas linhas de curvatura. Mais precisamente:
8.6 Proposio. Seja X(u, v), (u, v) EU e R 2 , uma supe1jlcie parametrizada regular. Se (uo, vo) EU um ponto no-umblico de X, ento
existe uma vizinhana V de (uo, vo), V e U, de pontos no-umblicos, tal
que, para todo q E V, existem duas linhas de curvatura a (t) =X( u(t), v(t))
satisfazendo (u(O), v(O)) = q.
Demonstrao. Como (uo, vo) no um ponto umblico de X, segue-se
da Observao 7.5 que
H 2 (uo, vo)
pontos umblicos.
Fixado q E V, queremos provar a existncia de duas curvas da superfcie,
a(t)
X(u(t), v(t)) tais que as funes u(t) e v(t) satisfazem (ver Propo-
sio 8.3)
192
e (u(O), v(O)) = q.
Considerando essa condio como uma equao do segundo grau em v',
temos que o discriminante igual a (u')24(EG-F 2 )2(H2 -K), que positivo. Portanto, podemos fatorar o determinante acima em duas equaes
diferenciais da forma A u1 +B v' =O. O teorema de existncia e unicidade
de solues para equaes diferenciais [11] fornece as solues dessas duas
equaes com a condio inicial (u(O), v(O)) = q.
D
Observamos que, se (uo, vo) um ponto umblico de uma superfcie
-- 8.7 Definio.
assinttica.
Sejam X : U
e JR2 ~ JR3
e JR2 ~ JR3
regular e q um ponta de U.
a) Se q um ponta eltica, ento no existem direes assintticas em q.
b) Se q hiperblica, ento existem exatamente duas direes assintticas
em q.
193
ki
194
e (u') 2 + 2f u'v'
(v') 2
O,
(24)
o
Na proposio que segue, vamos provar a existncia de linhas assintticas
em uma vizinhana de um ponto hiperblico.
8.12 Proposio. Seja X(u, v), (u, v) EU e R 2 , uma superficie parame-
195
Fixado q E V, queremos obter duas curvas a(t) =X(u(t), v(t)), tais que
as funes u(t), v(t) satisfazem a equao
D
8.13 Exemplo. Consideremos o helicide descrito por
E ~2 .
Vamos obter suas linhas assintticas. Os coeficientes da segunda forma quadrtica so dados por
e= O,
f(u, v)
g=O.
---===u'v' =O.
Portanto, temos as equaes u'
196
= X(u(s),
N(u(s), v(s)).
-r(s) b(s),
(25)
mximo, parametrizado pelo comprimento de arco, uma geodsica da esfera, e reciprocamente, toda geodsica da esfera tem o trao contido em um
crculo mximo. De fato, todo crculo mximo, parametrizado pelo comprimento de arco, tem o vetor a" apontando para o centro da esfera, portanto,
normal esfera.
Reciprocamente, se a uma geodsica da esfera, podemos supor a
parametrizada pelo comprimento de arco. Segue-se do Exerccio 6 da seo
197
4.7 do Captulo Ir que a curvatura k(s) 2': }. >O. Portanto, da relao (25),
temos que
dN
~.
r
dN 1
ds ; t(s) =O,
onde o sinal nas duas equaes acima positivo (resp. negativo) se n(s)
N(u(s), v(s)) (resp. n(s) = -N(u(s), v(s))). Conclumos dessas duas relaes que k(s) = }. e -r(s) =O, isto , o trao de a est contido em um
crculo mximo da esfera (ver Proposio 4.3, Captulo II). Observamos que
a recproca que acabamos de provar pode ser obtida mais facilmente usando
a Proposio 8.18, que veremos mais adiante.
A seguir, vamos obter as equaes diferenciais que permitem obter as
geodsicas de uma superfcie. Consideremos uma superfcie parametrizada
regular X(u, v), (u, v) EU
e ffi.2 .
Xvv
M,
b11Xu +b12Xv,
Nv
b21x;, + b22Xv,
x;/l/
Xuv
rt,
(26)
onde os coeficientes
aij, bij devem ser determinados. Nas duas ltimas
igualdades, usamos o fato de que Nu e Nv so vetores tangentes superfcie.
Os coeficientes
198
f, a22
(27)
g.
rj 1E+rT1F
(x;m, x;,)
1
2Eu,
rl +rr10 =
(Xuu, Xv)
F;_, - 2Ev,
rbE+rT2F
(x;1v1 x;,)
rbF+rf2 G
(x;,v, Xv)
ri 2 E+r~2F
(Xvv, x;,) = Fv
ri 2F+r~2 G
(Xvv, Xv)
b11E +b12F
= (Mo x;,)
1
2Ev,
1
2Gu,
1
2.Gu,
(28)
1
2Gv,
-e,
bnF+b12G -
{Nu, Xv) = - /,
b21E +b22F
(Nv, Xu) = -
b21-F+b22G
(Nv, Xv)
f,
-g,
rr 1,
as duas
199
(29)
eF-fE
b12 = EG-F2'
b11
(30)
gF-fG
EG-F 2 '.
8.17 Proposio. Seja a(t) =X(u(t), v(t)), t E I e JR., uma curva regular
de uma superficie X(u, v). Ento,' a uma geodsica de X se, e s se, as
funes u(t), v(t) satisfazem o sistema de equaes
onde
o,
o,
(31)
.x;" Xv, N
e, em seguida, exigindo
(31).
a'
a" -
200
Substituindo Xuu, Xuv e Xvv pelas relaes (26), obtemos
a" =
Xv+
cisamente:
8.18 Proposio. Seja X(u, v), (u, v) EU e IR2 , uma superficie parametrizada regular. Para todo q E U e para todo vetor no-nulo w E TqX,
existe e> O e uma nica geodsica a(t) = X(u(t), v(t)), t E (-e,e), da
superficie X, tal que (u(O), v(O)) = q e a'(t) = w.
Demonstrao. Se q
(uo, vo), consideremos w a .x;,(uo, vo) +
bXvCuo, v0 ). Pelo teorema de existncia e unicidade de solues de equaes
diferenciais, existem e> O e funes u(t), v(t) definidas em (-e, e) satisfazendo o sistema (31), com as condies iniciais fixadas u(O) = uo, v(O) =
vo, u'(O) a e v'(O) b. Alm disso, tais funes so nicas. Segue-se da
proposio anterior que a curva a(t) =X(u(t), v(t)) uma geodsica de X
201
= w.
D
202
203
8.20 Exerccios
1. Seja X(u, v) uma superfcie que no tem pontos umblicos. Verifique
que as curvas coordenadas so linhas de curvatura se, e s se,
O. Neste caso, as curvaturas principais so dadas por
k (
i
f =F =
) _ e(u, v)
g(u, v)
u, v - E( u, V ) , kz(u, v) = G (u, V ) .
(u, v)
E ~ .
= w.
=q
204
4. Seja a(s) = X(u(s), v(s)), s E I e R, uma curva regular de uma superfcie X. Prove que, se o trao de a est contido em um plano :rc,
que forma um ngulo constante com o plano tangente a X ao longo da
curva, ento a uma linha de curvatura de X.
5. Seja X(u, v), (u, v) EU e R 2 , uma superfcie cujas curvas coordenadas so linhas de curvatura. Suponha que a curvatura gaussiana de X
no se anula, ento a aplicao N(u, v), onde N o vetor normal a X,
uma superfcie parametrizada regular (veja Exerccio 6 da seo 7.1 O).
Prove que os coeficientes da primeira forma quadrtica de. N so dados
por E=
de X.
205
11. Prove que, em um ponto hiperblico de uma superfcie, as direes principais bissectam as direes assintticas.
12. Seja X uma superfcie em que todos os pontos so hiperblicos. Prove
que, se as linhas assintticas so ortogonais, ento X uma superfcie
mnima.
113. Seja a uma curva regular de uma superfcie. Prove que o trao de a
um segmento de reta se, e s se, a uma geodsica e uma linha
assinttica da superfcie.
14. Considere uma superfcie de rotao gerada pela curva a(s). Verifique
que todo meridiano, parametrizado pelo comprimento de arco, uma
geodsica. Alm disso, o paralelo que passa por a(s) uma geodsica
se, e s se, a'(s) paralelo ao eixo de rotao.
15. Seja X(u, v) uma superfcie e a(s) uma curva de X, parametrizada
pelo comprimento de arco. Prove que:
a) a uma geodsica e uma linha de curvatura de X se, e s se,
uma curva plana contida em um plano ortogonal a X ao longo de
a
a.
206
onde e uma constante no-nula. Verifique que as curvas de X ortogonais s hlices u cte so geodsicas.
19. Considere o toro descrito por
~'~----------
1L Sej~ X(u, v)
f (u,
uma funo
v). Verifique que a curva v = O
207
(Xzw)v
(x;1v )u,
(Xvv)u =
(Xz1v )v,
Nz,v
(32)
Nvu
Substituindo (26) em (32), cada equao de (32) se reduz a anular uma combinao linear de x;1 , Xv e N. Como esses so vetores linearmente independentes de JR3 , anulando os coeficientes dessas combinaes lineares, obteremos
nove relaes, das quais destacamos as seguintes:
-EK
(r12)u-(rf1)v+rbrt1-ri
+(rt2)
r}1r~2'
(33)
ev- fu =
(34)
fv -
(35)
208
de Codazzi-Mainardi. As equaes de Gauss e de Codazzi-Mainardi so ditas equaes de compatibilidade. A seguir, veremos com detalhes as relaes
que resultam da primeira equao de (32).
Substituindo (26) e (27) da seo anterior na primeira equao de (32),
temos que
(1
2
)=
av
r11.x;,+r11Xv+eN
(1
2
r12.x;1+r12Xv+
/N ) .
209
existir superficies X(u, v) e X(u, v) que no so isomtricas, mas cujas
curvaturas gaussianas coincidem (ver Exerccio 4). Porm, no caso particular
de superficies X e
X,
existe uma
X.
Observamos que o teorema Egregium de Gauss permite concluir que determinadas superficies no so isomtricas. Por exemplo, no existe uma
isometria, portanto, uma transformao que preserva comprimento de curvas,
entre uma regio do plano e uma regio da esfera, j que a curvatura gaussiana
do plano identicamente nula e a curvatura da esfera estritamente positiva.
De modo anlogo, pode-se concluir que o toro e o cilindro ou a esfera e o toro
no so isomtricos mesmo nos restringindo a regies dessas superficies.
A importncia das equaes de compatibilidade deve-se ao fato de que
os coeficientes da primeira e segunda formas quadrticas, satisfazendo tais
equaes, determinam uma superficie, a menos de sua posio no espao.
Este precisamente o contedo do seguinte teorema, cuja demonstrao envolve conhecimentos de equaes diferenciais parciais.
9.2 Teorema fundamental das superfcies. Sejam E, F, G, e, f, g
210
9.3 Exerccios
1. Seja X(u, v) uma superfcie tal que as curvas coordenadas so ortogonais. Prove que, neste caso, a equao de Gauss se reduz a
O,
(Eg+Ge)Gu-f(EGv-GEv) =0.
3. SejaX(u, v) uma superfcie parametrizada regular sem pontos umblicos e tal que as curvas coordenadas so linhas de curvatura. Se k1
e k1 so as curvaturas principais de X, verifique que as equaes de
Codazzi-Mainardi so dadas por
a(IogVE)
av
a(Iog./G)
au
X(u, v)
X(u, v) =
211
+ Fz1v - 2Guu
c) K=
~R--G
V
li
EG
o ~E
2
1
1
V
2Gu
~Ev
2Gu
212
213
Figura 52
curvas pela parametrizao, obtemos as linhas de curvatura X(u(t), v(t)) sobre a superfcie.
Vamos visualizar as linhas de curvatura da sela do macaco (Exemplo 5 .4)
em uma regio que exclui a origem que um ponto umblico.
Figura 53
Inicialmente, resolvemos a equao (23) em cada uma das quatro regies
214
Figura 54
(-1, O) x ( -1, O), (-1, O) x (O, 1), (O, 1) x (O, 1) e (O, 1) x ( -1, O), que no
contm pontos umblicos. A Figura 52 permite visualizar solues (u(t), v(t))
da equao (23) em cada uma das quatro regies do plano.
A Figura 53 mostra as linhas de curvatura na sela do macaco, que so as
imagensX(u(t), v(t)) destas curvas pela parametrizao X da sela do macaco.
~2
215
Figura 55
216
Figura 56
Figura 57
Observamos que as curvas apresentadas nesta seo so exemplos de aplicaes da computao grfica na visualizo da geometria diferencial. Outras
aplicaes podem ser encontradas no programa ACOGEO [4], que inclui curvas, superficies e os teoremas fundamentais das curvas e superficies.
Captulo IV
MTODO DO TRIEDRO MVEL
218
a e dvq(V) = b.
de JR.2 uma aplicao m que, para cada q EU, associa mq E JR. 2 *. Isto ,
mq uma funo linear de JR.2 em lR. e, portanto, mq da forma
mq
(1)
Para verificar esta igualdade, observamos que, se q = (uo, vo), ento, para
todo vetor V = (a, b) E JR.2 , temos que
dfq(V)
: f(uo+ta, vo+tb)I
t
t=O
fu(uo, vo) a+ fv(uo, vo)b
fu(q) duq(V) + fv(q) dvq(V),
e JR.2 ,
ento,
219
U2 dv,
isto , m
2u
mq
1, -2), ento
3 duq
e, portanto, mq(V) = 5.
m +{
e { em U
IR 2 definida como
q EU associa
Se
e IR2
e f: U
-+
IR uma funo
(fm)q
f(q) mq.
U, ento
fP
JQ
so as funes produto.
P du + Qdv
220
e a funo f( u, v)
Sejam
= u-
(u+v) du+dv,
iJJ
v du - u dv,
v. Ento,
m+iJJ
fm
~2 . Dizemos que
Jq
mq
m e {])
so linearmente
m = P du + Q dv e {]) = P du + Q dv so
P(q) P(q)
Q(q) Q(q)
i= o.
A seguir, vamos definir duas operaes de produto para 1-formas diferenciais. Para isso, lembramos que uma aplicao B : ~2 x ~2
---+
~ dita
Vi, Vi, V3
E ~2 e nmeros reias
a e b
---+ ~
221
onde
Vi, Vi
E IR
me
=/=-
dvdu, pois
= mm+ mm,
m( m + m) = mm+ mm,
Demonstrao.
a) Para cada q E U e para vetores Vi,
Vi
222
[(ru+m)m]q(Vi, V2) =
(ru+m)q(Vi) mq(Vi)
(ruq(Vi)+mq(Vi)) mq(Vi)
(rum+mm)q(Vi, V2),
onde, na terceira igualdade, usamos a propriedade de distributividade de nmeros reais. Como a igualdade acima se verifica para todo q, Vi e V2,
conclumos a demonstrao da propriedade a).
De modo inteiramente anlogo, demonstram-se as propriedades b) e e).
d) Se
ru = P du + Q dv e
P du + Q dv, ento
rum= (Pdu+Qdv)(Pdu+Qdv).
Portanto, segue-se das propriedades a), b) e c) que
rum
o
1.6 Exemplo Consideremos as 1-formas diferenciais
ru
(u+v) du+dv,
(u
v) du+dv.
rum
mru
v2 )du2+(u
v)dudv+(u+v)dvdu+dv2.
223
Vi, Vi
ER ,
Portanto,
(du/\dv)q
(:u'
:v) = 1,
du/\du dv/\dv=O,
du /\ dv = -dv /\ du.
m /\ m+ m /\ m;
m /\ m+ m/\ w;
c) (Jm)/\tiJ
d) se m
m/\(fi) =fm/\m;
Pdu+Qdv e i Pdu+Qdv, ento
m /\ i = (PQ
e) m /\ m= -m /\ m;
QP) du /\ dv;
224
Demonstrao.
a) Para cada q EU, ternos que
(ro/\(ro+m))q = (ro(ro+m))q-((ro+m)ro)q=
(roro )q + (rom )q - ( roro )q
( (j) /\ tiJ)q .+ (ro /\ m
)q,
(mro )q =
P du + Q dv e tiJ
ro /\ tiJ
P du + Q dv, ento
ro /\ tiJ
O e du/\dv= -dv/\du.
P(q) P(q)
Q(q) Q(q)
#0.
225
D
1.10 Exemplos
a) Consideremos as 1-formas diferenciais
udu+vdv.
Ento,
1
a1
(du/\dv)q(Vi, Vz)
1
b1
a2 b2
1.11 Definio. Uma forma diferencial de grau 2 ou uma 2-forma diferencial em um aberto U de R 2 uma aplicao </> que, para cada q E U,
associa uma transformao bilinear e alternada </Jq : R 2 x R 2 - t R, dada por
</>q
f(q) (du/\dv)q,
</> +~
(f + ]) du/\dv.
226
Se h uma funo real diferencivel, o produto h<fJ definida por
h<fJ
Uma funo diferencivel
= (hf) du/\dv.
f :U e
em U.
No Exemplo 1.2 b), vimos que, dada uma O-forma diferencial
f,
a apli-
1.12 Definio. Seja m = P du + Q dv uma 1-forma diferencial. A diferencial exterior de m, denotada por d m , a 2-forma diferencial definida
por
dm = dP /\du+dQ /\dv.
IR2
a) Se
b) d(df) =O;
c) d(m+m) =dm+dm;
Demonstrao.
a) Se
m = P du + Q dv,
ento
dm
= dP /\du+dQ /\dv.
227
Substituindo dP = P,_1 du + Pv dv e d Q = Qu du + Qv dv na expresso anterior
e usando as propriedades do produto exterior, conclumos que
= (Qu -
d (JJ
b) Como d f
= fu du + fv dv,
Pv) d u /\ dv.
segue-se de a) que
c) Se
e conclumos que
d(m+iiJ) =dm+diiJ.
d) Se
= JP du+ fQdv.
Portanto,
d(fm)
Como
fP
(2)
228
isto ,
d(!P) =Pdf + f dP.
= (P df + f
df /\ m+ fdm.
= (F 1 (u,
Observamos que dF 1 , dF 2 , dF 3 so 1-formas diferenciais em U. Portanto, natural considerar dF = (dF 1 , dF 2 , dF 3 ) como um temo de 1formas diferenciais em U.
1.14 Definio. Um terno (ordenado) de 1-formas em U e ~2 uma
aplicao .Q que, para cada q E U, associa uma transformao linear
229
n.
::.t.q :
m2 ---+ .tK
m3 , isto
'
e,
.tK
IR 2 e
= (rol , m2 , m3) ,
ento,
f.Q
Se F: U
IR 2
---+
= (! m1 ,
f m2 , f m3 ).
IR2
---+
IR 3 uma
= (dF 1, dF 2 , dF 3 )
dF
= F,_
igual a
du + Fv dv,
ciais em U
</J
230
F</J
(<O 1 ,
m2 , m3 ) de !-formas dife-
d(dF) =O.
(3)
(m 1 /\ w, ai/\ m, m3 /\ m).
231
1.15 Exerccios
m v2 du,
iJJ
= v du
ro =
u dv,
(u 2
1) du+dv,
oponto q
(-2, 1) eosvetores
Vi
(2,-3), Vi=(l,2).
a) Obtenha as 2-formas
m, iJJ,
ro
em q nos vetores
Vi
Vz.
3) Seja f: JR.2 --+ lR. uma funo diferencivel. Obtenha a diferencial das
funes / 3 e log( 1 + / 2 ) em termos de df.
4) Considere as funes
a) f(u, v)
vu + v
2
2,
d) d(gfdf) +d(fdg).
232
6) Se
df /\dg =
u fv
gu gv
du /\dv.
7) Seja f(u, v) uma funo real diferencivel. Verifique que, para cada q
e V E IR2 ,
dfq(V)
8) Se
= (gradf(q),
V).
uma 2-forma em U,
<P
verifique que
J
Pdu+Qdv,
<P
f du/\dv,
f(q)
= Wq (
9) Sejam
m e
:u),
Q(q) = Wq (
:v)
:u' :V).
m 1-formas diferenciais em
IR2 . Se existe V um
vetor no-nulo de IR2 e q EU tal que Wq(V) = Wq(V) =O, prove que
(m/\m)q=O.
IR2 tomando
uma 1-forma
Wq
= (.Q, G)
= (nq,
G(q))
: JR2
-+
Vr--+
IR
(nq(V),
G(q)),
233
d (F, G)
c) d(Fm)
= dF /\ m + F
dm.
IR 2
-+ IR
Xu (
= 1x;,1 q)
2.1 Exemplos.
a) Consideremos uma superfcie de rotao
x;, xXv
e3---- !x;, xXvl'
234
V(u, v)
onde a e b so funes reais diferenciveis, que no se anulam simultaneamente. V(u, v) um vetor no-nulo do plano tangente a X em (u, v). A
partir da aplicao V, vamos definir um triedro mvel associado a X da
seguinte forma:
235
e3
onde
(dXq(V),
e1
(q)),
onde
dX
W1
ei +mi e1,
Wn
(4)
1 ::; i::; 3,
(5)
236
onde
ro1
(dX, ei) ,
ID.2
(dX, e1),
Wij
(dei, ej),
(6)
1:::::; i, j:::::; 3,
= .x;, du + Xv dv
(7)
a21
(Xv, ei),
a22
(Xv, e1) so
l(q)#O.
Decorre de (7) que.
a11
a12
du + a21 dv,
du + a22 dv.
(9)
Portanto,
J1 /\
ID.2
= 1a11
121
a21 a22
du /\ dv.
Dessas relaes conclumos que ro 1 e roi so 1-formas linearmente independentes. Portanto, qualquer 1-forma diferencial em U uma combinao
237
ento
i=j,
i=}j,
1~i,j~2.
(10)
onde a matriz
onde
(10).
bij
:u :v
e
a inversa da ma_triz
ij
Portanto,
238
(11)
Wij
(12)
(13)
(14)
d W12
= W13 /\ J.32,
(15)
d W13
= W12 /\ Ji3 ,
(16)
d Ji3
= Ji 1 /\ W13
(17)
1 :::; i, j:::; 3,
Wij
-Wji
d(dX)
=O (ver
+ e1 Wi) =O,
isto ,
e1 dw1 +dei/\ W1
Substituindo
de 1
(dw1 - Wi /\ Wi.1) e1
de 2
+ (droi -
W1 /\
ro12)
e1 - ( W1 /\ W13
+ Wi /\ Ji3) e3 =O,
239
L d(eJWiJ) =O,
J=l
isto , para cada i,
3
J=l
j=l
j,k=l
WJk /\ WiJ ek +
L ek dwik =O.
J=l
d (J)ik =
L Wij /\ Wjk,
J=l
D
As relaes (11) a (17) so ditas equaes de estrutura e so fundamentais
para o estudo da teoria local das superfcies em JR 3 .
= (f(u)
f(u) >O, e o triedro mvel associado a X, definido por (ver Exemplo 2.1)
240
conclumos que
m1
V(!')2 + (g1)2
du.
Analogamente,
logo,
mi=fdv.
Vamos determinar as formas de conexo
m12, W13
e mi3.
Portanto,
m =
i2
Analogamente, obtemos
(013
g'f' -g!"
---;::====
-J (!')2 + (t)2 du ,
g
dv.
(!')2 + (t)2
241
W13
+ h 12 mi,
h11 W1 + h21 mi.
h 11
mi3
W1
(18)
(h12 -h21)
W1
/\mi= O.
m12,
W1
mi/\ mi1,
d W1
mi /\ li 1 ,
242
Como
m12
>12
J1
ver J12 - >12 A J1 +B mi. Substituindo esta expresso nas duas ltimas
equaes e usando o fato de que J1 e mi so linearmente independentes,
obtemos que A= B =O, e conclumos que
J12
>12.
D
A seguir, vamos desenvolver a teoria apresentada no captulo anterior,
usando um triedro mvel associado a uma superfcie.
Consideremos uma superficie X : U e JR.2 --+ JR. 3 e q um ponto de U.
J vimos que a primeira forma quadrtica Iq em q uma aplicao que,
para cada vetor tangente w E TqX, associa Iq(w) (w, w). Observamos que,
como w E TqX, temos que w = dXq(V), onde V E JR.2 . Portanto,
Iq(dXq(V))
(dXq(V), dXq(V)).
Iq(V)
(dXq(V), dXq(V)).
(22)
Ilq(w)
(a"(t0 ),N(q)),
(a"(to),N(q))+\a'(to),
~~(to))
O,
243
e
Ilq(w)
( w,
~~(to)).
dN
dNq(V).
Logo,
IIq(dXq(V))
-(dXq(V), dNq(V)).
(dXq(V), dNq(V)).
(23)
R --+ R
C01,
(dX, dX) =
cof + co},
Analogamente, corno e3 normal superfcie, segue-se de (23) que a segunda forma quadrtica dada por
244
A seguir, vamos relacionar os coeficientes da primeira e segunda formas
quadrticas da superfcie X com o co-referencial e as formas de conexo de
um triedro mvel associado. Consideremos a matriz A (q) definida por
qEU,
a
(a),
a
(a),
e x;, dXq
Xv dXq
primeira forma quadrtica, que
(24)
onde A1 denota a transposta da matriz A.
Analogamente, como
(25)
.>i3
+ h12 <.Oi,
h11 ro1 + h12 <.Oi,
h11
W1
245
onde h 12
h21,
( {)
(26)
h11
h21
1- o.
h12
h22-k -
e-kE
f-kF
f-kF
g-kG
o.
kE
kF
f-kF)
g-kG
A (h11-k
h21
hn -k
1
h21
o.
D
Segue-se da Proposio 2.5 que as curvaturas principais so as solues
da equao
246
h11h22
h11
hf2,
(27)
(28)
-K m1 /\ l0:2,
(29)
2H m1 /\ l0:2.
(30)
l013 -
OJ:23 -
247
D
A equao (29) denominada equao de Gauss e as equaes (16) e (17)
so ditas equaes de Codazzi-Mainardi. Mais adiante, como consequncia
da Proposio 2.9, veremos que essas equaes so precisamente as equaes
que j vimos no tratamento clssico apresentado no captulo anterior. Como
consequncia da equao de Gauss (29), prova-se facilmente o teorema Egregium de Gauss.
ro?.
D
A teoria apresentada nessa seo depende ~a escolha do triedro mvel,
principalmente, da escolha de e1, ez. Portanto, dados dois triedros mveis
e1, ez, e3 e 1, 2, e3 associados a uma superfcie X, onde e3 = e3, precisamos saber relacionar as formas diferenciais associadas aos dois triedros.
Observamos que estamos considerando triedros tais que (e3, e1xe1)=1.
2.8 Proposio. Seja X: U e JR2 -+ JR3 uma superficie. Consideremos dois triedros mveis e1, e1, e3 e 1, 2, e3 associados a X e 8 (u, v),
248
e1
- sen
e e1 +cose e1.
Ento,
ill1
iJJi
- sen
ill12
dB +m12,
W13
cos
@i3
iJJi, Wij)
e conclumos que
ill1
Analogamente, como
= cos B m1 +
iJJi = (dX,
iJJi = -
sen B mi.
249
d1
=-
sene de
e1
conclumos que
ill12
=de+ m12.
ill13
li3
= (d2,
e3) que
D
A seguir, vamos verificar que as equaes (29), (16) e (17) so precisamente as equaes de Gauss e Codazzi-Mainardi do Captulo III. Inicialmente, vamos considerar a seguinte proposio.
Xu
IXul'
Xv
e2 = IXvl'
Ento,
l01
VE du,
W12
- (VE)v du + (VG)u dv
l013
Wi3
= VG(f du+gdv),
./G
./E
(31)
mi= v'Gdv,
'
(32)
(33)
(34)
250
Demonstrao. As formas
Substituindo dX
e mi so dadas por
m1
x;,
e1
= IXul
e e1
Xv
= IXvl
nas igualdades
mi /\ mi 1 ,
d mi
W1 /\ W12.
-(VE)vdu/\dv
a VGdu/\dv,
(VG) 11 du/\dv
b VE du/\dv,
As formas
mi3
= (de2,
W13
e3).
(./Eh- - --(-VG-k -
= - - - du+-- dv.
../G
../E
Substituindo
e1
= IXul
x;,
e3
= e1
W13
(dei, e3)
x e1 nessas relaes,
obtemos
1
W13
VE(edu+fdv),
mi3
VG (! du+ g dv).
D
2.10 Observao. Nas condies da proposio anterior, considerando
ffi13
mi3
+ h 12 mi ,
h11 m1 + h21 mi,
h 11
W1
251
temos que
e
h11
=E'
(35)
l013
=h11
mi3
VG dv = Jo. du + }o dv.
Portanto,
K= _- _
1
[((VE)v)
vc + ((VG)u)
VE.
VffG __
l
li
'
mi3,
d l013
W12 /\
d mi3
mi 1 /\ l013 )
252
obtemos
2EG (ev - fu)
2EG (fv-gu)
GE11 )
O,
2.11 Exerccios
1) Seja X : U
Xv-(Xv, e1) e1
IXv- (Xv, e1) e11'
formam um triedro mvel associado a X.
2) Se X: U e JR.2 -+ JR.3 urna superfcie regular e e1, e2, e3 um triedro
mvel associado a X, ento toda forma diferencial J em U dada
por
J = !1 W1
onde W1,
+h
coi, W12
e3
253
COi
rdu,
C012
(013
>i3
senu dv,
-cosudv,
= -du.
6) Seja e1, e1, e3 um triedro mvel associado a urna superfcie parametri-r IR3 . Se co1, eoi, COij so oco-referencial e
zada regular X: U e
as formas de conexo deste triedro, verifique que:
a) Se w E TqX, q E U, ento a curvatura normal de X em q na direo
de w dada por
254
b) Se w
ento
9) Seja ei, e 2 , e3 um triedro mvel associado a uma superfcie parametrizada regular X(u, v). Considere uma curva diferencivel da superfcie
a(s) =X(u(s), v(s)), s E I e IR, tal que a'(s) = ei (u(s), v(s)). Verifique que a uma geodsica se, e s se, para todo s, (m12) q(s) (V (s))
O, onde q(s) = (u(s), v(s)) e V(s) = (u'(s), v'(s)) E JR2 .
255
3.1 Lema. Uma aplicao diferencivel X: U e IR2 ---+ JR 3 uma superficie parametrizada regular se, e s se, existem funes diferenciveis f e
J de U em IR3 e ]-formas diferenciais m e m em U tais que as seguintes
condies so satisfeitas:
a) V q E U, f( q) e ]( q) so vetores linearmente independentes de IR3;
b) m e m so 1-formas linearmente independentes;
c) VqEU, dXq=lOqf(q)+mq](q).
Neste caso, f (q) e ]( q) geram o plano tangente superficie em q.
Demonstrao. Se X(u, v) uma superfcie parametrizada regular, ento
.x;" Xv e as formas di/, dv satisfazem as trs condies do lema.
Reciprocamente, suponhamos que f, J, m, m satisfazem as condies
do lema. Vamos provar que, para todo q EU, dXq injetiva, isto , se V
um vetor de IR2 tal que dXq(V) =O, ento V= O. De fato, se dXq(V) =O,
ento, usando a condio c), temos que
as funes
mq(V) f(q)
Segue-se de a) que
Portanto,
(m!\m)q(V,V) =0,
para todo V E IR2 . Em particular, se V =f- O, podemos escolher
tal que V
256
D
2
__,. IR3
X(u, v)
fI
1-2aH+
temos que
e3
associado a
diferencivel e
Portanto,
(36)
As !-formas
m1 -
W13
e mi
0Ji3
257
Wi,
X. Como
(38)
Segue-se de (37) que
1 'S i, j-::;_ 3.
(39)
e conclumos que
obtemos que
258
e conclumos que
K
I-2aH+
o
As superficies da proposio anterior so ditas superficies paralelas. Como consequncia dessa proposio, vamos obter o teorema de Bonnet. Esse
teorema mostra que o estudo local das superficies de curvatura mdia constante no-nula essencialmente equivalente ao estudo das superficies de curvatura gaussiana constante positiva. Mais precisamente:
3.3 Corolrio. (Teorema de Bonnet) Para cada superficie de curvatura
mdia constante igual a c #O, sem pontos umblicos e parablicos, podemos
associar duas superfcies paralelas, uma de curvatura gaussiana igual a 4c2
e a outra de curvatura mdia -c.
Reciprocamente, para cada superficie de curvatura gaussiana constante
_____ p..Qsitiv_q_jgual a 4c2 e sem pontos umblicos, podemos associar duas superficies paralelas cujas curvaturas mdias so iguais a c e -c respectivamente.
Demonstrao. Seja X(u, v) uma superficie parametrizada regular, de
curvatura mdia constante H(u, v) c #O. Consideremos a aplicao
259
que a constante
X+-e 3
uma superfcie cuja curvatura mdia igual a -c.
Reciprocamente, seja X(u, v) uma superfcie parametrizada regular de
curvatura gaussiana igual a 4c2 . Consideremos
1
X=X + c e3,
2
X-
1
e3
2c '
e X so respectivamente
D
Observamos que no teorema de Bonnet a exigncia da superfcie no ter
pontos umblicos (e parablicos) essencial para garantir a existncia das superfcies paralelas nas condies acima. Por exemplo, a esfera unitria uma
1, entretanto, uma das "superfcies"
superfcie de curvatura gaussiana K
paralelas esfera, a uma distncia 1, se reduz a um ponto. No Exerccio 2,
a seguir, damos um exemplo de superfcie cuja curvatura gaussiana K = 1,
sem pontos umblicos, qual se pode aplicar o Teorema de Bonnet.
A seguir, vamos provar o teorema de Bcklund. Inicialmente, vamos introduzir um novo conceito.
JR.3 e X : X e JR.2
3.4 Definio. Sejam X : U e JR.2
JR3 superfcies simples, isto , superfcies que no tm auto-interseo, S X(U)
e S = X(). Uma congruncia pseudo-esfrica entre S e S uma aplicao
bijetora .e : S ~ tal que eo X e .e- 1 oX so diferenciveis e so satisfeitas
260
as seguintes condies:
a) para todo p E S, os pontos p a
p = R(p)
s;
e
b) a distncia de p a p igual a uma constante r que independe de p;
c) o ngulo entre as retas normais de S e
S em
p e
p.
~----
Segue-se da definio de congruncia pseudo-esfrica que e 1 (u, v) diferencivel e tangente a X em (u, v), j que e1 (u, v) est na direo da reta
determinada por X(u, v) e R(X(u, v)). Portanto, a partir de e1, podemos
fixar um triedro mvel e1, e2,
RoX(u, v) E S so dados por
e3
(40)
261
o seguinte
(41)
cos e e2 + sen e e3'
(42)
(43)
Vamos denotar por m1 , mi, miJ (resp. i1 , ii, iu) as 1-formas associadas
ao triedro e1, e2, e3 (resp. e 1, e2, e3) de X (resp. X).
Considerando a diferencial de (40), temos
dX = dX +r dei.
Portanto,
d.X = i1 e1 +ii e2 =
i1 e1 + ii (cos e e2 + sen e e3)'
onde a ltima igualdade decorre de (42). Comparando as duas expresses de
dX, obtemos
i1
= m1,
ii
ii
(013.
1
m12 = - - mi+cotge
W13.
(44)
262
Vamos calcular a curvatura gaussiana K de X, usando a equao de
Gauss
-K OJ1 /\ J.2.
- - ro1 /\ OJ12
OJ12 /\ (
d J12 =
W1 /\ J.2
__-K
ro1 /\ J.2 = (
e conclumos que
:~ + cotg2 e K)
ro1 /\ J.2
sen 2 e
X igual
o
O teorema de.Bcklund mostra que congruncias pseudo-esfricas s existem entre superfcies de mesma curvatura gaussiana constante negativa. A
princpio, poderia parecer que tais congruncias so raras, devido s condies
exigidas na definio. Entretanto, pode-se provar que, dada uma superfcie X
de curvatura gaussiana constante negativa, existe uma famlia a dois parmetros
de superfcies, relacionadas com X atravs de congruncias pseudo-esfricas.
Esse resultado geomtrico clssico chamado transformao de Bcklund,
263
e pode ser utili.iado no estudo de certas equaes diferenciais parciais nolineares (ver, por exemplo, [18, 19]).
3.6 Exerccios
1) Seja X uma superfcie parametrizada regular de curvatura mdia H e
curvatura gaussiana K. Verifique que H e K satisfazem uma relao
da forma
a+2bH+cK=O,
onde a, b e e so constantes se, e s se, a superfcie X paralela a uma
superfcie mnima ou uma superfcie de curvatura gaussiana constante.
2) Considere a superfcie de rotao
onde
< u < ~' v E IR, _e a uma constante tal que O< a< 1.
Seja ei, ez, e3 o triedro mvel associado a X_ tal que e 1 =Xu, e1 =
x;,
IXvl'
e3 = ei x ez.
a) Verifique que
m1 = du,
l012
acosu
CO:l3
-a senu dv,
v'l -a2 sen 2 u
CO:l
a cosu
X(u, v)
b>
o,
e a aplicao
X(u, v) =X(u, v) +aN(u, v),
onde N o vetor normal a X e a uma constante tal que O <
a < b. Verifique que
uma superfcie parametrizada regular cujas
curvaturas K e fI satisfazem as seguintes relaes:
a
O<H"S. b2
2.
-a
265
A pseudo-esfera descrita pela aplicao X do Exerccio 5 pode ser visualizada na Figura 58, onde consideramos o domnio da funo, -3 ~ u ~ 3
e O~ v ~ 21C. Observamos que a curva determinada por X(O, v) formada
por pontos de singularidade, isto , pontos onde a superfcie no regular.
A superfcie descrita pela aplicao
Figura 58
Figura 59
O Exerccio 5 fornece um exemplo de duas superfcies de mesma curvatura gaussiana constante negativa associadas por uma congruncia pseudoesfrica. Essas superfcies esto associadas por uma transformao de Bcklund. O leitor interessado poder se aprofundar no estudo dessa e de outras
transformaes entre superfcies que tni propriedades geomtricas especiais
em [18, 19].
Referncias Bibliogrficas
[1] VILA, G. Clculo das funes de uma varivel. 7. ed. So Paulo:
LTC, vol. 1 e 2, 2003, 2004.
[2] VILA, G. Clculo das funes de mltiplas variveis. 7. ed. So
Paulo: LTC, 2006.
[3] CHERN, S.S. Euclidean differential geometry notes. University of
California, Berkeley, 1975.
[4] COELHO, H. P.; GASPAR M.T.J.; TENENBLAT, K. ACOGEO -
267
LTC, 1983.
269
Difeomofisrrio, 24
Funo
Direo assinttica, 192
diferencial de, 21
Direes principais, 163
diferencivel, 13, 21
Elipside, 123, 180
injetora, 17
Epiciclide, 35
limite de, 13, 18
sobrejetora, 17
Equaes de
Codazzi-Mainardi, 208, 210,
vetorial, 12
247,249
Gauss
compatibilidade, 208
aplicao normal de, 134
estrutura, 23 9
equao de, 207, 210, 247, 249
Gauss,207,210,247,249
teorema Egregium de, 208, 247
Esfera, 113, 127, 156, 163, 171,
Geodsica, 195, 199-203, 216
196
Hlice, 74-78
osculatriz, 100
circular, 56, 202
Espao dual, 217
Helicide, 124, 140, 145, 171, 195
Espiral logartmica, 41, 54
Hiperbolide, 123, 172
Evoluta, 48, 51, 106 .
Homeomorfismo, 19
Fecho, 18
Indicatriz esfrica
Flio de Descartes, 36
binormal, 71
Formas de conexo, 237
tangente, 70
Formas diferenciais de grau 1, 218 Interior, 18
Involuta, 49, 105
diferencial exterior de, 226
linearmente independentes, 220 Isometria, 144
de R 3 , 82-88
produto exterior de, 223
Linha
produto tensorial, 220
assinttica, 193, 194, 214
soma de, 219
de curvatura, 187, 190, 213
temo de, 229
Formas diferenciais de grau,f, 225 Matriz.
associada a aplicao linear, 17
temo de, 230
jacobiana, 22
Frmula
posto de, 17
de Taylor, 15, 23
Orientao de bases, 6
de Euler, 164
Parabolide
Frmulas de Frenet, 66
eltico, 112, 179
de curvas planas, 43
hiperblico, 115, 125, 158, 169
Funo
Plano, 111
antpoda,82
normal, 63
bijetora, 17
osculador, 63, 71, 79
19
contnua, 13,
retificante, 63
coordenada, 13
270
Superfcies
isomtricas, 144
paralelas, 258
Teorema
da funo implcita, 25
da funo inversa, 24
de Bcklund, 260
de Bonnet, 25 8
Egregium de Gauss, 208, 247
fundamental das curvas, 52, 91
fundamental das superfcies, 209
Toro, 64, 79
Toro, 119, 143, 175,206,252
Transformao
linear, 16
ortogonal, 83-85
Translao, 26, 82-85, 94
Tratriz, 35, 51, 172
Triedro
de Frenet, 63
-i~~-------.normal,42,62
mvel, 233
1
Rotao, 82
Vetor
!
Seo normal da superfcie, 155
binormal, 63
Segunda forma quadrtica, 152, 242
normal, 62, 134
coeficientes da, 153
tangente curva, 32, 57
Sela do macaco, 159, 212-216
tangente superfcie, 131
Smbolos de Christoffel, 197
Vetores
Superfcie
ngulo entre, 5, 141
de rotao, 116, 131, 143, 152,
linearmente dependentes, 2
172,239,263
linearmente independentes, 3
de Weingarten, 174
ortogonais, 5
mnima, 170, 173
principais, 163
parametrizada regular, 109
produto interno de, 5
parmetros de, 109
produto misto de, 7
regio da, 142
produto vetorial de, 6
reparametrizao de, 126
Vizinhana, 17
simples, 144
tr~o de, 109
1
Plano
tangente, 132
Ponto
de acumulao, 18
eltico, 175, 176
hiperblico, 175, 176, 194, 205
interior, 18
parablico, 175
planar, 175
umblico, 179, 183
Posto de matriz, 17
Primeira forma quadrtica, 138,
242
coeficientes da, 139
Pseudo-esfera, 172, 264
Referencial de Frenet, 42, 63
Regra da cadeia, 15, 23
Reta, 28
tangente, 34, 57
Keti Tenenblat
professora emrita da Universidade de Braslia (UnB) e j foi membro do
corpo docente da UFRJ. Concluiu a Licenciatura, o Mestrado e o Doutorado
em Matemtica pela Universidade Federal do Rio de janeiro (UFRJ), University of Michigan e IMPA, respectivamente. Atuou como professora visitante em
diversas universidades brasileiras. e estrangeiras, sendo, inclusive, palestrante
em um nmero considervel de conferncias em universidades e congressos
cientficos nacionais e internacionais. membro da Academia Brasileira de
Cincias, do World Academy for Developping Countries (TWAS) e recebeu o
Prmio Nacional da.Ordem de Mrito Cientfico. Alm disso, foi presidente da
Sociedade Brasileira de Matemtica (SBM), membro do Comit de Matemtica
do Conselho Nacional de Cirida e Tecnologia (CNPq), representante da rea
de Matemtica e coordenadora da Comisso de Avaliao dos programas junto
CAPES. Possui vrias publicaes, entre livros e artigos de pesquisa em diversos tpicos na rea de Geometria Diferencial publicados em peridicos especializados internacionais. Hoje tambm editora-chefe da revista Matemtica
Contempornea, publicada pela SBM.
www.blucher.com.br
ISBN 978-85-212-0467-1
li
9 788521 204671
Blucher