Revista Brasileira de Ensino de F sica, v. 33, n. 2, 2306 (2011) www.sbsica.org.

br

Geometria diferencial de curvas e dinmica da part a cula

(Dierential geometry of curves and single particle dynamics)

Antnio Duarte Pereira Jr. e Nivaldo A. Lemos1 o

Departamento de F sica, Universidade Federal Fluminense, Niteri, RJ, Brasil o Recebido em 2/6/2010; Aceito em 2/5/2011; Publicado em 6/7/2011 A geometria diferencial de curvas aplicada ` dinmica de uma part e a a cula em movimento no espao tridimenc sional. As propriedades geomtricas da trajetria so expressas em termos de grandezas dinmicas associadas e o a a ao movimento. Estudamos, em particular, a conexo entre a curvatura, a torao e a fora a que a part a c c cula est sujeita. So encontradas as condies gerais que uma fora deve satisfazer para que a trajetria seja plana a a co c o independentemente das condioes iniciais. c Palavras-chave: geometria diferencial de curvas, dinmica da part a cula. The dierential geometry of curves is applied to the dynamics of a particle moving in tridimensional space. The geometric properties of the trajectory are expressed in terms of dynamical quantities associated with the motion. In particular, we study how curvature and torsion are connected with the force on the particle. General conditions are found that a force has to satisfy in order that the trajectory lies on a plane irrespective of the initial conditions. Keywords: dierential geometry of curves, single particle dynamics.

1. Introduo ca
Conceitos geomtricos e topolgicos [1] desempenham e o um papel cada vez mais destacado na construo de ca teorias f sicas [2]. Em particular, a geometria diferencial uma disciplina matemtica de extrema ime a portncia para a f a sica terica contempornea: suas o a aplicaes estendem-se da mecnica clssica [3] ` f co a a a sica das part culas elementares [4], sem falar no seu papel vital na teoria da relatividade geral de Einstein [5]. Com seu belo aparato anal tico e forte apelo visual, a geometria diferencial de curvas e superf cies no espao c tridimensional, alm de importante e fascinante por si e mesma, abre as portas para o estudo de geometria diferencial avanada, de suma importncia para a f c a sica terica atual. O v o nculo entre mecnica e geometria a e muito estreito, o que tem estimulado a exposio das ca tcnicas bsicas da geometria diferencial de curvas e sue a perf cies em livros avanados de mecnica clssica [6]. c a a Neste trabalho fazemos uma breve exposio das ca ideias e dos resultados fundamentais da geometria diferencial de curvas visando aplicaes ` dinmica de uma co a a part cula. As propriedades geomtricas fundamentais e da trajetria so expressas em termos da fora sobre o a c a part cula e de outras grandezas dinmicas associadas a ao movimento. Essa abordagem torna poss vel enun1 E-mail:

ciar de forma clara certos problemas cuja formulao ca matemtica seria obscura no tratamento convencional. a Em particular, so encontradas as condies gerais que a co uma fora deve satisfazer para que a trajetria seja c o plana quaisquer que sejam as condies iniciais. co

2.

Elementos da geometria diferencial de curvas

Embora nossa concepo mais imediata de curva seja ca esttica um conjunto de pontos no espao formando a c uma linha , uma curva tambm pode ser entendida e intuitivamente como a trajetria descrita por um ponto o em movimento. Esta ideia tornada matematicamente e precisa pela noo de curva parametrizada. H uma ca a teoria geral de curvas em Rn e de particular interesse para a teoria da relatividade especial no espaoc tempo de Minkowski [7, 8]. Vamos, no entanto, limitar nossas consideraes a curvas em R3 . co 2.1. Curvas parametrizadas

Para as motivaes geomtricas das denies a seguir co e co e as demonstraes dos resultados relevantes, o leitor co remetido aos excelentes textos de Pressley [9] e do e Carmo [10] .

nivaldo@if.u.br.

Copyright by the Sociedade Brasileira de F sica. Printed in Brazil.

2306-2

Pereira Jr. e Lemos

Denio 1. Uma curva parametrizada em R3 ca e uma aplicao innitamente diferencivel : (a, b) ca a R3 onde a < b . A varivel t (a, b) o a e parmetro da curva e a imagem da aplicao o trao a ca e c da curva. Em virtude desta denio, no se deve confunca a dir uma curva parametrizada, que uma aplicao, e ca com o seu trao, que um subconjunto de R3 (o tal c e conjunto de pontos formando uma linha). Note que (t) = (1 (t), 2 (t), 3 (t)) o vetor posio do ponto e ca da curva para o qual o parmetro tem valor t, que os a f sicos costumam denotar por r(t). Passaremos a utilizar esta ultima notao quando nos voltarmos para as ca aplicaes ` mecnica. co a a Denio 2. Dada uma curva parametrizada (t), ca sua derivada (t) = d(t)/dt o vetor tangente ou vetor e velocidade de no ponto (t). Suporemos que a curva regular, isto , o vetor e e tangente nunca se anula: (t) > 0 para todo t, onde (t) = (1 (t))2 + (2 (t))2 + (3 (t))2 . Denio 3. O comprimento de arco a partir de t0 ca de uma curva parametrizada (t) a funo s : R R e ca denida por t s(t) = (t) dt . (1)
t0

