Relatrio Completo de Iniciao Cientfica N Processo: 07502874 Coordenador: Daniel Luiz Nedel Instituio: Universidade Federal de Pelotas/Unipampa Ttulo:

Teoria de Cordas em Temperatura Finita rea: Fsica Terica Bolsista: Nelso Guilherme Jost de Figueiredo Esse relatrio busca sintetizar o aprendizado adquirido durante 1 ano de bolsa.

1) INTRODUO
A Fsica evoluiu de maneira supreendente nos ltimos sculos. Grandes descobertas e sucessivas revolues marcaram uma poca de profunda reformulao nos conceitos fundamentais a respeito da natureza. O primeiro grande passo foi dado por Newton no sculo XVII, com sua formulao das principais Leis do Movimento, culminando na Lei da Gravitao Universal, que explica a atrao entre dois corpos massivos. A beleza dessa formulao est no fato de ela ser quase intuitiva, ou seja, prxima ao senso comum. Alm disso, ficou logo evidente o enorme nmero de aplicaes prticas destes conceitos no ramo da engenharia - o que incentivou uma revoluo tecnolgica. Newton havia explicado muito bem os efeitos da gravitao atravs de uma estrutura matemtica consistente que formalizou as descobertas empricas de seus antecessores Galileu, Coprnico e Kepler, unindo as leis que regem os movimentos de objetos na terra com as dos movimentos de corpos celestes. Porm, vale a pena ressaltar que Newton jamais explicou o mecanismo pelo qual um corpo dotado de massa atrai outro corpo tambm massivo. Tal questo ficou em aberto at o sculo XX. Um ponto importante sobre a Fsica Newtoniana o fato de ela ser apoiada pelas Transformaes de Galileu (sobre isso discursaremos em detalhes na prxima seo). Isso significa que ela no impe um limite de velocidade para as interaes. A gravitao, por exemplo, tida como uma interao instantnea: no importa a distncia em que dois corpos massivos esto separados, pois a mudana na posio de um refletida instantaneamente no outro, isto , a mudana na fora gravitacional ser sentida instantaneamente pelo outro. At ento, no
2

havia nenhum problema conceitual existncia de uma interao instantnea.

na

Nos sculos XVIII e XIV, homens como Faraday, Coulomb, Ampre e Maxwell, entre outros, realizaram diversos estudos nos campos da tica, eletricidade e magnetismo que culminariam na criao de um novo ramo da Fsica. O grande impacto veio com a formulao matemtica de Maxwell que unificou, num conjunto de quatro equaes, as leis empricas da tica, eletricidade e magnetismo sob uma nica bandeira: o eletromagnetismo. Aqui, convm destacar a teoria detalhada proposta por Maxwell da luz como um efeito eletromagntico, isto , que a luz corresponde propagao de campos eltricos e magnticos, definindo uma onda eletromagntica - hiptese que tinha sido apresentada por Faraday. Nessa teoria, Maxwell tambm notou que os distrbios eletromagticos viajam a uma velocidade constante: a velocidade da luz, . Nesse momento da histria, um pequeno problema de natureza conceitual agitou os pilares da cincia no sculo XIV. As Transformaes de Galileu mantinham a mecnica de Newton invariante para qualquer referencial, e tal invarincia algo necessrio caso esteja se falando de leis fundamentais da natureza - afinal, no h sentido em ocorrer novas leis a cada referencial estudado, como por exemplo, aqui na Terra termos uma lei fundamental da gravitao, e em Marte, outra. O problema era que as Transformaes de Galileu no mantinham as Equaes de Maxwell (Leis do Eletromagnetismo) invariantes. Quando sob as Transformaes de Galileu, as Equaes de Maxwell exigiam a existncia de um meio para que as ondas eletromagnticas se propagassem. Isso um paradigma da fsica Newtoniana, onde toda

onda necessitava de um meio para se propagar (como o som se propagando no ar, ou na gua). Sem um meio, as equaes que descrevem o movimento de uma onda perdem o sentido. H muito j se tinha proposto que o meio de propagao da luz (ou ondas eletromagnticas em geral) seria o ter um fluido com densidade infinitamente pequena que permeia todo o espao. Assim, graas ao ter, seria possvel que a luz proveniente do sol chegasse Terra percorrendo um espao aparentemente vazio. Em 1886, Michelson e Morley propuseram uma engenhosa experincia que seria capaz de determinar a existncia do ter. Se o ter existisse, as Transformaes de Galileu seriam vlidas para as Equaes de Maxwell e a unio entre a mecnica e o eletromagnetismo estaria selada. Porm, ao contrrio do que se esperava, o ter no foi detectado. Diversas teorias surgiram para tentar explicar o fracasso da experincia, como a hiptese da Contrao de Lorentz, mas nenhuma delas foi satisfatria. Tal conflito foi resolvido no incio do sculo XX por Albert Einstein, com a Teoria da Relatividade Restrita publicada em 1905. Einstein postulou que a velocidade da luz ( 300.000 /) uma constante fundamental da natureza e que no pode existir velocidade maior que essa. Partindo dessa premissa, Einstein deduziu as Transformaes de Lorentz, que mantinham tanto as leis da mecnica como as do eletromagnetismo invariantes. Porm, as consequncias dos postulados da Relatividade Restrita foram muito mais alm, reformulando nossa concepo de espao e tempo, assim como as equaes de movimento da fsica Newtoniana. velocidades muito prximas a da luz, os efeitos relativsticos tornam-se impactantes.

Agora com a Relatividade Restrita, temse uma velocidade limite para qualquer tipo de interao na natureza: a velocidade da luz. Isso acaba com a possibilidade da existncia de interao instantnea, o que gera uma inconsistncia com a teoria da gravitao proposta por Newton, pois quando um corpo massivo, a uma distncia de outro corpo massivo, muda para uma posio + , este outro corpo no pode perceber alterao na fora gravitacional exercida pelo primeiro sobre ele at o decorrer de um tempo mnimo igual ( + )/. Einstein passou os prximos 10 anos elaborando uma teoria que generalizasse a gravitao de Newton para as novas concepes de espao e tempo adquiridas com a Relatividade Restrita. Em 1915 ele publicou a Teoria da Relatividade Geral, que alm de resolver o problema da gravitao, tambm explicou os mecanismos pelo qual a fora gravitacional atua - fenmeno que no havia sido explicado por Newton. O conjunto de conceitos abordados at agora definem o que chamamos de Fsica Clssica. Tais conceitos, que evoluiram ao longo da histria e culminaram com a Relatividade Geral, explicam de forma eficiente os fenmenos do mundo macroscpico, desde as aplicaes simples em engenharia cotidiana ao movimento de planetas e galxias. No final do sculo XIX e incio do sculo XX, a onda de descoberta dos fenmenos eletromagnticos veio acompanhada das descobertas sobre a natureza da matria, com as primeiras formulaes de modelos atmicos: a matria formada por pequenas partculas chamadas tomos, que por sua vez, so formados principalmente por prtons, eltrons e neutrons. Tais partculas possuem dimenso microscpica e no podem ser vizualizadas diretamente. Mais tarde, com a tcnica dos aceleradores de partculas onde
3

uma partcula lanada em alta velocidade contra uma outra, os fsicos descobriram uma legio de novas partculas sub-atmicas e o estudo das interaes entre essas partculas levou criao de um novo pilar da Fsica: a Mecnica Quntica. Isso ocorreu pois No mundo das partculas atmicas, a Mecnica Clssica no funciona. Os conceitos e princpios da Mecnica Quntica so to radicalmente diferentes dos princpios clssicos, que ela define a chamada Fsica Moderna. Logo, analizar um fenmeno na tica da Fsica Moderna significa considerar seus efeitos qunticos. At ento, as foras conhecidas eram as foras gravitacional e eletromagntica. Com o estudo da Mecnica Quntica, tem-se mais duas foras: a fora nuclear forte - ligao entre quarks para formar um prton, por exemplo - e a fora nuclear fraca, presente principalmente no decaimento beta. Essas quatro foras so consideradas como foras fundamentais da Natureza, pois explicam o mecanismo pelo qual as partculas interagem e no podem ser explicadas por foras ainda mais fundamentais. Cada fenmeno fsico observado, desde uma coliso de galxias at quarks agitando-se dentro de um prton, pode ser explicado por essas interaes. Mas h um detalhe aqui: as foras eletromgntica, nuclear forte, e nuclear forte, so descritas eficientemente pela Mecnica Quntica e satisfazem os seus princpios, mas a fora gravitacional responde uma teoria separada, que a Relatividade Geral - e aqui, eis o problema capital da fsica moderna: a Mecnica Quntica incompatvel com a Relatividade Geral. As equaes de ambas no podem ser utilizadas simultaneamente para resolver o mesmo problema. A Fsica Clssica, fundamentada na Relatividade Geral de Einstein, prorciona uma
4

