Geometria Diferencial

Curavas Planas: resumo e algumas

demonstrações.

1 Definições
Definição 1.1. 1. Curva plana: função
γ : I ⊆ R(intervalo) −→ R2

2. Vetor tangente ou velocidade:γ0 (t ) = (x 0 (t ), y 0 (t ))

3. Curva regular:
γ0 (t ) 6= 0, ∀t ∈ I

4. Comprimento de arco: Z t
l (t ) := ||γ0 (s)||d t
t0

5. Mudança de parâmetro: função

h : J −→ I , h(s) = t
que é bijetora. β(s) = γ ◦ h(s) é a curva reparemerizada.

6. Curva parametrizada pelo comprimento de arco (ppca): ||γ0 (t )|| = 1

2 Como determinar o novo parâmetro de modo a ob-

ter uma curva ppca
Tome Z t
s(t ) = ||γ0 (r )||d r.
t0
Agora tome
h(s) = s −1 = t (s)
e tome β(s) := α(h(s))

1
3 Diedro de Frenet
Definição 3.1. 1. Vetor tangente:

t (s) := γ0 (s)

2. Vetor normal:
n(s)
tal que:

(a) ||n(s)|| = 1
(b) 〈t (s), n(s)〉 = 0
(c) {t (s), n(s)} é base orientada positivamente (têm a mesma orientação
da base canônica)

3. Diedro de Frenet: base ordenada (t (s), n(s))

Este vetor normal é único e pode ser dado por

n(s) = (−y(s), x(s))

4 Curvatura
Como ||γ0 (s)|| = ||t (s)| 〈t (s), t (s)〉 = 1 então

〈t (s), t 0 (s)〉 = 0 ⇒ t 0 (s) = γ00 (s) = κ(s)n(s)

pois
t 0 (s) ⊥ t (s) ⇒ t 0 (s) ∥ n(s)

Definição 4.1. κ(s) é denominada curvatura da curva γ.

Explicitamente:
|κ(s)| = ||t 0 (s)|| = ||γ00 (s)||
e
κ(s) = 〈γ00 (s), n(s)〉
Como
||n(s)|| = ||t (s)|| = 〈n(s), n(s)〉 = 1
então, derivando, obtemos
〈n(s), n(s)〉 = 1

2
de modo que t (s) ∥ n 0 (s) e n 0 (s) = a(s)t (s). Logo
0
a(s) = 〈n 0 (s), t (s)〉 = 〈n(s), t 0 (s)〉 − 〈n(s), t 00 (s)〉 = 0 − κ(s)

Logo
n 0 (t ) = −κ(s)t (s)
e obtemos as Equações de Frenet:

t 0 (s) = κ(s)n(s)
½

n 0 (s) = −κ(s)t (s)

ou matricialmente
t 0 (s)
· ¸ · ¸· ¸
0 −κ(s) t (s)
=
n 0 (s) κ(s) 0 n(s)

4.1 Outras fórmulas para curvatura

||γ0 (t )|| = 1 ⇒ γ00 (t ) = (cos(θ(s)), sen(θ(s)))

∴ γ(t ) = θ 0 (s)(−sen(θ(s)), cos(θ(s))) = κ(s) (−sen(θ(s)), cos(θ(s)))
| {z }
n(s)
γ0 (t ) ∧ γ00 (t ) = (cos(θ(s))e 1 + sen(θ(s)e 2 ) ∧ κ(s)(−sen(θ(s))e 1 + cos(θ(s)e 2 ) = κ(e 1 ∧ e 2 )
γ0 (t ) ∧ γ00 (t ) = (x 0 (t )e 1 + y 0 (t )2 ) ∧ (x 00 (t )e 1 + y 00 (t )e 2 ) = (x"(t )y 0 (t ) − x 0 (t )y"(t ))(e 1 ∧ e 2 )

Portanto, para curvas ppca

κ(s) = x 00 (t )y 0 (t ) − x 0 (t )y 00 (t )

(Demonstração so lidvo de J.J. Stoker)

Curvas que não são ppca:

γ(r ) curva regular − β(s) reparametrização por comprimento de arco

β(s(r )) = γ(r )
dβ ds
= γ0 (r )
ds dr
d 2β d s 2 d β d 2 s
µ ¶
+ = γ00 (r )
d s2 d r ds dr 2

3
 Z r
s(r ) = ||γ0 (t )||d t ⇒
r0
ds q
= ||γ0 (t )|| = 〈γ0 (t ), γ0 (t )〉 ⇒
dr
d 2 s 〈γ0 (t ), γ00 (t )〉
=
dr 2 ||γ0 (t )||
γ(r ) = (x(r ), y(r )) ⇒
µ ¶−1
0 0 dr 0 0 0 ds
t (r ) = γ (r ) = (x (r ), y (r )) = (x (s), y (s)) = (x 0 (s), y 0 (s)) ⇒
ds dr
(x 0 , y 0 )
t (r ) =
(x 02 + y 02 )1/2

(−y 0 , x 0 )
n(r ) =
(x 02 + y 02 )1/2
d 2β
¿ À
κ(s(r )) = (s(r )), n(r ) ⇒
d s2
−x 00 y 0 + x 0 y 00
κ(s) =
(x 02 + y 02 )3/2

(Demonstração so livro de Keti Tenenblat)