parametrizada pelo comprimento de arco tem norma constante e igual a 1, a curvatura mede a variao da ca direo do vetor tangente. Segue-se que a curvatura ca de uma linha reta nula. No caso de curvas planas, e a curvatura pode ser interpretada como a taxa de variao por unidade de comprimento de arco do ngulo ca a formado pelo vetor tangente com uma direo xa [9]. ca A denio de curvatura pressupe que a curva esca o teja parametrizada pelo comprimento de arco. No caso de uma parametrizao qualquer, no dif provar [9] ca a e cil que a curvatura de uma curva regular (t) dada por e k(t) =
3

(3)

onde = d/dt e denota o produto vetorial dos vetores e em R3 . Seja (s) uma curva parametrizada pelo comprimento de arco. Nos pontos em que k(s) = 0 pode-se denir o vetor unitrio n(s) por meio da equao a ca (s) = k(s)n(s) . (4)

Pelo teorema fundamental do clculo, temos que a ds/dt = (t). Como ds/dt > 0, podemos inverter a equao s = s(t) e exprimir o parmetro t como ca a uma funo innitamente diferencivel de s, de modo ca a que qualquer curva regular pode ser parametrizada pelo comprimento de arco. Para uma curva (s) parametrizada pelo comprimento de arco tem-se d d dt = = = ds dt ds isto , o vetor tangente unitrio. e e a 2.2. Curvatura e toro ca d = 1, ds (2)

Diferenciando a identidade (s) (s) = 1 em relao a ca s, resulta imediatamente que = 0, ou seja, n(s) e normal ` curva. Fica, portanto, determinado um plano a gerado por (s) e n(s), denominado plano osculador em s. Em todos os pontos da curva em que k(s) = 0 dene-se o vetor binormal como o vetor unitrio b(s) = a t(s) n(s), onde t(s) = d/ds = (s) denota o vetor unitrio tangente ` curva. Desta forma, ca denido a a um triedro positivamente orientado {t(s), n(s), b(s)} em cada ponto da curva com curvatura diferente de zero, conhecido como triedro de Frenet ou triedro de SerretFrenet. A derivada de b(s) dada por e b(s) = t(s) n(s) + t(s) n(s) = t(s) n(s) (5)

porque t(s) paralelo a n(s). Portanto, b(s) ortogoe e nal a t(s) e tambm a b(s) por ser este ultimo um vetor e unitrio. Assim, inferimos que b(s) paralelo a n(s) e a e podemos escrever b(s) = (s)n(s) , equao que serve para denir a toro. ca ca Denio 5. Seja (s) uma curva parametrizada ca pelo comprimento de arco. O nmero (s) denido pela u e ca Eq.(6) chamado de toro2 de em s. Diferentemente da curvatura, a toro pode ser neca gativa. Se a curva plana, os vetores t(s) e n(s) pere tencem ao plano que contm o trao da curva e b(s) e c e um vetor unitrio constante perpendicular a esse plano. a Segue-se que b(s) = 0 e, portanto, a toro nula. A ca e toro mede a rapidez com que muda a direo do vetor ca ca (6)

