Revista Brasileira de Ensino de F sica, v. 35, n. 4, 4304 (2013) www.sbsica.org.

br

Transforma co es de Galileu e de Lorentz: Um estudo via teoria de grupos

(Galileo and Lorentz Transformations: A study via group theory)

A.N. Rocha, B.F. Rizzuti1 , D.S. Mota

Instituto de Sa ude e Biotecnologia, Universidade Federal do Amazonas, Coari, AM, Brasil Recebido em 5/3/2013; Aceito em 1/5/2013; Publicado em 15/10/2013 Neste trabalho destacaremos a conex ao entre teoria de grupos e transforma co es entre referenciais. A partir da deni ca o da representa ca o dos grupos abstratos de Galileu e de Lorentz sobre o espa co-tempo, somos levados naturalmente ` as transforma co es de Galileu e de Lorentz nos regimes newtoniano e relativ stico. Al em de fornecer um material introdut orio para assuntos mais avan cados, como teoria de grupos e suas representa co es, este artigo apresenta tamb em uma formula ca o alternativa ` a teoria da relatividade especial. Palavras-chave: princ pio da relatividade, teoria de grupos, relatividade especial. In this work we explore the connection between group theory and transformations among frames of reference. Starting from the very denition of representations of the abstract Galileo and Lorentz groups over the spacetime, we are naturally led to the Galileo and Lorentz transformations in classical and relativistic regime. In addition to providing an introductory material for advanced topics, such as group theory and its representations, this paper also brings an alternative formulation to the special relativity theory. Keywords: principle of relativity, group theory, special relativity.

1. Introdu c ao
A universalidade da f sica e descrita por um princ pio b asico, que talvez devesse ser chamado de axioma, por ser aceito sem demonstra c ao devido a sua clareza e razoabilidade: o princ pio da relatividade.2 Seu enunciado e o seguinte, As leis da f sica s ao as mesmas em qualquer referencial inercial [1]. Com este princ pio somos levados implicitamente a fornecer a liga c ao entre referenciais distintos utilizados para descrever determinado fen omeno, garantindo assim que a f sica e a mesma, seja em um ou outro referencial. O objetivo central deste trabalho ser a ent ao caracterizar esta liga c ao entre observadores, chegando ` as transforma c oes de Galileu e de Lorentz entre referenciais inerciais. Esta constru c ao fornece, em particular, uma formula c ao alternativa para a teoria da relatividade especial. Para isso, utilizaremos uma ferramenta matem atica poderosa, a teoria de grupos. Mostraremos que os grupos est ao intimamente ligados com o princ pio da relatividade, seja na mec anica cl assica ou relativ stica. Infelizmente a disciplina formal de teoria grupos n ao e vista nos cursos de gradua c ao em f sica, tanto nas licenciaturas quanto nos bacharelados, apesar da sua conex ao direta com a f sica. Al em disso, a
1 E-mail: 2 Um

bibliograa padr ao utilizada que trata da aplica c ao em f sica da teoria de grupos e avan cada, veja por exemplo [24]. Desta maneira, este trabalho prop oe tamb em fornecer de maneira did atica uma primeira leitura ` a teoria de grupos, ressaltando sua proximidade com a f sica. Dividiremos este artigo da seguinte maneira: na Se c ao 2, motivaremos, de maneira intuitiva, o uso da teoria de grupos para estabelecer a conex ao entre referenciais distintos. A formaliza c ao desta discuss ao intuitiva e feita na Se c ao seguinte, quando obteremos as transforma c oes de Galileu a partir da deni c ao da representa c ao do grupo de Galileu sobre o espa co-tempo. Na Se c ao 4, discutiremos as raz oes pelas quais o grupo de simetrias (grupo de Galileu) da mec anica cl assica deveria ser substitu do por outro que garantisse, por exemplo, que o princ pio da relatividade fosse aplicado tamb em ` as equa c oes de Maxwell. Este novo grupo de simetrias, o grupo de Lorentz, e analisado na Se c ao 5: a partir da sua a c ao no espa co-tempo seremos levados naturalmente ` a formula c ao da relatividade especial. Por m, dedicamos a Se c ao 6 para a conclus ao.

2.

Por que teoria de grupos?

Muitas teorias em f sica s ao descritas por ramos da matem atica que por vezes foram desenvolvidos de maneira

adson.anr@gmail.com; brunorizzuti@ufam.edu.br.

nome mais sugestivo seria princ pio do absoluto, pois sua formula ca o retrata leis v alidas independentes do observador.

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

4304-2

Rocha et al.

