UNIVERSIDADE FEDERAL DO ABC

Curso de Ps-Graduao em Fsica

Dissertao de Mestrado

Andr Manzoni de Lima

Mecnica Quntica e Teoria de Campos com No Comutatividade de Spin

Santo Andr
2014

Curso de Ps-Graduao em Fsica

Dissertao de Mestrado

Andr Manzoni de Lima

Mecnica Quntica e Teoria de Campos com No Comutatividade de Spin

Trabalho apresentado como requisito parcial

para obteno do ttulo de Mestre em
Fsica, sob orientao do Professor Doutor
Alysson Fbio Ferrari
e coorientao do Professor Doutor
Vladislav Kupriyanov

Santo Andr
2014

Dedicatria
minha famlia,
especialmente minha av, Helena Darcie Manzoni,
e minha me, Marta Helena Manzoni.

Agradecimentos

aos meus orientadores, Alysson Fbio Ferrari e Vladislav

Kupriyanov, pela dedicao e empenho em me orientar nesta
empreitada;

minha melhor amiga Elizabeth Miyuki Minami pelo apoio

e companheirismo durante a minha vida acadmica na
UFABC;

Marcelo Oliveira da Costa Pires pelos livros, ensinamentos,

conselhos, e por guiar meus primeiros passos no mundo
acadmico;

aos meus amigos da graduao em fsica: Danilo, Guilherme,

Patrcia, Roberto e Tatiane, pelas incontveis madrugadas
que passamos juntos durante esses anos de busca pela
essncia da natureza;

aos meus amigos da ps-graduao, em especial Adriana,

Allan, Carlos, Taimara, Leko, Biason, Tiago e Rodrigo, pelo
suporte mtuo nessa jornada;

aos meus amigos Flvio Henrique Monteiro Gomes e Diego

Cardoso Flvio por estarem invariavelmente ao meu lado;

Coordenao de Aperfeioamento de Pessoal de Nvel

Superior

(CAPES)

Universidade

Federal

do

(UFABC) pelas bolsas de estudo concedidas;

ao povo brasileiro, cujo suor nanciou este trabalho.

ABC

...although the symmetries are hidden from us,

we

can sense that they are latent in nature, governing

everything about us.
I know:

That's the most exciting idea

that nature is much simpler than it looks.

Nothing makes me more hopeful that our generation of

human beings may actually hold the key to the universe
in our hands - that perhaps in our lifetimes we may
be able to tell why all of what we see in this immense
universe of galaxies and particles is logically inevitable.

Steven Weinberg

Resumo
A recente busca por uma teoria quntica que inclua a gravitao dever levar a uma reformulao profunda da nossa concepo da estrutura do espao-tempo em escalas da ordem
do comprimento de Planck. Uma das provveis implicaes desta reformulao ser a substituio da ideia de espao-tempo como uma variedade diferencivel pela de um espao-tempo
discretizado, no qual a localizao de eventos no absoluta, mas sim condicionada a uma
preciso nita da ordem do comprimento de Planck.

Isto motiva o estudo de teorias efeti-

vas em espaos no comutativos, as quais podem revelar os possveis efeitos que essa nova
ideia de espao-tempo pode ter sobre as teorias fsicas j estabelecidas. Por outro lado, uma
caracterstica fundamental das teorias fsicas atuais a invarincia por simetria de Lorentz.
Algumas das verses mais conhecidas de no comutatividade espaotemporal, como a no
comutatividade cannica, violam explicitamente essa simetria.

No obstante, dada sua im-

portncia terica e comprovao experimental, interessante o estudo de esquemas de no

comutatividade que preservem a simetria de Lorentz. Assim, o objeto de estudo deste trabalho
a no comutatividade de spin, a qual preserva a simetria de Lorentz, e suas implicaes na
teoria clssica de campos e na mecnica quntica relativstica.

Construmos uma equao

de Dirac no comutativa minimamente acoplada a um campo eletromagntico externo e sua

respectiva ao. A partir da procedemos obteno das leis de conservao da teoria, especicamente a conservao da corrente eltrica e a do tensor de energia momento, os quais
foram calculados exatamente. Visando uma melhor compreenso dos efeitos deste modelo de
no comutatividade, estudamos perturbativamente dois sistemas fsicos em mecnica quntica
relativstica: os nveis de Landau e o problema de Coulomb. Para o primeiro obtivemos que h,
em segunda ordem no parmetro perturbativo, quebra de degenerescncia dos estados. Para o
segundo obtivemos resultados que indicam a possibilidade de haver quebra de degenerescncia
no sistema.

Abstract
The recent quest for a quantum theory incorporating gravity shall lead to a deep change in
our concept of the space-time structure at the Planck scale. One of the consequences of this
change may be the replacement of the idea of space-time being a dierentiable manifold for
the idea of a quantized space-time, where the location of events cannot be exact, but rather
subjected to an uncertainty of the order of Planck length. This motivates the study of eective
theories living in noncommutative spaces, which can unveil the physical consequences of this
new concept of spacetime for well established models. A fundamental feature of the current
physical theories is the invariance under Lorentz transformations. Some of the most known
versions of noncommutativity, like canonical noncommutativity, breaks Lorentz symmetry explicitly. Still, the theoretical signicance and experimental conrmation of Lorentz symmetry
motivates the search for a Lorentz invariant noncommutative space-time. Thus, the subject of
the present work is the Lorentz invariant spin noncommutativity and its implications in classical eld theory and relativistic quantum mechanics. We construct a noncommutative Dirac
equation minimally coupled to an external electromagnetic eld and its respective action functional. Following, we obtain the conservation laws of this theory, specically the conservation
of electrical current and the energy-momentum tensor, which were calculated exactly. Seeking
for a better insight about the eects of this kind of noncommutativity, we use perturbation
theory to study two physical systems, namely the Landau levels and the Coulomb problem.
For the former we have obtained corrections for the energy levels at the second order of the
perturbative parameter, where degeneracy breaking occurs. For the latter we have obtained
results that indicate a possible breaking in the degeneracy of energy levels in the system.

Sumrio
1 Introduo
1.1

Histrico e motivaes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

2 Equao de Dirac com no comutatividade de spin

2.1

A operao estrela . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.1.1

2.2

6
9

Algumas propriedades das operaes estrela . . . . . . . . . . . . . . .

11

A equao de Dirac no comutativa . . . . . . . . . . . . . . . . . . . . . . .

13

2.2.1

15

Covarincia da equao de Dirac

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

3 Simetrias e leis de conservao

17

3.1

Conservao da corrente eltrica . . . . . . . . . . . . . . . . . . . . . . . . .

17

3.2

Tensor de energia-momento . . . . . . . . . . . . . . . . . . . . . . . . . . .

19

4 Modelos especcos
4.1

4.2

24

O problema de Landau . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

24

4.1.1

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

25

O problema de Coulomb . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

31

4.2.1

33

Caso no comutativo

O problema de Coulomb no comutativo

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

5 Concluses

40

A Clculos envolvendo matrizes gama

42

B Problemas de Landau e Coulomb comutativos

46

B.1

Problema de Landau . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

46

B.2

Problema de Coulomb . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

49

Captulo 1
Introduo

1.1

Histrico e motivaes

Um dos maiores desaos da fsica contempornea a busca por uma teoria de gravitao
quntica, o qual tem reunido esforos de grande parte da comunidade cientca e tem proporcionado diversos avanos paralelos, tanto na fsica, quanto na matemtica. Teorias que se
propem incorporao da gravitao em uma teoria quntica consistente, como por exemplo
a gravitao quntica cannica e a teoria de cordas, tm apontado para a possibilidade de que
a nossa noo atual do espao-tempo como uma variedade diferencivel, apesar de ser uma
boa aproximao, deve estar incompleta. Trabalhos como [1, 2, 3] sugerem a existncia de um
espao-tempo quantizado, onde a noo de ponto se perde e necessrio o desenvolvimento
de uma nova descrio do espao-tempo para o estudo das teorias fsicas.
Entretanto, tais argumentos baseiam-se em teorias no to bem estabelecidas, e, dado
a alta escala de energia necessria para medies diretas da estrutura do espao-tempo na

escala de Planck , faltam informaes experimentais sobre sua estrutura elementar.

Desta

forma, seria interessante buscar argumentos tericos mais gerais para a existncia de no
comutatividade entre as coordenadas espaotemporais. Em [4], os autores derivam relaes
de incerteza entre as coordenadas do espao-tempo partindo de princpios fundamentais da
mecnica quntica e da relatividade geral.

A ideia simples: para medirmos a posio de

uma partcula no espao-tempo, um eltron, por exemplo, devemos interagi-la com alguma
outra partcula, como um fton.

A preciso desta medida to maior quanto menor for o

comprimento de onda do fton, e assim, quanto maior for sua energia. Por outro lado sabemos
da teoria da relatividade geral que ao concentrarmos uma quantidade muito grande de energia
1A

energia de Planck, EP 2.43 1018 GeV , a escala de energia onde se espera que os efeitos qunticos
da gravitao sejam apreciveis. Esta energia , por exemplo, oito ordens de grandeza mais alta que a energia
dos raios csmicos, e quinze ordens de grandeza maior que a energia nominal das partculas no LHC (Large
Hadron Collider ).

numa pequena regio do espao-tempo, alm de um certo limite, cria-se um buraco negro.
Desta forma, deve haver um limite fundamental para a preciso da medida da posio de uma
partcula, alm do qual haveria a criao de um horizonte de eventos em torno do sistema, o
qual impossibilitaria a medida.
Um clculo simples pode mostrar a ordem de grandeza desse limite.

Utilizando a solu-

o de Schwarzschild para as equaes de Einstein no vcuo, chega-se numa singularidade

caracterizada pelo que chamamos de raio de Schwarzschild [5]

rs =
onde

2GE
,
c4

a constante de gravitao de Newton,

(1.1)

a velocidade da luz e

a energia do

objeto que se encontra na origem do sistema de coordenadas de Schwarzschild. Supondo a

existncia de uma partcula de energia desprezvel no centro do sistema, incidimos sobre ela
um fton de energia
ordem de

E = hc/,

com o objetivo de obter sua localizao com preciso da

Assim, no limite em que a preciso se aproxima do raio de Schwarzschild do

sistema, podemos escrever o seguinte

rs

2Gh
.
c3

Desta equao obtemos a ordem de grandeza de

onde

`P = 1.62 1035 m

(1.2)

como sendo

Gh
= `P ,
c3

(1.3)

o comprimento de Planck. Entendemos o comprimento em (1.3)

como um limite para a preciso da localizao de um evento no espao-tempo. Apesar das

diversas aproximaes do clculo acima, seu resultado razovel, dada a expectativa de que
o comprimento de Planck seja uma escala fundamental numa teoria de gravitao quntica,
e o clculo mais apurado realizado em [4] indica a mesma ordem de grandeza, atravs das
relaes

x0 (x1 + x2 + x3 ) `2P ,
x1 x2 + x2 x3 + x3 x1 `2P .

(1.4)

Como sabemos, relaes de incerteza esto costumeiramente relacionadas a lgebras de

operadores no comutativos. Em [4] os autores derivam a lgebra que gera as relaes (1.4),
porm o resultado no particularmente relevante para nossa discusso e por isso no ser
detalhado aqui.

loop quantum gravity )

