2
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], [email protected] 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, impl´ ıcita, expl´ ıcita e polar. A representac ¸˜ ao expl´ ıcita ´ e um caso especial das param´ etricas e impl´ ıcitas. 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 ormulas para curvas representadas implicitamente s˜ ao raras. A f ´ ormula de curvatura para curva impl´ ıcita 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 impl´ ıcita. Neste trabalho, o objetivo ´ 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 maiores. No artigo [2] a curvatura da curva de intersec ¸˜ ao de (n - 1) superf´ ıcies em R n ´ e k = |(T (f1, ··· ,fn-1 ) * H(f1, ··· ,fn-1 )) × T (f1, ··· ,fn-1 )| kT (f1, ··· ,fn-1 )k 3 , onde T (f1, ··· ,fn-1 )= f1 ∧···∧∇fn-1 , H(f1, ··· ,fn-1 )= (f1 ∧···∧∇fn-1 ), × 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 k∇f k . Curvas Param´ etricas Definic ¸˜ 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)) R 2 | α(t)=(x(t),y(t)),t I ´ eo trac ¸o da curva α. Definic ¸˜ ao 2 Seja α : I R 2 uma curva parametrizada diferenci´ avel. O vetor α 0 (t)=(x 0 (t),y 0 (t)) ´ e chamado de vetor tangente. Definic ¸˜ ao 3 Dizemos que a curva α ´ e regular, se sua primeira derivada α 0 (t) (ou vetor tangente) for ao nula para qualquer t I . Da´ ı podemos definir o vetor tangente unit´ ario - T (t)= α 0 (t) ||α 0 (t)|| = (x 0 (t),y 0 (t)) ||(x 0 (t),y 0 (t))|| e vetor normal unit´ ario - N (t)= (-y 0 (t),x 0 (t)) ||(-y 0 (t),x 0 (t))|| . Definic ¸˜ ao 4 Seja α : I R 2 uma curva regular. Fixado t 0 I, a func ¸˜ ao s : I R dada por s(t)= R t t 0 kα 0 (u)k du, onde t 0 < t, ´ e chamada de func ¸˜ ao comprimento de arco da curva α a partir de t 0 . Definic ¸˜ ao 5 Uma curva param´ etrica regular β : I R 2 est´ a parametrizada pelo comprimento de arco s se para s I temos ||β 0 (s)|| =1. Assim: - t (s)=(x 0 (s),y 0 (s)) e - n (s)=(-y 0 (s),x 0 (s)) Definic ¸˜ ao 6 (Curvatura) . A curvatura de β em s ´ eon´ umero real k (s) tal que - t 0 (s)= k(s) - n (s). * Aluno de Iniciac ¸˜ ao Cient´ ıfica Professor Orientador — 1213 — Anais do CNMAC v.2 ISSN 1984-820X

Fórmulas de Curvatura para Curvas Planas Curvas no Plano

  • Upload
    hahanh

  • View
    247

  • Download
    14

Embed Size (px)

Citation preview

Page 1: Fórmulas de Curvatura para Curvas Planas Curvas no Plano

Formulas de Curvatura para Curvas Planas

Robson A. Trevizan Santos ∗ Osmar Alessio†

Faculdade de Engenharia de Ilha Solteira - UNESP - Departamento de Matematica15385-000, Ilha Solteira, SP

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

RESUMO

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

representacao. As curvas podem ser representadas nas formas: parametrica, implıcita, explıcita e polar.A representacao explıcita e um caso especial das parametricas e implıcitas. Para todos os casos queremosexpressar 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, poremformulas para curvas representadas implicitamente sao raras. A formula de curvatura para curva implıcita

mais comum e k = −fxx.f2

y − 2fxy.fx.fy + f2

x .fyy

((fx)2 + (fy)2)3/2, ela e resultado da aplicacao do teorema da funcao

implıcita. Neste trabalho, o objetivo e somente apresentar outras formulas para a curvatura de curvasimplıcitas que nao sao comuns. Algumas formulas nao usuais sao mais compactas (formas matriciais),talvez isso gere um ganho computacional em dimensoes maiores. No artigo [2] a curvatura da curvade intersecao de (n − 1) superfıcies em R

n e k =|(T (f1, · · · , fn−1) ∗ H(f1, · · · , fn−1)) × T (f1, · · · , fn−1)|

‖T (f1, · · · , fn−1)‖3

,

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

‖∇f‖ .

