UNIVERSIDADE FEDERAL DO ESPRITO SANTO

DEPARTAMENTO DE CINCIAS NATURAIS

GRADUAO EM LICENCIATURA EM FSICA

Christofher do Vale Pena

A lgebra de Lie do problema de Kepler e o

espectro de energia do tomo de Hidrognio

So Mateus
2015

CHRISTOFHER DO VALE PENA

A LGEBRA DE LIE DO PROBLEMA DE

KEPLER E O ESPECTRO DE ENERGIA DO
TOMO DE HIDROGNIO

Apresentao de Trabalho de Concluso de

Curso ao Programa de Graduao em Licenciatura em Fsica da Universidade Federal
do Esprito Santo - CEUNES.

So Mateus
2015

CHRISTOFHER DO VALE PENA

A LGEBRA DE LIE DO PROBLEMA DE

KEPLER E O ESPECTRO DE ENERGIA DO
TOMO DE HIDROGNIO
Apresentao de Trabalho de Concluso de Curso ao Programa de Graduao em Licenciatura em Fsica da Universidade Federal do Esprito Santo - CEUNES.

Aprovadao em xx de Junho de 2015

Comisso Examinadora

Prof. Dr.Gabriel Luchini

Orientador

Prof. Dr.Flvio Gimenes Alvarenga

Membro interno

Prof. Dr. Clisthenis Ponce Constantinidis

Membro interno

Sumrio
1 Introduo

2 Histrico

2.1

O problema de Kepler

. . . . . . . . . . . . . . . . . . . . . . . . . . . .

2.2

Breve discusso sobre o princpio de Hamilton . . . . . . . . . . . . . . .

3 O Problema de fora Central

3.1

Formulao Lagrangiana do problema de Kepler . . . . . . . . . . . . . .

3.1.1

Reduo dos graus de liberdade usando simetrias

. . . . . . . . .

10

3.2

Estrutura cannica do problema de fora central . . . . . . . . . . . . . .

17

3.3

Simetria escondida no problema de Kepler . . . . . . . . . . . . . . . . .

21

4 Aplicao Quntica

30

4.1

tomo de Hidrognio . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

30

4.2

Quantizao cannica . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

30

5 Concluso

35

A Matrizes de rotao

37

A.0.1

Rotaao no plano yz . . . . . . . . . . . . . . . . . . . . . . . . .

37

A.0.2

Rota no plano xz . . . . . . . . . . . . . . . . . . . . . . . . . .

41

A.0.3

Rotao no plano xy . . . . . . . . . . . . . . . . . . . . . . . . .

45

B 1 Lei de Kepler

50

C Epsilon de Levi-Civita

56

D Propriedades parenteses Poisson

58

E Comutadores

60

F Norma do vetor Laplace-Runge-Lenz

62

G Norma do vetor LRL Quntico

64

H Comutao do vetor LRL

67

I lgebra do momento Angular

70

Referncias

74

Lista de Figuras
1

A partcula leva mais tempo para ir de b at c do que de a at b. . . . . .

Representao Geometrica do vetor LRL . . . . . . . . . . . . . . . . . .

23

DoisCorpos

50

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

Captulo 1
Introduo
A ideia de que a matria deveria ser composta de pequenos elementos fundamentais
muito antiga, tendo relatos em 400 a.C. por Demcrito de Abdera (460 a.C. - 370
a.C). Apesar de hoje nos parecer absolutamente natural, at pouqussimo tempo atrs,
tomando como referncia a histria recente da humanidade, o conceito de tomo era
negado veementemente pela maioria da comunidade cientca.
A revoluo industrial trouxe consigo o uso do vapor em escalas diversas e com isso a
necessidade da compreenso da termodinmica. O conceito de tomo incorporado ao
estudo de sistemas de muitas partculas prev de maneira excepcionalmente satisfatria
o comportamento dos gases. A prova denitiva da existncia dessas componentes bsicas
da matria foi dada por Einstein em seu trabalho de 1905 sobre o movimento Browniano,
do qual, infelizmente, Boltzman no tomou conhecimento. Isso por que Boltzman foi
sem dvidas o grande defensor da hiptese atmica e dentre os seus grandes conitos
mentais que o levaram ao suicdio em 1906, estava a no aceitao de suas ideias sobre
o tomo pela comunidade.
Coube a uma nova gerao de fsicos em Manchester, liderados por Ernst Rutherford e
Niels Bohr, a grande revoluo na maneira de se pensar a fsica: as leis que governam
o mundo atmico foram feitas de modo que fossem compatveis com as observaes
experimentais, e no ao contrrio, como era comum at ento.

Captulo 1. Introduo

A fsica atmica no incio do sculo passado era sem dvidas o terreno frtil para as novas
ideias e era aonde todas as novas teorias sobre a Natureza eram testadas, uma vez que
as observaes experimentais dos espectros de emisso eram muito bem determinadas.
Em particular, o espectro de energia do tomo de Hidrognio

En

13.6
n2

eV

(1.1)

previsto pelo modelo quntico mais simples, o chamado modelo de Bohr. Esse modelo
incorpora ideias clssicas (o movimento do eltron governado pelas leis de Newton)
juntamente com a hiptese sobre a quantizao do momento angular em mltiplos da
constante de Planck (h 6.62 1034 J s).
De maneira mais precisa - e, digamos, puramente quntica1 - esse espectro de energia
pode ser obtido resolvendo-se a equao de Schrdinger para o potencial eletrosttico
entre o eltron e o prton. Esse mtodo de quantizao, no entando, no nico. Uma
outra maneira de se obter a descrio do tomo de Hidrognio atravs da chamada quantizao cannica. A quantidade fundamental nessa receita de quantizao o chamado
operador hamiltoniano, obtido a partir da funo hamiltoniana do problema clssico.
Nesse sentido, o problema do tomo de Hidrognio a verso quntica do conhecido
problema de Kepler.
Obviamente no se espera que uma soluo quntica tenha qualquer semelhana com
uma soluo clssica de um problema anlogo. Entretanto, em alguns aspectos, o conhecimento de certas propriedades do problema de Kepler ajuda a entender o tomo de
Hidrognio, em especial no que se refere s simetrias desse sistema.
A linguagem natural para se tratar de simetrias em fsica a teoria de grupos e lgebras
de Lie. Esse assunto se tornou parte do cotidiano dos fsicos em meados da dcada de 70,
em especial com os trabalhos de Gell-Mann sobre interaes fortes. Nesta monograa no
pretendemos abordar nenhum detalhe formal dessa poderosa ferramenta matemtica, e
por isso abandonamos totalmente muita da nomenclatura a ela relacionada.

O que

vamos discutir como as quantidades conservadas do problema de Kepler obedecem

uma estrutura algbrica que pode de maneira bastante direta ser promovida ao status de
1O

tratamento dado por Bohr referido como semi-clssico

Captulo 1. Introduo

relaes de comutao entre operadores qunticos, contextualizados no estudo do tomo

de Hidrognio. Essas relaes devero levar diretamente ao espectro de energia (1.1).
O objetivo desse trabalho uma reviso da formulao lagrangiana do problema de Kepler com nfase no uso do teorema de Noether para o clculo das simetrias de espao e
tempo da interao envolvida. Iremos introduzir de maneira auto-consistente as ferramentas matemticas necessrias para essa discusso: o princpio de ao estacionria, o
colchete de Poisson, a funo hamiltoniana, etc. Como o trabalho tem um objetivo estritamente pedaggico, muitos clculos so deixados explcitos no texto e algumas relaes
e discusses que vo um pouco alm do tpico central nos apndices. Alm disso, vamos
nos ater aplicao de todas essas ferramentas exclusivamente para o problema tratado,
de modo que muitos conceitos, ainda que mais gerais, sero introduzidos em casos bem
particulares.

Captulo 2
Histrico
2.1

O problema de Kepler

A muito tempo o homem vem observando o cu a procura de respostas, auto-conhecimento

e formas de entender o Mundo em constante mutao. Dentre as grandes descobertas
feitas na antiguidade sobre o que pode ser observado no cu, talvez a grande impulsionadora de todo o desenvolvimento cientco subsequente foi o reconhecimento de que
certos corpos (denominados planetas) possuiam um movimento regular. Naturalmente,
a existncia de algum padro levanta inmeras questes que para serem respondidas
requerem algum modelo.
Um dos modelos antigos era o chamado geocntrico, que supunha que outros planetas,
descobertos at a poca, e o Sol, orbitavam em torno da Terra, um centro imvel. No seculo XVI, Nicolau Corpnico (1473-1543), aprensentou as primeiras ideias de um sistema
heliocntrico, em que o Sol passava a ser o centro em torno do qual a Terra, bem como
os demais planetas, orbitavam. Um sculo mais tarde, Johannes Kepler (1571-1630)
produziu e usou dados existentes do movimento de corpos celestes para estabelecer as
leis matemticas seguidas por esses corpos em sua jornada ao redor do Sol:

Captulo 2. Histrico

1 - Lei das orbitas - Cada planeta se move em uma elipse com o Sol em
um de seus focos.
2 - Lei das Areas - A razo entre a area varrida por um planeta em um
intervalo de tempo constante.
3 - Lei dos Periodos - A razo entre os quadrados dos periodos pelo
cubo da distancia media at o Sol constante para todos os planetas.

Kepler descobriu empiricamente as leis de movimento de corpos celestes em torno do Sol.

Explicar o por qu dessas leis foi a tarefa deixada pelo destino para Isaac Newton, um
sculo frente. Assim, o chamado problema de Kepler, refere-se descrio da dinmica
de dois corpos que interagem entre si por meio de uma foro central que varia com o
inverso do quadrado da distncia.
Essencialmente, a soluo do problema de Kepler se d por meio da integrao da equao
diferencial

k
d2r
=

r,
dt2
r2

(2.1)

o que pode, em princpio, ser feito.

Entretanto, pode-se aprender muito mais sobre a Natureza se reformularmos o problema
em termos do formalismo hamiltoniano, uma vez que este permite de maneira natural a
introduo das ideias de simetria, essenciais no entendimento da dinmica de corpos sob
ao de foras centrais.

2.2

Breve discusso sobre o princpio de Hamilton

A natureza, como uma boa dona de casa, no costuma jogar nada fora.
Aristteles.
A natureza no faz nada em vo: e o mais vo se o menos basta, pois a
Natureza ama a simplicidade e no se embaraa com causas supruas.
Newton.
Se acontece uma mudana na Natureza, a quantidade de ao necessria
para a realizar deve ser a menor possvel. Maupertuis

