Revista Brasileira de Ensino de Fsica, vol. 21, no.

1, Marco, 1999 33

Simetrias e Leis de Conservac~ao na

Mec^anica Classica
Adriano de Souza Martins
Dep. de F
sica do Estado S
olido - UFRJ

Cx. Postal 68528, CEP 21945-970, (Rio de Janeiro)

Recebido em 26 de Junho, 1998

A conex~ao entre leis de conservac~ao e simetrias do sistema s~ao analisadas dentro do formalismo
lagrangeano. Apos uma breve exposica~o dos conceitos acima citados, apresentaremos a conex~ao
entre estes sob o ponto de vista do teorema de Noether, cuja deduca~o sera apresentada. Discutiremos
uma ampliac~ao deste teorema, de modo a incluir a variac~ao de calibre das lagrangeanas, de modo
a lancar luz em novas simetrias do sistema.
The connection between conservation laws and symmetries properties of physical systems are showed
in Lagrangian formalism. After a short exposition of symmetries and conserved quantities concepts,
we will explore their connection in the Noether Theorem frame. We also discuss one ampliation of
this theorem to include the gauge variant Lagrangians.

I Introduc~ao mais a discuss~ao, veremos como estender a aplicabili-

O estudo das propriedades de simetria de um sistema
nos da preciosas informac~oes sobre o mesmo, como a
forma de suas soluc~oes (Teorema de Bloch), reduc~ao de
graus de liberdade, etc.... Dentro deste contexto, quero
examinar o papel das simetrias dentro do formalismo
lagrangeano da mec^anica e sua relaca~o com quantida-
des fsicas conservadas, sob o ponto de vista do teorema
de Noether. Este teorema, de grande import^ancia e ri-
queza, quase n~ao e tratado nos cursos convencionais de
mec^anica classica, apesar de sua forma simples. Histori-
dade do teorema de Noether de modo a incluir o fato
que lagrangeanas que diferem por uma derivada total
no tempo de uma func~ao s~ao equivalentes, ou seja, des-
crevem o mesmo sistema fsico[4] . A seguir apresentarei
um breve resumo dos conceitos de simetria e leis de
conservac~ao, com as respectivas analogias entre os for-
malismos Newtoniano e lagrangeano.
II Simetrias
O termo simetria em Fsica refere-se a um conjunto
camente, a conex~ao entre leis de conservaca~o e simetrias de transformac~oes denidas num grupo que levam uma
foi investigada primeiramente por Schutz[6] no caso de express~ao ser invariante na sua forma: dizemos ent~ao
simetria translacional. Uma formulac~ao mais precisa que o sistema e invariante sob aquela transformac~ao ou
e dada pelo teorema de Noether[5] , que estabelece o que ele apresenta uma simetria no par^ametro da trans-
elo entre as leis de conservac~ao e as transformac~oes do formac~ao. As operac~oes aqui ser~ao aquelas denidas
grupo de Galilei. no grupo de Galilei, pois tudo que aqui sera analisado
O que pretendo neste texto e apresentar uma especie sera dentro do limite n~ao relativstico. Vamos tomar o
de revis~ao dos conceitos de simetrias na fsica classica e formalismo Newtoniano como exemplo:
sua conex~ao com a conservac~ao de quantidades fsicas,
sob o ponto de vista do Teorema de Noether. Este Te- Fi = mi
@ 2 ri (1)
orema e pouco comentado em livros didaticos, apesar @t2
de sua aparente popularidade. Com vista a enriquecer Fi = ,ri Ui (ri ); (2)
 e-mail: asm@if.ufrj.br
34 Adriano de Souza Martins

para forcas deste tipo, as equac~oes de movimento do d,!

L = 0; ,! X ,!
L = ,!
ri  pi ; (9)
tipo 1, s~ao invariantes sob transformac~oes de Galilei do dt i
tipo:
t = t + ;
0 ,!
r = ,!
r + ,!
0
 + ,! t (3) d,!
G = 0; ,! G =
X ,! ,!
mi ri , P t; (10)
dt
Aqui, ao referir-me ao termo invari^ancia, estarei me i