Curvas ParametricasDefinicao 1 Definimos uma curva parametrizada diferenciavel plana como uma aplicacao α : I →R

2 de classe C∞, I aberto em R, que para cada t (parametro) em I associa α(t) = (x(t), y(t)),onde as funcoes x(t), y(t) (componentes) sao diferenciaveis de classe C∞. O subconjunto C ={

(x(t), y(t)) ∈ R2 | α(t) = (x(t), y(t)), t ∈ I

}

e o traco da curva α.

Definicao 2 Seja α : I → R2 uma curva parametrizada diferenciavel. O vetor α′(t) = (x′(t), y′(t)) e

chamado de vetor tangente.

Definicao 3 Dizemos que a curva α e regular, se sua primeira derivada α′(t) (ou vetor tangente) for

nao nula para qualquer t ∈ I . Daı podemos definir o vetor tangente unitario−→T (t) =

α′(t)

||α′(t)|| =

(x′(t), y′(t))

||(x′(t), y′(t))|| e vetor normal unitario−→N (t) =

(−y′(t), x′(t))

||(−y′(t), x′(t))|| .

Definicao 4 Seja α : I → R2 uma curva regular. Fixado t0 ∈ I, a funcao s : I → R dada por

s(t) =∫ t

t0‖α′(u)‖ du, onde t0 < t, e chamada de funcao comprimento de arco da curva α a partir

de t0.

Definicao 5 Uma curva parametrica regular β : I → R2 esta 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))

Definicao 6 (Curvatura) . A curvatura de β em s e o numero real k (s) tal que−→t ′(s) = k(s)−→n (s).

∗Aluno de Iniciacao Cientıfica†Professor Orientador

— 1213 —

Anais do CNMAC v.2 ISSN 1984-820X

Page 2: Fórmulas de Curvatura para Curvas Planas Curvas no Plano

Formulas de CurvaturaCurvas Parametrizadas β (s) = (x (s) , y (s))

s e comprimento de arcoCurvas 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

Definicao 7 (Curvas Polares) A curva plana pode ser representada por uma equacao polar ρ = ρ (θ)onde ρ e a distancia da origem no instante θ.

Definicao 8 (Curva Explıcita) A curva explıcita e o grafico de uma funcao f : I −→ R, isto e,C :

{

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

}

.

Formulas de CurvaturaCoordenadas Polares ρ = ρ (θ) Curva Explıcita y = f (x)

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

(

ρ (θ)2 + ρ′ (θ)2)

3

2

k (x) =|f ′′(x)|

(

1 + (f ′(x))2)

3

2

Definicao 9 (Curvas Implıcitas) A curva implıcita e o conjunto de pontos C : {(x, y) ∈ R2 | f (x, y) =

c} que satisfazem a equacao f (x, y) = c .

Teorema 1 (Teorema da Funcao Implıcita) Sejam I ⊂ R um aberto, f : I → R de classe Ck, k ≥ 1,f (x0, y0) = 0 e ∂f

∂y(x0, y0) 6= 0. Entao 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) ∈ Ck.

Os vetores ∇f = (fx, fy) , T (f) =(−fy ,fx)‖∇f‖ , N(f) = ∇f

‖∇f‖ sao os vetores gradiente, tangente enormal, respectivamente.

A matriz H(f) =

(

fxx fxy

fyx fyy

)

e chamada de matriz hessiana, Tr (H (f)) = fxx + fyy e seu

traco e H∗ =

(

fyy −fxy

−fyx fxx

)

.O gradiente da tangente ∇(T (f)) =

(

−fxy fxx

−fyy fxy

)

. O Divergente

de ∇f e dado por div(∇f) = ∂∂x

(fx) + ∂∂y

(fy) .

Formula mais comum k = −fxx.f2

y − 2fxy.fx.fy + f2

x .fyy

((fx)2 + (fy)2)3/2

k = −T (f) ∗ H(f) ∗ T (f)t

‖∇f‖ k = −∇f ∗ H∗(f) ∗ ∇fT

‖∇f‖3

Formulas menos comuns k = −div(

∇f‖∇f‖

)

k =T (f) ∗ ∇(T (f)) ∗ ∇fT

‖∇f‖3

k =

det

H(f) ∇fT

∇f 0

‖∇f‖3 k = −∇f ∗ H(f) ∗ ∇fT − ‖∇f‖2Tr (H (f))

‖∇f‖3

Referencias

[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.

— 1214 —