Captulo 2. Histrico

Em certo sentido, as citaes acima trazem a evoluo da ideia por trs do chamado princpio de Hamilton ou princpio da ao estacionria(CITAR FEYNMAN LECTURES)
que vamos discutir brevemente no que segue.
Consideremos uma partcula sob ao de um potencial (e portanto, de uma foa conservativa), se movendo de um ponto a at um ponto b, em um intervalo de tempo t2 t1 .
As equaes dinmicas so obtidas a partir do princpio da ao estacionria. Denimos
o funcional ao como a integral

t2

S=

(K V ) dt,

(2.2)

t1

aonde K a energia cintica da partcula e V a sua energia potencial. Observe ento

que a ao depende da posio, velocidade e eventualmente tempo, de maneira implcita,
atravs das funes energia. A quantidade que mede o balano entre energia cintica e
potencial chamada lagrangiana: L(qi , qi ) = K V
O princpio ao qual nos referimos dita que se
q (t) a trajetria real, soluo do sistema,

q (t) q(t)+q, em cada ponto

ento a ao estacionria, i.e., se fazemos uma variao
da trajetria que une os estados inicial e nal do sistema, e portanto
q (t1 ) = q(t2 ) = 0,
temos que S = 0.
Vamos aqui dar uma explicao bastante intuitiva para o princpio de Hamilton. Consideremos uma partcula movendo-se em uma dimenso, digamos, para cima e para baixo,
sob ao do campo de gravitao, como representado na gura 1.

Figura 1: A partcula leva mais tempo para ir de b at c do que de a at b.

Captulo 2. Histrico

a equao de Newton x
= g nos diz que a trajetria a parbola com concavidade para
baixo vista em 1. Sabemos que nesse sistema a energia se conserva, e portanto ao longo
da trajetria da partcula a energia pode se distribuir em energia cintica e potencial, e
o quanto em cada uma pode ir se alterando. No incio do movimento, prximo ao ponto

a, a energia cintica muito maior que a potencial, e portanto, podemos de maneira

bastante intuitiva dizer que nessa regio o sistema tem mais movimento. Com efeito,
note que leva muito pouco tempo, comparado ao tempo total de movimento entre a e c
para a partcula sair de a e chegar em b. A partir da regio prxima de b vemos que a
energia potencial domina, i.e., ca maior que a cintica, ou seja, novamente de maneira
intuitiva, temos muito menos movimento acontecendo. Notadamente, a partcula leva
um tempo bastante grande - a maior parte do tempo total de movimento - para ir de b at

c. O balano entre a necessidade de chegar logo no alto - mas no alto demais, pois se
no a partcula teria que subir e descer muitssimo rpido - para passar um tempo maior
l, aproveitando a menor energia cintica, produz a parbola, que a curva que melhor
combina isso tudo. Acontece que a parbola ento o caminho fsico verdadeiro e que
deixa a ao estacionria. De maneira geral, temos (supondo que no haja dependncia
explcita no tempo)

t2

S =
t

1t2
=
t1

t2

L(qi + qi , qi + qi ) dt
L(qi , qi ) dt
t1
)
)
(
t2 (
L
L
L d
L
qi +
qi dt =
qi +
qi dt,
qi
qi
qi
qi dt
t1

e fazendo uma integrao por partes no ltimo termo1

t2

S =
t

1t2
=
t1
1 d

dt

L
xi xi

)
=

d L
dt xi xi

L
qi +
qi
(
L
qi
qi

L d
xi dt xi

)
)
(
d L
d L
qi
qi dt
dt qi
dt qi
) t2
)
(
d L
d L
qi +
qi dt
dt qi
dt qi
t1

Captulo 2. Histrico

O segundo termo na expresso acima um termo de superfcie, i.e., a integral de uma

derivada total, e pode automaticamente ser escrito como a quantidade entre parnteses
calculada nos limites. Entretanto, uma vez que qi em t1 e t2 nulo, esse termo no
contribui. Assim, camos nalmente com

t2

S =
t1

L
d L
qi
qi
qi
dt qi

)
dt = 0.

(2.3)

Essa quantidade a variao da ao em primeira ordem devido a uma variao innitesimal a partir da soluo dinmica. Impondo que essa ao seja estacionria na soluo,
vem que

L
d L

=0
qi dt qi

(2.4)

deve ser satisfeita. Essa a chamada equao de Euler-Lagrange (ou equaes, uma
para cada coordenada).
Assim, uma vez que a ao est dada, as equaes dinmicas so denidas a partir da
equao acima. Claro, existe uma certa ambiguidade na construo da ao, que no
ser discutida aqui(CITAR GOLDSTEIN). A mensagem importante neste ponto que a
ao incorpora os princpios de simetria necessrios teoria e portanto, tem nela todas
as informaes relevantes do modelo.

Captulo 3
O Problema de fora Central
3.1

Formulao Lagrangiana do problema de Kepler

Como mencionado em 2.1 o problema de Kepler consiste na dinmica de dois corpos

massivos interagindo por uma fora que varia com o inverso do quadrado da distncia.
Tomemos ento duas partculas de massas m1 e m2 , respectivamente nas posies
r1 e

r2 . Sendo esse sistema isolado, de modo que no exista foras externas mas somente a
interao mtua entre as partculas, descrevemos a funo potencial como

1
V (r1 , r2 ),
2 a=b
2

U (r1 , r2 ) =

(3.1)

aonde os ndices a, b = 1, 2 indicam as partculas.

Alm disso a energia cintica do sistema dada por

1
ma |ra |2 ,
2 a=1
2

K=

de modo que a lagrangiana ca1

1 Aonde

|ra |2 = ij x ia x ja

(3.2)

Captulo 3. O Problema de fora Central

10