referindo a invari^ancia da lagrangeana sob operac~oes que expressam, respectivamente, a conservac~ao da ener-
de deslocamento em suas coordenadas generalizadas, gia, do momento linear, do momento angular e do mo-
n~ao em sua equac~ao de movimento. Como ilustraca~o vimento do centro de massa do sistema. No formalismo
basta lembrarmos que sempre associa-se a conservac~ao lagrangeano, o sistema e descrito pela sua funca~o la-
do momento linear a translac~oes espaciais e da energia grangeana L:
a translac~oes temporais. Mas esta invari^ancia refere- L = L(q; q;_ t) (11)
se a lagrangeana L que descreve o sistema, pois uma e as equac~oes de movimento s~ao dadas pelas equaco~es
partcula submetida a uma forca friccional movendo-se de Euler-Lagrange:
segundo a equac~ao  
d @L , @L = 0
m @@t2r = ,k @r (12)
2

@t (4) dt @ q_ @qk
n~ao conserva momento nem energia, apesar desta Se a lagrangeana L n~ao depende explicitamente de
equac~ao ser invariante sob translaco~es temporais e es- uma coordenada q, dizemos que esta coordenada e
paciais. Vemos assim que n~ao existe uma relac~ao cclica ou ignoravel. Para uma coordenada ignoravel
biunvoca entre as simetrias da equac~ao de movimento qk :
com as da lagrangeana L. Para uma discuss~ao mais @L = 0 (13)
aprofundada, sugiro a leitura do artigo do Havas[2] . @q
k

levando (13) para a equaca~o (12) obtemos:

III Leis de Conservac~ao pk = @@Lq_k = const: (14)
Na mec^anica classica, uma grandeza fsica G e conser-
vada se: Na equac~ao acima, pk e chamado de momento gene-
dG = 0 (5) ralizado conjugado a coordenada qk . A equaca~o (12)
dt expressa a conservac~ao do momento generalizado.
O termo conservac~ao e utilizado aqui no sentido que
uma particular express~ao que caracteriza um sistema,
efetuada num instante t0 , e independente de de t, ou IV Teorema de Noether
seja, e uma constante de movimento. Na mec^anica new- Vimos que a aus^encia explcita da depend^encia da la-
toniana, se temos um sistema de partculas n partculas, grangeana L em uma coordenada leva a independ^encia
a forca sobre a i-esima partcula na aus^encia de forcas desta frente a uma transformac~ao que altere o valor da
externas e dada por: variavel, nos dando a conservac~ao do momento genera-
,F! = X ,
F!; ,F! = ,r V; (6) lizado. Pictoriamente, podemos visualisar o Teorema
i ik i i
i6=k de Noether como uma especie de maquina, onde entra-
Se estas forcas obedecem a terceira Lei de Newton, mos com a transformac~ao de simetria na variavel qk e
,
F! ,! tiramos a grandeza conservada G:
ik = ,Fki , obtemos as leis de conserva
c~ao usuais para
um sistema de partculas:
dE = 0; E = X (T + V ) ; (7)
dt i
i i

d,!
P = 0; ,! X!
P = ,
p; (8)
dt i
i
Revista Brasileira de Ensino de Fsica, vol. 21, no. 1, Marco, 1999 35

Figura 1. Estrutura pictoria do Teorema (maquina) de No- Para uma rotac~ao innitesimal de um ^angulo  em
ether. torno do eixo z de um sistema de coordenadas cartesi-
anas, as novas coordenadas s~ao conectadas as antigas
Para uma lagrangeana do tipo (11), o teorema de pelas seguintes transformac~oes
Noether e dado pela express~ao
   xe = x + y
; ye = y , x
; ze = z
d @L q_ , L t + @L q = 0
dt @ q_k k @ q_k k (15) ex_ = x_ + y_
; ey_ = y_ , x_
; ez_ = z_ (20)
A demonstrac~ao deste, assim como as condic~oes ne- onde implicitamente e assumido que et = t: Levando as
cessarias para a sua deduc~ao est~ao no ap^endice deste express~oes acima na express~ao do teorema de Noether
texto. Sugiro sua leitura para a melhor compreens~ao resulta que
n~ao so da conex~ao que queremos explorar, assim como  @L @L 
da extens~ao que se faz a este teorema de modo a se levar x @ y_ , y @ x_ = [xpx , ypy ] = const: (21)
em conta a variac~ao das lagrangeanas frente a trans-
formac~oes de calibre. A express~ao (21) nos da a conservac~ao usual da com-
ponente z do momento angular. Aqui encerramos os
A. Translac~ao temporal exemplos, porem estes n~ao se esgotam nestes poucos
aqui apresentados. Vale a pena tambem ressaltar que
Uma translac~ao temporal e denida como
et = t , t ; qk = 0
0 (16)
Levando estas transformac~oes para o teorema (15) te-
remos
 