Passemos, agora, a denir as principais caracter sticas geomtricas das curvas parametrizadas, comeando e c pela curvatura. No restante desta seo, sempre que ca for conveniente e no causar ambiguidade, usaremos o a ponto para indicar derivada em relao ao comprimento ca de arco s. Quando houver risco de dvida, escrevereu mos, por exemplo, (s) em vez de simplesmente . Denio 4. Seja (s) uma curva parametrizada ca pelo comprimento de arco. A funo escalar k(s) = ca (s) chamada de curvatura de em s. e De acordo com a denio acima, a curvatura no ca a pode ser negativa. Como o vetor tangente a uma curva

2 Adotamos a conveno de Manfredo do Carmo [10], mas cumpre alertar que h autores que denem a toro com o sinal oposto, ca a ca isto , via b(s) = (s)n(s). e

Geometria diferencial de curvas e dinmica da part a cula

2306-3

unitrio b(s), isto , a rapidez com que a curva se afasta a e do plano osculador. A toro de uma curva (t) com uma parameca trizao qualquer dada por [9, 10] ca e ... ( ) (t) = (7) 2 , que, com o emprego da Eq.(3), pode ser posta na forma equivalente ... 1 ( ) (t) = 2 . (8) 6 k Nas Eqs.(7) e (8) o ponto denota derivada em relao ca ao parmetro arbitrrio t. a a 2.3. Frmulas de Frenet o

As derivadas dos vetores unitrios t(s), n(s), b(s) nos a do informaes sobre o comportamento da curva em a co uma vizinhana de s e podem ser expressas como comc binaes lineares desses prprios vetores, j que eles co o a formam uma base ortonormal. De n(s) = b(s) t(s) resulta n(s) = b(s) t(s) + b(s) t(s) = (s)n(s) t(s) + k(s)b(s) n(s) = (s)b(s) k(s)t(s) . (9)

posio e velocidade inicial da part ca cula, poss e vel determinar a posio como funo do tempo, ou seja, a ca ca curva descrita pela part cula. De acordo com o teorema de existncia e unicidade para equaes diferenciais ore co dinrias, para qualquer fora razovel a curva descrita a c a pela part cula existe e as condies iniciais a determico nam univocamente. Para estabelecer a conexo mencionada, convenia e ente fazer uma mudana de notao: os vetores que c ca formam o triedro de Serret-Frenet, t, n, b, passaro a a ser denotados respectivamente por e(1) , e(2) , e(3) . Com esta nova notao, as frmulas de Frenet (10)-(12) asca o sumem a forma de(1) = ke(2) , (14) ds de(2) = ke(1) e(3) , (15) ds de(3) = e(2) . (16) ds 3.1. Conexo entre grandezas dinmicas e cura a vatura

Reunindo as trs equaes que fornecem as derivadas e co dos vetores t, n e b, temos t(s) = k(s)n(s) , n(s) = k(s)t(s) (s)b(s) , b(s) = (s)n(s) . (10) (11) (12)

Doravante, o ponto denotar exclusivamente a derivada a em relao ao tempo. ca Seja r(t) = (x(t), y(t), z(t)) o vetor posio da ca part cula no instante t. Da denio (1) de comprica mento de arco, temos que ds/dt = v e, portanto, dt/ds = 1/v, onde v = o mdulo da velocidade r e o ou velocidade escalar. Por denio, e(1) = dr/ds. Utilizando a regra da ca cadeia obtemos e(1) = dr dt dr v = = , ds ds dt v (17)

As equaes acima so conhecidas como frmulas de co a o Frenet ou frmulas de Serret-Frenet. Com base neso sas equaes prova-se o teorema fundamental da teoco ria local das curvas [10], que referenda nossa intuio ca f sico-geomtrica: salvo por uma isometria do espao e c tridimensional (rotao seguida de translao), a curca ca vatura e a toro determinam univocamente a curva. ca

onde v o vetor velocidade da part e cula. Usando a primeira equao de Frenet [Eq.(14)] e o resultado acima, ca encontramos ( ) de(1) dt de(1) 1 1 dv dv v = = = ds ds dt v v dt dt v 2 a v v 3 = ke(2) , (18) 2 v v onde a = v = o vetor acelerao. Desta equao r e ca ca decorre que k2 = a v v 3 v2 v
2

3.