2
)
1 (
2

L=
ma |ra | V (r1 , r2 ) .
2 a=1

(3.3)

Da lagrangiana acima vemos que nosso sistema possui, ao todo, seis graus de liberdade
no espao das coordenadas. Entretanto, o potencial do problema de Kepler bastante
particular e como veremos, as simetrias presentes nessa interao permitem que o nmero
de graus de liberdade do problema seja reduzido o que simplica a sua soluo, alm de
permitir um melhor entendimento do problema fsico.

3.1.1

Reduo dos graus de liberdade usando simetrias

Colocando de maneira simples e prtica, uma transformao de simetria(CITAR WEYL)

sobre o sistema o deixa idntico ao que era originalmente. Existem dois tipos de simetria,
quando se trata de transformaes nas coordenadas: as simetrias discretas e as contnuas.
Uma simetria discreta , por exemplo, uma reexo em torno de um eixo. Uma simetria
contnua, por outro pode ser parametrizada por uma quantidade innitesimal, chamado
parmetro da transformao.
Para uma transformao innitesimal genrica das coordenadas, x a = xia + xia , a varii

ao da lagrangiana

L i
L i
i
i
x
+
x .
L = L(x a , x a ) L(xia , xia )
a
xia
x ia a

(3.4)

Essa variao, em princpio, produz uma variao da ao. Entretanto, exatamente

quando essa trasformao uma simetria do sistema (mdulo equaes de movimento,
i.e., quando elas so satisfeitas), a ao deve permanecer invariante, e portanto, S = 0.
O fato de a ao car invariante implica na existncia de quantidades que se conservam

Captulo 3. O Problema de fora Central

11

para exatamente garantir que o sistema no mude, i.e., para garantir a simetria:

L i
L
xa + i x ia
i
xa
x a
(
)
L i
d L i
d L i
=
xa +
xa
x
i
i
xa
dt x a
dt x ia a
)
)
)
(
(
(
d L
d L i
d L i
L
i

xa +
x = 0
x = 0.
=
xia dt x ia
dt xia a
dt xia a

L =

De maneira geral, chamamos essas quantidades que se conservam devido invarincia da

ao sob uma transformao contnua, cargas de Noether (usualmente denotadas por Q),
em homenagem Emmy Noether. Existe uma carga conservada para cada transformao
que de fato simetria da ao.
A interao entre as partculas no problema de Kepler depende da posio dessas partculas no espao. Mais precisamente, depende exclusivamente da distncia entre elas, e
no da posio de cada partcula individualmente. Isso indica que ainda que o sistema de
coordenadas seja transladado espacialmente, a interao permanece a mesma, uma vez
que cada partcula sofrer a mesma translao, mantendo a distncia relativa invariante.
Suponha ento, em particular, uma translao innitesimal

xia = i

(3.5)

aonde uma constante muito pequena comparada com as dimenses de xia . Ento,
nesse caso, temos L =

L i
.
xia

Ora, de acordo com a argumentao acima, o potencial

deve ter a forma V (

r1 , r2 ) = V (|r1 r2 |) V (r). Ento, como

r1

r
=
, temos que
r2

L = 0, ou seja, de fato o sistema invariante sobre translaes espaciais e para cada

translao existe ento uma carga de Noether associada:

Qi =

L
i .
i

a
a

Captulo 3. O Problema de fora Central

12

Claro, sendo constante (o parmetro innitesimal), o que realmente se conserva

Pi =

L
x ia
a

e, da lagrangiana, essa quantidade explicitamente

P = m1r1 + m2r2 .

(3.6)

que claramente se refere ao momento linear total do sistema. Daqui ca claro que o
momento linear total se conserva uma vez que no existem foras externas, i.e., uma vez
que o sistema isolado.
As condies iniciais do sistema xam o valor do momento linear, i.e., o valor de cada

. Tomaremos essas condies de modo que P = 0. O sistema de

componente do vetor P
coordenadas aonde o momento linear total permanece nulo chamado de referencial do
centro de massa. Dessa denio e com
r = r1 r2 a lagrangiana se reescreve como

1
L = |r |2 V (|r|)
2
aonde =

m1 m2
m1 +m2

(3.7)

chamada massa reduzida. Observe que agora o problema torna-se

o problema de uma s partcula de massa , cuja posio dada por

r, sob ao do
potencial V (r). Uma vez resolvido este problema, basta usarmos as dinies dadas
acima para retornarmos s coordenadas individuais
ra para cada partcula. O fato de
termos reduzido o problema para uma s partcula no assim to surpreendente: uma
vez que a nica interao entre elas a interao mtua, o movimento de uma ca
completamente determinado pela outra.
O potencial de interao no problema de Kepler ainda tem mais uma simetria explcita:
ele no depende da direo dessa partcula com relao ao centro de fora. Isso signica
que todas as direes so equivalentes e portanto o sistema deve ser invariante quando
fazemos uma rotao no sistema de coordenadas.
Com efeito, vamos agora vericar que a Lagrangiana invariante sob rotaes. Consideramos uma transforo linear R, r = R
r, independente do tempo. Na lagrangiana,

Captulo 3. O Problema de fora Central

13

os termos que aparecem relacionados ao vetor posio, aparecem na verdade em termos

da sua norma. Portanto, o que devemos fazer vericar como essa transformao haje
sobre a norma de
r:
T
|r |2 = r r = (Rr)T (Rr) = rT RT Rr.

Para garantir que essa transformao seja simetria da ao, a norma de

r (e portanto,
a energia cintica e potencial) no deve mudar. Isso implica que RT R = I33 , onde

I a matriz identidade de ordem 3. Uma matriz que satisfaz essa relao chamada
ortogonal. Matrizes ortogonais produzem a rotao de um vetor, e portanto, giram
o sistema de coordenadas (ou, de forma ativa, giram a prpria posio da partcula)
mantendo a distncia at a origem invariante (por denio).
Qualquer matriz de rotao pode ser escrita em termos de trs matrizes que representam
rotaes independentes que deixam um dos planos em R3 invariantes(APENDICE A)

1
0
0

R(1 ) = 0 cos 1 sen1

0 sen1 cos 1

R(2 ) =

(3.8)

cos 2
0

0 sen2
1

sen2 0 cos 2

(3.9)

cos 3 sen3 0

R(2 ) = sen3 cos 3 0 .

0
0
1

(3.10)

Consideremos agora uma rotao innitesimal, i.e., tomemos a a , de modo que

Captulo 3. O Problema de fora Central

14

podemos expandir as funes acima em uma srie de Taylor em torno de a = 0:

1 0 0
0 0 0

1 = 0 1 0 + 0 0 1 1

1 =0
0 0 1
0 1 0


dR 
R(1 ) = R(0) +

d1 


1 0 0
0 0 1

dR 

2 = 0 1 0 + 0 0 0 2
R(2 ) = R(0) +

d2 

2 =0
0 0 1
1 0 0


dR 
R(3 ) = R(0) +

d3 

1 0 0
0 1 0

3 = 0 1 0 + 0 0 0 3 .

3 =0
0 0 1
1 0 0

Em termos das componentes, podemos escrever todas essas transformaes como

(
)
xi = Rij xj Iij + a (Ja )ji xj = xi + a (Ja )ji xj

(3.11)

e portanto, a variao innitesimal da coordenada para uma rotao

xi = a (Ja )ji xj .

(3.12)

Uma vez que a ao invariante por transformaes de rotao, temos, para cada rotao
independente, uma carga de Noether:

L
xi = mx i a (Ja )ji xj
x i

(3.13)

Observando que as matrizes Ja podem ser escritas em termos do smbolo de Levi-Citit,

Captulo 3. O Problema de fora Central

15

(Ja )ji = aij , as quantidades conservadas so (usando pi = mx i )

Qa = aij pi xj

(3.14)

e reconhecemos ento que so as componentes do momento angular2 da partcula que

so conservadas: Li = Qi .
As condies iniciais xam as componentes do momento angular. Sendo este um vetor
perpendicular ao plano da rbita, a sua conservao implica que o movimento acontece no
plano, ou seja, o problema inicialmente envolvendo trs dimenses espaciais ca restrito
a somente duas delas.
Finalmente, existe ainda mais uma simetria evidente no problema de Kepler: o sistema
permanece o mesmo se zermos uma translao temporal. Ora, o resultado disso bastante claro e pode ser entendido com um exemplo simples. Consideremos um pndulo
que oscila com amplitude A. Suponha que tiramos uma foto desse pndulo em um determinado instante para fazer essa medio. Agora, imagine que tiramos a foto inicial em
um instante posterior, e vericamos que o pndulo tem a mesma amplitude. Isso signica
que a quantidade de energia nesse sistema no mudou e podemos escolher qualquer instante de tempo como tempo inicial que o resultado ser o mesmo. Naturalmente, se no
fosse esse o caso, em um tempo subsequente a amplitude do pndulo iria mudar (seria
menor se houvesse menos energia ou maior se houvesse mais). Em resumo: a invarincia
sob translaes temporais est relacionada com a conservao da energia mecnica do
sistema.
Uma translao temporal dada por

t = t .
Claramente a ao invariante sob uma tal transformao e portanto, essa uma simetria
e associada a ela deve haver uma carga de Noether.
2L

= r p.

A variao da coordenada da

Captulo 3. O Problema de fora Central

16

partcula, por conta da translao no tempo,

xi = xi (t) xi (t) = xi (t + ) xi (t)

xi (t ) + x i (t ) xi (t) x i (t)
e portanto

L
L
L
L
xi +
x i =
xi (t) +
xi (t)
xi
x i
xi
xi
(
)
L
dL
L
=
xi (t) +
xi (t) = .
xi
xi
dt

L =

Por outro lado, L =

d
dt

L
xi
xi

, logo

d
dt
ou seja,

d
dt

L
xi
xi

)
=

d
L,
dt

)
L
xi (t) L = 0.
xi

e a quantidade conservada

E=

L
1
1
xi L = mxi xi mxi xi + V (|r|) = m|r |2 + V (|r|)
xi
2
2

(3.15)

reconhecidamente a energia mecnica, de fato.

Concluimos ento que por conta das simetrias de espao e tempo da ao do problema de
Kepler, o nmero de graus de liberdade foi drasticamente reduzido uma vez que existem
cinco leis de conservao: energia (1), momento angular (3) e momento linear total (1
relao de vnculo entre as coordenadas de cada partcula). Ou seja, reduzimos nosso
sistema de duas partculas interagindo mutuamente em trs dimenses a um sistema
equivalente de uma s partcula em uma dimenso, sob ao de um potencial efetivo.

Captulo 3. O Problema de fora Central

3.2

17

Estrutura cannica do problema de fora central

As cargas de Noether encontradas na seo 3.1 esto relacionadas entre si atravs de uma
estrutura algbrica que vamos agora explorar em detalhes. Vamos trabalhar no chamado
espao de fase, aonde as funes dinmicas so denidas em termos das coordenadas q i (t)
e dos respectivos momentos conjugados

pi (t) =

L
.
qi

Sejam f e g duas funes no espao de fase, i.e., funes das coordenadas e momentos.
Dene-se o colchete de Poisson entre elas como um mapeamento bilinear, antisimtrico
e que satisfaz a regra de Leibnitz:

f g
f g

xi pi pi xi
{f, g} = {g, f }
{f, g} =

{f, gh} = g{f, h} + {f, g}h.

(3.16)
(3.17)
(3.18)

Como consequncia dessas propriedades, temos a importante identidade de Jacobi(CITAR

NIVALDO):

{f, {g, h}} + {g, {h, f }} + {h, {f, g}} = 0.

Uma estrutura como essa, i.e., que satisfaz essas propriedades, chamada de lgebra de
Lie(CITAR AGOSTINHO).
Imediatamente podemos, usando a denio, calcular o colchete de Poisson entre coordenada e momento conjugado, chamadas variveis cannicas, e portanto, essa a chamada
relao cannica:

Captulo 3. O Problema de fora Central

{xj , pk } =

18

xj pk xj pk

= ji ki = jk
xi pi
pi xi

(3.19)

Uma vez que todas aquelas quantidades conservadas obtidas na seo 3.1 so funes
das variveis cannicas, podemos diretamente calcular, usando as propriedades denidas
acima, o colchete de Poisson entre elas. Com isso, vamos denir a lgebra de Lie das
cargas de Noether.
Vamos antes de mais nada, observar o resultado do colchete de Poisson entre, por exemplo, as componentes do vetor posio e cargas conservadas devido simetria de rotao e
de translao temporal. Isso nos permitir entender melhor o papel no s do momento
angular e da energia mas tambm do prprio colchete de Poisson.
Temos ento que

{xi , Lj } = {xi , jks pk xs } = jks ik xs = jis xs

(3.20)

e como xi = a aij xj , observamos que

xi = j {xi , Lj }.

(3.21)

Agora, vamos reescrever a energia em termos do momento linear, i.e., vamos usar a
relao pi = mx i para eliminar a velocidade em favor do momento. Ento, a funo

(
H=

L
xi L
xi

x=
x(p)

|p|2
+ V (|r|)
2m

chamada hamiltoniana. Assim,

{xi , H} = {xi ,
=

pj pj
pj pj
+ V |r|} = {xi ,
}
2m
2m

1
1
1
({xi , pj }pj + pj {xi , pj }) = ij pj = pi = x i .
2m
m
m

Captulo 3. O Problema de fora Central

19

Uma vez que3 xi = t x i , podemos escrever

(3.22)

xi = t{xi , H}

Vemos nesses dois exemplos que existe claramente uma relao bem denida entra a
transformao innitesimal da coordenada generalizada qi (t) e a carga de Noether que
gera aquela transformao, que simetria do sistema:

qi = a {qi , Qa }.

(3.23)

Dizemos que o momento angular o gerador das transformaes innitesimais de rotao,

enquanto a funo hamiltoniana o gerador de translaes temporais innitesimais. Em
particular, a funo hamiltoniana desempenha um papel fundamental no que diz respeito
dinmica, uma vez que ela que d as equaes de movimento (conhecidas nesse
contexto como equaes de Hamilton) a partir da relao acima, para a coordenada e
momento conjugado:

dq i
= {q i , H}
dt

dpi
= {pi , H}.
dt

(3.24)

Isso no difcil de entender, se pensarmos que as condies iniciais so xadas no espao

de fase pelo valor de
q e p (um ponto). O Hamiltoniano translada essas quantidades no
tempo, de acordo com a interao l presente, e portanto d os prximos valores para
essas quantidades, e assim sucessivamente, denindo uma rbita nesse espao de fase,
que a evoluo dinmica do sistema fsico.
Agora, vamos ao clculo do colchete de Poisson entre as cargas de Noether. Para tanto,
vamos usar explicitamente as propriedades dos colchetes de Poisson de modo a reduzir
tudo s relaes cannicas:
3 Se

comparado com a expresso para a translao temporal, usamos

= t

Captulo 3. O Problema de fora Central

20

{Li , Lj } = {irs xr ps , jmn xm pn } = irs jmn {xr ps , xm pn }

= irs jmn (xr {ps , xm pn } + {xr , xm pn }ps ) = irs jmn (xr xm {ps , pn } + xr {ps , xm }pn +
+ xm {xr , pn }ps + {xr , xm }ps pn ) = irs jmn (xr sm pn + xm rn ps ) =
= irm jmn xr pn + irs jmr xm ps = irm mjn xr pn + sir rjm xm ps =
= (ij rn in jr )xr pn + (sj im ij sm )xm ps = xn pn ij xj pi + xi pj xs ps ij =
= xi pj xj pi = ijk Lk
aonde usamos, no ltimo passo, ijk Lk = ijk krs xr ps = (ir js is jr )xr ps = xi pj xj pi .
Agora, claramente, da antisimetria dos colchetes de Poisson,

{H, H} = 0.

Finalmente, nos resta calcular o colchete de Poisson entre a funo hamiltoniana e as

componentes do momento angular:

}
{
{
}
1
1
pi pi + V (|r|) = irs
pi pi + V (|r|), xr ps =
{Li , H} = irs xr ps ,
2m
2m
{
}
1
= irs
pi pi , xr ps + irs {V (|r|), xr ps } .
2m
Resolvendo cada termo separadamente,

{
irs

1
pi pi , xr ps
2m

}
=

1
1
irs (pi {pi , xr ps } + {pi , xr ps }pi ) =
irs (pi xr {pi , ps } + pi {pi , xr }ps
2m
2m

+ xr {pi , ps }pi + {pi , xr }ps pi ) = 0;

Captulo 3. O Problema de fora Central

21

)
V (|r|) ps V (|r|) ps
irs {V (|r|), xr ps } = xr irs {V (|r|), ps } + irs {V (|r|), xr }ps = xr irs

xi pi
pi xi
(
)
V (|r|) xr V (|r|) xr
V (|r|)
V (|r|) r
+ irs

ps = xr irs
= xr irs
=
xi pi
pi xi
xi
r xi
V (|r|) xi
1 V (|r|)
= xr irs
= irs xr xi
= 0.
r r
r r

Portanto, {Li , H} = 0
Estabelecemos ento que a lgebra de Lie das cargas de Noether do problema de for
entral
dada pelas relaes

{Li , H} = 0

(3.25)

{Li , Lj } = ijk Lk

(3.26)

{H, H} = 0.

(3.27)

Observamos aqui que a primeira rela acima mostra que a funo hamiltoniana e as
componentes do momento angular no se misturam; alm disso, Li e H formam sublgebras: o colchete de Poisson entre as componentes do momento angular resulta em
uma componente do momento angular e o colchete de Poisson da funo hamiltoniana
com ela mesma d zero, o que indica que essa uma sub-lgebra abeliana.

3.3

Simetria escondida no problema de Kepler

Na seo 3.1 encontramos com certa facilidade as transformaes de simetria da ao e

usando o teorema de Noether calculamos as quantidades conservadas associadas a cada
uma delas. Nas consideraes que zemos sobre a interao entre as partculas massivas
assumimos um potencial com simetria esfrica mas no nos restringimos a nenhuma
dependncia funcional especca. Veremos agora que ao tomarmos V r 2 podemos

Captulo 3. O Problema de fora Central

22

encontrar ainda mais trs quantidades conservadas que so organizadas em um vetor

chamado vetor de Laplace-Runge-Lenz.
Para encontrarmos esse vetor, tomamos inicialmente uma combinao de momento angular com momento linear dada pelo produto vetorial entre essas duas quantidades:

p L
Essa quantidade certamente no conservada, entretando, vejamos que condies sobre
ela em certo sentido inibem a sua conservao. Para isso basta calcularmos a sua derivada
no tempo:

dp
dL
dp
d(p L)
=
L + p
=
L = F (r)
r (r p)
dt
dt
dt
dt

(3.28)

Aqui, usamos o fato de o momento angular ser conservado e tambm que a fora central.
Usando ainda a relao

F (r)
r (r p) = (
r p)r (
r r)p.

(3.29)

obtemos

d(p L)
= (F (r)
r p) r (F (r)
r r) p
dt
dr
dr
= m(F (r)
r )r m(F (r)
r r)
dt
dt
dr
dr
= mF (r)( r r ).
dt
dt

Agora temos que fazer algumas manipulaes. Observamos que

logo

d( rr )
1 dr 1 dr
= 2
+
,
dt
r dt r dt

(3.30)

d(p L)
2 d( r )
= mF (r)r
.
dt
dt

(3.31)

Captulo 3. O Problema de fora Central

23

Considerando que a fora dada por

F (r) =
obtemos

k
r2

d( rr )
d(p L)
= mk
.
dt
dt

(3.32)

(3.33)

Ou seja, o termo do lado direito que no permite a conservao da quantidade considerada. Por outro lado, nota-se que

d
mk r ) = 0
(p L
dt
r

(3.34)

= p L
mk r ,
A
r

(3.35)

e portanto

o chamado vetor de Laplace-Runge-Lenz conservado. Que pode ser visto sua representao geometrica abaixo.

Figura 2: Representao Geometrica do vetor LRL

Isso signica que a lgebra das cargas conservadas, no caso de uma for
a kepleriana
deve ser aumentada para se incluir tambm essas trs novas quantidades.
Um resultado importante das propriedades dos colchetes de Poisson a identidade de
Jacobi. Como vimos, uma translao temporal derada pela funo hamiltoniana, e
portanto, uma vez que uma quantidade constante no tempo, o seu colchete de Poisson
com H deve se anular. Ento, como Li e Ai so conservados no tempo, {Li , H} =

0 {Ai , H}.

Captulo 3. O Problema de fora Central

24

Agora, usando a identidade de Jacobi,

{Li , {Lj , H}} + {Lj , {H, Li }} + {H, {Li , Lj }} = 0

devemos ter que {H, {Li , Lj }} = 0. Ou seja, {Li , Lj } deve ser tambm uma quantidade
conservada, como de fato : {Li , Lj } = ijk Lk .
Analogamente, consideramos a identidade de Jacobi

{Ai {Lj , H}} + {Lj {H, Ai }} + {H{Ai , Lj }} = 0.

Logo {Ai , Lj } deve ser conservado e da mesma maneira, com uma terceira combinao na
identidade de Jacobi achamos que {Ai , Aj } tambm se conserva. Devemos ento agora
descobrir essas quantidades.
Temos

xi
, Lj },
r
xi
= imn {pm Ln , Lj } mk{ , Lj }
r

