Beruflich Dokumente
Kultur Dokumente
br
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.
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.
2306-2
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
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.
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
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.
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)
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
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
(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
2306-6
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)
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
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