d @L q_ , L = 0 ! E = @L q_ , L = const:;
dt @ q_k k @ q_k k
(17)
onde a constante E resulta ser a energia total do sis-
tema. Veremos no ap^endice uma extens~ao do teorema
de Noether que permitira obter a conservac~ao da ener-
gia e de outra quantidades n~ao previstas pela forma
padr~ao do teorema.
B. Translac~ao espacial
A mais simples transformac~ao de simetria neste caso
e a translac~ao da origem de um sistema cartesiano ao
longo de apenas uma das tr^es direc~oes que o forma.
Escolhendo o eixo x no qual a translac~ao e feita:
et = t; xe = x , x ; ye = y; ze = z
0 (18)
Levando estas transformac~oes em (15) teremos
d  @L  x = 0 ! @L = p = const:;
dt @ x_ @ x_ x (19)
que e a express~ao usual para a conservac~ao do momento
linear ao longo da direc~ao em que e feita a translaca~o.
C. Rotac~ao em torno de um eixo
ha uma formulac~ao analoga do Teorema de Noether
para campos, onde ele se mostra ainda mais poderoso.
Uma boa discuss~ao desta extens~ao podemos encontrar
num artigo devido a Hill[3] .
V Leis de conservac~ao para la-
grangeanas que apresentam
variac~ao de calibre
A. Introduc~ao
Nesta sec~ao quero apresentar uma extens~ao natu-
ral da anterior. Quando um sistema fsico apresenta
alguma propriedade de simetria, ele e descrito por
equac~oes de movimento invariantes sob o grupo cor-
respondente de transformaco~es. A lagrangeana que o
descreve porem n~ao deve necessariamente o ser. Na
demonstrac~ao do Teorema de Noether, detalhada no
ap^endice, uma das hipoteses levada em conta foi que a
lagrangeana deveria ter a mesma forma funcional apos
as transformac~oes de simetria, ou seja:
 
L = L (q; q;_ t) , Le qe; eq;_ et = 0
(22)
Com isto, exclui-se uma classe de sistemas cujas lagran-
geanas s~ao ditas variantes de calibre[4] . Dizemos que
uma lagrangeana sofre uma variac~ao de calibre se ao
realizarmos sobre a mesma uma transformac~ao de sime-
tria, ela variar apenas de uma derivada total no tempo
36 Adriano de Souza Martins

de uma funca~o  (qk ; t). Da mec^anica classica, sabemos o valor da ac~ao de L sera
0

que duas lagrangeanas que diferem apenas por uma de- h    i

rivada total no tempo s~ao equivalentes. Como exem- S = S +  q(2) ; t2 ,  q(1) ; t1 ;
0
(30)
plo, vejamos o caso do campo eletromagnetico. Uma
partcula de massa m e carga eletrica e num campo cuja variac~ao S tambem sera nula.
0

eletrico ,!
E e magnetico ,!B e descrita pela lagrangeana Para um sistema com N graus de liberdade sua la-
grangeana L que dependera das N coordenadas genera-
L = 12 mq_2 + e,! q_
,!
A , eV; (23) lizadas qk , k = 1:::N, de suas velocidades generalizadas
q_k e possivelmente do tempo. Vamos impor agora uma
onde ,!
A e V s~ao, respectivamente, o potencial vetor e transformac~ao de coordenadas do tipo
o escalar dos campos, tais que
0 ,! 1 qk = "fk (qk ; q_k ; t); (31)
,!
E = , @ @ A A , rV (24)
@t cujo efeito maximoe fazer a lagrangeana variar por uma
derivada total no tempo de uma funca~o  que depende
e apenas das coordenadas qk e de t:
,!
B = r  ,!
A (25)
Sabemos da teoria eletromagnetica que estes potenciais L = " dtd  (qk ; t) (32)
n~ao s~ao unicamente denidos, pois para transformac~oes Em termo das transformac~oes (46) a variac~ao L da
de calibre (gauge) do tipo lagrangeana (omitindo o subscrito k) sera
,!
A ! ,!
A + r  @L   @L 
L = @q q + @ q_  q;_ (33)
V ! V , @
@t ; (26)
os campos, que contem a fsica do problema, n~ao se onde L foi assumida ser independente do tempo.
alteram. Apos esta transformac~ao, a lagrangeana se Usando as equac~oes de Lagrange, podemos reescrever
transformara da seguinte forma: (48) como:
d  @L   @L  d
L ! L + 2e ddt ; (27) L = dt @ q_ q + @ q_ dt (q) ;
e como sabemos, o sistema fsico e o mesmo, ou seja, as e assim  @L  
duas lagrangeanas s~ao equivalentes. L = " dtd@ q_ f (34)
B. Teorema de Noether Generalizado Comparando com a hipotese (37) da variac~ao de gauge
A raz~ao fsica da equival^ecia de lagrangeanas que da lagrangeana nos obtemos a lei de conservac~ao
diferem por derivadas totais no tempo de func~oes do dF = 0
tipo  (qk ; t) vem do princpio de mnima ac~ao de Ha- dt (35)
milton. Seja uma lagrangeana L (q; q;_ t), num intervalo
de tempo t = t1 a t = t2 o sistema move-se de tal forma para a quantidade F , que sera dada por
que a integral de ac~ao X  @L 
F @ q_ fk ,  (qk ; t) (36)
Zt 2 k
S= L (q; q;_ t)dt (28)
t1 O resultado (41) difere do resultado obtido anterior-
assuma o menor valor possvel, ou seja, S = 0. As- mente pela adic~ao do termo . Vamos a seguir ilustrar
sim, se duas lagrangeanas diferem entre si apenas pela a import^ancia deste termo para o caso de uma partcula
derivada total de uma func~ao  (qk ; t) carregada num campo eletromagnetico.
 