Como mencionado anteriormente, a gravitao quntica de laos (

e modelos especcos em teoria de cordas tambm sugerem a no comutatividade no espaotempo. Em especial, da teoria de cordas emerge uma das propostas mais populares de no
comutatividade, denominada

no comutatividade cannica.
3

Em [1] mostrado que o limite

de baixas energias da uma teoria de cordas na presena de um campo magntico de fundo

pode ser descrito com uma teoria de Yang-Mills em um espao no comutativo. A relao de
comutao entre as coordenadas do espao-tempo nessa teoria da forma

[x , x ] = i ,
onde

(1.5)

uma matriz antissimtrica constante e real.

O fato da relao (1.5) emergir

da teoria de cordas, e da implementao de teorias qunticas de campo baseadas nela ser

operacionalmente simples, garantiu no comutatividade cannica grande popularidade, e
muito foi desenvolvido usando-a como ponto de partida, tanto para teorias qunticas de campo
quanto para mecnica quntica relativstica. - ver [6] para uma reviso de teorias qunticas
de campo em espao-tempo com no comutatividade cannica.
Sendo

uma matriz constante, a relao de comutao (1.5) no relativisticamente

covariante e, portanto, a no comutatividade cannica viola explicitamente a simetria de

Lorentz. Este um resultado esperado nesse contexto, uma vez que a no comutatividade
consequncia da presena de um campo magntico de fundo, o qual induz uma direo
preferencial na teoria efetiva.
Todavia, a simetria de Lorentz um fato experimental bem estabelecido, alm de ter
servido de base para todo desenvolvimento da fsica de partculas e do modelo padro, um dos
mais bem sucedidos modelos fsicos j desenvolvidos. Deste ponto de vista interessante tentar
introduzir coordenadas no comutativas de modo covariante frente a simetria relativstica.
Em 1947 [7], no que considerada a primeira realizao de um espao-tempo no comutativo, Snyder prope a seguinte relao de comutao entre as coordenadas

[
x , x ] = iM ,
onde

(1.6)

so os geradores do grupo de Lorentz. A equao (1.6) depende apenas de objetos

covariantes e, assim, a simetria relativstica preservada.

Snyder props tais modicaes

como forma de tentar remover as divergncias que apareceram nas teorias qunticas de campos
desde o seu incio. Provavelmente devido ao sucesso dos programas de renormalizao que
estavam sendo desenvolvidos poca, a proposta de Snyder foi relegada ao segundo plano.
De qualquer forma, foi demonstrado posteriormente [8] que tais divergncias persistem mesmo
com a introduo da no comutatividade.
Motivados pela ideia de Snyder, os autores de [9] propem uma modicao na lgebra
de Heisenberg da mecnica quntica no relativstica misturando graus de liberdade espaciais
e de spin, a qual denominaremos a partir daqui como

no comutatividade de spin.

Em [10]

mostrado como as interaes dipolo-dipolo em um condensado de Bose-Einstein com spin

no nulo podem ser obtidas como efeito desse esquema de no comutatividade.
Em [11], os autores generalizam a no comutatividade de spin para o caso relativstico, propondo modicaes que

preservam a simetria de Lorentz.

4

Nesse trabalho os autores propem

a insero da no comutatividade na equao de Dirac com acoplamento eletromagntico mnimo, atravs da substituio das coordenadas comutativas pelas no comutativas no campo

A . J em [12], os autores buscam dar maior consistncia teoria pela denio de uma
corrente eltrica conservada j , uma das bases das teorias de campo. Alm disso calculase, perturbativamente, a correo da energia nos nveis de Landau devida presena da no
comutatividade.
A presente dissertao tem como objetivo a reviso e aprofundamento dos estudos realizados em [11, 12]. Em particular, derivamos uma nova corrente conservada, a qual identicamos
como o

tensor de energia-momento da teoria no comutativa, calculando-o explicitamente para

os potenciais eletromagnticos do problema de Landau e Coulomb. Alm disso, usando a teoria de perturbao de Rayleigh-Schrdinger, calculamos perturbativamente a correo em
primeira e segunda ordem para os nveis de energia de Landau, e calculamos alguns efeitos da
no comutatividade no problema de Coulomb.
No captulo 2 introduzimos a no comutatividade de spin e derivamos algumas propriedades que sero usadas durante todo o trabalho. Veremos como podemos introduzir a no
comutatividade na equao de Dirac atravs de operaes anlogas ao
niremos uma

ao no comutativa

produto estrela2

da qual a equao de Dirac pode ser obtida.

e de-

Por m

analisamos a covarincia da nova equao frente a transformaes de Lorentz.

No captulo 3 derivamos a corrente eltrica e o tensor de energia momento no comutativos por dois meios. Em um, aproximativo, derivamos as quantidades conservadas utilizando a
expresso usual da corrente de Noether, obtendo-as at a primeira ordem no parmetro perturbativo. Pelo outro mtodo obtemos as correntes conservadas de forma exata e, expandindo-as,
mostramos a equivalncia dos dois mtodos at a primeira ordem.
No captulo 4 fazemos uma breve exposio dos problemas de Landau e Coulomb comutativos e realizamos os clculos perturbativos desses modelos no espao-tempo no comutativo,
discutindo algumas complicaes para realizao destes clculos.
Por m, o captulo 5 contm nossas concluses e algumas perspectivas para a continuao
do trabalho.

estrela, algumas vezes denominado produto Moyal, uma deformao do produto usual entre
funes o qual especialmente til para contabilizar o efeito da no comutatividade em teorias de campo.
Ver [6] para denies e aplicaes do produto estrela.
2 Produto

Captulo 2
Equao de Dirac com no
comutatividade de spin
A proposta deste trabalho introduzir no comutatividade na equao de Dirac de forma
covariante, mantendo, assim, a simetria de Lorentz. Para isso, substitumos as coordenadas
comutativas usuais

por operadores

que no comutam entre si e cuja lgebra incluir

apenas objetos covariantes.

Antes de prosseguir, convm aqui denir alguns objetos que sero utilizados por todo o trabalho. Como trabalharemos com a equao de Dirac, h duas denies de maior importncia:
o tensor mtrico, o qual denimos como

= diag (1, 1, 1, 1) ,

(2.1)

e a lgebra das matrizes gama, denida por

{ , } = 2 I.
Denotaremos os quadrivetores contravariantes por

(2.2)

v = (v 0 , ~v ),

onde

~v = (v 1 , v 2 , v 3 ).

v = (v 0 , ~v ). O quadrivetor de derivada dado por

= x = ( 0 , ), onde = x 1 , x 2 , x 3 . Usaremos tambm, em especial no captulo
4 e no apndice B, a notao ~
x = (x, y, z) = (x1 , x2 , x3 ) e ~v = (vx , vy , vz ) = (v 1 , v 2 , v 3 ), por
Obviamente, os vetores covariantes cam

simplicidade.
Alm disso denimos as matrizes

5 = i 0 1 2 3
e

1
[ , ] .
2

(2.3)

(2.4)

Sempre que necessrio escrever explicitamente uma representao das matrizes gama, uti-

lizaremos a representao de Dirac

0 =

I 0
0 I

!
i =

0 i
i 0

Munidos das denies acima, introduzimos, conforme [11], a

!
.

(2.5)

no comutatividade de spin,

atravs da substituio das coordenadas usuais por coordenadas no comutativas da seguinte

forma

.
x x = x I + 2W ,
2 foi colocado
Pauli-Lubanski, dado por

onde o fator

para futura convenincia.

(2.6)

O objeto

pseudovetor de

1
1
W = p J = J p ,
(2.7)
2
2
onde p = i o quadrivetor momento e J = L + S so os geradores do grupo de
Lorentz, com L = x p x p sendo o gerador da parte orbital e S o de spin. Tambm

introduzimos o tensor totalmente antissimtrico

, tambm conhecido como smbolo de
Levi-Civita, o qual denido por

+1

.
= +1

se

{, , , }

uma permutao par de

{0, 1, 2, 3}

se

{, , , }

uma permutao mpar de

{0, 1, 2, 3} .

(2.8)

outros casos

Para partculas massivas em repouso

W2

proporcional ao spin da partcula, da sua

compreenso como generalizao relativstica do spin. fcil observar que a parte orbital do
gerador, contrada com o smbolo de Levi-Civita e o momento, se anula:

J p = (x p x p + S )p
= x p p x p p + S p
= S p .

(2.9)

Assim a coordenada no comutativa ca

x = x I + i S


i

= x I + i
2
= x I + i 5 ,
onde usamos que

S = 2i

= 5 .

Denida a nova coordenada

(2.10)

x ,

proce-

demos ao clculo do comutador entre duas coordenadas

[
x , x ] = [x + 2W , x + 2W ]
= [x , x ] + 2 [x , W ] + 2 [W , x ] + 42 [W , W ] .

(2.11)

O primeiro termo do lado direito da equao se anula; para o segundo termo temos

i
1
[x , W ] = [x , p ] S = S
2
2
i
=+
S .
2

(2.12)

E, nalmente, o terceiro dado por [13]

[W , W ] = W p .

(2.13)

Desta forma, temos que as novas coordenadas no comutam entre si, e seu comutador
dado por

[
x , x ] = i2 S 42 W p .

(2.14)

importante fazer uma breve observao sobre a interpretao das coordenadas no comutativas

x .

Sabendo que o conjugado hermitiano das matrizes gama pode ser escrito como

( ) = 0 0 ,
temos que o conjugado das matrizes

(2.15)

pode, ento, ser escrito como

1
( ) = 0 [ , ] 0 = 0 0 .
2

(2.16)

Usando a relao (2.15) e a denio (2.60), pode-se vericar facilmente que a matriz

 hermitiana. Tambm se pode vericar que ela anticomuta com cada matriz

e, portanto,


, 5 = 0.

(2.17)

Assim, o conjugado das coordenadas no comutativas dado por

(
x ) = (x I) + ( 5 p ) = x I 0 0 5 p


= 0 x I + 5 p 0 = 0 x 0 ,
ou seja, as novas coordenadas
que

(2.18)

no so hermitianas. Assim, devemos abandonar a ideia de

um observvel fsico. Isto no exatamente um problema pois no tratamos mais

de coordenadas comuns do espao-tempo e a prpria ideia de ponto desaparece ao tratarmos

coordenadas no comutativas. De qualquer forma, no procuraremos dar uma interpretao
fsica mais profunda para

x , e no restante deste trabalho trataremos a coordenada comutativa

pragmaticamente, como sendo apenas um rtulo nas nossas equaes.

2.1

A operao estrela

Como mencionado no captulo 1, para postularmos a equao de Dirac no comutativa, faremos uso de uma operao anloga ao produto estrela, a qual denominaremos
Denimos tal operao pela ao de um operador Weyl-ordenado

operao estrela.

em um espinor [12]

.
.
f (
x) (x) = W
[f ] (x) = f (x) ? (x) .
O operador

[f ]
W

smbolo de Weyl
.
[f ] =
W

onde

f(k)

da funo

a transformada de Fourier de

f,

denido por

d4 k

f (k)eik x
4
(2)
f (x).

(2.19)

(2.20)

Como



ik x , k 5 = 0,

(2.21)

podemos escrever

eik x = eik x ek

(2.22)

1A

ordenao de Weyl uma prescrio para produtos de operadores denida como a soma de todas
possveis combinaes de produtos entre estes dividido pelo nmero de tais produtos, por exemplo a2b
=
1
3

W

a
a
b + a
b
a + b
aa
, ou seja, corresponde efetivamente a tomar um ordenamento simtrico dos operadores.

Devemos levar em conta este ordenamento sempre que tratarmos de operadores de Weyl.

Assim, ao operar

[f ]
W

em

obtemos


4
d
k
k 5
ik
x

[f ] (x) =
(x)
f(k)e
e
W
(2)4

d4 k
ik x i 5
=
f
(k)e
e
(x)
(2)4



= f (x) exp i 5 (x) .

(2.23)

Podemos, ento, escrever a operao estrela da seguinte forma

[f ] (x)
f ? =W

5

= f (x) exp i (x).

(2.24)

Notamos que esta operao estrela no um produto estrela no sentido usual, uma vez
que ela no mapeia dois objetos de mesma classe num terceiro desta classe e, portanto, no
h sentido em falar de associatividade de tal operao.
Neste trabalho iremos utilizar operaes semelhantes operao estrela (2.24), porm
entre diferentes objetos matemticos. Introduzimos, portanto, a operao estrela entre um
espinor conjugado e uma funo como

.
? f = (f ? ) 0 ,

(2.25)

ou, utilizando as relaes (2.15)-(2.17),


? f = exp i 0 0 5 0 f

5
0 0

0
= exp i f



= exp i 5 f.

(2.26)

Por m, denimos a operao estrela entre um espinor conjugado e um espinor por


.
? = exp i 5 .

(2.27)

Nos clculos perturbativos que desenvolveremos neste trabalho, ser comum expandirmos
as exponenciais da operao estrela acima denida. At a segunda ordem em

tal expanso

dada por

e2
+ O 3 ,
? = I + i 5
2

10

(2.28)

onde usamos que

[ , 5 ] = 0

( 5 ) = I,

e um certo abuso de linguagem ao omitirmos os

objetos matemticos sobre os quais age a operao estrela.

2.1.1

Algumas propriedades das operaes estrela

Denidas as operaes estrela na seo anterior, agora derivamos algumas propriedades teis.
Primeiramente, temos que o conjugado da operao entre dois espinores

h


 i
( ? ) = exp i 5

0 0 5


= exp i



= exp i 5
= ? ,

(2.29)

onde da segunda para a terceira linha usamos a antissimetria de

Sob o sinal de integral a operao estrela entre dois espinores idntica ao produto usual
entre eles, a menos de termos de superfcie, j que


d4 x (x)
exp i 5 (x)


n

i 5
X
(x)
= d4 x (x)(x)

+ d4 x (x)

n!
n=1

= d4 x (x)(x)

+ d4 x a

d x ? =

(2.30)

onde da primeira para a segunda linha utilizamos expanso em sries de Taylor e da segunda
para a terceira linha integramos o segundo termo por partes e eliminamos a integral resultante
utilizando a antissimetria de

restando apenas os termos de superfcie.

At a primeira

ordem o termo de superfcie , explicitamente

a =

i

5
5 + O 2 .
2

(2.31)

Tal propriedade similar encontrada na no comutatividade cannica, onde a operao

estrela a exponencial de uma matriz de escalares reais, em contraste com o presente caso,
onde

uma matriz de matrizes do espao de spin.

11

Tambm sob a integral, temos

d4 x f
+ i
f 5

d x (f
? ) =

(2.32)




2

3
,
(
f ) + O
2
ou, integrando por partes para eliminar as derivadas em

, e utilizando a antissimetria de ,


d4 x f
+ i
f 5

d x (f
? ) =

2
( )(
f ) + O 3
2
+ F (,
f, )]