Aplicaoes ` dinmica da part c a a cula

Nesta seo utilizaremos a formulao newtoniana da ca ca mecnica e os resultados da seo anterior para estabea ca lecer uma conexo entre grandezas dinmicas e entidaa a des geomtricas. Os principais resultados desta seo e ca podem ser encontrados em [11], embora algumas de nossas dedues sejam mais gerais e mais concisas. co Segundo a mecnica newtoniana, num referencial a inercial o movimento de uma part cula regido pela e equao ca m = F , r (13) onde m a massa da part e cula, sua acelerao e F re ca e a fora resultante que sobre ela atua. Dado o estado c

a v v2 a2 2v 5 + 4 , v4 v v

(19)

expresso que relaciona a curvatura com grandezas cia nemticas. a Da Eq.(18) infere-se imediatamente que a acelerao ca dada por e a = ve(1) + v 2 ke(2) . (20) Esta equao apresenta a acelerao decomposta em ca ca suas componentes tangencial (paralela a e(1) ) e normal (paralela a e(2) ). A componente tangencial tem magnitude v e a componente normal, conhecida como acelerao centr ca peta, tem mdulo v 2 /r, onde r = 1/k o

2306-4

Pereira Jr. e Lemos

o raio de curvatura. Como v ortogonal a e(2) e e e e(1) = v/v, segue-se que a v = vv. Utilizando este resultado na Eq.(19) e o fato de a curvatura ser uma funo no-negativa, obtemos ca a k= a2 v2 v2 1 2 4 + 4 = 2 a2 v 2 . v4 v v v (21)

4.

Foras que produzem somente trajec trias planas o

A m de expressar a curvatura em termos de grandezas dinmicas, comecemos por usar a segunda lei de a Newton para escrever a = F/m, onde F o mdulo e o da fora resultante que age sobre a part c cula. Alm e disso, em termos da energia cintica T = mv 2 /2, temos e v v = T /m ou, ainda, v 2 = T 2 /2mT . Mas, pelo teorema = F v. Com esses resultados, do trabalho-energia, T a curvatura pode ser expressa como 1 F2 1 (F v)2 k= 2 = 2 v m 2m T 1 m (F v)2 , F2 2T 2T

O estreitamento dos laos entre geometria e dinmica c a permite equacionar com grande simplicidade uma pergunta cuja formulao matemtica no seria clara no ca a a tratamento convencional: que condies uma fora deve co c satisfazer para que todas as rbitas por ela engendradas o sejam curvas planas? Ora, para que uma curva parametrizada seja plana e necessrio e suciente3 que sua toro seja zero [9]. Em a ca virtude da Eq.(24), a trajetria ser plana se e somente o a se (F F) v = 0 , (25) onde usamos a invarincia do produto triplo sob pera mutaes c co clicas. Esta condio envolve a velocidade ca da part cula. Desejamos encontrar condies que seco jam expressas exclusivamente em termos da fora. Para c tanto, devemos levar em conta que estamos ` procura a das condies tais que as rbitas sejam planas para co o condies iniciais arbitrrias. co a 4.1. Fora independente da velocidade c

(22)

que concretiza nosso objetivo de associar a curvatura a grandezas dinmicas. Como um teste elementar, note a que se a fora e a velocidade forem sempre colineares o c movimento ser retil a neo e a curvatura ser nula: neste a caso Fv = F v e a Eq. (22) fornece k = 0, como deveria. Por outro lado, se a fora for sempre perpendicular c a ` velocidade teremos k = F/2T , onde T constante. A e curvatura ser constante se o mdulo da fora tambm a o c e o for, e tipicamente a trajetria ser uma circunferncia o a e ou uma hlice, embora valha a pena notar que h exeme a plos bastante exticos de curvas fechadas no-planas de o a curvatura constante [12]. 3.2. Conexo entre grandezas dinmicas e tora a o ca

A m de facilitar a discusso a seguir ser util adotar a a a seguinte notao indicial ca r = (x1 , x2 , x3 ) , v = (v1 , v2 , v3 ) (26) F = (F1 , F2 , F3 ) , i = , t = . xi t Adotaremos, tambm, a conveno de soma sobre e ca ndices repetidos: qualquer repetio de ca ndices implica uma soma de 1 a 3 no referido ndice. Se a fora depende somente da posio e do tempo, c ca isto , F = F(r, t), temos e Fi dx1 Fi dx2 Fi dx3 Fi Fi = + + + = x1 dt x2 dt x3 dt t Fi = vl l Fi + t Fi . (27) Como bem conhecido, as componentes do produto e vetorial de dois vetores em R3 podem ser expressas em termos do s mbolo totalmente antissimtrico de Levie Civita ijk na forma [13] (F F)i = ijk Fj Fk . (28)

De acordo com a Eq. (8), a toro dada por ca e = 1 (v a) a . k2 v6 (23)

Lanando mo da Eq.(22) e recorrendo mais uma vez ` c a a segunda lei de Newton, obtemos = (P F) F ( ), mT 2 2 2T F 2T