L qe; eq;_ et = L (q; q;_ t) + dtd  (qk ; t)
0
(29) 1. Conservac~ao da energia
Revista Brasileira de Ensino de Fsica, vol. 21, no. 1, Marco, 1999 37

Se a lagrangeana L n~ao depende explicitamente do basicas na fsica, que s~ao as de simetria e de conservac~ao
tempo t, de grandezas fsicas, s~ao conectadas. Apesar de ter
@L = 0 (37) passado ao largo do aspecto historico, julgo tambem
@t importante enfatizar como estes conceitos foram sur-
ent~ao, sua variac~ao sob uma translaca~o temporal in-
gindo com o tempo, que pode ser visto das diferentes
nitesimal t   formas com que os formalismos Newtoniano e Lagran-
L = dLdt t (38)
geano abordam o problema.
somente vira atraves da variac~ao das coordenadas Do ponto de vista didatico, julgo importante a abor-
dagem deste Teorema em cursos de graduaca~o, de forma
qk = q_k t (39) a dar uma vis~ao de conjunto das leis de conservaca~o em
Se fazemos a identicac~ao fk = q_k e  = L, obtemos fsica, tratadas muitas vezes de forma fragmentaria nes-
de ( ) a lei de conservac~ao correspondente tes cursos, como se cada lei de conservaca~o n~ao guarda
relac~oes entre si. Para quem se interessa, sugiro a lei-
X  @L  tura da extens~ao deste teorema para o formalismo de
F=
k
@ q_ q_k , L = energia (40)
campos, no livro do Goldstein.

2. Movimento num campo eletro- Ap^endice: Demonstrac~ao do Teorema de

magnetico Noether
Vimos que a lagrangeana de uma partcula carre- Simetria sobre transformac~oes de coordenadas toca
gada num campo eletromagnetico e ao efeito de transformac~oes innitesimais do tipo:
L = 12 mq_2 + e,!q_
,!
A , eV (41) t ! et = t + t (45)
Vamos considerar um campo eletrico E uniforme e cons- ,

qk (t) ! qek te = qk (t) + qk ; (46)
tante. Este campo e invariante sob translac~oes espaciais
e temporais. Escolhendo o potencial escalar da forma onde t e qk podem ser funco~es arbitrarias das coor-
V = ,,! E
,!
q , que e temporalmente invariante. A la- denadas generalizadas. Ja as velocidades generalizadas
grangeana associada ter~ao a seguinte transformac~ao:
,

q_k (t) ! eq_k et = q_k (t) +  q_k :
L1 = 12 mq_ 2 + e,!
E
,!
q (42) (47)
n~ao e invariante sob translac~oes espaciais qk = a ja Sob transformac~oes do tipo (45), (46) e (47), a lagran-
que  ,!  geana se transformara da seguinte maneira:
,
! d
L1 = e E
 a = dt e E t
 ,!
,! a (43)  ,
,