(2.33)

onde denimos

2
.
F (,
f, ) = i
f 5 (
f )
2
2
+ (
f ) + O(3 ).
2

(2.34)

Agrupando os termos nas primeiras duas linhas de (2.33), vemos que eles formam a expanso da operao estrela entre

f,

e assim podemos escrever

d4 x [( ? f ) + F (,
f, )] .

d x (f
? ) =

Deve-se salientar que a equao anterior vale em todas as ordens em

e fazendo

f A

Utilizando (2.35)

podemos escrever

d4 x [( ? A ) + G (,
A, )] ,

d x (A
? ) =
ou ainda, fazendo

(2.35)

f A ,

(2.36)

escrevemos

d x (A
? ) =

d4 x [(
? A ) + H (,
A, )] ,

(2.37)

onde introduzimos as seguintes funes

.
G (,
A, ) = i
A 5 + O(2 )
.
H (,
A, ) = i
A 5 + O(2 ).

(2.38)
(2.39)

Tais propriedade sero essenciais para o clculo da conservao da corrente eltrica e do

tensor de energia-momento, os quais sero feitos no captulo 3.

12

2.2

A equao de Dirac no comutativa

Agora que j denimos todo aparato matemtico necessrio, procedemos denio e estudo
da equao de Dirac no comutativa. Partindo da equao de Dirac usual com acoplamento
mnimo

[i ( + ieA (x)) m] = 0
poderamos fazer a substituio

(2.40)

x x

[i ( + ieA (
x)) m] = 0,

(2.41)

ou, utilizando a denio da operao estrela (2.24),

[i ( + ieA (
x)) m] = 0
[i ( + ieA ?) m] = 0
[i ( + ieA (x)) m] ? = 0,

(2.42)

que a equao de Dirac no comutativa proposta em [11].

Todavia, como observado em [12], existe uma ambiguidade na denio da contrao

A (
x),

pois as coordenadas

no comutam com

ou seja,

A (
x) 6= A (
x) .

Para dar conta dessa ambiguidade escrevemos

= [i + ie (a1 A (
O
x) + a2 A (
x) ) m] = 0,
onde introduzimos o operador de Dirac no comutativo

e duas constantes

(2.43)

a1

a2 .

Para

xar as constantes buscamos inspirao no caso comutativo.

No espao-tempo comutativo temos que o operador de Dirac satisfaz

[i m e A ] = [ p m e A ]
= 0 0 p m e 0 0 A
= 0 [i m e A ] 0 ,
o que implica que o hamiltoniano

H ,

H,

obtido ao escrever a equao de Dirac na forma

(2.44)

it =

hermitiano



H = 0~ p~ + 0 m + e 0 A
= ~ p~ 0 + 0 m + e( ) 0 A
= 0~ p~ + 0 m + e 0 A = H.

13

(2.45)

Alm disso, tal propriedade faz com que a equao de Dirac conjugada seja dada por

0 = O
0 = 0,
= 0 O

(2.46)

ou

= 0,
O
onde temos o espinor de Dirac conjugado

(2.47)

= 0 .

Guiados por esta propriedade do operador comutativo, vamos tambm exigir

= 0 O
0
O

no caso no comutativo, apesar de, como ser discutido no nal deste captulo, ser impossvel
a denio geral de uma Hamiltoniana neste caso. Notando que

!
A (
x) =

an (
x) n

!
=

n
onde usamos que

an (
x )n = 0

real e que

an (
x)n 0 = 0 A (
x) 0 ,

x ...
x = 0 x...
x 0 ,

podemos escrever

= 0 [ p m e (a A (
O
x) + a2 A (
x))] 0 .
1
Para satisfazermos a condio

a1 =

(2.48)

= 0 O
0
O

devemos ter

a1 = a1 = a2 = a2 .

(2.49)

Escolhemos

1
e, conforme veremos mais adiante, este ordenamento simtrico garantir que a ao
2

S,

da qual a equao de Dirac no comutativa pode ser obtida, seja real. Mais ainda, tal escolha
simplicar muito o clculo das correntes conservadas no captulo 3, e o clculo perturbativo de
alguns problemas especcos no captulo 4, alm de garantir que o limite comutativo (

0)

das equaes no comutativas reproduzir a teoria usual.

Desta forma, denimos a equao de Dirac no comutativa por

i
h
e