explicao razovel para um sem nmero de fenmenos macroscpicos, muitos deles de utilidade prtica. O mesmo ocorre com a Mecnica Quntica, s que para os fenmenos microscpicos - muitos deles, tambm com utilidade prtica. Enfim, cada uma explicando separadamente o seu prprio conjunto de fenmenos, a Relatividade Geral e a Mecnica Quntica funcionam, e muito bem. Mas e como explicar certos fenmenos extremos, como um buraco negro, por exemplo, onde h uma grande concentrao de massa numa poro infinitesimal do espao - isto , que requer a utilizao das leis do grande, a Relatividade Geral, e das leis do pequeno, a Mecnica Quntica, simultaneamente, para ser resolvido? Einstein, que inclusive ajudou a inventar a Mecnica Quntica, passou o resto de sua vida tentando elaborar a chamada Teoria do Campo Unificado, uma teoria que englobaria todas as foras fundamentais (que na poca seriam apenas a fora gravitacional e a fora eletromagntica) sob uma nica fora, mas ele no conseguiu. H indcios de que, recuando-se no tempo, existiu um momento na histria do universo em que as foras eletromagntica e nuclear fraca eram uma s, conhecida como fora eletrofraca. Portanto, no seria estranho pensar que, se recuarmos ainda mais no tempo, encontraramos um ponto na histria - o big-bang, talvez - onde todas foras fundamentais eram uma s. A resposta para esses problemas est na criao de uma teoria nova, mais abrangente, que inclua Relatividade Geral e Mecnica Quntica numa nica estrutura matemtica; uma teoria mais fundamental possvel, e talvez, nica: uma Teoria De Tudo. Atualmente, uma grande candidata esse cargo a Teoria das Supercordas. O conjunto de partculas elementares, juntamente com as quatro foras fundamentais

de interao formam o chamado ModeloPadro. Nesse modelo, as partculas so consideradas como objetos pontuais, ou seja, de dimenso zero - mesmo possuindo massa. A Teoria das Supercordas, na sua excncia, prope a substituio das entidades elementares pontuais por objetos extensos, as cordas. Os blocos fundamentais da matria (e por extenso, da natureza em si), seriam as cordas que, dotadas de diversos modos de vibrao (e portanto, energia), associam a cada modo uma partcula diferente. Portanto, as estruturas fundamentais da natureza seriam pequenos filamentos de energia pura e vibrante, que os fsicos chamaram de cordas. A simples substituio de um ponto por um objeto extenso como entidade fudamental resolve o problema da gravitao quntica, mas cria inmeros outros que ainda necessitam de uma matemtica mais apurada para serem resolvidos.

O prximo passo seria estudar a Ao de uma partcula relativstica, e para tanto, foi necessrio uma passagem nos conceitos fudamentais de Mecnica Clssica, como o princpo de Hamilton e a Lagrangeana. Assim, utilizamos o princpio da ao mnima para deduzir a energia e momento relativsticos, fechando a parte de Relatividade Restrita. Finalmente, buscamos calcular a ao de uma corda relativstica, afim de encontrar as equaes de movimento.

OBJETIVOS DO CURSO

O objetivo principal deste curso de Iniciao Cientfica a introduo do aluno em Teoria de Supercordas. Como essa teoria abrange os dois pilares que sustentam a fsica atual, Relatividade e Mecnica Quntica, preciso estudar cada um desses tpicos a fundo antes de se iniciar o estudo da Teoria de Cordas propriamente dito.

Comeamos com o estudo da Relatividade Restrita, observando como os postulados de Einstein reformulam os conceitos de espao e tempo. Em seguida, introduzimos a notao de tensores do Clculo Tensorial, que utilizada tanto em Relatividade como em Teoria de Cordas.

2) RELATIVIDADE RESTRITA
2.1) REFERENCIAIS INERCIAIS

Para analizar um certo fenmeno fsico como observadores, ns nos posicionamos num certo referencial (ou ponto de referncia) e fixamos um sistema de coordenadas, no qual escrevemos as equaes do fenmeno em questo. Por exemplo, se o fenmeno for um movimento, devemos explicitar em relao a qu ele est acontecendo, isto , escolher um referencial para determinar as caractersticas do movimento em relao a ele. Isso necessrio pois o conceito de velocidade, grandeza que caracteriza o estado de movimento, relativo. Dizer que algo est se movendo com uma velocidade simplesmente no faz sentido precisa-se dizer em relao que referencial o objeto se move com velocidade .

Figura 2.1.1

Na verdade, o que diferencia um referencial de outro a velocidade relativa entre eles. Por exemplo, a distncia entre o poste e o observador no muda com o tempo, logo, pode-se dizer que ambos esto no mesmo referencial. J a distncia entre o observador e o observador muda com o tempo, e portanto, dizemos que ambos esto em referenciais diferentes. Representaremos aqui cada referencial por um sistema de coordenadas diferentes. Um referencial dito inercial se ele possui velocidade constante em relao um outro, isto , a fora resultante sobre ele nula (1 Lei de Newton). No exemplo dado, se = , ento um referencial inercial (desconsiderando os efeitos da gravidade, j que o movimento em questo horizontal). Essa definio gera um problema conceitual que determinar: qual referencial est realmente em estado de inrcia? Existe um referencial absoluto, o qual caracterizaria o real estado de movimento de um corpo? Newton acreditava que sim. Segundo ele, existe um espao dito absoluto, que define o referencial no qual a lei da inrcia sempre vlida, e portanto, atravs dele, seria possvel dizer se o corpo est, de fato, em repouso absoluto ou movimento absoluto. Como ser visto logo mais, essa viso errnea, pois vivemos num universo onde apenas a relatividade do movimento faz sentido - tal fato foi mostrado por Einstein com a sua Teoria da Relatividade Restrita. Tendo esses conceitos bem definidos, podemos citar o princpio da relatividade de Galileu: As leis da mecnica devem ser as mesmas em qualquer referencial inercial. natural pensar que no h motivo para um experimento mecnico apresentar diferentes resultados quando operados sob
6

Se dissermos que um nibus se move com uma velocidade em relao um poste fixo na terra, teremos a situao ilustrada na Figura 2.1.1. Assim, podemos dizer com certeza que o observador est em movimento com relao terra pois sua distncia (medida no referencial ) em relao ao poste na terra varia com o tempo.

diferentes referenciais inerciais. Isso porqu todos referenciais inerciais devem ser equivalentes, j que por serem inerciais, ambos so livres de foras externas. Essa invarincia das leis da mecnica sugere a existncia de uma relao de transformao de coordenadas entre dois referenciais, onde as coordenadas de um evento (algo que ocorre numa certa posio do espao e num dado instante de tempo) num referencial podem ser escritas em funo das coordenadas desse evento no outro referencial. 2.2) GALILEU TRANSFORMAES DE

= + = = =

ou

= = = =
(2.2.1)

Essas relaes so conhecidas como Transformaes de Galileu. Vale a pena observar com ateno a relao de transformao temporal: = . Ela diz que o tempo considerado como algo absoluto: ele sempre o mesmo para todos os referenciais, o que um fato intrnseco na mecnica newtoniana. Uma extenso anloga pode ser feita para as demais coordenadas espaciais. Seja o vetor velocidade definido por = + + . As Transformaes de Galileu sero: = + = + = + = = = = =

Considere um referncial em translao uniforme com uma velocidade constante em relao um outro referencial . Se considerarmos o movimento ocorrendo apenas no sentido positivo do eixo x, teremos que num instante qualquer a origem dos dois sistemas vai coincidir. Definamos esse instante como = 0. Passado um certo intervalo de tempo , teremos um quadro semelhante ao representado na Figura 2.2.1.