Substituindo as Eqs. (27) e (28) na Eq. (25) resulta 0 = (F F) v = (F F)i vi = (ijk Fj l Fk )vi vl + (ijk Fj t Fk )vi = 0 . (29) Estamos ` procura de condies sobre a fora que assea co c gurem rbitas planas independentemente das condies o co iniciais. Portanto, a Eq. (29) deve ser satisfeita quaisquer que sejam os valores das componentes das velocidades, pois estas podem ser escolhidas arbitrariamente em qualquer instante inicial. Assim, os coecientes dos termos linear e quadrtico nas velocidades na Eq. (29), a

(24)

onde P = mv o momento linear da part e cula. Completamos, assim, a tarefa de exprimir as principais caracter sticas geomtricas da curva descrita pela e part cula em termos de grandezas dinmicas. a
3 Sob

a hiptese de que a curvatura nunca se anula. o

Geometria diferencial de curvas e dinmica da part a cula

2306-5

mostrados entre parnteses, devem ser nulos separadae mente. Os coecientes do termo linear so as compoa nentes do produto vetorial de F por F/t, donde F F = 0. t (30)

ijk Fj l Fk + ljk Fj i Fk = ijl f 2 xj + lji f 2 xj = ijl f 2 xj ijl f 2 xj = 0 , de modo que a Eq.(31) tambm satisfeita. e e 4.2. Fora eletromagntica c e

(39)

Como o produto vi vl simtrico nos e e ndices i e l, a parte simtrica em i e l dos coecientes4 do produto e vi vl na Eq. (29) deve ser nula, isto , e ijk Fj l Fk + ljk Fj i Fk = 0 . (31)

Para que a fora produza somente trajetrias planas, c o suas componentes cartesianas tm que satisfazer um e sistema de nove equaes diferenciais parciais no lineco a ares acopladas de primeira ordem, as Eqs. (30) e (31). Explicitamente, estas ultimas equaes escrevem-se co F2 1 F3 F3 1 F2 = 0 , F3 2 F1 F1 2 F3 = 0, F1 3 F2 F2 3 F1 = 0 , F3 1 F1 F1 1 F3 + F2 2 F3 F3 2 F2 = 0 , F1 1 F2 F2 1 F1 + F2 3 F3 F3 3 F2 = 0 , F1 2 F2 F2 2 F1 + F3 3 F1 F1 3 F3 = 0 .

Os resultados anteriores no se aplicam se a fora dea c pende da velocidade. A mais importante de todas as foras dependentes da velocidade a fora eletroc e c magntica e F = e(E + v B) , (40) onde e denota a carga eltrica da part e cula. Em face do desanimador cipoal algbrico do caso gee ral, vamos restringir nossa anlise ` situao em que os a a ca campos eltrico e magntico no dependem da posio: e e a ca E = E(t) e B = B(t). Este caso particular ilustra todas as peculiaridades do problema eletromagntico e j e a envolve uma lgebra consideravelmente trabalhosa. a Com as hipteses feitas, temos o e1 F = E + v B + v B = e E + v B + (E + v B) B , m

(32) (33) (34) (35)

(41)

