29.01.2013 Views

Cálculo e Estimação de Invariantes Geométricos: Uma ... - Impa

Cálculo e Estimação de Invariantes Geométricos: Uma ... - Impa

Cálculo e Estimação de Invariantes Geométricos: Uma ... - Impa

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

Capítulo 5. Geometria Afim: Superfícies 89<br />

Utilizando a regra da ca<strong>de</strong>ia temos<br />

du<br />

σt = σu<br />

σtt = σuu<br />

Assim,<br />

dt<br />

dv<br />

+ σv<br />

dt ,<br />

� du<br />

dt<br />

�2 + 2σuv<br />

du dv<br />

+ σvv<br />

dt dt<br />

� �2 dv<br />

+ σu<br />

dt<br />

d2u + σv<br />

dt2 [ σu, σv, (σ ◦ γ)tt ] = � σu, σv, ˙u 2 σuu + 2 ˙u ˙vσuv + ˙v 2 �<br />

σvv<br />

= ˙u 2 [ σu, σv, σuu ] + 2 ˙u ˙v [ σu, σv, σuv ]<br />

+ ˙v 2 [ σu, σv, σvv ] .<br />

Definindo L = [ σu, σv, σuu ] , M = [ σu, σv, σuv ] e<br />

N = [ σu, σv, σvv ] , obtemos<br />

[ σu, σv, (σ ◦ γ)tt ] = L ˙u 2 + 2M ˙u ˙v + N ˙v 2 .<br />

Portanto a curva σ ◦ γ é assintótica se, e somente se<br />

L ˙u 2 + 2M ˙u ˙v + N ˙v 2 = 0.<br />

Estes <strong>de</strong>terminantes e a forma diferencial quadrática<br />

[ σu, σv, (σ ◦ γ)tt ] dt 2 = Ldu 2 + 2Mdudv + Ndv 2<br />

d2v .<br />

dt2 (5.2)<br />

são todos invariantes afins sobre um sistema <strong>de</strong> parâmetros. Vamos<br />

estudar a forma diferencial (5.2) quando introduzirmos novos<br />

parâmetros ū, ¯v ao invés <strong>de</strong> u e v. Notando que<br />

obtemos<br />

∂u<br />

σū = σu<br />

∂ū<br />

∂v<br />

+ σv<br />

∂ū e σ¯v<br />

∂u<br />

= σu<br />

∂¯v<br />

∂v<br />

+ σv<br />

∂¯v ,<br />

[ σū, σ¯v, σtt ] = [ σu, σv, (σ ◦ γ)tt ] J, (5.3)<br />

on<strong>de</strong> J é o <strong>de</strong>terminante Jacobiano<br />

J = ∂u ∂v<br />

∂ū ∂¯v<br />

∂u ∂v<br />

−<br />

∂¯v ∂ū .

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!