x) + A (
x) ) = 0,
i m ( A (
2

(2.50)

ou em termos da operao estrela

i + m +

i
e
(A (x) ? +A (x) ? ) (x) = 0.
2

(2.51)

Por m, podemos escrever a ao de um frmion de Dirac num espao-tempo com no

comutatividade de spin como [12]

S[, A] =

h
i
e
d4 x i m (A ? +A ? ) ,
2

de tal forma que o princpio variacional,

S/ = 0,

14

(2.52)

fornece a equao de Dirac no comuta-

tiva. Verica-se que tal ao real

S =
onde usamos que

d x O
4

= 0 O
0,
O


=

=
d x O

= S,
d4 x O

(2.53)

que por sua vez decorre do ordenamento simtrico adotado

em (2.50), como j comentamos.

Podemos tambm obter a equao de Dirac adjunta

i
h
e
e

(x) i + m + ? A (x) + ? A (x) ,

2
2

(2.54)

a partir da ao reescrita na forma

A] =
S[,
fazendo

h

i
m e ? A +
? A ,
d4 x i
2

(2.55)

S/ = 0.

importante salientar que tanto a equao de Dirac no comutativa quanto sua respectiva
ao no permitem a denio consistente de uma hamiltoniana, em contraste com o caso
comutativo. Isso se deve a presena da operao estrela, a qual, em geral, induz derivadas de
alta ordem na equao, incluindo derivadas temporais. Assim torna-se impossvel reescrever a
equao de Dirac na forma hamiltoniana

it = H,

(2.56)

ou mesmo denir o momento canonicamente conjugado ao campo

L
.
t

Todavia, como veremos no captulo 4, a exigncia que

(2.57)

= 0 O
0
O

e as denies subse-

quentes garantiro a hermiticidade do operador que obteremos truncando a equao de Dirac

no comutativa na primeira ordem de

2.2.1

Covarincia da equao de Dirac

Vamos agora vericar a covarincia da equao de Dirac. Sob uma transformao de Lorentz
temos que as quantidades presentes na equao de Dirac no comutativa se transformam da
seguinte forma [14]

x x0 = x ,

0 = (1 ) ,

(x) 0 (x0 ) = S () (x)

.
A (x) A0 (x0 ) = A (x)

15

(2.58)

Em especial, a operao estrela se transforma como


?0 = exp i0 5 0
h




i

= exp i 1 5 1
h
5 1
i
= exp i S S ,

(2.59)

onde usamos que as matrizes gama, apesar de serem constantes frente as transformaes de
Lorentz, obedecem s seguintes relaes

S 1 S = .

S 1 S = ,
Usando que

[ 5 , S] = 0,

(2.60)

podemos reescrever (2.59) como


?0 = S exp i 5 S 1
= S ? S 1 , .

(2.61)

Desta forma, sob uma transformao de Lorentz, a equao de Dirac no comutativa se

transforma como

h

i
e 0 0 0
i 0 + m +
A (x ) ? +A0 (x0 ) ?0 0 (x0 ) = 0
2
h


e

i 1 + m +
A (x) S ? S 1
2


+ A (x)S ? S 1 S (x) = 0,

(2.62)

ou, usando (2.60),

h
e
iS S 1 S + m +
A (x) S ? S 1 S
2


+ A (x)S ? S 1 S (x) = 0.
Agora, multiplicando a equao anterior por

S 1

pela esquerda e usando que

(2.63)

obtemos

h
e
iS 1 S + S 1 Sm +
A (x)S 1 S?
2


+ A (x)S 1 S ? (x) = 0
h
i
e
i + m + (A (x) ? +A (x) ? ) (x) = 0,
2
provando, assim, a covarincia de equao (2.51) frente as transformaes de Lorentz.

16

(2.64)

Captulo 3
Simetrias e leis de conservao
Neste captulo vamos discutir um aspecto essencial para a consistncia da teoria: a existncia
de correntes conservadas. Em especial vamos calcular o anlogo no comutativo da corrente
eltrica, conforme [12], e do tensor de energia-momento.
A conservao da corrente eltrica na teoria de campos, ou da corrente de probabilidade
na mecnica quntica, tem papel fundamental na interpretao e consistncia dessas teorias.
Em teoria de campos a conservao da corrente eltrica est relacionada com a conservao da carga em processos com criao e aniquilao de partculas. Em mecnica quntica
(relativstica ou no), a conservao da corrente de probabilidade garante que a integral da
distribuio de probabilidade sobre todo espao seja constante. Por m, a conservao do tensor de energia-momento, em especial da componente

T 00

garante que, num sistema isolado,

a energia conservada.

3.1

Conservao da corrente eltrica

Primeiramente buscamos a corrente eltrica

conservada na teoria descrita pela ao (2.52).

Como essa ao tem invarincia de fase global, o teorema de Noether providencia um mtodo
geral para encontrar tal corrente. Podemos escrever a ao (2.52) como a soma de uma parte
livre

S0 [, A] =

[i (x) m(x)]
d4 x (x)

(3.1)

e de uma parte de interao

e
SI [, A] =
2

(A (x) ? +A (x) ? ) (x).

d4 x (x)

(3.2)

A parte livre idntica ao comutativa usual e no apresenta nenhuma diculdade

aplicao do teorema de Noether. Porm a Lagrangiana de interao em
derivadas, o que diculta consideravelmente o clculo da variao

17

S .

SI

possui innitas

SI

Expandindo

at primeira ordem em

temos

d4 x A 5


+A 5 + O(2 )

ie
4

+
= e d x A
d4 x A 5 [ , ] + O(2 ),
2
ie
d x A
2
4

SI = e

(3.3)

ou ainda

SI = e
= e

+ ie
d x A
4

+ ie
d x A
4

A 5 ( ) + O(2 )
d4 x
5 ( A A ) + O(2 ),
d4 x

(3.4)

onde usamos a identidade [15]

[ , ] = 2( ).

(3.5)

Vemos novamente a importncia da escolha simtrica do produto

A ,

uma vez que o

comutador (3.5) s aparece na ao (3.3) devido a tal escolha. Isto acontecer durante todo
trabalho, no qual sempre surgiro comutadores da forma (3.5).
Se considerarmos a expanso da ao apenas at a primeira ordem, podemos usar a expresso usual para a corrente de Noether devida simetria de fase [16], obtendo

( )
+ e
5 ( A A ) + O(2 ).
=

(3.6)

0,

j0 =

j = i

No limite comutativo, ou seja, quando

obtemos a corrente eltrica usual

Para vericarmos a existncia de

alternativo.

em todas potncias de

utilizaremos um mtodo

Utilizando a equao de Dirac no comutativa e sua conjugada, calculamos a

seguinte diferena

+ m + e ? A + e
? A )
(i
2
2
e
e

(i
+ m + A ? + A ? ) = 0.
2
2
V-se facilmente que no caso comutativo (

conservada usual j0

.
=

0)

(3.7)

obteramos, novamente, a corrente

No caso no comutativo, utilizando (2.36), (2.37) e (3.5),

18

temos

) + e ( ? A ) +
i (
2
e
H
2
ou ainda


i

e
e
( ? A ) (
? A )
(3.8)
2
2




A, e ( ? A ) e G ,
A, = 0,
,
2
2



ie


ie

+ H , A, + G , A, = 0.
2
2

(3.9)

Identicamos a quantidade entre colchetes como a expresso exata para a corrente eltrica
conservada

j .

Usando (2.36) e (2.37), podemos expandir a corrente eltrica at a primeira

ordem

e
A 5 [ , ] + O 2
2

+ e
5 ( A A ) + O 2 ,
=

+
j =

(3.10)

onde da primeira para segunda linha usamos (3.5). Vemos que, em primeira ordem, a corrente
calculada por esse mtodo coincide com a corrente calculada pela expresso geral da corrente
de Noether.

Na seo seguinte vamos expandir esse mtodo para o clculo do tensor de

energia-momento.
Denindo a densidade de carga como

.
0 + ie H 0 ,
A, + ie G0 ,
A, ,
= j0 =
2
2
a equao da continuidade (3.9) garante que a integral sobre todo o espao de

no tempo

t
onde supomos que a corrente

~j

(3.11)

constante

d x (x) =

d3 x ~j = 0,

(3.12)

vai a zero no innito. A equao (3.12) mostra que a carga

eltrica conservada na nossa teoria.

3.2

Tensor de energia-momento

Procedemos agora ao clculo do tensor de energia-momento.

Identicamente ao clculo da

corrente eltrica, vamos primeiro derivar T utilizando a expresso usual para a corrente de
Noether [16]

T =

L
L
L

+
+
A L.

( )
( A )

19

(3.13)

Novamente, esta expresso s aplicvel se considerarmos a expanso da Lagrangiana apenas

at a primeira ordem em

i
i


eA
L =
2
2


5 A A .
+ ie
Fazendo isto obtemos que o termo de ordem zero em

(3.14)

i
i

T (0)
=

2 
2

i
i

m eA ,
2
2

(3.15)

idntico ao tensor de energia-momento comutativo usual.

J o termo de primeira ordem ca dado por

5 ( A A )
T (1)
= ie

5 ( A A )
+ ie


5 A A .
ie

(3.16)

Para obter a expresso geral do tensor de energia-momento vamos utilizar um mtodo

similar ao que usamos para a obter a corrente eltrica. Partindo da equao de Dirac e de sua
conjugada escrevemos


? A
+ m + e ? A + e
i
2 
2

e
e

+ i + m + A ? + A ? = 0
2
2

(3.17)

ou

i
+ m
+ m

i


e
e
+ ? A + ( A ? )
2
2


e
e
+ ? A + (A ? ) = 0.
2
2

(3.18)

Reescrevemos a primeira linha da equao anterior como


1 
i
i
2m

i i
,

20

(3.19)

e a segunda e terceira linhas como

e

e
? A + e H ,
A,
? A +

(3.20)
2
2
2






e
e
e
A, .
? A +
? A + G ,
+
2
2
2
Agora, se o quadripotencial
um potencial eletrosttico da

x0 ),

A (x) no depender
de uma dada coordenada x (por exemplo


forma A = A0 (~
x) , ~0 , o qual no depende da coordenada

podemos reescrever a equao (3.20) na forma

e
2


? A
? A + 2e





A, + e G ,
A, = 0.
+ 2e H ,
2

(3.21)

Desta forma escrevemos a equao (3.17) como

T = 0,

(3.22)

onde introduzimos

i
e
. i
A, + e G ,
A, L,
T =

+ H ,

2
2
2
2

(3.23)

i
. i
e ? A e
? A .

m
L =
2
2
2
2

(3.24)

com

Vale ressaltar que a equao (3.22) s valida se o potencial

denada xa

x ,

e que apenas a componente

no depender da coor-

do tensor (3.23) ser conservada nesse caso.

Em nosso caso particular, como trataremos de um potenciais eletrostticos, poderemos tomar

=0

e, com isso, obteremos a conservao da componente

T 00

do tensor acima denido, a

qual est associada densidade de energia.

Como, de acordo com a equao (3.22),
limite comutativo

uma quantidade conservada, a qual no

(como veremos mais adiante) tende ao tensor de energia-momento

da teoria comutativa, identicamos (3.23) como o tensor de energia-momento da teoria no

comutativa. Esta expresso geral, contendo todas ordens de

Para vericar a equivalncia entre este tensor e o calculado em primeira ordem pelo teorema
de Noether, podemos escrever o tensor de energia-momento como uma expanso em

da

forma

(1)
(2)
3
T = T (0)
.
+T +T +O

21

(3.25)

Os primeiros termos dessa expanso so dados por

i
=
T (0)

(3.26)

T (1)

(3.27)

i

2


i
i

e
A ,

m
2
2


= ie 5 ( A A )




+ ie 5 A A ,

T (2)
=

e
4
+


( A ) , ( )

(3.28)



e2
( A ) ,
4




e2

( A ) , .
4

Novamente, os anticomutadores em (3.28) s so possveis graas escolha simtrica na

equao de Dirac no comutativa (2.50). Vemos que o tensor em ordem zero corresponde ao
tensor no perturbado e que o termo de primeira ordem idntico ao calculado pela expresso
da corrente de Noether desde que

A = 0,

como ressaltado anteriormente.

Como no caso comutativo, denimos a densidade de energia como a componente

T 00

do

tensor de energia-momento

(x) = T 00 (x) .

(3.29)

A lei de conservao do tensor de energia-momento (3.22) garante que a integral da

densidade de energia sobre todo espao no depende do tempo

t E = t

x T 00

(x) =

d3 x i T i0 (x) = 0,

(3.30)

ou seja, a energia conservada no nosso modelo.

Uma vez que calculamos a expanso em

do tensor de energia-momento, convm aqui uma

discusso a respeito do signicado fsico desta expanso. Em especial, no caso comutativo, a

integral sobre todo espao da componente

T 00

a energia do estado

E [0 ] =



d3 x T 00 0 , 0 .

(3.31)

no , necessariamente, a correo em n-sima ordem para a energia.

o estado

exato

do problema no comutativo, o qual pode ser, por sua vez, escrito como

uma perturbao do estado do problema comutativo

1 Clculos

0(n)

T 0 [0 , 0 ]
Isso porque em (3.23)

No caso no comutativo devemos observar que a integral sobre todo espao de

e expandido em ordens de

mais detalhados desta expanso podem ser encontrados no apndice (A)

22

Assim,

escrevendo a energia como

E [] =

onde



0(0) 
d3 x T 0 0 + 1 + , 0 + 1 +

0(1) 
+ T 0 0 + 1 + , 0 + 1 +

+

o termo de n-sima ordem de

em ordens de

como

(0)

(3.32)

, podemos, de forma mais clara, separar as correes

E (1)
E (2)

onde as correes


0(0) 
d3 x T 0 0 , 0





0(0) 
0(0) 
0(1) 
= d3 x T 0 1 , 0 + T 0 0 , 1 + T 0 0 , 0




0(0) 
0(0) 
= d3 x T 0 2 , 0 + T 0 0 , 2



0(1) 
0(1) 
0(2) 
+T 0 1 , 0 + T 0 0 , 1 + T 0 0 , 0

(3.33)

(3.34)

(3.35)

devem ser calculadas por algum mtodo perturbativo adequado, como

por exemplo pela teoria de Rayleigh-Schdinger. No captulo 4 tentaremos calcular perturbativamente os efeitos da no comutatividade sobre sistemas fsicos simples, a saber os nveis
de Landau e o problema de Coulomb, e veremos que as expresses para o tensor de energiamomento obtidas neste captulo sero cruciais para a compreenso do que a energia dentro
da teoria no comutativa.

23

Captulo 4
Modelos especcos
Neste captulo buscamos resolver dois problemas de mecnica quntica relativstica usando a
equao de Dirac no comutativa. Quando usamos a equao de Dirac como uma equao
de onda, mais comum a escrevermos na forma de uma equao de Schrdinger

i
Fazendo

= H.
t

(4.1)

(x) = eiEt (~x), chegamos ao conhecido problema de autovalores da mecnica

quntica

H (~x) = E (~x) ,

(4.2)

e essa equao que buscaremos resolver aqui para os problemas de Landau e Coulomb.
Como veremos, para o caso do problema de Coulomb no comutativo, no poderemos
identicar

E,

respectivamente, como a hamiltoniana e a energia do sistema, porm,

ainda conseguiremos obter alguns resultados interessantes.

Os clculos detalhados dos problemas comutativos podem ser encontrados no apndice B.

4.1

O problema de Landau

Nesta primeira seo buscamos as solues do problema de Landau, seguindo o que foi feito
em [12].

Tal problema consiste na dinmica de uma partcula carregada se movimentando

na presena de um campo magntico constante. Primeiramente vamos revisar o problema de

Landau no espao-tempo comutativo [14].
Escolhendo o campo magntico ao longo da direo

com intensidade

constante, a

hamiltoniana do problema de Landau ca dada por

H0 = 0~ p~ + 0 m + e 0 2 Bx,

24

(4.3)

e seus autovalores, os nveis de energia para os estados ligados, so dados por

En, =

p2z + m2 + e(2n + 1 ),

(4.4)

= 1 caso o spin da partcula esteja na direo +

z e = 1 caso o spin esteja na
direo
z . Vemos que todos os nveis de energia so innitamente degenerados em relao
a px e py . Alm disso, exceto pelo estado fundamental |0i = |n = 0, = 1i, os estados
excitados so duplamente degenerados uma vez que |n, +1i e |n 1, 1i tm a mesma

onde

energia.
Escrevemos os autoestados do problema de Landau comutativo como

|ni
~
~

|ni
En, +m

|n, i = cn,
onde introduzimos os autovetores de

z ,

!
(4.5)

denidos por

z =
com

= 1,

(4.6)

e onde temos

n = h~x|ni = ei(py y+pz z) e

com


py 
.
= eB x
eB

cn,

(eB) 4
=
2

2 /2

Hn (),

1
En, + m
p
.
En,
2n+1 n!

(4.7)

(4.8)

Denimos, tambm, o momento cannico por




pz
.
~
~ = p~ eA = (ix , py eBx, pz ) = eB i , ,
.
eB
Os autoestados (4.5) obedecem relao de ortogonalidade

4.1.1

(4.9)

hn0 , 0 |n, i = n0 ,n 0 , .

Caso no comutativo

Como observado anteriormente, o fato da equao de Dirac no comutativa ter derivadas

temporais de ordem superior impossibilita, em geral, a denio de uma hamiltoniana. Porm,

25

no presente caso tais derivadas so nulas devido ao fato do potencial ser linear na posio:




2 5


e
1
5 2

2
1
i + m + e Bx + Bx + (x) = 0
2


ie 5  2 1 

2
1
i + m + e Bx
B , (x) = 0
2



i + m + e 2 Bx1 ieB 5 21 2 1 (x) = 0


i + m + e 2 Bx1 ieB 5 1 2 (x) = 0.

(4.10)

Portanto, estamos aptos a escrever a equao de Dirac na forma hamiltoniana

it (x) = (H0 + HI ) (x),

onde

H0

(4.11)

a hamiltoniana no perturbada (4.3) e

HI = ieB 2 3 py = eBpy

1 0
0 1

!
.

(4.12)

Nota-se facilmente que a hamiltoniana de interao (4.12) hermitiana, e, assim, podemos aplicar teoria de perturbao usual.

hn , |HI |n, i,

Para calcular os elementos de matriz da forma

os quais sero necessrios para o clculo perturbativo, vamos primeiramente

calcular o seguinte:

~ ~ |ni = (x x |ni + y y |ni + z z |ni)




1
= i eB
|n + 1i n|n 1i
2



1
|n + 1i + n|n 1i + pz |ni
i eB
2



1
(1 ) |n + 1i n (1 + ) |n 1i + pz |ni ,
= i eB
2
onde usamos que

x = , y = i

|ni = i eB

z = ,

alm das relaes


1
|n + 1i n|n 1i ,
2



1
2
|ni = eB
|n + 1i + n|n 1i ,
2
1

(4.13)

3 |ni = pz |ni,

(4.14)

(4.15)
(4.16)

as quais so demonstradas explicitamente no apndice B.

Desta forma, temos que os elementos de matriz so dados por

26


hn , |HI |n, i = eBpy cn0 ,0 cn, hn0 |ni0 1




(1 0 ) 0
0
0
0
hn + 1| n (1 + ) hn 1| 0
+ i eB
2
 
0
0 0
+ pz hn |0 1 pz |ni




(1 )
+i eB
|n + 1i n (1 + ) |n 1i
2
0

= eBpy cn0 ,0 cn, [b1 n0 ,n 0 , + b2 n0 ,n2 0 ,

(4.17)

+b3 n0 ,n+2 0 , + b4 n0 ,n1 0 , + b5 n0 ,n+1 0 , ] ,

onde

b1 = 1 p0z pz ,

(4.18)

eBn (1 0 ) (1 + )
,
2
eBn0 (1 + 0 ) (1 )
b3 =
,
2

ipz eB (1 0 )
i0 p0z n eB (1 + ) , e
b4 =
2
0 0

i pz eB (1 )
b5 = +
+ ipz n0 eB (1 + 0 ) .
2
b2 =

Vemos que os elementos de matriz

hn0 , 0 |HI |n, i

(4.19)
(4.20)

(4.21)

(4.22)

so no nulos apenas se alguma das

relaes abaixo satisfeita

n0
n0
n0
n0
n0

=n
=n2
=n+2
=n1
=n+1

e
e
e
e
e

0
0
0
0
0

=
=
= .
=
=

(4.23)

Para o estado fundamental no degenerado, temos que a correo em primeira ordem da

energia

(1)

E0 = h0, 1|HI |0, 1i = 0,

(4.24)

uma vez que o elemento de matriz no satisfaz nenhuma das condies em (4.23).
Para os estados degenerados, a correo em primeira ordem obtida diagonalizando a matriz de

HI

no subespao degenerado. Para os nveis

27

|n, 1i e |n+1, 1i temos que diagonalizar

a seguinte matriz

hn, 1|HI |n, 1i

hn, 1|HI |n + 1, 1i
hn + 1, 1|HI |n, 1i hn + 1, 1|HI |n + 1, 1i

Wn(1) =

!
.

(4.25)

Todavia, nenhuma das entradas de tal matriz satisfazem a (4.23), logo a correo de primeira
ordem nula para todos estados.
Em segunda ordem a correo do estado fundamental dada por

(2)
E0

|h0, 1|HI |n, i|2

{n,}6={0,1}

E0,1 En,

(0)

(0)

4e3 B 3 2 p2y p2z |c0,1 |2 |c1,1 |2

p
=p
,
p2z + m3 p2z + m3 + 2e

(4.26)

ou seja, h um deslocamento na energia deste estado.

|n, 1i

A correo dos estados degenerados

|n + 1, 1i

dada pela diagonalizao da

matriz

Wn(2) =

hn, 1|HI0 |n + 1, 1i
hn, 1|HI0 |n, 1i
hn + 1, 1|HI0 |n, 1i hn + 1, 1|HI0 |n + 1, 1i

!
,

(4.27)

onde introduzimos o operador

.
HI0 =

HI |m, ihm, |HI

(0)

(0)

{n,1}
{m,}6=
{n+1,1}

E{n,1} E{m,}

(4.28)

As entradas da matriz (4.27) so dadas por

"
hn, 1|HI0 |n, 1i

2 2

=e

B 2 p2y

c2n,1 c2n,1 |1 p2z |

(0)

(0)

En,1 En,1

4c2n,1 c2n+2,1 e2 B 2 (n + 2)2

(0)

(0)

En,1 En1,1
#
c2n,1 c2n+1,1 eBp2z c2n,1 c2n1,1 eBp2z
+ (0)
+ (0)
,
(0)
(0)
En,1 En+1,1
En,1 En1,1

(4.29)

"
2 2

hn + 1, 1|HI |n + 1, 1i = e

B 2 p2y

c2n+1,1 c2n+1,1 |1 p2z |

(0)

(0)

En+1,1 En+1,1

4c2n+1,1 c2n1,1 e2 B 2 (n + 1)2

(0)

En+1,1 En1,1
#
4c2n+1,1 c2n+2,1 eBp2z (n + 2)2 4c2n+1,1 c2n,1 eBp2z (n + 1)2
+
+
,
(0)
(0)
(0)
(0)
En+1,1 En+2,1
En+1,1 En,1

28

(4.30)

as quais so nmeros reais e por

"
2 2

hn + 1, 1|HI |n, 1i =ie

B 2 p2y

cn+1,1 cn+1,1 c2n+1,1 eBpz (1 p2z )

(0)

(0)

En+1,1 En1,1

+
+

2cn+1,1 cn,1 c2n1,1 (eB)3/2 pz (n + 1)

(0)

(0)

En+1,1 En1,1
4cn+1,1 cn,1 c2n+2,1 (eB)3/2 pz (n + 2)2
(0)

(0)

En+1,1 En+2,1
#

2cn+1,1 cn,1 c2n,1 eB (1 p2z ) n

(0)

(0)

En+1,1 En,1

(4.31)

hn, 1|HI |n + 1, 1i = hn + 1, 1|HI |n, 1i ,

(4.32)

que so complexos.
Tais entradas so no nulas, e reescrevendo a matriz (4.27) como

Wn(2) =
onde

A, B

A C
C B

!
,

(4.33)

so dados por (4.29), (4.30) e (4.31), respectivamente. Assim, temos que as

correes para a energia do sistema em segunda ordem so dada por

E (2) =

q
A + B A2 2AB + B 2 + 4 |C|2
(4.34)

o qual, em geral, fornece dois valores distintos, ou seja, a degenerescncia do sistema

quebrada em segunda ordem.
No captulo 3 derivamos expresses exatas e aproximadas para o tensor de energia-momento,
cuja componente

T 00 ()

a densidade de energia. interessante vericarmos se h alguma

correspondncia entre essa abordagem e o clculo perturbativo realizado nesta seo.

O termo de ordem zero da densidade de energia

0(0)
0

T 00

ca

0 0 i
+ m
+ e
2 A2
= i


= i 0~ + 0 m + e 0 2 Bx
= H0 ,

onde

H0

(4.35)

a hamiltoniana do problema comutativo (4.3), e onde usamos que

A2 = Bx

A0 = A1 = A3 = 0.

29

(4.36)

O termo de primeira ordem dado por

0(1)
0

5 1 B
= ie2


= eB 2 3 py
= HI ,

onde

py = i2 ,

e onde

HI

a hamiltoniana de interao (4.12).

Uma vez que os termos de ordem

para

n2

(4.37)

O (n ) possuem derivadas de ordem n, temos que T

(n)

nulo no problema de Landau.

Expandindo

em ordens de

= 0 + 1 + ,

(4.38)

conforme mencionado no nal do captulo 3, temos que a energia em ordem zero dada por

(0)

d3 x T

0(0)
0

0 , 0

d3 x 0 H0 0

= h0 |H0 |0 i,

(4.39)

que exatamente a expresso usual da energia no caso comutativo. Em primeira ordem temos

(1)





0(0) 
0(0) 
0(1) 
d3 x T 0 1 , 0 + T 0 0 , 1 + T 0 0 , 0
d3 x 0 HI 0

= h0 |HI |0 i,

(4.40)

onde da primeira para a segunda linha usamos que

h0 |H0 |1 i = E0 h0 |1 i = 0

(4.41)

h1 |H0 |0 i = E0 h1 |0 i = 0,

(4.42)

uma vez que, na expanso de Rayleigh-Schrdinger, as correes

n1

[17]. Em segunda ordem temos que a correo da energia dada por

30

so ortogonais a

(2)




0(0) 
0(0) 
d3 x T 0 2 , 0 + T 0 0 , 2




0(1) 
0(1) 
0(2) 
+T 0 1 , 0 + T 0 0 , 1 + T 0 0 , 0



= d3 x 1 HI 0 + 0 HI 1
= h1 |HI |0 i + h0 |HI |1 i.
onde

|1 i

(4.43)

deve ser calculado utilizando a teoria de perturbao de Rayleigh-Schrdinger.

Vemos que as equaes para as correes da energia em primeira e segunda ordem so

idnticas s obtidas usando teoria de perturbao estacionria, indicando consistncia entre as
diferentes abordagens neste problema particular. Como veremos na prxima seo, o mesmo
no ocorre para o problema de Coulomb.

4.2

O problema de Coulomb

Nesta seo vamos estudar o problema de uma partcula carregada se movimentando num
potencial eletrosttico central, tambm conhecido como problema de Coulomb. Para encontrar
os autoestados do problema de Coulomb, alm da hamiltoniana

H=

Ze2
+ 0 m + 0~ p~,
r
1

escolhemos como parte do nosso CSCO

(4.44)

o operador de momento angular total [18]

~ + 1 ,
~
J~ = L
2

(4.45)



~
~
K = L+I ,

(4.46)

e o operador

o qual mede a projeo do spin na direo do momento angular total.

H , K , J 2 e J3 , cujos autovalores
so, respectivamente, E , , j(j + 1) e j3 . O nmero quntico se relaciona com j por


= j + 21 , ou seja, um inteiro negativo ou positivo, e interpretamos o sinal de
como sendo spin paralelo ( < 0) ou antiparalelo ( > 0) ao momento angular total.
Buscamos autofunes simultneas dos operadores

Escrevendo o espinor de Dirac como

.
=

A
B

!
,

(4.47)

Complete Set of Comuting Observables, o conjunto de operadores que comutam entre si e que so
sucientes para a especicao de um sistema quntico.
1

31

onde

~2
L

A,B

so espinores de duas componentes, pode-se mostrar que

com autovalores

`A,B (`A,B + 1),

mesmo

A,B

no sendo autofuno de

so autofunes de

~ 2.
L

Disto obtemos

as seguintes relaes

1
= j (j + 1) `A (`A + 1) + ,
4
1
= j (j + 1) `B (`B + 1) + ,
4
e podemos determinar, para um dado