Como h nove equaes que devem ser satisfeitas pea co las trs componentes cartesianas da fora, so raras as e c a foras que produzem exclusivamente rbitas planas. O c o ideal seria encontrar a soluo geral das Eqs.(30) e (31), ca que daria explicitamente a fora independente da veloc cidade mais geral poss vel que s produz rbitas plao o nas. Infelizmente isto est fora de nosso alcance devido a ` enorme complexidade dessas equaes. De qualquer a co modo, as equaes (30) e (31) caracterizam e, portanto, co servem para identicar tais foras. c Como sobejamente conhecido, foras centrais gee c ram sempre rbitas planas e, assim, fornecem um teste o simples dos resultados acima. Uma fora central da c e forma F = f (r, t)r ou Fk = f (r, t)xk , (36) onde r = r. Segue-se que l Fk = f (r, t)kl + f (r, t) F xk xl , = f(r, t)r , (37) r t

onde usamos v = F/m. O termo proporcional a e/m na equao acima d uma contribuio ` condio (25) ca a ca a ca que tem que ser separadamente nula porque a trajetria o deve ser plana quaisquer que sejam a massa e a carga da part cula. Consequentemente { } (E + v B) [(E + v B) B] v = 0 . (42) Segue-se que os termos independentes da carga e da massa conduzem a [ ] (E + v B) (E + v B) v = 0 . (43) Comecemos por investigar as consequncias da e Eq.(42). Trata-se de um polinmio do terceiro grau nas o componentes da velocidade cujos coecientes devem ser todos nulos. Os termos de primeiro, segundo e terceiro graus de (42) so, respectivamente a [ ] E (E B) v = 0 , (44) { } E [(v B) B] + (v B) (E B) v = 0 , (45) { } (v B) [(v B) B] v = 0 . (46) Tentemos simplicar a Eq. (45). Com o uso da conhecida identidade vetorial

onde f = f /r e f = f /t. Como F e F/t so coa lineares, a Eq.(30) satisfeita. Por outro lado, usando e a Eq. (37), ijk Fj l Fk = ijk f 2 xj kl + ff ijk xj xk xl = ijl f 2 xj . r

(38)

a (b c) = (a c)b (a b)c

(47)

O termo cbico nas componentes do vetor posio nesta u ca ultima equao nulo porque ijk antissimtrico nos ca e e e ndices j e k, ao passo que xj xk simtrico nesses mese e mos ndices. Consequentemente
4A

podemos escrever { } { } E [(v B) B] v = E [(v B)B B 2 v] v { } = (v B)E B B 2 E v v = (v B)v (E B) (48)

parte antissimtrica d uma contribuio identicamente nula ` condio (29). e a ca a ca

2306-6

Pereira Jr. e Lemos

e, analogamente, } { (v B) (E B) v = (v B)v (E B) . (49) Portanto, a equao (45) equivale a ca (E B) v (B v) = 0 , que, em notao indicial, escreve-se ca ) 1( ikl Ek Bl Bj + jkl Ek Bl Bi vi vj = 0 , 2 (51) (50)

B B = 0, (E B E B)ij + 1 2 (Ei Bj + Ej Bi Ei Bj Ej Bi ) = 0 .

(62)

(63)

` A guisa de teste, consideremos uma part cula num campo magntico uniforme. Como E = 0 e B = 0, as e equaes (58), (59), (61), (62) e (63) so trivialmente co a satisfeitas. Quanto ` Eq. (60), contraindo os a ndices i e j resulta 0 = B2 (Bi ik + Bi ki + Bk ii ) Bi Bi Bk 3 B2 2 = (Bk + Bk + 3Bk ) B 2 Bk = B 2 Bk = 3 3 = 0. (64)

com a devida simetrizao dos coecientes nos ca ndices i e j. Por sua vez, a Eq. (46) equivale a { } 0 = (v B) [(v B) B] v = { } [(v B) B](v B) (v B)2 B v = [v 2 B 2 (v B)2 ](B v) = [v 2 B 2 (B v) (B v)3 ] , que em notao indicial escreve-se ca [ B2 ] (Bi jk + Bj ki + Bk ij ) Bi Bj Bk vi vj vk = 3 0 , (53) onde foi feita uma simetrizao completa do termo ca Bi jk porque o produto vi vj vk totalmente simtrico. e e Repitamos o procedimento acima para a equao ca (43), cujos termos linear, quadrtico e cbico so, resa u a pectivamente (E E) v = 0 , (54) [ ] (E B)v (E v)B + (E v)B (B E)v v = 0 , (55) { } [(v B) B]v [(v B) v]B v = (v B) B v 2 = (B B) v v 2 = 0 , (52)

Bk

Em suma, um campo magntico uniforme diferente e de zero no preenche os requisitos necessrios para que a a todas as trajetrias sejam planas. Este resultado est o a de acordo com o fato bem conhecido de que, em geral, a trajetria de uma part o cula carregada num campo magntico uniforme uma hlice, que no uma curva e e e a e plana. A propsito, em [11] l-se que se o mdulo o e o do momento linear e da fora so constantes o movic a mento da part cula se d num plano. Esta armao a ca no verdadeira, e o movimento de uma part a e cula carregada num campo magntico uniforme um contraee e xemplo: o mdulo da velocidade permanece constante, o assim como sua componente paralela a B, de modo que o mdulo da fora F = ev B tambm constante poro c e e que a magnitude da parte da velocidade transversal a B separadamente constante. No entanto, a trajetria e o em geral uma hlice. e e

5.
(56)

Extenso a curvas seccionalmente rea gulares

onde usamos novamente a identidade (47). Quanto ` a Eq. (55), em notao indicial pode-se escrev-la, com ca e a simetrizao habitual, na forma ca [ (E B E B)ij + ] 1 (Ei Bj + Ej Bi Ei Bj Ej Bi ) vi vj = 0 . (57)
2