independente da sua aplica c ao. Por exemplo, e muito dif cil analisar um trabalho moderno ligado com a teoria da relatividade geral sem conhecer geometria diferencial [5]. O mesmo podemos dizer da mec anica qu antica em n vel elementar: j a nos primeiros cap tulos nos deparamos com palavras vetores num espa co de Hilbert representam estados de uma part cula ou ainda operadores hermitianos representam quantidades observ aveis [6]. Isto mostra a forte depend encia da mec anica qu antica com a algebra linear. O que podemos dizer sobre a teoria de grupos?3 Como nosso objetivo e retratar a sua associa ca o com o princ pio da relatividade, vamos considerar a seguinte situa c ao: tr es rapazes discutem sobre o estado de movimento de uma crian ca andando de bicicleta. O primeiro rapaz est a parado, o segundo anda com mesma velocidade que a bicicleta e o terceiro corre mais r apido que as pedaladas. O primeiro ent ao diz para os outros dois que a crian ca se afasta com velocidade positiva. O segundo nega, armando que a bicicleta est a parada. J a o terceiro comenta que a bicicleta est a se afastando com velocidade negativa. Qual dos tr es est a correto? Cada um deles tem raz ao, j a que as arma c oes s ao feitas em rela c ao aos seus respectivos referenciais. Para garantir que os tr es rapazes n ao v ao brigar, devemos permitir que haja comunica c ao entre os tr es, assim cada um es razo tar a ciente do que o outro est a vendo. E avel esperar que esta troca de informa c oes entre observadores obede ca certas regras: 1. A situa c ao em que o primeiro avisa o segundo rapaz, que por sua vez avisa o terceiro sobre o que o primeiro v e e equivalente ao primeiro avisar diretamente o terceiro. 2. A arma c ao do que cada um v e pode ser transmitida, sem seguir uma ordem do primeiro para o segundo e assim sucessivamente. Por exemplo, se colocarmos um quarto rapaz no jogo, ent ao a situa c ao em que o primeiro avisa o segundo, o segundo avisa o terceiro e por sua vez comunica ao quarto a informa c ao vinda do primeiro e equivalente ao primeiro passar sua informa c ao ` a frente depois de ter estabelecido a comunica c ao entre os tr es rapazes seguintes. 3. A informa c ao entre o estado de movimento da crian ca na bicicleta pode ser transmitida tanto num sentido quanto no outro: o primeiro pode avisar o segundo do que v e ou vice-versa. Se associarmos a troca de informa c ao com elementos gi , i = 1, 2, ... de um conjunto G, ent ao e natural pensar que G e um grupo, isto e, um conjunto munido de uma opera c ao que associa pares de elementos a um

terceiro elemento, :GGG (1)

obedecendo a) g1 (g2 g3 ) = (g1 g2 ) g3 , para todos g1 , g2 , g3 em G. b) Existe e em G tal que ge = eg = g , para todo g em G. c) Para todo g em G, existe g 1 tal que gg 1 = 1 g g = e. As regras que pedimos para a troca de informa c oes possuem exatamente a estrutura de um grupo: a regra 1 fornece o fechamento do produto, a n umero 2 corresponde ` a associatividade do produto em G e por m a regra 3 est a ligada com a exist encia do elemento inverso (e identidade). Assim ca justicado o uso da teoria de grupos para estabelecer a rela c ao entre diferentes referenciais. Como discutimos anteriormente, a liga c ao entre referenciais e essencial para assegurar o princ pio da relatividade. Nas pr oximas se c oes discutiremos os detalhes t ecnicos da discuss ao informal acima. Veremos como somos levados ` as transforma c oes de Galileu, seu decl nio e por m chegaremos ` as transforma c oes de Lorentz, culminando com a teoria da relatividade especial.

3.

Liga c ao entre referenciais na mec anica cl assica: transforma co es de Galileu

Nesta Se c ao mostraremos como a teoria de grupos est a por tr as do princ pio da relatividade: a partir da representa c ao do grupo de Galileu no espa co-tempo somos levados ` as transforma c oes de Galileu entre referenciais inerciais. Consideremos uma situa c ao hipot etica em que uma part cula encontra-se afastada de tudo e livre de for cas imposs externas. E vel descrever sequer o estado de movimento desta part cula. Por outro lado, se nos aproximarmos dela, poderemos dizer se ela est a parada ou se movimentando. Neste caso, ao observador que se aproximou da part cula est a associado um sistema de refer encia ou referencial: ele pode dizer onde a part cula se encontra, digamos x e em qual instante de tempo t a part cula encontra-se em x. Esta constru c ao nos leva naturalmente ao espa co R4 com coordenadas t x1 x = (2) x2 , x3 onde x0 = t, x1 = x, x2 = y , x3 = z . Indices gregos , , ..., assumem os valores 0, 1, 2, 3. O ndice 0

3 Vamos abordar neste trabalho a associa c ao entre teoria de grupos e o princ pio da relatividade. Naturalmente este n ao e o m da hist oria: grupos s ao ainda utilizados, entre outros assuntos, na teoria do momento angular em mec anica qu antica [7], f sica do estado sica de part culas elementares [9], mas estes assuntos fogem do escopo deste artigo. s olido [8], f

Transforma co es de Galileu e de Lorentz: Um estudo via teoria de grupos

4304-3

corresponde ` a vari avel temporal x0 e os ndices latinos i, j, k, ... correm valores 1, 2, 3 e est ao associados ` as vari aveis espaciais. Chamamos x de coordenadas de espa co-tempo. Se a part cula e livre, ent ao sua descri c ao com coordenadas x e a mais simples poss vel: ou ela est a parada ou em movimento retil neo e uniforme. Caso us assemos um outro sistema de coordenadas x para descrev e-la, ela deve continuar livre. Assim, associamos x e x com uma transforma c ao linear, que leva retas em retas, x = G x , (3)

obedecendo ` a seguinte regra, (G1 G2 ) = (G1 ) (G2 ). (9)