Figura 2.2.1

ou

(2.2.2)

Adio Galileana de Velocidades Derivando as equaes (2.2.1) com relao ao tempo, obtemos as equaes de transformao de velocidades: = = + +

+ +

= + + Daonde tem-se que: = = =

Aps transcorrido um tempo , o referncial ter percorrido uma distncia . Com essa informao pode-se facilmente escrever as seguintes equaes de transformao:
7

(2.2.3)

 A invarincia da acelarao para dois observadores inerciais. Derivando as equaes (2.2.3) em relao ao tempo, obtem-se para a transformao de aceleraes:
=

Inconsistncia com o eletromagnetismo

= =

e portanto: =
(2.2.4)

Assim como foi discutido na Introduo, as Equaes de Maxwell (Leis do Eletromagnetismo) no so invariantes sob as Transformaes de Galileu. No objetivo aqui mostrar como os campos se transformam, mas pode-se dizer que o nico modo da equao de onda se tornar invariante sob essas transformaes existir um meio para que a onda eletromagntica se propague - tal meio seria o ter. No se pensava que as Equaes de Maxwell podiam estar erradas pois houveram diversas comprovaes experimentais de grande importncia, como por exemplo, quando Hertz comprovou a existncia das ondas eletromagnticas criando aparelhos emissores e receptores de ondas de rdio. A questo se resumia em duas opes: ou o ter existia, ou haveria outro conjunto de transformaes que no as de Galileu, que manteriam covariante a teoria do eletromagnetismo. A experincia de Michelson-Morley mostrou que o ter no existia, e Hendrink A. Lorentz sugeriu um novo conjunto de Transformaes para explicar o resultado da experincia de Michelson-Morley. Tal conjunto, denominado Transformaes de Lorentz, mantinham o eletromagnetismo invariante. Entretanto, Lorentz no compreendeu o verdadeiro significado por trs dessas equaes. Em 1905, Abert Einstein publica a Relatividade Especial, ou Restrita, que resolve esse impasse.

Invarincia da mecnica Newtoniana frente s Transformaes de Galileu fcil notar que, devido invarincia da acelerao para quaisquer observadores inerciais, a fora resultante sobre eles tambm deve ser a mesma (dada a constncia da massa): = =
(2.2.5)

Ou seja: as equaes de movimento devem ser as mesmas em ambos sistemas coordenados. Por fim, percebe-se at aqui claramente que as Transformaes de Galileu mantm invariante a mecnica newtoniana. conveniente ressaltar que a forma da equao de transformao galileana = + mostra claramente que no h um limite para a velocidade , o que possibilida a existncia de uma interao instantnea ( ).

2.3) POSTULADOS RELATIVIDADE RESTRITA

DA

1. As leis da fsica so as mesmas em qualquer referencial inercial. 2. Existe uma velocidade limite para a propagao das interaes, que a velocidade da luz. Essa velocidade constante independe do movimento do referencial.

consequncia direta dos postulados da Relatividade Restrita (Lorentz as obteve de maneira emprica). Einstein percebeu o que essas equaes significavam: uma total reformulao dos conceitos de espao e tempo e a queda de conceitos duvidosos oriundos da fsica newtoniana, como os de referencial inercial absoluto e movimento absoluto.

2.4) INTERVALOS

O primeiro postulado uma extenso do princpio da relatividade de Galileu, passando a abranger alm das leis da mecnica, todas as demais leis da Fsica, inclusive as do eletromagnetismo. Isso parece at ser senso comum, j que seria estranho surgir uma nova Fsica a cada novo referencial em estudo. O segundo, talvez o mais interessante, diz que existe uma velocidade limite para qualquer propagao, que a velocidade da luz ( 300.000 /). Alm disso, ele diz que essa velocidade constante e independe do referencial. Com isso, temos que qualquer interao leva um tempo, no mnimo, para se propagar de um ponto a outro. A consequncia imediata desse postulado a impossibilidade da existncia de interaes instantneas, entrando em conflito com um dos maiores tratados cientficos da histria: a Teoria da Gravitao Universal de Newton. Tal conflito foi resolvido anos depois com a Relatividade Geral, publicada tambm por Einstein. Como agora h uma velocidade limite para as interaes, devemos observar que as Transformaes de Galileu devem ser substitudas por um novo conjunto de equaes que respeitam os postulados da relatividade. Esse conjunto o das Transformaes de Lorentz, que podem ser deduzidas como
9

Afim de verificar as consequncias imediatas dos postulados da Relatividade Restrita, vamos analizar uma situao extrema, isto , que envolva a velocidade da luz . Sejam dois referenciais: , a terra, e , um trem se movendo em relao terra, onde se move com velocidade em relao . Um observador dentro do trem (isto , em ) dispara um feixe de luz que deve bater em um anteparo, tambm dentro do trem. Tal situao, que tambm pode ser vista pelo observador na terra (isto , em ), est ilustrada na Figura 2.4.1.

Figura 2.4.1

Um feixe de luz composto de partculas de chamadas ftons. Pensemos num fton como uma partcula que viaja com velocidade do observador at o anteparo . Vamos agora, descrever a viagem desse

fton na perspectiva dos observadores e , isto , o movimento do fton visto nos referenciais e . Chamamos de evento algo que ocorre num certo ponto do espao e num certo instante de tempo, isto , algo que caracteriza-se por suas coordenadas espaciais , , e um instante de tempo . Na situao ilustrada, tem-se dois eventos: evento 1 - sada do fton; evento 2 chegada do fton. Vejamos o movimento do fton no visto na perspectiva de . No referencial , as coordenadas do evento 1 so 1 , 1 , 1 e 1 ; e as do evento 2 so 2 , 2 , 2 e 2 . A distncia
percorrida pelo fton dada por [ 2 1 2 1 2 1 + 2 2 1 1 ] 2 2

2 . Nesse referencial, a distncia percorrida pelo fton pode ser escrita como 2 + 2 + 2 2 , de acordo com a geometria euclidiana. Entretanto, se formos escrever essa distncia utilizando a definio de velocidade, teremos: ( + ), pela adio galileana de velocidades - isto , o observador ver o fton se mover com velocidade + . Aqui temos um porm: a Relatividade Restrita diz que impossvel ocorrer velocidade maior que . Essa a grande novidade: o observador tambm ver o fton se mover com velocidade ! Assim, tem-se que o intervalo em escrito como: 2 = 2 + 2 + 2 2 2
(2.4.4)
1

= 2 + 2 +

2 2 , da geometria euclidiana. Essa mesma distncia pode ser escrita utilizando-se a definio de velocidade: 2 1 = . Portanto: 2 + 2 + 2 2 = 2 + 2 + 2 2 2 = 0
1

(2.4.1)

,cuja expresso tem a mesma forma de 2.4.2.. Podemos ver ainda que, dada a constncia de , este tipo de intervalo ser sempre nulo, em qualquer referencial: = = 0. Em outras palavras, tais intervalos so ditos invariantes. A pergunta agora : e para um caso genrico, com velocidades menores que a da luz, os intervalos tambm devem ser invariantes? Sabemos, da geometria euclidiana, que o mdulo de um vetor invariante perante mudana de sistemas de coordenadas - o que faz sentido, j que o tamanho do vetor no pode mudar simplesmente porqu mudamos o sistema de coordenadas. A expresso do mdulo de um vetor de dimenses dada por: = 1 2 + 2 2 + 3 2 + + 2 .

Chamaremos essa quantidade de intervalo e a denotaremos por . Aqui, = 0. Podemos pensar no intervalo como sendo a grandeza que separa dois eventos. Utilizando a notao diferencial em 2.4.1 tem-se: 2 = 2 + 2 + 2 2 2
(2.4.2)

Afim de deixar essa relao mais simtrica podemos fazer = , ou = , e logo: 2 = (2 + 2 + 2 + 2 )

(2.4.3)

Agora tentaremos escrever esse intervalo medido pelo observador . No referencial , as coordenadas do evento 1 so 1 , 1 , 1 e 1 ; e as do evento 2 so 2 , 2 , 2 e
10

