Notas de Quântica Do Prof Abraham - Cap. 2

Captulo 2
Dinmica Quntica
Modern Quantum Mechanics - J.J. Sakurai (Revised Edition)
2.1 A Evoluo Temporal e a Eq. de Schrdinger
Tempo. Em MQ, o tempo no considerado um operador, mas apenas um parmetro contnuo.
Operador Evoluo Temporal
Como um estado ket varia com o tempo?
|o, t
0
). sistema em t = t
0
no estado representado por |o)
|o, t
0
; t). sistema em t > t
0
, que estava no estado |o) em t = t
0
.
Como t um parmetro contnuo, espera-se que
lim
tt0
|o, t
0
; t) = |o)
ou, numa notao abreviada,
|o, t
0
; t
0
) = |o, t
0
).
Evoluo temporal. Nossa tarefa estudar a evoluo temporal do estado ket
|o, t
0
) = |o)
evoluo temporal
|o, t
0
; t)
Em outras palavras, queremos saber como o estado ket evolui sob uma mudana t
0
t no tempo.
Operador evoluo temporal. Como no caso da translao, esses dois kets esto relacionados
por um operador que chamaremos operador evoluo temporal U(t, t
0
):
|o, t
0
; t) = U(t, t
0
) |o, t
0
) (1.5)
Propriedades do operador evoluo temporal
Unitariedade. Esta propriedade importante, uma vez que implica na conservao de
probabilidade.
Exemplo Suponha que em t
0
o estado ket seja expandido em termos dos autokets de algum
observvel A:
|o, t
0
) =
_
a
c
a
(t
0
) |a)
Da mesma forma, algum tempo depois teremos:
Captulo 2: Dinmica Quntica 1
|o, t
0
; t) =
_
a
c
a
(t) |a)
Em geral, no esperamos que os mdulos dos coeficientes de expanso permaneam os mesmos
c
a
(t) = c
a
(t
0
)
Geralmente, devemos ter
_
a
|c
a
(t)|
2
=
_
a
|c
a
(t
0
)|
2
a despeito da desigualdade para os coeficientes individuais. Colocado de outra maneira, se o estado
ket inicialmente normalizado unidade, ele deve permanecer normalizado para todos os tempos
posteriores:
o, t
0
| o, t
0
= 1 o, t
0
; t | o, t
0
; t = 1
Como no caso da translao, esta propriedade garantida se o operador evoluo temporal for um
operador unitrio:
U
(t, t
0
) U(t, t
0
) =1
Composio. Outra propriedade que devemos atribuir ao operador evoluo temporal a
composio
U(t
2
, t
0
) = U(t
2
, t
1
) U(t
1
, t
0
), (t
2
> t
1
> t
0
)
Esta equao nos diz que, se estamos interessados em obter a evoluo temporal de t
0
a t
2
, ento
podemos obter o mesmo resultado, primeiro considerando a evoluo temporal de t
0
a t
1
e depois de
t
1
a t
2
. (A equao deve ser lida da direita para a esquerda.)
Operador evoluo temporal infinitesimal. vantajoso considerar um operador evoluo
temporal infinitesimal U(t
0
+ dt, t
0
)
|o, t
0
; t
0
+ dt) = U(t
0
+ dt, t
0
) |o, t
0
)
Devido continuidade, o operador infinitesimal deve reduzir-se ao operador identidade quando dt 0
lim
dt0
U(t
0
+ dt, t
0
) = 1
e, como no caso da translao, esperamos que a diferena entre U(t
0
+ dt, t
0
) e 1 seja de primeira
ordem em dt.
Qual o operador que satisfaz todas essas propriedades?
Operador evoluo temporal infinitesimal. Podemos assegurar que essas propriedades so
satisfeitas pelo operador
U(t
0
+ dt, t
0
) = 1 iOdt
onde O um operador hermitiano
Mecnica Quntica A / Prof. Dr. Abraham Moyss Cohen 2
O
= O
Demonstrao 1. Devido propriedade de composio,
U(t
0
+ dt
1
+ dt
2
, t
0
) = U(t
0
+ dt
1
+ dt
2
, t
0
+ dt
1
)U(t
0
+ dt
1
, t
0
)
ou
U(t
0
+ dt
1
+ dt
2
, t
0
) = 1 iO dt
2
1 iO dt
1
~ 1 iO(dt
1
+ dt
2
)
que difere do operador identidade por um termo de primeira ordem em dt.
Demontrao 2. Para a propriedade da unitariedade, podemos verificar como segue
U
(t
0
+ dt, t
0
) U(t
0
+ dt, t
0
) = 1 + iO
dt 1 iO dt
= 1 + O
O dt
2
~ 1
desprezendo termos da ordem (dt)
2
ou mais elevada.
Como o operador ?
O operador O tem dimenso de frequncia, ou inverso do tempo. Um observvel familiar com
dimenso de frequncia a energia. Na teoria antiga da mecnica quntica, a frequncia est
relacionada com a energia atravs da relao Planck-Einstein,
E = ho
Vamos emprestar da mecnica clssica a idia de que a Hamiltoniana o gerador da evoluo
temporal. ento natural relacionar O ao operador Hamiltoniano, H:
O =
H
h
Em resumo, o operador evoluo temporal infinitesimal escrito como
U(t
0
+ dt, t
0
) = 1
iH dt
h
onde o operador Hamiltoniano um operador hermitiano.
Equao de Schrdinger
Estamos agora em condies de derivar a equao diferencial fundamental para o operador evoluo
temporal U(t, t
0
). Explorando a propriedade da composio
U(t + dt, t
0
) = U(t + dt, t)U(t, t
0
) = 1
iH dt
h
U(t, t
0
)
onde a diferena t t
0
no precisa ser diferencial. Temos
U(t + dt, t
0
) = U(t, t
0
) i
H
h
dt U(t, t
0
)
ou
U(t + dt, t
0
) U(t, t
0
) = i
H
h
dt U(t, t
0
)
que pode ser escrito na forma de equao diferecial
ih
cU(t, t
0
)
ct
= H U(t, t
0
) (1.25)
Esta a equao de Schrdinger para o operador evoluo temporal. Qualquer coisa que tenha a ver
com a variao no tempo segue dessa equao fundamental.
Equao de Schrdinger para o estado ket. Multiplicando ambos os lados da Eq. (2.1.25) por
|o, t
0
) pelo lado direito, obtm-se
ih
c
ct
U(t, t
0
) |o, t
0
) = H U(t, t
0
) |o, t
0
)
Mas |o, t
0
) no depende de t, tal que esta equao a mesma que
ih
c
ct
|o, t
0
; t) = H |o, t
0
; t)
onde usamos (1.5).
Observao Se for dado U(t, t
0
) e, se alm disso, conhecermos como U(t, t
0
) atua sobre o ket inicial
|o, t
0
), no necessrio mexer com a equao de Schrdinger para o estado ket. O que se tem que
fazer aplicar U(t, t
0
) a |o, t
0
). Desta maneira, podemos obter o ket para qualquer t.
Devemos, portanto, derivar as solues formais da equao de Schrdinger para o operador evoluo
temporal. Existem trs casos a serem tratados separadamente:
Caso 1: O Hamiltoniano independente do tempo. A soluo de (2.1.25) , neste caso,
U(t, t
0
) = exp
iH(t t
0
)
h
. (1.28)
Demonstrao. Seja a expanso da funo exponencial
exp
iH(t t
0
)
h
= 1
iH(t t
0
)
h
+
(i)
2
2
H(t t
0
)
h
2
+
Como a derivada desta expanso dada por
c
ct
exp
iH(t t
0
)
h
=
iH
h
+
(i)
2
2
2
H
h
2
(t t
0
) +
Multiplicando por ih ambos os membros, encontramos
ih
c
ct
exp
iH(t t
0
)
h
= H 1
iH(t t
0
)
h
+
que a mesma (2.1.25).
Demontrao alternativa. Uma maneira alternativa de obter essa soluo, usar a
composio de operadores infinitesimais. A aplicao sucessiva desses operadores resulta em (v.
figura)
t
0
t
N
t t ) (
0
lim
N
iH/h(t t
0
)
N
N
= exp
iH(t t
0
)
h
Caso 2: O Hamiltoniano depende do tempo e comuta. Agora o Hamiltoniano depende do tempo,
mas os Hs em tempos diferentes comutam entre si. Como exemplo, considere o momento magntico
de spin sujeito a um campo magntico, cujo mdulo varia com o tempo, mas a direo permanece a
mesma. Neste caso, a soluo formal de (2.1.25)
U(t, t
0
) = exp
i
h
]
t0
t
dt
'
H(t
'
)
Caso 3: O Hamiltoniano depende do tempo e no comuta. Neste caso o Hamiltoniano depende
do tempo e os Hs em tempos diferentes no comutam entre si. Considerando o exemplo do momento
magntico, agora a direo do campo magntico varia com o tempo: por exempo, em t = t
1
o campo
aponta na direo x, em t = t
1
, na direo y e assim por diante. Como S
x
e S
y
no comutam entre si,
H(t
1
) e H(t
2
), que contm termo do tipo S - B, tambm no comutam. Como soluo formal, podemos
integrar a equao (1.2.25) com a condio de contorno U(t, t
0
)|
t=t0
= U(t
0
, t
0
) = 1, ou seja,
ih
cU(t, t
0
)
ct
= H U(t, t
0
) U(t, t
0
) = 1 +
i
h
]
t0
t
dt
'
H(t
'
) U(t
'
, t
0
)
Esta equao integral pode ser resolvida iterativamente. Ou seja
U(t, t
0
) = 1
U(t, t
0
) = 1 +
i
h
]
t0
t
dt
1
H(t
1
) 1
U(t, t
0
) = 1 +
i
h
]
t0
t
dt
1
H(t
1
) 1 +
i
h
]
t0
t1
dt
2
H(t
2
)
= 1 +
i
h
]
t0
t
dt
1
H(t
1
) +
i
h
2
]
t0
t
dt
1 ]
t0
t1
dt
2
H(t
1
)H(t
2
)
Ou, de uma maneira geral,
U(t, t
0
) = 1 +
_
n
i
h
n
]
t0
t
dt
1 ]
t0
t1
dt
2
]
t0
tn1
dt
n
H(t
1
)H(t
2
)H(t
n
)
que conhecida como a srie de Dyson. Em aplicaes elementares, apenas o Caso 1 de interesse
prtico. Neste captulo, admitiremos que o Hamiltoniano seja independente do tempo.
Autokets de Energia
Efeitos do operador sobre um ket inicial |o). Vamos calcular o efeito do operador evoluo
temporal sobre um ket inicial geral |o), atravs dos kets de base |a
'
) usados para expandir |o). Vamos
supor que o operador A, cujos autokets so usados como base, comute com o Hamiltoniano. Ou seja,
|A, H] = 0.
Desta forma, os autokets de A so tambm autokets de H, chamados de autokets de energia, cujos
autovalores so denotados por E
a
' :
H |a
'
) = E
a
' |a
'
).
Expanso de U. Vamos expandir o operador U em termos de |a
'
)(a
'
|. Tomando t
0
= 0 por
simplicidade, obtm-se
exp
iHt
h
=
_
a
'
_
a
''
|a
''
)(a
''
| exp
iHt
h
|a
'
)(a
'
|
=
_
a
'
_
a
''
|a
''
)(a
''
| exp
iE
a
' t
h
|a
'
)(a
'
|
=
_
a
'
_
a
''
exp
iE
a
' t
h
|a
''
)
o
a
'
a
''
(a
''
|a
'
) (a
'
|
=
_
a
'
exp
iE
a
' t
h
|a
'
)(a
'
|
Observao. O operador evoluo temporal escrito dessa forma permite-nos resolver qualquer
problema de valor inicial, uma vez que a expanso do ket inicial em termos de |a
'
) conhecida.
Exemplo Suponha que a expanso do ket inicial seja
|o, t
0
= 0) =
_
a
'
|a
'
)(a
'
|o) =
_
a
'
c
a
' |a
'
).
Ento
o, t
0
= 0; t
Eq (2.1.5)
= exp
iHt
h
|o, t
0
= 0)
ou
o, t
0
= 0; t =
_
a
'
exp
iHt
h
|a
'
)(a
'
|o)
=
_
a
'
_
a
''
exp
iE
a
'' t
h
|a
''
)(a
''
|a
'
)(a
'
|o) =
_
a
'
c
a
' (t) |a
'
). (1.38)
Em outras palavras, o coeficiente de expanso varia com o tempo:
c
a
' (t = 0) c
a
' (t) = c
a
' (t = 0) exp
iE
a
' t
h
(1.39)
com seu mdulo inalterado. Note que as fases relativas entre as vrias componentes variam com o
tempo porque as frequncias de oscilaes, E
a
' /h, so diferentes.
Caso especial: estado inicial um dos |a
'
) . Quando o estado inicial um dos |a
'
) , ou
seja,
|o, t
0
= 0) = a
'
em tempos posteriores,
o = a
'
, t
0
= 0; t = a
'
exp
iE
a
' t
h
.
Importante: se o sistema estiver inicialmente num autoestado simultneo de A e H assim
permanecer para todos os tempos posteriores. O mximo que pode ocorrer a modulao de fase,
exp
iE
a
' t
h
. neste sentido que um observvel compatvel com H uma constante de movimento.
Demonstrao. De (1.38), sabemos que
o, t
0
= 0; t =
_
a
''
|a
''
)(a
''
|o)
iE
a
'' t
h
.
Para |o) = |a
'
) encontramos
o = a
'
, t
0
= 0; t =
_
a
''
|a
''
)(a
''
|a
'
)
iE
a
'' t
h
=
_
a
''
|a
''
) o
a
'
a
''
iE
a
'' t
h
= |a
'
)
iE
a
' t
h

Resumo. Na discusso precedente, a tarefa bsica na mecnica quntica reduzida a encontrar
um observvel que comuta com H e calcular seu autovalores. Uma vez que isso feito, expande-se o
ket inicial em termos do autokets daquele observvel e aplica-se o operador evoluo temporal. Este
ltimo passo significa uma mudana da fase de cada coeficiente de expanso, como indicada em
(2.1.39).
Mais de um observvel comuta com H. Embora se tenha discutivo o caso onde apenas um
observvel A comuta com H, nossas consideraes podem ser facilmente generalizadas quando
existem vrios observveis mutuamente compatveis, todos comutando com H. Ou seja,
|A, B] = |B, C] = |A, C] = = 0,
|A, H] = |B, H] = |C, H] = = 0.
Usando o ndice coletivo da Se. 1.4, |K
'
) = |a
'
, b
'
, c
'
, .), tem-se
exp
iHt
h
=
_
K
'
|K
'
) exp
iE
K
' t
h
(K
'
| (1.43)
onde E
K
' univocamente especificada uma vez que a
'
, b
'
, c
'
, . so especificados. portanto de
fundamental importncia encontrar um conjunto completo de observveis mutuamente
compatveis que tambm comutam com H. Uma vez que tal conjunto encontrado, expressa-se o
ket inicial como uma superposio dos autokets simultneos de A, B, C, . e H. O passo final aplicar i
operador evoluo temporal, escrito como (2.1.43). Desta maneira podemos resolver o problema de
valor inicial mais geral com H independente do tempo.
Dependncia Temporal de Valores Esperados
Como o valor esperado de um observvel B varia com o tempo?
Em relao ao autoestado de energia. Suponha que em t = 0 o estado inicial seja um dos
autoestados do observvel A, que comuta com H. Em tempos posteriores,
a
'
, t
0
= 0; t = U(t, 0) |a
'
)
No necessrio que o observvel B comute com A ou H. Neste caso,
(B) = a
'
, t
0
= 0; t B a
'
, t
0
= 0; t
= (a
'
| U
(t, 0) B U(t, 0) |a
'
)
= (a
'
| exp
iE
a
' t
h
B exp
iE
a
' t
h
|a
'
)
= (a
'
| B |a
'
)
que independente do tempo. Assim
O valor esperado de qualquer observvel tomado com respeito ao autoestado de energia
no varia com o tempo. Por esta razo, o autoestado de energia s vezes referido como
estado estacionrio.
Superposio de autoestados de energia. Vamos considerar o valor esperado, quando tomado
em relao a uma superposio de autoestados de energia, ou estado no estacionrio. Suponha
que incialmente se tenha
|o, t
0
= 0) =
_
a
'
c
a
' |a
'
).
Em tempos posteriores,
|o, t
0
= 0; t) =
_
a
'
c
a
' (t) |a
'
) =
_
a
'
c
a
' exp
iE
a
'
h
|a
'
)
onde fizemos c
a
' (t = 0) = c
a
' . Ento,
(B) = (o, t
0
= 0; t| B |o, t
0
= 0; t)
=
_
a
'
c
a
'
-
(a
'
| exp
iE
a
'
h
- B -
_
a
''
c
a
'' |a
''
) exp
iE
a
''
h
=
_
a
'
_
a
''
c
a
'
-
c
a
'' (a
'
| B |a
''
) exp
i(E
a
'' E
a
' )t
h
.
Assim, desta vez o valor esperado consiste em termos oscilantes, cujas frequncias angulares so
determinadas pela condio de frequncia de Bohr,
o
a
''
a
' =
(E
a
'' E
a
' )
h
.
Aplicao: Precesso de spin
Vamos tratar um sistema extremamente simples, que ilustra porm o formalismo bsico que foi
desenvolvido at agora.
Sistema de spin
Hamiltoniano do sistema
H =
e
m
e
c
S - B
(e < 0 para eltrons).
Campo magntio: B = Bz
Reescrevo H
H =
eB
m
e
c
S
z
Observvel que comuta com H. Como H e S
z
diferem por uma constante, eles comutam
entre si. Ou seja, |S
z
, H] = 0, o que significa que os autokets de S
z
, |+) e |), so autoestados
de energia e os autovalores de energia correspondentes so
H|) = E
|) E
= +
ehB
2m
e
c
, para S
z
.
Frequncia de Bohr. Define-se a frequncia de Bohr
o =
E
+
E
h
=
|e|B
m
e
c
Reescrevo H
H = oS
z
.
Operador evoluo temporal. Toda informao sobre a variao com o tempo est
contida no operador evoluo temporal
U(t, 0) = exp
iHt
h
= exp
ioS
z
t
h
Estado em t = 0. Vamos supor que em t = 0 o sistema seja caracterizado por
|o) = c
+ |+) + c
|)
Estado em t = t. Para determinar o estado no instante t aplica-se o operador evoluo
temporal ao estado no instante t = 0, ou seja,
|o, t = 0; t) = exp
ioS
z
t
h
c
+ |+) + c
|)
= c
+
exp
ioS
z
t
h
|+) + c
exp
ioS
z
t
h
|)
= c
+
exp
iot
2
|+) + c
exp
+iot
2
|)
Estado inicial S
z
+. Para o sistema especificamente no estado |o) = |+) (estado spin para
cima ou S
z
+),
c
+
= 1, c
= 0
Para tempos posteriores, o estado do sistema ser
|o, t = 0; t) = exp
iot
2
|+),
ou seja, o mesmo estado de spin para cima; isto no nenhuma surpreza uma vez que o
sistema inicialmente estava num estado estacionrio.
Estado inicial S
x
+. Neste caso, de acordo com (1.4.17a),
|o) = |S
x
; +) =
1
2
|+) +
1
2
|),
o que nos fornece
c
+
= c
=
1
2
O estado final ser
|o, t = 0; t) =
1
2
exp
iot
2
|+) +
1
2
exp
+iot
2
|)
Qual a probabilidade do sistema ser encontrado no estado S
x
?
Como
|S
x
; ) =
1
2
|+)
1
2
|)
encontra-se
|(S
x
; |o, t = 0; t)|
2
=
1
2
(+|
1
2
(| -
1
2
exp
iot
2
|+) +
1
2
exp
+iot
2
|)
2
ou,
|(S
x
; |o, t = 0; t)|
2
=
1
2
exp
iot
2
(+|+) +
1
2
exp
+iot
2
(+|)
1
2
exp
iot
2
(|+)
1
2
exp
+iot
2
(|)
2
=
1
2
exp
iot
2