{Ai , Lj } = {imn pm Ln mk

= imn pm {Ln , Lj } + imn {pm , Lj }Ln mkxi {r, Lj }

= imn njk pm Lk + imn mjr pr Ln

mk
ijk xk ,
r

= (ij mk ik mj )pm Lk + (nj ir nr ij )pn Lr

mk
ijk xk ,
r
mkxk
= ijk (tuk pt Lu
),
r
= pi Lj pj Li

= ijk Ak .

Agora,

mk
{xi , Lj },
r

mk
ijk xk ,
r

Captulo 3. O Problema de fora Central

25

mkxi
mkxj
, jmn pm Ln
},
r
r
xj
xi
= {irs pr Ls , jmn pm Ln } mk{irs pr Ls , } + mk{jmn pm Ln , }.
r
r

{Ai , Aj } = {irs pr Ls

Resolvendo cada termo separadamente, comeando com o primeiro:

{irs pr Ls , jmn pm Ln } = irs jmn {pr Ls , pm Ln },

= irs jmn (pr {Ls , pm Ln } + {pr , pm Ln }Ls ),
= irs jmn (pr pm {Ls , Ln } + pr {Ls , pm }Ln + pm {pr , Ln }Ls +
+ {pr , pm }Ln Ls ),
= irs jmn sno pr pm Lo irs jmn mst pr Ln pt + irs jmn rnt pm Ls pt ,
= irs (jo ms js om )pr pm Lo irs (ns jt nt js )pr Ln pt +
+ irs (jt mr jr mt )pm Ls pt ,
= irs (pr ps Lj pr po Lo js ) irs (pr Ls pt pr Lt pt js )+
+ irs (pr Ls pj pm Ls pm jr ),
= irs pr po Lo js irs pr Ls pt + irs pr Lt pt js + irs pr Ls pj
irs pm Ls pm jr ,
= irj pr po Lo irs pr Ls pt + irj pr Lt pt irs pr Ls pj ijs pm Ls pm ,
= ijs pm Ls pm ,
= ijs p2 Ls .

Agora, para o segundo,

Captulo 3. O Problema de fora Central

{irs pr Ls ,

26

xj
xj
} = {irs pr Ls , },
r
r
1
1
1
Ls
= irs (pr xj {Ls , } + pr {Ls , xj } + xj {pr , }Ls + {pr , xj } ),
r
r
r
r
pr
1
Ls
= irs {Ls , xj } + irs xj {pr , }Ls + irs {pr , xj } ,
r
r
r
pr
xr
Ls
= irs jsu xu + irs xj 3 Ls irs rj
r
r
r

e o terceiro idntico:

{jmn pm Ln ,

pm
xm
Ln
xi
} = jmn inv xv jmn xi 3 Ln + jmn mi .
r
r
r
r

Finalmente, somando o segundo e terceiro termos,

pr
xr
pm
xm
jsu xu + irs xj 3 Ls irs rj + jmn inv xv jmn xi 3 Ln + jmn mi
r
r
r
r
pr x u
xj xr Ls
Ls
pm xv
xi xm Ln
Ln
= (iu jr ij ru )
+ irs
ijs
+ (jv mi ij mv )
jmn
+ jin
3
3
r
r
r
r
r
r
pj xi pr xr
xj xr Ls
Ls pi xj
pm x m
xi xm Ln
Ln
=
+
ij + irs
ijs +

ij jmn
+ jin
r
r
r3
r
r
r
r3
r
pj xi
xj xr Ls
Ls pi xj
xi xm Ln
Ln
=
+ irs
ijs
+
jmn
+ jin
r
r3
r
r
r3
r
1
Lk
1
= (pi xj pj xi ) + 2ijk
+ 3 (irs xj xr Ls jmn xi xm Ln )
r
r
r
1
Lk
+ 3 (irs xj xr Ls jmn xi xm Ln )
= 3ijk
r
r
1
Lk
+ 3 (xj xir p xj pi r2 xi xj r p + xi pj r2 )
= 3ijk
r
r
Lk 1
= 3ijk
+ (xj pi + xi pj )
r
r
Lk 1
= 3ijk
ijk Lk
r
r
Lk
= 2ijk ,
r
= irs

e temos ento

Captulo 3. O Problema de fora Central

{Ai , Aj } = ijk p2 Lk + 2ijk

27

Lk
= 2mHijk Lk .
r

Com isso podemos ter as relaes entre A,L e H.

{Li , Lj } = ijk Lk
{Li , H} = 0
{Li , Aj } = ijk Ak
{Ai , H} = 0
{Ai , Aj } = 2mHijk Lk

Vamos agora considerar um estado ligado, i.e., de energia E = |E|, de modo que
podemos reescalar o vetor de LRL como

Ai
.
Ai =
2m|E|

(3.36)

{Li , Lj } = ijk Lk

(3.37)

{Li , H} = 0

(3.38)

{Li , Aj } = ijk Ak

(3.39)

{Ai , H} = 0

(3.40)

{Ai , Aj } = ijk Lk

(3.41)

Da, temos ento a lgebra de Lie

{H, H} = 0

(3.42)

Observamos aqui que as componentes Li e Ai se misturam. Como veremos agora, podemos reescrever essas relaes em termos de novos vetores cujas componentes vivem em
sub-lgebras independentes e simples de serem tratadas quando zermos a quantizao
desse modelo.

Captulo 3. O Problema de fora Central

28

Denimos as novas quantidades

1
1
Mi = (Li + Ai ) e Ni = (Li Ai ),
2
2

(3.43)

i.e., combinaes lineares independentes do vetor de LRL e do momento angular.

Podemos ento calcular facilmente os colchetes de Poisson entre as componentes desses
novos vetores:

1
1
{Mi , Mj } = { (Li + Ai ), (Lj + Aj )}
2
2
1
1
1
1
= {Li , Lj } + {Li , Aj } + {Ai , Lj } + {Ai , Aj }
4
4
4
4
1
1
1
1
1
1
= ijk Lk + ijk Ak + ijk Ak + ijk Lk = ijk Lk + ijk Ak = ijk Mk
4
4
4
4
2
2

1
1
{Ni , Nj } = { (Li Ai ), (Lj Aj )}
2
2
1
1
1
1
= {Li , Lj } {Li , Aj } {Ai , Lj } + {Ai , Aj }
4
4
4
4
1
1
1
1
1
1
= ijk Lk ijk Ak ijk Ak + ijk Lk = ijk Lk ijk Ak = ijk Nk
4
4
4
4
2
2

1
1
{Mi , Nj } = { (Li + Ai ), (Lj Aj )}
2
2
1
1
1
1
= {Li , Lj } + {Li , Aj } {Ai , Lj } {Ai , Aj }
4
4
4
4
1
1
1
1
= ijk Lk + ijk Ak ijk Ak ijk Lk = 0.
4
4
4
4

Em resumo,

{Mi , Mj } = ijk Mk

(3.44)

{Ni , Nj } = ijk Nk

(3.45)

{Mi , Nj } = 0,

(3.46)

ou seja, temos duas sub-lgebras do mesmo tipo que a lgebra do momento angular,

Captulo 3. O Problema de fora Central

29

independentes.
Uma quantidade muito importante de cada uma dessas sub-lgebras acima a norma

|2 = Mi Mi e |N |2 = Ni Ni . Observe que essas

do vetor correspondente, ou seja, |M
quantidades comutam com qualquer elemento da lgebra, i.e., o colchete de Poisson
entre elas e qualquer Mi ou Ni se anula.

|2 = |N
|2 pois
Mais ainda, temos que |M
|2 |N
|2 = 1 |(Li + Ai )|2 1 |(Li Ai )|2
|M
4
4
2
2
1
2
2
A|
A|
)
= (Li |2 + Ai + 2L|
) (Li |2 + Ai 2L|
4

L
mk r L
A
=0
= p L
=L
r

(3.47)

|2 + |N
|2 , ento obtemos um resultado que pode
Alm disso, se considerarmos a soma |M
ser escrito de maneira muito simples, em termos da energia(CITAR APENDICE):

|2 + |N
|2 = 1 |(Li + Ai )|2 + 1 |(Li Ai )|2
|M
4
4
2
2
1
2
2
A|
A|
)
) + (Li |2 + Ai 2L|
= (Li |2 + Ai + 2L|
4
1 2 2
mk 2
= (L
+A )=
.
2
4|E|

(3.48)

Portanto, temos que os valores da energia do problema de Kepler cam inteiramente

|2 . Claro que classicamente no existe qualquer resdeterminados pelos valores de |M

trio para tais valores, e portanto, esse resultado no muito relevante, entretanto,
como veremos, a verso quntica dessa quantidade d exatamente os valores possveis
das energias do tomo de Hidrognio.

30

Captulo 4
Aplicao Quntica
4.1

tomo de Hidrognio

O modelo mais simples para se explicar o espectro de energia do tomo de Hidrognio

o chamado modelo de Bohr. Esse modelo chamado semi-clssico pois assume que a dinmica do eltron descrita pelas leis de Newton enquanto certas propriedades assumem
um comportamento quntico. Um tratamento totalmente baseado na mecnica quntica
, por exemplo, a resoluo da equao de Schrdinger com um potencial coulombiano. Entretanto, como veremos, o conhecimento da estrutura algbrica das quantidades
conservadas do hamiltoniano quntico permite o clculo do espectro de energia, sem a
necessidade de soluo de nenhuma equao dinmica.

4.2

Quantizao cannica

Existem maneiras distintas de se construir uma teoria quntica, e.g. integrais de trajetria, equao de Schdinger, etc. e a que vamos usar aqui a chamada quantizao
cannica. Esse mtodo de quantizao presupe a existncia de uma teoria clssica e o
que se faz generalizar as funes denidas no espao de fase para operadores denidos
em um espao vetorial chamado espao de Hilbert. Esses operadores vo eventualmente

Captulo 4. Aplicao Quntica

31

atuar nos estados qunticos (os vetores desse espao), mas isso no vai nos interessar
aqui, como car claro. Os operadores qunticos vo corresponder a observveis, isto ,
a quantidades fsicas que podemos medir, e portanto, anlogos s funes do espao de
fase, na teoria clssica. Alm da promoo das funes clssicas a operadores qunticos,
tambm a estrutura cannica clssica generalizada de modo que os colchetes de Poisson
so agora mapeados nas chamadas relaes de comutao.
Ento, temos que as variveis cannicas correspondem aos operadores posio e momento, e a relao cannica passa a ser a relao de comutao entre esses operadores:

xi xi

pi pi

{, }

1
[, ]
i~

[
xi , pj ] = i~ij .

Em particular, estamos aqui interessados nos operadores qunticos que correspondem

s cargas de Noether do problema de Kepler, i.e., a funo hamiltoniana, o momento
angular e o vetor de LRL.
O operador hamiltoniano facilmente construido, uma vez que sua dependncia nas
variveis cannicas simples:

2
= |p | + V (
H
r).
2m

(4.1)

O ponto fundamental na construo de um operador usando a receita da quantizao

cannica que o operador deve ser hermitiano, uma vez que os seus autovalores, que
correspondem aos observveis, devem ser reais. Nesse caso, claramente H = H .
O momento angular tambm obtido com facilidade,

i = ijk xj pk .
L

(4.2)

=L
i.
e tambm hermitiano, i.e., L
i
Agora, o vetor de LRL, por outro lado, no pode ser obtido to diretamente como zemos

Captulo 4. Aplicao Quntica

32

com o hamiltoniano e com o momento angular. Observe que1

= (p L
mk r ) = (p L)
(mk r ) = (ijk pj Lk ) (mk r ) = ijk Lk pj mk r
A
r
r
r
r
= A

A
(4.3)
e portanto, este operador no hermitiano.
Para corrigir esse problema, podemos denir o operador de LRL quntico como sendo

= 1 (p L
L
p) mk r
A
2
r

(4.4)

Quanticamente, a evoluo do operador dada pela sua comutao com o operador

hamiltoniano. Com efeito, para o operador denido acima temos(CITAR APENDICE)

[H, Ai ] = 0,

(4.5)

[H, Li ] = 0.

(4.6)

bem como para o momento angular,

Ento, usando as relaes cannicas qunticas podemos de maneira direta, porm cansativa (VER APENDICE), obter a lgebra do problema de Kepler quntico:

1 De

[Ai , Aj ] = 2i~mijk HLk

(4.7)

[Ai , Lj ] = i~ijk Ak

(4.8)

[Li , Lj ] = i~ijk Lk .

(4.9)

agora em diante, como no h razes para confuso, no vamos mais usar o chapu para opera-

dores qunticos.

Captulo 4. Aplicao Quntica

33

Veja que a estrutura idntica ao caso clssico. Assim, bem como zemos l, vamos
agora considerar um subespao com energia |E| e redenir o vetor de LRL como

Ai
Ai =
2m|E|
de modo que a lgebra agora dada por

[Ai , Aj ] = i~ijk Ak
[
]

Ai , Lj = i~ijk Ak
[Li , Lj ] = i~ijk Lk .

(4.10)
(4.11)
(4.12)

Agora, vamos separar essa lgebra em uma composio de duas sub-lgebras do tipo da
lgebra do momento angular. Para tanto, como zemos no caso clssico, vamos denir
os operadores

Mi =

)
1(
Li + Ai
2

Ni =

)
1(
Li Ai .
2

Um clculo direto (VER APENDICE) usando as relaes acima descritas nos permite
obter a lgebra dessas novas quantidades:

[Mi , Mj ] = i~ijk Mk

(4.13)

[Ni , Nj ] = i~ijk Nk

(4.14)

[Mi , Nj ] = 0

(4.15)

[Mi , H] = 0

(4.16)

[Ni , H] = 0.

(4.17)

|2 e |N
|2 .
Temos aqui duas funes que comutam com todos os geradores da lgebra: |M
Como mostrado no apncice (CITAR APENDICE), os autovalores desses operadores so
dados por j(j + 1)~2 e q(q + 1)~2 , respectivamente, com j, q = 0, 12 , 1, . . . .

Captulo 4. Aplicao Quntica

34

Agora, temos que (VER APENDICE)

|2 |N
|2 = Li Ai = 0
|M

(4.18)

|2 = |N
|2 , i.e., esses operadores possuem os mesmos autovalores. Assim,
e portanto |M
(

)
|2 + |N
|2 | = 2j(j + 1)~2 |.
|M

2 (VER APENPor outro lado, a soma desses operadores ca dada por uma funo de |L|
DICE) cujos autovalores so

~2 mk 2

.
2
4|E|

Assim, obtemos nalmente o espectro de energia:

Ej =

mk 2
,
2~2 (2j + 1)2

1
j = 0, , 1, . . .
2

(4.19)

35

Captulo 5
Concluso

36

Referncias Bibliogrcas
[1] L. A. Ferreira and G. Luchini, Integral form of Yang-Mills equations and its gauge
invariant conserved charges, Phys. Rev. D

86,

085039 (2012); [arXiv:1205.2088

[hep-th]].
[2] Y. M. Shnir, Magnetic Monopoles, Springer-Verlag (2005)

37

Apndice A
Matrizes de rotao
Nesse apndice faremos uma reviso formal sobre as matrizes de rotao, i.e., matrizes

R, de dimenso 3 3, ortogonais (RT R = I33 ) com determinante igual a unidade.

A.0.1

Rotaao no plano yz

Seja A a transformao linear no espao R3 denida como

A(x, y, z) = (x, y cos z sen, y sen + z cos ).

(A.1)

Seja u um vetor arbitrrio de R3 e seja uma base ordenada e arbitrria. Podemos

escrever u como combinao linear de , de acordo com o seguinte teorema.

Teorema:

Dada uma base = [r1 , r2 , ..., rn ] K , cada vetor de K escrito de maneria

nica como combinao linear de .

Denio:

Seja = [r1 , r2 , ..., rn ] uma base de K e u K , um vetor arbitrrio, onde

u = 1 u1 + 2 u2 + ... + n un . Chamaremos [1 , 2 , ..., n ] de coordenadas de u em relao

base e denotaremos

Apndice A. Matrizes de rotao

38

[u] =

1
2
..
.

n
Com essa denio, a transformao ca

[u] =
.
y




z

Denotaremos ainda [u] = X .

Do mesmo modo que possivel escrever um vetor em forma matricial tambem possivel
escrever uma transformao em forma matricial, pois toda matriz m n est associada
a uma transformao linear T : Rm Rn .

Denio:

Seja T : K K e = [u1 , u2 , ..., un ] base de K e = [w1 , w2 , ..., wn ] base

de K , ento A(v1 ), ..., A(vn ) so vetores de K e portanto:

A(v1 ) = 11 w1 + ... + m1 wm
...

A(vn ) = 1n w1 + ... + mn wm

A transposta da matriz de coecientes deste sistema, denotada por [A] , chamada de

Apndice A. Matrizes de rotao

39

matriz de A em relao s bases e . A matriz pode ser expressa da seguinte maneira:

11 . . . 1n

21 . . . 2n

[A] =
.. . .
..
.
.
.

n1 . . . nn

Aqui, ij so denominados elementos de matriz A na base e . Sendo assim podemos

escrever a transformao do primeiro ngulo de Euler da seguinte maneira:

11 12 13

[A] = 21 22 23

31 32 33

Ento, a aplica da transformao no vetor

11 12 13

A(u) = 21 22 23

31 32 33

x


y

z

da

A(u) = (11 x + 12 y + 13 z, 21 x + 22 y + 23 z, 31 x + 32 y + 33 z)

de onde segue, juntamente com (A.1) que

Apndice A. Matrizes de rotao

40

x = 11 x + 12 y + 13 z
y cos z sen = 21 x + 22 y + 23 z
y sen + z cos = 31 x + 32 y + 33 z.

Da

11 = 1,

,22 = 33 = cos

e23 = 32 = sen,

e nalmente,

1
0
0

A(x, y, z) = 0 cos sen

0 sen cos

(A.2)

Lembrando que A(x, y, z) = (x , y z ), do mesmo modo que (x, y, z) escrito em forma

matricial ,(x , y , z ) tambm o :

x


[u] = y .

z

Ento,

x
1
0
0
x




y = 0 cos sen y ,

z
0 sen cos
z

Apndice A. Matrizes de rotao

41

de onde denimos a matriz de rotao no plano yz :

1
0
0

R = 0 cos sen .

0 sen cos

A.0.2

Rota no plano

xz

Tomando B uma transformao linear no espao R3 , tal que

B(x, y, z) = (x cos + z sen, y, x sen + z cos )

(A.3)

Seja u um vetor arbitrrio de R3 e seja uma base ordenada e arbitrria de R3 . Podemos

escrever u como combinao linear de , de acordo com o seguinte teorema.
Teorema: Dada uma base = [r1 , r2 , ..., rn ] K, cada vetor de K escrito de maneria
unica como combinao linear de .
Alm claro a possibilidade de poder escrever essa combinao de forma matricial, visto
na denio abaixo.
Denio: Seja = [r1 , r2 , ..., rn ] uma base de K e u K, um vetor arbitrrio, onde

u = 1 u1 + 2 u2 + ... + n un . Chamaremos [1 , 2 , ..., n ] de coordenadas de u em relao

a base e denotaremos por:

[u] =

1
2
..
.

Apndice A. Matrizes de rotao

42

Essa denio para a transformao ca:

[u] =

y




z

Denotaremos [u] = X .
Do mesmo modo que possivel escrever um vetor em forma matricial tambem possivel
escrever uma transformao em forma matricial. Pois toda matriz mxn est associada a
uma transformao linear T : Rm Rn .

Denio: Seja T : K K e = [u1 , u2 , ..., un ] base de K e = [w1 , w2 , ..., wn ] base

de K', ento A(v1 ), ..., A(vn ) so vetores de K' e portanto:

B(v1 ) = 11 w1 + ... + m1 wm
...

B(vn ) = 1n w1 + ... + mn wm

A trasnposta da matriz de coecientes deste sistema, anotada por [B] , chamada de

matriz de A em relao as bases e .
Onde a matriz pode ser expressa da seguinte maneira.

11 . . . 1n

21 . . . 2n

[B] =
.. . .
..
.
.
.

n1 . . . nn

Apndice A. Matrizes de rotao

43

Onde ij so denominados como elementos de matriz B na base e . Sendo assim

podemos escrever a transformao do primeiro ngulo de Euler da seguinte maneira:

[B]

11 12 13

= 21 22 23

31 32 33

Lembrando que,

B(x, y, z) = (x cos + z sen, y, x sen + z cos )

Alm tambem,

11 12 13

B(u) = 21 22 23

31 32 33

(A.4)

B(u) = (11 x + 12 y + 13 z, 21 x + 22 y + 23 z, 31 x + 32 y + 33 z)

(A.5)

Da:

(x cos +z sen, y, x sen+z cos ) = (11 x+12 y+13 z, 21 x+22 y+23 z, 31 x+32 y+33 z)
(A.6)
Com isso:

x cos + z sen = 11 x + 12 y + 13 z

y = 21 x + 22 y + 23 z

x sen + z cos = 31 x + 32 y + 33 z

Apndice A. Matrizes de rotao

44

Da

11 = 33 = cos ,

,22 = 1

e 13 = 31 = sen

Coecientes diferente disso so iguais a zero, com isso, temos que:

cos 0 sen

B(x, y, z) = 0
1
0

sen 0 cos

Lembrando que

B(x, y, z) = (x , y z )
Do mesmo modo que (x, y , z) escrito em forma matricial (x', y', z') tambm pode ser:

x


[u] = y

z

Da:

x
cos 0 sen
x




y = 0
1
0 y

z
sen 0 cos
z

Onde

Apndice A. Matrizes de rotao

45

cos 0 sen

R = 0
1
0

sen 0 cos

a matriz transformao do plano xz.

A.0.3

Rotao no plano xy

Tomando C uma transformao linear no espao R3 , tal que

C(x, y, z) = (x cos y sen, x sen + y cos , z)

(A.7)

Seja u um vetor arbitrrio de R3 e seja uma base ordenada e arbitrria de R3 . Podemos

escrever u como combinao linear de , de acordo com o seguinte teorema.
Teorema: Dada uma base = [r1 , r2 , ..., rn ] K, cada vetor de K escrito de maneria
unica como combinao linear de .
Alm claro a possibilidade de poder escrever essa combinao de forma matricial, visto
na denio abaixo.
Denio: Seja = [r1 , r2 , ..., rn ] uma base de K e u K, um vetor arbitrrio, onde

u = 1 u1 + 2 u2 + ... + n un . Chamaremos [1 , 2 , ..., n ] de coordenadas de u em relao

a base e denotaremos por:

[u] =

1
2
..
.

Apndice A. Matrizes de rotao

46

Essa denio para a transformao ca:

[u] =

y




z

Denotaremos [u] = X .
Do mesmo modo que possivel escrever um vetor em forma matricial tambem possivel
escrever uma transformao em forma matricial. Pois toda matriz mxn est associada a
uma transformao linear T : Rm Rn .

Denio: Seja T : K K e = [u1 , u2 , ..., un ] base de K e = [w1 , w2 , ..., wn ] base

de K', ento A(v1 ), ..., A(vn ) so vetores de K' e portanto:

B(v1 ) = 11 w1 + ... + m1 wm
...

C(vn ) = 1n w1 + ... + mn wm
A trasnposta da matriz de coecientes deste sistema, anotada por [C] , chamada de
matriz de C em relao as bases e .
Onde a matriz pode ser expressa da seguinte maneira.

11 . . . 1n

21 . . . 2n

[C] =
.. . .
..
.
.
.

n1 . . . nn

Apndice A. Matrizes de rotao

47

Onde ij so denominados como elementos de matriz B na base e . Sendo assim

podemos escrever a transformao do primeiro ngulo de Euler da seguinte maneira:

11 12 13

[C] = 21 22 23

31 32 33

Lembrando que,

C(x, y, z) = (x cos y sen, x sen + y cos , z)

Alm tambem,

11 12 13

C(u) = 21 22 23

31 32 33

(A.8)

C(u) = (11 x + 12 y + 13 z, 21 x + 22 y + 23 z, 31 x + 32 y + 33 z)

(A.9)

Da:

(x cos y sen, x sen+y cos , z) = (11 x+12 y+13 z, 21 x+22 y+23 z, 31 x+32 y+33 z)
(A.10)
Com isso:

x cos y sen = 11 x + 12 y + 13 z

x sen + y cos = 21 x + 22 y + 23 z

z = 31 x + 32 y + 33 z

Apndice A. Matrizes de rotao

48

Da

11 = 22 = cos ,

,12 = 21 = sen

e33 = 1

Coecientes diferente disso so iguais a zero, com isso, temos que:

cos sen 0

C(x, y, z) = sen cos 0

0
0
1

Lembrando que

C(x, y, z) = (x , y z )
Do mesmo modo que (x, y , z) escrito em forma matricial (x', y', z') tambm pode ser:

x


[u] = y

z

Da:

x
cos sen 0
x




y = sen cos 0 y

z
0
0
1
z

Onde

Apndice A. Matrizes de rotao

49

cos sen 0

R = sen cos 0

0
0
1

a matriz transformao do plano xy.

50

Apndice B
1 Lei de Kepler
Como visto no captulo 3.1, o momento angular em um sistema sob ao de uma fora
central conservado, bem como a energia, uma vez que essa a nica fora presente.
Usando essas duas informaes o sistema ca reduzido ao problema de uma nica partcula com massa igual ao que denimos como massa reduzida e em uma s dimenso
espacial.

Figura 3: Sistema de Coodenadas para dois corpos.

A conservao do momento angular implica que o movimento ca restrito a um plano, e
portanto, podemos xar, com as condies iniciais, o ngulo azimutal igual a

de modo

que

v =

d(r
r)
dr
d
r
d
r d
d
= r + r = r
r + r
= r
r + r .
dt
dt
dt
d dt
dt

(B.1)

Apndice B. 1 Lei de Kepler

51

Assim, a energia ca

[
(
)2 ]
d
Gm1 m2
1
E = (r
r)2 + r

.
2
dt
r

(B.2)

Podemos agora introduzir o momento angular

= r p = r vtangencial = rr d = r2 d
L
dt
dt

(B.3)

de modo que a energia ca

1
L2
Gm1 m2
E = r 2 +

.
2
2
2r
r

(B.4)

Essa equao pode ser resolvida para r :

dr
=
dt

(
)1/2
2
L2
Gm1 m2
E
+
.

2r2
r

(B.5)

Como queremos encontrar a equao da rbita, devemos eliminar o tempo nessa equao
a m de obter r():

d
dt
dr
dt

Da temos que

= (
2

L2
r2

L2
2r2

Gm1 m2
r

)1/2 .

(B.6)

Apndice B. 1 Lei de Kepler

L2
r2

d = (
Er2

L2
2r2

52

1 1/2
L
dt =
)1/2
2
2r
2
Gm1 m2

1
r2

L2
2r 2

Gm1 m2
r

dr

(B.7)

Tomemos aqui u = 1r , logo du = r12 , e assim

L
d =
2

)
1
du
2 2 + Gm1 m2 u
E L2u

(B.8)

ou

d = (

Denotando r0 =

L2
,
Gm1 m2

d = ( 2E
L2

du
u2 + 2u
r

du
2E
L2

)1/2

= (

2Er02
,
L2

r0

)1/2

(2

= (

= ( 2Er2
L2

assim

d =

e usando

du
2E
u2 + 2u
+ 12 12
r0
L2
r0
r0

r0 du
(
)2 )1/2
(
2E
1
1
r0
+

u
2
2
r
L

Tomaremos 2 = 1 +

(B.9)

)1/2 .

temos

1 m2
u2 + 2 Gm
u
L2

r0 du
.
(ur0 1)2 )1/2

du
(
)2 )1/2
u r1

2E
+ 12
L2
r0

r0 du
+1(ur0 1)2

)1/2 .

(B.10)

Apndice B. 1 Lei de Kepler

53

r0 u = 1 cos e r0 du = sen

camos com

d =

(2

sen
sen
=
= d.
2
1/2
( cos ) )
(1 cos2 ))1/2

Com = , e lembrando que r0 u = 1 cos ,

r0 u = 1 cos( ) = 1 cos

Como r =

1
,
u

1
r0
=
.
u
1 cos

obtemos nalmente a equao da rbita:

r=

r0
.
1 cos

(B.11)

Ainda, em termos do parmetro , temos

L = (Gm1 m2 r0 )1/2

E=

Gm1 m2 2
( 1).
2r0

(B.12)

Para entender que tipos de rbitas so possveis, tomamos

r=

r0
= r0 + r cos
1 cos

e fazendo r 2 = x2 + y 2 , com x = r cos e y = r sen , temos

(B.13)

Apndice B. 1 Lei de Kepler

54

x2 + y 2 = (r0 + x) = r02 + 2r0 x + 2 x2 .

(B.14)

Essa uma equao de uma cnica, da forma geral

Ax2 + Bxy + Cy 2 + Dx + Ey + F = 0.

(B.15)

Caso B 2 4AC < 0, a cnica uma circuferncia/elipse, se B 2 4AC = 0 a cnica

uma parbola e caso B 2 4AC > 0, ela uma hiprbole.
Em termos da excentricidade:

=0
r = r0 x2 + y 2 = r02

(B.16)

Logo o movimento uma circuferncia.

0<<1
x2 + y 2 = r02 + 2r0 x + 2 x2 (1 2 )x2 + y 2 2r0 x r02 = 0

(B.17)

Como 0 < < 1 (1 2 ) > 1, dai:

4.(1 2 ).1 > 0

Logo o movimento descrito por uma elipse.

(B.18)

Apndice B. 1 Lei de Kepler

55

=1
x2 + y 2 = r02 + 2r0 x + 2 x2 y 2 2r0 x r02 = 0

(B.19)

Da:

4.0.1 = 0

(B.20)

Logo o movimento descrito por uma parabola.

>1
x2 + y 2 = r02 + 2r0 x + 2 x2 (1 2 )x2 + y 2 2r0 x r02 = 0

(B.21)

Agora o termo (1 2 ) menor que zero.

4.(1 2 ).1 > 0

O movimento descrito por uma hiprbole.

(B.22)

56

Apndice C
Epsilon de Levi-Civita
Utilizando o epsilon de levi-civita, uma de suas propriedades :

b c = d, com di =

ijk bj ck

(C.1)

j,k=1

Pode-se usar essa identidade para para o produto triplo.

a (b c) = ijk aj krs br cs = ijk krs aj br cs

(C.2)

Do mesmo modo que possivel associar o com produto vetorial, pode-se associar com
delta de Kronecker.

ijk krs = ir js is jr

(C.3)

(ir js is jr )aj br cs = as bi cs ar br ci = (a c)bi (a b)ci

(C.4)

O epsilon de Levi-Civita pode associar com o delta de Kronecker de mais duas maneiras,

Apndice C. Epsilon de Levi-Civita

57

mesmo sendo resultante da relao acima.

ijk lmn = 2il

(C.5)

ijk ijk = 6

(C.6)

58

Apndice D
Propriedades parenteses Poisson
(
)
f g
f g
f g
f g
{f, g} =

=
+
= {g, f }
xi pi pi xi
xi pi pi xi

Anti-simetria.

f (gh)
f (gh)

xi pi
pi xi
(
)
(
)
f
h
g
f
h
g
=
g
+
h
g
+
h
xi
pi pi
pi
xi xi
f g
f g
f h
f h
h
h+g
g
=
xi pi
pi xi
xi pi
pi xi

{f, gh} =

{f, gh} = g{f, h} + {f, g}h

Lei de Leibnitz.

(D.1)

Apndice D. Propriedades parenteses Poisson

59

{f, {g, h}} + {g, {h, f }} + {h, {f, g}} =

f {g, h}
f {g, h}
g {h, f }
g {h, f }
h {f, g}
h {f, g}

xi pi
pi xi
xi pi
pi xi
xi pi
pi xi
f {g, h}
g {h, f }
g {h, f }
h {f, g}
h {f, g}
f {g, h}

=
xi pi
pi xi
x pi
pi xi
xi pi
p xi
(
) i
(
)
( i
)
f
g h
g h
f
g h
g h
g
h f
h f
=

+
xi pi xi pi pi xi
pi xi xi pi pi xi
xi pi xi pi pi xi
(
)
(
)
(
)
h f
h
f g
h
f g
g
h f
f g
f g

pi xi xi pi pi xi
xi pi xi pi pi xi
pi xi xi pi pi xi
=

(D.2)

=0

Sendo essa a identidade de Jacobi.

60

Apndice E
Comutadores
Sejam os operadores r e p, vamos escrever as relaes entre eles.

[xi , rj ] = xi xj xj xi = 0

(E.1)

[pi , pj ] = pi pj pj pi = 0

(E.2)

(
) (
)
(
)
f
xi f
f
f
xi
[xi , pj ](f ) = xi i}
+ i}
= i} xi
xi
f
=
xj
xj
xj
xj
xj
= i}ij
(E.3)

) (
)
( (
) (
))
(
xi f
f
xi f
f
+ i}
= xi i}
i}
=
[xi , pj ](f ) = xi i}
xj
xj
xj
xj
= [pj , xi ](f )
(E.4)