L (qk (t) ; q_k (t) ; t) ! L qek et ; eq_k et ; et (48)
e de acordo com o teorma de Noether generalizado a
express~ao acima implica a conservac~ao de A partir deste ponto, omitirei o subscrito k por sim-
plicidade, cando subtendido que ele subscreve cada co-
q_ , e,!
F  m,! E t = const; (44) ordenada generalizada. Tr^es condic~oes s~ao assumidas a
valer:
mostrando a natureza uniformemente acelerada do mo-
vimento. 1. Estaremos considerando um espaco-tempo eucli-
diano;
VI Conclus~oes 2. A lagrangeana L tem a mesma forma funcional
Pretendo ser breve nas conclus~oes deste trabalho, visto tanto em termo das quantidades transformadas
que ele ja representa um corpo bem denido de ideias. quanto das quantidades originais, isto e, vale a
Expomos de uma maneira sistematica como duas ideias express~ao (48).
38 Adriano de Souza Martins

3. A magnitude da integral de ac~ao e invariante sob das coordenadas ignoraveis. Se a lagrangeana n~ao
a transformac~ao muda sob transformac~oes nessas coordenadas n~ao
Z et Zt ha motivo que ela possa assim alterar o valor da
Ie = Ledet = Ldt: (49) integral de ac~ao I.
et
0 t 0

Isto representa uma extens~ao das propriedades

c
Combinando (18) e (19)
Z et  ,
,
 Z t
Le qe et ; eq_k et ; et det , L (q (t) ; q_ (t) ; t) dt = 0: (50)
et 0 t 0

Na primeira integral et representa uma falsa variavel de integrac~ao, podendo ser rebatizada de t, mas o domnio de
integrac~ao n~ao se altera. Omitiremos tambem a partir daqui os t's das coordenadas, assim
Z et   Z t
Le qe; eq;_ et dt , L (q; q;_ t)dt = 0: (51)
et 0 t 0

Sob transformac~oes innitesimais do tipo (45) e (46), a diferenca entre as integrais em (51) sera
Zt +t Zt
[L + L] dt , Ldt (52)
Z t0 +t0
t Zt +t
t0
Zt 0 +t0
= Ldt + [L + L] dt , [L + L]dt
t0 t t0

Em 1a ordem os dois ultimos termos em (52) podem ser escritos como:

Zt +t Zt 0 +t0
Ldt , Ldt = tL (t) , t0 L (t0) (53)
t t0

Com isto, a equac~ao (52) torna-se:

Zt +t Zt Zt
[L + L] dt , Ldt = Ldt + Lt jtt0 (54)
t0 +t0 t0
Z  t0
t
d 
= L (t) + dt (tL (t)) dt
t0

d
Vale a pena relembrar que ca  
  L = L (~) , L () = dtd @@L
q_k qk (56)
L = L qe; eq;_ et , L (q; q;_ t)
Substituindo (56) na eq. (54)
e, em 1a ordem, podemos descrever esta diferenca acima Z t d  @L 
como qk + tL (t) dt = 0; (57)
@L q + @L  q_ ; t0 dt @ q_k
L (~) , L () = @q k
@ q_ k (55)
k k
que e uma forma de corrente conservada. As variac~oes
onde  representa uma variac~ao dos qk s e de suas deri- 0
 e e se relacionam da seguinte forma:
vadas num ponto xo do espaco, diferente da variaca~o
. Sendo assim, ela comuta com d=dt e a equac~ao (55) qk = qk + @q
@t t
k
(58)
Revista Brasileira de Ensino de Fsica, vol. 21, no. 1, Marco, 1999 39

Levando a express~ao acima para a equac~ao (57) Refer^encias

Z t d  @L  @L 
1. H.A. Buchdhal, L. J. Tassie, Austr. J. Phys. 17,
t0 dt @ q_k q_k , L t + @ q_k qk dt = 0 (59)
431 (1964).
2. P. Havas, Acta Physica Austriaca 38, 145 (1973).
Assim obtemos o resultado esperado
3. E. L. Hill, Reviews of Modern Physics, vol. 23, n
d  @L  
@L q = 0 3.
q
_ k , L t + (60)
dt @ q_k @ q_k k 4. L. Leblond, J. Marc, American Journal of Phy-
sics, vol. 23, n 3.
A equaca~o (59) e a forma nal do teorema de Noether, 5. E. Noether, Nachr. Akad. Wiss. Gottingen,
que relaciona as transformac~oes de simetria na lagran- Math.-Phys. K1. (1918), 235.
geana com suas equivalentes quantidades fsicas conser-
vadas. Deve car claro que o teorema na forma apresen- 6. J. R. Schutz, Nachr. Akad. Wiss. Gottingen,
tada acima sup~oe que as tr^es condico~es vistas no incio Math.-Phys. K1. (1897), 110.
da demonstrac~ao sejam validas.