1
2
exp
+iot
2
2
Ou seja,
|(S
x
; |o, t = 0; t)|
2
=
cos
2 ot
2
, para S
x
+
sen
2 ot
2
, para S
x

O que significam esses resultados ? Em t = 0 o sistema encontrava-se no estado |o) = |S
x
; +); ou
seja, o spin apontava para a direo positiva do eixo dos x. Com o passar do tempo, o campo
magntico na direo z produz uma rotao nesse spin e, como resultado, existe uma probabilidade
finita de encontr-lo na direo negativa do eixo dos x, isto , no estado S
x
.
Probabilidade total. A soma das duas probabilidades, em todos os instantes, sempre igual a
um.
Valor esperado de S
x
. O valor esperado de S
x
pode ser calculado, usando-se (1.4.6), isto ,
(A) =
_
a
'
a
'
|(a
'
|o)|
2
Logo,
(S
x ) =
h
2
cos
2 ot
2
+
h
2
sen
2 ot
2
=
h
2
cos
2 ot
2
sen
2 ot
2
=
h
2
cos 2
ot
2
=
h
2
cos(ot)
que est em concordncia com a frmula geral (2.1.47), uma vez que esta quantidade oscila com uma
frequncia angular correspondente diferena entre os dois autovalores de energia dividido por h.
Valor esperado de S
y
. Neste caso, como (ver Eq. (1.4.17b))
|S
y
; ) =
1
2
|+)
i
2
|)
as probabilidades so
|(S
y
; |o, t = 0; t)|
2
=
1
2
(+|
i
2
(| -
1
2
exp
iot
2
|+) +
1
2
exp
+iot
2
|)
2
=
1
2
exp
iot
2
(+|+) +
1
2
exp
+iot
2
(+|)
+
i
2
exp
iot
2
(|+) +
i
2
exp
+iot
2
(|)
2
=
1
2
exp
iot
2
+
i
2
exp
+iot
2
2
Assim,
|(S
y
; |o, t = 0; t)|
2
=
1
2
(1 + i) cos
ot
2
(1 + i) sen
ot
2
2
=
|1 i|
2
4
cos
ot
2
sen
ot
2
2
=
1
2
cos
2 ot
2
+ sen
ot
2
2cos
ot
2
sen
ot
2
=
1
2
1 2sen
ot
2
cos
ot
2
=
1
2
1 sen(ot)
Portanto,
(S
y ) =
h
2
1
2
1 + sen(ot) +
h
2
1
2
1 sen(ot)
=
h
2
1 + sen(ot)
2

1 sen(ot)
2
=
h
2
sen(ot)
Valor esperado de S
z
. Neste caso,
|S
z
; ) = |)
e
|(S
z
; |o, t = 0; t)|
2
= (| -
1
2
exp
iot
2
|+) +
1
2
exp
+iot
2
|)
2
=
1
2
exp
+iot
2
2
=
1
2
,
e, o valor esperado
(S
z ) =
h
2
1
2
+
h
2
1
2
= 0.
Fisicamente, isto significa que o spin precessa no plano xy.
Amplitude de Correlao e Rel. de Incerteza Energia-Tempo
Amplitude de correlao. A amplitude de correlao definida como o produto escalar de dois
kets em tempos diferentes. Isto ,
C(t) = (o|o, t
0
= 0; t)
O mdulo da amplitude de correlo, |C(t)|, mede a semelhana entre os estados kets em diferentes
instantes de tempo. Lembrando que |o, t
0
= 0; t) = U(t, 0)|o), onde U(t, t
0
) = exp
iH(t t
0
)
h
, ento
C(t) = o| U(t, 0) | o .
Exemplos de amplitude de correlao
O estado inicial um autoestado |a
'
) de H. Este um caso muito especial e o resultado que se
obtm para a amplitude de correlo
C(t) = a
'
| U(t, 0) | a
'
= (a
'
| exp
iHt
h
|a
'
)
= exp
iE
a
' t
h
(a
'
|a
'
)
= exp
iE
a
' t
h
e o mdulo da amplitude de correlao vale
|C(t)| = 1,
o que no surpreza em se tratando de um estado estacionrio.
O estado inicial uma superposio de |a
'
)). Neste caso,
|o) =
_
a
'
c
a
' |a
'
)
e, portanto,
C(t) = o| U(t, 0) | o
=
_
a
'
_
a
''
c
a
'
-
c
a
'' a
'
| U(t, 0) | a
''
=
_
a
'
_
a
''
c
a
'
-
c
a
'' (a
'
| exp
iHt
h
|a
''
)
=
_
a
'
_
a
''
c
a
'
-
c
a
'' exp
iE
a
'' t
h
(a
'
|a
''
)
=
_
a
'
_
a
''
c
a
'
-
c
a
'' exp
iE
a
'' t
h
o
a
'
a
''
ou seja
C(t) =
_
a
'
|c
a
' |
2
exp
iE
a
' t
h
(1.65)
Observao: Como a soma sobre muitos termos oscilantes no tempo com diferentes frequncias,
possvel um forte cancelamento entre eles para valores moderadamente grandes de t. Assim,
espera-se que o mdulo de C(t) comece com valor um em t = 0 e decresa com o tempo.
Estimativa de (2.1.65). Vamos supor que em (1.65) a superposio de estados seja obtida com
autokets de energia com energias similares, de maneira que podemos substituir a soma por uma
integral. Ou seja,
_
a
'
] dE (E), c
a
' g(E)|
E~E
a
'
onde (E) a densidade de autoestados de energia. Assim, a expresso (1.65) torna-se
C(t) = ] dE |g(E)|
2
(E) exp
iEt
h
(1.67)
sujeita normalizao
_
a
'
|c
a
' |
2
= 1 ] dE |g(E)|
2
(E) = 1 (1.68)
Na prtica, |g(E)|
2
(E) pode ser uma funo localizada em torno de E = E
0
, com largura AE, isto ,
E
0
E
|g(E)|
2
(E)
E
Ento, reescrevendo (1.67) como
C(t) = exp
iE
0
t
h
] dE |g(E)|
2
(E) exp
i(E E
0
)t
h
v-se que, quando t torna-se grande, o integrando oscila muito rapidamente, exceto quando o intervalo
de energia |E E
0 | for pequeno comparado com h/t.
Relao de incerteza energia-tempo. Se o intervalo para o qual a relao
|E E
0 | ~ h/t
seja vlida, for muito mais estreito que AE (a largura de |g(E)|
2
(E)), no se obtm essencialmente
nenhuma contribuio da integral para C(t) devido aos fortes cancelamentos. O tempo caracterstico
para o qual o mdulo da amplitude de correlao torna-se aprecialmente diferente de 1 dado por
t ~
h
AE
Resumo. Em resumo, encontramos que, como resultado da evoluo temporal do estado ket de
um sistema fsico deixa de guardar sua forma original depois de um intervalo de tempo da ordem de
h/AE. Na literatura, isto s vezes referido como sendo a relao de incerteza energia-tempo,
At AE ~ h. (1.71)
Observao: Esta relao de incerteza de natureza bem difetente daquela que existe entre dois
observveis incompatveis, discutida na Se. 1.4.
2.4 Representao de Schrdinger versus de Heisenberg
Representao de Schrdinger. a formulao da dinmica quntica na qual os estados variam
com o tempo, mas os operadores no.
Representao de Heisenberg. a formulao da dinmica quntica na qual os operadores
variam com o tempo, mas os estados no.
Quais as diferenas que existem entre essas duas abordagens?
Operadores Unitrios
So operadores que tm a propriedade
U
U = UU
= 1.
Transformaes unitrias
|o) U |o)
Produto escalar. Sob uma tranformao unitria que muda os estados kets, o produto interno
permanece inalterado. Ou seja,
|o) U |o) e |[) U |[)
ento
([|o) ([|U
U|o) = ([|o).
Operadores. Usando o fato de que essas trasformaes no afetam os operadores, podemos
inferir como [| X |o deve mudar:
[| X |o (([|U
) - X - U |o) = ([|U
XU |o)
Vamos escrever isto de outra maneira (usando o axioma associativo)
(([|U
) - X - (U|o)) = ([| - (U
XU) - |o)
Esta identidade matemtica sugere dois enfoques para as transformaes unitrias:
Enfoque 1
|o) U|o), com os operadores inalterados.
Enfoque 2
X U
XU, com os estados kets inalterados.

Nota sobre a Mecnica Clssica. Na fsica clssica no se introduz estados kets, mas fala-se em
translao, evoluo temporal etc. Isto possvel porque essas operaes realmente mudam
quantidades tais como x e L, que so observveis na mecnica clssica. Assim, uma estreita ligao
com a mecnica clssica pode ser adotada, seguindo-se a abordagem 2.
Exemplo (1) Translao infinitesimal - Enfoque 1
|o) 1
ip - dx
'
h
|o), x x
Exemplo (2) Translao infinitesimal - Enfoque 2
|o) |o)
x 1
ip - dx
'
h

x 1
ip - dx
'
h
= 1 +
ip - dx
'
h
x 1
ip - dx
'
h
~ x x
ip - dx
'
h
+
ip - dx
'
h
x
= x +
i
h
|p - dx
'
, x] = x + dx
'
Pode-se mostrar que o valor esperado x o mesmo em ambas as abordagens. Isto ,
(x) (x) + (dx
'
).
Demonstrao. Na formulao 1,
(x)
1
= (o| 1
ip - dx
'
h

- x - 1
ip - dx
'
h
|o) = (o|x + dx
'
|o)
= (o|x|o) + (o|dx
'
|o).
Na formulao 2,
(x)
2
= o |x| o + o |dx
'
| o .
Estados Kets e Observveis nas Representaes de Schrdinger e Heisenberg
Quando o operador unitrio U o operador evoluo temporal, U(t, t
0
), os enfoques 1 e 2, descritas
anteriormente referem-se s representaes de Schrndiger e Heisenberg, respectivamente.
Representao de Schrdinger
Estados kets. Os estados kets variam com o tempo.
Operadores. Os operadores correspondentes a observveis, tais como x, p
x
e S
z
, permanecem
fixos no tempo.
Representao de Heisenberg
Estados kets. Os estados kets permanecem fixos no tempo, congelados por assim dizer no que
eram a t = t
0
.
Operadores. Os operadores correspondentes a observveis agora variam com o tempo.
Relao entre as duas representaes
Operadores. Vamos considerar t
0
= 0 por simplicidade:
U(t, t
0
= 0) = U(t) = exp
iHt
h
De acordo com a abordagem 2, define-se o operador na representao de Heisenberg como
A
(H)
(t) = U
(t) A
(S)
U(t) (2.10)
onde os superescritos H e S referem-se a Heisenberg e Schrdinger.
Em t = 0, os observveis nas duas representaes,
A
(H)
(0) = A
(S)
,
coincidem.
Estados kets. Os estados kets tambm coincidem nas duas representaes em t = 0; para tempos
posteriores, t, o estado na representao de Heisenberg fica congelado na forma que tinha em t = 0:
|o, t
0
= 0; t)
H
= |o, t
0
= 0)
independente de t. Isto radicalmente diferente dos estados kets na representao de Schrdinger:
|o, t
0
= 0; t)
S
= U(t)|o, t
0
= 0)
Valores esperados. O valor esperado (A) o mesmo em ambas as representaes,
S
(o, t
0
= 0; t| A
(S)
|o, t
0
= 0, t)
S
= (o, t
0
= 0| U
(t)A
(S)
U(t) |o, t
0
= 0)
=
H (o, t
0
= 0; t| A
(H)
(t) |o, t
0
= 0, t)
H
Equao de Movimento de Heisenberg
Admitindo que A
(S)
no dependa explicitamente do tempo, o que o caso na maioria das situaes
fsicas de interesse, obtm-se [diferenciando a Eq. (2.2.10)]
dA
(H)
dt
=
d
dt
U
(t) A
(S)
U(t)
=
dU
(t)
dt
A
(S)
U(t) + U
(t) A
(S)
dU(t)
dt
=
1
ih
U
(t)HA
(S)
U(t) +
1
ih
U
(t) A
(S)
HU(t)
=
1
ih
U
(t)HU(t)U
(t)A
(S)
U(t) +
1
ih
U
(t) A
(S)
U(t)U
(t)HU(t)
=
1
ih
U
(t)HU(t)A
(H)
+
1
ih
A
(H)
U
(t)HU(t)
=
1
ih
|A
(H)
, U
(t)HU(t)]
onde usamos (2.1.25)
dU
dt
=
1
ih
HU,
dU
dt
=
1
ih
U
H
Como U(t) = exp
iHt
h
, este operador comuta com H. Ento
U
(t)HU(t) = U
(t)U(t)H = H
de maneira que
dA
(H)
dt
=
1
ih
|A
(H)
, H] (2.2.19)
que conhecida como equao de movimento de Heisenberg.
Leia o restante da seo.
Partculas Livres; Teorema de Ehrenfest
Tanto na formulao de Schrdinger como na de Heisenberg, devemos saber como construir o
operador Hamiltoniano.
Sistema tem anlogo clssico. Quando tratamos sistemas fsicos que tm anlogos clssicos,
admitimos que o Hamiltoniano tem a mesma forma como na fsica clssica, onde substitumos
grandezas operadores
Assim, x
i
e p
i
so substitudos pelos correspondentes operadores em MQ.
Sistema no tem anlogo clssico. Neste caso, tenta-se adivinhar a estrutura do Hamiltoniano,
fazendo-se vrias tentativa at que nos levem a resultados que concordem com observaes
experimentais.
Relaes de comutao entre funes de x
j
e p
j
. s vezes necessrio calcular relaes de
comutao entre funes de x
j
e p
j
. Ou seja,
|x
i
, F(p)] = ih
cF
dp
i
, |x
i
, G(x)] = 0,
|p
i
, G(x)] = ih
cG
dx
i
, |p
i
, F(p)] = 0.
(2.23a,b)
Equao de movimento de Heisemberg para a partcula livre
Para uma partcula de massa m, o Hamiltoniano considerado ser da mesma forma como na
mecnica clssica:
H =
p
2
2m
=
p
x
2
+ p
y
2
+ p
z
2
2m
Equao de movimento para p
i
. Como p
i
comuta com qualquer funo de p
j
, logo
dp
i
dt
=
1
ih
|p
i
, H] = 0
onde consideramos p
i
= p
i
(H)
. Ento, para a partcula livre o operador momento uma constante de
movimento, o que significa que p
i
(t) igual a p(0) para todos os tempos.
De uma maneira geral, evidente da equao de movimento de Heisenberg que, se o
operador A
(H)
comuta com o Hamiltoniano, A
(H)
uma constante de movimento.
Equao de movimento para x
i
. Neste caso,
dx
i
dt
=
1
ih
|x
i
, H]
como H =
1
2m
_
j
p
j
2
e |x
i
, F(p)] = ih
cF
dp
i
, encontramos
dx
i
dt
=
1
ih
|x
i
, H] =
1
ih
x
i
,
1
2m
_
j
p
j
2
=
1
ih
1
2m
ih
c
dp
i
_
j
p
j
2
=
1
2m
_
j
c
dp
i
p
j
2
=
1
2m
_
j
2p
j
cp
j
dp
i
=
p
i
m
Ou seja,
dx
i
dt
=
p
i
m
=
p
i
(0)
m
cuja soluo
x
i
(t) = x
i
(0) +
p
i
(0)
m
t (2.27)
que recorda a equao da trajetria clssica para o movimento retilneo uniforme. importante notar
que, embora se tenha
|x
i
(0), x
j
(0)] = 0
em tempos iguais, o comutador no se anula em tempos diferentes. Isto ,
|x
i
(t), x
j
(0)] = x
i
(0) +
p
i
(0)
m
t, x
j
(0) =
p
i
(0)
m
t, x
j
(0)
=
iht
m
Aplicando (1.4.53) a este comutador, ou seja,
(AA)
2
(AB)
2
_
1
4
|(|A, B])|
2
obtm-se
(Ax
i
)
2
t
(Ax
i
)
2
t=0
_
1
4
iht
m
2
=
h
2
t
2
4m
(2.30)
Entre outras coisas, esta relao implica que, mesmo se a partcula bem localizada em t = 0, sua
posio torna-se mais e mais incerta medida que o tempo passa.
Partcula sujeita a um potencial V(x)
Agora vamos adicionar um potencial V(x) ao Hamiltoniano da partcula livre:
H =
p
2
2m
+ V(x) (2.31)
Nota: V(x) considerado uma funo dos operadores x, y e z.
Equao de movimento para p
i
. Usando (2.2.23)
dp
i
dt
=
1
ih
|p
i
, H] =
1
ih
|p
i
, V(x)] =
1
ih
ih
cV(x)
dx
i
=
cV(x)
dx
i
(2.32)
Equao de movimento para x
i
. Neste caso,
dx
i
dt
=
1
ih
|p
i
, H] =
p
i
m
ainda vale, uma vez que x
i
comuta com o termo V(x). Vamos usar novamente a equao de
movimento de Heisenberg, ou seja,
d
dt
dx
i
dt
=
d
2
x
i
dt
2
=
1
ih
dx
i
dt
, H =
1
ih
p
i
m
, H =
1
m
dp
i
dt
Combinando com (2.2.32),
m
d
2
x
i
dt
2
=
cV(x)
dx
i
ou
m
d
2
x
dt
2
= VV(x) (2.35)
Isto o anlogo quntico da segunda lei de Newton. Tomando os valores esperados de ambos os
lados com respeito ao estado ket de Heisenberg, que no varia com o tempo, obtm-se a relao
m
d
2
dt
2
(x) =
d(p)
dt
= (VV(x)) (2.36)
que conhecida como teorema de Ehrenfest.
Observao 1: Este teorema, escrito na forma de valor esperado, tem sua validade independente da
representao que usamos, uma vez que esta quantidade igual nas duas representaes. Ao
contrrio, na forma de operador (2.2.35), tem significado apenas se os operadores x e p forem dados
na representao de Heisenberg.
Observao 2: Observa-se que h no aparece em (2.2.36); portanto, no de se surpreender que o
centro de um pacote de onda move-se tal como uma partculas clssica sujeita a um potencial V(x).
Kets de Base e Amplitudes de Transio
Um erro muito comum pensar que todos os kets movem-se na representao de Schrdinger e so
estacionrios na representao de Heisenberg. Devemos dinstinguir entre o comportamento dos
estados kets e dos kets de base.
Kets de base. Quando introduzimos os espaos dos kets na Se. 1.2, observamos que os autokets
dos observveis seriam usados como kets de base. O que acontece, em relao ao tempo, com a
equao de autovalores,
A |a
'
) = a
'
|a
'
) ?
Schrdinger. Na representao de Schrdinger, A no varia com o tempo e, portanto, os kets de
base, obtidos como soluo desta equao de autovalores em t = 0, por exemplo, permanecem
inalterados.
Heisenberg. Na representao de Heisenberg a situao bem diferente. A equao de
autovalores aqui para operadores que dependem do tempo,
A
(H)
(t) = U
A(0)U.
De (2.2.37), calculada em t = 0, quando as duas representaes coicidem,
A(0)|a
'
) = a
'
|a
'
)
deduz-se
U
A(0)UU
|a
'
) = a
'
U
|a
'
)
o que implica numa equao de autovalores para A
(H)
A
(H)
(U
|a
'
)) = a
'
(U
|a
'
)) (2.40)
Kets de base na representao de Heisenberg. Assim, medida que o tempo flui, os kets de
base da representao de Heisenberg, U
|a
'
)), denotados por |a
'
, t)
H
, movem-se de acordo com a
equao
|a
'
, t)
H
= U
|a
'
) (2.41)
Devido presena do operador U
, ao invs de U, os kets de base da representao de Heisenberg