Apndice E. Comutadores

61

[Lk , xi ](f ) = [xi pj xj pi , xi ](f ) = [xi pj , xi ](f ) [xj pi , xi ](f ) =

= xi [pj , xi ](f ) + [xi , xi ]pj (f ) xj [pi , xi ](f ) [xj , xi ]pi (f ) =
(
)
(
)
(xf )
(f )
(xi f )
(f )
= xi i}
+ i}xi
xj i}
+ i}
=
xj
xj
xi
xi
(
)
(
)
(f )
(xi )
(f )
(xi )
(f )
(f )
= xi i} xi
f
+ xi
xj i} f
xi
+ xi
xj
xj
xj
xi
xi
xi
= i}xj
(E.5)

[Lk , pi ](f ) = [xi pj xj pi , pi ](f ) = [xi pj , pi ](f ) [xj pi , pi ](f ) = xi [pj , pi ](f ) + [xi , pi ]pj (f )
(
)
pj f
xi pj f
xj [pi , pi ](f ) [xj , pi ]pi (f ) = [xi , pi ]pj (f ) = i} xi

=(E.6)
xi
xi
= i}pj
(E.7)

[Lk , Li ](f ) = [Lk , xj pk xk pi ](f ) = [Lk , xj pk ](f ) [Lk , xk pi ](f ) =