Denotamos por L(R4 ) o espa co dos operadores lineares sobre R4 . A interpreta c ao para a Eq. (9) e simples: estamos obrigando que o produto dos operadores (lado direito) obede ca ao produto do grupo (lado esquerdo). e chamado de homomorsmo [10]. Como as matrizes de G s ao 4 4 e dim R4 = 4, o homomorsmo escolhido ser a a aplica c ao identidade = id. Assim a Eq. (3) ca reduzida a x = [(G)] x = G (v)x . (10)

onde usamos a nota c ao de Einstein: ndices repetidos signicam soma. O ndice corresponde ` a linha e a coluna da matriz G. De uma maneira ou de outra gostar amos de associar a matriz G acima a um certo grupo, como discutimos anteriormente. Vejamos ent ao como isto pode ser feito. Come camos com a deni c ao do seguinte conjunto de matrizes munido com o produto usual, G = {G44 ; G R, G = 1, Gi 0 = vi }, isto e, 1 v1 G(v) = v2 v3 0 1 0 0 0 0 0 0 . 1 0 0 1 (4)

Neste caso dizemos que est a dada uma representa c ao linear do grupo de Galileu no espa co-tempo.5 Qual ea interpreta c ao f sica desta constru c ao? Se escrevemos a Eq. (10) explicitamente, encontramos x0 = G0 (v)x t = t xi = Gi (v)x xi = xi v i t (11) (12)

(5)

As express oes (11) e (12) s ao bem conhecidas e correspondem ` as transforma c oes de Galileu [11]. Elas fazem as liga c oes entre referenciais inerciais e os par ametros v i , i = 1, 2, 3 correspondem ` as componentes da velocidade relativa entre os referenciais. Se mudarmos o sentido da velocidade, invertemos a troca de referenciais, isto e, x = G (v)x . Isto justica a express ao G1 (v) = G(v). (14) (13)

Como G possui tr es entradas independentes, a saber, v1 , v2 e v3 , usamos a express ao v na Eq. (5) para simplicar a nota c ao. A verica c ao que G e um grupo e direta: a) O produto e fechado em G G(v)G(v ) = G(v ), v = v + v ; (6)

b) O produto usual de matrizes e associativo; c) O elemento neutro e a pr opria identidade; d) Para todo G(v) em G , seu inverso e dado por, G1 (v) = G(v). (7)

Vamos inserir mais um referencial no jogo, se afastando de x com velocidade v , conforme mostra a Fig. 1.

Chamaremos G de grupo de Galileu.4 No exemplo dos rapazes discutindo sobre o estado de movimento da crian ca de bicicleta cou claro que a troca sucessiva de referenciais estava associado com o produto de grupos. Por outro lado, com a Eq. (3) vimos que a associa c ao entre referenciais inerciais e feita por uma transforma c ao linear. Para que o produto do grupo seja respeitado pelas transforma c oes da forma da Eq. (3), devemos associar a cada G em G um operador linear que atua no espa co-tempo, : G L(R4 ),
4 Vamos

Figura 1 - Referenciais afastando-se uns dos outros.

Por um lado, x = G (v )x . (15)

(8)

estudar aqui somente o setor do grupo de Galileu associado com os boosts. O grupo de Galileu, al em dos boosts cont em ainda um setor respons avel por rota c oes [1]. A palavra boost em ingl es signica empurr ao. Da ela ser usada para se referir a troca de referenciais quando um se desloca em rela c ao ao outro com velocidade constante. 5 A teoria de representa co es de grupos tem um papel central em f sica de part culas elementares. Veja por exemplo a Ref; [9].

4304-4

Rocha et al.

Por outro lado, x = G (v)x . Substituindo a Eq. (16) na Eq. (15), x = G (v )G (v)x . Lembrando que G(v1 )G(v2 ) = G(v1 + v2 ), ganhamos naturalmente a liga c ao entre x e x . x = G (v + v )x . (19) (18) (17) (16)

grupo sobre o espa co-tempo e discutiremos a sua interpreta c ao f sica. Mencionaremos que a forma da equa c ao de onda (que se propaga com uma velocidade bem denida) e mantida sob as novas transforma c oes e mostraremos como a relatividade especial surgir a naturalmente a partir desta constru c ao.

5.

Reformulando a liga c ao entre referenciais: transforma c oes de Lorentz

Como x afasta-se de x com velocidade v e x afasta-se de x com velocidade v , x afasta-se de x com velocidade v + v , a qual e a composi c ao cl assica de velocidades. Ressaltamos que o produto do grupo carrega a informa c ao de que podemos fazer transforma c oes sucessivas entre referenciais, veja a Eq. (18). Observemos tamb em que o princ pio da relatividade est a garantido j a que a segunda lei de Newton tem sua forma mantida por uma transforma c ao de Galileu.

Anteriormente discutimos que as equa c oes de Maxwell necessitavam de um novo grupo de transforma c oes que garantissem sua covari ancia. Nesta Se c ao apresentaremos este grupo e deniremos sua representa c ao no espa co-tempo, seguindo a mesma prescri c ao utilizada para o grupo de Galileu na Se c ao anterior. Por m, daremos a interpreta c ao f sica correspondente. 5.1. Deni c ao e investiga c ao formal do grupo de Lorentz

Seja o seguinte conjunto L de matrizes 4 4 com entradas reais, munido com o produto usual satisfazendo T = , (22)

4.

Decl nio das transforma c oes de Galileu

onde = diag(1, +1, +1, +1) e uma matriz diagonal xa. L e de fato fechado para o produto,
T T (1 2 )T 1 2 = T 2 1 1 2 = 2 2 = ,

Com o advento das equa c oes de Maxwell, surgiu um impasse com o princ pio da relatividade: elas implicavam, na aus encia de fontes, em uma equa c ao de ondas para os campos el etricos e magn eticos, ( 2 ) 2 2 2 (20) + + E = 0, 0 0 x2 y 2 z 2 t2 ( 2 ) 2 2 2 (21) + + B = 0. 0 0 x2 y 2 z 2 t2 Mas as equa c oes acima n ao s ao invariantes para as transforma c oes de Galileu, quebrando o princ pio da relatividade. Como as equa c oes de Maxwell descreviam muito bem tanto fen omenos eletromagn eticos quanto oticos, sendo sugestivo que elas correspondiam a leis fundamentais da natureza, a f sica deveria passar por uma reformula c ao profunda: ou as equa c oes de Maxwell deveriam ser substitu das por um modelo covariante sob a a c ao do grupo de Galileu ou as equa c oes de Maxwell seriam mantidas, trocando o grupo de transforma c oes que garantia o princ pio da relatividade.6 Esta segunda op c ao foi exatamente a escolha de Einstein. Aspectos hist oricos sobre a formula c ao da relatividade especial podem ser encontrados nas Refs. [12] e [13]. Na pr oxima Se c ao vamos obter a representa c ao de outro
6 Esta

(23)

para todos 1 , 2 em L, e ainda, a partir da restri c ao T = , obtemos det = 1. Assim para todo em L, existe 1 . Logo, L tem estrutura de grupo e o denotaremos como grupo de Lorentz. Vamos analisar somente o subconjunto de L (que tamb em e um grupo) das matrizes com determinante igual a 17 SO(1, 3) = {44 ; R, T = , det = 1}. (24) As letras S e O correspondem a special e orthogonal. A primeira refere-se ` a restri c ao do determinante das matrizes ser unit ario e a segunda indica que parte do grupo e formado por matrizes ortogonais. Os par entesis (1, 3) indicam que o grupo atua no espa co-tempo com uma dimens ao temporal e tr es espaciais. A investiga c ao de SO(1, 3) e facilitada se escrevemos SO(1, 3) como a exponencial de uma matriz , = e . (25)

