F ormulas de Curvatura para Curvas Planas

Robson A. Trevizan Santos

Osmar Al essio

Faculdade de Engenharia de Ilha Solteira - UNESP - Departamento de Matem atica

15385-000, Ilha Solteira, SP
E-mail: robson71183@aluno.feis.unesp.br, osmar@mat.feis.unesp.br
RESUMO
Curvas no Plano
O principal objetivo e estudar as f ormulas de curvatura de curvas planas em suas diversas formas de
representac ao. As curvas podem ser representadas nas formas: param etrica, implcita, explcita e polar.
A representac ao explcita e um caso especial das param etricas e implcitas. Para todos os casos queremos
expressar todas as f ormulas para o c alculo da curvatura. F ormulas de curvatura para curvas represen-
tadas parametricamente s ao facilmente encontradas em livros de c alculo e geometria diferencial, por em
f ormulas para curvas representadas implicitamente s ao raras. Af ormula de curvatura para curva implcita
mais comum e k =
fxx.f
2
y
2fxy.fx.fy + f
2
x
.fyy
((fx)
2
+ (fy)
2
)
3/2
, ela e resultado da aplicac ao do teorema da func ao
implcita. Neste trabalho, o objetivo e somente apresentar outras f ormulas para a curvatura de curvas
implcitas que n ao s ao comuns. Algumas f ormulas n ao usuais s ao mais compactas (formas matriciais),
talvez isso gere um ganho computacional em dimens oes maiores. No artigo [?] a curvatura da curva
de intersec ao de (n 1) superfcies em R
n
e k =
|(T(f1, , fn1) H(f1, , fn1)) T(f1, , fn1)|
T(f1, , fn1)
3
,
onde T(f1, , fn1) = f1 fn1, H(f1, , fn1) = (f1 fn1), produto exterior e
produto vetorial. A f ormula acima e uma extens ao da f ormula no plano k =
T(f) H(f) T(f)
t
f
.
Curvas Param etricas
Denic ao 1 Denimos uma curva parametrizada diferenci avel plana como uma aplicac ao : I
R
2
de classe C

, I aberto em R, que para cada t (par ametro) em I associa (t) = (x(t), y(t)),
onde as func oes x(t), y(t) (componentes) s ao diferenci aveis de classe C

. O subconjunto C =
_
(x(t), y(t)) R
2
| (t) = (x(t), y(t)), t I
_
e o traco da curva .
Denic ao 2 Seja : I R
2
uma curva parametrizada diferenci avel. O vetor

(t) = (x

(t), y

(t)) e
chamado de vetor tangente.
Denic ao 3 Dizemos que a curva e regular, se sua primeira derivada

(t) (ou vetor tangente) for

n ao nula para qualquer t I. Da podemos denir o vetor tangente unit ario

T (t) =

(t)
||

(t)||
=
(x

(t), y

(t))
||(x

(t), y

(t))||
e vetor normal unit ario

N(t) =
(y

(t), x

(t))
||(y

(t), x

(t))||
.
Denic ao 4 Seja : I R
2
uma curva regular. Fixado t
0
I, a func ao s : I R dada por
s(t) =
_
t
t
0

(u) du, onde t

0
< t, e chamada de func ao comprimento de arco da curva a partir
de t
0
.
Denic ao 5 Uma curva param etrica regular : I R
2
est a parametrizada pelo comprimento de
arco s se para s I temos ||

(s)|| = 1. Assim:

t (s) = (x

(s), y

(s)) e

n (s) = (y

(s), x

(s))
Denic ao 6 (Curvatura) . A curvatura de em s e o n umero real k (s) tal que

t

(s) = k(s)

n (s).

Aluno de Iniciac ao Cientca

Professor Orientador
F ormulas de Curvatura
Curvas Parametrizadas (s) = (x(s) , y (s))
s e comprimento de arco
Curvas Parametrizadas (t) = (x(t) , y (t))
t e par ametro qualquer
k(s) =
_

t

(s), n(s)
_
k(t) =
T

(t)

(t)
, T (t) =

(t)

(t)
k(s) =

(s) k(t) =
det

(t) y

(t)
x

(t) y

(t)

(t)
3
k(t) =

(t)

(t))
2
(

(t)

(t))
2

(t)
3
Denic ao 7 (Curvas Polares) A curva plana pode ser representada por uma equac ao polar = ()
onde e a dist ancia da origem no instante .
Denic ao 8 (Curva Explcita) A curva explcita e o gr aco de uma func ao f : I R, isto e,
C :
_
(x, f(x)) R
2
|y = f(x)
_
.
F ormulas de Curvatura
Coordenadas Polares = () Curva Explcita y = f (x)
k () =
2

()
2
()

() + ()
2

()
2
+

()
2
3
2
k (x) =
|f

(x)|

1 + (f

(x))
2
3
2
Denic ao 9 (Curvas Implcitas) A curva implcita e o conjunto de pontos C : {(x, y) R
2
| f (x, y) =
c} que satisfazem a equac ao f (x, y) = c .
Teorema 1 (Teorema da Func ao Implcita) Sejam I R um aberto, f : I R de classe C
k
, k 1,
f (x
0
, y
0
) = 0 e
f
y
(x
0
, y
0
) = 0. Ent ao existem abertos U R, V R com x
0
U I R, tais
que, para todo x U, existe um unico y = y(x) V tal que f(x, y(x)) = 0 e y = y(x) C
k
.
Os vetores f = (f
x
, f
y
) , T(f) =
(fy,fx)
f
, N(f) =
f
f
s ao os vetores gradiente, tangente e
normal, respectivamente.
A matriz H(f) =
_
f
xx
f
xy
f
yx
f
yy
_
e chamada de matriz hessiana, Tr (H (f)) = f
xx
+ f
yy
e seu
traco e H

=
_
f
yy
f
xy
f
yx
f
xx
_
.O gradiente da tangente (T(f)) =
_
f
xy
f
xx
f
yy
f
xy
_
. O Divergente
de f e dado por div(f) =

x
(f
x
) +

y
(f
y
) .
F ormula mais comum k =
f
xx
.f
2
y
2f
xy
.f
x
.f
y
+ f
2
x
.f
yy
((f
x
)
2
+ (f
y
)
2
)
3/2
k =
T(f) H(f) T(f)
t
f
k =
f H

(f) f
T
f
3
F ormulas menos comuns k = div
_
f
f
_
k =
T(f) (T(f)) f
T
f
3
k =
det

H(f) f
T
f 0

f
3
k =
f H(f) f
T
f
2
Tr (H (f))
f
3
Refer encias
[1] M. P. do Carmo. Geometria Diferencial de Curvas e Superfcies, Sociedade brasileira de Matem atica,
2005.
[2] R. Goldman. Curvature formulas for implicit curves and surfaces, Computer Aided Geometric De-
sign, Volume 22, Issue 7, Pages 632-658 (October 2005).
[3] K. Tenenblat. Introduc ao ` a Geometria Diferencial, Fundac ao Universidade de Braslia, 1988.