curvatura e torÇÃo

2
 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: [email protected] eis.unesp.br , [email protected] s.unesp.br RESUMO Curvas no Plano O principal objetivo ´ e estudar as f ´ ormulas de curvatura de curvas planas em suas diversas formas de rep res entac ¸˜ ao. As curvas podem ser representadas nas formas: param ´ etrica, impl´ ıcita, expl´ ıcita e polar. A represe nta c ¸ ˜ ao expl´ ıci ta ´ e um caso especial das param´ etricas e impl´ ıcitas. Para todos os casos queremos expressar todas as f´ ormulas para o c´ alc ulo da curv atura. ormulas de curvatura para curvas represen- tadas parametricamente s ˜ ao facilmente encontradas em livros de c ´ alculo e geometria diferencial, por ´ em f ´ ormula s par a cur va s repres enta das implic ita mente s ˜ ao rar as. A f ´ or mula de curv at ur a para curva impl ´ ıcita mais comum  ´ e  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  , ela  ´ e resultado da aplicac ¸ ˜ ao do teorema da func ¸ ˜ ao impl ´ ıcita. Neste tra balho, o objeti vo  ´ e somente apresentar outras f ´ ormulas para a curvatura de curvas impl ´ ıcitas 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 ma iore s. No arti go [?] a curvatura da curva de intersec ¸ ˜ ao de ( n 1)  superf ´ ıcies em R n ´ e  k  =  |(T (f 1 , ···  , f n1) ∗ H (f 1 , ···  , f n1)) × T (f 1 , ···  , f n1)| T (f 1 , ···  , f n1) 3  , onde  T (f 1 , ···  , f n1) = ∇f 1 ∧ ·· · f n1,  H (f 1 , ···  , f n1) = ∇ (f 1 ∧ ·· · f n1), × 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 De nic ¸  ˜ ao 1  Denimos uma  curva parametrizada diferenci ´  avel plana  como uma aplic ac ¸ ˜ 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 diferenc  aveis de classe  C . O subc onj unto  C  = (x(t), y(t)) ∈ R 2 |  α(t) = (x(t), y(t)),t ∈ I   ´ e o  tra c ¸ o da curva α. De nic ¸  ˜ ao 2  Seja α  :  I  → R 2 uma curva parame trizada diferen ci´ ave l. O vet or  α (t) = (x (t), y (t))  ´ e chamado de vetor tangente. De nic ¸  ˜ 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 tangen te unit ´ ario −→ T  ( t) =  α (t) ||α (t)||  = (x (t), y (t)) ||(x (t), y (t))||  e vet or normal unit ´ ario −→ N (t) =  (y (t), x (t)) ||(y (t), x (t))|| . De nic ¸  ˜ ao 4  Seja α :  I  → R 2 uma curva regular. Fixado t 0  ∈ I ,  a fun c ¸ ˜ ao s  :  I  → R dada por s(t) =  t t 0 α (u) du, onde t 0  < t,  ´ e chama da de fun c ¸ ˜ ao comprimento de arco da curva  α  a partir de t 0 . De nic ¸  ˜ 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)) De nic ¸  ˜ ao 6  (Curvatura) .  A curvatu ra de β  em  s  ´ e o n ´ umero real k (s) tal que −→ t   (s) = k (s) n (s). Aluno de Inici ac ¸ ˜ ao Cient ´ ıfica Professor Orientador

Upload: mauricio-vinhote

Post on 18-Jul-2015

80 views

Category:

Documents


0 download

TRANSCRIPT

5/15/2018 CURVATURA E TOR ÃO - slidepdf.com

http://slidepdf.com/reader/full/curvatura-e-torcao 1/3

Formulas de Curvatura para Curvas Planas

Robson A. Trevizan Santos∗

Osmar Alessio†

Faculdade de Engenharia de Ilha Solteira - UNESP - Departamento de Matematica

15385-000, Ilha Solteira, SP

E-mail: [email protected], [email protected]

RESUMO

Curvas no PlanoO principal objetivo e estudar as f ormulas de curvatura de curvas planas em suas diversas formas de

representacao. As curvas podem ser representadas nas formas: param etrica, implıcita, explıcita e polar.

A representacao explıcita e um caso especial das parametricas e implıcitas. Para todos os casos queremos

expressar todas as formulas para o calculo da curvatura. Formulas de curvatura para curvas represen-

tadas parametricamente sao facilmente encontradas em livros de calculo e geometria diferencial, porem

f ormulas para curvas representadas implicitamente sao raras. A f ormula de curvatura para curva implıcita

mais comum e k = −f xx.f 

2

y − 2f xy.f x.f y + f 2x .f yy

((f x)2 + (f y)2)3/2, ela e resultado da aplicacao do teorema da funcao

implıcita. Neste trabalho, o objetivo e somente apresentar outras f ormulas para a curvatura de curvas