parecem girar em sentido oposto aos dos estados ket na representao de Schrdinger.
Especificamente, |a
'
, t)
H
satisfazem a equao de Schrdinger de sinal errado
ih
c
ct
|a
'
, t)
H
= H |a
'
, t)
H
(2.42)
Autovalores da representao de Heisenberg. Quanto aos autovalores, vemos de (2.2.40) que
eles no mudam com o tempo. Isto consistente com a equivalncia unitria de observveis, onde A e
U
AU so ditos equivalentes (Se. 1.5). Note tambm a seguinte expanso para A

(H)
(t) em termos dos
kets e bras de base da representao de Heisenberg:
A
(H)
(t) =
_
a
'
|a
'
, t)
H
a
H
'
H
(a
'
, t|
=
_
a
'
U
|a
'
) a
'
(a
'
|U
= U
_
a
'
|a
'
) a
'
(a
'
| U
= U
A
(S)
U
o que mostra que tudo consistente, desde que os kets de base da represaentao de Heisenberg
mudem de acordo com (2.2.41).
Coeficientes de expanso. Os coeficientes de expanso de um estado ket em termos dos kets de
base so os mesmos em ambas as representaes:
c
a
' =
base bra
-
(a
'
| -
estado ket
(U|o, t
0
= 0)), (representao de Schrdinger)
c
a
' =
base bra
((a
'
|U) -
estado ket
|o, t
0
= 0), (representao de Heisenberg)
k
e
t

d
e

b
a
s
e
e
s
t
a
d
o

k
e
t
e
s
t
a
d
o

k
e
t
k
e
t

d
e

b
a
s
e
Schrdinger
Heisenberg
Funo de onda. Em particular, a funo de onda (x
'
|o) pode ser considerada como:
(1) o produto interno do autobra estacionrio da posio com o estado ket movendo-se (representao
de Schrdinger), ou
(2) o produto interno do autobra da posio movendo-se com o estado ket estacionrio (representao
de Heisenberg).
Amplitues de transio. Para ilustrar ainda mais a equivalncia entre as duas representaes,
vamos estudar as amplitudes de transio, que tero um papel fundamental na Se. 2.5. Suponha que
existe um sistema fsico preparado em t = 0 para estar num autoestado do observvel A com autovalor
a
'
. Num tempo t mais tarde, podemos querer saber:
Qual a amplitude de probabilidade (conhecidade como amplitude de transio) para que o sistema
possa ser encontrado num autoestado do observvel B com autovalor b
'
?
Schrdinger. Na representao de Schrdinger, o estado ket no instante t dado por U |a
'
),
enquanto que os kets de base |a
'
) e |b
'
) no variam com o tempo. Assim, para essa amplitude de
transio, temos
base bra
-
(b
'
| -
estado ket
(U|a
'
))
Heisenberg. Na representao de Heisenberg o estado ket estacionrio, isto , permanece o
mesmo |a
'
) para todos os tempos, enquanto que os kets de base evoluem no sentido oposto no tempo.
Assim, a amplitude de transio nesta representao vale
base bra
((b
'
|U) -
estado ket
-
|a
'
)
Obviamente, estas duas amplitudes so iguais. Ambas podem ser escritas como
(b
'
| U(t, 0) |a
'
) (2.47)
Com certa liberdade, podemos dizer que isto representa a amplitude de transio para ir do estado
|a
'
) ao estado |b
'
).
Resumo das Diferenas entre as Representaes.
Schrdinger Heisenberg
Estado ket Movimento: (2.15), (2.27) Estacionrio
Obaservvel Estacionrio Movimento: (2.10), (2.19)
Ket de base Estacionrio Movimento oposto: (2.41), (2.42)
2.3 Oscilador Harmnico Simples
O oscilador harmnico simples um dos mais importantes problemas em MQ. Do ponto de vista
pedaggico, serve para ilustrar os conceitos e mtodos bsicos em MQ.
Autokets de Energia e Autovalores de Energia
Hamiltoniano. O Hamiltoniano bsico
H =
p
2
2m
+
mo
2
x
2
2
(3.1)
onde o a frequncia angular do oscilador clssico relacionada com a constante de mola k na lei de
Hooke via o = k/m . Os operadors x e p so, evidentemente, hermitianos. conveniente definirmos
dois operadors no hermitianos
a =
mo
2h
x +
ip
mo
, a
=
mo
2h
x
ip
mo
(3.2)
conhecidos como operador de destruio e operador de criao, respectivamente, por razes que em
breve sero evidentes.
Relaes de comutao. Usando as relaes de comutao cannicas para esses operadores,
obtm-se imediatamente
|a, a
] =
mo
2h
x +
ip
mo
, x
ip
mo
=
mo
2h
x,
ip
mo
+
mo
2h
ip
mo
, x
=
1
2h
i
ih
|x, p] +i
ih
|p, x] =
1
2h
(h + h)
= 1
Operador nmero. Com esses dois operadores, podemo construir um outro operador (hermitiano)
denominado de operador nmero
N = a
a (3.4)
Usando as definies de a
e a podemos mostrar que

N = a
a =
mo
2h
x
ip
mo
x +
ip
mo
=
mo
2h
x
2
+
ixp
mo

ipx
mo
+
p
2
m
2
o
2
=
mo
2h
x
2
+
p
2
m
2
o
2
+
i
2h
|x, p]
=
mo
2h
x
2
+
p
2
m
2
o
2

1
2
Ou seja,
N =
H
ho

1
2
de onde encontramos uma relao importante entre o operador nmero e o operador Hamiltoniano
H = ho N +
1
2
(3.6)
Autovalores de energia. Uma vez que H uma funo linear de N, N pode ser diagonalizada
simultaneamente com H. Vamos representar um autoket de N por seu autovalor n, tal que
N |n) = n |n)
Devido a (3.6), temos tambm
H |n) = E
n |n) ho N +
1
2
|n) = n +
1
2
ho |n)
o que significa que os autovalores de energia so dados por
E
n
= n +
1
2
ho (3.9)
Significado fsico de a, a
e N. Para compreendermos o significado fsico de a, a
e N, vamos
primeiro observar que
|N, a] = |a
a, a] = a
|a, a] + |a
, a] a = a
Da mesma forma,
|N, a
] = |a
a, a
] = a
|a, a
] + |a
, a
] a = a
Como resultado, temos

Na
|n) = (Na
N + a
N)|n) = (|N, a
] + a
N)|n)
= (a
+ a
N) |n) = (N + 1)a
|n)
= (n + 1)a
|n)
e
Na|n) = (Na aN + aN)|n) = (|N, a] + aN)|n)
= a + a N |n) = (N 1)a
|n)
= (n 1)a |n)
Estas relaes implicam que a
|n) a |n) so tambm autokets de N com autovalores aumentado

(diminudo) de um. Como o acrscimo (decrscimo) de n por um significa a criao (destruio) de um
quantum de energia ho, o termo operador de criao (operador de destruio) para a
(a) torna-se
apropriado.
Propriedades dos operadores de criao e de destruio
As equaes
N a
|n) = (n + 1)a
|n)
N a|n) = (n 1)a|n)
sugerem podem ser reescritas como
N|n + 1) = (n + 1)|n + 1)
N|n 1) = (n 1)|n 1)
o que implica em a
|n) e |n + 1) a|n) e |n 1) serem o mesmo a menos de uma constante

multiplicativa. Por exemplo, vamos escrever
a |n) = c |n 1)
onde c uma constante numrica, que determinada exigindo-se que tanto |n) como |n 1) sejam
kets normalizados. Multiplicando ambos os membros por (n 1| c
-
, encontra-se
(n 1| c
-
a |n) = |c|
2
(n 1|n 1)
e, lembrando que (n 1| c
-
= (n|a
, temos
(n| a
a |n) = |c|
2
onde usamos a normalizao de |n 1). Notando que a
a o operador nmero, N, podemos ainda

simplificar
(n| N |n) = |c|
2
|c|
2
= n c = n
onde tambm usamos a normalizao de |n). Logo,
a |n) = c |n 1) a |n) = n |n 1) (3.16)
Similarmente, podemos mostrar que
a
|n) = c |n + 1) a
|n) = n + 1 |n + 1). (3.17)

Aplicaes sucessivas do operador a. Aplicando-se sucessivamente o operador a a ambos os
membros de (3.16) obtm-se
a |n) = n |n 1)
aa |n) = n a |n 1) a
2
|n) = n(n 1) |n 2)
aa
2
|n) = n(n 1) a |n 2) a
3
|n) = n(n 1)(n 2) |n 3)
. .
Autokets do operador nmero. Esta sequncia de operaes mostra que possvel obtermos
autokets com n cada vez menores at que a sequncia termine, o que s pode acontecer se
comearmos com um n positivo. Mas n pode ser negativo? Podemos responder a esta questo,
calculando-se a norma de a |n) que, por definio sempre positiva ou nula. Assim,
((n|a
) - a |n)
def
_ 0
Mas, isto pode ser reescrito como
n| a
a | n _ 0 n| N | n = n _ 0.
Logo, n s pode ser inteiro no negativo. Portanto, a sequncia deve terminar quando n = 0.
Energia do estado fundamental. Uma vez que o menor valor de n zero, a energia do estado
fundamental, |0), do oscilador harmnico
E
0
=
1
2
ho (3.20)
Aplicao sucessiva de a
ao estado fundamental. Aplicando-se agora sucessivamente o

operador a
ao estado fundamental |0), usando-se (3.17) na forma

|n + 1) =
a
n + 1
|n)
obtm-se
|1) = a
|0)
|2) =
a
2
|1) =
(a
)
2
2
|0)
|3) =
a
3
|2) =
(a
)
3
3!
|0)
.
|n) =
a
n + 1
|n 1) =
(a
)
n
n!
|0)
(3.21)
Desta maneira construimos os autokets simultneos de N e H com autovalores de energia
E
n
= n +
1
2
ho, (n = 0, 1, 2, .)
Elementos de matriz. De (3.16) e (3.17) e da normalizao dos |n)), obtm-se os elementos de
matriz do operador de destruio a. Ou seja,
n
'
| a |n = (n
'
| n |n 1) = n o
n
'
,n1
n
'
| a
|n = (n
'
| n + 1 |n + 1) = n + 1 o
n
'
,n+1
De (3.2), obtm-se
x =
h
2mo
(a + a
), p = i
mho
2
(a + a
)
Agora podemos derivar os elementos de matriz de x e p.
n
'
| x |n =
h
2mo
n
'
| (a + a
)|n =
h
2mo
n o
n
'
,n1
+ n + 1 o
n
'
,n+1
n
'
| p |n = i
mho
2
n
'
| (a + a
)|n = i
mho
2
n o
n
'
,n1
+ n + 1 o
n
'
,n+1
Note que tanto x quanto p so no-diagonais na representao N. Isto porque x e p, tal como a e a
,
no comutam com o operador N.
Funes de onda do oscilador. Podemos tambm usar o mtodo dos operadores para encontar
as autofunes da energia no espao das posies (funes de onda). Vamos comear com o estado
fundamental definido por
a |0) = 0
que, na representao x, interpreta-se como
x
'
| a |0 =
mo
2h
(x
'
| x +
ip
mo
|0) = 0
De (1.7.17)
x
'
| p |o = ih
c
cx
'
(x
'
|o),
podemos interpretar a equao anterior como uma equao diferencial. Ou seja,
x
'
| a |0 =
mo
2h
(x
'
| x |0) +
i
mo
(x
'
| p |0) = 0
ou
x
'
(x
'
|0) +
h
mo
d
dx
'
(x
'
|0) = 0
ou, finalmente,
x
'
+ x
0
2 d
dx
'
(x
'
|0) = 0
onde introduzimos
x
0
=
h
mo
que fixa uma escala de comprimento do oscilador. Esta equao do tipo
x
0
2
df(x)
dx
+ xf(x) = 0
ou
df
f
=
x
x
0
2
dx
cuja soluo
lnf =
x
2
2x
0
+ C
ou
f(x) = Cexp
1
2
x
x
0
2
onde C podemos escolher atravs da normalizao,
|C|
2
] exp
1
2
x
x
0
2
2
= 1
Mas,
]
exp
1
2
x
x
0
2
2
= x
0
m
ento
C =
1
m
1/4
x
0
Logo,
(x
'
|0) =
1
m
1/4
x
0
exp
1
2
x
'
x
0
2
(3.30)
Da mesma forma, podemos obter as autofunes de energia para os estados excitados, calculando-se
(x
'
|1) = (x
'
|a
|0) =
1
2 x
0
x
'
x
0
2 d
dx
'
(x
'
|0),
(x
'
|2) =
1
2
x
'
|(a
)
2
|0 =
1
2!
1
2 x
0
2
x
'
x
0
2 d
dx
'
2
(x
'
|0)
Em geral, as solues so
(x
'
|n) =
1
m
1/4
2
n
n!
1
x
0
n+1/2
x
'
x
0
2 d
dx
'
n
exp
1
2
x
'
x
0
2
(3.32)
Valores esperados de x
2
e p
2
. instrutivo analisar os valores esperados de x
2
e p
2
para o estado
fundamental. Seja
x
2
=
h
2mo
(a
2
+ a
2
+ a
a + aa
)
Assim,
(x
2
) =
h
2mo
(a
2
+ a
2
+ a
a + aa
)
=
h
2mo
0| a
2
|0 + 0| a
2
|0 + 0| a
a |0 + 0| aa
|0
=
h
2mo
0| aa
|0 =
h
2mo
=
x
0
2
2
Da mesma forma,
p
2
= i
mho
2
(a + a
) i
mho
2
(a + a
)
=
mho
2
(a
2
aa
a + a
2
)
o que nos fornece
(p
2
) =
hmo
2
(a
2
aa
a + a
2
)
=
hmo
2
(aa
)
=
hmo
2
Relaes de incerteza. Das definies de x e p em termos dos operadores a e a
, podemos
mostrar que
(x) = 0, (p) = 0.
Logo,
(Ax)
2
= (x
2
) (x)
2
= (x
2
) =
h
2mo
e
(Ap)
2
= (p
2
) (p)
2
= (p
2
) =
hmo
2
satisfazem o produto de incerteza mnimo
(Ax)
2
(Ap)
2
=
h
2mo
hmo
2
=
h
2
4
.
uma vez que a funo de onda tem a forma gaussiana.
Para os estados excitados os produtos de incerteza so maiores
(Ax)
2
(Ap)
2
= n +
1
2
2
h
2
.
Evoluo Temporal do Oscilador
Nota: Nesta seo os x, p, a e a
so dependentes do tempo, embora no se escreva explicitamente