os nmeros qunticos

`A
=j+

1
2

= j+

j+


1

`A

(4.48)
(4.49)

`B

em funo de

j:

`B
1
2
1
2

j
j+

1
2
1
2

As solues do problema de Coulomb relativstico podem ser escritas como

onde

Yj`j3

A
B

~2
J~2 , J3 , L

so autofunes de

g (r) Yj`j3A
if (r) Yj`j3B

~ 2,
S

!
(4.50)

normalizadas e independentes de

r,

as quais

so dadas por

s
Yj`j3
para

j =`+

` + j3 + 12 j3 21
Y`
2` + 1

!
+

` j3 + 21 j3 + 21
Y`
2` + 1

!
(4.51)

1
e
2

s
Yj`j3 =

` j3 + 12 j3 12
Y`
2` + 1

` + j3 + 12 j3 + 21
Y`
2` + 1

!
(4.52)

j = ` 12 , onde as funes Y`m so harmnicos esfricos [19]. As funes radiais f (r)

g (r) dependem de e so dadas por sries de potncia em r. Assim como no caso no

para
e

relativstico, a convergncia de tal srie est condicionada a um nmero inteiro no negativo

n0 , a partir do qual a srie termina. Relacionamos n0 com o que denominamos nmero quntico
0
0
principal n por n = n + ||. As funes fn0 , (r) e gn0 , (r) convergem para n 0, mas as
0
0
funes com n = 0, divergem se > 0 e os estados congurados por n = 0 e > 0 devem
ser excludos.
Por m, as autoenergias do problema so dadas por

En, = r
1+

fcil ver que, para todo

n 1,

(4.53)

Z 2 2

2
(n||+ 2 Z 2 2 )

existem

32

n1

estados com mesmo

||

e, portanto,

todo nvel

tem

n1

pares de estados degenerados devido a

j3 , todos
2j + 1.

a energia no depende de
grau de degenerescncia

Alm disso, uma vez que

estados so degenerados nesse nmero quntico, tendo

Os autoestados do problema podem ser especicados pelos nmeros qunticos

j3 .

n, n0 ,

Na tabela 4.1 apresentamos os autoestados de energia mais baixa

n
1
2
2
2
3
3
3
3
3

n0 = n || 0
0
1
1
0
2
2
1
1
0

= j+
1
1
+1
2
1
+1
2
+2
3

1
2

Notao
1s 12 
2s 12
deg
2p 21
2p 23 
3s 12
deg
3p 21 
3p 23
deg
3d 32
3d 25

Tabela 4.1: Estados ligados do problema de Coulomb

onde indicamos os estados por sua notao espectroscpica, na qual o primeiro nmero
indica o nvel

n,

a letra indica o momento angular orbital de