= xj [Lk , pk ] + [Lk , xj ]pk xk [Lk , pj ] [Lk , xk ]pj = i}xi pk + i}xk pi =
= i}kij Lj

(E.8)

62

Apndice F
Norma do vetor Laplace-Runge-Lenz
Uma outra quantidade importante a norma do vetor Laplace-Runge-Lenz

(
xi ) (
xi )
Ai Ai = ijk pj Lk mk
irs pr Ls mk
r
r
xi
xi
= ijk pj Lk irs pr Ls ijk pj Lk mk mk irs pr Ls + m2 k 2
r
r

2
Mas lembrando que ijk pj Lk mk xri mk xri irs pr Ls = 2mk
|L|
r
Dai

2 + m2 k 2
2 = ijk pj Lk irs pr Ls 2mk |L|
Ai Ai = |A|
r
2mk 2
= (jr ks js kr )pj Lk pr Ls
|L| + m2 k 2
r
2 (p L)
2 2mk |L|
2 + m2 k 2
= |p|2 |L|
r
( 2
)
|p|
k 2
= 2m

|L| + m2 k 2
2m
r
2 + m2 k 2
= 2mH|L|

2 2mH|L|
2 = m2 k 2
Obtemos ento |A|

Apndice F. Norma do vetor Laplace-Runge-Lenz