Analizando as relaes 2.4.2 e 2.4.4, podemos tomar o intervalo como sendo o mdulo de um vetor de 4 dimenses, mas que, diferente da geometria euclidiana, tem uma das dimenses subtrada (). Esse sinal negativo indica a presena de uma geometria diferente, que veremos logo mais ser a geometria de Minkowski. O importante agora : como os

intervalos podem ser considerados como mdulos de um vetor quadridimensional, ento sim, eles devem ser invariantes para quaisquer sistemas de coordenadas. Apenas afim de reforar a argumentao anterior, vamos verificar como deve ser a proporcionalidade entre dois intervalos. Seja a seguinte relao proporcionalidade: 2 = 2
(2.4.5)

Entretanto, 12 depende do ngulo entre os vetores 1 e 2 , e como essa informao no pode ser usada, tal expresso s adquire sentido se () for uma constante = 1. Portanto, a relao 2.4.5 fica: 2 = 2
(2.4.8)

Ou seja: os intervalos devem ser invariantes para quaisquer referenciais, pois representam o mdulo de um vetor quadridimensional no espao de Minkowski. J sabemos que as Transformaes de Galileu no mantm esses intervalos invariantes. Devemos, portanto, encontrar um novo conjunto de transformao de coordenadas que proporciona essa invariancia requerida. Esse conjunto de equaes, que foi deduzido incialmente por Lorentz para explicar o resultado da experincia de MichelsonMorley, foi deduzido por Einstein como consequncia direta dos seus postulados e se chama Transformaes de Lorentz - tema da prxima seo.

Para determinar o valor de , podemos supor que ele seja funo de alguma coisa. De imediato, vemos que no pode ser funo do espao () nem do tempo (), pois no h posies ou instantes privilegiados no espao e no tempo ambos so homogneos. Resta ento, verificar se funo de um vetor velocidade ( ). Mas tambm no pode depender de uma direo, pois no h direo privilegiada no espao (isso se deve isotropia do espao todas as direes so equivalentes). Vejamos se pode ser funo do mdulo da velocidade. Vamos tomar trs referenciais , 1 e 2 , sendo 1 e 2 as velocidades de 1 e 2 em relao . Assim, podemos escrever: Assim, podemos escrever: 2 = 1 1 2 e 2 2 = 2 2 . Logo: 1 1 2 = 2 2 2 1 2 2 = 2 2 1 Agora, considerando relativo entre 1 e 2 , 12 2 2 , tem-se: 1 2 = 12 2 2
(2.4.6)

2.5) LORENTZ

TRANSFORMAES

DE

Na seo anterior, introduzimos o conceito de um novo vetor num espao quadridimensional onde uma das suas coordenadas depende do tempo. Na relao 2.4.3 tinha-se: 2 = ( 2 + 2 + 2 + 2 ) onde = . Considerando como uma nova coordenada espacial, temos a formao de trs novos planos: , e . Esse planos so a novidade vinda da Relatividade Restrita. J
11

o movimento onde 1 2 =

2 = 12 1
(2.4.7)

sabemos que as translaes e rotaes nos planos , e recaem nas Transformaes de Galileu. Devemos ento, buscar uma translao ou rotao nos planos imaginrios , ou para encontrar uma nova relao de coordenadas que leva em conta a componente temporal. De maneira elegante, podemos deduzir as Transformaes de Lorentz fazendo uma rotao no plano imaginrio ( conhecido na matemtica que rotaes de planos ortogonais preservam o mdulo de um vetor). Seja um plano e sua rotao correspondente a partir da origem, com ngulo de rotao . Seja ainda um vetor no espao, cuja origem coincide com a origem dos planos, como mostra a Figura 2.5.1..

= () = =
(2.5.2)

= cos ()

= + () = =
(2.5.3)

= cos ()

Essas equaes exprimem a passagem de coordenadas para e para em funo do ngulo de rotao entre os planos e . Mas queremos expressar essa relaes em funo da velocidade relativa entre os refenciais. Se olharmos o movimento da origem do sistema de coordenadas , veremos que nesse ponto = 0 e as relaes de transformao ficam mais simplificadas:

Figura (2.5.1)

= 0 cos = e = cos 0 () = cos

(2.5.5) (2.5.4)

Usando as coordenadas retangulares, o vetor pode ser escrito como: = = ( + ) = = ( + )

(2.5.1)

Resolvendo ambas comparando, tem-se: = cos

relaes

para

(2.5.6)

Mas = , e logo: = = =
(2.5.7)

= = () = = ()

Podemos abrir essas expresses utilizando as identidades trigonom-tricas adequadas:

Essa relao trigonomtrica pode ser facilmente vizualizada observando-se o seguinte trigngulo retngulo a ela associado:

12

= =

+ 2

2 2
(2.5.8)

= 1 2 2

As equaes 2.5.10 e 2.5.11, juntamente com as demais coordenadas, formam as chamadas Transformaes de Lorentz. = ; = ; 1 2 2 + 2 = 1 2 2 + =
(2.5.12)

Afim de simplificar os clculos, faremos: = 1 2 2 . Escrevendo agora as relaes trigonomtricas fundamentais com base no tringulo retngulo acima, tem-se: 1 = = = sen = / = =
(2.5.9)

Finalmente, substituindo as relaes 2.5.9 em (2.5.9) 2.5.2, fazendo = , tem-se para a transformao de coordenadas espaciais: = 1 / 2 = = + 1 2 2
(2.5.10)

Observe que o fator 1 2 2 condiciona o limite de velocidade como sendo , tal como diz a Relatividade Restrita. Se > , tem-se uma raiz imaginria e o movimento perde o sentido. Tambm possvel notar que tomando << , recai-se nas Transformaes de Galileu. Tal fato mostra o motivo de a fsica Newtoniana funcionar to bem nas aplicaes em que ela atua. Para referenciais em movimento relativo com velocidades substancialmente menores que a da luz, os efeitos relativsticos so desprezveis. Dada a invarincia dos intervalos, sustentada pelas Transformaes de Lorentz, Einstein cogitou o nome Teoria dos Invariantes para sua teoria. Foi Max Plank quem sugeriu depois o termo relatividade para ressaltar a noo de transformao da leis da natureza entre observadores movendo-se relativamente entre si. As Transformaes de Lorentz mantm a mecnica e o eletromagnetismo invariantes, e esse foi o grande mrito de unificao proporcionado pela Relatividade Restrita. No entanto, como veremos na prxima seo, o fato de aceitarmos a constncia da velocidade da luz implicar numa profunda reformulao nos conceitos de espao e tempo.

(2.5.9)

E substituindo as relaes 2.5.9 em (2.5.9) 2.5.3, fazendo = e = , tem-se para a transformao de coordenadas temporais: + 1 = + = 2 + 2 + = = 2 2 + + 2 = = 2 = + 2 1 2 2
(2.5.11)

(2.5.9)

13

2.6) O ESPAO RELATIVSTICOS

TEMPO

Na seo 2.1 introduzimos a noo do movimento relativo entre dois referenciais, isto , com um referencial se movendo com velocidade em relao ao outro. A questo que surgiu dessa discusso foi: h um referencial inercial absoluto, o qual revelaria o verdadeiro estado de movimento de um corpo? Newton, e grande parte dos cientistas de sua poca, acreditavam na possibilidade de esse referencial ser o ter. Assim, contanto que o ter existisse, os conceitos de espao absoluto e tempo absoluto (por conseguinte, movimento absoluto) seriam perfeitamente concebveis. Vejamos, entretanto, como a constncia da velocidade da luz impossibilita esses conceitos. A velocidade uma grandeza que relaciona o espao e o tempo. natural que a existncia de uma velocidade constante prope numa mudana na relao de proporcionalidade entre o espao e o tempo. Afim de sustentar a constncia da velocidade da luz, ambos o espao e o tempo devem se modificar, e a forma como isso acontece dito pelas Transformaes de Lorentz. Portanto, se mostrarmos que o espao e o tempo so relativos, isto , dependem do movimento dos observadores, ento, o movimento tambm s poder ser tido como relativo.

valor . Antes de Einstein, ningum duvidaria que = , isto , no importa se a barra est em movimento relativo ou no com seu observador, o comprimento dela ser sempre o mesmo. Isso decorre imediatamente das Transformaes de Galileu. Sejam = 2 1 e = 2 1 os comprimentos da barra medidos nos referenciais e , onde o referencial se move com velocidade constante com relao a , de modo que os eixos e coincidam, tal como ilustra a figura 2.6.1.
1 1
(2.5.9) 2