`A

Letra

e o ltimo nmero indica o momento angular total

em

j.

conforme

Sinalizamos os estados degenerados

por deg.

4.2.1

O problema de Coulomb no comutativo

Como visto anteriormente, o quadrivetor

A (x)

A0 =

Ai = 0,
Uma vez que

no problema de Coulomb dado por

Ze
.
r

(4.54)

1/r possui innitas derivadas no nulas, temos que a expanso da exponencial

presente na operao estrela da equao de Dirac no comutativa

h

i
e
i + m +
A0 (x) 0 ? +A0 (x) ? 0 (x) = 0.
2

(4.55)

possui innitos termos no nulos. Neste caso, como j discutido no captulo 2, impossvel a
denio de uma hamiltoniana, dicultando o uso da teoria de perturbao estacionria.
Porm, podemos, em primeira aproximao, truncar a expanso da exponencial presente
na operao estrela em primeira ordem em

o que nos permite obter uma equao na forma

33

(4.2). Como estamos interessados em tratar o problema perturbativamente, devemos atentar

para o fato de que, uma vez que consideraremos apenas a expanso em primeira ordem da
equao de Dirac no comutativa, utilizar a teoria de perturbao em ordens superiores seria
inconsistente.
Expandindo a equao (4.55) at a primeira ordem em

obtemos

h
n

i
e
A0 0 I + i 5
i + m +
2h

i o
+A0 I + i 5 0 = 0,
ou, usando o fato de que

A0

(4.56)

independente do tempo,



 0 5 i
ie
5 i 0
i + m + e A0 +
i A0 + = 0
2


 0 i 
ie

5
0
i + m + e A0
i A0 , = 0.
2

(4.57)

Pela identidade (3.5), temos que

 0 i 


, = 2 g 0i g 0 i = 2g 0 i ,
o qual s no nulo se

= 0.

(4.58)

Desta forma a equao de Dirac se simplica para


i + m + e 0 A0 + iei A0 5 i 0 = 0.

Multiplicando a equao anterior por

(4.59)

pela esquerda e agrupando derivadas temporais e

espaciais obtemos

i (I ) 0 = i 0 i i + 0 m + eA0 ,

(4.60)

.
= e 0 5 i i A0 .

(4.61)

onde denimos

Por m, multiplicamos (4.60) por

primeira ordem em

(I + )

pela esquerda e, mantendo os termos at

obtemos

i0 = 0~ p~ + 0 m + eA0 + 0~ p~ + 0 m + eA0 .

(4.62)

Podemos identicar a hamiltoniana no perturbada

H0 =
~ p~ + 0 m + eA0 ,

34

(4.63)

no primeiro termo do lado direito da equao anterior. J o segundo termo contm o operador

HI = 0~ p~ + 0 m + eA0 = H0 ,
o qual, apesar de denotarmos por

HI ,

(4.64)

no uma hamiltoniana de interao, no sentido de

que no poderemos considerar as correes que ele trs aos autovalores do problema original
como correes energia, como discutiremos no nal desta seo. Trataremos (4.64) apenas
como um parmetro perturbativo do nosso problema de autovalores, sem buscar dot-lo de
maior signicado.
Na representao de Dirac, a matriz

dada explicitamente por

22 022
022 22

!
,

(4.65)

onde

2x2

cos ei sin
ei sin cos

. e2 Z
= 2
r

!
.

(4.66)

Para calcular as correes de primeira ordem nos autovalores do problema teremos de

calcular termos do tipo [17]

d x HI = E d3 x




3
= E d x A A + B B ,

h|HI |i =

(4.67)

onde temos

x A A


e2 Z 

dx 2
1 2
r
3

d3 x

cos ei sin
ei sin cos

1
2

!
(4.68)

e2 Z
i
i

cos

e
sin

e
sin

cos

,
1
2
1
2
1
1
2
2
r2

d3 x B B =


e2 Z 
d3 x 2
3 4
r
d3 x

cos ei sin
ei sin cos

3
4

e2 Z
3 cos 3 + 3 ei sin 4 + 4 ei sin 3 4 cos 4 .
2
r

Para analisar as integrais anteriores, escreveremos os nmeros qunticos em

(`

(4.69)

0
e j3 , por exemplo) enquanto os de

sero representados sem linha.

35

com linha

Tambm vamos utilizar

as seguintes relaes entre harmnicos esfricos [19]

0
Y`m
0

Y`m = `0 ,` m0 ,m ,

(4.70)

ei sin Y`m
ei sin Y`m

