FI001

Aula 14

Potenciais e transformaes de Gauge

Em Mecanica Classica o ponto zero de energia nao tem significado fsico. A
evolucao temporal de variaveis dinamicas, tais como, x(t), p(t) ou L(t), n
ao e
alterada se usarmos V (x) ou V (x) + V0 (constante no espaco e no tempo).
Isso porque F =

rV (x) e ) V0 uma constante aditiva, n

ao e importante.

Como sera a situacao analoga em Mecanica Quantica?

8
>
<|, t0 ; ti ! V (x)
Suponha
ambas com |i em t = t0 .
>
: ^
|, t0 ; ti ! V (x) = V (x) + V0

Nos sabemos evoluir kets no tempo

p2
(t t0 )
^
|, t0 ; ti = exp
i
+ V (x) + V0
|i =
2m
~
iV0 (t t0 )
|, t0 ; ti.
= exp
~

Eles sao diferentes. Diferem por uma fase global exp

MAPLima

iV0 (t t0 )
~

FI001
Aula 14

Potenciais e transformaes de Gauge

Para um estado estacionario, somar um potencial constante V0 na
Hamiltoniana implica em uma mudanca na dependencia temporal

do tipo

>
Se
V
(x)
!
exp
<
>
:

iE(t t0 )
~

Se V (x) + V0 ! exp

i(E+V0 )(t t0 )
~

ou seja, mudar de V (x) ! V (x) + V0 implica em E ! E + V0 .

Efeitos observaveis, como evolucao temporal de valores esperados
(exemplos: hxi, hpi, etc.), dependem das chamadas frequencias de
Bohr (diferencas em energia) e portanto nao mudam mediante a
adicao de um potencial constante na Hamiltoniana.

MAPLima

Apresentamos um primeiro exemplo de transformacao de Gauge:

8
iV0 (t t0 )
>
|,
t
;
ti
!
exp
|, t0 ; ti
0
<
~
V (x) ! V (x) + V0 E ! E + V0
>
iV0 (t t0 )
:
ou (x, t) ! exp
(x, t)
~

FI001
Aula 14

Potenciais e transformaes de Gauge

O que aconteceria, se V0 fosse espacialmente uniforme, mas dependente do
Z
i t

tempo? |, t0 ; ti = U (t, t0 )|i, com U (t, t0 ) = exp

H(t)dt . Mas,
~ t0
se H(t) = H + V0 (t), entao

|, t0 ; ti = exp

i
H(t
~

t0 ) exp

e ) teramos |, t0 ; ti ! exp
| {z }
|
V (x)

i
~

i
~
t
t0

t
t0

V0 (t)dt |i

V0 (t)dt |, t0 ; ti
{z
}

V (x) + V0 (t)

Pergunta importante: Sera que a adicao de um potencial espacialmente

constante, mas variavel no tempo, causa algum efeito mensuravel no sistema?
Para responder isso, imagine um experimento com um feixe de partculas que
e separado em dois: Parte passa por uma regiao de potencial V1 (t) e a outra
parte por um potencial V2 (t) que variam de forma diferente no tempo. Em
seguida juntamos os feixes e realizamos uma experiencia de interferencia.
Sera que perceberamos diferencas nos resultados deste novo experimento,
MAPLima

conforme variassemos a dependencia temporal dos potenciais?

O pacote de onda de cada partcula e dividido em dois.

Potenciais e transformaes de Gauge

FI001
Aula 14

O Experimento
Separa o feixe
V2 (t)
Pode criar diferenca
de potencial
V1 (t)

zona de
interferencia

Dimensao do
pacote menor
que a gaiola

Gailola metalica: gerando V1 (t) e V2 (t) depois que a

partcula esta dentro dela e desligando antes dela sair