x
(H)
(t) etc.
Representao de Heisenberg
As equaes de movimento para p e x so, de acordo com (2.2.32) e (2.2.33),
dp
dt
=
dV
dx
= mo
2
x,
dx
dt
=
p
m
Como
a =
mo
2h
x +
ip
mo
, a
=
mo
2h
x
ip
mo
ento
da
dt
=
mo
2h
dx
dt
+
i
mo
dp
dt
,
da
dt
=
mo
2h
dx
dt

i
mo
dp
dt
ou
da
dt
=
mo
2h
p
m
+
i
mo
(mo
2
x) =
mo
2h
p
m
i ox
= io
mo
2h
x +
ip
mo
= io a
e
da
dt
=
mo
2h
p
m

i
mo
(mo
2
x) =
mo
2h
p
m
+ i ox
= io
mo
2h
x
ip
mo
= ioa
Logo, as equaes diferenciais para x e p (acopladas) podem ser substitudas pelas correspondentes
para a e a
da
dt
= ioa,
da
dt
= ioa
cujas solues so
a(t) = a(0) exp(iot), a
(t) = a
(0) exp(iot) (3.43)

Casualmente, essas relaes mostram explicitamente que os operadores N e H so independentes do
tempo. Por exemplo,
N = a
(t)a(t) = a
(0) exp(iot) a(0) exp(iot) = |a(0)|

2
.
Substituindo (3.43) nas expresses para x e p,
x =
h
2mo
(a + a
), p = i
mho
2
(a + a
)
encontra-se
x(t) =
h
2mo
mo
2h
x(0) +
ip(0)
mo
exp(iot)
+
h
2mo
mo
2h
x(0)
ip(0)
mo
exp(iot)
=
1
2
x(0) +
ip(0)
mo
exp(iot) +
1
2
x(0)
ip(0)
mo
exp(iot)
= x(0)
exp(iot) + exp(iot)
2
+
p(0)
mo
exp(iot) exp(iot)
2i
ou
x(t) = x(0) cos(ot) +
p(0)
mo
sen(ot)
Da mesma forma
p(t) = mox(0) sen(ot) + p(0) cos(ot).
Estas equaes parecem muito com as equaes clssicas do movimento. Vemos que os operadores
x e p oscilam da mesma forma que seus anlogos clssicos.
Lema de Baker-Hausdorff
Seja a funo de operadores e
iGz
Ae
iGz
, onde A um qualquer operdor, G um operador hermitiano e
z um parmetro real: Como expandir esta funo numa srie de Taylor?
Vamos chamar esta funo de A(z) = e
iGz
Ae
iGz
. Vamos derivar esta funo sucessivamente em
relao a z. Ou seja,
dA(z)
dz
= iGe
iGz
Ae
iGz
ie
iGz
Ae
iGz
G = i|G, A(z)]
d
2
A(z)
dz
2
=
d
dz
dA(z)
dz
= i G,
dA(z)
dz
= i
2
G, G, A(z)
d
3
A(z)
dz
3
= i G,
d
2
A(z)
dz
2
= i
3
G, G, G, A(z)
Expandindo A(z) numa srie de Taylor, em torno de z = 0,
A(z) = A(0) + z
dA(0)
dz
+
z
2
2!
d
2
A(0)
dz
2
+
e lembrando que A(0) = A, encontra-se,
A(z) = A + iz|G, A] +
i
2
z
2
2!
G, G, A +
+
i
n
z
n
2!
G, G, . G, A +.
ou finalmente
e
iGz
Ae
iGz
= A + iz|G, A] +
i
2
z
2
2!
G, G, A +
+
i
n
z
n
2!
G, G, . G, A +. (3.47)
que conhecida como Lema de Baker-Hausdorff.
Derivao alternativa da evoluo temporal do oscilador
Vamos aplicar o lema de Baker para encontrar a evoluo temporal a partir de
x(t) = exp
iHt
h
x(0) exp
iHt
h
Aplicando (3.47), obtm-se (A = x(0), G = H, z = t/h) :
x(t) = x(0) +
it
h
|H, x(0)] +
i
2
t
2
2!h
2
H, H, x(0) +
Como H =
p(0)
2
2m
+
mo
2
x(0)
2
2
, uma vez que H no depende do tempo, podemos calcular os
comutadores, usando repetidamente,
|H, x(0)] =
p(0)
2
2m
+
mo
2
x(0)
2
2
, x(0) =
1
2m
p(0)
2
, x(0)
=
1
2m
p(0)|p(0), x(0)] +
1
2m
|p(0), x(0)]p(0) =
ih
m
p(0)
e
|H, p(0)] =
p(0)
2
2m
+
mo
2
x(0)
2
2
, p(0) =
mo
2
2
x(0)
2
, p(0)
=
mo
2
2
x(0)|x(0), p(0)] +
mo
2
2
|x(0), p(0)]x(0) = ihmo
2
x(0)
Ento,
exp
iHt
h
x(0) exp
iHt
h
= x(0) +
p(0)
m
t
1
2!
t
2
o
2
x(0) +
1
3!
t
3
o
3
p(0)
m
+
colecionando os termos, temos finalmente
x(t) = x(0) cos ot +
p(0)
mo
senot,
em concordncia com (2.3.45a).
2.4 Equao de Onda de Schrdinger
Nesta seo volta-se represntao de Schrdinger para examinar a evoluo temporal de |o, t
0
; t) na
representao x.
Funo de Onda Dependente do Tempo
Vamos estudar o comportamento da funo de onda
(x
'
, t) = (x
'
|o, t
0
; t) (4.1)
como funo do tempo |o, t
0
; t) um autoket na representao de Schrdinger no instante t, e (x
'
| o
autobra da posio (que independente do tempo na representao de Schrdinger) com autovalor
x
'
. Seja o Hamiltoniano da forma
H =
p
2
2m
+ V(x) (4.2)
O potencial V(x) um operador hermitiano; tambm local, no sentido de que, na representao x,
tem-se
x
'
| V(x) | x
''
= V(x
'
) o
3
(x
'
x
''
) (4.3)
onde V(x
'
) uma funo real de x
'
.
Equao de onda de Schrdinger. Vamos agora derivar a equao de onda de Schrdinger
dependente do tempo. De (2.1.27)
ih
c
ct
|o, t
0
; t) = H |o, t
0
; t)
que, multiplicada escalarmente pelo autobra (estacionrio) (x
'
| enconta-se
ih
c
ct
(x
'
|o, t
0
; t) = (x
'
|H |o, t
0
; t) (4.4)
Lado direito de (2.4.4). Usando (1.7.20), ou seja,
x
'
| p
x
n
|o, t
0
; t = (ih)
n c
n
cx
'n
(x
'
|o, t
0
; t), #
encontramos para a contribuio da energia cintica do lado direito de (2.4.4)
(x
'
|
p
x
2
2m
|o, t
0
; t) = (ih)
2 c
2
cx
'2
(x
'
|o, t
0
; t)
ou, para 3 dimenses
(x
'
|
p
2
2m
|o, t
0
; t) =
(ih)
2
2m
V
'2
(x
'
|o, t
0
; t) =
h
2
2m
V
'2
(x
'
|o, t
0
; t)
Para a contribuio da energia potencial, temos
(x
'
|V(x
'
) = V(x
'
) (x
'
|
onde aqui V(x
'
) uma funo e no um operador. Combinando tudo, encontramos
ih
c
ct
(x
'
|o, t
0
; t) =
h
2
2m
V
'2
(x
'
|o, t
0
; t) + V(x
'
) (x
'
|o, t
0
; t) (4.7)
que reconhecemos ser a famosa equao de onda de Schrdinger dependente do tempo, geralmente
escrita como
ih
c
ct
(x
'
, t) =
h
2
2m
V
'2
(x
'
, t) + V(x
'
) (x
'
, t) (4.8)
Nota: A mecnica quntica baseada na equao de onda (2.4.8) conhecida como mecnica
ondulatria. Esta equao , de fato, o ponto de partida de muitos livros de texto sobre mecnica
quntica. Porm, em nosso formalismo, isto apenas a equao de Schrdinger para o estado ket
escrita explicitamente na base x, quando o operador Hamiltoniano adotado da forma (2.4.2).
A Equao de Onda Independente do Tempo
J vimos que a dependncia temporal de um estado estacionrio dada pelo fator exp(iE
a
' t/h), de
maneira que a funo de onda desse estado pode ser escrita como
(x
'
|a
'
, t
0
; t) = (x
'
|a
'
) exp(iE
a
' t/h) (4.9)
onde estamos supondo que o sistema est preparado inicialmente num autoestado simultneo de A e
H com autovalores a
'
e E
a
' respectivamente. Vamos agora substituir (2.4.9) na equao de
Schrdinger dependente do tempo (2.4.7):
ih
c
ct
(x
'
|a
'
) exp(iE
a
' t/h) =
h
2
2m
V
'2
(x
'
|a
'
) exp(iE
a
' t/h)
+ V(x
'
) (x
'
|a
'
) exp(iE
a
' t/h)
ou
h
2
2m
V
'2
(x
'
|a
'
) + V(x
'
) (x
'
|a
'
) = E
a
' (x
'
|a
'
) (4.10)
Nota: Esta equao diferencial parcial satisfeita pela autofuno de energia (x
'
|a
'
) com autovalor de
energia E
a
' . Realmente, em mecnica ondulatria, onde o Hamiltoniano dado como funo de x e p,
como em (2.4.2), no necessrio referir-se explicitamente ao observvel A que comuta com H, uma
vez que sempre podemos escolher A como uma funo dos observveis x e p que coincide com H.
Ento, podemos omitir a referncia a a
'
e simplesmente escrever (2.4.10) como uma equao
diferencial parcial que ser satisfeita pela autofuno da energia u
E
(x
'
):
h
2
2m
V
'2
u
E
(x
'
) + V(x
'
) u
E
(x
'
) = E u
E
(x
'
) (2.4.11)
Esta a equao onda de Schrdinger dependente do tempo.
Condies de contorno. Para resolver esta equao, precisamos impor algumas condies de
contorno.
Soluo para E < V. Se procuramos solues com
E < lim
|x
'
|
V(x
'
)
onde a desigualdade vale para |x
'
| em qualquer direo, a condio de contorno apropriada para
este caso
u
E
(x
'
) 0, para |x
'
| (4.13)
Fisicamente, isto significa que a partcula est ligada ou confinada dentro de uma regio finita do
espao. Para este caso, as solues u
E
possuem as seguintes propriedades.
Propriedades das solues u
E
para partcula confinada. Sabemos da teoria das equaes
diferenciais que (2.4.11) sujeita condio de contorno (2.4.13) somente possuem solues no
triviais para um conjunto de valores discretos de E. neste sentido que a equao de Schrdinger
independente do tempo produz a quantizao dos nveis de energia.
Interpretao da Funo de Onda
Funo de onda como coeficiente de expanso. Como a funo de onda est relacionada
com o coeficiente de expanso, (x
'
|o, t
0
; t), do estado |o, t
0
; t) em termos dos autokets da posio
|x
'
)), podemos assciar ||
2
com uma densidade de probabilidade. Seja ento esta densidade definida
como
(x
'
, t) = |(x
'
, t)|
2
= |(x
'
|o, t
0
; t)|
2
(4.14)
A quantidade
(x
'
, t) d
3
x
'
nos d a probabilidade, num instante t, de encontrar a partcula dentro de um pequeno elemento de
volume d
3
x
'
em torno da posio x
'
.
Equao da continuidade. Usando a equao de Schrdinger dependente do tempo podemos
mostrar facilmente que
c
ct
+ - j = 0 (4.15)
onde representa ||
2
como antes, e j(x, t) conhecido como fluxo de probabilidade, dado por
j(x, t) =
ih
2m
|
-
(
-
)] =
h
m
Im(
-
) (4.16)
Fluxo de probabilidade e momento. Integrando (2.4.16) sobre todo o espao, obtemos
] j(x, t)d
3
x =
1
2m
]
-
(x, t)(ih)(x, t)d
3
x
1
2m
](ih
-
(x, t))(x, t)d
3
x =
(p)
t
m
onde usamos (1.7.19).
Nota: A Eq. (4.15) nos lembra a equao da continuidade em dinmica dos fluidos, que caracteriza um
fluxo hidrodinmico de um fluido numa regio sem fontes nem sumidouros. De fato, historicamente
Schrdinger foi o primeiro a interpretar ||
2
como uma densidade real de matria, ou e||
2
como uma
densidade real de carga eltrica. Se adotarmos tal ponto de vista, ficaremos diante de algumas
consequncia estranhas. Um argumento tpico para a medida da posio seria este: Um eltron
atmico considerado como uma distribuio contnua de matria, preenhcendo toda a regio em
torno do ncleo; mas, quando se realiza uma medida para verificar que o eltron est em algum ponto
particular, esta distribuio contnua de matria subitamente se contrai na forma de uma partcula sem
extenso espacial.
A interpretao estatstica mais satisfatria de ||
2
foi dada pela primeira vez por M. Born.
Significado fsico da funo de onda
Vamos escrever a funo de onda na forma
(x, t) = (x, t) exp
iS(x, t)
h
(4.18)
onde S real e > 0.
Significado de S. Note que
-
= exp
iS
h
exp
iS
h
= +
i
h
VS
e
(
-
) = exp
iS
h
exp
iS
h
=
i
h
VS
Logo,
j =
ih
2m
|
-
(
-
)] =
ih
2m
2i
h
S =
S
m
(4.20)
Agora vemos que a funo de onda tem muito mais coisa do que simplesmente a densidade de
probabilidade dada por ||
2
: o gradiente da fase S contm uma pea de informao vital. Da Eq.
(2.4.20) vemos que a variao espacial da fase da funo de onda caracteriza o fluxo de
probabilidade; quanto mais forte for a variao da fase, mais intenso ser o fluxo. A direo de j em
qualquer ponto x normal superfcie de fase constante que passa por aquele ponto (definio de
gradiente).
Onda plana. Um exemplo particularmente simples o da onda plana (autofuno do momento)
(x, t) exp
ip - x
h

iEt
h
(4.21)
onde p significa o autovalor do operador momento. Neste caso, a fase S vale
S(x, t) = p - x Et
e, portanto,
S = p (4.22)
Mais geralmente, tentador considerar VS/m como alguma espcie de velocidade,
v =
S
m
e escrever a equao da continuidade (2.4.15) como
c
ct
+ - v = 0
da mesma forma como na dinmica dos fluidos. Porm, devemos tomar cuidado com uma
interpretao to literal de j como vezes a velocidade definida em todos os pontos do espao, uma
vez que medidas simultneas precisas da posio e velocidade violam o princpio da incerteza.
O Limite Clssico
Agora vamos discuitir o limite clssico da mecnica ondulatria. Seja a equao de Schrdinger
dependente do tempo,
ih
c
ct
=
h
2
2m
V
2
+ V .
Para
= exp
iS
h
encontramos
ih
c
ct
exp
iS
h
=
h
2
2m
V
2
exp
iS
h
+ V exp
iS
h
ou
ih
c
ct
+
i
h