Os detalhes t ecnicos e as propriedades que utilizaremos aqui sobre exponenciais de matrizes est ao no ap endice e equivalente a, ao nal do texto. A restri c ao (22) T = 1 T = 1 . (26)

u ltima op ca o implicava ainda na reformula ca o da mec anica de Newton pois sua segunda lei era covariante sob transforma c oes de Galileu 7 O conjunto de matrizes com determinante 1 n ao e fechado para o produto. Para evitar este problema, analisaremos somente o setor de L com determinante igual a 1.

Transforma co es de Galileu e de Lorentz: Um estudo via teoria de grupos

4304-5

Usando agora a Eq. (25) na Eq. (26), 1 (e )T = (e )1 1 e = e ,

T

(27)

onde usamos as propriedades (1) e (2) do Ap endice. E 1 poss vel mostrar tamb em que eA BA = A1 eB A, veja a propriedade (3). Portanto, a Eq. (27) toma a forma 1 e = e e
T 1

Observemos que os ndices acima n ao representam os ndices dos elementos de matriz. Eles se referem a enumera ` c ao dos par ametros a, ..., f e das matrizes Ma , ..., Mf . Finalmente, chegamos a, = e2
1

(37)

= e .

(28)

Devido ` a propriedade (4) do ap endice, podemos escrever 1 T = T = . (29)