Em s ntese, considerando as Eqs.(44), (51), (53), (54), (56), (57) e a arbitrariedade das componentes da velocidade, todas as trajetrias sero planas se e soo a mente se as seguintes condies forem satisfeitas: co E (E B) = 0 , ikl Ek Bl Bj + jkl Ek Bl Bi = 0 , B2 (Bi jk + Bj ki + Bk ij ) Bi Bj Bk = 0 , 3 E E = 0, (58) (59) (60) (61)

As condies (30) e (31) ou (58)-(63) para que as co trajetrias sejam sempre planas foram obtidas sob a o hiptese de que a curva r(t) regular. A imposio o e ca de que a velocidade da part cula nunca se anule no a e muito natural do ponto de vista f sico, de modo que vale a pena examinar se nossos resultados permanecem vlidos caso essa restrio seja relaxada. a ca Suponhamos que a curva seja apenas seccionalmente regular, isto , r(t) cont e e nua em toda parte e regular em cada intervalo entre instantes isolados em que a velocidade se anula. Seja v(t1 ) = 0 e sejam (t0 , t1 ) e (t1 , t2 ) intervalos de tempo durante os quais a curva e regular. Nossos resultados valem nos intervalos (t0 , t1 ) e (t1 , t2 ), isto , se as Eqs. (30) e (31) ou (58)-(63) se e vericam, conforme o tipo de fora, a trajetria plana. c o e Sejam 1 e 2 os planos das trajetrias nos intervalos o (t0 , t1 ) e (t1 , t2 ), respectivamente. Se 1 = 2 , a componente da velocidade perpendicular ao plano 1 tem que variar descontinuamente de zero para um valor nito diferente de zero quando t passa pelo valor t1 . Para

Geometria diferencial de curvas e dinmica da part a cula

2306-7

que isto ocorra, a componente da fora na direo perc ca pendicular a 1 tem que ser innita no instante t1 . Um argumento equivalente o seguinte: por ser perpendie cular aos planos do movimento, o momento angular5 d a um salto nito em t = t1 , o que requer torque innito e, consequentemente, fora innita. Se a fora sempre c c e nita uma exigncia f e sica inescapvel , os plaa nos 1 e 2 tm que coincidir. Portanto, as condies e co encontradas sobre a fora asseguram uma rbita num c o plano xo mesmo que a velocidade da part cula se anule em instantes isolados.