implıcitas que nao sao comuns. Algumas f ormulas nao usuais sao mais compactas (formas matriciais),

talvez isso gere um ganho computacional em dimensoes maiores. No artigo [?] a curvatura da curva

de intersecao de (n − 1) superf ıcies em Rn e k =

|(T (f 1, · · · , f n−1) ∗ H (f 1, · · · , f n−1)) × T (f 1, · · · , f n−1)|

T (f 1, · · · , f n−1)3,

onde T (f 1, · · · , f n−1) = f 1 ∧ ·· · ∧ f n−1, H (f 1, · · · , f n−1) = (f 1 ∧ ·· · ∧ f n−1), × produto exterior e ∧produto vetorial. A f ormula acima e uma extensao da f ormula no plano k = −T (f ) ∗ H (f ) ∗ T (f )t

.

Curvas ParametricasDefinic ˜ ao 1 Definimos 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)) ∈ R2 | α(t) = (x(t), y(t)), t ∈ I 

´ e o traco da curva α.

Definic ˜ ao 2 Seja α : I → R2 uma curva parametrizada diferenci´ avel. O vetor α(t) = (x(t), y(t)) ´ e

chamado de vetor tangente.

Definic ˜ 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 definir 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))|| .

Definic ˜ ao 4 Seja α : I → R2 uma curva regular. Fixado t0 ∈ I, a func˜ ao s : I → R dada por 

s(t) = tt0α(u) du, onde t0 < t, ´ e chamada de func˜ ao comprimento de arco da curva α a partir 

de t0.

Definic ˜ ao 5 Uma curva param´ etrica regular  β  : I  → R2 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))

Definic ˜ 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 Iniciacao Cientıfica†Professor Orientador

5/15/2018 CURVATURA E TOR ÃO - slidepdf.com

http://slidepdf.com/reader/full/curvatura-e-torcao 2/3

Formulas de Curvatura

Curvas Parametrizadas β (s) = (x (s) , y (s))s e comprimento de arco

Curvas Parametrizadas α (t) = (x (t) , y (t))t e parametro qualquer

k(s) = −−→

t (s), n(s)

k(t) = T (t)α(t) , T  (t) = α(t)

α(t)

k(s) = β (s) k(t) =

det

x (t) y (t)

x (t) y (t)

α(t)3

k(t) =

√(α(t)α(t))2−(α(t)·α(t))2

α(t)3

Definic ˜ ao 7 (Curvas Polares) A curva plana pode ser representada por uma equac ˜ ao polar  ρ = ρ (θ)onde ρ ´ e a distˆ ancia da origem no instante θ.

Definic ˜ ao 8 (Curva Expl   ıcita) A curva explıcita ´ e o gr´ afico de uma func˜ ao f  : I −→ R, isto ´ e,

C  :

(x, f (x)) ∈ R2|y = f (x)

.

Formulas de Curvatura

Coordenadas Polares ρ = ρ (θ) Curva Explıcita y = f (x)

k (θ) = 2ρ (θ)2 − ρ (θ) ρ (θ) + ρ (θ)2ρ (θ)2 + ρ (θ)2

32

k (x) = |f (x)|

1 + (f (x))2 3

2

Definic ˜ ao 9 (Curvas Impl   ıcitas) A curva impl´ ıcita ´ e o conjunto de pontos C  : {(x, y) ∈ R2 | f  (x, y) =c} que satisfazem a equac ˜ ao f (x, y) = c .

Teorema 1 (Teorema da Func˜  ao Impl   ıcita) Sejam I  ⊂ R um aberto, f  : I  → R de classe C k, k ≥ 1 ,

f (x0, y0) = 0 e ∂f ∂y

(x0, y0) = 0. Ent   ao existem abertos U  ⊂ R , V  ⊂ R com x0 ∈ 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 ) =(−f y,f x)f  , N (f ) = f 

f  sao os vetores gradiente, tangente e

normal, respectivamente.

A matriz H (f ) =

f xx f xyf yx f yy

e chamada de matriz hessiana, T r (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) .

Formula mais comum k = −f xx.f 2y − 2f xy.f x.f y + f 2x .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

Formulas menos comuns k = −div

f f 

k =

T (f ) ∗ (T (f )) ∗ f T 

3

k =

det

H (f ) f T 

f  0

f 3k = −f ∗ H (f ) ∗ f T  − f 2 T r (H (f ))

f 3

Refer encias

[1] M. P. do Carmo. Geometria Diferencial de Curvas e Superf ıcies, Sociedade brasileira de Matematica,

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. Introducao a Geometria Diferencial, Fundacao Universidade de Brasılia, 1988.

5/15/2018 CURVATURA E TOR ÃO - slidepdf.com

http://slidepdf.com/reader/full/curvatura-e-torcao 3/3