A restri c ao (29) implica que as matrizes s ao obrigatoriamente compostas por uma parte sim etrica e outra antissim etrica, 0 a b c 0 0 0 0 a 0 0 0 0 0 d e = b 0 0 0 + 0 d 0 f , (30) c 0 0 0 0 e f 0 ou ainda, = aMa + bMb + cMc + dMd + eMe + f Mf , onde a, ..., f exemplo 0 1 Ma = 0 0 (31)

As matrizes pertencem a um conjunto que tem estrutura de espa co vetorial: qualquer pode ser escrita como combina c ao linear das matrizes Ma , ..., Mf , veja a Eq. (31). Por deni c ao, as M s ao chamadas geradores (do grupo). Este conjunto recebe o nome de algebra de Lie do grupo SO(1, 3), sendo denotado por so(1, 3), so(1, 3) = { = 1 M ; = R}. 2 (38)

Os geradores M s ao dados pela Eq. (35). A rela c ao entre um grupo e sua algebra de Lie e dada pela f ormula ilustrativa, G = eL . (39)

s ao par ametros arbitr arios reais e, por 1 0 0 0 0 0 0 0 0 0 0 , Me = 0 0 0 0 0 0 0 0 1 0 0 0 0 0 1 . (32) 0 0

Para o caso em que discutimos, SO(1, 3) = eso(1,3) .

5.2.

Representa c ao do grupo SO(1, 3) no espa co-tempo

A restri c ao det = 1 n ao traz nada novo: de acordo com a propriedade (5), temos, det = dete = etr = 1 tr = 0. (33)

Mas pela Eq. (30), vemos que o tra co de e nulo. Existe uma maneira elegante de se reescrever a express ao (31). Denimos um objeto antissim etrico com dois ndices, = , como segue, a = 01 , d = 12 , b = 02 , e = 13 , c = 03 , f = 23 . (34)

Assim como zemos com o grupo de Galileu, vamos denir a representa c ao do grupo de Lorentz no espa cotempo e discutir as consequ encias f sicas desta constru c ao.8 Sendo o grupo SO(1, 3) tamb em formado por matrizes 4 4, novamente tomamos o homomorsmo de SO(1, 3) sobre o espa co de operadores lineares que atuam em R4 como a identidade, onde L(R4 ) eo conjunto de operadores lineares sobre o espa co-tempo (Fig. 2). Desta maneira, as coordenadas x de R4 transformam-se como x x = x ; x = (x0 , xi ). (40)

Enumeramos as matrizes Ma , ..., Mf da mesma maneira, Ma = M01 , Md = M12 , Mb = M02 , Me = M13 , Mc = M03 , Mf = M23 . (35)

5.3.

Interpreta c ao f sica de SO(1, 3): rota c oes espaciais

Tamb em por deni c ao, M = M . Desta forma, = 1 M . 2 (36)

Para discutir a interpreta c ao da express ao (40), consideremos o caso particular de dado quando tomamos todos os = 0, com exce c ao de 12 = (lembremos que os s ao constantes arbitr arias). Assim 1 M = M12 () = eM12 . 2 (41)

8 Este n ao e o m da hist oria: a equa c ao de Dirac, por exemplo, pode ser deduzida a partir de propriedades das transforma c oes de espinores sob a ca o do grupo de Lorentz [14]. Como gostar amos de fornecer um trabalho introdut orio sobre grupos e suas representa c oes, n ao trataremos estes assuntos aqui. Para maior aprofundamento nestes t opicos, indicamos a Ref. [2].

4304-6

Rocha et al.

5.4.

Interpreta c ao f sica de SO(1, 3): boosts de Lorentz

Tomemos agora como u nico par ametro n ao-nulo 01 . Neste caso, 1 M = M01 () = eM01 . 2 (47)

