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
- TAGS
- invariantes
- impa
- www.impa.br
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
90 5.2. Superfícies Paramétricas<br />
A forma quadrática em (5.2) é multiplicada por um fator J quando<br />
introduzimos os novos parâmetros ū, ¯v. Comparando os termos correspon<strong>de</strong>ntes<br />
da i<strong>de</strong>ntida<strong>de</strong> (5.3) com relação a dū, d¯v, temos<br />
Assim,<br />
( ¯ L ¯ N − ¯ M 2 ) = (LN − M 2 )J 4 .<br />
Ldu 2 + 2Mdudv + Ndv 2<br />
|LN − M 2 | 1/4<br />
= [ σu, σv, σtt ]<br />
|LN − M 2 | 1/4 dt2 ,<br />
isto mostra que, exceto a diferença <strong>de</strong> sinal, (5.2) é uma forma diferencial<br />
invariante afim. A métrica procurada é a métrica <strong>de</strong> Berwald-<br />
Blaschke dada por<br />
ds 2 = Ldu2 + 2Mdudv + Ndv2 |LN − M 2 | 1/4<br />
,<br />
on<strong>de</strong> L = [ σu, σv, σuu ] , M = [ σu, σv, σuv ] e N = [ σu, σv, σvv ] ,<br />
a qual será consi<strong>de</strong>rada não-<strong>de</strong>generada, isto é, |LN − M 2 | �= 0.<br />
5.2.2 Primeira Forma Fundamental Afim<br />
Definição 5.4. A primeira forma fundamental afim é a aplicação<br />
<strong>de</strong>finida por<br />
Ix = �<br />
gijdidj,<br />
i,j=u,v<br />
L<br />
on<strong>de</strong> g11 =<br />
|LN − M 2 | 1/4 , g12<br />
M<br />
= g21 =<br />
|LN − M 2 e<br />
| 1/4<br />
N<br />
g22 =<br />
|LN − M 2 .<br />
| 1/4<br />
Observação 5.5. Po<strong>de</strong>mos relacionar a primeira forma fundamental<br />
afim com os coeficientes lij da segunda forma fundamental Euclidiana<br />
da seguinte maneira<br />
lij = 〈N, σij〉 =<br />
� �<br />
σu × σv<br />
, σij =<br />
||σu × σv|| [σu, σv, σij]<br />
||σu × σv|| ,<br />
sendo N o normal Euclidiano dado por N = σu × σv<br />
||σu × σv|| .