cS
ct
=
h
2
2m

2
+
2i
h
- (S)
1
h
2
|S|
2
+
i
h

2
S + V (4.25)
Aproximao para h pequeno. At aqui a expresso exata. Vamos supor que, em algum
sentido, h possa ser considerada uma quantidade pequena, admitindo que
h
2
S << |S|
2
(4.26)
e assim por diante. Vamos ento colecionar os termos que no dependem de h:

cS
ct
=
1
2m
|S|
2
+ V
ou
1
2m
|S(x, t)|
2
+ V(x) +
cS(x, t)
ct
= 0 (4.27)
Equao de Hamilton-Jacobi. A Eq. (2.4.27) a equao de Hamilton-Jacobi da mecnica
clssica, onde S(x, t) representa a funo principal de Hamilton. Assim, no por acaso que, no limite
h 0, a mecnica clssica esteja contida na mecnica ondulatria de Schrdinger. Temos uma
interpretao semiclssica para a fase da funo de onda: h vezes a fase igual funo principal de
Hamilton, desde que h possa ser considerado como uma quantidade pequena.
Estados estacionrios. Vamos olhar para os estados estacionrios com dependncia temporal
exp(iEt/h). Neste caso, a Hamiltoniana clssica no depende explicitamente do tempo e a funo de
principal de Hamilton separvel:
S(x, t) = W(x) Et (4.28)
onde W(x) chamada de funo caracterstica de Hamilton.
* * *
Substituindo em (4.27),
1
2m
||W(x) Et]|
2
+ V(x) +
c|W(x) Et]
ct
= 0
podemos eliminar o tempo, obtendo-se,
1
2m
|W(x)|
2
+ V(x) = E
* * *
Da Eq. (2.4.27) v-se que, medida que o tempo passa, uma superfcie de S constante avana da
mesma maneira que avana uma superfcie de fase constante em ptica - uma frente de onda. O
momento da teoria clssica de H-J dado por
p
clssico
= S = W
que consistente com nossa identificao anterior de S/m com alguma tipo de velocidade.
Aproximao Semiclssica (WKB)
Vamos obter a soluo de estado estacionrio aproximada da equao de Schrdinger restrita a uma
dimenso. Da equao
1
2m
dW(x)
dx
2
+ V(x) = E
obtm-se facilmente W, integrando-se a equao
dW(x)
dx
= 2m|E V(x)]
ou seja,
W(x) = ]
x
dx
'
2m|E V(x
'
)]
Regio classicamente permitida (E > V)
Logo, S(x, t) dado por
S(x, t) = W(x) Et = ]
x
dx
'
2m(E V(x
'
)) Et
onde estamos interessados na regio classicamente permitida, E > V.
Estados estacionrios. Para estados estacionrios, temos
c
ct
= 0
o que, devido equao da continuidade na forma (2.4.24),
c
ct
+
c
cx

1
m
cS
cx
= 0
c
cx

cS
cx
= 0.
implica em
cS
cx
= constante
Como
cS
cx
=
dW(x)
dx
= 2m(E V(x)) = constante
ento
=
constante
|E V(x
'
)]
1/4

1
v
clssica
Combinando essas equaes na expresso
= exp
iS
h
encontramos,
(x, t) =
constante
|E V(x)]
1/4
exp
i
h
]
x
dx
'
2m(E V(x
'
))
iEt
h
. (4.35)
Esta soluo aproximada conhecida com soluo WKB (Wentzel, Kramers e Brillouin).
O que significa dizer h pequeno? A condio
h
2
S << |S|
2
equivalente em problemas unidimensionais a
h
d
2
S
dx
2
<<
dS
dx
2
.
Como
dS
dx
=
dW(x)
dx
= 2m|E V(x)]
ento
d
2
S
dx
2
=
2m
2
1
(E V(x))
dV(x)
dx
dS
dx
2
= 2m|E V(x)|
Logo,
h
d
2
S
dx
2
<<
dS
dx
2
h
m
2
1
(E V(x))
dV(x)
dx
<< 2m|E V(x)]
para E > V, ou
h
2m(E V(x))
dV(x)
dx
<< 2m|E V(x)]
Em termos do comprimento de onda de de Broglie dividido por 2m,
=
h
2m(E V(x))
a condio torna-se
<<
2m|E V(x)]
|dV(x)/dx|
(2.4.37)
Em outras palavras, deve ser pequeno comparado com a distncia caracterstica sobre a qual o
potencial varia apreciavelmente. Grosso modo, o potencial deve ser essencialmente constante sobre
muitos comprimentos de onda. Logo, vemos que a aproximao semiclssica confivel no limite de
pequenos comprimentos de onda.
Regio classicamente proibida (E < V)
Vamos considerar agora o caso onde E V(x) < 0, cujos valores de x so conhecidos como regio
classicamente proibida. A teoria clssica de Hamilton-Jacobi no faz sentido neste caso, tal que nossa
soluo aproximada(2.4.35) tem que ser modificada.
Soluo anloga para a regio V > E. Pode-se mostrar, por substituio direta, que a funo
(x, t) =
constante
|V(x) E]
1/4
exp
1
h
]
x
dx
'
2m|V(x
'
) E]
iEt
h
(4.38)
satisfaz a equao de onda, com a condio de que h/ 2m(V E) seja pequeno comparado com a
distncia caracterstica na qual o potencial varia.
Pontos de retorno. Nenhuma das solues semiclssicas tem sentido prximas de um ponto de
retorno clssico, definido pelo valor de x para o qual
V(x) = E
uma vez que (ou i) torna-se infinito naquele ponto, levando a uma forte violao da condio
(2.4.37). De fato, uma tarefa no trivial casar as duas solues atravs do ponto de retorno. O
procedimento padro baseado nas seguintes etapas:
1. Lineariza-se o potencial V(x) nas proximidades do ponto de retorno x
0
, definido pela raiz de
V(x
0
) = E. Ou seja,
V(x) ~ V(x
0
) +
dV
dx x=x0
(x x
0
)
2. Resolve-se a equao diferencial
d
2
u
E
dx
2

2m
2
dV
dx x=x0
(x x
0
) u
E
= 0
exatamente, para obter uma terceira soluo envolvendo as funes de Bessel de ordem 1/3
(funes de Airy) vlida prximo de x
0
.
3. Casa-se esta soluo s outras duas, escolhendo-se apropriadamente vrias constantes de
integrao.
Aproximao WKB para um poo de potencial
Vamos aplicar os resultados da anlise da aproximao WKB para um poo de potencial (estados
ligados), mostrado esquematicamente na figura abaixo. Nesta figura, as regies so caracterizada
pelas seguintes condies:
Regio I: E < V(x), Eq. (2.4.38)
Regio II: E > V(x), Eq. (2.4.35)
Regio III: E < V(x), Eq. (2.4.38)
V(x)
x
E
x
1
x
2
Regio I
Regio II
Regio III
As solues so:
Regies I e III
I,III
(x, t) =
C
1
|V(x) E]
1/4
exp
1
h
]
x
dx
'
2m|V(x
'
) E]
iEt
h
Regio II
II
(x, t) =
C
2
|E V(x)]
1/4
exp
i
h
]
x
dx
'
2m(E V(x
'
))
iEt
h
Regies de transio
Nos pontos de retorno, x = x
1
e x = x
2
, temos que resolver a equao de Schrdinger exata para o
potencial linearizado. Ou seja,
d
2
u
E
dx
2
[
2
(x x
0
) u
E
= 0
onde
[ =
2m
2
dV
dx x=x0
1/2
=
1
2mV
'
(x
0
)
1/2
Fazendo uma mudana de varivel do tipo
z = [
2/3
(x x
0
) =
1
2mV
'
(x
0
)
1/3
(x x
0
)
encontra-se
d
dx
=
d
dz
dz
dx
= [
2/3 d
dz
e
d
2
dx
2
= [
4/3 d
2
dz
2
Portanto,
[
4/3
d
2
u
E
dz
2

[
2
[
2/3
z u
E
= 0
ou
d
2
dz
2
z u
E
= 0
cuja soluo so as funes de Airy, Ai(z),
Ai(z) =
1
m
]
0
dcos
1
3

3
+ z
O comportamento assinttico dessa funo
Ai(z) ~
1
2
1
m z
1/2
exp
2
3
z
3/2
, z >> 0, (V >> E)
1
m z
1/2
cos
2
3
z z
m
4
, z << 0, (E >> V)
.
Uma vez que
V(x) = V(x
0
) + V
'
(x
0
)(x x
0
) (x x
0
) =
(V E)
V
'
onde V
'
= dV/dx, temos
z = [
2/3
(x x
0
) = [
2/3 V E
V
'
Comportamento assinttico na regio II. Ento, o comportamemto assinttico de Ai(z) para
z << 0 (V << E)
Ai(z) =
V
'
m [
2/3
(E V)
1/2
cos
2
3
[(x
0
x)
3/2
m
4
Notando que o argumento do cosseno pode ser obtido atravs da integral
]
x0
x
[ (x
0
x) dx
'
=
2
3
[(x
0
x)
3/2
ento, a forma assinttica torna-se
Ai(z) =
V
'
m [
2/3
(E V)
1/2
cos ]
x0
x
[ (x
0
x) dx
'
+
m
4
ou
Ai(z) =
V
'
m [
2/3
(E V)
1/2
cos
1
h
]
x0
x
2mV
' E V
V
'
dx
'
+
m
4
e, finalmente
Ai(z) =
V
'
m [
2/3
(E V)
1/2
cos
1
h
]
x0
x
2m(E V(x
'
)) dx
'
+
m
4
(*)
Forma assinttica nas regies I e II. Da mesma maneira podemos obter a forma assinttica para
as regies onde V >> E (x >> 0). Encontramos
Ai(z) =
V
'
m [
2/3
(E V)
1/2
exp
1
h
]
x0
x
2m(V(x
'
) E) dx
'
(**)
Continuidade da funo atravs dos pontos x
1
e x
2
. Queremos agora que a soluo
(aproximada) da equao de Schrdinger seja contnua atravs de x = x
1
, ao passarmos da regio I
para a regio II. Ento, esta soluo tem que ser da forma de (*). Ou seja,
u
II
(1)
(x) = C
1
V
'
m [
2/3
(E V)
1/2
cos
1
h
]
x1
x
2m(E V(x
'
)) dx
'

m
4
Da mesma forma com o ponto x
2
, ao passarmos da regio III para a regio II:
u
II
(2)
(x) = C
2
V
'
m [
2/3
(E V)
1/2
cos
1
h
]
x2
x
2m(E V(x
'
)) dx
'
+
m
4
Soluo nica. Como a soluo na regio II deve ser nica, os argumentos dos cossenos diferem,
no mximo, por um mltiplo inteiro de m. Logo,
1
h
]
x1
x
2m(E V(x
'
)) dx
'

m
4

1
h
]
x2
x
2m(E V(x
'
)) dx
'
+
m
4
= nm
ou
1
h
]
x1
x2
2m(E V(x
'
)) dx
'
+ ]
x2
x
2m(E V(x
'
)) dx
'

m
4
1
h
]
x2
x
2m(E V(x
'
)) dx
'
+
m
4
= nm
e, finalmente,
]
x1
x2
2m(E V(x
'
)) dx
'
= n +
1
2
mh, (n = 0, 1, 2.) (4.43)
Esta equao simplesmente a condio de quantizao de Bohr-Sommerfel (exceto pelo fator 1/2),
escrita como
] p dq = nh
onde a integral calculada sobre um perodo completo do movimento clssico, de x
1
a x
2
, ida e volta.
Aplicao de (4.43) - Bola quicando sobre o solo
Considere o problema de uma bola quicando sobre uma superfcie dura:
x
V(x)
x
x = 0
( )
<
>
=
. 0 ,
0 ,
x
x mgx
x V
Para este potencial, os pontos de retorno, V(x) = E, sero
x
1
= 0 e x
2
=
E
mg
As funes se anulam em x = 0. Por isso, melhor usarmos as solues mpares de um
problema modificado definido por:
x
V(x)
|x|
( ) ) ( |, | < < = x x mg x V
Neste caso, nossos pontos de retorno sero
x
1
=
E
mg
e x
2
=
E
mg
.
Condio de quantizao. A condio de quantizao (4.43), para as solues mpares, nos
fornece,
]
E/mg
E/mg
dx 2m(E mg|x|) = n
mpar
+
1
2
mh, (n
mpar
= 1, 3, 5, .)
ou, de forma equivalente,
]
0
E/mg
dx 2m(E mgx) = n
1
4
mh, (n = 1, 2, 3, .)
A integral pode ser feita facilmente, fornecendo
]
0
E/mg
dx 2m(E mgx) =
Logo,
2 2
3g
E
3
m
= n
1
4
mh,
ou
8
9g
2
E
3
m
= n
1
4
2
m
2
h
2
e, finalmente,
E
n
=
3 n
1
4
m
2/3
2
(mg
2
h
2
)
1/3
para os nveis de energia quantizada de uma bola quicando sobre o cho.
2.5 Propagadores e Int. de Caminho de Feynman
Propagadores em Mennica Ondulatria
Problema geral da evoluo temporal. J vimos que a soluo do problema de evoluo
temporal com um Hamiltoniano dependente do tempo pode ser resolvido, expandindo-se o ket inicial
em termos dos autokets de um observvel que comuta com H. Ou seja,
|o, t
0
; t) = exp
iH(t t
0
)
h
|o, t
0
)
=
_
a
'
|a
'
)(a
'
|o, t
0
) exp
iE
a
' (t t
0
)
h
Multiplicando ambos os lados pela esquerda por (x
'
| encontramos
(x
'
|o, t
0
; t) =
_
a
'
(x
'
|a
'
)(a
'
|o, t
0
) exp
iE
a
' (t t
0
)
h
(5.2)
que da forma
(x
'
, t) =
_
a
'
c
a
' (t
0
) u
a
' (x
'
) exp
iE
a
' (t t
0
)
h
onde usamos
u
a
' (x
'
) = (x
'
|a
'
),
para representar a autofuno do operador A com autovalor a
'
. Note tambm que
(a
'
|o, t
0
) = ] d
3
x
'
(a
'
|x
'
)(x
'
|o, t
0
) (5.5)
reconhecida com a regra usual em mecnica ondulatria para obter os coeficientes de expanso do
estado inicial
c
a
' (t
0
) = ] d
3
x
'
u
a
'
-
(x
'
) (x
'
, t
0
).
Tudo isto direto e familiar.
Propagador. A Eq. (2.5.2), com a ajuda de (2.5.5), pode tambm ser visualizada como alguma
espcie de operador integral atuando sobre uma funo de onda inicial, resultando na funo de onda
final. De fato, substituindo (2.5.5) em (2.5.2) obtm-se
(x
''
, t) =
_
a
'
(x
''
|a
'
) ] d
3
x
'
(a
'
|x
'
)(x
'
|o, t
0
) exp
iE
a
' (t t
0
)
h
= ] d
3
x
'
_
a
'
(x
''
|a
'
)(a
'
|x
'
) exp
iE
a
' (t t
0
)
h
(x
'
|o, t
0
)
= ] d
3
x
'
_
a
'
(x
''
|a
'
)(a
'
|x
'
) exp
iE
a
' (t t
0
)
h
(x
'
, t
0
)
ou
(x
''
, t) = ] d
3
x
'
K(x
''
, t; x
'
, t
0
) (x
'
, t
0
). (5.7)
aqui o ncleo (kernel) do operador integral, conhecido como propagador em mecnica ondulatria,
dado por
K(x
''
, t; x
'
, t
0
) =
_
a
'
(x
''
|a
'
)(a
'
|x
'
) exp
iE
a
' (t t
0
)
h
(5.8)
Em qualquer que seja o problema, o progador depende apenas do potencial e
independente da funo de onda inicial. Pode ser construdo uma vez que as autofunes
da energia e seus autovalores sejam conhecidos.
Evoluo temporal da funo de onda. A evoluo temporal da funo de onda completamente
predita se K(x
''
, t; x
'
, t
0
) conhecido e (x
'
, t
0
) dado inicialmente.
Teoria causal. Neste sentido, a mecnica ondulatria de Schrdinger uma teoria perfeitamente
causal. A evoluo temporal de uma funo de onda sujeita a algum potencial to determinstica
como qualquer outra coisa em mecnica clssica, desde que o sistema no seja perturbado. Talvez a
nica caracterstica peculiar que quando se realiza uma medida, a funo de onda muda
abruptamente, de uma maneira incontrolvel, para uma das autofunes do observvel que est
sendo medido.
Propriedades do propagador. Existem duas propriedades do propagador:
1) Para t > t
0
, K(x
''
, t; x
'
, t
0
) satisfaz a equao de
Schrdinger dependente do tempo nas variveis x
''
e t, com x
'
e t
0
fixos.
Demonstao: De fato, como
K(x
''
, t; x
'
, t
0
) =
_
a
'
(x
''
|a
'
)(a
'
|x
'
) exp
iE
a
' (t t
0
)
h
pode ser reescrito como
K(x
''
, t; x
'
, t
0
) =
_
a
'
exp
iE
a
' t
0
h
u
a
'
-
(x
'
) exp
iE
a
' t
h
u
a
' (x
''
)
=
_
a
'
u
a
'
-
(x
'
, t
0
) u
a
' (x
''
, t).
Como u
a
' (x
''
, t) satisfaz a equao de onda de Schrdinger, uma combinao linear (desde que x
'
e t
0
sejam fixos) tambm a satisfaz e, portanto, K deve tambm satisfazer a mesma equao de onda.
2) O limite de K(x
''
, t; x
'
, t
0
) quando t t
0
vale
lim
tt
0
K(x
''
, t; x
'
, t
0
) = o
3
(x
''
x
'
).
Demonstrao. Isto pode ser mostrado, usando-se a completeza da base |a
'
)). De fato, a Eq.
(2.5.8),
K(x
''
, t; x
'
, t
0
) =
_
a
'
(x
''
|a
'
)(a
'
|x
'
) exp
iE
a
' (t t
0
)
h
reduz-se a
K(x
''
, t; x
'
, t
0
) = (x
''
|x
'
) exp
iE
a
' (t t
0
)
h
e, portanto, usando a ortogonalidade dos |x
'
)) encontramos
K(x
''
, t; x
'
, t
0
) = o
3
(x
''
x
'
) exp
iE
a
' (t t
0
)
h
.
Agora, tomando o limite quando t t
0
, esta expresso torna-se
lim
tt0
K(x
''
, t; x
'
, t
0
) = o
3
(x
''
x
'
).
Interpretao fsica do propagador. Devido a essas duas propriedades, o propagador, quando
considerado como funo de x
''
simplesmente a funo de onda, no instante t, de uma partcula que
estava precisamente localizada no ponto x
'
num instante anterior t
0
. De fato, esta interpretao segue,
talvez de uma maneira mais elegante, da observao de que (2.5.8) tambm pode ser escrita como
K(x
''
, t; x
'
, t
0
) = (x
''
| exp
iE
a
' (t t
0
)
h
|x
'
). (2.5.10)
onde o operador evoluo temporal atuando sobre |x
'
) justamente o estado ket no instante t de um
sistema que estava precisamente localizado na posio x
'
no instante t
0
(< t).
Soluo geral usando o propagador. Se quisermos resolver um problema mais geral, onde a
funo de onda inicial, no est localizada, mas extende-se sobre uma regio finita do espao, tudo
que precisamos fazer multiplicar a funo de onda inicial (x
'
, t
0
) pelo propagador K(x
''
, t; x
'
, t
0
) e
integrar sobre todo o espao (isto , sobre x
'
), como nos mostra a Eq. (2.5.7):
(x
''
, t) = ] d
3
x
'
K(x
''
, t; x
'
, t
0
) (x
'
, t
0
).
Propagador como funo de Green. Esta soluo semelhante ao problema para encontrar o
potencial eletrosttico de uma distribuio de carga: inicialmente resolve-se o problema de uma carga
puntiforme, multiplica-se pela distribuio e integra-se:
(x) = ] d
3
x
'
(potencial de q=1)
1
|x x
'
|
(x
'
) (potencial eletronsttico).
Equao de Green para o propagador. O propagador pode ento ser considerado como a funo
de Green para a equao de onda dependente do tempo:
h
2
2m