A exponencial acima tamb em pode ser calculada (veja Ap endice) e encontramos cosh senh 0 0 senh cosh 0 0 , () = (48) 0 0 1 0 0 0 0 0 onde usamos as fun c oes hiperb olicas cosh = e ) e senh = 1 ( e e ). Fazendo agora 2 x = [()] x , encontramos x0 x1 x2 x3 = coshx0 + senhx1 , = senhx0 + coshx1 , = x2 , = x3 . (50) (51) (52) (53)
1 2 (e

(49)

Figura 2 - Quadro geom etrico da representa ca o do grupo de Lorentz sobre o espa co-tempo. O mesmo esquema pode ser constru do para o grupo de Galileu na Se ca o 3.

A exponencial de matrizes acima e uma das poucas que pode ser calculada analiticamente (veja os detalhes no Ap endice) e fornece 1 0 0 cos () = 0 -sen 0 0 De acordo com a Eq. (40), x0 x x2 x3
1

0 sen cos 0

0 0 . 0 1

(42)

Passamos agora efetivamente ` a interpreta c ao f sica das transforma c oes acima. Como assumimos anteriormente que a coordenada x0 est a ligada com a coordenada temporal e ainda, para que a express ao (50) que dimensionalmente correta ao substituirmos x0 por t, fa camos, por simplicidade,9 x0 = ct, (54)

onde c e uma constante com dimens oes de velocidade. Assim (43)

1 2

= x0 , = cosx + senx , = senx1 + cosx2 , = x3 .

t x1

= =

cosht + senh

(44) (45) (46)

x1 , c senhct + coshx1 ,

(55) (56)

As express oes acima s ao bem conhecidas na geometria anal tica [15] e signicam rota c ao dos eixos de coordenadas x1 e x2 em torno do eixo x3 por um angulo . Vamos assumir que x0 est a ligado com a coordenada temporal e n ao se altera sob rota c oes. Por analogia, conclu mos que as transforma c oes associadas com as coordenadas 13 e 23 signicam rota c oes em torno dos eixos x2 e x1 respectivamente. Portanto, um setor do grupo de Lorentz est a associado com rota c oes espaciais.

enquanto as coordenadas x2 e x3 permanecem inalteradas. As express oes acima nos remetem ` as transforma c oes de Galileu, que misturam coordenadas espaciais e temporais, como nas Eqs. (11) e (12). Assim, vamos supor que as transforma c oes (55) e (56) tamb em descrevem a troca de coordenadas entre referenciais que se afastam um em rela c ao ao outro com velocidade V , mas com maior precis ao. V aponta no sentido positivo do eixo x1 e no instante t = 0 os referenciais coincidem. Passado um intervalo de tempo t, ocorre um evento e que coincide com a origem do referencial que se desloca em rela c ao ao primeiro (Fig. 3)

9 A ideia inicial de se construir um espa co quadridimensional foi de Poincar e. Minkowski deu continuidade a este trabalho e conseguiu dar, por exemplo, interpreta ca o para as transforma c oes de Lorentz, que veremos a seguir, utilizando a nota ca o de quadrivetores. A proposta inicial para a utiliza c ao da nota c ao x0 tamb em foi de Minkowski [16].

Transforma co es de Galileu e de Lorentz: Um estudo via teoria de grupos

4304-7

2. As transforma c oes (61)-(64) s ao singulares para V c. Isto indica que devemos esperar uma nova f sica para velocidades pr oximas de c. Mais ainda, c determina um limite superior para velo1 ) 2 ( 2 esteja bem cidades: para que o fator 1 V 2 c denido, devemos ter V < c. 3. No limite c +, as transforma c oes (61)(64) coincidem com as transforma c oes de Galileu. Neste sentido, podemos interpretar as transforma c oes de Galileu como transforma c oes efetivas para as transforma c oes de Lorentz quando V << c. 4. Vamos obter a regra de transforma c oes para velocidades, v = x1 t = = x1 V t V 1 t c 2x vV v 1 V c2

Figura 3 - Evento e visto de dois referenciais distintos.

Neste caso, temos: x1 = 0 e x1 = V t, que substitu dos na Eq. (56) fornecem, 0 = senhct + coshV t tgh = V . c (57)

A partir da identidade cosh2 = 1 + senh2 , temos, em conjunto com a Eq. (57), senh2 =
V V2 2 c (1 + senh ) senh = c2 1

. (58)
V2 c2

(66)

Como senh =

V c

cosh e cosh > 0, para todo , .

V2 c2

Suponhamos que v = c. No referencial que afastase do primeiro, temos v = vV cV = c v = c. v cV 1 V c2 (67)

1 cosh = 1

(59)

Finalmente, como senh = tghcosh,

V

Logo, c determina uma escala invariante independente do observador. (60) 5. Lorentz obteve as transforma c oes (61)-(64) de forma que a equa c ao de uma onda que se propaga com velocidade c, 2 f (61) 1 2 f = 0, c2 t2 (68)

senh = c 1

.
V2 c2

Retornamos agora para as transforma c oes (50) t x1 x2 x

3

t V2 x1 c , 2 1 V 2 c x1 V t , 2 1 V 2 c
3

(62) (63) (64)

= x2 , = x .

As transforma c oes acima s ao chamadas transforma c oes de Lorentz. Faremos agora uma lista dos resultados obtidos, enunciando algumas consequ encias f sicas associadas ` as transforma c oes de Lorentz. 1. Assim como os par ametros 12 , 13 e 23 s ao identicados com rota c oes em R3 , em torno dos eixos x3 , x2 e x1 , os par ametros 01 , 02 e 03 correspondem aos boosts na dire c ao dos eixos x1 , x2 e x3 com velocidade V i tal que tgh 0i = V . c
i

mantivesse sua forma. Isto j a era um ind cio para ser mostrado mais tarde a covari ancia das equa c oes de Maxwell sob a c ao das transforma c oes de Lorentz. Como armamos anteriormente, as equa c oes de Maxwell sem fontes implicam em equa c oes de onda para os campos el etrico e magn etico com velocidade 1 , veja as Eqs. 0 0 (20) e (21). Hertz conseguiu gerar experimentalmente ondas eletromagn eticas, previstas teoricamente, al em de mostrar que sua velocidade coin[17]. cidia exatamente com o valor te orico 1 0 0 Ele mostrou tamb em que estas ondas eram reetidas em metais, assim como a luz e reetida por um espelho. Desta maneira conclu mos que a constante c que aparece nas transforma c oes de Lorentz coincide com a velocidade da luz, 1 , c= 0 0 unicando o eletromagnetismo e a otica. (69)

(65)

4304-8

Rocha et al.

Resumindo agora as observa c oes feitas acima, nasce a relatividade especial, j a que Einstein baseou toda a teoria em dois postulados, I - A velocidade da luz no v acuo e a mesma em todos os referenciais que se movam uniformemente um em rela c ao aos outros. II - As Leis da natureza s ao as mesma em todos os referenciais que se movam uniformemente uns em rela c ao aos outros.

investiga c ao do grupo de Lorentz, veja por exemplo, a Eq. (25). Por m, calcularemos duas exponenciais que foram utilizados ao longo do texto. Deni c ao 1 Seja M o conjunto de todas as N N matrizes com elementos reais. A fun c ao exponencial sobre M e uma aplica c ao exp : M M denida por A eA =
An , A M. n! n=0

(70)

6.

Conclus ao

Neste trabalho destacamos a import ancia da teoria de grupos para a f sica: o princ pio da relatividade e garantido quando estabelecemos a liga c ao entre referenciais distintos, seja cl assica ou relativisticamente. Mostramos com um exemplo intuitivo que esta liga c ao entre referenciais deve obedecer certas propriedades similares as propriedades de uma estrutura alg ` ebrica bem conhecida, um grupo. A formaliza c ao da discuss ao intuitiva da Se c ao 2 e feita nas Se c oes 3 e 4, quando descrevemos uma maneira de carregar a informa c ao contida no grupo at e as transforma c oes de coordenadas no espa cotempo. Para isto, a cada elemento do grupo de Galileu e de Lorentz associamos uma transforma c ao linear que atua no espa co-tempo, respeitando o produto do grupo. Como interpreta c ao f sica para a representa c ao do grupo de Galileu encontramos as transforma c oes de Galileu, que relacionam as coordenadas de referenciais inerciais movendo-se um em rela c ao ao outro. Com o advento das equa c oes de Maxwell, Einstein decide substituir o grupo de transforma c oes da mec anica cl assica por outro que garantisse a covari ancia das equa c oes de Maxwell. Seguindo esta prescri c ao, denimos a representa c ao do grupo de Lorentz no espa co-tempo e como consequ encia somos levados naturalmente ` a formula c ao da relatividade especial. Acreditamos que este trabalho possa servir como uma primeira leitura em cursos de gradua c ao para a teoria de grupos, caracterizando sua liga c ao com a f sica. Fornecemos tamb em uma introdu c ao alternativa e did atica para relatividade especial. As transforma c oes de Lorentz s ao extra das a partir da representa c ao do grupo de Lorentz no espa cotempo, evitando as dedu c oes usuais que encontramos na literatura, onde e pedido por exemplo, que a frente de onda de um pulso luminoso mantenha sua forma (dedu c ao esta prevista pelo pr oprio Einstein [18]). Ressaltamos que o intuito deste artigo n ao e substituir a extensa literatura sobre teoria de grupos, t ao pouco sobre relatividade especial. Como dissemos, gostar amos de fornecer um material acess vel e complementar para estes assuntos.

A s erie acima e convergente no seguinte sentido: cada elemento da matriz eA e uma s erie convergente de n umeros reais. Vejamos agora algumas propriedades das exponenciais, 1. (eA )T = eA . 2. (eA )1 = eA . 3. eA
1 T

BA

= A1 eB A. Com efeito,
+ A1 BA = = n! n=0 1 A1 A

A1 BA

1 +A1 BA

1 1 (A B A)(A1 BA) + ... = 2!

eB

= A1 (1 + B +

B2 B + ...) A = A1 e(71) A. 2!

4. A aplica c ao A eA e uma bije c ao de uma vizinhan ca pequena da matriz N N nula sobre uma vizinhan ca pequena da identidade de ordem N . 5. Por m, det(eA ) = etrA . N ao demonstraremos as propriedades acima para n ao nos distanciarmos do objetivo deste trabalho. Elas podem ser encontradas em [2]. Calcularemos agora algumas exponenciais espec cas que apareceram no decorrer do texto. A primeira delas foi eM12 . Temos, 0 0 0 0 0 0 0 M12 = (72) 0 0 0 , 0 0 0 0 0 0 0 2 (M12 )2 = 0 0 0 0 0 0 0 0 (M12 )3 = 0 3 0 0 0 0 2 0 0 3 0 0 0 0 , 0 0 0 0 , 0 0

(73)

7.

Ap endice

Vamos denir a exponencial de matrizes e destacar algumas de suas propriedades, que foram u teis para a

(74)

Transforma co es de Galileu e de Lorentz: Um estudo via teoria de grupos

4304-9

e assim sucessivamente. Logo 1 0 0 0 2 3 0 1 + ... + ... 0 2! 3! eM12 = 0 ( 3 + ...) 1 2 + ... 0 3! 2! 0 0 0 1

. (75)

Agradecimento
Durante a revis ao deste manuscrito os autores forem direcionados para a Ref. [19]: parte do cap tulo 1 e dedicado ` a constru c ao do grupo de Lorentz a partir da const ancia da velocidade da luz. Gostar amos de agradecer ao Prof. Alexei Deriglazov pela sugest ao.

As s eries de n umeros que aparecem na exponencial acima s ao convergentes para todo real e correspondem ` as s eries para senos e cossenos,
+ + (1)n 2n+1 (1)n 2n sen = , cos = . (76) (2n + 1)! (2n)! n=0 n=0

Refer encias
[1] B. Lesche, Teoria da Relatividade (Ed. Livraria da F sica, S ao Paulo, 2005). [2] J.F. Cornwell, Group Theory in Physics (Academic Press, New York, 1972), v. I e II.

Portanto, eM12

1 0 0 cos = 0 -sen 0 0

0 sen cos 0

0 0 . 0 1

(77)

[3] S. Weinberg, The Quantum Theory of Fields (Cambridge University Press, Cambridge, 1996), v. I. [4] I.L. Buchbinder and S.M. Kuzenko, Ideas and Methods of Supersymmetry and Supergravity: Or a Walk Through Superspace (IOPP, New York, 1995).

Passemos agora ` a exponencial de M01 . Temos 0 0 0 0 0 0 M01 = 0 0 0 0 , 0 0 0 0 2 0 0 0 0 2 0 0 , (M01 )2 = 0 0 0 0 0 0 0 0 0 3 0 0 3 0 0 0 , (M01 )3 = 0 0 0 0 0 0 0 0 e assim por diante. A exponencial ca, 3 2 + ... + + ... 1+ 2! 3! 3 2 + + ... 1 + + ... M01 3! 2! e = 0 0 0 0

(78)

[5] M.S. Berman, Revista Brasileira de Ensino de F sica 9, 41 (1987). [6] D.J. Griths, Introduction to Quantum Mechanics (Prentice Hall, New Jersey, 1995).

(79)

[7] C. Cohen-Tannoudji, B. Diu, F. Lalo e, Quantum Mechanics (John Wiley and Sons, New York, 1977), v. I e II. [8] N.W. Ashcroft and N.D. Mermin, Solid State Physics (Harcourt, Orlando, 1976).

(80)

[9] D.J. Griths, Introduction to Elementary Particles (John Wiley and Sons, New York, 1987). [10] A. Gon calves, Introdu ca o ` a Algebra (Projeto Euclides, Rio de Janeiro, 2007). [11] H. Goldstein, C. Poole and J. Safko, Classical Mechanics (Addison Wesley, San Francisco, 2002). [12] J. Renn, Revista Brasileira de Ensino de F sica 27, 27 (2004). [13] J.M.F. Bassalo, Revista Brasileira de Ensino de F sica 19, 180 (1997). [14] L.H. Ryder, Quantum Field Theory (Cambridge University Press, Cambridge, 1996). [15] G.B. Arfken e H.J. Weber, F sica Matem atica: m etodos matem aticos para engenharia e f sica (Editora Campus/Elsevier, Rio de Janeiro, 2007). [16] A. Einstein, H.A. Lorentz, H. Weyl and H. Minkowski, The Principle of Relativity (Dover, New York, 1952). [17] H.M. Nussenzveig, Curso de F sica B asica: Eletromagnetismo (Editora Bl ucher, S ao Paulo, 1997). [18] V.M.S. Godoi, Revista Brasileira de Ensino de F sica 19, 315 (1997).

0 0 1 0

0 0 . (81) 0 1

Combinando as s eries da exponencial real, 2 3 e = 1 + + (82) + + ..., 2! 3! 3 2 + ..., e = 1 + (83) 2! 3! encontramos as s eries para as fun c oes hiperb olicas de seno e cosseno, 3 1 (e e ) = + + ... = senh, 2 3! 1 2 (e + e ) = 1 + + ... = cosh. 2 2! Logo
M01

(84) (85)

cosh senh senh cosh = 0 0 0 0

0 0 0 0 . 1 0 0 1

(86)

[19] A.A. Deriglazov, Classical Mechanics: Hamiltonian and Lagrangian Formalism (Springer-Verlag, Berlin/Heidelberg, 2010).