Figura (2.6.1)

Portanto, de acordo com as relaes 2.2.1, podemos escrever:

= 2 1 = 2 + 1 + = 2 1 = (2.6.1)

Agora, usando a frmula de transformao 2.5.10 (Transformao de Lorentz), tem-se:

(2.5.9)

= 2 1 = Efeito no espao
2 +

1 2 2 Suponha que voc mea o comprimento de uma barra como sendo , estando no mesmo referencial que ela. Depois, voc mede o comprimento dessa mesma barra, mas com ela estando num trem se movendo com velocidade com relao voc, e obtm um
14

1 +

1 2 2 1 2 2

2 1

1 2 2
(2.6.2)

Fazendo = 0 como sendo o comprimento (2.5.9) de prprio do objeto, isto , o comprimento medido por um observador que est no mesmo referencial do objeto (a velocidade relativa

entre o observador e o objeto nula), e = o comprimento do objeto num referencial qualquer, que se move com velocidade em relao ao observador, tem-se: = 0 1 2 2

Por fim, aqui est o primeiro grande resultado surpreendente da Relatividade Restrita: o espao no absoluto, ele se modifica de acordo com o movimento relativo entre os observadores.

(2.6.3)

Efeito no tempo Este no um resultado fcil de se aceitar, pois ele afirma que o comprimento de um objeto diminui 1 2 2 vezes quanto maior for a velocidade relativa entre ele e o observador. Esse fenmeno conhecido por Contrao de Lorentz. Vale ressaltar que no se fala em contrao do objeto, mas sim do prprio espao. O objeto no perde matria devido ao movimento relativo em velocidade constante. No caso da barra, por exemplo, um observador dentro do trem, portanto no referencial onde a barra se encontra, continuar medindo 0 para o comprimento da barra, no importa quantos outros observadores, em referenciais diferentes, obtenham comprimentos < 0 diferentes para a mesma barra. OBS: Apenas afim de ilustrar o fato citado acima, seja a velocidade do trm = 0,8. Nesse caso: 1 2 2 = 0,6, e logo, um observador na plataforma dever medir a barra como sendo 60% do que a barra medida por um observador dentro do trem. Para << , 1 2 2 1 , e assim, a diferena entre as medies ser infinitesimal. Isso justifica o fato de no presenciarmos esse efeito relativstico no nosso dia-a-dia: mesmo a velocidade do melhor foguete espacial que podemos construir ainda insignificante com relao a velocidade da luz. Nesse caso, no preciso mais do que a fsica Newtoniana para calcular a trajetria de um nibus espacial.
(2.5.9)

Esse tpico ainda mais impressionante que o anterior, pois o tempo sempre foi tido como algo absoluto, mesmo independente da fsica Newtoniana. Vejamos o conceito de simultaniedade: dois observadores quaisquer devero sempre concordar com o instante no qual um evento ocorre? Na Transformao de Galileu tem-se = . Tal expresso no tem uma justificativa matemtica, e provm puramente do senso comum de que no h motivo aparente para o tempo passar de maneira diferente em referenciais diferentes. Desse ponto de vista, um evento sempre simultneo para qualquer referencial, no importando o movimento relativo entre eles. Agora, com a Relatividade Restrita, tem-se como uma consequncia a Transformao de Lorentz para a coordenada temporal, dada pela equao 2.5.11. Vejamos ento, qual a relao entre o tempo decorrido entre dois eventos nos referenciais e , onde se move com velocidade constante em relao . = 2 1 = = 1 2 2 1 2 2 2 1 + 2 2 1 1 2 2 = + 2 1 2 2 2 + 2 2 1 + 1 2

15

Supondo que os eventos ocorram num mesmo ponto do espao em , ento = 0 e temse: = 1 2 2

(2.6.4)

(2.5.9)

Em 2.6.4, marca a passagem de tempo medida pelo relgio mvel - o relgio que est em . Chamaremos essa medida de tempo prprio e denotaremos por 0 = . Assim, a medida de tempo obtida por um observador em , denotada por , relaciona-se com a do relgio mvel da seguinte forma: = 0 1 2 2

um relgico, ou qualquer outro evento descrito em ser visto igualmente por qualquer observador em da mesma forma que todo evento descrito em visto igualmente por qualquer observador em . Trocando os termos: a pessoa que est no trem ver o tempo passar para ela da mesma forma que a pessoa que est na plataforma v o tempo passar para si mesma. Acrescenta-se a isto o fato de que no se fala aqui de uma questo de supermetabolismo ou qualquer outro fenmeno qumico que justificaria a suposta retardao do envelhecimento da pessoa no trem. Para enfatizar essa questo, vamos apresentar o paradoxo dos gmeos. Tem-se dois irmos gmeos A e B idnticos. O gmeo A fica na Terra e B embarca numa super nave espacial que viaja uma velocidade constante prxima da luz. Depois de um certo tempo, B volta para a Terra, e percebe ento, que A est surpreendentemente mais velho. Quantitativamente, podemos considerar a seguinte situao: A Terra o referencial e a nave, o referencial . Seja = 0,98 a velocidade da nave em relao Terra. Suponha que B passe 10 anos rondando o espao velocidade constante e ento retorna para a Terra. Desconsiderando os trechos em que a nave foi acelerada e desacelerada, temse: 0 = 10 . Assim, o tempo medido pelo gmeo A que ficou na terra dado por: = 10 1 (0,98)2 2 50

(2.6.5)

A expresso acima diz que o intervalo de (2.5.9) tempo medido por um relgio qualquer 1 2 2 vezes maior que o intervalo medido por um relgio mvel, que se move com velocidade em relao ao primeiro relgio. Em outras palavras, o tempo passa mais devagar para um referencial em movimento relativo. Chama-se a isto de dilatao temporal. Vamos retomar a situao ilustrada anteriormente, onde um trem que se move com velocidade em relao uma plataforma fixa na Terra - referencial . Pelo efeito da dilatao temporal, tem-se que uma pessoa na plataforma ver o tempo passar mais devagar para a pessoa que est no trem, isto , a pessoa no trem vai demorar mais para envelhecer do que a pessoa na plataforma. O que interessante notar que tal efeito de retardao do evelhecimento no pode ser notado pela pessoa no trem, a menos que ela possa comparar sua situao com a de uma pessoa na plataforma - isto porqu tanto o envelhecimento da pessoa, como o tic-tac de
16

Ou seja: enquanto o gmeo B envelheceu 10 anos durante a viagem, o gmeo A ter envelhecido 50 anos aqui na Terra. De certa forma, pode-se dizer que B viajou no futuro de A. O ttulo de paradoxo se deve principalmente ao fato de que: da mesma forma que viu a Nave se afastar com velocidade

da Terra, ter visto a Terra se afastar com velocidade da nave. Nessa perspectiva, quando a Terra retornasse Nave, quem teria envelhecido 50 anos. Como ambos referenciais so ditos inerciais, ambos gmeos tm o direito de se plocamar estacionrios um com relao ao outro. Ento, como determinar qual gmeo realmente envelheceu mais? Tal questo fica em aberto pois, enquanto ambos forem referenciais inerciais, cada um ver o tempo passar para o outro de forma diferente do que para ele mesmo. No entanto, se considerarmos a acelerao/desacelarao da nave, teramos que verificar os efeitos causados por um referencial no-inercial, o que foge do escopo da Relatividade Restrita. Por fim, o resultado crucial discutido nesse tpico : o tempo relativo, isto , ele depende do movimento entre os observadores. Juntamente com o resultado obitido no tpico anterior, vemos em prtica, a quebra dos conceitos de espao/tempo absolutos: vivemos num mundo onde apenas a relatividade do movimento faz sentido.

Sejam

as

componentes da velocidade de um objeto medida nos referenciais e , onde se move com velocidade em relao . Logo: + + 1 2 2 = = = + 2 2 + 1 2 2 = + 1 + 2

(2.7.1)