A interferencia sera do tipo cos ( 1

2 ) e/ou sin ( 1
2 ), onde
Z
1 t2
dt V2 (t) V1 (t) . Embora nenhuma forca atue na
1
2 =
~ t1
partcula, pois rV (t) = 0, existe um efeito mensuravel. Efeito
(
cos ( 1
2)
puramente quantico, pois quando ~ ! 0
oscilam
sin ( 1
)
2
MAPLima

muito, destruindo qualquer efeito interessante.

FI001
Gravidade em Mecnica Quntica
Aula 14 Sera que existe algum efeito gravitacional quantico? Veremos que sim, mas
antes exploremos as diferencas entre mecanica classica e quantica.
Considere um corpo em queda livre
= mgrav r
minercial x

= mgrav g
z
= g
!x
z

grav

como minercial = mgrav

Uma vez que a massa nao aparece na equacao acima, gravidade em mecanica
classica e considerada uma teoria puramente geometrica.
A situacao em Mecanica Quantica nao e bem assim:
~2 2

@
r + m grav
= i~
! a massa nao cancela!
2m
@t
~
De fato, a massa aparece junto com ~, na forma . Isso tambem pode ser
m
visto na formulacao de integrais de caminho de Feynman
r
Z t2

m
Lclassica (x, x)
hxn , tn |xn 1 , tn 1 i =
exp i
dt
com
2i~ t
~
t1
MAPLima

Lclassica (x, x)
=
~

1
2
2 mz

mgz

! note ~ e m juntos e na forma

m
.
~

FI001
Aula 14

Potenciais e transformaes de Gauge

No limite nao quantico, camos na trajetoria classica definida pelo
princpio de mnima acao
Z t2
Z t2
12 mz 2 mgz
Lclassica (t)
dt
=
dt
= 0 e m se cancela.
~
~
t1
t1
Lembra do teorema de Ehrenfest?

d
d2
z
entao
m 2 hxi = hpi = hrV (x)i se rV (x) = mg
dt
dt
d2
m 2 hxi = mg
z (nao depende de ~ nem de m)
dt
Para ter efeito quantico nao trivial precisamos ter dependencia com
~ e consequentemente com m tambem.
Ate 1975, nao se sabia de nenhum experimento direto que permitisse

usar o termo m

grav

na equacao de Schrodinger.

Queda livre de partculas elementares ! equacao de Ehrenfest e

suficiente para mostrar que nao teremos efeitos quanticos.

Experimento sobre peso de protons de V. Pound et al. tambem

nao estabeleceu efeitos gravitacionais quanticos (eles mediram

deslocamentos de frequencias que nao dependem de ~ explicitamente).

MAPLima

FI001
Aula 14

Potenciais e transformaes de Gauge

Efeito gravitacional na escala microscopica e difcil de detectar. Porque?
As forcas envolvidas sao muito pequenas. Para ilustrar, considere o estado
ligado do atomo de hidrogenio. Sabemos que o tamanho tpico do atomo
~2
e estimado por a0 raio de Bohr = 2 . Como seria a0 se a forca de
e me
ligacao fosse gravitacional? Para calcular isso, troque o proton por um
e2
por
r2

Gme mn
. Obteramos com
r2
~2
isso, um raio de Bohr gravitacional a0 =
. A forca gravitacional
Gm2e mn
neutron, o que equivale a trocar

entre o neutron e eletron e cerca de 1039 vezes menor que a forca eletrica
e2
entre o proton e o eletron, pois
2.3 1039 .
Gme mn
Isto fornece um raio de Bohr gravitacional de 1031 cm 1013 anos-luz.

(Tamanho algumas vezes maior que o raio estimado do universo - 1028 cm)
MAPLima

FI001
Aula 14

Interferncia Quntica Induzida por Gravidade

Pacote e reunido em D
Medida de Interferencia

sin

mg
`

`2

Pacote e dividido

outro por ACD

MAPLima

`2

Pacote de onda
de um neutron
8
>
1)
>
>
>
>
>
<
dois casos
2)
>
>
>
>
>
>
:

gra
v

em A: pedaco por ABD

`1

`1

ABCD em um plano horizontal: potencial gravitacional igual

em ambos os percursos.
ABCD rodado de em torno de AC. Potencial gravitacional
no percurso AB e igual ao do CD, mas no percurso BD e
diferente do potencial do percurso AC.

Assim T =
ABD

MAPLima

`1
vpacote

ACD

`1 mn
2~

` 1 mn
~

`1 mn mn g`2 sin
~

mg
`
=

iT mn g`2 sin
A diferenca de fase sera: exp
, onde
~
T e o tempo para percorrer a distancia BD(ou AC);

pode variar de 0 `a
ou de 0 `a
;
2
2
(
`1
T = vpacote
Note que:
2~
p = ~k = ~ 2 = mn vpacote ) vpacote = m
n

`2
B

) a diferenca de fase fica

=

sin

Interferncia Quntica Induzida por Gravidade

gra
v

FI001
Aula 14

C
A

`1

m2n g`1 `2 sin

~2

FI001
Aula 14

Transformao de Gauge em Eletromagnetismo Base terica

Um pouco sobre cargas interagindo com campos eletromagneticos

v B
1) Comeca com a Forca de Lorentz F = e E +
.
c
2) Das Equacoes de Maxwell, percebemos a import
ancia de
8
>
r.B = 0 ! B = r A
>
>
>
>
>
<
1 @A
temos r E = 1c @B
!
r

E
+
@t
c @t = 0
>
>
>
>
>
>
:) E + 1 @A = r ! E = r
1 @A
c @t

c @t

Bz
By
z
!
c
c
1 @Ax
y @Ay
@Ax z @Ax
@Az
@
m
x=e
+
@x
c @t
c @x
@y
c @z
@x
d @L
@L
4) Lagrangeana: construda de tal forma que
=
forneca a
dt @ qi
@qi
equacao de movimento. Verifique que a expressao serve:
1
e

L = mx 2 + x.A(x,
t) e (x, t)
10
2
c
3) Equacoes de Movimento de Newton m
x = e Ex + y

MAPLima

eAe

FI001
Aula 14

Partcula carregada sujeita um campo eletromagntico

5) Momento canonico px

@L
e
= mx + Ax (x, t)
@ x
c

e
Ou seja, p = mx + A(x, t) (nao e simplesmente mv)
c
6) Construa a Hamiltoniana Classica
e 2
1
p
H = p.x L =
A +e
2m
c
7) Utilize as ferramentas as desenvolvidas para estudar o analogo quantico.
Para ilustrar, suponha inicialmente que E e B possam ser derivados de A
e

independentes do tempo. Isto e:

8
>
<E = r
(x, t) = (x) e A(x, t) = A(x), com B = r A
>
:
1
H = 2m
p

Na mecanica quantica, A e

2
e
A
c

+e

sao funcoes do operador posic

ao x da partcula.

Sendo assim, como [xi , pj ] = i~

ij

! [pi , Aj ] 6= 0. Isso exige cuidado para

lidar com H. Por exemplo, a parte envolvendo o operador

p
MAPLima

e 2
e
e2 2
2
A =p
A.p + p.A + 2 A
c
c | {z }
c
note simetria em A e p e que H e Hermiteano

11

FI001
Partcula carregada sujeita um
Aula 14 Comecemos com o enfoque de Heisenberg

campo eletromagntico

dxi
[xi , H]
1
e
e2 2
2
=
=
(p.A + A.p) + 2 A
(usei que [xi , ] = 0)
xi , p
dt
i~ 8 i~2m
c
c
2
>
<[xi , p ] = 2i~pi
@
Usando que [xi , (p.A + A.p)] = i~ @p
(pi Ai + Ai pi ) = 2i~Ai
i
>
:
[xi , A2 ] = 0

pi ec Ai
dxi
temos:
=
o que mostra que p (nosso gerador de translacoes) n
ao
dt
m
dx
dx
eA
e o mesmo que m . Definiremos |{z}
m
= p
|{z}
dt
dt
c
momento
momento
cinematico

can
onico

O momento canonico tem a propriedade [pi , pj ] = 0. E o cinem

atico?
e
e
e
i~e @Aj
@Ai
[i , j ] = [pi
Ai , pj
Aj ] =
{[pi , Aj ] + [Ai , pj ]} =
{
}
c
c
c
c @xi
@xj
|
{z
}
@G
onde usamos que [pi , G(x)] = i~
.
r A k = Bk
@xi
0 se i = j
i~e
De um modo geral podemos escrever: [i , j ] =
ijk Bk , onde
c
12
MAPLima para i 6= j 6= k, ijk = 1 se cclico em 1,2,3 e ijk = 1, se n
ao cclico.

FI001
Aula 14

Partcula carregada sujeita um campo eletromagntico

A Hamiltoniana pode ser reescrita como
e 2
2
A +e =
+e
c
2m
dx
e
d2 x
d
Ja sabemos que m
==p
A. Quanto vale m 2 =
?
dt
c
dt
dt
Facamos a conta para a componente i = 1, isto e:
1
H=
p
2m

d1
1
1
2
= [1 , H] = [1 ,
+e ]
dt
i~
i~
2m
8
[1 , 21 ] = 0
>
>
>
<[ , 2 ] = i~e m dx2 B + B m dx2
3
3
1
2
c
dt
dt
Mostre que
dx
dx3
i~e
2
3
>
[
,

m
B
+
B
m
]
=
1
2
2
>
3
c
dt
dt
>
:
@
[1 , e ] = i~e @x1 = i~eE1

e obtenha

d1
e
dx
dx
= eE1 +
B 1
B
dt
2c dt
dt

d
1 dx
dx
Enfim temos:
=e E+
B B
]
dt
2c dt
dt
a versao quantica da forca de Lorentz (teorema de Ehrenfest).
para a componente 1 :

MAPLima

13

FI001
Partcula carregada sujeita um campo
Aula 14 Como fica a equacao de Schrodinger com e A?
hx0 |H|, t0 ; ti = i~

eletromagntico

@ 0
hx |, t0 ; ti
@t

Comecemos por
1
e
2
hx0 | p
A(x) |, t0 ; ti =
2m
c
1
e
e
=
i~r0
A(x0 ) hx0 | p
A(x) |, t0 ; ti =
2m
c
c
1
e
e
=
i~r0
A(x0 )
i~r0
A(x0 ) )hx0 |, t0 ; ti
2m
c
c
Note que o gradiente da esquerda pegatodo mundo (inclusive o A(x0 )
da direita). Com isso, a equacao de Schrodinger e dada por:
1
e
e
i~r0
A(x0 )
i~r0
A(x0 ) hx0 |, t0 ; ti + e (x0 )hx0 |, t0 ; ti =
2m
c
c
@
= i~ hx0 |, t0 ; ti
@t
Como seria a nova definicao de j, o fluxo de probabilidade? Lembram
@
de como defin-lo? Use
+ r.j = 0, = , com = hx0 |, t0 ; ti
@t
MAPLima

14

FI001
Aula 14

Partcula carregada sujeita um campo eletromagntico

@
@
@
Para calcular j, o fluxo de probabilidade, comece por
=
+
,
@t
@t
@t
e use a equacao de Schrodinger do slide anterior para obter:
2
2
@
1
0
0
0
0
=
hx |
|, t0 ; ti hx |, t0 ; ti + hx |, t0 ; ti hx |
|, t0 ; ti.
@t
i~
2m
2m
Note que a parte em cancelou, pois = . A tarefa se resume em colocar
@
a expressao acima na forma:
+ r0 j = 0. Depois de algum trabalho, temos:
@t
~
e
j = Im( r0 )
A| |2
m
mc
8
e
>
<troca p ! p mc A
que poderia ter sido obtido, com
>
:~ 0
e
0
c
ao x
ir
mc A(x ) ! representa
Quando escrevemos a funcao de onda na forma

exp

iS
,
~

0
r S. Assim, o j, pode ser escrito por:
~
~ 0
e

e
j=
rS
A =
r0 S
A
m~
mc
mZ
c
hi
Mostre, seguindo o que fizemos para A = 0, que
d3 x0 j =
.
m
15
S real, obtivemos Im(

MAPLima

(x0 , t) =

r0 ) =

FI001
Aula 14

Transformao de Gauge
Estamos prontos para estudar transformacao de Gauge. Considere primeiro:
!

e A ! A, onde

e constante - nao depende de x e t.

Esta transformacao ja foi estudada antes (mudanca no zero da energia).

8
1 @
>
< !
c @t
Uma transformacao mais interessante e:
>
:
A ! A + r (x, t)
8
1 @
1 @
1 @
>
r
>
c @t )
c @t (A + r ) =
c @t A
<E = r(
Cujos campos
>
>
:B = r (A + r ) = r A + r r = r A
| {z }
ficam inalterados e ) a trajetoria classica da partcula carregada sob
acao destes campos nao se altera (a forca de Lorenz nao se altera).

Queremos estudar os efeitos quanticos da transformacao de Gauge.

8
>
< !
Para isso, considere um caso particular
|
{z
}>
:
A ! A + r (x)
(x, t) = (x) nao depende de t.

MAPLima

16

FI001
Aula 14

Transformao de Gauge

8
By
>
A
=
x
>
2
>
>
>
>
<
Considere B = B
z. Tal campo pode ser derivado de Ay = Bx
2
>
>
>
>
>
>
:A = 0

pois,

B =rA=

@Az
@y

8
>
Ax = By
>
>
>
>
>
<
ou de Ay = 0
>
>
>
>
>
>
:A = 0

@Ay
@Ax
x
+
@z
@z

@Az
@Ay
y
+
@x
@x

@Ax

z = B
z
@y

pela mesma razao, ou seja B = r A = B

z.

Note que os dois A0 s se relacionam por Anovo = Avelho + r

MAPLima

Bxy
| {z2 }
(x)

17

Transformao de Gauge

FI001
Aula 14

Para B = B
z, considere a forca de Lorentz
vB
e
F=e
=
c
c

vx
0

vy
0

z
vz
B

eB
(vy x

vx y
) =

eB
eB
v? (sin '
x cos '
y) =
v? (
e' )
|
{z
}
c
c

e'
@ forca na direcao
z e a forca sempre aponta ? `
a v e no plano xy.
=

) a partcula realiza uma espiral (movimento circular no plano xy).

z

B = B
z

'
vk

x
v

v?
y

'
x
MAPLima

e'

e'

'

e'

'
y

v?

18

FI001
Aula 14

Transformao de Gauge
dpx
@H
Considere agora a equacao de Hamilton
=
dt
@x
1
e 2
1
e
onde H =
p
A +e
=
p2
p.A
|{z} 2m
2m
c
c
0
8
>
= 0 se usarmos A = ( By, 0, 0)
dpx
@H <
=
dt
@x >
:
Bx
6= 0 se usarmos A = ( By
2 , 2 , 0)

e
e2 2
A.p + 2 A
c
c

Isto mostra que em geral o momento canonico nao e invariante de Gauge.

importante, entretanto que seja invariante de Gauge, pois ele
E
e responsavel pela trajetoria que depende apenas das condic
oes iniciais
e da forca de Lorentz (que nao depende de ).
e
e
Como e p estao relacionados por = p
A ! p e A devem mudar
c
c
de forma a nao alterar .

MAPLima

19