(` m) (` + m) m
Y ,
(2` 1) (2` + 1) `1
s
s
(` + m + 1) (` + m + 2) m+1
(` m) (` m 1) m+1
=
Y`+1 +
Y
,
(2` + 1) (2` + 3)
(2` 1) (2` + 1) `1
s
s
(` m + 1) (` m + 2) m1
(` + m) (` + m 1) m1
=+
Y`+1
Y
.
(2` + 1) (2` + 3)
(2` 1) (2` + 1) `1

cos Y`m = +

(` m + 1) (` + m + 1) m
Y`+1 +
(2` + 1) (2` + 3)

(4.71)

(4.72)

(4.73)

Dado que as funes de onda do tomo de hidrognio so da forma

j3 + 12

j3 21

1 Y`A

2 Y`A

3 Y`B

4 Y`B

j3 12

j3 + 12

(4.74)

usando as relaes (4.70)-(4.73), obtemos

d1,3

 0 1 
j
j3 1
d Y`0 3 2 cos Y`A,B 2

cos 1,3

A,B

c1 `0A,B ,`A,B +1 j30 ,j3 + c2 `0A,B ,`A,B 1 j30 ,j3 ,

d1,3
ei

(4.75)

 0 1 
j
j3 + 1
d Y`0 3 2 ei sin Y`A,B 2

sin 2,4

A,B

c3 `0A,B ,`A,B +1 j30 ,j3 + c4 `0A,B ,`A,B 1 j30 ,j3 ,

d2,4
ei

sin 1,3

 0 1 
j3 1
j3 + 2
ei sin Y`A,B 2
d Y`A,B

c5 `0A,B ,`A,B +1 j30 ,j3 + c6 `0A,B ,`A,B 1 j30 ,j3 ,

d2,4

cos 2,4

j0

1
3+ 2

d Y`A,B

cn

so constantes que dependem de

`A,B

36

j3 .

(4.77)

j3 + 1

cos Y`A,B 2

c7 `0A,B ,`A,B +1 j30 ,j3 + c8 `0A,B ,`A,B 1 j30 ,j3 ,

onde

(4.76)

Vemos que

d3 x

(4.78)

s no nulo

se

`0A = `A 1

ou

`0B = `B 1,

com

j30 = j3 .

Assim, as correes em primeira ordem

dos autovalores sem degenerescncia no nmero quntico

degenerescncia em

so nulas.

J os estados com

possuem correo no nula em primeira ordem para os autovalores, e

como exemplo vamos calcular as correes para os estados

|2s 21 i

|2p 21 i.

Neste caso, como

os estados so degenerados, temos de diagonalizar uma matriz [17], a qual dada, na base

{|s+i, |si, |p+i, |pi},

W =

por

0
0
hs + |HI |p+i
0
0
0
0
hs |HI |pi
hp + |HI |s+i
0
0
0
0
hp |HI |si
0
0

onde j explicitamos os termos nulos e omitimos o nmero quntico

Usando (4.67), obtemos, tanto para

j3 = +1/2

quanto para

(4.79)

n = 2 da notao.
j3 = 1/2, o seguinte

resultado

hs|HI |pi = e2 Zm3 02

2 ( + 1) (2 1) + N 2 (2 + 3) 4N (2 + 1)

,
N 3 N 2 1 (42 1)

(4.80)

i 12
h
p
p
2 Z 2
2 2
com =
1 0 Z , = 1 + (+1)2
e N =
4 + 2 ( 1) onde 0 1/137 a
constante de estrutura na. As outras entradas da matriz so facilmente obtidas observando
que

hp|HI |si = hs|HI |pi = hs|HI |pi.

(4.81)

Portanto, denindo

2 ( + 1) (2 1) + N 2 (2 + 3) 4N (2 + 1)
.

,
C = e2 Zm3 02
N 3 N 2 1 (42 1)

(4.82)

escrevemos (4.79) como

W =

0 0 C 0

0 0 0 C
.
C 0 0 0

0 C 0 0

(4.83)

Diagonalizando (4.83), obtemos a correo de primeira ordem para os autovalores e as

correes de ordem zero para os autoestados:

37

Autovalores

Correo do estado em ordem 0

C
C
C
C

|i =
|i =
|i =
|i =

1
2
1
2
1
2
1
2

(|si + |pi)
(|s+i + |p+i)
(+|si + |pi)
(+|s+i + |p+i)

Tabela 4.2: Correo em primeira ordem para os autovalores e em ordem zero para os autoestados.

Nota-se que, caso o operador (4.64) fosse uma hamiltoniana legtima, teramos uma quebra
parcial na degenerescncia desse conjunto de estados. Porm, utilizando a expresso do tensor
de energia-momento obtido no captulo 3, podemos vericar que a correo em primeira ordem
para a energia , na verdade, nula. No caso do problema de Coulomb o quadrivetor

dado

por

~ = 0;
A

A0 = A0 (~r) =

eZ
.
r2

(4.84)

O termo de ordem zero da densidade de energia , ento

0(0)
0

0 0 + i
m
e
0 A0
= i


= i 0~ + 0 m + eA0
= H0 ,

(4.85)

que exatamente a densidade de energia do caso comutativo. O termo de primeira ordem

ca

0(1)
0

= ie 0 5 i i A0 ie 0 5 i i A0 = 0,

ou seja, no temos termo de primeira ordem para a densidade de energia.

(4.86)

Os clculos do

termo de segunda ordem so um tanto extensos, e so feitos com detalhes no apndice A. O

resultado nal dado por

0(2)
0

Uma vez que

=+

0(1)
0

e2 i j

e2
2 2 A0 0
(i j A0 ) 0
2
2








e2 
+
0 2 A0 + 0 /A0 .
2

=0

para o potencial de Coulomb, a correo de primeira ordem para

a energia nula pois, como destacado anteriormente, as correes

onda so ortogonais a

0 .

(4.87)

n1

para a funo de

Vemos claramente a incoerncia a qual estaramos sujeitos caso

tentssemos interpretar os autovalores de (4.79) como correes do espectro de energia.

O problema reside no fato de que o operador do lado direito da equao (4.62) no
genuinamente uma hamiltoniana, isto porque quando agrupamos as derivadas temporais na
equao (4.60), misturamos uma derivada temporal originria do termo cintico da equao

38

de Dirac com uma derivada oriunda da operao estrela.

Todavia, o clculo perturbativo na seo 4.2 produz resultados interessantes. O fato do
operador

HI

no ser uma hamiltoniana legtima impe diculdades para o clculo perturba-

tivo da energia, mas no da funo de onda. Isto porque (4.62) ainda se trata da expanso
em primeira ordem da equao de Dirac no comutativa, independente da interpretao de

HI

como uma hamiltoniana.

Infelizmente ainda no encontramos um meio de calcular ex-

plicitamente as correes de primeira ordem para funo de onda. Isto porque a frmula de
Rayleigh-Schrdinger para a correo de primeira ordem do vetor de estado da forma [17]

(1)

|{n} i

(0)

(0)

(0)

h{n} |HI |{m} i|{n} i,

(4.88)

{m}6={n}
onde a soma se estende por todo espao complementar ao subespao degenerado caracterizado
pelo conjunto de nmeros qunticos

{n}, o que no caso do problema de Coulomb representa um

nmero innito de estados. No obstante, os resultados apresentados na tabela 4.2 sugerem

que deve haver quebra de degenerescncia, uma vez que h correo de ordem zero para os
autoestados do problema. Isto signica que h uma base de autoestados mais adequada ao
sistema no comutativo do que a base de autoestados do sistema original.
Devemos salientar a importncia de tomarmos o tensor de energia-momento calculado no
captulo 3 como ponto de partida para uma denio consistente da energia, pois como vimos
neste captulo, ao tentarmos denir a energia a partir da equao de Dirac no comutativa
chegamos a ambiguidades que dependem da forma do potencial eletromagntico externo, o
que torna essa abordagem inconsistente.

39

Captulo 5
Concluses
Anteriormente proposta por Snyder como possvel soluo para eliminar as divergncias das
teorias qunticas de campo [7], a no comutatividade ganhou interesse especial aps a descoberta de sua relao com a teoria de cordas [1] e com princpios gerais que devem reger a
fsica da gravitao quntica [4]. Desde ento, diversos modelos de espaos no comutativos
foram propostos, sendo a

no comutatividade cannica,

oriunda da teoria de cordas, a mais

estudada. Em contraste com a proposta de Snyder, a no comutatividade cannica viola a

simetria de Lorentz, a qual base fundamental da fsica de altas energias.
H um interesse especial no estudo de modelos operacionalmente mais simples, como
teorias de campos e mecnica quntica, em espaos no comutativos, devido facilidade
operacional de se trabalhar com tais teorias em comparao com as propostas de uma teoria completa de gravitao quntica. Alm disso, interessante vericar quais efeitos a no
comutatividade pode ter sobre teorias bem estabelecidas, como a fsica de partculas elementares, por exemplo. O objetivo deste trabalho foi investigar os efeitos da relativisticamente
invariante

no comutatividade de spin [11]

sobre a equao de Dirac minimamente acoplada

a um campo eletromagntico externo.

Introduzimos, no captulo 2, a equao de Dirac no comutativa conforme [12]. Para isso
denimos uma operao anloga ao produto estrela, a qual denominamos operao estrela
e no nal do captulo vericamos a covarincia da equao de Dirac sob transformaes de
Lorentz.
No captulo 3 usamos o formalismo desenvolvido em [12] para obter, de forma exata, a
corrente eltrica conservada, e estendemos esse formalismo para o clculo do tensor de energiamomento. Deve-se salientar que a obteno do tensor de energia-momento indita, e tanto
este quanto a corrente eltrica se vericam idnticos aos obtidos aproximadamente utilizando
o teorema de Noether.
Ainda seguindo [12], usamos teoria de perturbao estacionria para calcular, no captulo
4, os efeitos da no comutatividade sobre os nveis de Landau, vericando quebra de degenerescncia dos nveis em segunda ordem no parmetro perturbativo. Em seguida, vericamos
a equivalncia das correes para a energia obtidas por este clculo com as correes obtidas

40

pela expanso do tensor de energia-momento.

Por outro lado, ao tentarmos aplicar a teoria de Rayleigh-Shrdinger no problema de Coulomb, enfrentamos diculdades para a denio de uma hamiltoniana.. Mesmo truncando a
expanso da operao estrela em primeira ordem, devido s derivadas temporais provenientes
da operao, no estivemos aptos a denir uma hamiltoniana consistente. Todavia foi possvel
realizar algum clculo perturbativo e encontrar uma base de vetores de estado mais adequada
ao problema perturbado, tambm conhecida como correo de ordem zero dos estados degenerados. Isto pode indicar quebra de degenerescncia em ordens superiores, uma vez que
houve uma mistura entre os estados em ordem zero. Infelizmente, devido complexidade das
funes envolvidas, ainda no foi possvel calcular explicitamente as correes em primeira
ordem para os estados, o que certamente ca como uma perspectiva futura do trabalho.
Do ponto de vista fenomenolgico, a ausncia de correes em primeira ordem para os
sistemas estudados relaxa os vnculos sobre o parmetro no comutativo.

Na maioria dos

sistemas com no comutatividade cannica, as correes aparecem em primeira ordem [20,

21, 22, 23, 24, 25], o que impe condies mais fortes ao parmetro no comutativo.
Muitas questes de cunho fundamental ainda permanecem abertas, como, por exemplo, a
no hermiticidade do operador de posio, ou a possibilidade da denio consistente de uma
hamiltoniana em todas ordens para um potencial eletromagntico genrico.

41

Apndice A
Clculos envolvendo matrizes gama
Neste apndice apresentamos alguns clculos detalhados do tensor de energia-momento utilizados nos captulos 3 e 4. O tensor dado, exatamente, por

i
i
e
A, + e G ,
A,
T =

+ H ,
(A.1)
2 
2
2
2





i
i
e ? A e
? A .

m

2
2
2
2
Expandindo at a segunda ordem em

temos



i
i
i
i

m e A
=
2
2
2
2






ie
ie

( A ) 5 [ , ]
( A ) 5 ,
2
2
2




e

( A ) , ( )
(A.2)
4




e2
+
( A ) ,
4






e2

( A ) , + O 3 ,
4

ou, usando a identidade (3.5),

42

i
i
T =

2
 2

i
i

e
A

m
2
2


ie 5 ( A A )




+ ie 5 A A




e2

( A ) , ( )
4




e2
+
( A ) ,
4






e2

( A ) , + O 3 .
4

(A.3)

Para o caso especco do problema de Coulomb, tratado no captulo 4, o termo de segunda

ordem da componente

==0

0(2)
0

do tensor de energia-momento dado por



e2
0 (i j A0 ) 0 , i0 j ( )
4




e2
0 (i j A0 ) 0 , i j0
+
4




e2
(i j A0 ) 0 , i j

4
2




e
0 (i j A0 ) 0 , i0 j
=+
4




e2 

0 (i j A0 ) 0 , i0 j
4




e2
+
0 (i j A0 ) 0 , i j0
4




e2
(i j A0 ) 0 , i j

4
2




e
k l (i j A0 ) 0 , ik jl
=
4




e2 

0 (i j A0 ) 0 , i0 j ,
4
=

onde da primeira para segunda igualdade integramos o primeiro termo por partes.

(A.4)

Resta

calcular os anticomutadores presentes na equao acima. Calculamos o anticomutador geral

43

da forma

, = +




= i 5




+ i 5
= i 5
+ i 5




= + i 5


( ) i 5


i 5 ( ) i 5




i 5




+ i 5




i 5 i 5 ,

(A.5)

onde usamos sucessivamente as identidades [15]

= i 5


= i 5 .

(A.6)

Sabendo que [15]

(A.7)

temos que os anticomutadores presentes em (A.4) so dados por

 0 ik jl
, = i0ikj 5 l + i0ikl 5 j 0ik jl

(A.8)

+ i0jli 5 k i0jlk 5 i 0jl ik

e

0 , i0 j = ij + i j + iij 5
0 ji 0 i 0 ji0 5
+ i0ji 5 0 0j i0 .

44

(A.9)

A contrao dos smbolos de Levi-Civita presentes nas equaes anteriores cam

0ik jl = ji lk 0 + jk li 0 ,

(A.10)

0jl ik = ij kl 0 + il kj 0 ,

(A.11)

0j i0 = ij 0 0 + ij i j .

(A.12)

Assim temos os comutadores (A.8)

0 , ik jl = i0ikj 5 l + i0ikl 5 j + i0jli 5 k

(A.13)

i0jlk 5 i + 2 ij kl 0 2 il kj 0
e (A.9)

0 , i0 j = ij + i j + iij 5
0 ji 0 i 0 ji0 5
+ i0ji 5 0 + ij 0 0 ij + i j
= 2 ij + 2 i j + iijk 5 k i 0 ji0 5 .

(A.14)

Por m temos que a componente em segunda ordem da energia dada por

0(2)
0


e2
k l (i j A0 ) i0ikj 5 l + i0ikl 5 j
4

+i0jli 5 k i0jlk 5 i 2 ij kl 0 + 2 il kj 0


e2 
0 (i j A0 ) 2 ij + 2 i j

4


+iijk 5 k i 0 ji0 5


e2 i j

e2 k
i
k i A0 0 +
(i j A0 ) 0
=
2
2




 e2 




e2 
+
0 i i A0
i 0 i j j A0
2
2
2






e2
e
2 2 A0 0 +
i j (i j A0 ) 0
=
2
2
2









e

0 2 A0 + 0 /A0
2
=

onde na ltima igualdade usamos que

0 A0 = 0.

45

(A.15)

Apndice B
Problemas de Landau e Coulomb
comutativos
Neste apndice explicitamos alguns clculos dos problemas comutativos de Landau e Coulomb,
os quais so usados no captulo 4.

B.1

Problema de Landau

Primeiramente xamos o quadrivetor

A2 = Bx

escolhendo

A0 = A1 = A3 = 0,

ou seja, escolhemos um campo magntico constante de intensidade

(B.1)

na direo

z.

Fazemos,

ento, o seguinte Ansatz [14]

= eiEt

(B.2)

Desta forma, a equao de Dirac (2.50) ca

E
ou

!
!
!

~
= ( 0~ p~ + 0 m)
e 0~ A

(E m) = ~ (~p eA)
~
.
(E + m) = ~ (~p eA)
~

Eliminando
ordem para

(B.3)

(B.4)

do sistema acima, podemos reescrev-lo como uma equao de segunda

,
h
i2
~ .
(E 2 m2 ) = ~ (~p eA)

46

(B.5)

Denindo o momento cannico,

.
~,
~ = p~ eA

e usando

(~ ~ )2 = i j i j = (iijk k + ij )i j
= ~ 2 + ik (ijk i j ) = ~ 2 + i ( )


~ (~p eA)
~
= ~ 2 + i~ (~p eA)


~ + eA
~ p~ eA
~ p~ + e2 A
~A
~
= ~ 2 + i~ p~ p~ e~p A


2
~
= ~ + i~ ie A
~
= ~ 2 e~ B

(B.6)

podemos reescrever (B.5) como

E m




2
~
~
p~ eA e~ B



~ + ieA
~ + ieA
~ + e2 A
~ 2 e~ B
~
= p~2 + ie A


= p~2 + e2 B 2 x2 eB (z + 2xpy ) ,

(B.7)

onde da terceira para quarta linha substitumos (B.1).

Fazendo o

Ansatz (~x) = exp [i (py y + pz z)] f (x)

obtemos





E 2 m2 ei(py y+pz z) f (x) = x2 + p2y + p2z + e2 B 2 x2 eB (z + 2xpy ) ei(py y+pz z) f (x)




E 2 m2 p2z f (x) = x2 + (eBx py )2 eBz f (x),
(B.8)
onde

py

pz

no so mais operadores, mas nmeros reais. Vemos que a equao acima

basicamente a equao de um oscilador harmnico em

x.

Assumindo

eB > 0,

introduzimos


py 
.
= eB x
eB
2
2
. E m p2z
a=
eB

(B.9)

(B.10)

de forma que obtemos

 2

+ 2 z f () = af ()

(B.11)

onde vemos que chegamos, de fato, a equao de um oscilador harmnico. Se f um autovetor

de

com autovalor

= 1

f=

f1
0

(spin up e down, respectivamente), podemos escrever

!
( = 1);

f=

0
f1

!
( = 1)

(B.12)

e assim temos

(2 2 )f = (a + )f ;
47

( = 1).

(B.13)

As solues da equao acima so dadas por

f = ce
onde

Hn ()

2 /2

Hn (),

(B.14)

so os polinmios de Hermite.

As solues acima convergem desde que

a + = 2n + 1,

com

n N.

Disto obtemos que

os nveis de energia do problema so dados por

En, =

q
p22 + m2 + e(2n + 1 ).

(B.15)

Vemos que todos autoestados so innitamente degenerados em relao a

bm nota-se que, exceto pelo nvel fundamental
degenerados, uma vez que

E0,1 ,

px

py .

Tam-

os nveis excitados so duplamente

En,1 = En1,1 .

Os autoestados podem ser escritos como [12]

|n, i = cn,
onde introduzimos os autovetores de

|ni
~
~

|ni
En, +m

!
(B.16)

z
z =

com

= 1,

(B.17)

e onde temos

n = h~x|ni = ei(p2 x2 +p3 x3 ) e

com
1

cn,

(eB) 4
=
2

2 /2

Hn ()

En, + m
1
p
.
En,
2n+1 n!

Com essas denies garantimos a relao de ortogonalidade

m calculamos as seguintes relaes envolvendo o momento

~ ,

(B.18)

(B.19)

hn0 , 0 |n, i = n0 ,n 0 , .

Por

as quais sero uteis para os

clculos perturbativos do captulo 4:




i(py y+pz z) 2 /2
hx| |ni = i eB e
e
Hn ()



2
2
= i eBei(py y+pz z) Hn ()e /2 + e /2 Hn0 ()



1
i(py y+pz z) 2 /2
= i eBe
e
2nHn1 () Hn+1 nHn1 ()
2



1
1 |ni = i eB
|n + 1i n|n 1i ,
2
1

48

(B.20)


2
hx| 2 |ni = eBei(py y+pz z) e /2 Hn ()



1
i(py y+pz z) 2 /2
Hn+1 () + nHn1 ()
= eBe
e
2



1
2
|ni = eB
|n + 1i + n|n 1i ,
2
3 |ni = pz |ni.

B.2

(B.21)

(B.22)

Problema de Coulomb

No problema de Coulomb temos que o campo magntico nulo e o campo eltrico dado por

~ = Ze ~r,
E
r3
onde

(B.23)

o nmero atmico do elemento estudado (no caso do Hidrognio

Z = 1).

Fixado o

campo eltrico, temos que o quadripotencial pode ser escrito como

~=0
A

A0 =

Ze
.
r

(B.24)

Deste modo podemos escrever a hamiltoniana do problema como

H=

Ze2
+ 0 m + 0~ p~.
r

(B.25)

Para nomear os autoestados do problema devemos buscar grandezas conservadas do sistema, ou seja, operadores que comutam entre si e com o hamiltoniano [18]. Um deles o
operador de momento angular total

~
~ + 1 ,
J~ = L
2

(B.26)

o qual composto pelo operador de spin

i
i = ijk j k ,
2

(B.27)

e pelo operador de momento angular orbital

Li = ijk xj pk .

49

(B.28)

Outro operador com tais propriedade dado por

K=




1
0 ~ ~
~
~
J I = L+I ,
2

(B.29)

que, em certo sentido, mede a projeo do spin na direo do momento angular total.
Para um eltron num potencial central podemos construir autofunes simultneas de

K, J

J3 ,

cujos autovalores so, respectivamente,

E , , j(j + 1)

j3 .
e j.

H,

Vamos derivar uma importante relao entre os nmeros qunticos

Primeiro temos

que

 

0 ~ ~
~
~
K = L+I L+I

2
~
~
= L+I

2
~ L
~ + 2
~ L
~ +I
=


~ 2 + i
~ L
~ L
~ + 2
~ L
~ +I
=L
2

~2 +
~ L
~ + I,
=L

(B.30)

onde da terceira para a quarta linha usamos [18]

~ A
~





~ B
~ =A
~B
~ + i
~ A
~B
~ .

(B.31)

Por outro lado, uma vez que

J~2 =

onde usamos que

2

1~

~
~ + 1
L
2

2

~2 + L
~
~ + 3 I,
=L
4

(B.32)

3
1
para partculas de spin , podemos escrever
4
2

1
K 2 = J~2 + I.
4
Isto signica que os autovalores de

J~2 e K 2

(B.33)

no so independentes, mas esto relacionados

por

1
= j (j + 1) + =
4
2

ou


2
1
j+
,
2



1
= j+
.
2

(B.35)

um inteiro no nulo que pode ser positivo ou negativo. O sinal de indica se

partcula est paralelo ( < 0) ou antiparalelo ( > 0) ao momento angular total.

Portanto
o spin da

(B.34)

50

Na representao de Dirac escrevemos

K=

explicitamente como

~ +I
~ L
0
~ I
~ L
0

e escrevendo a funo de onda de quatro componentes

onde

(B.36)

como

A
B

(B.37)

so funes de onda de duas componentes cada, podemos obter as seguintes

relaes



~ + I A = A ;
~ L
~2

J A,B



~ + I B = B ,
~ L

(B.38)

2

1
~ + ~ A,B = j (j + 1) A,B ,
= L
2

(B.39)



1
= L3 + 3 A,B = j3 A,B .
2

(B.40)

J3 A,B

onde assumimos que a funo de onda

autofuno simultnea de

H , K , J~2

J3 .

Pela equao (B.39) vemos que, agindo nas funes de onda de duas componentes

~2

~
J ~ L
~ 2 apesar
autofunes de L
L

igual a

~2

3
I. E usando a relao (B.38), vemos que
4
de

A,B

A,B ,

so, separadamente,

no ser. Escrevendo

~ 2 A,B = `A,B (`A,B + 1) A,B ,