Essa a expresso geral para a transformao relativstica de velocidades. Veja que no (2.5.9) caso em que << , recai-se na frmula galileana = + . A expresso 2.7.1 tambm sustenta o limite de velocidades como sendo a velocidade da luz, como fcil verificar.

2.8) PRINCPIO DA AO MNIMA

2.7) ADIO RELATIVSTICA DE VELOCIDADES

Dadas as transformaes relativsticas entre coordenadas (Transformaes de Lorentz), podemos facilmente obter as frmulas para a adio relativstica de velocidades. Tomando as derivadas das relaes 2.5.12, tem-se: = + 1 2 2 ; = ; =

Nas sees anteriores introduzimos uma srie de equaes de transformao de coordenadas que, obviamente, no satisfazem a mecnica newtoniana, isto : a acelerao no invariante para os sistemas inerciais e a equao 2.2.5 no se verifica utilizando-se as Transformaes de Lorentz. Como tem-se agora uma nova mecnica, tem-se tambm um novo conjunto de Leis do Movimento. Afim de encontrar as equaes de movimento relativsticas, vamos recorrer um princpio geral da fsica, que o Princpio da Ao Mnima (ou Princpio de Hamilton).

+ 2 1 2 2

17

Primeiramente, definamos a seguinte funo chamada Langrangiana: =

(2.8.1)

2 1
Figura 2.8.1

, onde a energia cintica, e a potencial.

(2.5.9)

Seja uma partcula dotada de um movimento qualquer () que sai de um ponto no instante 1 e vai at um outro ponto diferente num instante 2 . Suponha que a partcula percorra essa distncia nesse mesmo intervalo de tempo para qualquer (). Para cada tipo de movimento tem-se uma trajetria e uma lagrangiana diferente. No caso de uma partcula livre de foras, sua energia potencial = 0 e sua lagrangiana fica simplesmente = = 2 2 e sua trajetria () dada por uma reta (movimento uniforme - velocidade constante). J no caso de uma partcula num campo gravitacional, por exemplo, tem-se = , e por conseguinte, uma lagrangiana diferente = 2 2 , onde trajetria parablica. Se calcularmos a energia cintica em cada instante da trajetria, subtraindo dela a energia potencial, e integrarmos por toda a trajetria, isto , sobre todo o intervalo de tempo, tem-se a seguinte quantidade que definida como ao da partcula:
2 1 2 1 1 1

Tal trajetria ocorre pois o campo gravitacional = est puxando a partcula na (2.5.9) direo contrria ao movimento inicial (tendo que a partcula foi lanada para cima do solo terrestre). Essa , portanto, a trajetria real, ou trajetria fsica, da partcula. Agora, suponha que uma partcula, dotada de uma langrangiana qualquer, descreva a seguinte trajetria () no mesmo intervalo de tempo do caso anteriror:

2 1
Figura 2.8.2

descreve uma

O Princpio da Ao Mnima diz que, se calcularmos a ao para a trajetria da Figura (2.5.9) 2.8.2, o nmero obtido ser menor do que a ao calculada para a trajetria 2.8.1. Ou seja, na figura 2.8.2 tem-se uma trajetria imaginria, que no possvel fisicamente. Observe que para cada trajetria possvel, tem-se um nmero diferente para a ao. Se quisermos acharmos a curva correspondente trajetria fsica, precisamos achar a expresso matemtica para a qual o valor da ao mnimo. Poderia-se pensar em calcular a ao para milhares de trajetrias possveis e, tomando-se o menor desses valores, tem-se a trajetria verdadeira. No entanto, pode-se fazer
18

(2.8.2)

Enuncia-se ento, o Princpio da (2.5.9) Ao Mnima: A ao mnima para a trajetria real da partcula. Suponhamos o caso da partcula no campo gravitacional da terra. Sua trajetria de () a conhecida parbola:

isto de maneira elegante utilizando um artifcio matemtico que o clculo de variaes. Seja () a funo que descreve a trajetria verdadeira, e a funo que descreve uma trajetria falsa qualquer. Tomaremos ento, uma outra funo () que representar a diferena, ou afastamento, entre as trajetrias falsa e verdadeira.

2 1

+ 2

( + )
(2.8.5)

Desenvolvendo o termo quadrtico na (2.5.9) energia cintica, tem-se: +

2

2 () () 1 ()

Figura 2.8.3

+2 +

(2.8.6)

Pode-se desenvolver o termo da energia potencial em srie de Taylor, obtendo-se:

(2.5.9)

+ = + +

2 + 2
(2.8.6) (2.8.7)

De acordo com os pressupostos e em vista do princpio (2.5.9) da ao mnima, pode-se escrever: = () + ()

(2.8.3)

As relaes 2.8.6 e 2.8.7 incluem termos de 2 + = Devemos considerar +o 2. + + (2.5.9) (2.5.9) 2 afastamento () como sendo o menor possvel pois, caso consideremos os termos de ordens mais elevadas, estaremos produzindo (2.8.7) uma diferena significativa entre a ao de () e a ao de .
(2.5.9)

Temos ainda que 1 = 2 = 0, o que (2.5.9) fcil de vizualizar na Figura 2.8.3. A ao da trajetria () dada por:
2 1

Portanto, substituiremos 2.8.6 e 2.8.7 em 2.8.5, agrupando num parnteses os termos de 2. Assim:
2 1

()

(2.8.4)

(2.8.8)

, onde tem-se na langrangiana a expresso clssica da energia cintica = 2 2 , e uma funo de potencial = () qualquer. A idia agora usar a relao 2.8.3 para escrever a ao da trajetria falsa em termos da trajetria verdadeira juntamente com o afastamento (). Tomando-se as derivadas de 2.8.3 e substituindo em 2.8.4 tem-se:
1

(2.5.9)

+ 2

Sabe-se que a ao da trajetria () dada por: =

2 1

(2.5.9)

()

(2.8.9) (2.8.7) (2.5.9) (2.5.9) (2.8.7)

E desconsiderando os termos de ordem

19

superior, a equao 2.8.8 pode ser escrita como: = +

2 1

Mas lembrando que o afastamento nulo nos extremos, isto : 1 = 2 = 0, tem-se que o primeiro termo de 2.8.12 desaparee:
2 1

(2.8.10)

= Definiremos o segundo termo(2.5.9) da expresso acima como sendo a variao da ao, e denotaremos por:
(2.8.7)
2 1

2 2

() = 0
(2.8.13)

Seja () a funo entre colchetes, pode-se escrever: (2.5.9) =

2 1

(2.8.11) (2.5.9)

() = 0
(2.8.7)

(2.5.9) Agora, a idia que para que a ao corresponda trajetria real, a variao deve ser nula, pois se = 0 na expresso (2.8.7) 2.8.10, tem-se = , onde, por definio, corresponde ao da trajetria real.

, onde = 0 para que ocorra = 0. Logo: 2 2 = 0

(2.5.9)

= =

Isto significa considerar que(2.5.9) os coeficientes de em 2.8.11 devem ser zero. No entanto, tem-se nessa expresso tambm a derivada de em relao ao tempo. Precisamos portanto, reorganizar esta expresso, escrevendo

E tem-se a a 2 Lei de Newton. Na verdade, o Princpio da Ao Mnimia apenas uma forma alternativa de se enunciar a 2 Lei. O que foi importante revisar nesta seo que, tendo-se uma Langrangeana, pode-se utilizar o Princpio da Ao Mnima e calcular a variao da ao para encontrar as equaes de movimento.

em funo de (). possvel

fazer isso utilizando-se integrao por partes. Fazendo-se: = em 2.8.11, a regra de integrao por partes nos d: =

2.9) AO DE UMA PARTCULA RELATIVSTICA - ENERGIA E MOMENTO RELATIVSTICOS

E logo: = ()
2 1 2 1

2 1

()

() = 0
(2.8.12)

Vamos agora encontrar as frmulas para a energia e o momento relativsticos. Para tanto, iremos escrever a ao de uma partcula relativstica - consequentemente, ao fazer isso, estaremos procurando tambm, uma langrangeana especfica.

(2.5.9)

20
(2.8.7)

Primeiramente, tomemos o exemplo de uma partcula no-relativstica livre de foras. (Por no-relativistica queremos enfatizar que as equaes obtidas para essa partcula no satisfaz os postulados da RR). Se a partcula livre de foras, tem-se