Tomando H = |E|, ou seja, um estado de energia bem denido, temos:

2 + 2m|E||L|
2 = m2 k 2
|A|

i = Ai
Lembrando que A

2m|E|

2 + 2m|E||L|
2 = m2 k 2
2m|E|||A|
2
2 + |L|
2 = mk
|A|
2|E|

63

64

Apndice G
Norma do vetor LRL Quntico
Uma outra quantidade importante a norma do vetor Laplace-Runge-Lenz quntico.
Sabendo o LRL quntico :

(
=
A

1
L
p) mk r
(p L
2
r

)
(G.1)

Sabendo da seguinte relao de comutao ijk [pk , Lj ] = ijk pk Lj ijk Lj pk

Ento:

(
Ai =

1
xi
(ijk pj Lk ijk Lj pk ) mk
2
r

)
=

)
1
xi
(ijk pj Lk + ijk [pk , Lj ] ijk pk Lj ) mk (G.2)
2
r

Como j visto [Lj , pk ] = [pk , Lj ] = i}jkl pl

Ai

1
xi
=
(ijk pj Lk i}ijk jkl pl ijk pk Lj ) mk
2
r
(
xi )
= (ijk pj Lk i}pi ) mk
r

(
=

xi
1
(2ijk pj Lk i}2il pl ) mk
2
r