Referncias e
[1] B.A. Dubrovin, A.T. Fomenko and S.P. Novikov, Modern Geometry - Methods and Applications, Part I: The Geometry of Surfaces, Transformation Groups, and Fields (Springer, New York, 1992), 2a ed. Modern Geometry - Methods and Applications, Part II: The Geometry and Topology of Manifolds (Springer, New York, 1985); Modern Geometry - Methods and Applications, Part III: Introduction to Homology Theory (Springer, New York, 1990). [2] B.F. Schutz, Geometrical Methods of Mathematical Physics (Cambridge University Press, Cambridge, 1980); M. Nakahara, Geometry, Topology and Physics (IOP Publishing, Bristol, 1990); R. Aldrovandi and J.G. Pereira, An Introduction to Geometrical Physics (World Scientic, Singapore, 1995); T. Frankel, The Geometry of Physics: An Introduction (Cambridge University Press, Cambridge, 2003), 2a ed. [3] V. Arnold, Mathematical Methods of Classical Mechanics (Springer, New York, 1989), 2a ed. [4] C. Nash and S. Sen, Topology and Geometry for Physicists (Academic Press, London, 1983). [5] S.W. Hawking and G.F.R. Ellis, The Large Scale Structure of Space-Time (Cambridge University Press, Cambridge, 1973). [6] A. Fasano and S. Marmi, Analytical Mechanics (Oxford University Press, Oxford, 2006). [7] W. Khnel, Dierential Geometry: Curves - Surfaces u - Manifolds (American Mathematical Society, Providence, 2006), 2a ed. [8] J.B. Formiga and C. Romero, Am. J. Phys. 74, 1012 (2006). [9] A. Pressley, Elementary Dierential Geometry (Springer, London, 2001). [10] M.P. do Carmo, Geometria Diferencial de Curvas e Superf cies (Sociedade Brasileira de Matemtica, Rio de a Janeiro, 2005). [11] J.B. Formiga, Geometria Diferencial de Curvas e Superf cies no Espao-Tempo de Minkowski com c Aplicaes aos Observadores de Rindler. Dissertaao co c de Mestrado, Universidade Federal da Para ba, Joo a Pessoa, 2007. [12] R. Koch and C. Engelhardt, Journal for Geometry and Graphics 2, 17 (1998). [13] Ver, por exemplo, N.A. Lemos, Mecnica Anal a tica (Editora Livraria da F sica, So Paulo, 2007), 2a ed., a Apndice A. e [14] F.J. Dyson em http://math.furman.edu/~mwoodard/ mqs/mquot.shtml. [15] M. Levi, The Mathematical Mechanic (Princeton University Press, Princeton, 2009).

6.

Concluso a

Galileu parece ter sido o primeiro a reconhecer que a matemtica a linguagem das leis da natureza. Hoje a e em dia, o status da matemtica para a f a sica terica o transcende o de mera linguagem. Segundo Freeman Dyson [14], a matemtica a principal fonte de conceitos a e e princ pios por meio dos quais novas teorias podem ser criadas. Em contrapartida, a demonstrao de teoreca mas matemticos por argumentos f a sicos [15] uma das e manifestaes mais envolventes da relao simbitica co ca o entre f sica e matemtica. a A geometria diferencial de curvas e superf cies no espao tridimensional matematicamente acess c e vel a estudantes de graduao e tem aplicaes imediatas ` ca co a mecnica. Excelente porta de entrada para a geomea tria diferencial avanada, constitui-se numa fonte de c est mulo para estudantes interessados em alar voos c mais altos, como, por exemplo, um estudo srio da tee oria da relatividade geral. O estudante de bacharelado em f sica com pendor para a carreira terica precisa ser dotado de uma o formao matemtica mais ampla e profunda do que a ca a tradicional, visando torn-lo apto a dominar mtodos a e matemticos avanados, pois sem esse dom a c nio caro a prejudicadas suas chances de dar contribuies signico cativas ` f a sica terica na sua vida futura de pesquio sador. Isto requer convenc-lo de que a expresso das e a leis f sicas em linguagem matemtica sosticada no a a e ftil nem uma simples exibio de pedantismo, pois, u ca como vimos, o prprio formalismo matemtico frequeno a temente capaz de sugerir problemas que no seriam e a vis veis numa linguagem matemtica menos renada. a

Agradecimentos
Os autores agradecem ao rbitro annimo, cujas ina o dagaes suscitaram a seo 5, que no fazia parte do co ca a texto originalmente submetido. Antnio Duarte Pereira o Jr. agradece ao CNPq pela concesso de bolsa de inia ciao cient ca ca do PIBIC.

5 Em

relao a uma origem na interseao dos planos 1 e 2 . ca c