longo da linha-mundo retorna o tempo prprio total correspondente ao movimento em anlise. Sabendo que a ao proporcional ao tempo prprio podemos escrever: = = 1 2 2
(2.9.2)

= 0, isto , ela se

move velocidade constante. Logo, sua langrageana no possuir o termo de potencial e a ao no-relativstica para esta partcula facilmente escrita como: = = 1 2 2
(2.9.1)

1 2 2

No entanto, devemos lembrar que a (2.5.9) ao, sendo uma integral da langrangeana, deve possuir unidades de energia vezes tempo: = 2 2 = 2
(2.8.7)

No entanto, fcil notar que esta (2.5.9) equao permite qualquer velocidade constante, inclusive as maiores que a velocidade da luz. Nosso problema ento , (2.8.7) como encontrar a ao de uma partcula relativstica? Para isso, vamos fazer algumas consideraes. Quando uma partcula relativsitca se move no espao-tempo, ela cria uma trajetria que chamaremos de linha-mundo. A primeira considerao : as equaes que descrevem o movimento de uma partcula relativstica devem ser invariantes de Lorentz - o que naturalmente necessrio pelos postulados da RR. A segunda considerao : qualquer que seja a linha-mundo da partcula, todos os observadores de Lorentz devero calcular o mesmo valor para ao desta partcula. A cada linha-mundo corresponde uma ao, e viceversa. Se a linha-mundo descreve a trajetria fsica da partcula, ento deve ser a mesma para qualquer observador de Lorentz. Para manter a invarincia mencionada nos pargrafos precedentes, temos que a ao deve ser proporcional um escalar de Lorentz. Tal escalar justamente o tempo prprio da partcula:

(2.5.9)

A constante deve ser, portanto, uma (2.5.9) grandeza de massa vezes velocidade ao quadrado. Podemos achar essa constante assumindo em 2.9.2 para reencontrar a lagrangeana no-relativistica de 2.9.1. = 1 2 2 2 2 2
(2.9.3)

Os termos constantes na lagrangeana (2.5.9) no afetam as equaes de movimento, e logo, podemos desconsiderar o termo de 2.9.3. Portanto, comparando o termo 2 2 com a (2.8.7) lagrangeana de 2.9.1, temos que = 2 , e logo, para a lagrangeana relativstica tem-se: = 2 1 2 2
2

(2.5.9) (2.9.4)

Momento relativstico

(2.5.9)

A quantidade de movimento, (2.8.7) ou momento, de uma partcula dada em mecnica clssica por = , onde a

. A integral do tempo prprio ao

(2.5.9) lagrangeana dada e a velocidade da partcula.

21

Utilizando a lagrangeana obitida em 2.9.4, tem-se a expresso para o momento relativstico: = 1 2 2

(2.9.5)

, onde tomando o limite , tem-se a (2.5.9) expresso clssica para o momento: = .

(2.8.7)

A equao 2.9.8 diz que uma partcula massiva, mesmo estando livre de foras e sem nenhum movimento relativo aparente, ainda dotada de uma energia mnima: sua energia de repouso. E tal energia , como v-se facilmente no lado direito da equao, incrivelmente grande. Mesmo uma partcula de massa quase nula possui uma imensa quantidade de energia. Na verdade, energia e massa so duas faces da mesma moeda, j que uma pode ser expressa em funo da outra como diz a equao 2.9.8. Essa foi uma das importantes informaes usadas na a construo da bomba atmica utilizada em Hiroshima, na segunda guerra mundial. Provavelmente por este motivo a frmula ficou mundialmente conhecida, inclusive por leigos em fsica. Ainda hoje, os cientistas utilizam essas equaes para determinar a energia esperada na coliso de partculas num acelerador de partculas. Esses e outros resultados experimentais confirmam e sustentam a Teoria da Relatividade como sendo correta e inclusive, aplicvel.

Energia relativstica

Define-se em mecnica clssica a funo Hamiltoniana, que a energia expressa em funo do momento: = E =

(2.5.9)

(2.9.6)

Utilizando-se as relaes 2.9.4 e 2.9.5, (2.5.9) tem-se para a energia da partcula relativstica: = 2 1 2 2

(2.8.7) (2.9.7)

Na expresso 2.9.7, verifica-se o (2.5.9) caso especial para = 0 (partcula em repouso) e tem-se: = 2 , que chamada de energia de repouso corpo massivo. Esta a energia do medida no seu prprio referencial.
(2.8.7) (2.9.8) (2.5.9) de um (2.5.9) corpo

Hamiltoniano relativstico

Por fim, pode ser conveniente expressar a energia em funo do momento. Elevando-se 2.9.5 e 2.9.7 ao quadrado e comparando, obtemos a seguinte relao: 2 = 2 + 2 2 2
(2.9.10)

Desenvolvendo 2.9.7 em srie de (2.8.7) potncias, otem-se: 2 = + 2

2

Isolando a energia em 2.9.10 tem-se a (2.5.9) funo hamiltoniana relativstica: = 2 + 2 2

(2.9.11) (2.8.7)

(2.9.9) (2.5.9)

, que a expresso clssica da energia cintica, (2.5.9) com adio da energia de repouso.
22

(2.5.9) (2.5.9)

(2.8.7)

(2.8.7) (2.9.10)

3) CORDA RELATIVSTICA
3.1) FUNCIONAIS DE REA

Nas seo 2.9 introduzimos a ao de uma partcula relativstica. Agora, buscaremos escrever a ao de uma corda relativstica. Uma partcula descreve uma linhamundo no espao-tempo ao se passar um intervalo de tempo. Uma corda, sendo um objeto extenso, dever criar uma superfcie ao percorrer o espao-tempo. A essa superfcie daremos o nome de folha-mundo. Para calcular a ao da corda relativstica, portanto, devemos integrar sobre a sua folha-mundo. Aqui surge a necessidade de escrever uma funo que mapeie toda a superfcie da folha-mundo, de maneira que possamos calcular a rea da superfcie e us-la como caminho de integrao no clculo da ao da corda. Tais equaes chamam-se funcionais de rea. Nesta seo, escreveremos a funo de rea no espao euclidiano. Posteriormente, passaremos ao espao de Minkowski. A descrio da linha-mundo criada por uma partcula pontual requer apenas um parmetro para descrev-la. A folha-mundo, sendo uma superfcie, deve necessitar de dois parmetros para sua descrio. Seja a seguinte coleo de funes que descrevem uma superfcie parametrizada no espao euclidiano: 1 , 2 = (1 1 , 2 , 2 1 , 2 , 1 1 , 2 )
(3.1.1)

Figura 3.1.1

A superfcie fsica a forma geomtrica obsevada no espao(2.5.9) que denotaremos real, como espao alvo. Essa superfcie gerada pelo mapeamento das coordenadas do espao de parmetros no espao alvo. Tal mapeamento feito pela funo 1 , 2 . Nesse primeiro momento, consideraremos o espao alvo como sendo o espao euclidiano. 3

2 1

2 1
Figura 3.1.2 - Superfcie da folha-mundo no espao alvo

Queremos calcular a rea da superfcie (2.5.9) fsica. Para isso, podemos escrever o elemento de rea infinitesimal (representado na figura 3.1.2) e integr-lo sobre toda a superfcie da folha-mundo.

Sejam os vetores 1 e 2 que geram , onde 1 e 2 so os parmetros que o paralelogramo infinitesimal ilustrado na descrevem a superfcie. Chamaremos de (2.5.9) figura 3.1.2. uma variao 1 no espao de espao de parmetros a regio descrita pelos parmetros deve corresponder uma variao parmetros da superfcie:
(2.8.7)

23

(2.5.9)

1 no espao alvo. Mantendo-se 2 constante,

a coordenada 1 varia de acordo com a taxa 1 . Portanto, o comprimento 1 pode ser obitido multiplicando-se a taxa 1 pelo comprimento infinitesimal 1 . O mesmo ocorre para a coordenada 2 , mantendo-se 1 constante. Logo: 1 = 1 2 , 2 = 1 2
(3.1.2)