''2
+ V(x
''
) ih
c
ct
K(x
''
, t; x
'
, t
0
) = iho
3
(x
''
x
'
)o(t t
0
). (5.12)
com a condio de contorno
K(x
''
, t; x
'
, t
0
) = 0, t < t
0
. (5.13)
A forma do propagador depende do potencial ao qual a partcula est sujeita.
Propagador para a partcula livre. O momento o observvel que comuta com o Hamiltoniano.
Portanto, |p
'
) um autoket simultneo dos operadores p e H:
p |p
'
) = p
'
|p
'
), H |p
'
) =
p
'2
2m
|p
'
).
As autofunes do momento so do tipo onda plana [v. (1.7.32)]:
(x
'
|p
'
) =
1
2mh
exp(ip
'
x
'
).
Substituindo esta funo em (2.5.8), obtm-se
K(x
''
, t; x
'
, t
0
) =
1
2mh
] dp
'
exp
ip
'
(x
''
x
'
)
h

ip
'2
(t t
0
)
2mh
.
Clculo da integral. Esta integral pode ser facilmente calculada, completando-se o quadrado na
exponencial do termo p
'
. Ou seja,
K(x
''
, t; x
'
, t
0
) =
1
2mh
]
dp
'
exp
i(t t
0
)
2mh
p
'2
+ 2p
'
m(x
''
x
'
)
(t t
0
)
=
1
2mh
]
dp
'
exp a (p
'
+ b)
2
b
2
=
1
2mh
exp(ab
2
) ]
dp
'
exp a(p
'
+ b)
2
onde
a =
i(t t
0
)
2mh
, b =
m(x
''
x
'
)
(t t
0
)
Mas,
]
e
a(p+b)
2
dp =
m
a
Logo,
K(x
''
, t; x
'
, t
0
) =
1
2mh
m
a
exp(ab
2
)
=
1
2mh
m
i(t t
0
)
2mh
exp
i(t t
0
)
2mh
m
2
(x
''
x
'
)
2
(t t
0
)
2
=
m
2mih(t t
0
)
exp
im(x
''
x
'
)
2
2(t t
0
)
.
Integral espacial envolvendo K(x
''
, t; x
'
, t
0
). Certas integrais envolvendo K(x
''
, t; x
'
, t
0
) so de
grande interesse. Considere a integral sobre todo espao de
K(x
''
, t; x
'
, t
0
) =
_
a
'
(x
''
|a
'
)(a
'
|x
'
) exp
iE
a
' t
h
para x
'
= x
''
(t
0
= 0):
G(t) = ] d
3
x
'
K(x
'
, t; x
'
, 0) = ] d
3
x
'
_
a
'
|(x
'
|a
'
)|
2
exp
iE
a
' t
h
=
_
a
'
exp
iE
a
' t
h
] d
3
x
'
|(x
'
|a
'
)|
2
=
_
a
'
exp
iE
a
' t
h
onde usamos a normalizao das autofunes (x
'
|a
'
). Ento
G(t) =
_
a
'
exp
iE
a
' t
h
(5.20)
Continuao analtica de t. Tomando t imaginrio puro, podemos definir
[ =
it
h
e representar G(t) como
G(t) =
_
a
'
exp([E
a
' ),
que podemos identificar com a funo partio:
Z =
_
a
'
exp([E
a
' ).
Por este motivo, algumas tcnicas encontradas no estudo dos propagadores em MQ so tamb teis
em mecnica estatstica.
Integral temporal envolvendo K(x
''
, t; x
'
, t
0
). Outra integral importante envolve a transformada de
Laplace-Fourier de G(t):
G
(E) =
i
h
]
0
dt G(t) exp(iEt/h).
Ou seja
G
(E) =
i
h
]
0
dt
_
a
'
exp(iE
a
' t/h) exp(iEt/h)
=
i
h
_
a
'
]
0
dt exp i(E E
a
' )t/h
Como o integrando oscila indefinidamente, vamos fazer
E E + ic
onde c uma pequena parte imaginria positva. Aps calcularmos a integral, fazemos c 0:
G
(E, c) =
i
h
_
a
'
]
0
dt exp i(E + ic E
a
' )t/h
=
i
h
_
a
'
]
0
dt exp (c i(E E
a
' ))t/h
=
i
h
_
a
'
h
c iE + iE
a
'
=
_
a
'
i
c iE + iE
a
'
No limite lim
c0
G
(E, c) encontramos
G
(E) =
_
a
'
1
E E
a
'
.
Observe agora que o espectro de energia completo aparece como plos simples de G
(E) no plano
complexo E . Se desejarmos conhecer o espectro de energia de um sistema fsico, basta estudar as
propriedades analticas de G
(E).
Propagador como uma Amplitude de Transio
Funo de onda. Definimos a funo de onda como o produto interno de um bra (x
'
| fixo com um
estado ket movendo-se |o, t
0
; t). Ou seja,
o
(x
'
, t) = (x
'
|o, t
0
; t).
Podemos tambm definir esta funo, na representao de Heisenberg, como o produto interno de bra
da posio que se move no sentido oposto no tempo, (x
'
, t|, com o estado ket |o, t
0
) fixo no tempo:
o
(x
'
, t) = (x
'
, t|o, t
0
).
Propagador. Da mesma forma, podemos definir o propagador como
K(x
''
, t; x
'
, t
0
) =
_
a
'
(x
''
|a
'
)(a
'
|x
'
) exp
iE
a
' (t t
0
)
h
=
_
a
'
(x
''
| exp
iE
a
' t
h
|a
'
)(a
'
| exp
iE
a
' t
0
h
|x
'
)
= x
''
, t | x
'
, t
0
.
onde |x
'
, t
0
) e (x
''
, t| so, respectivamente, autoket e autobra do operador posio na representao de
Heisenberg.
O que significa um produto da forma b
'
, t | a
'
? Na Se. 2.2 vimos que b
'
, t | a
'
, na notao da
representao de Heisenberg a amplitude de probabilidade para um sistema, originalmente
preparado num autoestado de A com autovalor a
'
no tempo inicial t
0
= 0, ser encontrado num tempo
posterior t num autoestado de B com autovalor b
'
. Foi o que se chamou de amplitude de transio
para ir do estado |a
'
) para o estado |b
'
).
E o que significa K(x
''
, t; x
'
, t
0
) = x
''
, t | x
'
, t
0
? A diferena com o caso anterior fica por conta da
escolha de t
0
= 0. Mas o que relevante aqui a diferena t t
0
. Portanto, podemos identificar
x
''
, t | x
'
, t
0
como a amplitude de probabilidade para a partcula preparada no instante t
0
com
autovalor da posio x
'
ser encontrada num instante posterior t na posio x
''
. Grosso modo,
K(x
''
, t; x
'
, t
0
) a amplitude de probabilidade para uma partcula ir de um ponto espao-temporal (x
'
, t
0
)
para outro ponto espao-temporal (x
''
, t).
Outra interpretao para K(x
''
, t; x
'
, t
0
) = x
''
, t | x
'
, t
0
. Sabemos que na representao de
Heisenberg o estado fixo e a base se movimenta. Nessa representao, |x
'
, t
0
) o autoket da
posio no instante t
0
com autovalor x
'
. Em qualquer instante, podemos escolher os autokets de um
observvel como kets de base. Logo,
x
''
, t | x
'
, t
0
pode ser considerada como a transformo que conecta as duas bases em tempos diferentes.
Notao simtrica. Vamos usar uma notao mais simtrica para as coordenadas espaciais e
temporais. Ou seja, faremos a substituio
x
''
, t | x
'
, t
0
x
''
, t
''
| x
'
, t
'
Operador identidade. Na representao de Heisenberg os kets da posio formam um conjunto
completo, em qualquer instante. Podemos ento definir o operador identidade para esse conjunto
como
] d
3
x
''
|x
''
, t
''
)(x
''
, t
''
| = 1.
Evoluo temporal. Podemos usar esse operador identidade para escrever a evoluo temporal
de um sistema fsico do instante t
'
para o instante t
'''
. Para isso, podemos dividir o intervalo (t
'
, t
'''
) em
duas partes, (t
'
, t
''
) e (t
''
, t
'''
). Logo,
x
'''
, t
'''
| x
'
, t
'
= ] d
3
x
''
x
'''
, t
'''
| x
''
, t
''
x
''
, t
''
| x
'
, t
'
, (t
'''
> t
''
> t
'
).
Isto conhecido como propriedade da composio da amplitude de transio.
Subintervalos menores. Evidentemente, podemos dividir o intervalo de tempo em subintervalos
cada vez menores na quantidade que desejarmos. Logo,
x
''''
, t
'''
| x
'
, t
'
= ] d
3
x
'''
] d
3
x
''
x
''''
, t
''''
| x
'''
, t
'''
x
'''
, t
'''
| x
''
, t
''
x
''
, t
''
| x
'
, t
'
,
(t
''''
> t
'''
> t
''
> t
'
) (5.29)
e assim por diante.
Subintervalos infinitesimais. Se de algum modo adivinhssemos a forma de x
''
, t
''
| x
'
, t
'
para
um intervalo de tempo infinitesimal (entre t
'
e t
''
= t
'
+ dt), poderamos obter a amplitude x
''
, t
''
| x
'
, t
'
para um intervalo de tempo finito compondo as amplitudes de transio apropriadas para intervalos de
tempo infinitesimais de maneira anloga a (2.5.29). Este tipo de raciocnio levou a uma formulao
independente da mecnica quntica devida a Feynman.
Integrais de Caminho como a Soma sobre Caminhos
Sem perda de generalidade vamos nos restringir a problemas unidimensionais. Vamos tambm
substituir expresses incovenientes por outras mais simples. Por exemplo:
x
N vezes
''''''
x
N
Amplitude de transio de (x
1
, t
1
) (x
N
, t
N
). Com esta notao, vamos considerar a amplitude
de transio para uma partcula indo do ponto espao-temporal inicial (x
1
, t
1
) para o final (x
N
, t
N
).
Vamos dividir o intervalo total entre t
1
e t
N
em N 1 partes iguais:
t
j
t
j1
= At =
(t
N
t
1
)
N 1
Explorando a propriedade da composio, obtemos
x
N
, t
N
| x
1
, t
1
= ] dx
N1 ] dx
N2
] dx
2
x
N
, t
N
| x
N1
, t
N1
x
N1
, t
N1
| x
N2
, t
N2
x
2
, t
2
| x
1
, t
1
que igual ao propagador K(x
N
, t
N
; x
1
, t
1
).
Significado das integrais. A figura abaixo serve para visualizar graficamente o procedimento que
ser descrito.
t
x
(x
1
, t
1
)
(x
N
, t
N
)
t
1
t
2
t
3
t
r
t
N-1
t
N
Caminhos no plano x t.
Considere o plano espao-tempo. Os estados inicial e final so pontos fixos neste plano: (x
1
, t
1
) e
(x
N
, t
N
), respectivamente. Para cada segmento de tempo, digamos entre t
n1
e t
n
, devemos considerar
a amplitude de transio para ir de (x
n1
, t
n1
) at (x
n
, t
n
); integra-se ento sobre x
2
, x
3
, ., x
N1.
Isto
significa que devemos somar sobre todos os possveis caminhos no plano espao-tempo,
mantendo-se fixos os pontos das extremidades.
Caminhos na mecnica clssica
Como aparecem? Suponha que se tenha uma partcula sujeita a um campo de fora derivvel de
um potencial V(x). A Lagrangeana clssica escrita como
L
clssica
(x, x` ) =
mv
2
2
V(x)
Dada esta Lagrangeana, com os pontos das extremidades especificados, existe apenas um nico
caminho que corresponde ao movimento real da partcula.
Exemplo. Dados
V(x) = mgx, (x
1
, t
1
) = (h, 0), (x
N
, t
N
) = 0,
2h
g
onde h pode significar a altura da Torre Inclinada de Pisa, o caminho clssico no plano x t pode ser
apenas
x = h
gt
2
2
.
De uma maneira geral, de acordo com o princpio de Hamilton, o caminho nico aquele que minimiza
a ao, definida como a integral temporal da Lagrangeana:
o ]
t1
t2
dt L
clssica
(x, x` ) = 0 (5.35)
do qual a equao de movimento de Lagrange pode ser obtida.
Formulao de Feynman
Diferena entre clssica e quntica. A diferena bsica entre as mecnicas clssica e quntica
est na associao de caminhos no plano x-t ao movimento da partcula.
Clssica: caminho nico (definido).
Quntica: todos os possveis caminhos, mesmo aqueles que no tm nenhuma semelhana
com os caminhos clssicos. Alm disso, de algum modo deve reproduzir a mecnica clssica
no limite h 0 de maneira suave.
Como fazer isto? Observao de Dirac
exp i ]
t1
t2 dt L
clssica
(x, x` )
h
corresponde a x
2
, t
2
| x
1
, t
1
.
Postulados de Feynman
Lembrando: x
N
, t
N
| x
1
, t
1
a amplitude de probabilidade para a partcula, saindo de x
1
no instante
t
1
, chegar a x
N
no instante t
N
.
(1) x
N
, t
N
| x
1
, t
1
a soma de infinitas amplitudes parciais, uma para um cada dos caminho
conectando (x
1
, t
1
) com (x
N
, t
N
).
(2) A amplitude parcial x
N
, t
N
| x
1
, t
1
I
associada com um desses caminhos I determinada da
seguinte maneira: seja S
I
a ao clssica calculada ao longo de I, isto ,
S
I
= ]
(I)
dt L
clssica
(x, x` )
onde L
clssica
(x, x` ) a Lagrangeana clssica da partcula. Ento
x
N
, t
N
| x
1
, t
1
I
~ exp
iS
I
h
Portanto,
x
N
, t
N
| x
1
, t
1
=
_
I
x
N
, t
N
| x
1
, t
1
I
~
_
I
exp
iS
I
h
2.6 Potenciais e Transformaes de Calibre
Potenciais Constantes
Mecnica clssica. A energia de ponto zero da energia potencial no tem significado fsico em
mecnica clssico. De fato, as variveis dinmicas, tais como x(t) e L(t) no dependem do fato de
usarmos V(x) ou V(x) + V
0
com V
0
constante no espao e tempo. A fora que aparece na segunda lei
de Newton depende apenas do gradiente do potencial; constantes aditivas so irrelevantes.
Mecnica quntica. E na mecnica quntica tem alguma situao anloga?
Evoluo temporal. Vamos olhar para a evoluo temporal de um estado ket na representao de
Schrdinger sujeito a algum potecial. Seja
|o, t
0
; t) V(x)
|o, t
0
; t) V
(x) = V(x) + V
0
com a condies iniciais tais que
|o, t
0
; t) |o), t = t
0
|o, t
0
; t) |o), t = t
0
.
ambos coincidem com |o) em t = t
0
.
De acordo com a teoria,
|o, t
0
; t) = U(t, t
0
)|o, t
0
)
onde U(t, t
0
) = exp|iH(t t
0
)/h]. Portanto,
|o, t
0
; t) = exp i
p
2
2m
+ V(x)
(t t
0
)
h
|o)
|o, t
0
; t) = exp i
p
2
2m
+ V(x) + V
0
(t t
0
)
h
|o)
Portanto, podemos escrever
|o, t
0
; t) = exp
iV
0
(t t
0
)
h
|o, t
0
; t)
Em outras palavras, o ket calculado sob a influncia do potencial V
(x) = V(x) + V
0
tem uma
dependncia temporal que difere apenas pelo fator de fase exp|iV
0
(t t
0
)/h] em relao
quele sob a influncia do potencial V(x).
Estados estacionrios. No caso de estados estacionrios,
|o, t
0
; t) =
iE(t t
0
)
h
|o, t
0
).
Ento para o ket |o, t
0
; t), encontramos
|o, t
0
; t) = exp
iV
0
(t t
0
)
h
|o, t
0
; t) = exp
i(E + V
0
)(t t
0
)
h
|o, t
0
)
Em outras palavras, a dependncia temporal calculada com V
no lugar de V equivale seguinte

mudana:
E E + V
0
.
Efeitos observveis, tais como valores esperados de (x) e (S) sempre dependem da
diferena de energias tal que no mudam por um fator de fase constante.
Transformaes de calibre. Este o primeiro exemplo de uma classe de transformaes
conhecidas como transformaes de calibre (ou de gauge). A mudana na conveno para energia de
ponto zero do potencial deve ser acompanhada por uma mudana no estado ket. Ou seja,
V(x) V(x) + V
0
|o, t
0
; t) exp
iV
0
(t t
0
)
h
|o, t
0
; t)
Em termos da funo de onda isto implica em
(x
'
, t) exp
iV
0
(t t
0
)
h
(x
'
, t)
Potenciais Espacialmente Uniformes
Se o potencial V
0
= V
0
(t) varia com o tempo, ento
|o, t
0
; t) exp i ]
t0
t
dt
'
V
0
(t
'
)
h
|o, t
0
; t)
Fisicamente o uso de V(x) + V
0
(t) em lugar de V(x) significa que devemos escolher um novo ponto
zero da escala de energia em cada instante de tempo.
Diferena de potencial. Embora a escolha da escala absoluta de potencial seja arbitrria,
diferenas de potencial tm significado fsico no trivial e pode ser detectado da seguinte maneira:
Montagem. Veja a figura e, em seguida, a explicao da montagem.
Regio de
interferncia
V
1
(t)
V
2
(t)
V = V
2
-V
1
um feixe de partculas carregadas divide-se em 2 partes e cada uma delas entra num guia
metlica (v. figura abaixo).
pode-se aplicar uma ddp entre os dois guias atravs de uma bateria.
cada partcula no feixe pode ser visualizada como um pacote de onda.
Experincia. Considere a experincia relativa figura acima.
Aplica-se uma ddp depois que os pacotes de onda (partculas carregadas) entrem nos guias e
desliga-se antes que os pacotes deixem os guias.
O potencial dentro dos guias espacialmente uniforme: regio metlica. Por isso, no h
foras atuando sobre as partculas (o campo eltrico no interior do metal nulo).
Recombina-se as duas componentes do feixe numa regio de interferncia indicada na figura.
Devido existncia do potencial, cada componente do feixe sofre uma mudana de fase
indicada por (2.6.7), ou seja,
exp i ]
t0
t
dt
'
V
0
(t
'
)
h
|o, t
0
; t)
Como resultado disso, existe um termo de interferncia observvel na intensidade do feixe na
regio de interferncia, isto
cos(
1

2
), sen(
1

2
)
onde
1

2
=
1
h
]
ti
t
f
dt |V
2
(t) V
1
(t)]
Portanto, embora a partcula no sofra a influncia de uma fora, existe um efeito observvel
que depende se a ddp V
2
(t) V
1
(t) foi ou no aplicada.
Gravidade em Mecnica Quntica
Efeitos gravitacionais em mecnica clssica. Considere a equao de movimento clssica para
um corpo em queda livre
mx = m
grav
= mgz x = gz.
Concluso. Como a massa no aparece na equao, na ausncia da resistncia do ar, uma pena
uma pedra comportam-se da mesma maneira - de acordo com Galileo - sob a influncia da gravidade.
Efeitos gravitacionais em mecnica quntica. Agora vamos examinar o mesmo problema sob o
ponto de vista da mecnica quntica. Neste caso, o anlogo da equao de Newton a equao de
onda:
h
2
2m
V
2
+ m
grav
= ih
c
ct
. (6.11)
Concluso. Neste caso a massa no se cancela, mas aparece como combinao de h/m, tal que,
nos problemas onde h esperamos que m tambm aparea.
Teorema de Ehrenfest. Partindo da equao de Schrdinger, podemos derivar o teorema de
Ehrenfest:
d
2
dt
2
(x) = gz.
Observe que nem h nem m aparece na equao. Entretanto, para observarmos os efeitos
gravitacionais atravs da mecnica quntica, devemos estudar efeitos nos quais h (e, portanto, m)
aparece explicitamente.
Queda livre de partculas elementares. At 1975, a nica evidncia experimental que
estabelecesse a presena do termo m
grav
foi observada na queda livre de partculas elementares;
porm, a equao clssica do movimento (ou teorema de Ehrenfest, onde h no aparece) suficiente
para explic-lo.
A fora gravitacional fraca. A fora gravitacional muito fraca para que seja facilmente
observada. Comparada com a fora eltrica, a fora de Coulomb nas mesmas condies maior por
um fator ~ 2 10
39
.
Interferncia quntica induzida por gravidade
Interfermetro de nutrons. Um feixe de partculas monoenergticas (na prtica, nutrons
termalizados = em equilbrio trmico com o meio) dividido em duas partes no ponto A da trajatria e
recomposto no ponto D (v. figura abaixo: interfermetro de nutrons). Vale o conceito de trajetria
clssica: tamanho do pacote de onda muito menor do que as dimenses macroscpicas do circuito
formado por dois caminhos alternativos A B D e A C D.
l
1
l
2
l
2
sen
A
B
C
D
A
B
C
D
(a)
(b)
Experimento 1: Plano horizontal. Considere que os caminhos A B D e A C D esto num
plano horizontal. Uma vez que o zero absoluto do potencial devido gravidade no importante,
podemos fazer V = 0 para qualquer fenmeno que ocorra neste plano [Fig. (a)].
Experimento 2: Plano inclinado. Girando o plano horizontal em torno do segmento BC por um
ngulo o, o potencial no nvel BD maior do que o do nvel AC pela quantidade mgl
2
seno. Isto significa
que o estado ket associado com o caminho BD gira mais rpido, levando a uma diferena de fase
induzida pela gravidade entre as amplitudes para os dois pacotes de onda que chegam em D. Pacote
de onda chegando a D via ABD sofre uma mudana de fase
exp
im
n
gl
2
Tseno
h
onde T tempo gasto para o pacote ir de B a D (ou de A a C) e m
n
a massa do nutron.
Controle da fase. Pode-se controlar esta fase, girando o plano de 0 a m/2, ou de 0 a m/2. Como
= h/p = h/m
n
v
pacote
, ou v
pacote
= h/m
n
, ento T = l
1
/v
pacote
= m
n
l
1
/h, obtm-se a seguinte expresso
para a diferena de fase
ABD

ACD
=
(m
n
2
gl
1
l
2
seno)
h
2
.
Desta maneira, predizemos um efeito de interferncia que depende do ngulo o, que lembra as franjas
de interferncia no interfermetro de Michelson em ptica. Para z = 1, 42 e l
1
l
2
= 10 cm
2
ento
m
n
2
gl
1
l
2
h
2
= 55, 6
Logo,
ABD

ACD
= 55, 6seno.
Variando gradualmente o ngulo o at 90 predizemos que a intensidade na regio de interferncia
apresenta uma srie de mximos e mnimos; quantitativamente seriam
55, 6
2m
~ 9 oscilaes.
0
Resultado experimental. Resultado experimental obtido por R. Colella, A. Overhauser and S. A.
Werner. Phys Rev. Lett. 34, 1472 (1975).
Colella, Overhauser and Werner - Phys. Rev. Lett. 34, 1472 (
Transformaes de Gauge em Eletromagnetismo
Campos eltrico e magnticos derivados de potenciais escalar e vetorial, (x) e A(x):
E = , B = A
Hamiltoniana. A Hamiltoniana clssica para uma partcula carregada com carga e (e < 0 para o
eltron) sujeita a um campo eletromagntico:
H =
1
2m
p
eA
c
2
+ e
Hamiltoniano. Em MQ, e A so funes do operador posio x da partcula carregada. Como p e
A no comutam, deve-se ter cuidado ao interpretar a Hamiltoniana. O procedimento mais seguro
escrever
p
eA
c
2
p
2

e
c
p - A + A - p +
e
c
2
A
2
.
Neste forma o Hamiltoniano hermitiano.
Dinmica da partcula carregada
Representao de Heisenberg. Clculo da derivada temporal de x
dx
i
dt
=
|x
i
, H]
ih
Como H =
1
2m
p
eA
c
2
+ e, ento
|x
i
, H] = x
i
,
1
2m
p
eA
c
2
+ e
= x
i
,
1
2m
p
eA
c
2
+ |x
i
, e] = x
i
,
1
2m
p
eA
c
2
=
1
2m
x
i
, p
eA
c
- p
eA
c
=
1
2m
x
i
, p
eA
c
- p
eA
c
=
1
2m
x
i
, p
eA
c
- p
eA
c
+
1
2m
p
eA
c
- x
i
, p
eA
c
onde usamos |A, BC] = |A, B]C + B|A, C]. Como |x
i
, A] = 0 (A uma funo de x), ento
x
i
, p
eA
c
= |x
i
, p] = x
i
,
_
j
p
j
j
=
_
j

j
|x
i
, p
j
] =
_
j

j
iho
ij
= ih
i
Logo,
|x
i
, H] =
1
2m
x
i
, p
eA
c
- p
eA
c
+
1
2m
p
eA
c
- x
i
, p
eA
c
=
ih
2m

i
- p
eA
c
+
ih
2m
p
eA
c
-
i
=
ih
m
p
i

eA
i
c
Portanto,
dx
i
dt
=
|x
i
, H]
ih
=
ih
m
p
i

eA
i
c
ih
=
(p
i
eA
i
/c)
m
que mostra que o operador p definido neste livro como sendo o gerador das translaes, no o
mesmo que mdx/dt.
Momento cannico e momento mecnico. O momento p (gerador das rotaes) chamado de
momento cannico para diferenciar do momento mecnico H
H = m
dx
dt
= p
eA
c
Relaes de comutao. Embora
|p
i
, p
j
] = 0
para o momento cannico, para o momento mecnico o comutador no se anula:
|H
i
, H
j
] = p
i

e
c
A
i
, p
j

e
c
A
j
= |p
i
, p
j
]
e
c
|p
i
, A
j
]
e
c
|A
i
, p
j
] +
e
c
2
|A
i
, A
j
]
=
e
c
|p
i
, A
j
]
e
c
|A
i
, p
j
] =
e
c
|p
i
, A
j
] + |A
i
, p
j
])
Mas, como B = A, B
i
= c
ijk
c
j
A
k
, onde c
j
= c/cx
j
. Usando a representao do operador
p
i
= ihc/cx
i
, encontramos
|p
i
, A
j
] + |A
i
, p
j
] |p
i
, A
j
] + |A
i
, p
j
]
= ih
c(A
j
)
cx
i
+ ihA
j
c
cx
i
ihA
i
c
cx
j
+ ih
c(A
i
)
cx
j
= ih
cA
j
cx
i
ihA
j
c
cx
i
+ ihA
j
c
cx
i
ihA
i
c
cx
j
+ ih
cA
i
cx
j
+ ihA
i
c
cx
j
= ih
cA
j
cx
i

cA
i
cx
j

Logo,
|p
i
, A
j
] + |A
i
, p
j
] = ih
cA
j
cx
i

cA
i
cx
j
= ih(V A)
k
= ihc
ijk
B
k
Ento
|H
i
, H
j
] =
e
c
|p
i
, A
j
] + |A
i
, p
j
]
=
e
c
(ihc
ijk
B
k
)
=
ihe
c
c
ijk
B
k
.
Reescrevendo a Hamiltoniana. Usando o momento mecnico H, podemos reescrever a
Hamiltoniana
H =

2
2m
+ e
Agora sabemos que
m
d
2
x
dt
2
=
d
dt
= F
L
onde F
L
fora de Lorentz.
Fora de Lorentz: verso quntica. Vamos usar a verso quntica da fora de Lorentz,
F
L
= e E +
1
c
v B = e E +
1
c
dx
dt
B , ou seja
F
L
= e E +
1
2c
dx
dt
B B
dx
dt
Equao de movimento. Portanto, a equao de movimento da partcula carregada na presena
de E e B ser
m
d
2
x
dt
2
=
d
dt
= e E +
1
2c
dx
dt
B B
dx
dt
que o teorema de Ehrenfest escrito na representao de Heisenberg.
Equao de Schrdinger com e A
Vamos estudar a equao de onda de Schrdinger na presena de e A. Como vimos, esta equao
dada por
(x
'
|H |o, t
0
; t) = ih
c
ct
x
'
| o, t
0
; t .
Inicialmente vamos calcular (x
'
| H |o, t
0
; t), onde
H =
1
2m
p
eA
c
2
+ e
Lembrando que
(x
'
| p |o) = ih
'
x
'
| o
encontramos para o primeiro termo de H
(x
'
| p
eA(x)
c
2
|o, t
0
; t)
= (x
'
| p
eA(x)
c
- p
eA(x)
c
|o, t
0
; t)
= ih
'

eA(x
'
)
c
- (x
'
| p
eA(x)
c
|o, t
0
; t)
= ih
'

eA(x
'
)
c
- ih
'

eA(x
'
)
c
x
'
| o, t
0
; t
Combinando todos os termos, encontramos
1
2m
ih
'

eA(x
'
)
c
- ih
'

eA(x
'
)
c
x
'
| o, t
0
; t
+ e(x
'
) x
'
| o, t
0
; t = ih
c
ct
x
'
| o, t
0
; t
ou
1
2m
ih
'

eA(x
'
)
c
- ih
'

eA(x
'
)
c
(x
'
, t)
+ e(x
'
)(x
'
, t) = ih
c
ct
(x
'
, t)
Equao da continuidade. A partir da equao acima podemos obter a equao da continuidade
da seguinte maneira:
Usando a notao V
'
=
'

ieA(x
'
)
hc
, encontramos
1
2m

-
ih
'
- ih
'
+ e
-
= ih
-
c
ct
1
2m
ih
'-
- ih
'-
-
+ e
-
= ih
c
-
ct

Subtraindo as duas equaes
1
2m

-
ih
'
- ih
'
+ e
-

1
2m
ih
'-
- ih
'-
-
e
-
= ih
-
c
ct
+ ih
c
-
ct

ou
ih
c(
-
)
ct
=
h
2
2m

-
'
-
'
+
h
2
2m

'-
-
'-
-
ou ainda
c(
-
)
ct
= i
h
2m

-
'
-
'

-
'
-
'
-
Como z z
-
= 2i Im(z), encontra-se
c(
-
)
ct
+
h
m
Im
-
'
-
'
= 0
Voltando s variveis antigas obtm-se
'
-
'
=
-

'

ieA
hc
-
'

ieA
hc
=
=
-
'
-
'

ie
hc

-
'
- (A)
ie
hc

-
A -
'

e
hc
2
|A|
2
=
-
'
-
'

ie
hc

-
(
'
- A)
ie
hc

-
A -
'

ie
hc

-
A -
'
e
hc
2
|A|
2
||
2
ou
'
-
'
=
-
'
-
'

ie
hc
(
'
- A)
-

2ie
hc
A -
-
'

e
hc
2
|A|
2
||
2
=
-
'
-
'

ie
hc
(
'
- A)||
2
2ie
hc
A -
-
'

e
hc
2
|A|
2
||
2
Devemos observar que:
'
-
'
=
'
- (
-
'
)
'
-
-
'
=
'
- (
-
'
) (
'
)
-
-
'
=
'
- (
-
'
)
'
2
Por outro lado, o termo
-
'
pode ser calculado, lembrando que
'
(
-
) =
-
'
+ (
'
-
)
Como
-
= ||
2
= constante, ento
'
(
-
) = 0. Logo
'
+ (
'
-
) = 0
e, portanto,
'
=
'
-
Mas,
'
-
= (
-
'
)
-
Logo,
'
=
'
-
= (
-
'
)
-
Ora, quando z = z
-
, isto significa que z imaginrio puro e, portanto, neste caso iz um nmero real.
Ou seja,
-
'
= iV, onde V um vetor real. Assim:
h
m
Im
-
'
-
'
=
h
m
Im
-
'
-
'

ie
hc
(
'
- A)||
2
2ie
hc
A -
-
'

e
hc
2
|A|
2
||
2
=
h
m
Im
'
- (
-
'
)
'
ie
hc
(
'
- A)||
2
2e
hc
A - V
e
hc
2
|A|
2
||
2
=
h
m
Im
'
- (
-
'
)
ie
hc
(
'
- A)||
2
=
h
m
Im|
'
- (
-
'
)]
e
mc
(
'
- A)||
2
=
'
-
h
m
Im(
-
'
)
e
mc
A||
2
Finalmente, a expresso
c(
-
)
ct
+
h
m
Im
-
'
-
'
= 0
pode ser reescrita como ( =
-
)
c
ct
+
'
- j = 0,
onde o fluxo de probabilidade definido por
j =
h
m
Im(
-
'
)
e
mc
A ||
2
que exatamente como se esperava da substituio
V
'
V
'
= V
'

ie
hc
A.
Funo de onda como = exp(iS/h). Escrevendo a funo de onda desta maneira,
encontramos uma forma alternativa para j, ou seja,
j =
h
m
Im exp(iS/h) exp(iS/h)
e
mc
A
=
h
m
Im
i
h
S
e
mc
A
=

m
S
eA
c
(6.33)
que anloga a (2.4.20), isto ,
j =
S
m
Esta forma mais conveniente para se discutir supercondutividade, quantizao de fluxo etc.
Valor esperado do momento mecnico . A integral espacial de j d o valor esperado do
momento mecnico (no do momento cannico) dividido por m. Ou seja
] d
3
x
'
j(x
'
) = ] d
3
x
' h
m
Im(
-
'
)
e
mc
A ||
2
= ] d
3
x
' 1
m
Im i
-
(ih
'
)
e
mc
A ||
2
=
1
m
] d
3
x
'

-
(ih
'
)
e
mc
] d
3
x
'

-
A
=
(p)
m

e(A)
mc
=
(p eA/c)
m
=
()
m
Transformaes de Calibre no Eletromagnetismo
Transformao: + z, A A. Com estas transformaes, onde z uma constante, os campos
estticos, dados por
E = , B = A,
permanecem inalterados. Esta transformao corresponde a uma mudana no ponto zero da escala
de energia.
Transformao: , A A + A. Esta transformao mais interessante. A uma funo de
x. Ambas as transformaes so casos especiais de

1
c
cA
ct
, A A + A
que deixam os campos, dependentes do tempo, dados por
E =
1
c
cA
ct
, B = A,
inalterados. Trataremos aqui de campos e pontenciais estticos e as transformaes de gauge
referem-se a , A A + A.
Partcula carregada num campo magntico na direo z
Resultado clssico
Na fsica clssica, efeitos observveis tais como a trajetria de uma partcula carregada
independente do gauge usado, isto , da particular escolha de A que resolvemos adotar.
Demonstrao. Seja uma partcula carregada num campo magntico na direo z,
B = Bz.
Este campo magntico pode ser obtido do potencial vetorial escrito na forma
A
x
=
By
2
, A
y
=
Bx
2
, A
z
= 0 (6.40)
ou tambm na forma
A
x
= By, A
y
= 0, A
z
= 0. (6.41)
Esta forma obtida daquela, atravs da transformao
A A
Bxy
2
.
De fato,
Bxy
2
= x
c
cx
+
c
cy
+ z
c
cz
Bxy
2
= x
By
2
+
Bx
2
e, portanto,
A = x
By
2
+
Bx
2
x
By
2

Bx
2
= By x .
Agora, podemos mostrar que, independentemente do qual A ns usarmos, a trajetria da partcula
carregada com um dado conjunto de condies iniciais, a mesma; tem a forma helicoidal - isto , um
movimento circular quando projetado no plano xy, superposto com um movimento retilneo uniforme.
O momento p no invariante por calibre. Embora a trajetria seja indepedente do qual A for
usado (invariante por calibre), o mesmo no acontece com o momento cannico p. Por exemplo,
vamos analisar p
x
e p
y
. No caso de usarmos A na forma da Eq. (2.6.41), isto ,
A = By x
a Hamiltoniana clssica da partcula no campo magntico dada por
H =
1
2m
p
eA
c
2
=
1
2m
p +
eBy
c
x
2
e a equao de movimento de Hamilton para o momento p
x
dada por
dp
x
dt
=
cH
cx
= 0
uma vez que H no depende de x. Assim, neste caso o momento p
x
uma constante de movimento.
Por outro lado, usando a forma (2.6.40), a Hamiltoniana torna-se
H =
1
2m
p +
eBy
2c
x
eBy
2c

2
e, portanto,
dp
x
dt
=
cH
cx
= 0
deixando de ser uma constante de movimento. Ao contrrio do momento cannico, o momento
mecnico , ou mdx/dt, que define a trajetria da partcula uma quantidade invariante por
transformao de calibre.
Resultado Quntico
Valores esperados. Podemos requerer que os valores esperados em mecnica quntica se
comportem de maneira similar s correspondentes quantidades clssicas sob transformaes de
calibre. Assim, (x) e () no mudariam sob essas transformaes, enquanto p sim.
Ket na presena de A. Vamos denotar por |o) o estado ket na presena de A; o estado ket para a
mesma situao fsica, quando
= A + A
usado no lugar de A denotado por |o ). Aqui tanto A, quanto A, funo do operador posio x.
Nossas exigncias bsicas so
o| x |o = o | x |o
e
o| p
eA
c
|o = o | p
e
c
|o .
Alm disso, vamos exigir, como de costume, que a norma do estado ket seja preservada:
o | o = o | o .
Operador G. Vamos definir o operador G que relaciona |o ) e |o). Ou seja:
|o ) = G|o)
A propriedade da invarincia garantida se:
G
xG = x (6.48a)
e
G
p
e
c
G = G
p
eA
c

eA
c
G = p
eA
c
(6.48b)
O operador G que far tal tarefa definido como
G = exp
ieA(x)
hc
. (6.49)
Propriedades de G = exp(ieA/hc). Este operador tem as seguintes propriedades:
(1) um operador unitrio. Isto implica que o | o = o | o , como se deseja.
(2) Comuta com qualquer funo de x. Isto significa que G
xG = x, uma vez que podemos

escrever G
xG = xG
G = x. A parte (b) da Eq (6.48) tambm pode ser demonstrada:

G
p
eA
c

eA
c
G = G
pG
eA
c

eA
c
uma vez que os dois ltimos termos do segundo membro so funo de x. Mas,
G
pG = exp
ieA
hc
pexp
ieA
hc
= exp
ieA
hc
p, exp
ieA
hc
+ p.
Usando (2.2.23b), ou seja
|p, G(x)] = ih G.
encontra-se
G
pG = exp
ieA
hc
p, exp
ieA
hc
+ p = ih
ieA
hc
exp
ieA
hc
+ p
= ih
ie
hc
ieA
hc
Aexp
ieA
hc
+ p
=
eA
c
+ p
Portanto,
G
p
eA
c

eA
c
G =
eA
c
+ p
eA
c

eA
c
= p
eA
c
como se queria.
Leia a demonstrao alternativa feita diretamente sobre a equao de onda de Schrdinger.
Resumo. Quando potenciais vetoriais em diferentes gauges so usados para a mesma situao
fsica, os correspondentes estados kets (ou funes de onda) deve ser necessariamente diferentes.
Porm, apenas uma pequena mudana necessria: multiplicar o ket correspondente ao potencial A
por exp(ieA/hc) para obter o ket correspondente ao outro potencial A + A. O momento cannico p
depende do gauge no sentido de que seu valor esperado depende do gauge particular escolhido,
enquanto que o momento mecnico e o fluxo de probabilidade so invariantes por essas
transformaes.
O Efeito Aharonov-Bohm
Este efeito origina-se da presena de um potencial vetorial necessrio para produzir campo magntico
aplicado.
Verso de estado ligado. Considere uma partcula de carga e completamente confinada numa
casca cilndrica, de paredes rgidas, de raio interno
a
e raio externo
b
(figura (a)). Neste caso, a
funo de onda deve se anular na parede interna ( =
a
) e na parede externa ( =
b
), assim como
no topo e na base do cilindro.
b
L
(a) (b)
1) Sem campo magntico
Soluo. A soluo deste problema requer as tcnicas dos problemas de valores de contorno da
fsica matemtica. Por exemplo, para estados estacionrios, devemos resolver a equao de onda de
Schrdinger independente do tempo (em coordenadas cilndricas):
V
2
+
2mE
h
2
= 0
Em cordenadas cilndricas (, , z), tem-se
1
c
c

c
c
+
1
2
c
2
c
2
+
c
2
cz
2
+
2mE
h
2
= 0
Como neste problema se aplica a tcnica de separao de variveis, isto , a funo de onda pode ser
escrita como o produto (, , z) = R()()Z(z), as condies de contorno,
R(
a
) = R(
b
) = 0, Z(L/2) = 0
podem ser facilmente aplicadas, resultando na obteno do espectro de autovalores.
2) Com campo magntico confinado na regio <
a
Neste caso, a casca cilndrica envolve uma regio contendo um campo magntico uniforme, como
mostrado na parte (b) da figura acima. Nenhum campo magntico penetra na regio definida por
a
< <
b
onde a partcula est confinada. Intuitivamente, poderamos conjecturar que o espectro de
energia fosse o mesmo do caso anterior (sem campo), uma vez que a regio onde o campo aplicado
torna-se inacessvel para a partcula devido presena de paredes rgidas. A MQ NOS DIZ QUE
ESTA CONJECTURA NO CORRETA.
Ento, por que essa conjectura no verdadeira? Embora o campo magntico se anula na
regio onde a partcula est confinada, o potencial vetorial no nulo nessa regio!
Clculo de A que produz B = Bz. Como B = V A, podemos obter A atravs do fluxo, usando o
teorema de Stokes. Ou seja,
]
S()
B - n da = ]
S()
(V A) - nda = ]
C()
A - dl
Como o campo uniforme e est confinado apenas no crculo de raio
a
, o fluxo dado por
]
S()
B - n da = ]
S(a )
Bz - n da = m
a
2
B.
Por outro lado,
]
C()
A - dl = 2mA
Igualando, obtm-se
2mA = m
a
2
B A =
B
a
2
2
Em termos vetoriais,
A =
B
a
2
2

onde
um vetor unitrio na direo azimutal (ver figura abaixo).

campo
magntico
b
A
Soluo da equao de Schrdinger. Como vimos da definio de fluxo de probabilidade, Eq.
(2.6.32), para resolver problemas a presena de um potencial vetorial basta substituir
V V
ie
hc
A.
Em coordenadas cilndricas, isto equivale seguinte substituio:
V V
ie
hc
A
=
c
c
+
1
c
c
+ z
c
c

ie
hc
A
=
c
c
+
1
c
c
+ z
c
c

1
ie
hc
B
a
2
2
=
c
c
+
1
c
c

ie
hc
B
a
2
2
+ z
c
c
Ento, basta substituir
c
c

c
c

ie
hc
B
a
2
2
A equao de Schrdinger torna-se, neste caso,
1
c
c

c
c
+
1
2
c
c

ie
hc
B
a
2
2
c
c

ie
hc
B
a
2
2
+
+
c
2
cz
2
+ k
2
= 0
Ou seja,
1
c
c

c
c
+
1
2
c
2
c
2
+
c
2
cz
2
+
2mE
h
2

e
hc
2
B
a
2
2
2
= 0
ou
1
c
c

c
c
+
1
2
c
2
c
2
+
c
2
cz
2
+
2mE
h
2

onde
E
= E
h
2m
e
hc
2
B
a
2
2
2
mostrando explicitamente que o espectro de energia modificado em relao ao caso com B = 0.
Este resultado muito marcante, uma vez que, embora a fora magntica (Lorentz) sobre a partcula
seja nula, o espectro de energia depende se o campo magntico est presente ou no na regio oca,
que inacessvel para a partcula.
Verso original. A figura abaixo ilustra o efeito Aharonov-Bohm em sua verso original: um feixe
de eltrons se divide em duas partes e atravessa uma regio desprovida de campo magntico,
reencontrando-se na regio de interfncia.
Eletron
Fluxo Magntico
Como a probabilidade de encontrar a partcula na regio de interferncia depende do fluxo
magntico?
Mtodo das integrais de Feynman
0 B
r
cilindro
impenetrvel
regio de
fonte
A
B
0 = B
r
regio de
interferncia
C
1
C
2
Lagrangeana e ao. Na presena de campo magntico, obtm-se daquela em que o campo est
ausente, da seguinte maneira:
sem campo com campo
Lagrangena L
clssica
(0)
=
m
2
dx
dt
2
L
clssica
(0)
+
e
c
dx
dt
- A
Ao S
(0)
(n, n 1) S
(0)
(n, n 1) +
e
c
]
tn1
tn
dt
dx
dt
- A
A integral
e
c
]
tn1
tn
dt
dx
dt
- A =
e
c
]
tn1
tn
A - ds
onde ds o elemento diferencial de linha ao longo do segmento do caminho. De acordo com (2.5.47)
e (2.5.49):
x
N
, t
N
|x
1
, t
1
= ]
x1
xN
D|x(t)]
[
n=2
N
exp i
S(n, n 1)
h
= ]
todos os
caminhos
D|x(t)] exp i
S(N, 1)
h
Ento, a amplitude de probabilidade na presena de campo obtida daquela em que o campo est
ausente, atravs da substituio
[
n=2
N
exp i
S
(0)
(n, n 1)
h

[
n=2
N
exp i
S
(0)
(n, n 1)
h
exp
ie
hc
]
x1
xN
A - ds
Mas,
]
todos os
caminhos
D|x(t)] exp i
S(N, 1)
h
= ]
C1
D|x(t)] exp i
S(N, 1)
h
+ ]
C2
D|x(t)] exp i
S(N, 1)
h
onde C
1
so todos os caminhos que passam acima do cilindro e C
2
, abaixo. Logo, na presena do
campo, teremos que fazer a seguinte substituio
]
C1
D|x(t)] exp i
S
(0)
(N, 1)
h
+ ]
C2
D|x(t)] exp i
S
(0)
(N, 1)
h
]
C1
D|x(t)] exp i
S
(0)
(N, 1)
h
exp
ie
hc
]
x1
xN
A - ds
C1
+ ]
C2
D|x(t)] exp i
S
(0)
(N, 1)
h
exp
ie
hc
]
x1
xN
A - ds
C2
Diferena de fase. A probabilidade de encontrar a partcula na regio de interferncia depende do
quadrado do mdulo da amplitude de transio total e, portanto, da diferena de fase entre a
contribuio dos caminhos C
1
(acima) e C
2
(abaixo). Na presena de B, a diferena de fase
e
hc
]
x1
xN
A - ds
C1
e
hc
]
x1
xN
A - ds
C2
=
e
hc
]
cil
A - ds
=
e
hc

B
uma vez que (teorema de Stokes)
]
C
A - ds = ]
S
(V A) - n da = ]
S
B - n da =
B
onde
B
o fluxo do campo magntico dentro do clilindro impenetrvel (ver figura acima).
Isto significa que a probabilidade de encontrar a partcula na regio de interferncia depende da
componente senoidal nessa probabilidade, com um perodo dado por uma unidade fundamenta de
fluxo magntico, ou seja
2mhc
|e|
= 4, 135 10
7
Gauss-cm
2
.
Como no caso de estado ligado, aqui tambm a fora magntica sobre a partcula nula. Mesmo
assim, o padro de interferncia depende da presena ou ausncia do campo magntico. Em ambos
os casos, os efeitos dependem apenas do fluxo de B,
B.

Notas de Quântica Do Prof Abraham - Cap. 2

Încărcat de

Informații document

Titlu original

Drepturi de autor

Formate disponibile

Partajați acest document

Partajați sau inserați document

Opțiuni de partajare

Vi se pare util acest document?

Este necorespunzător acest conținut?

Drepturi de autor:

Formate disponibile

Notas de Quântica Do Prof Abraham - Cap. 2

Încărcat de

Drepturi de autor:

Formate disponibile

Captulo 2

XU, com os estados kets inalterados.

, ao invs de U, os kets de base da representao de Heisenberg

AU so ditos equivalentes (Se. 1.5). Note tambm a seguinte expanso para A

e a podemos mostrar que

e N. Para compreendermos o significado fsico de a, a

Como resultado, temos

|n) a |n) so tambm autokets de N com autovalores aumentado

|n) e |n + 1) a|n) e |n 1) serem o mesmo a menos de uma constante

a o operador nmero, N, podemos ainda

|n) = n + 1 |n + 1). (3.17)

ao estado fundamental. Aplicando-se agora sucessivamente o

ao estado fundamental |0), usando-se (3.17) na forma

so dependentes do tempo, embora no se escreva explicitamente

(0) exp(iot) (3.43)

(0) exp(iot) a(0) exp(iot) = |a(0)|

no lugar de V equivale seguinte

xG = x, uma vez que podemos

G = x. A parte (b) da Eq (6.48) tambm pode ser demonstrada:

um vetor unitrio na direo azimutal (ver figura abaixo).

S-ar putea să vă placă și