(G.3)

Apndice G. Norma do vetor LRL Quntico

65

Obtendo sua norma:

Ai Ai = |A|2 =
=

Lembrando que H =

xi )
xi ) (
(irs pr Ls i}pi ) mk
=
r
r
xi
ijk pj Lk irs pr Ls ijk pj Lk i}pi ijk pj Lk mk +
r
xi
i}pi irs pr Ls + i}pi i}pi + i}pi mk +
r
xi
xi
2 2
mk irs pr Ls + mk i}pi + m k =
r
r
2mk 2
2mk
|L|2
} + m2 k 2
|p|2 |L|2 + }2 |p|2
r
r
(

|p|2
2m

(ijk pj Lk i}pi ) mk

k
r

2mk 2 2mk 2
2mk 2
|L|
} + m2 k 2 = 2mH|L|2 + }2 |p|2
} + m2 k 2 =
r
r
r
= 2mH|L|2 + 2mH}2 + m2 k 2 = 2mH(|L|2 + }2 ) + m2 k 2
(G.4)

|A|2 = |p|2 |L|2 + }2 |p|2

Da ca:

|A|2 2mH(|L|2 + }2 ) = +m2 k 2

Tomadno um estado de energia H = |E|.

|A|2 + 2m|E|(|L|2 + }2 ) = +m2 k 2

i = Ai
Lembrando que A

2m|E|

Apndice G. Norma do vetor LRL Quntico

66

2 + 2m|E|(|L|2 + }2 ) = m2 k 2
2m|E||A|

2 + (|L|2 + }2 ) =
|A|

m2 k 2
2m|E|

2
mk 2
2

|A| + |L| =
}2
2|E|

67

Apndice H
Comutao do vetor LRL
2
= [ p k , 1 (p L
L
p) mk r ] = 0
[H, A]
2m r 2
r

(H.1)

Podemos dividir em pedaos para ser mais facil de trabalhar.

p2 1
= 1 1 ijk [p2 , pj Lk ] = 1 ~ ijk ([p2 , pj ]Lk + pj [p2 , Lk ])
, p L]
2m 2
2m 2
2m 2

(H.2)

Como p2 um escalar ao aplicar o Lk , estaremos tentando rotacionar um escalar logo,

[p2 , Lk ] = 0, dai:

p2

p]
Vale o mesmo para [ 2m , 12 L

p2 1
=0
, p L]
2m 2

(H.3)

Apndice H. Comutao do vetor LRL

68

]
[
]
p2
r
k 2 r
, mk
= p ,
= k2 ([pj , xri ]pj + pj [pj , xri ]) = k2 ([pj , xi ] pri + xi [pj , 1r ]pj
2m
r
2
r
1
1
+pj [pj , xi ] + pj [pj , ]xi )
= i~ij 1r pj + i~xi xj r13 pj i~pj ij 1r + i~pj xj r13 xi (H.4)
r
r

Simplicando obtemos.

]
(
)
( x
1 1
xj )
p2
r
j
, mk
= i~ pi + pi + i~ xi 3 pj + pj 3 xi
2m
r
r r
r
r

Agora os termos que envolvem a fora central.

]
[
]
[
]
[
]
k ~
1

= ijk k~ 1 , pj Lk = ijk k~ 1 , pj Lk =
, p L = k~
,
p

L
2
r
2 r
2 r
r 2
ki~
ki~

= 2r
xL
(H.5)
3 ijk xj Lk = 2r 3

]
k 1
ki~
ki~
, L p = 3 ijk xj Lk = 3 L
x
r 2
2r
2r

Finalmente:

2
2
2
L
p) mk r ] = k~ x L
k~ L
x 1
= [ p k , 1 (p L
[H, A]
3
2m r 2
r
2r
2
r3

(H.6)

Mas queremos simplicar mais o resultado obtido, vamos trabalhar com as relaes
xL
x.
eL

Apndice H. Comutao do vetor LRL

69

= ijk xj Lk = ijk xj krs xr ps = (ir js is jr )xj xr ps = xj xi pj xj xj pi =

x L
= (x(x p) r2 p)

(H.7)

x = ijk Lj xk = ijk jrs Lj xk = (kr is ks ir )xr ps xk =

L
= (p r2 (p x) x)

(H.8)

Com isso:

2
2
2
2
= k~ x L
k~ L
x 1 = k~ (x(x p) r2 p) k~ (p r2 (p x) x) = 0
[H, A]
2r3
2
r3
2r3
2r3

Agora a relao entre A e L.

[
(
xi ]
xi )]
= ijk [Lm , pj Lk ] i[Lm , pi ] mk Lm ,
=
Lm , (ijk pj Lk ipi ) mk
r
r
[
]
xi
= pj ijk [Lm , Lk ] + ijk [Lm , pj ]Lk i[Lm , pi ] mk Lm ,
r
(
xr )
= i} jno pn Lo ipr mk
= i}mir Ar
r
[

[Lm , Ai ] =

70

Apndice I
lgebra do momento Angular
Seja J um operador, que obedea a seguinte relao.

[Ja , Jb ] = iabc Jc

(I.1)

Tomando J 2 sabemos que comuta com qualquer valode de a,b e c. Com J 2 sendo compativel com cada componente de J, existe uma base comum a ambos, ou seja autoestados
que equivale para ambos, ou seja,

J 2 f = f

Jz f = f

(I.2)

Antes de darmos continuidade, deniremos os seguintes operadores:

J = Jx iJy

(I.3)

Apndice I. lgebra do momento Angular

71

Aplicando esse operador em Jz .

[Jz , J ] = [Jz , jx ] [Jz , iJy ] = i}Jy i(i}Jx ) = }J

(I.4)

E agora em J 2

[J 2 , J ] = 0

(I.5)

Tomando a seguinte armao, sendo f autofuno de J 2 e Jz ento J f tambem .

J 2 (J f ) = J J 2 f = J f = (J f )

(I.6)

Isso tambem valdo para Jz .

Jz (J f ) = (Lz J J Jz )f + J Jz f = }J f + J (f ) = ( + })(J f )

(I.7)

Sendo assim os operadores denidos, so chamados de operador levantador J+ pois aumenta o autovalor em } e operador abaixador pois J diminui o autovalor em }.
Mas esses operadores no podem atuar indenidamente existe um valor mximo que
pode chegar, ou seja,

J+ ft = 0

(I.8)

Onde ft o valor maximo tal que, J+ ft = 0 e seja o autovalor de Jz igual a j}.

Jz ft = j}ft

(I.9)

Apndice I. lgebra do momento Angular

72

Agora a relao com J 2 .

J J = (Jx iJy )(Jx iJy ) = J 2 Jz2 i(i}Jz ) J 2 = J J + Jz2 }Jz

(I.10)

Ento:

J 2 ft = (J J + Jz2 }Jz )ft = (0 + }2 j 2 + }2 j)ft = }2 j(j + 1)ft

(I.11)

Logo o autovalor = }2 j(j + 1).

Como j dito anteriormente, no da para aplicar os operadores levantamento e abaixamento indenidamente, alm de existir um valor mximo, existe um valor mnimo, tal
que:

J fb = 0

(I.12)

Jz fb = }j fb

(I.13)

J 2 fb = (J+ J Jz2 }Jz )fb = }2 j (j 1)fb

(I.14)

Seja }j o autovalor de Jz , ento:

Da:

Apndice I. lgebra do momento Angular

73

Dessas resolues podemos concluir que:

j (j 1) = j(j + 1)

(I.15)

Isso implica que j = j + 1 , absurdo signicaria dizer que seria possivel ir mais alem do
que j, pois j j esta associado ao valor mximo possivel. Ento segue que j = j .
Ento os autovalores so:

Jz f = }mf

(I.16)

Onde m varia de -l, estado mais baixo e +l estado mais alto.

J 2 f = }2 j(j + 1)f

(I.17)

74

Referncias