1 , a equao da rea dever manter sua forma original. Essa invarincia um conceito fsico fundamental, pois utilizaremos essa funo de rea para escrever a ao da corda relativstica, e esta no pode depender da escolha de um parmetro. A superfcie gerada pela folhamundo independe da fixao do sistema de coordenadas ou da mudana de variveis parmetro. Sejam 1 e 2 novos parmetros tais que 1 = 1 (1 ) e 2 = 2 ( 2 ). Para escrevermos o funcional de rea em termos desses parmetros, preciso reescrever cada elemento da equao 3.1.5 utilizando a regra da cadeia apropriadamente. Supondo que 1 ( 1 ) e 2 ( 2 ) sejam funes inversveis, ento possvel escrever 1 = 1 (1 ) e 2 = 2 ( 2 ). Logo, os diferenciais 1 e 2 das equaes 3.1.2 podem ser escritos como:
=
1

Podemos escrever a rea desse (2.5.9) paralelogramo utilizando-se a expresso do mdulo do produto vetorial entre 1 e 2 , sendo o ngulo entre eles.
(2.8.7)

= 1 2 = 1 2 = 1
2

(3.1.3) (2.5.9)
2

1 2
2

2 2 2
(2.5.9)

(3.1.2) Escrevendo a equao 3.1.3 em termos do produto escalar euclidiano, tem-se: (2.8.7)

1 1

2 2

1 (2.5.9) 2 2
(3.1.4) (2.5.9)

1 1

2 2

(3.2.1)

Finalmente, utilizando as equaes (2.8.7) 3.1.2 e integrando o : = =

1 2

Da mesma forma, podemos reescrever (2.5.9) as taxas de variao dos parmetros: 1 2 = 1 1 = 2 2 1 2

(3.2.2) (2.8.7)

1 1
1 2 2

2 2(2.5.9)

(2.5.9) (3.1.2)

2 1

(2.8.7) (2.5.9) (3.1.5) (2.5.9) (2.8.7)

Utilizando as relaes 3.2.1 e 3.2.2, (2.5.9) tem-se para os vetores 1 e 2 :

1 1

(2.5.9)

1 =

1 = 1 = 1 1 1 1 1 1 (2.8.7)
(3.1.2)

3.2) INVARINCIA REPARAMETRIZAO

POR (2.5.9) (3.1.2) (2.5.9)

(2.8.7) rea 3.1.5, (2.5.9) invariante (3.1.3)

(3.2.3) 2 2 2 2 2 = 2 = = 2 2 2 2 2 (2.5.9) (3.2.4) (2.5.9) (2.5.9)

Dada a expresso da precisamos ter certeza de que ela por reparametrizao. Isto , se escolhermos (2.5.9) um outro parmetro 1 tal que seja funo de (2.8.7)
(2.5.9) (3.1.2) 24 (2.5.9) (2.8.7) (2.5.9)

Comparando os vetores 1 e(3.1.2) 2 obitidos nas relaes 3.2.3 e 3.2.4 com (2.5.9) os das (2.8.7) (2.8.7) relaes 3.2.1, podemos observar que eles mantm a mesma forma para mbos (2.5.9)
(2.8.7) (2.5.9) (2.5.9) (2.8.7) (2.5.9) (3.1.3) (3.1.2)

parmetros. Logo, a funo de rea 3.1.5 possuir o mesmo formato para os parmetros 1 e 2 , e pode-se = , isto : a funo 3.1.5 invariante por reparametrizao. Tal como foi possvel notar nos clculos precedentes, no imediatamente visvel a invarincia por reparametrizao da equao 3.1.5. Foi preciso reescrever os vetores 1 e 2 para observarmos a invarincia. Existe uma forma mais simples de escrever a funo de rea 3.1.5, dita manifesto, pois nessa forma possvel observar facilmente a invarincia por reparametrizao. Seja um vetor tangente superfcie da folha-mundo no espao alvo. Seu comprimento (ou mdulo) pode ser escrito como: 2 =
(3.2.5)

Definamos a seguinte matriz: () = 1 2 2 2

(3.2.8)

1 1 2 1

(2.5.9)

(2.8.7)

, onde chamada de mtrica induzida.

(2.5.9) Utilizando a notao acima, a equao 3.2.7 fica:

2 = ()

(3.2.9) (3.1.2)

fcil notar que o determinante de , (2.5.9) denotado por : det ) = ( , corresponde justamente ao termo dentro da raiz em 3.1.5. Assim, a funo de rea pode ser escrita simplesmente como:
(2.5.9) (2.8.7)

, onde o vetor pode ser escrito em termos dos parmetros 1 e 2 : (2.5.9) = 1 2 + 2 = 1

(3.2.6) (2.8.7)

A=

1 2

(3.2.10) (3.1.2)

Na relao acima, utilizamos a conveno de (2.5.9) Einstein, onde o ndice repetido indica soma. Nesse caso, pode assumir os valores 1 e 2. (2.5.9) Observe que, diferente dos vetores 1 (2.8.7) e 2 que contm apenas a componente de um (3.1.2) parmetro, um vetor genrico que pode possuir ambas componentes diferentes de (2.5.9) zero. Substituindo a relao 3.2.6 em (2.5.9) 3.2.5 tem-se: = 2 =
2

Agora, vamos mostrar que a equao (2.5.9) (2.5.9)a 3.2.10 realmente deixa mais explcita invarincia por reparametrizao. Vamos, 2 portanto, entender como os elementos 1(2.8.7) e (2.8.7) se transformam numa mudana de parmetros.
(2.5.9)

(3.1.2) (2.8.7) (2.5.9) (3.2.7) (2.5.9) (2.8.7) (2.5.9) (3.2.5) (2.5.9) 25 (2.8.7) (2.5.9)

Primeiro, podemos ressaltar que o (2.5.9) 2 comprimento escrito em 3.2.9, sendo o mdulo de um vetor, no pode depender de (3.1.2) uma parametrizao especfica. Isto , pode-se escrever a seguinte igualdade: = ( )

(2.5.9) (3.2.11)

(2.8.7) (2.5.9)

(2.5.9) (2.8.7)

Sendo = ( ) e = ( ), pode-se usar a regra da cadeia para reescrever os diferenciais e , obtendo-se: = ( )

(3.2.12)

Tirando o determinante em ambos os lados: = ( ) =

2

(3.2.18)

E logo, temos transformao entre e : = ( )

relao

de
(2.5.9)

Finalmente, tirando a raiz quadrada em ambos os lados de 3.2.18 obtemos a relao de (2.5.9) transformao da mtrica induzida: =
(2.8.7) (3.2.19)

(3.2.13) (2.8.7)

(2.5.9) Agora, vamos lembrar do seguinte (2.5.9) recurso do clculo para mudana de variveis:
1 2

(2.5.9) Utilizando as relaes 3.2.15 e 3.2.19, (2.5.9) podemos facilmente reescrever a funo de rea 3.2.10, observando sua invarncia de (3.1.2) forma imediata: (2.8.7)

= det (3.1.2)
(3.2.14)

(2.8.7) 1 2

1 2 =

1 2 det 1 2

(2.5.9) (2.5.9)

, onde = .

matriz

definida

(2.5.9) (2.5.9) por (2.5.9) (3.1.2) (2.8.7) (2.8.7)

(3.2.20) (2.8.7) (3.1.2) (2.5.9)

De maneira anloga:
=
1 2

1 2

= det

3.3) FUNCIONAL DE REA (2.5.9) NO (2.5.9) ESPAO DE MINKOWSKI

(2.8.7) (2.8.7) (2.5.9) (2.5.9) (3.1.2)

(2.5.9) (2.5.9) (3.2.15) (2.5.9)

, onde = .

matriz

definida (2.8.7) por

(2.5.9) (3.1.2)

Combinando as equaes 3.2.14 e (2.5.9) 3.2.15, tem-se: (2.8.7) det det = 1

(2.5.9) (3.2.16) (2.5.9) (2.8.7) Feito esse pequeno parnteses, vamos (2.5.9) reescrever a equao 3.2.13 utilizando a notao matricial decorrente de 3.2.15. (3.1.2) (2.8.7) = = ( ) (2.5.9)

(2.5.9)

(2.8.7)

(2.5.9)

(3.2.17) (2.5.9) (2.5.9) (2.5.9) 26 (2.8.7) (3.1.2) (2.8.7) (2.5.9)

27