L

(B.41)

obtemos, pelas relaes (B.38) e (B.39),

1
4
1
= j (j + 1) `B (`B + 1) + .
4


= j j + 12 , podemos escrever as
= j (j + 1) `A (`A + 1) +

Por m, lembrando que

`A,B

(B.42)
(B.43)

seguintes relaes entre

j
`A
=j+

1
2

= j+

j+


1
2

`B
1
2
1
2

j
j+

1
2
1
2

Tendo em mos todas denies e relaes obtidas anteriormente, podemos escrever a

equao de autovalores

H = E como o seguinte sistema de equaes diferenciais acopladas

(~ p~) B
(~ p~)

= E+

= E+
51

Ze2
r
Ze2
r

m A

.
+ m B

(B.44)

As solues desse sistema podem ser escritas na seguinte forma

A
B

onde

Yj`j3

so autofunes de

s
Yj`j3
para

j =`+

j3 21

(B.45)

normalizadas e independentes de

!
+

` j3 + 12 j3 12
Y`
2` + 1

1
. As funes
2

Y`m

` j3 + 21 j3 + 21
Y`
2` + 1

dadas por

!
(B.46)

P`m (cos )

!
+

` + j3 + 12 j3 + 21
Y`
2` + 1

(B.47)

so os harmnicos esfricos usuais dados por

.
Y`m (, ) = (1)m
onde

~2
S

1
e
2

Yj`j3

j =`

1
2

g (r) Yj`j3A
if (r) Yj`j3B

` + j3 +
Y`
2` + 1

para

~2
J~2 , J3 , L

2n + 1 (` m)! m
P` (cos ) eim ,
4 (` + m)!

(B.48)

so os polinmios associados de Legendre.

Resta-nos determinar as funes

relaes. Primeiro reescrevemos

~ p~

f (r)

mas para isso necessrio obter algumas

como

(~ ~x)
~ p~ =
r2
onde usamos que

g (r),

i j = iij k + ij I.




~
ir + i~ L .
r

Por outro lado temos que

~ ~x j3
Yj`A(B) = Yj`j3B(A) .
r
Assim, obtemos as seguintes relaes entre

(B.50)

(1 )
df j3
Yj`A
f Yj`j3A ,
dr
r
dg
(1 + )
(~ p~) A = i Yj`j3B + i
gYj`j3B .
dr
r

(~ p~) B =

Para determinar as funes

(B.49)

(B.51)
(B.52)

f (r) e g (r) substitumos (B.45) no sistema (B.44), e utilizando

as relaes (B.51) e (B.52) chegamos a

df
dr
dg +
dr

(1)
f
r

(1+)
g
r


= E+

= E+
52

Ze2
r
Ze2
r


m g
 .
+m f

(B.53)

As solues desse sistema so dadas por sries de potncia em

r.

Assim como no caso no-

relativstico, a convergncia dessa srie est condicionada a um nmero inteiro no-negativo

n0

a partir do qual a srie termina, o qual relacionamos com o que denominamos nmero

quntico principal

por

.
n = n0 + ||.

As funes

so dadas por [26]

s
p

3


(2 + n0 + 1)
1
2Z 2 NZra
2Zr 1
0

f =
e

4N (N ) N a0
N a0
(2 + 1) n0 !





2Zr
2Zr
0
0
0
n F n + 1, 2 + 1,
+ (N ) F n , 2 + 1,
N a0
N a0

(B.54)

s
p


3

(2 + n0 + 1)
2Zr 1
1+
2Z 2 NZra
0

g=

e
4N (N ) N a0
N a0
(2 + 1) n0 !





2Zr
2Zr
0
0
0
n F n + 1, 2 + 1,
+ (N ) F n , 2 + 1,
N a0
N a0

onde

.
.
= E/m, a0 = (m)1 , = 2 2 Z 2

. p
N = n2 2n0 (|| ).

(B.55)

As funes F

acima so funes hipergeomtricas conuentes denidas por [19]

X
(a)k z k
F (a, b, z) =1 F1 (a, b, z) =
,
(b)k k!
k=0

(B.56)

(a)k = a (a + 1) (a + 2) ... (a + k 1) so os smbolos de Pochhammer. Devemos notar

que, se a 0, os smbolos de Pochhammer so nulos para k > a e a srie em (B.56) ser
0
nita. Logo f e g tem nitos termos desde que n 0. No entanto devemos observar que
0
para n = 0 temos N = |n| = || , ou seja, f e g divergem para > 0 e os
onde

estados congurados por tais nmeros qunticos devem ser excludos.

Por m, as autoenergias do problema so dadas por

En, = r
1+
Temos que, para todo
nvel

n2

tem

n1

n 2,

existem

n1

(B.57)

estados com mesmo

pares de estados degenerados devido a

||

e, portanto, todo

Alm disso, uma vez que a

j3 , todos estados so degenerados nesse nmero quntico, tendo grau

2j + 1.

energia no depende de
de degenerescncia

Z 2 2

2
(n||+ 2 Z 2 2 )

53

Referncias Bibliogrcas
[1] Nathan Seiberg and Edward Witten. String theory and noncommutative geometry.

nal of High Energy Physics,

[2] Alain Connes.

1999(09):032, 1999.

Noncommutative Geometry.

Academic Press, 1994.

[3] S. Majid and H. Ruegg.

commutative geometry.

Bicrossproduct structure of -poincare group and non-

Physics Letters B,

334(3-4):348  354, 1994.

[4] Sergio Doplicher, Klaus Fredenhagen, and John E. Roberts.

induced by classical gravity.

Jour-

Physics Letters B,

[5] James Foster and J. David Nightingale.

Spacetime quantization

331(1-2):3944, 1994.

A Short Course in General Relativity.

Springer,

2005.
[6] Richard J. Szabo. Quantum eld theory on noncommutative spaces.

Phys.Rept., 378:207

299, 2003.
[7] Hartland S. Snyder. Quantized space-time.

Phys. Rev.,

71:3841, Jan 1947.

[8] Thomas Filk. Divergencies in a eld theory on quantum space.

Physics Letters B, 376(1-

3):53  58, 1996.

[9] H. Falomir, J. Gamboa, J. Lopez-Sarrion, F. Mendez, and P.A.G. Pisani. Magnetic-dipole
spin eects in noncommutative quantum mechanics.

Physics Letters B, 680(4):384  386,

2009.
[10] J. Gamboa and F. Mendez.

Bose-Einstein condensation theory for any integer spin:

Approach based in noncommutative quantum mechanics. 2009.

[11] M. Gomes, V. G. Kupriyanov, and A. J. da Silva. Noncommutativity due to spin.

Rev. D,

Phys.

81:085024, Apr 2010.

[12] A.F. Ferrari, M. Gomes, V.G. Kupriyanov, and C.A. Stechhahn.

fermion in the presence of spin noncommutativity.
1480, 2013.

54

Dynamics of a Dirac

Physics Letters B,

718(4-5):1475 

[13] Ashok Das.

Lectures of Quantum Field Theory.

World Scientic Publishing Company, 9

2008.
[14] Claude Itzykson and Jean-Bernard Zuber.

sics).

Quantum Field Theory (Dover Books on Phy-

Dover Publications, 2006.

[15] V.I. Borodulin, R.N. Rogalev, and S.R. Slabospitsky. CORE: COmpendium of RElations:
Version 2.1. 1995.
[16] Mark Srednicki.

Quantum Field Theory.

Cambridge University Press, 2007.

[17] J. J. Sakurai.

Modern Quantum Mechanics (Revised Edition).

[18] J. J. Sakurai.

Advanced Quantum Mechanics.

Addison Wesley, 1993.

Addison-Wesley, 1967.

[19] George B. Arfken, Hans J. Weber, and Frank E. Harris.

Physicists, Sixth Edition: A Comprehensive Guide.

Mathematical Methods for

Academic Press, 2005.

[20] J. Gamboa, M. Loewe, and J. C. Rojas. Noncommutative quantum mechanics.

Rev. D,

Phys.

64:067901, Aug 2001.

[21] V.P. Nair.

Quantum mechanics on a noncommutative brane in M(atrix) theory.

Phys.Lett.,

B505:249254, 2001.

[22] A.F. Ferrari, M. Gomes, and C.A. Stechhahn. The 1/N Expansion in Noncommutative
Quantum Mechanics.

Phys.Rev.,

D82:045009, 2010.

[23] C Duval and PA Horvthy. The exotic galilei group and the peierls substitution.

Letters B,

Physics

479(1):284290, 2000.

[24] M. Chaichian, M. M. Sheikh-Jabbari, and A. Tureanu. Hydrogen atom spectrum and the
lamb shift in noncommutative qed.

Phys. Rev. Lett.,

86:27162719, Mar 2001.

[25] T.C. Adorno, M.C. Baldiotti, M. Chaichian, D.M. Gitman, and A. Tureanu. Dirac equation in noncommutative space for hydrogen atom.

Physics Letters B,

682(2):235239,

2009.
[26] Hans A. Bethe, Edwin E. Salpeter, and Physics.

Electron Atoms (Dover Books on Physics).

55

Quantum Mechanics of One- and Two-

Dover Publications, 2008.