Notas de Aula de Mecânica Quântica

MECNICA QUNTICA
ANTONIO EDSON GONALVES

6 de maro de 2014
2
Antonio Edson Gonalves
Depto de Fsica - Centro de Cincias Exatas
Universidade Estadual de Londrina
Cx. Posta 86100 -Londrina - Paran
goncalve@uel.br
10.03.2011
Sumrio
1 Conceitos Fundamentais 9
1.1 O experimento de Stern-Gerlach . . . . . . . . . . . . . . . . . 9
1.1.1 Momento de dipolo magntico orbital . . . . . . . . . . 9
1.1.2 Dipolo Magntico em um Campo Externo . . . . . . . 11
1.1.3 O experimento de Stern-Gerlach puro . . . . . . . . . . 12
1.1.4 Descrio do experimento . . . . . . . . . . . . . . . . 14
1.1.5 Experimentos de Stern-Gerlach Sequenciais . . . . . . . 18
1.2 Kets, Bras e Operadores . . . . . . . . . . . . . . . . . . . . . 22
1.2.1 Espaos Vetoriais . . . . . . . . . . . . . . . . . . . . . 22
1.3 Mapeamentos Lineares, Imagens e Ncleo . . . . . . . . . . . 24
1.3.1 O Espao Vetorial Dual . . . . . . . . . . . . . . . . . 25
1.3.2 O Espao de Hilbert . . . . . . . . . . . . . . . . . . . 26
1.3.3 Espao dos Kets . . . . . . . . . . . . . . . . . . . . . 28
1.3.4 Espao dos Bras e o Produto Interno . . . . . . . . . . 31
1.3.5 Kets Base e Representao Matricial . . . . . . . . . . 37
1.3.6 Representao Matricial dos Operadores e Estados com
Spin 1/2. . . . . . . . . . . . . . . . . . . . . . . . . . 47
1.4 Medidas, Observveis e Relaes de Incerteza . . . . . . . . . 48
1.4.1 Polarizao de ftons . . . . . . . . . . . . . . . . . . . 48
1.4.2 Stern-Gerlach Sequenciais com trs feixes. . . . . . . . 50
1.4.3 Comparando a polarizao de frmions e bsons . . . . 55
1.4.4 Medida . . . . . . . . . . . . . . . . . . . . . . . . . . 55
1.4.5 O valor esperado de um observvel A. . . . . . . . . . . 56
1.4.6 Medidas seletivas: o papel do operador projetor . . . . 57
1.4.7 Relaes de Incerteza . . . . . . . . . . . . . . . . . . 60
1.5 Mudana de Bases . . . . . . . . . . . . . . . . . . . . . . . . 67
1.6 Coordenadas, Momento e Translao . . . . . . . . . . . . . . 79
1.7 A funo de Onda no Espao das Coordenadas e Momentos. . 85
1.8 Generalizao para Trs Dimenses. . . . . . . . . . . . . . . . 105
3
4 SUMRIO
2 Dinmica Quntica 107
2.1 Evoluo Temporal e a Equao de Schrodinger . . . . . . . . 107
2.2 Representaes de Schrodinger e Heisenberg . . . . . . . . . . 120
2.3 O Oscilador Harmnico Simples . . . . . . . . . . . . . . . . . 120
2.4 A Equao de Onda de Schrodinger . . . . . . . . . . . . . . . 142
2.5 Integrais de Trajetria . . . . . . . . . . . . . . . . . . . . . . 143
3 Theoria do Momento Angular 159
3.1 Relaes de Comutao para Rotaes e Momento Angular . . 159
A Espaos Vetoriais. 169
A.1 Produto Interno . . . . . . . . . . . . . . . . . . . . . . . . . . 170
B Grupos de Lie. 171
B.1 Grupos de Lie, only to english see! . . . . . . . . . . . . . . . 172
B.2 lgebra de Lie . . . . . . . . . . . . . . . . . . . . . . . . . . . 173
C Momento, Gerador de Translaes 175
D Transformaes Cannicas 177
D.1 Transformaes Cannicas Innitesimais. . . . . . . . . . . . . 180
E A Equao de Hamilton-Jacob 183
E.1 Equaes Diferenciais Parciais de Primeira Ordem . . . . . . . 183
E.1.1 Soluo Completa . . . . . . . . . . . . . . . . . . . . . 186
E.2 A Equao de Hamilton-Jacob . . . . . . . . . . . . . . . . . . 187
F A funo de Heaviside ou Degrau 191
G Poucas Representaes da Funo Delta 195
H Polinmios de Hermite. 197
I Funes de Green 199
Appendix 169
Referncias Bibliogrcas 205
Lista de Figuras
1.1.1 Momento angular . . . . . . . . . . . . . . . . . . . . . . . . . 10
1.1.2 Descrio do Experimento . . . . . . . . . . . . . . . . . . . . 14
1.1.3 Separao do feixe com tomos de Ag no aparelho de SGz . . 19
1.1.4 Stern-Gerlach puro . . . . . . . . . . . . . . . . . . . . . . . . 20
1.1.5 Stern-Gerlach SG z SG x . . . . . . . . . . . . . . . . . . . 20
1.1.6 Stern-Gerlach SG z SG x SG z . . . . . . . . . . . . . . . 21
1.1.7 Luz no polarizada. . . . . . . . . . . . . . . . . . . . . . . . . 22
1.1.8 luz xpolarizada . . . . . . . . . . . . . . . . . . . . . . . . . 22
1.1.9 Luz polarizada . . . . . . . . . . . . . . . . . . . . . . . . . . 23
1.3.1 Exemplos de conjuntos densos e no densos . . . . . . . . . . 28
1.3.2 Sistema com dois nveis de energia . . . . . . . . . . . . . . . 46
1.3.3 Inverso do spin . . . . . . . . . . . . . . . . . . . . . . . . . . 47
1.4.1 SGz . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51
1.4.2 SG SS . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51
1.4.3 Resumo da conveno da notao dos SG . . . . . . . . . . . . 52
1.4.4 SG angulo . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53
1.4.5 Medida seletiva . . . . . . . . . . . . . . . . . . . . . . . . . . 58
1.7.1 Produto interno | . . . . . . . . . . . . . . . . . . . . . . 87
1.7.2 Pacote Gaussiano e quadrado do modulo do pacote . . . . . . 95
2.1.1 Esboo grco do propagador . . . . . . . . . . . . . . . . . . 108
2.3.1 Autofuno do estado fundamental x | 0 e a correspondente
distribuio de probabilidade. a funo distribuio clssica
com a mesma energia total representada pela curva descon-
tnua. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 131
2.3.2 Autofunes com n=1, 2, 3, 4, 5 . . . . . . . . . . . . . . . . . 132
2.3.3 Densidade de probabilidade de posio para autofuno com
n = 10 representada pela linha slida. A linha descontnua
representa a densidade de probabilidade para um oscilador
clssico com a mesma energia. . . . . . . . . . . . . . . . . . . 132
5
6 LISTA DE FIGURAS
2.5.1 Esboo de um dos possveis caminhos entre dois estados de
um sistema . . . . . . . . . . . . . . . . . . . . . . . . . . . . 149
3.1.1 Fig.1 e g. 2: composio de rotaes ao redor do eixo z . . . 160
3.1.2 Rotaes nitas ao redor de diferentes eixos . . . . . . . . . . 160
3.1.3 Rotao passiava ao redor eixo z . . . . . . . . . . . . . . . . . 162
F.0.1Funo de Heaviside . . . . . . . . . . . . . . . . . . . . . . . 191
F.0.2Contornos de integrao para a funo degrau . . . . . . . . . 192
I.0.1 Angulo Slido . . . . . . . . . . . . . . . . . . . . . . . . . . . 201
Lista de Tabelas
7
8 LISTA DE TABELAS
Captulo 1
Conceitos Fundamentais
Introduo
Este texto uma adaptao informal da referncia [1] com material coletado
de vrias outras referncias.
1.1 O experimento de Stern-Gerlach
O objetivo estudar o experimento de Stern-Gerlack e compar-lo com o
comportamento de uma onda eletromagntica com polarizao linear e cir-
cular para a construo do espao de Hilbert deste sistema.
1.1.1 Momento de dipolo magntico orbital
A idia utilizar um modelo semiclssico para calcularmos o momento mag-
ntico = IA de um eltron no tomo de hidrogneo, utilizando o modelo
de Bhor. Para isto, Considere um eltron de massa m e carga e em movi-
mento numa rbita circular de raio r (rbita de Bohr) com rapidez v, como
esquematizado na gura Fig. 1.1.1
A carga em movimento circular (modelo do tomo de Bhor no estado
fundamental) corresponde a uma corrente estacionria ( J = 0) com in-
tensidade
I =
dq
dt

q
t
.
Para o eltron em uma rbita de Bhor, q = e e o intervalo de tempo t
o perodo do movimento
T =
2r
v
9
10 CAPTULO 1. CONCEITOS FUNDAMENTAIS
Figura 1.1.1: Momento angular
1.1. O EXPERIMENTO DE STERN-GERLACH 11
sendo portanto
I =
qv
2r
.
Sendo a rea da rbita circular
A =r
2
k
obtem-se para o momento magntico rbital do eltron, a seguinte expresso
=
qvr
2
k.
Entretanto este eltron tambm possui momento angular dado por
L = r p = m
e
r v.
Dado que o vetor velocidade perpendicular ao deslocamento r o mdulo do
momento angular ser
L = m
e
rv,
o que possibilita escrevermos
=
q
2m
e
L.
Resumindo, foi possvel expressar o momento magntico em funo do mo-
mento angular, o que se faz necessrio renome-lo de momento magntico
rbital! Note que o momento magntico rbital depende somente de cons-
tanstes fundamentais como a carga e massa do eltron. Existe uma diferena
entre o valor previsto por este modelo e o observado experimentalmente, pri-
meiro porque para o eltron o momento magntico obsevado o intrnsico e
no o angular, segundo: o valor previsot aproximadamente metade do valor
medido experimentalmente o que motivou a intruduo de uma contante g
chamada de razo giromagntica cujo valor correto (para o eltron g 2) s
obtido utilizando-se a mecnica quntica relativstica.
1.1.2 Dipolo Magntico em um Campo Externo
Um dipolo magntico em um campos externo submetido a um torque
=
l
B,
que tende a alinhar o dipolo com o campo magntico. Associado a este torque
existe a energia potencial de orientao
U =
l
B.
Este torque faz com que o dipolo precesse com frequncia
=

l
g
l
~
B
com relao a direo do vetor do campo magntico. Esta a conhecida
frequncia de Larmor.
Um dado sistema possuindo momento magntico quando sujeito a um
campo externo estar submetido a uma fora que pode ser calculada pela
expresso
F = (
l
B)
que ser nula se o campo externo for constante, mas para um campo no
uniforme e um momento magntico constante teremos
F
i
=
lj
i
B
j
.
1.1.3 O experimento de Stern-Gerlach puro
Em 1922 Stern e Gerlach, no Instituto de Fsica Terica e Experimental da
Universidade de Frankfurt, mediram os valores possveis de
sz
para tomos
de prata (Ag)
simplesmente enviando um feixe desses tomos atravs de um campo
magntico no uniforme. Um diagrama esquemtico mostado na gura
anterior. Um feixe de tomos neutro obtido pela evaporao da prata em
um forno. O feixe colimado por diafrgmas e penetra na regio entre os
polos N e S de um im no uniforme. Como os tomos so neutros, a nica
fora que atua a fora
F = ( B) .
A fora que age em cada tomo depende, portanto, do valor de para o
tomo em questo, sendo o feixe separado em componenetes dependendo ou
de acordo com os vrios valores de presentes. Os tomos deetidos
atingem o anteparo deixando um trao visvel de sua distribuio.
De acordo com a teoria clssica, pode ter qualquer valor entre || e
|| e para um feixe composto de tomos com uma distribuio isotrpica de
momento magntico a teoria clssica prediz que o feixe deetido se espalhar
numa banda contnua
Stern e Gerlach constataram que o feixe com tomos de prata separado
em duas componentes discretas, uma delas sendo desviada no sentido do eixo
z positivo e a outra no sentido do eixo z negativo. A experincia foi repetida
com outras orientaes do aparelho e vrias espcies de tomos, constatando-
se sempre que o feixe deetido era separado em duas ou mais componentes
discretas.
Figura 1.1.2: Descrio do Experimento
1.1.4 Descrio do experimento
tomos de prata possuem 47 eltrons, 46 deles formam uma distribuio de
carga esfericamente simtrica e o 47 eltron ocupa o orbital 5s
1
.
Caractersticas bsicas do tomo de prata:
47 prtons
60 neutrons
47 eltrons
A distribuio eletrnica nas camadas
10
.
1s
2
2s
2
2p
6
10
.
3s
2
3p
6
4s
2
10
.
3d
10
6
.
4p
6
10
.
4d
10
5s
1
Resumo:
para um dado n, n
2
a degenerecncia,
l = 0, 1, 2, , n 1
m
l
= l, l + 1, , 0, 1, , l
para um dado l,m
l
possui 2l +1 valores. O nmero de eltrons em um
subnvel 2(2l + 1).
No experimento de Stern-Gerlach o feixe de tomos de prata enviado atravs
de um campo magntico no uniforme alinhado ao longo do eixo z.Um feixe
colimado, com tomos de prata, passando atravs de um im no uniforme,
como na gura Fig. 1.1.4 . Estes tomos estando no estado fundamental
tero um momento angular orbital nulo uma vez que l = 0e os eltrons
restantes (46 eltrons) compe uma camada fechada.
Os primeiros 46 eltrons formam uma camada fechada com momento
angular total nulo. O ltimo eltron da camada 5s
1
tem
l = 0 =m = 0,
portanto
l
=
g
l
B
~
L
=
g
l
B
~
_
l(l + 1)~n
= 0.
Ou seja o momento magntico do eltron dever ser nulo!
No arranjo experimental mostrado na gura Fig. 1.1.4 escolhe-se o eixo
z na direo do campo magntico e classicamente espera-se que o feixe no
polarizado produza uma mancha contnua uniformemente distribuida com a
direo do feixe no deetido z = 0. De acordo com a formulao de Schro-
dinger se os tomos do feixe possuirem momento angular cujos autovalores
so l(l +1)~, aps passarem pelo campo no homogneo sero separados em
um nmero de l(l+1)~ diferentes feixes correspondentes aos diferentes valores
de momento angular, portanto para os tomos no estado fundamental l = 0
e o feixe no ser deetido. Entretanto para os tomos do feixe preparados
no estado 5p
1
, portanto l = 1 o feixe dever se separar em trs componentes,
de acordo com a teoria de Schrodinger.
O que se observa experimentalmente que o feixe no se comporta de
acordo com a predio da fsica clssica, nem com a predio da teoria de
Schrdinger. Este resultado tambm observado para o tomo de hidrogneo
no estado fundamental, l = 0, quando no se espera uma separao do feixe.
Para resolver esta charada, Goldsmith e Ulembech postulam em 1925, que
adicionalmente ao momento angular orbital, o eltron possui um momento
angular intrnsico o qual diferentemente do momento angular orbital no tem
relao com os graus de liberdade espaciais, por isto este momento angular
denominado de spin e depende dos graus de liberdade interno. um erro
considerar que o eltron est girando em torno de seu eixo e a esta rotao
associarmos um momento angular denominado de spin, mesmo porque at
onde se sabe o eltron no possui estrutura! O spin um grau de liberdade
intrinsico sendo um conceito quantico-relativstico sem anlogo clssico
1
. Di-
ferentemente do momento angular orbital, o spin no pode ser descrito por
um operador diferencial.
Entretanto se o resultado experimental for negativo, a causa ser devido
a um novo tipo de momento angular, por isto a expresso anterior dever ser
modicada para
J
=
g
l
B
~
(L +S) ,
sendo S o novo tipo de momento angular denominado de spin do eltron ou
momento angular intrnsico. Para os tomos de prata que estamos conside-
rando
J
=
g
l
B
~
(L +S) ,
=
g
l
B
~
(0 +S)
=
g
l
B
~
S
para o eltron 5s
1
.
Pode ser que haja uma contribuio, na deexo do feixe, do momento
magntico nuclear durante a passagens dos tomos pelo campo magntico.
Para avaliarmos esta contribuio, simplesmente utilizamos a expresso do
momento angular orbital do eltron
l
=
g
l
B
~
L,
para estimarmos os momentos magnticos do prton e do NEUTRON! (Como
pode ser, o neutron no tem carga!? Mas tem sim um momento magntico
e isto justamente a indicao da existencia de uma extrutura interna!)
p
=
e
m
p
L
1
De fato existem os chamados modelos pseudoclssico com propostas para a descrio
do spin no contexto clssico. Estes modelos so teis para se estudar a quantizao de
partculas relativsticas e/ou construir modelos que tentam colocar numa base formal a
quantizao de sistemas com vnculos. Como exemplo veja a referncia: F. A. Berezin and
M. S. Marinov, JETP Lett. 21 (1975) 320
n
=
e
m
n
L.!!
The neutron is a subatomic hadron particle that has the symbol n. Neutrons
have no net electric charge and a mass slightly larger than that of a proton.
The neutron magnetic moment is the magnetic moment of the neutron. It is
of particular interest, as magnetic moments are created by the movement of
electric charges. Since the neutron is a neutral particle, the magnetic moment
is an indication of substructure. For a time, the neutron was thought to be
made of a proton, with a charge of +e and an electron, with a charge of
e, whose charge would cancel out. However, since the advent of the quark
model, it is now known that the neutron is made of one up quark (charge of
(2/3)e ) and two down quarks (charge of (1/3)e ).
Sendo que:
e 1, 6 10
19
C
m
e
9, 1 10
31
kg
m
p
1, 672 10
27
kg
m
n
1, 674 10
27
kg,
obtem-se imediatamente que
p
=
e
m
e
m
p
,
sendo
m
e
m
p
10
4
segue que
e
10
4
o que indica que o momento magntico nuclear quatro ordens de grandeza
menor que o momento magntico do tomo, podendo portanto ser descon-
siderado neste experimento. Isto signica que qualquer deexo no feixe de
prata ser devido a existncia de outro tipo, que no o orbital, de momento
angular intrnsico ou spin do eltron.
Quando ento os tomos passam atravs do campo magntico inomogneo
B eles sero submetidos a uma fora cujas componentes so
F
i
=
sj
i
B
j
,
e dada a simetria rotacional, com relao ao eixo z, do problema somente a
componente z ser relevante, restando portanto
F
z
=
sz
z
B
z
.
O momento magntico, j calculado
z
=
e
2m
e
S
z
_
_
_
> 0 para S
z
< 0,
< 0 para S
z
> 0.
No diagrama do experimento de Ster-Gerlach o campo magntico mais
intenso prximo ao polo norte do que no polo sul, e para variaes positivas
ao longo do eixo z teremos
B
z
z
< 0,
ou seja o campo diminui com o aumento de z. Segue ento que a fora atuando
ao longo do eixo z
F
z
=
|e|
m
e
S
z
B
z
z
_
_
_
> 0 para S
z
> 0,
< 0 para S
z
< 0.
A gura Fig. 1.1.4 contm uma representao esquemtica da separeo do
feixe.
1.1.5 Experimentos de Stern-Gerlach Sequenciais
Classicamente pode-se determinar as trs componentes do momento angular
L
x
, L
y
, e L
z
simultaneamente. Isto pode ser compreendido da seguinte forma:
o momento angular de um corpo slido com momento de inrcia I pode ser
escrito como
L = I,
Figura 1.1.3: Separao do feixe com tomos de Ag no aparelho de SGz
Figura 1.1.4: Stern-Gerlach puro
Figura 1.1.5: Stern-Gerlach SG z SG x
portanto conhecendo-se as componentes da velocidade angular , por pro-
jeo no plano xy e ao longo do eixo z, ou seja
x
,
y
e
z
, pode-se medir
as componentes do momento angular. Um exemplo clssico encontrado na
maioria dos livros textos de mecnica clssica [2, 3] o soluo das equaes
de movimento de um peo simtrico em um campo gravitacional homogneo
g.
Uma vez realizado o experimento de Stern-Gerlack que mostra os possveis
valores S
z+
e S
z
que pode assumir a componente S
z
do momento angular
intrnseco ou spin, prossegue-se com o experimento submetendo-se uma das
componentes do feixe, por exemplo S
z+
a um outro campo magntico ou
SGn numa direo arbitrria n que agora escolhida como diferente de z.
Pode-se considerar, por exemplo a direo x. Antes de prosseguir com o
experimento seqencial, pode-se certicar que o sistema (feixe S
z+
) encontra-
se em um estado puro, para isto submete-se novamente o feixe a um SG z
como esquematizado na gura 1.1.4.
Pode-se medir que o feixe aps passar pelo primeiro aparelho SG z e uma
vez tendo-se bloqueado S
z
o feixe contm somente tomos com componentes
de spin S
z+
.
Considere a passagem do feixe S
z+
por um aparelho SG x. O resultado
do experimento esquematizado na gura (1.1.5).
Deste experimento mede-se que aps passar pelo aparelho SG x o feixe
com orientao de spin S
z+
decomposto em duas componentes S
x+
e S
x
.
Pode-se conjecturar que o feixe S
z+
uma mistura
S
z+
?
=
_
_
_
S
z+
+S
x+
,
S
z+
+S
x
.
Se esta for verdadeira implicar na medida simultnea das componentes
S
x+
e S
x
dos momentos angulares de spin. Para vericar esta conjectura
Figura 1.1.6: Stern-Gerlach SG z SG x SG z
passa-se o feixe S
z+
+S
x+
ou S
z+
+S
x
atravs de outro aparelho (um terceiro
para ser mais preciso) SG z seqencial como esquematizado na gura 1.1.6
Neste experimento, o feixe S
x
bloqueado, espera-se portanto como re-
sultado de uma medida somente a observao do feixe contendo componentes
S
z+
. O experimento indica que este no o caso! O feixe S
x+
decomposto
em dois feixes com orientaes S
z+
e S
z
.Sumarizando os resultados:
de fato o feixe os feixes S
x+
e S
x
no contm S
z+
como pensamos
inicialmente.
no possvel determinarmos S
z+
e S
x+
ou S
x
num mesmo experi-
mento (ou simultaneamente)
A medida do feixe com o aparelho SG x destri toda informao sobre
as medidas anteriores com SG z
Analogia com a polarizao da luz
2
Para tentarmos compreender o que ocorre com o feixe de tomos de prata
quando passa atravs de um campo magntico inomogneo e decomposto em
duas componentes, considera-se um fenmeno similar
3
que acontece com
a luz ou mais geralmente a radiao eletromagntica. Considere uma onda
eletromagntica monocromtica propagando-se ao longo do eixo z, no sentido
crescente, sua componente eltrica pode ser escrita como
E = E
0
ue
(kzt)
,
sendo E
0
a amplitude da onda que pode ser complexa. Quando a onda
submetida a um ltro polarizador na direo x, obtm-se uma onda xpolarizada
E = E
0
x

e
(kzt)
.
Experimentos com polarizadores pticos indicam que nenhuma intensi-
dade luminosa medida quando uma onda eletromagntica x polarizada
2
Uma discusso claricadora da passagem da luz atravs de um cristal feita por Dirac.
Veja o primeiro capitulo da referncia [4]
3
Esta comparao justicada pelo comportamento ondulatrio da matria
Figura 1.1.7: Luz no polarizada.
Figura 1.1.8: luz xpolarizada
passa atravs de um ypolarizador (polarizador com direo y). As guras
1.1.8 e (1.1.5) so representaes esquemticas desta situao.
At este ponto no h nada incomum com a polarizao da luz. O expe-
rimento torna-se mais interessante quando colocado entre os polarizadores
x p e y p um outro ltro x
p cujo eixo ox
faz um ngulo de 45
o
com o eixo ox do polarizador x p. Aps a introduo deste polarizador,
observa-se no anteparo uma intensidade luminosa, I
E
= 0. O aparecimento
desta radiao pode ser explicado com base no modelo ondulatrio da luz.
Para isto considere um sistema de coordenadas denido na frente da onda
x p e cujo eixo x coincide com o eixo x da onda plano polarizada.
1.2 Kets, Bras e Operadores
1.2.1 Espaos Vetoriais
Um espao vetorial[5] (ou espao linear) L sobre um corpo
4
K um conjunto
no qual duas operaes so denidas: a adio ( ou combinao de dois
elementos), representada pelo simbolo + e a multiplicao por um elemento
do corpo K (denominado escalar). Neste texto praticamente trabalharemos
com o campo real K ou complexo C. Os elementos do espao vetorial L,
denominados vetores so postulados a satisfazerem os seguintes axiomas:
4
Veja o comentrio na seo ??
1.2. KETS, BRAS E OPERADORES 23
Figura 1.1.9: Luz polarizada
1. u +v = v +u
2. u + (v +w) = (u +v) +w
3. o vetor nulo 0 tal que v +0 = v
4. u K , u K | u + (u) = 0
5. c(u +v) = cu +v
6. (c +d)u = cu +cv
7. c(du) = (cd)u
8. 1u = u Os vetores u , v e w so elementos de L e c, d e 1 so elementos
do campo K.
Seja {v
i
} um conjunto com k vetores. Se a equao
k
i=1
k
i
v
i
= 0 , (1.2.1)
possuir somente soluo trivial k
i
= 0 (ou seja se a igualdade somente se
verica se todos os escalares k
i
= 0) o conjunto de k-vetores denominado
de linearmente independente , caso contrrio, se existir somente um k
i
no nulo o sitema denominado de linearmente dependente. Se um dos
vetores v
i
for nulo, seu coeciente no necessriamente nulo e o conjunto
ser linearmente dependente.
Um conjunto de vetores LI, e
i
uma base do espao vetorial L se todo
vetor v L puder ser decomposto unicamente como
v =

i
v
i
e
i
, (1.2.2)
onde v
i
K so as componentes de v na base {e
i
}. Se existirem n elementos
e
i
na base, a dimensionalidade de L ser n, sendo representada como
dimL = N.
Uma notao geralmente utilizada para um espao vetorial V de dimenso
n sobre um corpo K
V (N, K),
a dimensionalidade do espao pode ser nita ou innita.
1.3 Mapeamentos Lineares, Imagens e N-
cleo
Denio 1.3.1. Mapeamento Linear: Dado dois espaos vetoriais V e W,
com elementos v e w respectivamente, o mapeamento f : V = W deno-
minado mapeamento linear se satiszer a seguinte condio f(av + bw) =
af(v) + bf(w), com a e b K; (K denota o corpo dos ou C). Note que
a primeira operao (de adio de vetores) feita no espao V e a segunda
em W. O conjunto de todos os mapeamentos lineares de V em W denomi-
nado por L(V, W). Um mapeamento linear um exemplo de homomorsmo
que preserva a adio vetorial e a multiplicao por um escalar, preservando
portanto a estrutura algebrica.
Exemplo 1.3.2. Mapeamento ZERO: Zero representar a funo (mapea-
mento) de V em W, tal que : V W. Considere o elemento v V , ento
v = 0. O mapeamento mapeia o elemento v V no elemento 0 W. A
condio (a
1
v
1
+a
2
v
2
) = (a
1
v
1
)+(a
2
v
2
) = a
1
v
1
+a
2
v
2
= 0+0 = 0.
Outro exemplo:
Exemplo 1.3.3. Dena um mapeamento T L(P(), P()) como Tp = p
.
Vericamos que T(ap
1
+bp
2
) = T(ap
1
) +T(bp
2
) = aTp
1
+bTp
2
= ap
1
+bp
2
.
Este mapeamento pode ser interpretado como a operao de derivao.
Exemplo de uma transformao no linear.
1.3. MAPEAMENTOS LINEARES, IMAGENS E NCLEO 25
Exemplo 1.3.4. Com um exemplo de uma transformao que no linear
utilizamos o determinante de uma matriz: Seja T : V W a transformao
que associa o determinante det M matriz M. Como
det(M +N) = det(m) + det(N); det(cM) = c
n
det(M);
c e n a ordem da matriz M. Portanto, neste caso, a transformao T
no linear.
A denio de imagem:
Denio 1.3.5. Imagem: Resumidamente, denimos a imagem de uma
funo f : A B como f(A) B que pode ser representa por im(f).
O ncleao de um mapeamento:
Denio 1.3.6. Ncleo (Kernel): O ncleo de um mapeamento o con-
junto de vetores v V tal que kerf(V ) = {v V |f(v) = 0}.
Alguns exemplos:
Exemplo 1.3.7. O ncleo do mapeamento derivativo, exemplo 1.3.3 kerT(A) =
{v|T(v) = 0}. A derivada de funes constantes nula, portanto o ncleo
do mapeamento derivativo T o conjunto de funes constantes: ker T(A) =
{funes constantes}
1.3.1 O Espao Vetorial Dual
Seja f : V K, uma funo linear (mapeamento linear) de um espao
V (n, K) no corpo K. Seja {e
i
} uma base de V e considere um vetor arbitrrio
v escrito nesta base
v = v
1
e
1
+v
2
e
2
+ +v
i
e
i
+ +v
n
e
n
.
Da linearidade de f temos
f(v) = f(v
1
e
1
+v
2
e
2
+ +v
i
e
i
+ +v
n
e
n
)
= v
1
f(e
1
) +v
2
f(e
2
) + +v
i
f(e
i
) + +v
n
f(e
n
).
Desta forma conhecido o resultado da operao de f(e
i
) sobre e
i
conhe-
ceremos o resultado da operao da funo f sobre qualquer vetor v V .
Dado que o conjunto de funes lineares tambm forma um espao vetorial,
o espao gerado por
{f(e
i
)}
denominado de espao vetorial dual ao espao V (n, K), sendo representado
como
V
(n, K) ou Hom V (n, K).

Note que
{e
i
} V (n, K)
{e
i
} V
(n, K)
A base {e
i
} do espao dual V
(n, K) uma funo linear, portanto ela

completamente especicada por e
i
(e
j
), para todo j. Pode-se escolher a base
dual como
e
i
(e
j
) =
i
j.
Neste contexto, toda funo linear f de fato um vetor dual, que pode ser
expandido como
f = f
j
e
j
e a ao de f sobre um dos vetores v V pode ser interpretada como um
produto interno entre vetores linha e coluna
f(v) =
_
f
j
e
j
_ _
v
i
e
i
_
= f
j
v
i
e
j
(e
i
) = f
j
v
i
i
j
= f
i
v
i
K.
Utiliza-se a notao
<; >: V
V K
para representar o produto interno como um mapeamento bilinear do produto
cartesiano do espao dual com o espao no corpo K.
1.3.2 O Espao de Hilbert
O espao de Hilbert um conjunto de vetores , , , H e escalares
k K sendo que K pode representar o corpo dos reais ou dos complexos
C, com as seguintes propriedades
(a) H um espao vetorial ou linear
(b) Dene-se em H um produto escalar positivo denido
O produto escalar de dois elementos e , representado por
(, ) ou | ,
em geral um nmero complexo.
O produto escalar satisfaz
| = |
,
c
1
1
+c
2
2
| = c
1
| +c
2
| ,
| d
1
1
+d
2
2
= d
1
|
1
+d
2
|
2
,
| = 0 e
H separvel: uma sequncia de Cauchy
n
H, n = 1, 2, tal
que para cada H e > 0, pelo menos um
n
da sequncia para
o qual

n
<
Outra denio pode ser utilizada: Um espao H separvel se um subs-
pao H H que enumervel e denso. Penso ser necessrio denir subcon-
junto denso, entretanto para isto necessrio denir Fecho. Estas denies
so apresentadas a seguir.
Denio. Uma sequncia de nmeros reais uma funo f : N R
representada por f(n) ou simplesmente x
n
.
Denio. Uma sequncia f(n) denominada de sequncia de Cauchy se
dado > 0, n
0
N tal que
f(n) f(m) <
para m, n = n
0
Exemplo. Para sequncia f(n) = 1/n para > 0 n
0
N tal que |f(r)
f(s)| < para r, s > n
0.
Denio. Seja S um subconjunto de um espao topolgico X. Um ponto
x X um ponto aderente a S quando toda vizinhana de x em X contm
pelo menos um ponto de S. O conjunto dos pontos que so aderentes a S
chama-se o fecho de S, e o denotaremos por S.
Denio. Seja S um subconjunto de um espao topolgico X. O sub-
conjunto S X denominado denso em X se o seu fecho S for igual a
X.
Denio. Um conjunto S denso em um espao topolgico T se para
p T e qualquer aberto U, com p U q S tal que q U.
Veja gura Fig. 1.3.2
1/1 Problemas de Relatividade Restrita (9/9) 2014-02-20 16:02:58
Figura 1.3.1: Exemplos de conjuntos densos e no densos
H completo. Isto verdade se todas as sequncias de Cauchy so
convergentes. De outra maneira mais formal: Cada sequncia de Cau-
chy
n
H, com n N converge para um elemento de H, ou seja a
relao
lim
m, n
m
= 0,
dene um nico limite H tal que
lim
n
n
= 0.
Resumindo com outra denio:
Denio 1.3.8. Um espao de Hilbert H um espao vetorial produto
interno que completo e com a norma induzida pelo produto interno.
1.3.3 Espao dos Kets
Na mecnica quntica o estado fsico de um sistema representado por um
vetor de estado ou raio vetor, elemento de espao vetorial complexo, cuja
dimenso depende do sistema em considerao.
vetor de estado ket |.
Postulala-se que o ket | contm toda a informao do estado fsico ou
do sistema. Dois kets podem ser adicionados
| +| = | ,
sendo o ket | um outro ket. Tambm para c C temos que
c | = | c = | .
Para c = 0 teremos
0 | = | 0 = 0,
sendo 0 o ket nulo. Note que
|0 = 0,
j que |0 o estado de vcuo de um dado sistema fsico ou no contexto de
teorias de campos o vcuo de uma teoria.
Postulado. Os kets | e c | com c C e c = 0 representam o mesmo
estado fsico. Uma constante no altera a direo de um vetor, ou ket, no
espao de Hilbert.
Observvel. So quantidades fsicas mensurveis representadas por ope-
radores
5
. Representaremos por A, B, operadores associados a observ-
veis. Um operador atua em um ket, geralmente pela esquerda, como
A (|) = A|
cujo resultado outro ket. Um operador gira um ket no espao de Hilbert
H. Em geral A| no uma constante vezes o ket inicial, porm quando
isto acontece teremos as famosas equaes de autovalores-autoestados de um
dado operador, por exemplo A. Seja ento a equao
A|a = a |a (1.3.1)
que para um nmero nito ou innito de autoestados-autovalores represen-
taremos como
{|a
, |a
, , |a
n
, } ,
sendo que
A|a
= a
|a
A|a
= a
|a
.
.
.
.
.
.
5
Existe um srio problema para se encontrar um operador associado a um observvel
por conta de problemas de ordenamento. Voltaremos a discutir este problema quando
tratarmos das integrais de trajetria de Feynman.
sendo a
, a
, C. O conjunto de nmeros
{a
} {a
, a
, , a
n
, } (1.3.2)
denominado de espctro do operador A ou conjunto de autovalores do
operador A. Resumindo, na equao a autovalores
A|a = a |a ,
_
_
A um operador associado a um observvel,
a um autovalor do operador A,
|a um autovetor ou autoestado do operador A.
Exemplo 1.3.9. Considere o operador S
z
e seus autoestados e autovalores:
S
z
|S
z
; + = +
~
2
|S
z
; + ,
S
z
|S
z
; =
~
2
|S
z
;
Nesta equao S
z
um operador, ~/2 os seus autovalores e |S
z
; seus dois
autoestados. Apesar da notao parecer um pouco carregada, ela ser neces-
sria para que possamos, por exemplo, distinguir a equao a autovalores-
autoestados do operador S
x
S
x
|S
x
; + = +
~
2
|S
x
; + ,
S
x
|S
x
; =
~
2
|S
x
;
Foi observado anteriormente que a dimensionalidade do espao de Hilbert
depende do sistema em considerao, por exemplo no experimento de Stern-
Gerlach o feixe de tomos de prata foi separado em dois feixes distintos
fornecendo a dimensionalidade dois do espao de Hilbert correspondente aos
dois estados de spins para os quais associou-se a base
{|S
z
; + , |S
z
; } .
J, para um espao de dimensionalidade N, por exemplo para tomos com
grandes valores de spin, digamos com spin 7/2, obteremos oito feixes com
projees distintas de spin no experimento de SG, e neste caso a dimensi-
onalidade do espao de Hilbert ser 8. Se a dimenso do espao for N o
espao de Hilbert conter uma base com n autoestados do operador A. Um
ket arbitrrio | poder ento ser escrito como
| =

a
c
a
|a
, (1.3.3)
com a
, a
, , {a
n
}
, com as constantes c
a
C.
1.3.4 Espao dos Bras e o Produto Interno
Como vimos na subseo 1.3.1 Seja f : V K, uma funo linear (mape-
amento linear) de um espao V (n, K) no corpo K... o mapeamento linear
f deni o espao dual cujos elementos so as funes lineares que tambm
formam um espao vetorial. Neste caso este espao vetorial denominado
de espao de Hilbert dual e representado por
H
Hom H,
cujos elementos so denominados de Bra, sendo representado como
|
e dado um teorema de lgebra linear, a dimensionalidade de H
igual a
dimensionalidade de H:
dimH
= dimH.
No necessario postular que para cada bra corresponde um ket j que
isto est implicito na prpria denio de espao dual ou ainda podemos
reforar este argumento armando que se um mapeamento do espao de
Hilbert no corpo K ento conhecendo-se o mepeamento da base, conhece-se o
mapeamento de qualquer vetor, entretanto xando-se o mapeamento da base,
xa-se simultaneamente a base do espao de Hilbert dual. Dado um ket de
H o seu bra correspondente pertencente ao espao dual H
ser representado
como
|
CD
| .
Resumidamente, uma dada base para os dois espaos ser representada
como
_
_
_
{|} gera o espao de Hilbert H
(N, C),
| gera o espao de Hilbert H(N, C)
Novamente sendo redundante, por fora de clareza, existe uma correspon-
dncia unvoca entre os elementos dos dois espaos
_
_
| | ,
|a , |a
, , |a
n
a
n
| , , a
| , a| ,
| +| | +| ,
c | c
| .
sendo que c
o complexo conjugado de c.
Denio 1.3.10. Produto Interno. O produto interno de um ket por um
bra ser representado como
| = c C,
como
| H e | H
e satisfaz todas as propriedades de um produto interno como denido no

apndice A.1. Por praticidade resumimos e reescrevemos aquelas proprieda-
des na notao atual:
positividade. | = 0, | H
no-degenerado. | = 0 =| = 0
aditivo (distribuitivo a direita e esquerda)
| (| +|) = | + |
| (| +|) = | +| .
homogneo. c| = c
| ; | c = c | c K, | , |
H
, H ,. respectivamente.
simtrico. | = | .
Por trs da denio de produto interno est implicita a condio que a
mtrica seja positiva denida. Para variedades diferenciveis com mtricas
pseudo-euclidiana pode-se ter problemas com a interpretao probabilstica
do mdulo do produto interno
|| |
enquanto densidade de probabilidade. Para se ter uma idia do que isto
signica, considere um simples exemplo de operadores de criao e destruio
que aparecem em um dado modelo invariante sob o grupo de Lorentz, por
exemplo uma ao cujo densidade de Lagrangiana escalar de Lorentz. Neste
caso as regras de quantizao impe que
_
a
, {a
_
=
que fornece componente com norma negativa, ou seja

_
0
{a
0
_
=
=
_
_
_
1, = = 0,
ij
, = i, = j
Denio 1.3.11. Kets ortogonais. Dois kets | e | so denomindados
de ortogonais se
| = 0.
Esta relao de ortogonalidade implica que
| = |
| b = | = 0.
Armao 1.3.12. Normalizao de kets. Dado um ket no nulo, podemos
normaliz-lo considerando o seu produto interno
| = r, |r R.
Dado que | e c | , com c C representam o mesmo estado fsico, denimos
o ket
| =
1
_
|
|
o quel possui norma unitria
| =
|
|
= 1.
Denio 1.3.13. Operadores. [6]Um operador linear entre os espaos ve-
toriais X e Y uma aplicao T : dom T X Y , em que seu domnio
um subespao vetorial e T(+) = T() +T() para todo , domT
e C.
Informalmente operadores so mapeamentos lineares que mudam a dire-
o dos kets no espao de Hilbert. Lembre-se que os kets | e c | repre-
sentam o mesmo estado fsico o que signica que possuem a mesma direo
no espao de Hilbert. Representaremos por X,Y uma classe mais ge-
ral de operadores que no so necessariamente hermitianos (observveis) ou
unitrios.
Um operador atua em um ket pela esquerda e o resultado outro ket
X | = | .
Dois operadores so iguais se
X | = Y | =(X Y ) | = 0 =X = Y.
Para um ket arbitrrio no espao em considerao.
O operador X um operador nulo se para um ket arbitrrio
X | = 0, | .
Operadores podem ser adicionados satisfazendo as regras de comutativi-
dade e associatividade nesta operao
X +Y = Y +X,
X + (Y +Z) = (X +Y ) +Z.
Com uma nica exceo (a do operador de inverso temporal) todos opera-
dores que trabalharemos sero lineares:
X (c
| +c
|) = c
X | +c
X | .
Um operador sempre atua em um bra pela direita:
(|) X = | X = |
e o resultado outro bra. O ket X | e o bra | X no so em geral o
correspondente dual de cada outro.
Denio 1.3.14. Operador Adjunto. O operador X
o hermitiano ad-
junto ou simplesmente adjunto do operador X.
Dene-se o operador adjunto X
, do operador X, pela equao

.
Xc
|
CD
| c
. (1.3.4)
Denio 1.3.15. Operadores Hermitianos. Um operador hermitiano
quando satisfaz
X
= X.
Armao 1.3.16. Multiplicao de Operadores. A multiplicao de opera-
dores no , em geral, comutativa
XY = Y X
Exemplo 1.3.17. Sejam os operadores
X =
_
0 1
1 0
_
, Y =
_
1 0
0 1
_
,
XY =
_
0 1
1 0
__
1 0
0 1
_
=
_
0 1
1 0
_
,
Y X =
_
1 0
0 1
__
0 1
1 0
_
=
_
0 1
1 0
_
,
mostrando que XY = Y X. Um outro exemplo
X = xI; Y =
x
I XY = Y X.
Armao 1.3.18. Associatividade na Multiplicao: X (Y Z) = (XY ) Z.
Da associatividade segue que
X (Y |) = (XY ) | = XY |
(| X) Y = | (XY ) = | XY,
e note que
[X (Y |)]
= [X |]
= | X
=
_
| Y
_
X
= | Y
=(XY )
= Y
,
e para um ket arbitrrio qualquer, prova-se que
(XY Z )
= Z

Denio 1.3.19. Produto Exterior. O produto exterior do ket | pelo
bra | um operador representado por
| |
que totaltmente diferente do produto interno cujo resultado um nmero
complexo.
A armao que a multiplicao de operadores associativa no foi pro-
vada mas clara da estrutura lgebrica do espao e do fato dos operadores
serem lineares. Esta propriedade to importante que Dirac elevou este
resultado categoria de axioma:
Axioma 1.3.20. Associatividade da Multiplicao. A multiplicao dos ope-
radores associativa.
Para explicitar a importncia deste axioma considere o produto externo
atuando em um ket genrico |:
(| |) | = | (| |) ,
com
| | = |
o produto interno entre o ket | e o bra | . Assim o produto externo
operando em um ket justamente outro ket, por isto olhamos | | como
um operador. Note que o operador | | gira o ket | na direo do ket
|.
A propriedade
X
= (| |)
= | | (1.3.5)
pode se provada da seguinte forma
X | = | | | = c |
(c |)
= c
|
c
| = | c
= | | |
= | | |
donde seque que
X
= (| |)
= | | .
Uma outra consequncia importante do axioma da associatividade
| (X |) = (| X) | = | X | .
Ao custo do atropelamento do contedo, esta expresso torna-se mais familiar
na forma
d
3
x
(r)
_
O(r)
_
=
d
3
x
_
(r)

O
_
(r) =
d
3
x
(r)

O(r).
A operao de se calcular a equao adjunta da equao | X | fornece
| X |
=
_

_
, (1.3.6)
que pode ser facilmente provada como
| X | = | =
|
= | =
_

_
,
utilizando a equao Eq. (1.3.4).
Denio 1.3.21. Operadores Hermitianos. Operadores hermitianos so
denidos pela equao
| X |
=
_

_
= | X | X
= X. (1.3.7)
1.3.5 Kets Base e Representao Matricial
Vamos estudar os autoestados e autovalores de operadores hermitianos os
quais para diferenciar de um operador geral X representaremos por letras
maisculas iniciais do alfabeto. Considere ento um operador hermitiano A
associado a varivel dinmica A(q, p) representando uma dada quantidade
fsica.
Teorema 1.3.22. Os autovalores de um operador herimitiano so reais e os
seus autovetores associados a diferentes autovalores so ortogonais.
A prova deste teorema ser feita em dois passos: considere a equao a
autovalores do operador hermitiano A
= A na sua base
A|a = a |a a| A = a
a|
cujos produtos internos com o ket |a e com o bra a| fornecem
a a | a = a
a | a =
(a a
) a | a = 0 =
a a
= 0 =a
ou seja os autovares do operador A so reais. Considere na sequncia os
autovalores associados a diferentes autoestados, teremos
A|a = a |a
A|a
= a
|a
Calculando o produto interno da primeira equao com o bra a
| e o produto
interno do ket |a com a equao adjunta da segunda equao obtem-se que
a
| A| a = a a
| a
a
| A| a = a
| a
que subtraidas fornecem
0 = (a a
) a
| a
que ser nulo somente se os autoestado forem ortogonais, ou seja para
a = a
=a
| a = 0. (1.3.8)
A propriedade de ortogonalidade tambm pode ser provada utilizando-se o
axioma da associatividade para o clulo de
(a
| A) |a = a
| a
a
| (A|a) = a a
| a ,
levando a mesma concluso anterior.
Considerando que os autoestados so normalizados (se no forem s
normalizar), expressa-se a relao de ortogonalidade da base discreta como
a
| a =
a
a
, (1.3.9)
sendo portanto a base
{|a}
uma base ortonormal, completa por construo.
Base Construida com Autoestados
Dado que os autoestados do operador hermitiano A so ortogonais e formam
um conjunto completo, isto signica que eles podem ser utilizados para se
expandir um ket arbitrrio do espao dos kets nos autoestados do operador
A. Em outras palavras os autoestados do operador A podem ser utilizados
como uma base para escrevermos a expanso
| =

a
c
a
|a
. (1.3.10)
Utilizando a ortogonalidade da base encontramos
a
| | =a
c
a
|a
=

a
c
a
a
| |a
=
=a
| =

a
c
a

a
a
= c
a
,
(1.3.11)
resumindo, a equao Eq. (1.3.11) fornece os coecientes c
a
na expanso do
estado ou ket arbitrrio | na base {|a
}:
c
a
= a
| .
Quase uma curiosidade, substituindo novamente os coecientes c
a
na equa-
o Eq. (1.3.10) obtemos
| =

a
| |a
=

a
|a
|
Resumindo
| =

a
|a
| | (1.3.12)
Esta expresso duplamente interessante: primeiro pela analogia com a
expanso de vetores no espao euclidiano R
3
:
V =
3
i=1
e
i
v
i
donde seque da ortogonalidade da base que
v
i
= e
i
V
que subistituida de volta na expanso vetorial fornece
V =
3
i=1
e
i
(e
i
V) (1.3.13)
Compare as equao Eq. (1.3.12) e Eq. (1.3.13), e veja que fornece a seguinte
associao (lembre-se que os espaos so diferentes!) didtica:
_
_
| =

a
c
a
|a
V =

3
i=1
e
i
v
i
,
c
a
= a
| v
i
= e
i
V,
| =

a
|a
| | V =

3
i=1
e
i
(e
i
V) ,
{|a
} {e
i
}.
Segue tambm da equao Eq. (1.3.12) a denio do operador identidade
para uma base completa {|a
}
I =
|a
| (1.3.14)
que chamada de relao de completeza ou fechamento da base. Ape-
sar da aparente simplicidade, este operador muito til. Como exemplo
considere um ket genrico | normalizado
| = 1,
que expandido na base de autoestados do operador A pode ser escrito como
| =

a
c
a
|a
,
que substituida no produto interno anterior fornece a expressso
| =

a
c
a
c
a
a
| a
=

a
c
a
c
a

a
a
=

a
c
a
c
=

a
|c
a
|
2
= 1.
Porm, este clculo tambm pode ser feito utilizando-se o operador identi-
dade:
| = | I |
= |
|a
| |
=

a
(| |a
) (a
| |)
=

a
a
c
a
=

a
|c
a
|
2
= 1.
Dada a denio do operador identidade, Eq. (1.3.14) deni-se o operador
projetor
|a
a
= I,
a
|a
| (1.3.15)
sendo que o simblo
a
utilizado para representar o operador projeto ou
operador de projeo o qual mede ou projeta o quanto do ket arbitrrio |
esta na direo do vetor base |a
, o quadrado do mdulo dos coecientes

na expanso do ket | na base |a
representa a probalilidade associada a

cada autoestado |a
na expanso de | . Posteriormente voltaremos a esta

discusso em detalhes.
Representao Matricial.
Uma vez especicada uma base podemos construir explicitamente a repre-
sentao matricial para os operadors X, kets da base |a
e kets genricos |
e seus correspondentes duais. Para vermos como isto funciona ou como este
procedimento utilizaremos o operador identidade I. Considere primeiramente
um operador genrico
X = IXI =

a
a
X
=

a
|a
| X
|a
|
=

a
|a
| a
| X | a
.
O termo a
| X | a
pode ser visto como um elemento de uma matriz qua-

drada N N em um espao de Hilbert N d :
a
| X | a
X
a
a
, (1.3.16)
com o ndice a
representando a linha e a
a coluna, portanto temos um

elemento de matriz do operador X na a
sima linha e a
sima coluna. A
matriz X pode ser simbolicamente escrita como
_
_
_
_
_
_
_
_
a
1
| X | a
1
a
1
| X | a
2

_
a
1
a
N
_
a
2
| X | a
1
a
2
| X | a
2

_
a
2
a
N
_
.
.
.
.
.
.
.
.
.
.
.
.
_
a
N
a
1
_ _
a
N
a
2
_

_
a
N
a
N
_
_
_
_
_
_
_
_
_
. (1.3.17)
Resgatando a notao matricial
M
=
_
M
T
_
,
_
M
_
ij
= M
ji
, (1.3.18)
signicando que a operao de se tomar a adjunta de uma matriz M envolve
duas opoerao: transposio e conjugao complexa. Quando o operador
escrito em termos da base a equao anterior torna-se, para o operador X
a
| X | a
=
_
a
_
, (1.3.19)
que para um operador Hermitiano A
= A, torna-se
a
| A| a
= a
| A| a
, (1.3.20)
A forma com que foi construido o elemento de matriz de um dado operador
genrico Z = X Y esta em conformidade com a regra de multiplicao
matricial como pode-se observar nas seguintes equao
Z =

a
|a
| Z |a
|
=

a
|a
| a
| Z | a
=

a
|a
| a
| X Y | a
=

a
|a
|
_
a
|a
| Y
_
=

a
|a
| a
| X | a
| Y | a
que fornece o elemento de matriz Z

a
a
do operador Z como
a
| Z | a
=

a
| X | a
| Y | a
, (1.3.21)
que exatamente a regra de multiplicao de matrizes quadradas. Considere
a representao matricial de um ket genrico | ,que para isto escrevermos:
| =
_
|a
_
=

a
| a
|
=
_
a
1
_ _
a
1

_
+
_
a
2
_ _
a
2

_
= +
_
a
N
_ _
a
N

_
=
__
a
1
_ _
a
2
_

_
a
N
__
_
_
_
_
_
_
_
a
1
|
a
2
|
.
.
.
_
a
N

_
_
_
_
_
_
_
_
.
Desta expresso segue diretamente as representraes matriciais de um Ket
como uma matriz coluna e um Bra como uma matriz linha:
| =
_
_
_
_
_
_
_
a
1
|
a
2
|
.
.
.
_
a
N

_
_
_
_
_
_
_
_
=
_
_
_
_
_
c
1
c
2

c
N
_
_
_
_
_
, (1.3.22)
e
| =
__
a
1
_ _
a
2
_

_
a
N
__
= (c
1
c
2
c
N
) . (1.3.23)
Exemplo 1.3.23. Representao matricial do operador I. Para encontrar a
representao matricial do operador calculamos o elemento de matriz
_
a
i
a
i
_
=
_
a
i
|a
a
j
_
=

a
_
a
i
_ _
a
a
j
_
=

a
a
i
a

a
a
j =
ij
.
I =
_
_
_
_
_
_
_
1 0 0
0 1 0
.
.
.
.
.
.
.
.
.
.
.
.
0 0
.
.
. 1
_
_
_
_
_
_
_
.
Exemplo 1.3.24. A representao matricial do operador | |. Dada a
experincias anteriores, excrevemos diretamente a matriz cujos elementos de
matriz so a
| | a
_
_
_
_
_
a
1
| | a
1
a
1
|
_
a
N
_
.
.
.
.
.
.
.
.
.
_
a
N

_
| a
1

_
a
N

_ _
a
N
_
_
_
_
_
_
Exemplo 1.3.25. Representao matricial de um operador Hermitiano na
sua representao (base). Para isto notamos que
A = IAI =
|a
| A
|a
|
=

a
|a
|
a
=

a
|a
| =

a
=
_
_
_
_
_
_
_
_
_
a
1
0 0 0
0 a
2
0 0
0 0 a
3
0 0
.
.
.
.
.
. 0
.
.
.
0
0 0 0 0 a
N
_
_
_
_
_
_
_
_
_
.
Nota-se que os projetores possuem a seguinte representao matricial
(
n
)
ij
= a
n
ni
ij,
sem som nos ndices repetidos, por exemplo
1

_
_
_
a
1
0 0
0 0 0
0 0 0
_
_
_
Exemplo 1.3.26. Aplicao do formalismo para uma partcula com spin
1/2.
Como um simples exemplo vamos aplicar o formalismo desenvolvido an-
teriormente para um sistem (partcula) com spin 1/2 como o que discutimos
no incio do captulo. Por simplicidade economica utilizremos a notao
|S
z
.
= | =
_
_
_
|a
1
.
= |+ ,
|a
2
.
= | .
A ortogonalidade da base escrita como
a
| a
=
a
a

_
_
+| + = 1,
| = 1,
+| = | + = 0.
O operador S
z
diagonal na sua representao, portanto pode ser escrito
analogamento ao operador A do exemplo Ex. (1.3.25):
S
z
=

a
a
=
~
2
~
2
=
~
2
(|+ +| | |) .
A operao de S
z
nos seus autoestados fornece
S
z
|+ =
~
2
(|+ +| | |) |+
=
~
2
_
|+ +| |+ |
:
0
| |+
_
=
~
2
|+ ;
S
z
| =
~
2
(|+ +| | |) |
=
~
2
_
|+
:
0
+| | | | |
_
=
~
2
| .
A expresso do operador identidade representando a completeza da base :
I =

a
a
=
+
+
= |+ +| +| | .
Sendo bvio que
I |+ = (|+ +| +| |) |+ = |+ ,
I |+ = (|+ +| +| |) | = | .
Exerccio 1.3.27. Prove que os operadores I e S
z
so Hermitianos.
Vamos introduzir dois novos operadores que sero discutidos mais deta-
lhadamente, posteriormente;
S
+
~ |+ | , S
~ | | .
Obtem-se imediatamente que
S
+
= (~ |+ |)
= ~ | | = S
= (~ | |)
= ~ |+ | = S
+,
que obviamente so operadores no hermitianos. Considere o resultado da
atuao destes operadores nas bases |:
_
_
_
S
+
|+ = ~ |+ | |+ = 0,
S
+
| = ~ |+ | | = ~ |+ .
Figura 1.3.2: Sistema com dois nveis de energia
_
_
_
S
|+ = ~ | +| |+ = ~ | ,
S
| = ~ | +| | = 0.
Note tambm que
_
_
_
S
+
S
+
| = 0,
S
|+ = 0.
Os operadores S
mudam os estados | e uma vez mudado, uma nova

operao com o mesmo operador, no mais altera o estado. Uma aplicao
interessante destes operadores pode ser feita para sistemas com dois nveis,
por exemplo um tomo com somente dois nveis de energia: o fundamental
e o primeiro estado excitado; outro exemplo o da inverso do spin de um
sistema interagindo com um campo magntico externo.
Estes exemplos so ilustragos nas guras Fig. (1.3.5) e (1.3.5)
Para o modelo esquematizado na gura Fig. (1.3.5) os operadores S
+
e
S
so interpretados como operadores mudam o estado de energia do sistema

de um quantum de energia, se interpretarmos que o estado | est associado
ao estado de menor energia e |+ ao estado excitado do sistema. Neste caso
Figura 1.3.3: Inverso do spin
o operador S
+
leva pela atribuio de um quantum de energia, o eltro do
estado fundamemtal | para o estado excitado |+ .
J para um sistema de dois nveis representando a inverso do spin, como
esquematizado na gura Fig. (1.3.5), os operadores S
+
atua numa partcula
com spin para baixo, representado pelo ket | levando-a para um estado com
spin para cima, representado pelo ket |+ ; situao aloga representada
pelo operador S
.
1.3.6 Representao Matricial dos Operadores e Esta-
dos com Spin 1/2.
Continuando com nosso exemplo dos operadores e estados com spin 1/2,
consideremos a representao matricial dos mesmos. Utilizando a equao
Eq. (1.3.22) notamos que a representao matricial da base :
|+ =
_
a
1
| a
1
a
2
| a
1
_
=
_
1
0
_
,
| =
_
a
1
| a
2
a
2
| a
2
_
=
_
0
1
_
.
Segue diretamente desta representao que
+| = |+

_
1 0
_
, | = |

_
0 1
_
;
+| + =
_
1 0
_
_
1
0
_
= 1; | =
_
0 1
_
_
0
1
_
= 1;
+| =
_
1 0
_
_
0
1
_
= 0; | + =
_
0 1
_
_
1
0
_
= 0.
Utilizando as expresses para os operadores I, S
z
, S
+
e S
em termos da base
| na representao matricial, encontramos as representaes matriciais dos
operadores
I = |+ +| +| | =
_
1
0
_
_
1 0
_
+
_
0
1
_
_
0 1
_
=
_
1 0
0 0
_
+
_
0 0
0 1
_
=
_
1 0
0 1
_
;
S
z
=
~
2
(|+ +| | |) =
~
2
_
1 0
0 1
_
=
~
2
z
;
S
+
= ~ |+ | = ~
_
1
0
_
_
0 1
_
= ~
_
0 1
0 0
_
,
S
= ~ | +| = ~
_
0
1
_
_
1 0
_
= ~
_
0 0
1 0
_
.
1.4 Medidas, Observveis e Relaes de In-
certeza
1.4.1 Polarizao de ftons
sabido dos resultados experimentais que os fotoeltrons so emitidos numa
direo preferencial pela incidncia de luz plano polarizada. Isto implica em
que as propriedades de polarizao da luz esto estreitamente relacionadas
a suas propriedades corpusculares e portanto deve-se atribuir polarizao ao
fton (partcula).
1.4. MEDIDAS, OBSERVVEIS E RELAES DE INCERTEZA 49
Considere que um feixe de luz plano-polarizada em uma certa direo, por
exemplo x ou y consite de ftons, cada um plano polarizado em uma dessas
direo. O mesmo raciocnio aplicando-se luz com polarizao circular, ou
seja em um feixe de luz circulamente polarizada, cada um e portanto um
nico fton est circularmente polarizado. Nestes casos arma-se que cada
fton est em um certro estado de polarizao.
Considere um caso especco: um feixe de luz passando atravs de um
cristal de turmalina o qual posssui uma propriedade tica que permite so-
mente a passagem de luz plano polarizada, perpendicular ao seu eixo tico.
A eletrodinmica clssica, como j visto, arma que se um feixe de luz plano
polarizado com polarizao perpendicular ao eixo tico incide no crista, ele
sera transmitido ou passar pelo crista. J se a polarizao do feixe for pa-
ralela ao eixo do cristal, ele no passar, nalmente para uma polarizao
incidente que faz um angulo com o eixo tico, uma frao sin
2
passar.
como podemos interpretar estes resultados no contexto de um fton enquanto
partcula?
Um feixe de luz plano polarizado em uma certa direo deve ser visu-
alizado como composto de ftons, cada e todos plano polarizados naquela
direo. Este esquema no gera conitos quando a direo o feixe incidente
plano polarizado paralelo ou perpendicular ao eixo tico: meramente supe-
se que um feixe plano polarizado com polarizao perpendicular composto
de ftons com esta polarizao e quando incidente no cristal de turmalina
todos e cada um dos ftons passam pelo cristal, sem sofre qualquer alterao
de seu estado. J se a polarizao do feixe no for perpendicular, nenhum
fton passar pelo cristal.
O problema aparece quando uma direo de polarizao j que cada
um dos ftons possuiro esta polarizao. Ento pergunta-se: um nico fton
com polarizao oblqua passar pelo ou no cristal, ou somente uma fraoi
deste fton passar? Experimentalmente no se observa nenhuma frao de
um fton que foi transmitida e a outra absorvida; de fato o que o experimento
mostra que o fton com polarizao obquo quando incide no crista passa
integralmente ou integralmente absorvido pelo cristal. Observa-se que o
fton que passou pelo crital ter polarizao paralela ou perpendicular ao
eixo tico.
Certo, mas como conciliar este resultado com a previso da eletrodinmica
clssica? Da seguinte forma: depois de um longo tempo durante o qual um
nmero substancial de ftons passaram um por vez pelo cristal observa-se que
a intensidade da luz aps o polarizador proporcional ao sin
2
, permitindo-
nos armar que um fton tem uma probabilidade sin
2
de passar pelo cristal
e cos
2
de ser obsorvido pelo cristal. Nesta interpretao est implcita a
recusa ou abandono da interpretao probabilstica da mecnica clssica que
arma termos controle de todos as condies experimentais com preciso ili-
mitada. O mximo que podemos prever um conjunto de possveis resultados
com uma probabilidade de ocorrencia para cada um.
Nas dicusses anteriores supes-se que um fton com polarizao oblqua
ao eixo tico do cristal de turmalina pode ser visto como estando parci-
almente em um estado de polarizao paralela ao eixo e parcialmente em
um estado perpendicular ao eixo. O estado de polartizao obqua ento
considerado como resultante de uma espcie de um processo de superposi-
o envolvendo os dois estado de polarizao paralela e perpendicular. Este
processo de superposio implica em uma relao especial entre os diversos
estados de polarizao. Esta relao permite que se expresse qualquer es-
tado de polarizao como uma superposio de qualquer dois (neste caso em
particular) estados perpendiculares, mutuamente excludentes.
Nesta interpretao, quando um fton encontra um cristal de turmalina,
ele submetido a uma observao: estamos observando se a polarizao
paralela ou perpendicular ao eixo tico. O efeito de observar, fora o fton
para estar inteiramente em um estado de polarizao paralela ou perpendicu-
lar; ele deve fazer um salto sbto de estar parcialmente em um destes dois
estados para estar inteiramente em um dos estados. Qual dois dois estados
ser selecionado, no pode ser previsto, porm o resultado governado por
leis probabilsticas.
1.4.2 Stern-Gerlach Sequenciais com trs feixes.
Diferentemente da anlise feita na subseo (1.1.5) feita para partculas (el-
trons) com spin 1/2, nesta seo consideraremos um feixe que aps a passa-
gem pelo aparelho de Stern-Gerlach decomposto em trs feixe; neste caso
as partculas que compes estes feixes so ditas para possuirem spin 1, isto
porque como veremos no captulo 3, os trs feixes ou trs canais correspon-
dem a projeo das trs componentes do spin ao longo do eixo z com valores
1 correspondente a projeo ao longo do eixo znegativo, 0 correspondente
componente do feixe que no deetido e +1 correspondente a projeo
da componente do feixe ao longo do eixo zpositivo. Vamos utilizar a notao
_
_
+
0
_
para representar um aparelho de Setern-Gerlach, SGz composto por trs
ims, como esquematizado na gura (1.4.2) o qual ser referido pela
letra S.
Figura 1.4.1: SGz
Figura 1.4.2: SG SS
Outros arranjos do experimento com alguns feixes bloqueados sero re-
presentados como esquematizado na gura (1.4.2)
Para experimentos sequenciais com o segundo aparelho alinhado de um
angulo com relao ao eixo z+ do primeiro aparelho, como esquematizado
na gura (1.4.2) utilizaremos a notao T para nos referir a este
aparelho com alinhamento .
Como exemplo da representao utilizando a notao intruduzida na -
gura Fig. (1.4.2), para o experimento de Stern-Gerlach (SG) sequencial,
como esquematizado na gura (1.4.2)
Teremos a simbologia
_
_
+
0
_
S
_
_
+
0
_
S
,
enquanto que para aparelhos com angulo entre os seus eixos z
s, como o
Figura 1.4.3: Resumo da conveno da notao dos SG
da gura Fig. (1.4.2) teremos a seguinte simbologia
_
_
+
0
_
S
_
_
+
0
_
T
Consideremos na sequncia um sumrio de resultados tendo como objetivo
ilustrar a preparao de estados puros o que corresponde a determinar os
estados base. Por exemplo a sequncia de experimentos
_
_
+
0
_
N/3
S
_
_
+
0
_
N/3
S
,
_
_
+
0
_
N/3
S
_
_
+
0
_
0
,
S
_
_
+
0
_
N/3
S
_
_
+
0
_
0
,
S
mostra a preparao do estado puro
|+ =
_
_
+
0
_
.
Figura 1.4.4: SG angulo
Os estados |0 e | so preparados com um procedimento anlogo, sendo
representado por
|0 =
_
_
+
0
_
e
| =
_
_
+
0
_
No vamos estender a discusso da preparao dos estados bases neste
caso, mesmo porque j o zemos para spin 1/2, mas vamos considerar experi-
mentos SG em srie para compreendermos o processo de medida na mecnica
quntica. Considere ento as seguintes simulaes de experimentos de SG
sequenciais:
_
_
+
0
_
S
n
_
+
0
_
S
n
_
+
0
_
S
n
_
+
0
_
T
n
(1.4.1)
Este arranjo, Eq. (1.4.1), mostra que o estado
|+
S
= |+
T
e para conrmar esta interpretao experimental monta-se os seguintes ar-
ranjos
_
_
+
0
_
S
n
_
+
0
_
T
n
_
+
0
_
S
n
_
+
0
_
T
n
(1.4.2)
que mostram ser o feixe com n partculas no estado |+
S
uma combinao
linear dos estados |+
T
, |0
T
e |
T
.
Considere o experimento o qual inicia-se com um ltro S+ e consideramos
que n o nmero de partculas no feixe que emerge deste SG, que na sequncia
penetra em um SG T ( cujo eixo z
faz um angulo com o eixo z de S). O

nmero de tomos que emerge deste uma frao n do nmero de tomos
que sairam do aparelho S. Continuando com este procedimento, na sequncia
estes tomos so submetidos a outro outro SG, porm do mesmo tipo que o
primeiro, ou seja S e observa-se que a frao de tomos no feixe emergente
n.
_
_
+
0
_
S
n
_
+
0
_
T
n
_
+
0
_
S
n
J para o arranjo, observa-se aps o ltro S um feixe com intensidade

n :
_
_
+
0
_
S
n
_
+
0
_
T
n
_
+
0
_
S
n
Note que a diferena entre estes dois arranjos no segundo ltro S. Este
arranjo quando comparado ao seguinte arranjo experimental, mostra um re-
sultado impressionante:
_
_
+
0
_
S
n
_
+
0
_
T
n
_
+
0
_
S
n
a
_
_
+
0
_
S
n
_
+
0
_
T
n
_
+
0
_
S
0
a
1.4.3 Comparando a polarizao de frmions e bsons
1.4.4 Medida
Dirac: Uma medida coloca o sistema em um autoestado da varivel dinmica
que est sendo medida.
Seja A um observvel que ser medido. Antes da medida o sistema
encontra-se no estado | > que pode ser expandido na base {|a
>} dos
autoestados deste operador:
| >=

a
c
a
|a
>=

a
< a
| > |a
>=

a
|a
>< a
| > . (1.4.3)
Quando a medida feita o sistema assume um dos possveis autoestados
|a
> do operador A. Qual deles o sistema escolher no pode ser previsto

| >
sob a medida A
|a
> .
Como um exemplo considera-se novamente o experimento de Stern-Gerlach
no qual o feixe com tomos com orientao de spin arbitrria assumem os
valores S
z+
ou S
z
aps passarem pelo aparelho SG z. Neste caso tem-se que
| >
SG z
_
_
_
|S
z+
> ou
|S
z
>
Suponha que aps a medida ser efetuada
| >
SG z
_
_
_
|S
z+
>
|S
z
>
o feixe |S
z
> bloqueado e o feixe |S
z+
> submetido novamente a
outro SG z. Aps isto o experimento indica que o sistema continua no estado
|S
z+
>. Este procedimento pode ser escrito, de uma forma genrica para
qualquer observvel A como
| >
sob a medida A
|a
>
sob a medida A
|a
> .
O famoso indeterminismo inerente ao sistema est associado seguinte
armao (postulado)
Dado o ket | > representando o estado de um sistema fsico antes da
medida, no se sabe antecipadamente (antes que a medida seja efetuada)
que autoestado |a
>,entre todos os possveis, o sistema escolher como o

resultado do processo de medida.
Pode-se adotar a seguinte postura (de fato um postulado da MQ)
O estado fsico do sistema pode ser representado por um ket | > que
contm toda informao possvel de se obter do sistema. O ket | > pode ser
expandido na base {|a
>} de autoestados do operador A que representa um

dado observvel fsico:
| >=

a
c
a
|a
> . (1.4.4)
O resultado de uma medida do observvel A pode assumir um dos possveis
valores {a
} com probabilidade |c
a
|
2
:
| < a
| > |
2
= |c
a
|
2
= probabilidade de obter o valor a
, para < | >= 1.

Esta expresso de fato o postulado (na forma de uma sentena mate-
mtica) associado interpretao probabilstica; ela coerente por causa de
pelo menos dois motivos:
1. se | >= |a
>, | < a
| > |
2
= |c
a
|
2
= 1 e o sistema sempre estar
neste estado.
2. Se em t = 0, (antes da medida) | >= |a
>, aps a medida o sistema

continuar no estado |a
> e < a
|a
>= 0. Kets ortogonais correspon-

dem a alternativas mutuamente excludentes.
1.4.5 O valor esperado de um observvel A.
O valor esperado de um observvel com relao ao estado | > denido
como
< A >< |A| >,
que pode ser reescrita com
< A > = < |A| >=< |1A1| >
=

a
< |a
>< a
|A|a
>< a
| >
=

a
a
c
a
< a
|a
|a
>
=

a
a
c
a
a
=

a
|c
a
|
2
a
,
signicando que o valor esperado igual ao valor mdio j que a
um dos
possveis valores que o operador A pode assumir e |c
a
|
2
a probabilidade do
operador A assumir o autovalor a
numa medida.
Observao 1.4.1. O valor esperado de um operador A, calculado como
< A >=< |A| >=

a
|c
a
|
2
a
,
diferente de autovalor:
< A >=< a
|A|a
>= a
, < a
|a
>= 1.
Por exemplo o valor mdio ou esperado do operador S
z
pode assumir qual-
quer valor entre
~
2
e
~
2
,
~
2
< S
z
>
~
2
entretanto, os autovalores de S
z
so
~
2
.
1.4.6 Medidas seletivas: o papel do operador projetor
Medida seletiva ou ltrao a separao de um nico autovalor a
do espec-
tro de autovalores {a
} do operador A. Tecnicamente isto feito atravs do

bloqueio de todas as componentes indesejveis do feixe, deixando-se passar
somente aquelas de interesse. Este procedimento pode ser representado ou
feito utilizando-se o operador projetor. O operador
a
seleciona do estado
fsico | > somente a componente na direo de |a
>, como esquematizado

na gura 1.4.5.
Figura 1.4.5: Medida seletiva
Os postulados da Mecnica Quntica
Postulado-1 Em um dado tempo t
0
o estado fsico do sistema denido
especicando-se um dado | > que pertence ao espao de Hilbert H do
sistema.
Postulado-2 Toda quantidade fsica ou varivel dinmica do sistema A
mensurvel pode ser representada por um operador A que atua nos
elementos do espao de Hilbert H. Este operador um observvel.
Postulado-3 Como resultado de uma medida de uma quantidade fsica A
a qual corresponde o operador A pode-se obter somente os autovalores
de A.
Postulado-4 Quando uma medida de uma quantidade A feita sobre um
sistema representado pelo ket normalizado | >, a probabilidade
6
P
n
de
obtermos um autovalor a
n
, do operador A associado varivel dinmica
A,
P
n
= |c
n
|
2
= | < a
n
| > |
2
,
onde |a
n
> um autoestado normalizado do operador A .
Postulado-5 Se como resultado de uma medida de uma quantidade fsica
A sobre um sistema representado pelo ket | > obtm-se um autovalor
a
n
, o estado do sistema imediatamente aps a medida o estado
|a
n
>< a
n
| >,
que normalizado pode ser representado como
|a
n
>< a
n
| >
_
< |a
n
>< a
n
| >
.
Considere como exemplo da aplicao dos postulados e do formalismo de-
senvolvido nas sees anteriores, a obteno dos estados |S
z
>, |S
x
>, e
|S
y
> para o experimento de Stern-Gerlach.
6
quantidade < a
n
| > d-se o nome de amplitude de probabilidade
Stern-Gerlach: spin 1/2
Considere o experimento 1.1.6 que indica que o feixe |S
x+
> decomposto
em |S
z+
> e |S
z
> . Utilizando-se estes como os kets base, ou seja a base a
ser utilizada ser
{|a
>} = {|+ >, | >}

que so os autoestados do operador S
z
. Ento pelo primeiro postulado
| >=

c
a
|a
>, a
= +,
|S
x+
>= c
+
|+ > +c
| >;
com
|+ >, | > H; c
C.
O experimento indica que o feixe |S
x+
> separado em duas componentes
de mesma intensidade, este resultado juntamente com a normalizao do
estado |S
x+
> fornece:
< S
x+
|S
x+
> = |c
+
|
2
+|c
|
2
= 1.
| < +|S
x+
> |
2
= | < |S
x+
> |
2
|c
+
|
2
= |c
|
2
2|c
+
|
2
= 1 |c
+
| =
1
2
; |c
| =
1
2
.
|c
+
| = |c
| =
1
2
Estas condies xam c
+
e c
como
c
+
=
1
2
e
1
, c
=
1
2
e
2
.
Com esta expresses pode-se escrever
|S
x+
> =
1
2
e
1
|+ > +
1
2
e
2
| >,
=
1
2
e
1
_
|+ > +e
(
2
1
)
| >
_
1.4.7 Relaes de Incerteza
Seja A um operador hermitiano associado a uma dada varivel dinmica A.
Denimos um novo operador
A A < A > , (1.4.5)
onde < A > o valor esperado de A na base em considerao. A disperso
do operador A denida pela equao
(A)
2
= A
2
2A < A > + < A >
2
(1.4.6)
e seu valor mdio ou esperado
< (A)
2
> =< A
2
> 2 < A >< A > + < A >
2
=< A
2
> < A >
2
resumindo
< (A)
2
>=< A
2
> < A >
2
(1.4.7)
A disperso mede a falta de nitidez da medida de um observvel em um
dado estado. Como exemplo considere o clculo da disperso para as medidas
dos observveis S
x
e S
z
no estado |S
x
+ >:
Exemplo 1.4.2. As disperses dos observveis S
x
e S
z
no estado |S
x
+ > de
um sistema com spin 1/2.
Para isto, utiliza-se diretamente a equao 1.4.7, entretanto primeira-
mente deve-se calcular para o operador S
x
:
< S
x
+|S
x
|S
x
+ > =
1
2
(< +|+ < |) S
x
1
2
(|+ > +| >)
=
~
2
;
e
< S
x
+|S
2
x
|S
x
+ >=
~
2
4
.
Tem-se portanto que
< (S
x
)
2
>=< S
x
+|S
2
x
|S
x
+ > (< S
x
+|S
x
|S
x
+ >)
2
= 0.
Para o operador S
z
:
< S
x
+|S
z
|S
x
+ > =
1
2
(< +|+ < |) S
z
1
2
(|+ > +| >)
=
~
4
(< +|+ < |) (|+ > | >)
=
~
4
(< +|+ > + < ||+ > < +| > < | >)
= 0;
um clculo anlogo fornece
< S
x
+|S
2
z
|S
x
+ >=
~
2
4
sendo portanto a disperso
< (S
z
)
2
>=< S
x
+|S
2
z
|S
x
+ > (< S
x
+|S
z
|S
x
+ >)
2
=
~
2
4
.
Deste exemplo conclui-se que :
S
x
ntido (bem denido) no estado |S
x
+ >
S
z
no ntido e sim difuso no estado |S
x
+ >
Relaes de incerteza entre operadores incompatveis.
O objetivo demonstrar a validade da relao de incerteza
< (A)
2
>< (B)
2
>
1
4
| < [A, B] > |
2
, (1.4.8)
para dois observveis genricos A e B incompatveis [A, B] = 0 em estados
(kets do espao de Hilbert H ) genricos. Para isto ser utilizada a desi-
gualdade de Schwarz, uma propriedade de um operador hermitiano e uma
propriedade de um operador anti-hermitiano.
Lema 1.4.3. A desigualdade de Schwarz
< | >< | > | < | > |
2
(1.4.9)
Esta desigualdade anloga a desigualdade triangular na forma vetorial
|a|
2
|b|
2
|a b|
2
,
j que
|a||b| = ab |a b| = ab cos ,
sendo a igualdade vlida para = 0.
7
7
Para a demonstrao do Lema de Schwarz til ter em mente umas poucas proprie-
dades dos nmeros complexos. Seja z = x + y um nmero complexo, z C e x, y R, o
mdulo de z, |z| =
x
2
+y
2
e vale a propriedade z
z = (x y)(x + y) = x
2
+ y
2
= |z|
2
.
V-se da denio de mdulo que |z|
2
0 .
Demonstrao. Considere o ket genrico, combinao linear dos kets | > e
| >, dado por
| >= | > +| > .
onde C.Sendo esta uma combinao linear de dois kets, no necessa-
riamente ortogonais, mas LI, pode-se escolher o ket | > ortogonal ao ket
| >,portanto
< | >= 0 =< | > + < | >
< | > = 0 =< | > + < | >
= =
< | >
< | >
.
Sendo que
< | > =< | > +||
2
< | > + < | > +
< | >
e ao mesmo tempo
< | > 0,
obtm-se que
< | > +
< | >
< | >
2
< | >
< | >
< | >
< | >
< | >
< | >
< | > 0 =
< | >
< | >
2
< | >
< | >
< | >
< | > 0 =
< | >
< | >
2
< | >< | >
e portanto
< | >< | > |< | >|
2
Lema 1.4.4. O valor esperado de um operador hermitiano real
Demonstrao. Seja A = A
um operador hermitiano e seja {|a
>}uma base
ortonormal e completa de autoestados (eigenkets) do operador A. Ento
< a
|a
>=
a
|a
>< a
| = I
Sendo que
A|a
> = a
|a
>
< a
|A =< a
|a
,
obtm-se da primeira e segunda equaes, respectivamente que
< a
|A|a
> = a
< a
|a
>,
< a
|A|a
> = a
< a
|a
> .
Subtraindo estas equaes obtm-se que
(a
) < a
|a
>= 0 =
_
_
_
para a
= a
, < a
|a
>= 0; os autoestados so ortogonais;

para a
= a
, a
= a
os autovalores so reias.
Lema 1.4.5. O valor esperado de um operador anti-hermitiano imaginrio
puro.
Operadores anti-hermitianos so denidos pela condio:
C
= C (1.4.10)
Demonstrao. Considere que o operador C possui uma base completa de
autoestados ortonormais e que
C|c
> = c
|c
>
< c
|C
= c
< a
|,
obtm-se da primeira e segunda equaes, respectivamente que
< c
|C|c
> = c
< c
|c
>,
< c
|C|c
> = c
< c
|c
> .
Subtraindo estas equaes obtm-se que
(c
+c
) < c
|c
>= 0 =
_
_
_
para c
= c
, < c
|c
>= 0; os autoestados so ortogonais;

para c
= c
, c
= c
os autovalores so imaginrios puros.

Donde conclui-se que os autovalores de um operador anti-hermitiano so
nmeros imaginrios puros.
Utilizando o lema 1.4.9 com o ket a seguinte escolha do ket genrico
| > = A| >,
| > = A| >,
obtm-se que o LE da desigualdade ser
< | >< | >=< (A)
2
>< (B)
2
>, (1.4.11)
enquanto que o lado direito
|< | >|
2
= |< (A) (B) >|
2
. (1.4.12)
Em geral operadores ( matrizes e tensores) podem ser decomposto em um
termo simtrico e outro antisimtrico, se o operador for bem comportado,
seu produto tambm pode ser decomposto desta forma
AB =
1
2
(AB BA) +
1
2
(AB +BA)
=
1
2
[A,B] +
1
2
{A,B} ,
onde foi denido
[A, B] AB BA,
{A, B} AB +BA.
Devido a denio do operador A e B tem-se que
[A,B] = [A < A >,B ] = [A, B] ,
devido < A > e serem nmeros.
A decomposio dos operadores em um termos simtrico e outro antisi-
mtrico utilizada juntos com os lemas 1.4.4e 1.4.5 notando-se que
[A, B]
= [A, B]
{A, B}
= {A, B}
e portanto
_
_
_
[A, B] um operador anti-hermitiano, portanto seu autovalores so imaginrios puros!
{A, B} um operador hermitiano, portanto seus autovalores so reais.
Isto simplica em muito os clculos j que pode-se comparar AB com um
nmero complexo cujo quadrado do mdulo escrito como |z|
2
= x
2
+ y
2
.
Com isto a equao 1.4.12 pode ser reescrita como
|< (A) (B) >|
2
=
1
4
|[A,B]|
2
+
1
4
|{A,B}|
2
(1.4.13)
Substituindo as equaes 1.4.11 e 1.4.13 na desigualdade de Schwarz 1.4.3
obtm-se que
< (A)
2
>< (B)
2
>
1
4
|< [A,B] >|
2
+
1
4
|< {A,B} >|
2
. (1.4.14)
A omisso do segundo termos torna a desigualdade ainda mair rigorosa j que
quanto maior a impreciso nas medidas simultneas dos operadores maior o
nmero resultante do produto (A)
2
>< (B)
2
> .
No abrindo mo da rigorosidade, a omisso do segundo termos justi-
cada pelo exemplo considerado a seguir.
Exemplo 1.4.6. Pacote de onda mnimo em uma dimenso.
Para ilustrar a possibilidade e coerncia da omisso do segundo termo no
lado direito da equao 1.4.14 considere sob que condies este termo pode ser
desprezado. Para isto retoma-se o ponto de partida, ou seja e desigualdade
de Schwarz
< | >< | > | < | > |
2
e pergunta-se: para que caso a igualdade ocorre? Uma resposta trivial:
quando | >= | >, C. Considere esta condio juntamente com a
outra condio
|< {A,B} >|
2
= 0,
A ttulo de simplicidade, mas sem perder a generalidade, considera-se este
exemplo em uma dimenso na representao das coordenadas, portanto tem-
se que
A = x = x < x >,
B = p
x
= p
x
 .
Deve ser lembrado que na representao das coordenadas, o operador
momento p
x
possui a forma
p
x
= ~
d
dx
.
Na linguagem de funes de onda (teoria de Schrdinger) ou representao
das coordenadas em 1d tem-se que
|< {A,B} >|
2
= 0
dx
(x) (xp
x
+p
x
x) (x) = 0 (1.4.15)
e que
| >= | >, C =A| >= B| >
que na representao das coordenadas (teoria de Schrdinger) escreve-se
como
x(x) = p
x
(x) (1.4.16)
A equao (condio) 1.4.16 fornece a seguinte equao diferencial para a
funo de onda (x):
d
dx
=
_

~
x +

~
_
cuja soluo
(x) = N exp
_

2~
(x)
2
+
 x
~
_
, (1.4.17)
onde N uma constante de integrao.
J a condio 1.4.15 com a utilizao da condio 1.4.16 torna-se
dx
(x) (
p
x
p
x
+ p
x
p
x
) (x) = (
+ )
dx
(x)p
x
p
x
(x) = 0
que implica em = c ou seja um nmero imaginrio puro. Escolhe-se
o sinal negativo para que a normalizao do pacote de onda Gaussiano (x)
seja convergente. Substituindo o valor de e normalizando o pacote 1.4.17
obtm-se o pacote de onda gaussiano minimo e normalizado
(x) =
1
_
2 < (x)
2
>
exp
_
(x)
2
4 < (x)
2
>
+
 x
~
_
(1.4.18)
Concluindo, a igualdade na relao de incerteza de Heisenber vlida para o
pacote de onda mnimo, em qualquer outro caso o produto das medidas das
disperses de operadores incompatveis ser maior que o quadrado do valor
mdio do comutador destes operadores. A omisso do termos
1
4
|{A,B}|
2
na equao 1.4.14 impe uma maior restrio sobre as medidas dos ope-
radores de que elas ( as medidas) sejam mais precisas. Certamente este
procedimento de melhorar a preciso tecnicamente mais complicado.
1.5. MUDANA DE BASES 67
1.5 Mudana de Bases
Sejam A e B dois observveis incompatveis. Existem duas possibilidades
de escolha da base para o espao de Hilbert H do sistema, pode-se usar a
base {|a
>}dos autoestados do operador A ou a base {|b
>} que so os
autoestados do operador B. A escolha indiferentes, relembre a discusso
do experimento de Stern-Gerlach onde considerou-se os operadores S
x
, S
y
e S
z
atuando no espao de Hilbert gerado pelos kets base autoestados do
operador S
z
.
Sendo a escolha da base arbitrria pergunta-se: uma vez feita a escolha
da base como se relacionam os operadores, autovetores e autovalores ou equi-
valentemente como fazer uma transformao de coordenadas uma vez tendo
denido uma base. Esta mudana de coordenadas na mecnica quntica
denominada de mudana de representao ou mudana de base.
Pode-se fazer uma comparao entre esta transformao e rotaes que
so transformaes ortogonais utilizadas para diagonalizar matrizes simtri-
cas. H um teorema muito importante que somente ser citado:
Teorema 1.5.1. Toda matriz simtrica pode ser diagonalizada por uma
transformao (matriz) ortogonal.
Este teorema bastante til no estudo da dinmica de corpos rgidos onde
o clculo e diagonalizao do tensor de momento de inrcia so necessrios.
J , no contexto do espao de Hilbert os raios vetores so quantidades
complexas como tambm os operadores, sendo assim uma transformao or-
togonal no poder ser utilizada para realizar a tarefa que relacione as duas
bases, mas uma generalizao ou extenso destas transformao aos espa-
os complexos. Nossa tarefa construir um operador de transformao que
relacione as duas bases.
Sendo [A, B] = 0; {|a
>} a representao completa e ortonormal do

operador A e {|b
>} a representao completa e ortonormal do operador B

e adotando {|a
>} como a base antiga e {|b
>} a base nova, considera-se o

teorema
Teorema 1.5.2. Dado dois conjuntos de kets bases {|a
>} e {|b
>} orto-
gonais e completos, existe um operador unitrio U tal que
|b
(1)
>= U|a
(1)
>, |b
(2)
>= U|a
(2)
>, |b
(N)
>= U|a
(N)
> . (1.5.1)
Operador unitrio denido pelas condies
UU
= U
U = I. (1.5.2)
Demonstrao. Por construo, considera-se o operador
U =

k
|b
(k)
>< a
(k)
| (1.5.3)
que imediatamente satisfaz:
U|a
(l)
>=

k
|b
(k)
>< a
(k)
|a
(l)
>=

k
|b
(k)
>
kl
= |b
(l)
>, (1.5.4)
e
UU
=

kl
|b
(k)
>< a
(k)
|a
(l)
>=
kl
.
A matriz de transformao
A representao matricial do operador U na antiga base {|a
>} encontrada
utilizando-se o procedimento discutido anteriormente:
< a
(k)
|U|a
(l)
> = < a
(k)
|
j
|b
(j)
>< a
(j)
|a
(l)
>
=

j
< a
(k)
|b
(j)
>
jl
= < a
(k)
|b
(l)
>;
resumindo este importante resultado
< a
(k)
|U|a
(l)
>=< a
(k)
|b
(l)
> , (1.5.6)
que mostra ser os elementos de matriz do operador U construdo em funo
do produto interno do antigo bra com o novo ket. Pode-se agora denir a
matriz de transformao.
Denio 1.5.3. A matriz de transformao a matriz cujos elementos so
< a
(k)
|U|a
(l)
>,
e faz a transformao da antiga base
_
|a
(l)
>
_
para a nova base
_
|b
(l)
>
_
.
Considera-se agora duas possveis transformaes:
| > =

l
|a
(l)
>< a
(l)
| >;
| > =

l
|b
(l)
>
e pergunta-se: como esto relacionados os coecientes na expanso do ket
| > nas duas bases? Para responder esta questo considera-se o produto
=
 =

l
< a
(l)
| >
=

l
_
< a
(l)
|b
(k)
>
_
< a
(l)
| >
=

l
_
< a
(l)
|U|a
(k)
>
_
< a
(l)
| >
=

l
< a
(k)
|U
|a
(l)
>< a
(l)
| > .
Recordando que
|
>= X
l
|a
(l)
>< a
(l)
| >
e que
< a
(k)
|
>=

< a
(k)
l
|X|a
(l)
>< a
(l)
| >
so os elementos de matriz do ket coluna | >; a equao anterior relaciona
os elementos de matriz do ket | > na nova base com os seus elementos na
antiga base, via matriz transformao U na forma de uma equao matricial.
Escrita na forma matricial, esta equao torna-se
|
>= U
| >, (1.5.7)
com |
> o ket na nova base

_
|b
(l)
>
_
e | > na antiga base
_
|a
(l)
>
_
.
A transformao ou mudana de representao de um operador X feita
da seguinte forma
 = 
= < a
(m)
|X|
n
|a
(n)
>< a
(n)
|b
(l)
>
=

mn
< a
(m)
|X|a
(n)
>< a
(n)
|b
(l)
>
=

mn
< a
(k)
|U
|a
(m)
>< a
(m)
|X|a
(n)
>< a
(n)
|U|a
(l)
> .
Como na transformao do ket | >da antiga para a nova base, esta expresso
tambm esta escrita em termos dos elementos das matrizes U e X, na forma
de uma equao matricial tem-se que
X = U
XU. (1.5.8)
Este resultado denominado de transformao de similaridade. Observa-
se que esta expresso exatamente
8
a expresso de transformao de um
tensor de segunda ordem, por exemplo numa transformao de Lorentz
T
= T
= (
)
T
T
,
que na forma matricial escrita como
T
=
T
T.
Duas quantidades importantes: o trao e o determinante de um operador
so invariantes por transformaes unitrias. Tambm outras propriedades
podem ser facilmente demonstradas.
O traos de um operador X denido como a soma dos elementos da
diagonal:
Tr X
l
< a
(l)
|X|a
(l)
> (1.5.9)
entretanto o trao poderia ter sido denido com relao nova base, mas
isto no necessrio porque utilizando a matriz unitria de transformao U
8
a menos de que a matriz de rotao ortogonal e no unitria
tem-se que
Tr X =

l
< a
(l)
|I|X|I|a
(l)
>
=

l
< a
(l)
|
m
|b
(m)
>
=

lmn
< a
(l)
|b
(m)
>
=

lmn
< a
(l)
|b
(m)
>
=

mn
< a
(l)
|b
(m)
>
=

mn

=

mn
mn

=

n
,
em resumo, demonstrou-se que a operao de tomar o trao independente
da representao:
Tr X =

l
< a
(l)
|X|a
(l)
>=

n
 .
Algumas outras propriedades so imediatas:
Tr(XY ) =

a
< a
|XY |a
>=

a
l
< a
|X|a
(l)
>< a
(l)
|Y |a
>
=

a
l
< a
(l)
|Y |a
>< a
|X|a
(l)
>
=

l
< a
(l)
|Y ||
>< a
|X|a
(l)
>
=

l
< a
(l)
|Y |X|a
(l)
>
= Tr(Y X);
Tr(U
XU) = Tr(Y U), U
X Y
= Tr(UY ) = Tr(UU
X)
= Tr(X),
utilizando o resultado anterior e que U
= U um operador unitrio. Outras

propriedades so:
Tr(|a
> < a
|) =

l
< a
(l)
|a
>< a
|a
(l)
>
Tr(|a
>< a
|) =

l
< a
(l)
|a
>< a
|a
(l)
>
=

l
a
l
a

a
l
a
=
a
a
;
TrI =

a
< a
|I|a
>=

a
< a
n
|a
(n)
>< a
(n)
|a
>
=

a
a
(n)
a
a
(n)
=

n
a
(n)
a
(n) = N, onde N a dimenso da base.
Tr(|b
>< a
|) =

a
< a
|b
>< a
|a
>
=

a
< a
|a
>< a
|b
>
= < a
|b
> .
Diagonalizao. Considere uma base ortonormal completa {|a
>} de au-
toestados (eigenkets) do operador hermitiano A, ento
A|a
> = a
|a
>
< a
|a
> =
A|a
> = a
|a
>,
< a
|a
> =
a
a
,
|a
>< a
| = I.
Certamente nesta base o operador A diagonal, esta base chamada de
representao do operador A. Em geral, nesta base, um operador hermitiano
B incompatvel com o operador A, portanto [A, B] = 0, no possui a forma
diagonal. Entretanto, sendo o operador B hermitiano podemos nos valer do
teorema
Teorema 1.5.4. Toda matriz hermitiano pode ser diagonalizada por uma
transformao unitria.
para diagonalizar o operador B. Ento este problema o de encontrar
uma base |b
> que seja uma representao do operador B :

B|b
>= b
|b
>,
e os autovalores b
do operador B.
Este problema pode ser resolvido com a ajuda do operador unitrio
U =

k
|b
(k)
>< a
(k)
|,
e com a representao do operador B na base antiga. Para isto considere
BI|b
(l)
> = b
(l)
I|b
(l)
>=
B
|a
>< a
|b
(l)
> = b
(l)
|a
>< a
|b
(l)
>=
< a
|B|a
>< a
|b
(l)
> = b
(l)
< a
|a
>< a
|b
(l)
>=
< a
|B|a
>< a
|b
(l)
> = b
(l)
< a
|b
(l)
> .
Explicitamente pode-se escrever
< a
|B|a
1
>< a
1
|b
(l)
> + < a
|B|a
2
>< a
2
|b
(l)
> +
+ < a
|B|a
N
>< a
N
|b
(l)
> = b
(l)
< a
|b
(l)
>
Esta expresso fornece um elemento < a
|b
(l)
> de uma matriz coluna,
para os diversos valores de a
e um dado l a expresso anterior na forma

matricial
_
_
_
_
_
_
B
11
B
12
B
1N
B
21
B
22
B
2N
.
.
.
.
.
.
.
.
.
.
.
.
B
N1
B
N2
B
NN
_
_
_
_
_
_
_
_
_
_
_
_
< a
1
|b
1
>
< a
2
|b
1
>
.
.
.
< a
N
|b
1
>
_
_
_
_
_
_
= b
1
_
_
_
_
_
_
< a
1
|b
1
>
< a
2
|b
1
>
.
.
.
< a
N
|b
1
>
_
_
_
_
_
_
. (1.5.10)
Note que esta a equao para um nico autoestado |b
> e autovalor b
.
Para os N b
e N autoestado |b
> com a notao

B
ij
= < a
i
|B|a
j
>
C
(l)
k
= < a
(k)
|b
(l)
>
a equao anterior pode ser reescrita da forma
_
_
_
_
_
_
B
11
B
12
B
1N
B
21
B
22
B
2N
.
.
.
.
.
.
.
.
.
.
.
.
B
N1
B
N2
B
NN
_
_
_
_
_
_
_
_
_
_
_
_
_
C
(l)
1
C
(l)
2
.
.
.
C
(l)
N
_
_
_
_
_
_
_
= b
(l)
_
_
_
_
_
_
_
C
(l)
1
C
(l)
2
.
.
.
C
(l)
N
_
_
_
_
_
_
_
, (1.5.11)
ou na forma matricial
B|b
>= b
|b
>=(B b
I) |b
>= 0.
Esta equao possui soluo no trivial somente se
det(B I) = 0.
Esta uma equao algbrica de Ngrau para os
s, suas razes fornecem

os valores dos b
(l)
. Uma vez tendo encontrado os b
(l)
podemos substituir seu
valor na equao de autovalores para determinar os autovetores |b
> .
Uma observao interessante que os coecientes C
(l)
k
so os elementos de
matriz da matriz de transformao ou operador unitrio U:
C
(l)
k
=< a
(k)
|b
(l)
>=< a
(k)
|U|a
(l)
> (1.5.12)
Observveis Similares
Teorema 1.5.5. Considere duas bases ortonormais {|a
>} e {|b
>} relaci-
onadas pelo operador unitrio U. Conhecido U pode-se construir uma trans-
formao unitria do operador A ou seja a transformao UAU
1
, ento A
e UAU
1
so chamados de observveis similares.
Considere a equao para os autovalores do operador A :
A|a
>= a
|a
>,
portanto
UA|a
> = a
U|a
>UAU
1
U|a
>= a
U|a
>=
UAU
1
[U|a
>] = a
[U|a
>] ,
porm, sendo
U =

k
|b
(k)
>< a
(k)
| e U|a
(k)
>= |b
(k)
>
segue que
UAU
1
|b
(k)
>= a
(k)
|b
(k)
> .
Comparando esta equao com quela para o espectro do operador A na
sua representao, encontra-se os mesmos autovalores. Isto signica que A e
UAU
1
devem ser iguais.
O operador B na sua representao satisfaz a equao de autovalores
B|b
(k)
>= b
(k)
|b
(k)
>
que comparada a equao anterior mostram que os operadores UAU
1
e B
comutam:
[UAU
1
, B] = 0,
portanto so operadores compatveis.
Exemplo 1.5.6. Diagonalizao de uma matriz. Considere a matriz
H =
_
3
3
_
; H
=
_
3
3
_
= H, ou seja H hermitiana.
A equao caracterstica para a matriz H
det |H I| =
3
3
= 0 =(3 )
2
1 = 0.
As razes so
8 6 +
2
= 0 = =
6
36 32
2
=
_
_
_
1
= 4,
2
= 2.
Os correspondentes autovetores so determinados como:
Raiz
1
= 4. Utiliza-se a equao
B|b
>= b
|b
>,
com b
=
1
= 4, H = B, o ket |b
>representado por uma matriz

coluna 1 2 :
_
3
3
__
b
(1)
1
b
(1)
2
_
= 4
_
b
(1)
1
b
(1)
2
_
=
_
3b
(1)
1
+b
(1)
2
b
(1)
1
+ 3b
(1)
2
_
=
_
4b
(1)
1
4b
(1)
2
_
=
_
_
_
3b
(1)
1
+b
(1)
2
= 4b
(1)
1
,
b
(1)
1
+ 3b
(1)
2
= 4b
(1)
2
.
A soluo deste sistema b
(1)
1
= b
(1)
2
. Substituindo no ket |b
>obtm-se
que
|b
(1)
>=
_
b
(1)
2
b
(1)
2
_
= b
(1)
2
_

1
_
,
que normalizado xa o valor de b
(1)
1
:
= 1 b
(1)
2
_
1
_
b
(1)
2
_

1
_
= 1 =b
(1)
2
=
1
2
.
O ket |b
> normalizado
|b
(1)
>=
1
2
_

1
_
Raiz
2
= 2. Utiliza-se a equao
B|b
>= b
|b
>,
com b
=
2
= 2, H = B, o ket |b
>representado por uma matriz

coluna 1 2 :
_
3
3
__
b
(2)
1
b
(2)
2
_
= 4
_
b
(2)
1
b
(2)
2
_
=
_
3b
(2)
1
+b
(2)
2
b
(2)
1
+ 3b
(2)
2
_
=
_
4b
(2)
1
4b
(2)
2
_
=
_
_
_
3b
(2)
1
+b
(2)
2
= 4b
(2)
1
,
b
(2)
1
+ 3b
(2)
2
= 4b
(2)
2
.
A soluo deste sistema b
(2)
1
= b
(2)
2
. Substituindo no ket |b
>obtm-
se que
|b
(2)
>=
_
b
(2)
2
b
(2)
2
_
= b
(2)
2
_

1
_
,
que normalizado xa o valor de b
(2)
1
:
= 1 b
(12)
2
_
1
_
b
(2)
2
_

1
_
= 1 =b
(2)
2
=
1
2
.
O ket |b
> normalizado
|b
(2)
>=
1
2
_

1
_
Resumindo encontrou-se que para
_
_
= 2 |b
(2)
>=
1
2
_
_

1
_
_
,
= 4 |b
(1)
>=
1
2
_
_

1
_
_
.
Sendo os coecientes C
(l)
k
=< a
(k)
|b
(l)
>=< a
(k)
|U|a
(l)
>, equao 1.5.12
pode-se utilizar os vetores |b
(1)
> e |b
(2)
> para construir-se o operador
unitrio U tambm chamado de matriz transformao U:
U =
1
2
_

1 1
_
Pode ser vericado imediatamente que
U
=
1
2
_
1
1
_
; UU
=
1
2
_
1
1
__

1 1
_
=
1
2
_
2 0
0 2
_
= I,
e que e os novos kets?
Problema 1.5.7. Encontre os autovalores e autovetores da matrizes de Pauli
x
=
_
0 1
1 0
_
,
y
=
_
0 i
i 0
_
.
Exemplo 1.5.8. Seja A = S
z
, B = S
x
e
{|a
>} = {|+ >, | >},

{|b
>} = {|S
x
+ >, |S
x
>}.
Encontre a matriz unitria de transformao U.
Utilizando as expresses, j obtidas anteriormente, da expanso dos au-
toestados |S
x
+ > e |S
x
> nos autoestados do operador S
z
:
|S
x
+ > =
1
2
(|+ > +| >) ,
|S
x
+ > =
1
2
(|+ > | >) .
pode se construir o operador U utilizando-se explicitamente a denio 1.5.2
U =

k
|b
(k)
>< a
(k)
|.
Tem-se que
U =

k
|b
(k)
>< a
(k)
|
= |S
x
+ >< +| +|S
x
>< |
=
1
2
(|+ > +| >) < +| +
~
2
(|+ > | >) < |
=
1
2
(|+ >< +| +| >< +| +|+ >< | | >< |) .
Utilizando a representao matricial, tem-se que
|+ > =
_
1
0
_
; | >=
_
0
1
_
,
|S
x
+ > =
1
2
_
1
1
_
, |S
x
+ >=
1
2
_
1
1
_
,
e o operador U ter a forma
U =
1
2
__
1 0
0 0
_
+
_
0 0
1 0
_
+
_
0 1
0 0
_
_
0 0
0 1
__
=
1
2
_
1 1
1 1
_
.
Sabendo que
S
x
=

a
|a
>< a
| =
~
2
(|S
x
+ >< S
x
+| |S
x
+ >< S
x
+|)
=
~
2
(|+ >< | +| >< +|)

=
_
0 1
1 0
_
,
obtm-se que
US
x
U
1
=
~
4
_
1 1
1 1
__
0 1
1 0
__
1 1
1 1
_
=
~
4
_
1 1
1 1
__
1 1
1 1
_
=
=
~
4
_
2 0
0 2
_
~
2
_
1 0
0 1
_
= S
z
.
1.6. COORDENADAS, MOMENTO E TRANSLAO 79
1.6 Coordenadas, Momento e Translao
Os observveis, autovetores e autoestados considerados at agora possuam
espectro discreto e nito, e portanto os vetores bases tambm de nmero
nito. Em resumo, foram discutidos observveis com autovalores discreto
num espao de Hilbert H de dimenso nita.
Espectro contnuo
Vamos iniciar a discusso de observveis com espectro contnuo, por exemplo
a posio e momento so observveis sujo espectro assumo valores no intervalo
(, ). Neste caso a dimensionalidade do espao de Hilbert innita.
Quase todos os resultado anteriores podem ser imediatamente generalizados:
A|a
>=
|a
> |
>=
> .
< a
|A = a
< a
| <
| =
<
|,
=
< a
|a
>=
a
a
<
>= (
).
|a
>< a
| = I
><
| = I.
| >=

a
|a
>< a
| > | >=
><
| > .
| < a
| > |
2
= 1
| <
| > |
2
= 1.
< | >=

a
< |a
>< a
| > < | >=
< |
><
| >
< a
|A|a
>= a
a
<
||
>=
).
Nas expresses anteriores a distribuio (
) denominada de funo
delta de Dirac. Existem vrias representaes e propriedades desta distribui-
o que podem ser encontradas nas referncias [7]e [8].
Autovetores de posio e medidas de posio
Os autoestados das coordenadas e o ket coordenada sero representados como
x
, |x
>,
e a equao de autovalores como
x|x
>= x
|x
> . (1.6.1)
Note que x um observvel, portanto x
= x hermitiano. A base das

coordenadas completa e ortonormal
{|x
>}, < x
|x
>= (x
),
dx
|x
>< x
= I.| (1.6.2)
Sendo a base completa um ket genrico | > representando o estado do
sistema pode ser expandido nesta base, resultando em
| >= I| >=
dx
|x
>< x
| > . (1.6.3)
Comparando com a expresso para a expanso do ket | >numa base discreta
| >= I| >=

a
|a
>< a
| >=

a
c
a
|a
>,
estende-se a denio dos coecientes c
a
da base discreta para coecientes
(x
) para a base contnua. Entretanto este coeciente a funo de onda

do sistema que aparece como resultado da expanso do ket na base das
coordenadas;
| >= I| >=
dx
|x
>< x
| >=
dx
(x
)|x
> . (1.6.4)
Mais especicamente
x | = C(x)
(x).
Escrevendo o | , equao 1.6.4na representao das coordenadas, obtm-
se que
x| > = x| I| >=
dx
x| x
>< x
| >=
dx
(x
) x| x
>
=
dx
(x
)(x x
)
=
(x).
Considerando que o ket | foi normalizado,
| = 1 =
|
dx |x x| | =
dx
(x)
(x)
=
dx |
(x)|
2
= 1.
A integrao estende-se a todo volume do espao em considerao ou seja o
volume do espao fsico onde o problema est sendo descrito: uma, duas ou
trs dimenses. Tem-s portanto desta expresso que o integrando representa
9
|
(x)|
2
representa a dendidade de probabilidade de posio,
sendo portanto
|
(x)|
2
dx
a probabilidade de encontrar a partcula entre
x
2
e
x
2
. Esta armao
pode ser demonstrada considerando-se uma medida da posio da partcula
(pacote de onda) por um detector, o qual localiza a partcula em um intervalo
ao redor do ponto x: (x
x
2
, x+
x
2
) . Quando o detector registra a partcula
nesta regio o estado do sistema muda como
| =
dx |x x| |
x+
x
2
x
x
2
dx|x >< x| >,
e desta expresso obtm-se que a probabilidade para o acontecimento desta
medida
|x | |
2
x.
Estes resultados podem ser estendidos trs dimenses. Em mecnica no
relativstica a base {|x} considerada completa.
10
Estendendo a 3 d :
| =
dx|x x| >=
dx
(x)
|x = |x, y, z ,
e
x |x
= x
|x
, y |x
= y
|x
, z |x
= z
|x
.
Certamente deve-se ter
[x
i
, x
j
] = 0. (1.6.5)
9
De fato esta a interpretao de Born da mecnica quntica que juntamente com o
princpio da correspondncia e o conceito de medida em mecnica quntica denominada
de interpretao de Copenhague da Mecnica Quntica.
10
Na mecnica relativstica necessrio introduzir a coordenada x
0
= ct
Translao
Seja |x um estado bem localizado ao redor do ponto x
11
e T (x
) um
operador que translada o estado |x localizado ao redor de x para o ponto
x + x
, com x
um nmero. Considera-se x
innitesimal para se
calcular o gerador innitesimal de translao, veja o apndice B.1. A equao
a seguir dene o operador de translao
T (x
) |x
= |x
+x
. (1.6.6)
Note que
x|x
= x
|x
xT (x
) |x
= (x +x
) |x
+x
,
j que |x
autoestado do operador x para qualquer argumento do ket. Note

tambm que |x
no autoestado de T (x
).
Considere a atuao do operador de translao em um ket genrico |.
De fato, para que T atue no ket | necessrio escreve-lo na representao
das coordenadas, dada a denio do operador translao, isto imediato:
T (x
) | = T (x
dx
|x
| |
=
dx
|x
+x
|
=
dx
|x
| ,
aps a mudana de variveis x
+x
= y e integrando sobre todo o volume.

Propriedades requeridas para o operador de translaoB.1.
Unitariedade decorre da conservao da probabilidade:
| = 1 =
= | T

(x
)T (x
) | = 1, (1.6.7)
portanto necessrio que
T

(x
)T (x
) = I. (1.6.8)
Como j armado anteriormente, a norma no espao de Hilbert pre-
servada por transformaes unitrias.
11
Localizado ao redor de x signica que existe uma vizinhana do ponto x de raio
x
.Lembrem-se que vizinhana uma bola de raio |x
| < .
Transformaes sucessivas com diferentes argumentos x
genricos po-
dem ser representadas como uma nica transformao
T (x
)T (y
) = T (x
+y
). (1.6.9)
Transformao inversa. Suponha que um ket seja transladado do ponto
x
para o ponto x
+x
. possvel translad-lo novamente posio

inicial x
com uma nova translao

T (x
),
porm a condio de que operaes sucessivas sejam composies de
uma nica transformao
12
obtm-se que
13
T (x
)T (x
) = T (0) = I,
portanto
T (x
) = T

(x
) = T (x
)
1
(1.6.10)
Translaes conexas identidade. Ser considerado translaes conexas
identidade porque isto simplesmente signica que esta sendo conside-
rados os geradores innitesimais de translaes com relao a origem
do espao dos parmetros.
lim
x
0
T (x
) = I. (1.6.11)
Denio. Isto de fato no uma denio, mas sim uma conseqncia
da denio de geradores innitesimais da lgebra de Lie de um dado
grupo de Lie.
T (x
) = I K x
. (1.6.12)
O operador de translao denido pela equao 1.6.12 satisfaz a todas as
equaes anteriores.
Demonstrao. Unitariedade:
T

(x
)T (x
) =
_
I +K
_
(I K x
)
= I K x
+K
+O(x
2
)
= I +
_
K
K
_
x
+O(x
2
)
I,
12
Na linguagem de grupos, esta condio necessria para se construir uma represen-
tao do grupo.
13
Em grupos de Lie ou grupos que dependem analiticamente de um parmetro contnuo,
o elemento identidade do grupo denido na origem do espao dos parmetros.
se
K
K = 0,
portanto K
=K , um operador hermitiano.
Composio de translao:
T (x
)T (y
) = (I K x
) (I K y
)
= I K x
K y
+O(x
)
= I K (x
+y
) +O(x
)
I K (C)
= T (x
+y
).
Transformao Inversa:
T (x
)T (x
) = (I K x
) (I +K x
)
= I K x
+K x
+O(x
2
)
I,
portanto
T (x
)T (x
) = I =T (x
) = T (x
)
1
Conexo identidade:
lim
x
0
T (x
) = lim
x
0
I K x
= I.
Comutao entre o operador de translao e o operador coorde-
nada.
Considere a seguinte operao
xT (x
) |x
= x|x
+x
= (x
+x
) |x
+x
,
T (x
)x|x
= x
T (x
) |x
= x
|x
+x
.
Claramente, estas operaes no comutam. Expandindo o ket transladado
em srie de Taylor e mantendo-se somente termos lineares no incremento,
obtm-se que
xT (x
) |x
(x +x
) (|x
+x
|x
) ,
T (x
)x|x
(|x
+x
|x
) ,
1.7. AFUNODE ONDANOESPAODAS COORDENADAS E MOMENTOS.85
que subritraidas e desprezando-se termos quadrticos em x
resultam em
[x, T (x
)] |x
|x
,
sendo a base arbitrria, obtm-se que
[x, T (x
)] x
I.
Esta expresso pode ser reescrita com o uso da equao 1.6.12 como
[x, T (x
)] = x(I K x
) (I K x
) x
= x x xK x
K x
x +O(x
2
)
xK x
+K x
x
= x
I.
Esta equao pode ser escrita em termos de suas componentes
_
K
j
x
j
_
x
l
x
l
_
K
j
x
j
_
= x
l
que dividida por x
i
e no limite x
0 obtm-se que
K
i
x
l
x
l
K
i
=
il
. (1.6.13)
H pelo menos duas maneiras de se encontrar a forma do operador K
i
, a
primeira realizando a lgebra dos comutadores da equao. Isto pode ser
feito simplesmente escolhendo para o operador K
i
a forma
K
i
=

x
i
e vericando diretamente que a relao de comutao 1.6.13 satisfeita. A
outra forma discutida no apndice C.
As relaes de comutao cannicas
Fazer um resumo clssico
Fazer o correspondente quntico
1.7 A funo de Onda no Espao das Coor-
denadas e Momentos.
Nesta seo toda a generalidade da notao de Dirac poder ser apreciada. A
facilidade com que pode-se escolher uma representao para escrever os veto-
res de estado ou fazer uma transformao de uma representao para outra
car evidente. Inicialmente discutir-se as representaes das coordenadas
e momentos.
A funo de onda no espao das coordenadas
Por simplicidade, mas sem perda de generalidade, considera-se a base unidi-
mensional. Como antes completa e ortonormal;
{|x
}, x |x
= x
|x
, x
| x
= (x
),
dx
|x
| = I.
Um ket genrico |associado a um estado fsico (sistema) pode ser expan-
dido na representao das coordenadas simplesmente utilizando o operador
identidade nesta base
| =
dx
|x
| | ,
como antes, os coecientes na expanso do ket nesta base representa uma
amplitude de probabilidade
x
| = amplitude de probabilidade,
e
|x
| |
2
dx
= |
(x
)|
2
dx
representa a probabilidade de se encontrar o sistema na posio de largura

x
x x
.
O produto interno
|
representa amplitude de probabilidade de que o estado |seja encontrado na
direo do estado | .Na representao das coordenadas esta expresso tem
a forma
| = |
dx
|x
| |
=
dx
(x
(x
).
Este produto interno representa um overlaping das funes de ondas
, representando o quanto h de interferncia ou correlaes qunticas. Veja

a gura 1.7.
Um ket genrico |pode ser expandido na base contnua como
| =
dx
|x
| | ,
In[12]:= PlotA9
-x^2
,
-Hx-2L^2
=, 8x, -3, 5<E
Out[12]=
-2 2 4
0.2
0.4
0.6
0.8
1.0
Figura 1.7.1: Produto interno |
no entanto teme-se a completeza de base discreta

a
|a
| = I, que utili-
zada na expresso anterior fornece
| =
dx
|x
| |
=
dx
|a
| |x
(x
)
=

a
dx
a
(x
(x
) |a
,
com
u
a
(x
) = a
| x
.
A expresso anterior na representao das coordenadas torna-se
x | =

a
dx
a
(x
(x
) < x |a
=

a
dx
a
(x
)u
a
(x)
(x
)
=
dx
a
(x
)u
a
(x)
a
(x
).
Entretanto o lado esquerdo do sinal de igualdade a funo de onda na
representao das coordenas, portanto
(x) =
dx
a
(x
)u
a
(x)
_
(x
),
para que a igualdade seja satisfeita necessrio que
a
(x
)u
a
(x) = (x x
),
j que
(x) =
dx
(x x
(x
) =
(x).
Obteve-se dois resultados muito importantes e de forma simples:
u
a
(x
) = x
| a
(1.7.1)
que a expresso para a base discreta na representao das coordenadas e
a
(x
)u
a
(x) = (x x
) (1.7.2)
que a expresso para a completeza da base discreta tambm na repre-
sentao das coordenadas. Note que interessante, uma soma nos ndices
discretos fornece a ortogonalidade nos ndices contnuos. No menos interes-
sante, considere inicialmente a a relao de ortogonalidade da base discreta
na representao das coordenadas
a
| a
=
a
a
=
a
| a
= a
dx |x x| |a
=
a
dxu
a
(x)u
a
(x) =
a
a
.
Organizando

dxu
a
(x)u
a
(x) =
a
signicando que uma soma nos ndices contnuos ou seja uma integral nos
ndices contnuos (completeza) fornece a ortogonalidade nos ndices discretos.
Ainda da expanso do ket genrico na base das coordenadas pode-se obter
o seguinte resultado
< x
| = x
|a
| >=

a
c
a
u
a
(x
),
entretanto o lado esquerdo do sinal de igualdade a funo de onda
(x
) =

a
c
a
u
a
(x
)
que a expresso para a expanso da funo de onda na base u
a
(x
) cu-
jos coecientes neste expanso so c
a
C. Este resultado exatamente a
equao 1.4.4 na representao das coordenadas.
O valor esperado de um operador A entre kets genricos na representao
das coordenadas
| A| = |
dx
|x
| A
dx
|x
| |
=
dx
dx
(x
) x
| A|x
(x
).
No caso particular, como exemplo, suponha que A = x
2
, ento x
| A|x
=
x
2
x
| |x
= x
2
(x
)e tem-se que
| x
2
| =
dx
(x
)x
2
(x
),
que a familiar expresso para o valor esperado do operador x
2
na repre-
sentao das coordenadas. Para um operador genrico f(x) que admitida
expanso em srie obtm-se que
| f(x)| > =
dx
(x
)f(x
(x
operador

funo
O Momento na representao das coordenadas.
Para encontrar-se a forma do momento na representao das coordenadas,
pode-se utilizar o operador translao:
T (x
) | =
_
I
x
p
x
~
_
| .
Como o operador de translao denido em termos de atuao nos vetores
da base, necessrio introduzir a representao das coordenadas na expresso
anterior, ou seja
T (x
) | = T (x
dx
|x
| |
=
dx
T (x
) |x
(x
)
=
dx
|x
+x
(x
)
=
dx
|x
(x
),
aps uma mudana de varivel y = x
+ x
e integrando sobre todo o

volume do espao em considerao. Sendo o lado esquerdo o resultado de
uma expanso com termos lineares em x
a igualdade ser satisfeita para

termos de mesma ordem, portanto expandindo a funo de onda
(x
(x) x
(x)
x
=0
e substituindo na expresso para anterior, obtm-se que
_
I
x
p
x
~
_
| =
dx
|x
(x
) x
(x
)
x
=0
+O(x
2
)
_
I |
dx
|x
(x
)
x
=0
=
x
|
x
p
x
~
| =
dx
| |x
(x
)
x
=0
= x
(x
)
x
=0
=
x
| x
p
x
| = ~x
(x
)
x
=0
=
x| p
x
| = i~

x
x |
que a to procurada equao. Esta equao to impressionante que
merece uma moldura
x| p
x
| = i~

x
x | (1.7.3)
que pode ser reescrita como
p
x
| >= ~
dx
|x
>

x
| (1.7.4)
Destas duas expresses obtm-se duas outra importantes relaes. A pri-
meira, utilizando a equao 1.7.3 com | = |x
, fornece
x| p
x
|x
= i~

x
x | x
= i~

x
(x x
),
e a segunda, calculando o produto interno da equao 1.7.4 com um bra
genrico | :
| p
x
| > = ~
dx
< |x
>

x
|
=
dx
(x
)
_
~

x
(x
).
Como alguns exemplos considere os clculos do valor esperado do operador
momento em uma dimenso.
Exemplo 1.7.1. Clculo do valor esperado de p
2
x
.
x| p
2
x
| = x| p
x
dx
|x
| p
x
dx
|x
| >
=
dx
dx
x| p
x
|x
| p
x
|x
|
=
dx
dx
_
i~

x
(x x
)
__
i~

x
(x
)
_
x
|
= (~)
2
dx
_
i~

x
(x x
)
__
i~

x
_
x
|
=
_
i~

x
_
2
x | .
O clculo do valor esperado do operador momento entre dois estado genricos
| p
2
x
| pode ser conduzido de maneira anloga. Para uma dada potencia n
do operador momento, nestes dois casos, o resultado pode ser imediatamente
inferido dos clculos anteriores:
x| p
n
x
| =
_
i~

x
_
n
x | (1.7.5)
e
| p
n
x
| =
dx
(x
)
_
~

x
_
n
(x
) (1.7.6)
A funo de onda no espao dos momentos
A base ortonormal completa no espao dos momento.
{|p
} , (p p
) = p | p
dp |p p| = I.
Um ket genrico |associado a um estado fsico (sistema) pode ser expan-
dido na representao das coordenadas simplesmente utilizando o operador
identidade nesta base
| =
dp
|p
| | ,
como antes, os coecientes na expanso do ket nesta base representa uma
amplitude de probabilidade
p
| = funo de onda no espao dos momentos,

tambm representada como
p
| =
(p
) . (1.7.7)
Nesta representao a interpretao
|p
| |
2
dp
= |
(p
)|
2
dp
representa a probabilidade de que uma medida de p fornea o valor p
entre
p
.
O produto interno
|
representa amplitude de probabilidade de que o estado |seja encontrado na
direo do estado | .Na representao dos momentos esta expresso tem a
forma
| = |
dp
|p
| |
=
dp
(p
(p
).
Este produto interno representa um overlaping das funes de ondas
, representando o quanto h de interferncia ou correlaes qunticas.

A normalizao na representao dos momento escrita como
| = 1 =
| = |
dp |p p| |
=
dp
(p)
(p)
=
dp |
(p)|
2
= 1
Mudana de base ou representao.
Todas expresses ou teoria desenvolvida na representao das coordenadas
pode igualmente bem ser apresentada na representao dos momentos. A
passagem de uma base a outra ou representao a outra feita pela matriz
unitria U discutida na seo 1.5. Nesta seo ser considerado este problema
ou seja como transformar as equao da representao das coordenadas {|x}
para a representao dos momentos {|p}.
A denio do operador unitrio U para uma base discreta
U =

k
b
(k)
_ _
a
(k)
representando uma mudana da base {|a} para a base {|b}, e os elementos

de matriz deste operador na base {|a}, como j demonstrado anteriormente
_
a
i
a
j
_
=
_
a
i
b
j
> .
Neste caso em que as base so contnua o operador U e seu elemento de
matriz na representao das coordenadas so
U =
dx |p
x
x| (1.7.8)
e os seus elementos de matriz na representao das coordenadas so
x| U |x
= x|
dy |p
y
y| |x
dy x| p
y
> (y x
)
= x| p
x
> .
(1.7.9)
Esta expresso deveras interessante, ela fornece a expresso para os elemen-
tos de matriz do operador U na representao das coordenadas (base antiga)
como o produto interno de um bra da antiga base com um ket da nova base.
O mais interessante que estes elementos de matriz podem ser determinado
resolvendo-se a equao diferencial 1.7.3 com o ket genrico | = |p
x| p |p
= i~

x
x | p
=
p
x | p
= i~

x
x | p
que pode ser integrada imediatamente fornecendo

x | p
= Ne
~
x
.
A constante de integrao N pode ser determinada utilizando a completeza
da base
=
x
| x
> = (x
) =
x
dp
|p
| x
> = (x
) =
dp
Ne
~
x
~
x
= (x
) =
|N|
2
dp
~
(x
)
= (x
).
Entretanto a expresso integrada uma das possveis representao da funo
delta de Dirac
(x
) =
1
2
dke
k(x
)
=
1
2~
dpe
p
~
(x
)
. (1.7.10)
Substituindo na equao anterior encontra-se que a constante N vale
N =
1
2~
e portanto o elemento de matriz da matriz de transformao U
x| U |x
= x| p
>=
1
2~
e
~
x
. (1.7.11)
Utilizando esta equao pode-se encontrar a equao que fornece a mudana
de representao da funo de onda da base de coordenadas para momento:
(x) = x | = x|
dp
|p
| >
=
dp
x| p
>
(p
)
=
dp
2~
e
~
x
(p
)
=
1
2~
dp
~
x
(p
),
que simplesmente a expresso para a transformada de Fourier de funo
de onda
(p
) da representao dos momentos para a representao das

[crqurc dc mc/c c//urc

f
x
Figura 1.7.2: Pacote Gaussiano e quadrado do modulo do pacote
coordenadas. A transformao inversa
p
| =
(p
) = p
dx |x x| >
a =
dx p
| x >
(x)
=
1
2~
dxe
~
x
(x) =
(p
) =
1
2~
dxe
~
x
(x).
Pacote de onda gaussiano.
Um pacote de onda gaussiano na representao das coordenadas dado pela
funo
x | =
(x) =
1
_
d
exp
_
kx
x
2
2d
2
_
. (1.7.12)
Por simplicidade considere a funo
x | =
1
_
d
cos(kx) exp
_
x
2
2d
2
_
que a parte real da equao 1.7.12.
Na gura 1.7 apresenta-se um esboo destas curvas.
A gura representando um pacote de onda que uma superposio de on-
das planas g(x) = cos(kx) moduladas por um envelope f(x) =
1
d
exp
_
x
2
2d
2
_
.
Na outra gura est a representao esquemtica do quadrado do mdulo da
amplitude da onda, nesta gura
f(x) = |x | |
2
=
1
d
exp
_
x
2
d
2
_
,
o ponto de mximo na gura vale Max =
1
d
e a largura da meia altura
(por denio) a raiz da equao
|x0 | |
2
e
=
1
d
exp
_
x
2
d
2
_
=x = d.
Relao de incerteza da posio e momento para o pa-
cote gaussiano.
O objetivo calcular as relaes de incerteza para os operadores canonica-
mente conjugados x e p
x
. Para isto necessrio calcular o valor esperado de
x, x
2
, p
x
e p
2
x
para o pacote gaussiano na representao das coordenadas.
O valor esperado do operador posio: este clculo imediato, a
integral feita sobre todo o volume do espao e o operador posio uma
funo mpar, portanto
| x | =
dx
| x | x
| =
dx
(x
)x
(x
) = 0.
O valor esperado do quadrado do operador posio:
_
x
2

_
=
dx
x
2
_
x
|
=
dx
(x
)x
2
(x
)
=
dx
1
_
d
exp
_
kx
x
2
2d
2
_
x
2
1
_
d
exp
_
kx
x
2
2d
2
_
=
1
dx
exp
_
x
2
d
2
_
x
2
=
d
2
2
.
Na obteno desta equao utilizou-se a frmula geral para uma integral
gaussiana
dxx
m
exp
_
ax
2
_
=

_
m+1
2
_
a
(m+1)/2
. (1.7.13)
A funo denominada de funo gama e na denio de Euler [9]
(z) =
0
dte
t
t
z1
, z > 0, (1.7.14)
para alguns valores particulares vale as frmulas
z(z) = (z + 1)
(
1
2
) = 2
0
dx exp(x
2
) =
(n + 1) = n!
(1.7.15)
Uma outra forma de se fazer a integral derivando com relao ao parmetro
a, por exemplo
dx exp(ax
2
) =
_
a
=
d
da
dx exp(ax
2
) =
d
da
_
a
=
dxx
2
exp(ax
2
) =
1
2a
_
a
.
O valor esperador do operador momento p
x
p.
| p | =
dx
| p | x
|
=
dx
1
_
d
exp
_
kx
x
2
2d
2
__
~
_
1
_
d
exp
_
kx
x
2
2d
2
_
=
1
dx
exp
_
kx
x
2
2d
2
__
~
_
k
x
d
2
__
exp
_
kx
x
2
2d
2
_
=
~k
dx
exp
_
x
2
d
2
_
=
~k
d
2
= ~k.
2
x
p
2
.
_
p
2

_
=
dx
1
_
d
exp
_
kx
x
2
2d
2
__
~
_
2
1
_
d
exp
_
kx
x
2
2d
2
_
a =
~
2
dx
exp
_
kx
x
2
2d
2
_
_
_
_
k
x
d
2
_
2
1
d
2
_
_
exp
_
kx
x
2
2d
2
_
=
~
2
dx
_
k
2
2
kx
d
2
+
x
2
d
4

1
d
2
_
exp
_
x
2
d
2
_
=
~
2
d
_
k
2
d
0 +
1
d
4
d
2
2
d

1
d
2
d
_
=
~
2
d
_
k
2
d
2d
_
= (~k)
2
+
1
2
_
~
d
_
2
.
Utilizando estes resultados calcula-se o produto das disperses da posio e
momento:
< (x)
2
> = < x
2
> < x >
2
=
d
2
2
< (p)
2
> = < xp >= (~k)
2
+
1
2
_
~
d
_
2
(~k)
2
=
1
2
_
~
d
_
2
,
e o produto das disperses
< (x)
2
>< (p)
2
>=
_
~
2
_
2
(1.7.16)
Observao 1.7.2. A disperso na coordenada x :< (x)
2
>= d
2
/2 mede a
incerteza na localizao da partcula, ou seja o mximo que se pode armar
que a partcula encontra-se no intervalo d/
2. J com relao disperso

no momento, a equao < (p)
2
>= ~
2
/2d
2
mede a incerteza na preciso
com que se pode medir o momento p, a raiz do produto destas incertezas,
equao 1.7.16, uma constante independente da largura do pacote d. Esta
expresso a relao de incerteza mnima para uma partcula cuja funo de
onda um pacote gaussiano.
O pacote de ondas gaussiano na representao dos mo-
mentos.
Na representao das coordenadas, o pacote de onda gaussiano dado pela
equao 1.7.12. A funo para o pacote de onda gaussiano na representao
dos momentos pode ser obtido com a completeza da base das coordenadas e
a matriz de transformao 1.7.11, ou seja
p | = p|
dx
|x
| |
=
dx
p | x
(x
)
=
dx
2~
e
p
~
x
1
_
d
exp
_
kx
x
2
2d
2
_
=
1
2~d
1
1/4
dx
exp
_
~
(p ~k) x
x
2
2d
2
_
Para completar o quadrado, escreva
~
(p ~k) x
x
2
2d
2
=
1
2d
2
_
2d
2
~
(p ~k) x
+x
2
_
=
1
2d
2
_
_
_
_
x
+
d
2
~
(p ~k)
_
2
+
d
4
~
2
(p ~k)
2
_
_
_
A exponencial do termo
d
4
~
2
(p ~k)
2
no afetada pela integrao, j para
o termos x
+
d
2
~
(p ~k) y a integral reduz-se a uma gaussiana usual,
restando portanto que
p | =
1
2~d
d
1/4
exp
_
1
2d
2
d
4
~
2
(p ~k)
2
_
=
d
~
1/2
exp
_
d
2
2~
2
(p ~k)
2
_
em resumo
p | =
d
~
1/2
exp
_
d
2
2~
2
(p ~k)
2
_
. (1.7.17)
Esta a expresso para um pacote de onda gaussiano na representao dos
momentos. Todos os clculos anteriores para a disperso nas coordenadas
e momentos, podem tambm serem feitos neste caso (nesta representao)
como mostra-se a seguir. Anteriormente necessrio calcular o operador
coordenada na representao dos momentos.
O operador x na representao dos momentos.
Considere a equao
p
| x | p
dx
dx
| x
>< x
|x |x
| p
dx
dx
| x
> x
(x
) x
| p
dx
| x
> x
| p
=
1
2~
dx
exp
_
x
~
(p
)
_
.
Notando que
exp
_
x
~
(p
)
_
=
x
~
exp
_
x
~
(p
)
_
=
~

p
exp
_
x
~
(p
)
_
= x
exp
_
x
~
(p
)
_
e substituindo no integrando obtm-se que
p
| x | p
=
1
2~
dx
exp
_
x
~
(p
)
_
=
1
2~
dx
~

p
exp
_
x
~
(p
)
_
=

2
dx
exp
_
x
~
(p
)
_
=

2
2~(p
)
= ~

p
(p
),
com a utilizao da equao 1.7.10. Em resumo, o operador x na represen-
tao dos momento tem a forma
x = ~

p
(1.7.18)
Como anteriormente calcula-se os valores esperados < x >,< x
2
>, e :
O valor esperado do operador posio:
| x | = |
dp |p p| x
dp
|p
| |
=
dpdp
| p p | x | p
|
=
dpdp
| p ~

p
(p
p) p
|
=
dp | p ~

p
p |
=
d
~
1/2
dp exp
_
d
2
2~
2
(p ~k)
2
_
~

p
exp
_
d
2
2~
2
(p ~k)
2
_
=
d
1/2
dp exp
_
d
2
~
2
(p ~k)
2
_ _
d
2
~
2
(p ~k)
_
= 0,
j que o integrando uma funo mpar do momento, como pode ser visto
com uma simples mudana de coordenadas p ~k y.
O valor esperado do quadrado do operador posio:
_
x
2

_
= |
dp |p p| x
2
dp
|p
| |
= |
dp |p p| x
dp
|p
| x
dp
|p
| |
=
dpdp
dp
| p ~

p
(p
p)~

p
(p
) p
|
=
dp | p
_
~

p
_
2
p
|
=
d
~
1/2
dp exp
_
d
2
2~
2
(p ~k)
2
_ _
~

p
_
2
exp
_
d
2
2~
2
(p ~k)
2
_
=
~d
1/2
dp exp
_
d
2
~
2
(p ~k)
2
_
_
_
_
d
2
~
2
(p ~k)
_
2
d
2
~
2
_
_
=
~d
1/2
_
d
2
~
2
_
~
d

~d
1/2
_
d
2
~
2
_
2
_
~
2
2d
2
~
d
_
= d
2
d
2
2
=
d
2
2
.
x
p.
| p | = |
dp
|p
| p
dp
|p
| |
=
dp
dp
| p
| p | p
|
=
dp
dp
| p
(p
) p
|
=
dp
| p
|
=
d
~
1/2
dp
exp
_
d
2
~
2
(p
~k)
2
_
p
=
d
~
1/2
duexp
_
d
2
~
2
u
2
_
(u + ~k)
= 0 +
d
~
1/2
~k
~
d
= ~k.
2
x
p
2
.
| p | = |
dp
|p
| p
2
dp
|p
| |
=
d
~
1/2
dp
exp
_
d
2
~
2
(p
~k)
2
_
p
2
=
d
~
1/2
duexp
_
d
2
~
2
u
2
_
(u + ~k)
2
=
~
2
2d
2
+ ~
2
k
2
.
Uma comparao dos pacotes nas duas representaes
x | =
1
_
d
exp
_
kx
x
2
2d
2
_
e
p | =
d
~
1/2
exp
_
d
2
2~
2
(p ~k)
2
_
.
O primeiro x | representa um pacote de largura x = d centrado na origem
das coordenadas, enquanto que o segundo p | representa um pacote de
largura ~k + ~/d centrado em p = ~k.
Considere duas situaes extremas: d 0 e d ,de forma que
d 0 representa uma grande preciso na localizao da partcula uma
vez que a disperso tende a zero: < (x)
2
>= d
2
/2 0.
d representa pouca preciso na localizao da partcula uma vez
que a disperso torna-se grande: < (x)
2
>= d
2
/2 .
Nestes casos as densidades de probabilidades associadas aos pacotes comportam-
se como:
lim
d0
| x | |
2
= lim
d0
_
_
_
1
d
exp
_
x
2
d
2
_
0, x = 0,
(d)
(x), x = 0
lembre-se da denio de funo delta, veja por exemplo o apndice B do
volume 2 da referncia [8]. Sendo assim, o pacote gaussiano na representao
das coordenadas, no limite de d tendendo a zero uma distribuio centrada
na origem e representa uma partcula com coordenada x bem denida. Ao
mesmo tempo a densidade de probabilidade no espao dos momentos, nesta
condio fornece
lim
d0
| p | |
2
= lim
d0
d
~
1/2
exp
_
d
2
~
2
(p ~k)
2
_
d
~
1/2
,
portanto a probabilidade ser
lim
d0
| p | |
2
p
d
~
1/2
~
2d
=
1
2
,
que constante, portanto qualquer valor do momento igualmente provvel.
Em resumo obtm-se em termos das disperses
lim
d0
< (x)
2
>= lim
d0
d
2
/2 0
e
lim
d0
< (p)
2
>= lim
d0
~
2
2d
2
.
Num outro limite, ou seja quando d as situaes se invertem:
lim
d
| x | |
2
d
,
que constante, portanto indicando que qualquer posio igualmente pro-
vvel portanto tem-se uma grande incerteza na localizao da partcula.
J para o pacote gaussiano na representao dos momentos tem-se que
lim
d
| p | |
2
= lim
d
d
~
exp
_
d
2
~
2
(p ~k)
2
_
=
(d)
(p ~k),
1.8. GENERALIZAO PARA TRS DIMENSES. 105
que representa uma densidade de probabilidade fortemente centrada em p =
~k para os valores do momento.
Obtm-se portanto neste limite uma grande incerteza na posio, porm
uma grande preciso na medida do momento.
1.8 Generalizao para Trs Dimenses.
A generalizao dos resultados anteriores (bases e pacotes de onda) para trs
imediata. Tendo em conta que
[x
i
, x
j
] = 0, i, j = 1, 2, 3.
e que
{|x}, x| x
= (x x
),
dx|x x| = I;
{|p}, p| p
= (p p
),
dp|p p| = I,
um ket |arbitrrio pode ser escrito como
| =
dx|x x| | ,
ou na representao dos momentos
| =
dp|p p| | ,
e consequentemente as generalizaes das equaes 1.7.3 e 1.7.4 so imedia-
tas:
x| p| x
= (x x
),
e
| p| =
dx
(x
) (~
(x
).
A funo transformao e as expressoes para as transformadas de Fourier so
x
| p =
1
(2~)
3/2
exp
_
p x
~
_
(x) = x| = x|
dp|p p| |
=
dpx| p > p| >

=
1
(2~)
3/2
dpexp
_
p x
~
_
(p);
e a transformao inversa
(x) =
1
(2~)
3/2
dxexp
_
p x
~
_
(x).
Captulo 2
Dinmica Quntica
Neste captulo iniciamos com a dinmica quntica. Diferentemente do ca-
ptulo anterior onde onde foi discutido o espao de Hilbert, seus elementos,
produto interno, em geral cinemtica.
2.1 Evoluo Temporal e a Equao de Sch-
rodinger
Na mecnica quntica o tempo um parmetro e no uma varivel dinmica
portanto no um operador.
Parmetro: varivel ou constante a qual numa relao determinada ou numa
questo especca atribui-se um papel particular e distinto das outras va-
riveis ou constantes. Tambm pode-se armar que todo elemento cuja
variao de valor modica a soluo de um problema sem modicar a natu-
reza do problema.
J, na mecnica quntica relativstica o espao por ser tratado da mesma
forma que o tempo perde seu status de operador e passa a ser, como o tempo,
um parmetro.
O Operador de Evoluo Temporal
Anteriormente mostramos (com a ajuda de transformaes cannicas inni-
tesimais) que o momento o gerador de translaes innitesimais no espao.
Com o mesmo procedimento podemos mostrar que a Hamiltoniana a gera-
dora de translaes innitesimais no tempo. Sabendo-se que as translaes
temporais formam um grupo de Lie com um parmetro, pode se escrever
diretamente para o operador de evoluo temporal na forma innitesimal
107
108 CAPTULO 2. DINMICA QUNTICA
t
0
t
1
t
2
t
3
t
4 t
5
1 t t
0 1
1 t t
0 5
1 t t
0 3
Figura 2.1.1: Esboo grco do propagador
que
U(t
0
+t, t
0
) = I
Ht
~
. (2.1.1)
Note que H o operador hamiltoniano que hermitiano H
= H, de forma
que U(t, t
0
) = U
(t, t
0
). A constante ~ introduzida nesta expresso a
mesma que quela da expresso para a evoluo espacial. Esta concluso
pode ser alcanada comparando as equaes de movimento da Mecnica
Quntica com quelas da mecnica clssica. Se ~ no for o mesmo nos dois
operadores no possvel obter a equao clssica
dx
dt
=
p
m
do limite clssico da correspondente equao quntica. Ou resumindo o Te-
orema de Ehrenfest no ser vlido. Este operador de evoluo temporal
translada o estado do sistema do tempo t
0
para o tempo t:
|, t
0
; t = U(t, t
0
) |, t
0
. (2.1.2)
A ideia de um operador de evoluo temporal muito interessante j
que implicitamente nesta estrutura est a teoria de perturbaes dependente
do tempo e a ideia de propagador do sistema que nos remete integral
de trajetria de Feyman. Esta tcnica particularmente interessante em
problemas de espalhamento e criao e destruio de partculas.
2.1. EVOLUO TEMPORAL E A EQUAO DE SCHRODINGER109
A Equao de Schrodinger
Utilizando a propriedade de fechamento do grupo para a composio de duas
translaes temporais
U(t +t, t
0
) = U(t +t, t)U(t, t
0
). (2.1.3)
Substituindo para U(t +t, t
0
) a expresso innitesimal
U(t +t, t) = I
Ht
~
,
obtm-se que
U(t +t, t
0
) =
_
I
Ht
~
_
U(t, t
0
) =
U(t +t, t
0
) = U(t, t
0
)
Ht
~
U(t, t
0
) =
U(t +t, t
0
) U(t, t
0
)
t
=
H
~
U(t, t
0
),
que no limite de t 0 uma equao diferencial para o operador de
evoluo temporal:
~
U(t, t
0
)
t
= HU(t, t
0
). (2.1.4)
Esta expresso a equao de Schrodinger para o operador de evoluo
temporal. Essa fornece imediatamente a equao de Schrodinger na forma
mais conhecida, ou seja na representao das coordenadas. Isto pode ser
visto operando com a expresso anterior num ket genrico
_
~
U(t, t
0
)
t
HU(t, t
0
) = 0
_
|, t
0
=
~
U(t, t
0
)
t
|, t
0
= HU(t, t
0
) |, t
0
=
~

t
[U(t, t
0
) |, t
0
] = H [U(t, t
0
) |, t
0
] =
~

t
|, t
0
; t = H |, t
0
; t .
Para levar adiante a familiaridade basta escrever esta equao na represen-
tao das coordenadas:
~

t
x| |, t
0
; t = x| H
dx
|x
| |, t
0
; t =
~
(x, t)
t
=
dx
H(x, p)(x, x
) x
| , t
0
; t =
~
(x, t)
t
= H(x, p)(x, t).
Solues Formais da Equao de Schrodinger para o
Operador de Evoluo temporal U(t, t
0
).
1 Caso. O operador H no depende do tempo.
Neste caso a equao de Schrodinger pode ser integrada formalmente,
~
U(t, t
0
)
t
= HU(t, t
0
) =
U(t, t
0
) = U(t
0
, t
0
) exp
_
H(t t
0
)
~
_
= exp
_
H(t t
0
)
~
_
, U(t
0
, t
0
) = I;
portanto
U(t, t
0
) = exp
_
H(t t
0
)
~
_
, quando H no depende de t. (2.1.5)
Que o operador de evoluo temporal igual a identidade, pode ser visto
de pelo menos duas forma:
|, t
0
; t = U(t, t
0
) |, t
0
=
|, t
0
; t
0
= U(t
0
, t
0
) |, t
0
=
U(t
0
, t
0
) = I,
ou utilizando a sua forma innitesimal
U(t
0
+t, t
0
) = I
Ht
~
,
obtm-se imediatamente que
U(t
0
, t
0
) = I.
Para vericar que o operador de evoluo temporal na forma (2.1.5)
realmente soluo da equao de Schrodinger, basta derivar
t
U(t, t
0
) = exp
_
H(t t
0
)
~
_
_
H
~
_
=
_
H
~
_
exp
_
H(t t
0
)
~
_
, [H, f(H)] = 0,
portanto
~
U(t, t
0
)
t
= HU(t, t
0
).
Note que a soluo (2.1.5) satisfaz a equao de contorno
lim
tt
0
U(t, t
0
) U(t
0
, t
0
) = I.
2 Caso. O operador H depende do tempo, porm [H(t), H(t
)] = 0; t
= t.
Neste caso a soluo formal pode ser apresentada como
U(t, t
0
) = exp
_
t
t
0
dt
H(t
)
_
. (2.1.6)
Para vericar que esta a soluo considere a expanso da exponencial:
U(t, t
0
) =

n=0
_
~
_
n
1
n!
_
t
t
0
dt
H(t
)
_
n
= 1

~
t
t
0
dt
H(t
) +
_
~
_
2
1
2!
t
t
0
dt
H(t
t
t
0
dt
H(t
) +O(dt
3
).
a derivada temporal desta expresso
1
t
U(t, t
0
) = 0

~
H(t) +
_
~
_
2
1
2!
_
H(t)
t
t
0
dt
H(t
) +
t
t
0
dt
H(t
)H(t)
_
+O(dt
3
)
=
~
H(t)
_
1

~
t
t
0
dt
H(t
) +
_
~
_
2
3
3!
t
t
0
dt
H(t
t
t
0
dt
H(t
) +O(dt
3
)
_
=
~
H(t) exp
_
t
t
0
dt
H(t
)
_
; [H(t), H(t
)] = 0.
1
Na obteno desta expresso utilizou-se a regra de derivada de uma integral na qual
os limites so funes ou dependem de um parmetro
d
dx
(x)
(x)
f(x)dx =
(x)
(x)
d
dx
f(x)dx +
d(x)
dx
f((x))
d(x)
dx
f((x))
Note tambm que esta soluo satisfaz
lim
tt
0
U(t, t
0
) U(t
0
, t
0
) =
~
H(t) exp
_
t
0
t
0
dt
H(t
)
_
= I.
3 Caso. O operador H depende do tempo, porm [H(t), H(t
)] = 0; t
= t.
Neste caso a soluo da equao de Schrodinger pode ser obtida por iterao.
Integrando formalmente o dois lados da equao (2.1.4) obtm-se que
~
t
t
0
dt
U(t
, t
0
)
t
t
t
0
dt
H(t
)U(t
, t
0
) =
U(t, t
0
) U(t
0
, t
0
) =
t
t
0
dt
H(t
)U(t
, t
0
) =
U(t, t
0
) = I

~
t
t
0
dt
H(t
)U(t
, t
0
),
que por clareza resumimos em
U(t, t
0
) = I

~
t
t
0
dt
H(t
)U(t
, t
0
) (2.1.7)
O resultado foi a transformao de uma equao diferencial, (2.1.4), numa
equao integral (2.1.7). Nesta forma pode-se utilizar o mtodo de iterao.
A ideia proceder como no diagrama da gura (2.1.1), ou seja evolui-se o
sistema do instante t
0
at o instante t
1
utilizando-se U(t
1
, t
0
), e de t
1
at t
2
utilizando-se U(t
2
, t
1
) e assim sucessivamente. O efeito deste procedimento
na equao integral o de considerar o integrando U(t
, t
0
)
2
a prpria soluo
da equao (2.1.7) como o operador de evoluo do tempo t
0
at t
1
com o
mesmo procedimento para todos intervalos no entanto tomando-se o cuidado
2
como sero utilizado muitos intervalos, a notao com linha torna-se inadequada, por
isto a substituio por nmeros
de manter a ordem da evoluo temporal. Ou seja tem-se que
U(t, t
0
) = I

~
t
t
0
dt
H(t
)U(t
, t
0
)
= I

~
t
t
0
dt
1
H(t
1
)
_
I

~
t
1
t
0
dt
2
H(t
2
)U(t
2
, t
0
)
_
= I

~
t
t
0
dt
1
H(t
1
) +
_
~
_
2
t
t
0
dt
1
H(t
1
)
t
1
t
0
dt
2
H(t
2
)U(t
2
, t
0
)
= I

~
t
t
0
dt
1
H(t
1
) +
_
~
_
2
t
t
0
dt
1
H(t
1
)
t
1
t
0
dt
2
H(t
2
)
_
I

~
t
2
t
0
dt
3
H(t
3
) +
_
~
_
2
t
2
t
0
dt
3
H(t
3
)
t
3
t
0
dt
4
H(t
4
)U(t
4
, t
0
)
_
= I

~
t
t
0
dt
1
H(t
1
) +
_
~
_
2
t
t
0
dt
1
H(t
1
)
t
1
t
0
dt
2
H(t
2
)
+
_
~
_
3
t
t
0
dt
1
H(t
1
)
t
1
t
0
dt
2
H(t
2
)
t
2
t
0
dt
3
H(t
3
)
+
_
~
_
4
t
t
0
dt
1
H(t
1
)
t
1
t
0
dt
2
H(t
2
)
t
2
t
0
dt
3
H(t
3
)
t
3
t
0
dt
4
H(t
4
)U(t
4
, t
0
),
com
t
0
< < t
4
< t
3
< t
2
< t
1
< t.
Repetindo este procedimento at que atingir o tempo inicial t
0
quando
U(t
0
, t
0
) = I tem-se que
U(t, t
0
) = I +

n=1
_
~
_
n
t
t
0
dt
1
t
1
t
0
dt
2

t
n1
t
0
dt
n
H(t
1
)H(t
2
) H(t
n
) ,
(2.1.8)
conhecida como a srie de Dyson, expresso muito comum nas expanses
perturbativas em teorias qunticas de campos. Esta srie pode ser escrita em
uma forma mais simples na qual todas integrais possuem os mesmos limites
de integrao. Isto pode ser feito com a introduo da funo degrau ou de
Heaviside, veja apndice (F).
Considere, por simplicidade a integral dupla da srie (2.1.8) que, com
a utilizao da funo de Heaviside e uma mudana de variveis, pode ser
reescrita como
t
t
0
dt
1
H(t
1
)
t
1
t
0
dt
2
H(t
2
) =
1
2
t
t
0
dt
1
H(t
1
)
t
1
t
0
dt
2
H(t
2
)
+
1
2
t
t
0
dt
1
H(t
1
)
t
1
t
0
dt
2
H(t
2
)
=
1
2
t
t
0
dt
1
H(t
1
)
t
t
0
(t
1
t
2
)dt
2
H(t
2
)
+
1
2
t
t
0
dt
1
H(t
1
)
t
t
0
(t
1
t
2
)dt
2
H(t
2
)
=
1
2
t
t
0
dt
1
H(t
1
)
t
t
0
(t
1
t
2
)dt
2
H(t
2
)
+
1
2
t
t
0
dt
2
H(t
2
)
t
t
0
(t
2
t
1
)dt
1
H(t
1
)
=
1
2
t
t
0
dt
1
t
t
0
dt
2
[(t
1
t
2
)H(t
1
)H(t
2
) + (t
2
t
1
)H(t
2
)H(t
1
)] .
A expresso que aparece no interior do integrando exatamente a denio
do operador de ordenamento cronolgico
T [H(t
1
)H(t
2
)] = (t
1
t
2
)H(t
1
)H(t
2
) + (t
2
t
1
)H(t
2
)H(t
1
). (2.1.9)
Utilizando este operador, a expresso anterior pode ser reescrita como
t
t
0
dt
1
H(t
1
)
t
1
t
0
dt
2
H(t
2
) =
1
2
t
t
0
dt
1
t
t
0
dt
2
[(t
1
t
2
)H(t
1
)H(t
2
) + (t
2
t
1
)H(t
2
)H(t
1
)]
=
1
2
t
t
0
dt
1
t
t
0
dt
2
T [H(t
1
)H(t
2
)] .
Para um termo genrico de potencial n teremos n! possibilidades de combi-
naes para os argumentos das funes de Heaviside
t
t
0
dt
1
t
1
t
0
dt
2

t
n1
t
0
dt
n
H(t
1
)H(t
2
) H(t
n
) =
1
n!
t
t
0
dt
1
t
1
t
0
dt
2

t
n1
t
0
dt
n
T [H(t
1
) H(t
n
)] ,
portanto srie de Dyson (2.1.8) pode ser reescrita como
U(t, t
0
) = T exp
_
t
t
0
dt
H(t
)
_
(2.1.10)
que a forma mais utilizada e usual da srie.
Auto-estados de energia.
Entre as possveis representaes em teoria quntica, existe uma particular-
mente interessante para o tratamento da evoluo temporal dos vetores de
estado (em particular para sistemas conservativos). Por causa que o opera-
dor de evoluo temporal funo do hamiltoniano, razovel trabalhar na
representao da energia uma vez que para operadores hamiltonianos comu-
tativos e outros operadores que comutem com H, a representao da energia
fornecer uma base comum para todos estes operadores e os auto-estados po-
dero ser classicados ou rotulados pelos autovalores da energia. Seja ento
|aum auto-estado do operador H ou a representao de H:
H |a
= E
a
|a
,
onde E
a
um autovalor do operador H. Escrevendo o operador de evoluo
temporal nesta representao; obviamente
a | a
=
aa
,
|a
| = I,
por simplicidade considera-se o primeiro caso onde o operador dado pela
equao (2.1.5)
U(t, t
0
) = exp
_
H(t t
0
)
~
_
, t
0
= 0 U(t, 0) = exp
_
Ht
~
_
A forma desta expresso na representao da energia obtida simplesmente
utilizando-se o operador identidade
U(t, o) = IU(t, 0)I =

a
|a
| U(t, 0)
a
|a a|
=

aa
|a a
|
_
a
exp
_
Ht
~
_
a
_
=

aa
|a a
| a
a exp
_
E
a
t
~
_
=

a
|a a| exp
_
E
a
t
~
_
.
No clculo da expresso anterior
3
utilizou-se a expanso da exponencial em
srie de potencias.
Um ket genrico |, t
0
expandido na representao da energia
|, t
0
=

a
|a
| |, t
0
=

a
c
a
|a
.
se apresenta como uma combinao linear, com coecientes constantes da
base {|a
}. Em um instante de tempo qualquer t > t

0
o estado do sistema
ou o ket pode ser obtido atravs da atuao do operador de evoluo temporal
no ket inicial, como
|, t
0
; t = U(t, t
0
) |, t
0
=

a
|a a| exp
_
E
a
t
~
_
c
a
|a
=

aa
c
a
exp
_
E
a
t
~
_
|a
a | a
=

a
c
a
exp
_
E
a
t
~
_
|a .
Calculando o produto interno desta expresso com a
| obtm-se que
a| |, t
0
; t =

a
c
a
exp
_
E
a
t
~
_
< a |a
= c
a
exp
_
E
a
t
~
_
,
portanto obtendo
a| |, t
0
; t = c
a
(t) = c
a
exp
_
E
a
t
~
_
. (2.1.11)
3
Note que a operao de um operador exponencial em um vetor de estado calculado
da forma
exp
_
Ht
~
_
|a =
n=0
_
~
_
n
H
n!
n
|a
= |a +
_
~
_
H
1!
|a +
_
~
_
2
H
2!
2
|a + +
_
~
_
n
H
n!
n
|a +
= |a +
_
~
_
E
a
1!
|a +
_
~
_
2
E
a
2!
2
|a + +
_
~
_
n
E
n
n!
n
|a +
= exp
_
E
a
t
~
_
|a
Nesta expresso a dependncia temporal est nos coecientes da expanso do
ket na base da energia. Observa-se que se o estado do sistema normalizado
em t = t
0
, em um instante de tempo qualquer t > t
0
tem-se que
, t
0
; t | , t
0
; t = , t
0
| U
(t, t
0
)U(t, t
0
) |, t
0
= , t
0
| |, t
0
=

a
|c
a
|
2
portanto mantendo-se a normalizao do estado em qualquer instante de
tempo. Isto esperado j que o operador unitrio. Nota-se entretanto
que a fase relativa dos diferentes estados so diferentes porque a elas esto
associadas diferentes frequncias:
c
a
(t) = c
a
e
iE
a
t/~
;
por exemplo a fase do estado |a E
a
t/~ e a fase do estado |a
E
a
t/~,
com E
a
= E
a
, portanto a frequncia relativa = (E
a
E
a
)/~ entre estados
sero diferentes.
Um caso particularmente interessante quando o estado inicial um
estado puro ou um dos auto-estados
|, t
0
=

a
c
a
|a =

a
a1
c
a
|a = |a , c
1
= 1,
ento em um instante de tempo qualquer t o estado do sistema ser
|, t
0
; t = U(t, t
0
) =

a
|a
| exp
_
E
a
t
~
_
|a
= exp
_
E
a
t
~
_
|a ,
Note que este o estado inicial modulado por uma funo oscilante, uma
fase exp
_
E
a
t
~
_
, em qualquer instante de tempo o sistema sempre estar
no estado |a. Supondo que no instante inicial t = t
0
existe um observvel
compatvel com H, portanto [A, H] = 0 e a representao de energia tambm
uma representao para o operador A. Em t = t
0
tem-se que
, t
0
; t | [A, H] | , t
0
; t =
_
, t
0
(t, t
0
) [A, H] U(t, t
0
)
, t
0
_
=
_
, t
0
(t, t
0
)U(t, t
0
) [A, H]
, t
0
_
= , t
0
| [A, H] | , t
0
,
j que em t = t
0
[A, H] = [U(t, t
0
), H] = [U(t, t
0
), A] = 0,
concluso: se [A, H] = 0 em t = t
0
ento [A, H] = 0 em t > t
0
se em t = t
0
|, t
0
= |a; ou seja na descrio Hamiltoniana clssica do sistema diria se
que a varivel dinmica A uma constante de movimento porque
dA
dt
= {A, H} = 0,
entretanto na descrio quntica do sistema a constncia de movimento de
um observvel reete-se no fato do estado ser um estado estacionrio, ou
seja um auto-estado do operador A continuar sendo auto-estado de A em
qualquer tempo t > t
0
.
A tarefa bsica na descrio dinmica quntica de sistema reduz-se a
encontrar o mair nmero de observveis compatveis ou de fato todos os
observveis compatveis do sistema. Uma vez feito isto, expande-se o ket
inicial em funo da base de um desses observveis (que de fato a base para
todos observveis) e aplica-se o operador de evoluo temporal. Este ltimo
passo simplesmente introduz uma fase na em cada coeciente na expanso
do estado inicial como indicado na equao (2.1.11).
Resumindo, encontra-se todos os observveis compatveis
= [B, C] = [A, C] = = 0,
[A, H] = [B, H] = [C, H] = = 0,
(2.1.12)
utilizando a notao de ndice coletivo escreve-se que
exp
_
Ht
~
_
=

K
|K K| exp
_
E
K
t
~
_
, (2.1.13)
com E
k
representando a coleo de ndices a, b, c .
Na soluo de problemas deste tipo fundamental encontrar-se o o con-
junto completo de observveis que comutam entre si e com H. Uma vez feito
isto escreve-se o estado inicial como uma combinao linear dos auto-estados
simultneos dos observveis compatveis, em seguida atua-se com o opera-
dor de evoluo temporal para se obter o estado do sistema num instante de
tempo t > t
0
qualquer. Com isto obtm-se a soluo dinmica para o sistema
em considerao.
A Dependncia Temporal dos Valores Esperados.
Discute-se nesta subseo como os valores esperados de observveis depen-
dem do tempo. O objetivo estudar como o valor esperado dos observveis
mudam no tempo. Suponha que em t = 0 o estado inicial um dos auto-
estados do observvel A que comuta com H. Considere ento um observvel
B incompatvel com H e portanto com A. O ket do sistema em um tempo
t > 0 dado por
|a
, t
0
; t = U(t, t
0
) |a
, t
0
= U(t, 0) |a
,
portanto num tempo t > 0 o valor esperado do observvel B ser
B =
_
a
| U
(t, 0)
_
B(U(t, 0) |a
)
= a
| exp
_
E
a
t
~
_
Bexp
_
E
a
t
~
_
|a
= a
| B| a
,
que independente do tempo. Por esta razo os auto-estados de energia so
chamados de estados estacionrios.
A situao diferente quando o valor esperado ou mdio calculado com
relao a uma superposio de auto-estado, por exemplo sem em t = 0
|, 0 =

a
c
a
|a
,
em um tempo t > 0 o estado ser
|, 0; t =

a
c
a
(t) |a
, c
a
(t) = exp
_
E
a
t
~
_
e o valor mdio ser
; t | B| ; t =

aa
a
c
a
exp
_
(E
a
E
a
) t
~
_
a | B| a
.
Introduzindo a frequncia de Bohr
aa

(E
a
E
a
)
~
, (2.1.14)
pode-se reescrever o valor mdio do operador B como
; t | B| ; t =

aa
a
c
a
exp [
aa
t] a | B| a
(2.1.15)
Nesta expresso os elementos de matriz da diagonal so independentes do
tempo e queles fora da diagonal so modulados por uma fase cuja frequn-
cia determinada pela diferena dos autovalores de energia. Quando o estado
inicial uma superposio de auto-estado obtm-se valores mdios que de-
pendem do tempo, portanto estado que no so estacionrios.
Considere como exemplo o sistema no instante inicial no auto estado |a
:
|, t
0
= |a
, t
0
= 0
|; t = U(t, t
0
) |a
= exp
_
E
a
t
~
_
|a
.
Em t = t
0
= 0 o valor esperado
, t
0
| B| , t
0
= a
| B| a
,
e no tempo t > 0
, t | B| , t =
_
a
(t)BU(t, )
_
=
_
a
exp
_
E
a
t
~
_
Bexp
_
E
a
t
~
_
_
= a
| B| a
.
O valor esperado do operado B em auto-estado de energia independente
do tempo, por isto um auto-estado de energia chamado de estacionrio.
2.2 Representaes de Schrodinger e Heisen-
berg
Operadores Unitrios
Nas sees anteriores discutiu-se a evoluo temporal nos termos do opera-
dor de evoluo temporal que atua sobre os kets de estado; esta forma de
descrio da dinmica quntica conehcida como a representao de Schro-
dinger da Mecnica Quntica. Outros operadores unitrios como translao
espacial e mudana de bas, tambm foram discutidos, ou seja utilizamos
translao espacial: |x
+x = T (x) |x
, T (x) = exp
_
px
~
t
_
Evoluo (translao) temporal: |, t = U(t) | , T (x) = exp
_
H
~
t
_
mudana de base: \Br
2.3 O Oscilador Harmnico Simples
O oscilador harmnico simples um dos mais importantes problemas na
mecnica quntica por causa de sua larga utilidade. difcil enumerar todas
as aplicaes nas diversas reas, deste modelo. Por exemplo fsica nuclear,
teoria de campos, eletrodinmica.
2.3. O OSCILADOR HARMNICO SIMPLES 121
Auto-estado e Autovalores de energia.
Vamos abordar a soluo na descrio de Heisenberg e utilizando o mtodo
de Born Wigner. este consiste em introduzir operadores adimensionais. Isto
pode ser induzido da forma quadrtica do Hamiltoniano para um oscilador
harmnico 1d
H =
p
2
2m
+
m
2
2
x
2
. (2.3.1)
Devido esta forma pode-se tentar completar um quadrado perfeito. Para isto
considere a expresso
_
_
1
2m
p +
m
2
2
x
_
_
2
=
p
2
2m
+
m
2
2
x
2
+ (px +xp)
=
p
2
2m
+
m
2
2
x
2
+ (xp ~ +xp) .
Considerem ento a seguinte comparao com nmeros complexos
z
z = (x y)(x +y)
= x
2
+y
2
+(xy yx).
Certamente que para nmeros comutativos o ltimo termo do terceiro mem-
bro da equao nulo. Entretanto para operadores isto no acontece. Consi-
derando que x e p so operadores hermitianos denidos considere a expresso
z
1
= ax +bp,
z
2
= cx +dp.
com a, b, c, d R.
Estas fornecem diretamente que
z
1
z
2
= acx
2
+bdp
2
+ (adxp bcpx) .
Aps comparar com o Hamiltoniano do oscilador, impem-se as condies
ac =
m
2
2
,
bd =
1
2m
.
ac =
m
2
2
(2.3.2)
bd =
1
2m
(2.3.3)
Para que seja possvel utilizar a relao de comutao
[x
i
, x
j
] = [p
i
, p
j
] = 0, [x, p] = ~, (2.3.4)
impe-se que
ad = bc.
O produto
abcd =

2
4
=(ad)(bc) = (ad)
2
= (bc)
2
=

2
4
,
portanto
ad = bc =

2
.
Destas equaes pode-se determinar d e c em funo de a e b:
d =

2
a
1
, c =

2
b
1
; e tambm a
2
b
1
=
m
2
2
=b =
a
m
; c =
m
2
2a
.
Com estas constantes as formas de z
1
e z
2
so
z
1
= ax +
a
m
p,
z
2
=
m
2
2a
x +

2a
p.
Como nmeros complexos z e z
so independentes considere z
1
= z
2
donde
segue que
a =
m
2
2a
=a =
m
2
2
e portanto
z
1
=
m
2
2
x +
1
2m
p. (2.3.5)
Novamente considere o produto
z
1
z
1
= H +
2
(xp px) = H
~
2
= (2.3.6)
z
1
~
z
2
~
=
H
~

1
2
. (2.3.7)
Neste ponto dene-se novos operadores
a
1
~
_
_
m
2
2
x +
1
2m
p
_
_
=
_
m
2~
_
x +
p
m
_
(2.3.8)
e
a
~
_
_
m
2
2
x
1
2m
p
_
_
=
_
m
2~
_
x
p
m
_
(2.3.9)
Estes operadores so conhecidos como operadores de destruio e criao res-
pectivamente por razes que se tornaro claras brevemente.estes operadores,
como bvio, no so hermitianos. Estas equaes podem ser invertidas
para expressarmos x e p em funo de a e a
:
x =
~
2m
_
a +a
_
,
p =
m~
2
_
a
a
_
,
(2.3.10)
que so hermitianos.
Usando as relaes de comutao cannicas calcula-se
[a, a
] =
__
m
2~
_
x +
p
m
_
,
_
m
2~
_
x
p
m
__
=
m
2~
m
([x, p] + [p, x])
= 1,
resumindo
[a, a
] = 1 (2.3.11)
Tambm deni-se o operador nmero
N = a
a (2.3.12)
que hermitiano j que
N
=
_
a
a
_
= a
a,
note que (a
= a. Utilizando nossos resultados anteriores (2.3.7), imediato

mostrar que
N = a
a =
H
~

1
2
,
fornecendo uma importante relao
H =
_
N +
1
2
_
~. (2.3.13)
Como o operador H comuta com o operador nmero, eles so diagonais na
mesma representao. Seja esta a representao da energia, ou seja
H |n = E
n
|n , (2.3.14)
N |n = n|n . (2.3.15)
Operando com H nos auto-estados |n obtm-se que
H |n =
_
N +
1
2
_
~ |n =
_
n +
1
2
_
~ |n = E
n
|n , (2.3.16)
o que signica que os autovalores de energia so
E
n
=
_
n +
1
2
_
~, (2.3.17)
e so reais j que H um operador hermitiano.
Sendo a
a = N e N |n = n|nobtm-se que
_
n
n
_
= n| N | n
= nn| n
entretanto
_
n
n
_
, o quadrado do mdulo do ket a |n, positivo de-
nido, portanto
~
_
n
n
_
=
_
n
_
n
1
2
_
n
_
= 0
o que requer que
(n) n| n = 0 =(n) = 0
n = 0 . (2.3.18)
Considere os clculos preliminares utilizados para entender o signicado
fsico dos operadores a, a
e N:
[N, a] = [a
a, a] =
*
1
[a
, a]a +a
*
0
[a, a] = a (2.3.19)
_
N, a
_
= [a
a, a
] =
:
0
[a
, a
]a +a
*
1
[a, a
] = a
(2.3.20)
Utilizando estes resultados pode-se calcular o nmero de ftons com energia
~ num dado estado |n da seguinte forma
Na
|n =
_
a
N +a
_
|n = a
N |n +a
|n
= a
n|n +a
|n = (n + 1) a
|n ,
(2.3.21)
e
Na |n = (aN a) |n = aN |n a |n
= an|n a |n = (n 1) a |n
. (2.3.22)
A equao (2.3.21) indica que a
|n auto-estado do operador nmero N

com autovalor (n + 1) e a equao (2.3.22) indica que o estado a |n auto-
estado de N com autovalor (n 1), por este motivo os operadores a
e a so
chamados de operadores de criao e destruio, respectivamente. Note que
a equao (2.3.15) fornece um ket |n auto-estado de N com autovalor n,
portanto esta equao implica que |n 1 auto-estado de N com autovalor
n 1, ento
a |n = constante |n 1 = c |n 1 .
Esta constante pode ser determinada do requerimento que o os kets |n e
|n 1 sejam normalizados. Notando que
_
n
n
_
= |c|
2
0,
e que a
a = N, e que N |n = n|nobtm-se que

4
n = |c| = c, para a escolha n R,

de acordo com a observao anterior aps equao (2.3.17) de que autovalores
de operadores hermitianos so reais. Segue que
a |n =
n|n 1 . (2.3.23)
Equivalentemente para o ket a
|n = c |n + 1, obtm-se que
_
n
aa
n
_
=
_
n
aa
n
_
= n| N + 1 | n
= (n + 1) n| n
= (n + 1) ,
utilizando a equao (2.3.11), portanto
|c|
2
= (n + 1) =
c =

n + 1,
para c real, como escolhido anteriormente. Portanto
a
|n =
n + 1 |n + 1 . (2.3.24)
4
Em princpio a soluo da equao
|c|
2
= n =x
2
+ y
2
= n =c =
ne

Prxima e interessante tarefa: determinar os possveis valores de n. J
sabemos da equao (2.3.18) que n = 0, portanto n positivo e n R. Para
isto considere sucessivas aplicaes do operador destruio no ket |3 :
a |3 =

3 |2 ,
a
2
|3 =

3a |2 =
3 2 |1 ,
a
3
|3 =

3 2a |1 =
3 2 1 |0 ,
a
4
|3 =

3 2 1 0 |1 = 0 |1 = 0,
a
5
|3 = 0
1 |2 = 0.
Esta ltima equao indica que n = 1, fornecendo portanto autovalores
negativos do operador N e consequentemente H. Assumir que n < 0 implica
e assumir que os autovalores de energia podem ser negativos o que est em
contradio com a equao (2.3.18).
Concluso parcial: os valores permitidos de n so inteiros ou semi-inteiros
positivos. Se escolhermo para n valores inteiros, todos problemas estaro
resolvidos, sequncia de reduo de um dado estado |nser interrompida
aps sucessivas, n aplicaes do operador de destruio a nalizando no ket
|0 que o estado de vcuo e possui autovalor nulo. Qualquer operao
adicional com o operador de destruio a resultar em um autovalor nulo
multiplicando o ket e fornecendo resultados nulos, como exemplicado na
expresso anterior.
Se os valores permitido de n forem semi-inteiros positivos, pode-se ter
a
3
2
_
=
3
2
1
2
_
a
2
3
2
_
=
3
2
a
1
2
_
=
3
2
1
2
1
2
_
a
3
3
2
_
=
3
2
1
2
1
2
3
2
_
=
3
8
3
2
_
A imposio de positividade, decorrente da equao (2.3.18), violada,
outro problema no existir um limite inferior para a os auto-estados que
iriam |! Concluindo, valores semi-inteiros no so permitidos.
Portanto os valores permitidos de n so
n Z, n = 0 , (2.3.25)
enquanto que os autovalores da energia sero
E
n
=
_
n +
1
2
_
~, n = 0, 1, 2, (2.3.26)
ou explicitamente
E
0
=
1
2
~, E
1
=
3
2
~,
5
2
~ .
O estado
|0
representa o estado de menor energia do oscilador harmnico que corresponde
ao valor de n = 0, este estado chamado de estado de vcuo e a este estado
corresponde a energia
E
0
=
1
2
~.
Conforme a equao (2.3.24) um dado estado |n > pode ser obtido a
partir do estado de vcuo por sucessivas aplicaes do operador de criao,
ou seja:
a
|0 = |1
a
|1 =

2 |2 =|2 =
a
2
|1 =
_
a
_
2
2
|0
a
|2 =

3 |3 =|3 =
a
3
|2 =
_
a
_
3
3 2
|0
.
.
.
a
|n 1 =

n|n =|n =
a
n
|n 1 =
_
a
_
n
n!
|0 ,
resumindo
|n =
_
a
_
n
n!
|0 (2.3.27)
Utilizando as equaes (2.3.23) e (2.3.24) pode-se obter as expresses
para os elementos de matriz dos operadores x e p , antes porm necessrio
encontrar os elementos de a e a
, isto imediato
n
| a | n =
n
n
,n1
,
_
n
n
_
=
n + 1
n
,n+1
. (2.3.28)
Utilizando estas equaes obtm-se que
n
| x | n =
~
2m
_
n
_
a +a
n
_
=
~
2m
_
n
n
,n1
+
n + 1
n
,n+1
_
(2.3.29)
e
n
| p | n =
m~
2
_
n
_
a
a
_
n
_
=
m~
2
_
n
n
,n1
+
n + 1
n
,n+1
_
(2.3.30)
Os operadores x e p no so diagonais na representao da energia. Isto
esperado j que eles no comutam com H.
Autofunes de Energia na Representao das Coorde-
nadas
muito interessante como o mtodo de operadores pode ser usado para cons-
truir as autofunes de energia na representao de coordenadas. O comen-
trio Mtodo interessante consequncia da comparao com a obteno
das autofunes solues da equao diferencial de Hermite, veja apndice
(H).
Para construirmos as autofunes comea-se com o estado fundamental
a |0 = 0,
que na representao das coordenadas escreve-se
x | a | 0 = 0,
que pode ser reescrita com0
_
m
2~
_
x
_
x +
p
m
_
0
_
=
_
m
2~
x
(x
| 0 +
1
m
x
| p | 0
_
= 0.
Entretanto
x
| p | 0 =
_
x
dx |x x| 0
_
=
dx x
| p | x x | 0
=
dx
_
~

x
_
(x x
) x | 0
= ~

x
| 0 .
Substituindo na expresso anterior obtm-se que
_
x
_
x +
p
m
_
0
_
= (x
| 0 +
+
~
m
| 0
_
.
Denindo (veja a eq.(2.3.10))
x
0

~
m
, (2.3.31)
obtm-se a seguinte equao diferencial para o ket |0 no estado fundamental
x
| 0 +x
2
0
| 0 = 0,
que possui como soluo
x
| 0 = C exp
_
_
1
2
_
x
x
0
_
2
_
_
.
A constante C determinada normalizando-se a autofuno
dx
| x
| 0 |
2
= |C|
2
dx
exp
_
_
_
x
x
0
_
2
_
_
= 1 =
|C|
2
=
_
_
x
2
0
_
1
=
1
1/4
x
0
.
A autofuno normalizada
x
| 0 =
1
1/4
x
0
exp
_
_
1
2
_
x
x
0
_
2
_
_
=
_
m
~
_
1/4
exp
_
_
1
2
_
x
x
0
_
2
_
_
.
(2.3.32)
As autofunes de energia para os estados excitados so calculadas em funo
da autofuno do estado fundamental
x
| 1 =
_
x
0
_
=
_
m
2~
_
x
_
x
p
m
_
0
_
=
_
m
2~
_
x
_
x
p
m
_
dx
|x
| 0
_
=
_
m
2~
dx
_
x
| x |x
| 0
~
m
(x
) x
| 0
_
=
_
m
2~
_
x
~
m
d
dx
_
x
| 0
=
1
2x
0
_
x
x
2
0
d
dx
_
x
| 0 .
Para o estado |2 > tem-se que
x
| 2 =
_
x
_
a
_
2
2!
0
_
=
1
2!
__
m
2~
_
2
_
x
_
x
p
m
_
2
0
_
=
1
2!
__
m
2~
_
2
_
x
_
x
p
m
_
dx
|x
|
_
x
p
m
_
dy |y y| 0
_
=
1
2!
__
m
2~
_
2
dx
_
x
| x |x
| 0
~
m
(x
) x
| 0
_
dy
_
x
| x |y y| 0
~
m
(x
y) y | 0
_
=
1
2!
__
m
2~
_
2
_
x
~
m
d
dx
_
2
x
| 0
=
1
2!
_
1
2x
0
_
2
_
x
x
2
0
d
dx
_
2
x
| 0 ,
e para o estado |n
x
| n =
1
n!
_
1
2x
0
_
n
_
x
x
2
0
d
dx
_
n
x
| 0
=
_
1
1/4
2
n
n!
__
1
x
n+1/2
0
__
x
x
2
0
d
dx
_
n
exp
_
_
1
2
_
x
x
0
_
2
_
_
,
novamente resumindo
x
| n =
_
1
1/4
2
n
n!
__
1
x
n+1/2
0
__
x
x
2
0
d
dx
_
n
exp
_
_
1
2
_
x
x
0
_
2
_
_
(2.3.33)
74 THE SCHRODINOER WAVE
EQUATION m-llb]
independent
wave functions
correspond.
The solutions of 11-1
may
be written in the form
~
in which
=
\/ax.
H
n()
is a
polynomial
of the nth
degree
in
,
and Nn
is a constant which is
adjusted
so that
^n is
normalized,
i.e.,
so that
\l/n satisfies the relation
x)dx
=
1, (11-H)
in which
^*,
the
complex conjugate
of
^n,
is in this case
equal
to
^n. In the next section we shall discuss the nature and
properties
-
A
3 -i -1 12 3 -3-2 -1 I 2 3
FIG. 11-2. The wave function
ô()
for the normal state of the harmonic
oscillator (left), and the corresponding probability distribution function
[\ô()P (right). The classical distribution function for an oscillator with the
same total
energy
is shown
by
the dashed curve.
of these solutions
\l/n
in
great
detail. The first of
them,
which
corresponds
to the state of lowest
energy
for the
system,
is
Figure
11-2 shows this function. From the
postulate
discussed
in Section
10a, ^J^
=
^,
which is also
plotted
in
Figure 11-2,
represents
the
probability
distribution function for the coordinate
x. In other
words,
the
quantity ^l(x)dx
at
any point
x
gives
the
probability
of
finding
the
particle
in the
range
dx at that
point.
We see from the
figure
that the result of
quantum
mechanics for this case does not
agree
at all with the
probability
function which is
computed classically
for a harmonic oscillator
with the same
energy. Classically
the
particle
is most
likely
to
Figura 2.3.1: Autofuno do estado fundamental x | 0 e a correspondente
distribuio de probabilidade. a funo distribuio clssica com a mesma
energia total representada pela curva descontnua.
Compare estes resultados com queles da do apndice (H), em particular
note que a equao (2.3.32) exatamente a expresso da autofuno u
0
().
Correspondncia com a Teoria Clssica.
A gura 2.3.1 contm um esboo da autofuno do estado fundamental x | 0
e da correspondente densidade de probabilidade. O reusltado quntico com-
parado com o resultado clssico ou seja com a funo probabilidade calculada
classicamente para um oscilador com a mesma energia. Note que neste caso o
resultado quntico (curva contnua) est em clara discordncia do resultado
clssico (curva discreta). Classicamente mais provvel encontrar a part-
cula nos pontos extremos do movimento (onde a velocidade menor portanto
passando mais tempo nestes pontos!). Quanticamente a posio mais pro-
vvel de encontrar a partcula a origem e menos sprovvel os extremos do
movimento. Entretanto um fato curioso acontece, a probabilidade no se
anula para regies classicamente proibida, sou seja regies de energia total
menor que a potencial. Este efeito totalmente de acordo com o princpio
da incerteza de Heisenberg que arma no ser possvel medir exatamente a
posio e velocidade da partcula simultaneamente.
Nas guras 2.3.2 so esboadas autofunes com n = 1, 2, 3, 4, 5 e 6.
Pode-se perceber destas guras que as correspondentes densidades de proba-
bilidades de posio | x | n |
2
tem muito pouca semelhaa para o oscilador
harmnico clssico com a mesma energia.
A gura 2.3.3 contm o esboo da densidade de probabilidade | x | 10 |
2
representada pela curva slida e a densidade de probabilidade de um oscilador
clssico com energia E =
21
2
~. Na mdia, o acordo entre as duas previses
aproximadamente bom, espera-se melhores resultados para grandes valores
m-llbj
HARMONIC OSCILLATOR IN WAVE MECHANICS 75
be found at the ends of its
motion,
which are
clearly
defined
points
(the
classical
probability
distribution is shown
by
the dotted
curve in
Figure 11-2),
whereas
$1
has its maximum at the
origin
of x
and, furthermore,
shows a
rapidly decreasing
but nevertheless
finite
probability
of
finding
the
particle
outside the
region
allowed
classically.
This
surprising result,
that it is
possible
for a
particle
to
penetrate
into a
region
in which its total
energy
is less
than its
potential energy,
is
closely
connected with
Heisenberg's
-3 -2 -1" 012 3 4 -4-3-2-10 1 2 34 -4-3-2-10 I 2 54
FIG. 11-3. The wave functions
v^n(),
n 1 to 6, for the harmonic oscillator.
For each case the heavy horizontal line indicates the region traversed
by
the
classical harmonic oscillator with the same total
energy.
uncertainty principle,
which leads to the conclusion that it is
not
possible
to measure
exactly
both the
position
and the
velocity
of a
particle
at the same time. We shall discuss this
phenomenon
further in
Chapter
XV. It
may
be mentioned at this
point,
however,
that the extension of the
probability
distribution func-
tion into the
region
of
negative
kinetic
energy
will not
require
that the law of the conservation of
energy
be abandoned.
The form of
\l/ n for
larger
values of n is shown in
Figure
11-3.
Since Hn is a
polynomial
of
degree n, \l/ n wilLhave n zeros or
points
where
\l/ n crosses the zero line. The
probability
of
finding
the
particle
at these
points
is zero. Insuection of
Figure
11-3
shows that all the solutions
plotted
show a
general
behavior in
Figura 2.3.2: Autofunes com n=1, 2, 3, 4, 5
de n.
O valor mdio ou esperado do Hamiltoniano.
Utilizando os auto-estados calculados anteriormente, pode-se calcular o va-
lor mdio do Hamiltoniano ou energia do oscilador harmnico. Sendo este
quadrtico nas coordenadas e momentos, percebe-se ser necessrio calcular
76 THE SCHRODINGER WAVE EQUATION [Hi-lib
agreement with that obtained by the general arguments of Section
9c; that is, inside the classically permitted region of motion of
the particle (in which V(x) is less than Wn) the wave function
oscillates, having n zeros, while outside that region the wave
function falls rapidly
to zero in an exponential manner and has
no zeros. Furthermore, we see in this
example an illustration
of still another general principle:
The larger the value of n, the
Fio. 11-4. The probability distribution function [îo()]
2 for the state
n 10 of the harmonic oscillator. Note how closely the function approximates
in its average value the probability distribution function for the classical har-
monic oscillator with the same total energy, represented by the dashed curve.
more nearly does the wave-mechanical probability distribution
function approximate
to the classical expression
for a particle
with the same energy. Figure
11-4 shows \l/
2
(x) for the state
with n = 10 compared
with the classical probability curve for
21
the harmonic oscillator with the same value -^-hvo for the energy.
JL
It is seen that, aside from the rapid
fluctuation of the wave-
mechanical curve, the general agreement of the two functions
is good.
This agreement permits
us to visualize the motion of
the particle
in a wave-mechanical harmonic oscillator as being
Figura 2.3.3: Densidade de probabilidade de posio para autofuno com
n = 10 representada pela linha slida. A linha descontnua representa a
densidade de probabilidade para um oscilador clssico com a mesma energia.
o valor esperado do quadrado dos operadores x e p:
x =
~
2m
_
a +a
_
,
p =
m~
2
_
a
a
_
,
ou seja
_
n
x
2
n
_
=
~
2m
_
n
_
aa +a
+aa
+a
a
_
n
_
=
~
2m
_
:
0
n| aa | n +
:
0 _
n
n
_
+n| 1 + 2N | n
_
=
~
2m
(1 + 2n) ,
e
_
n
p
2
n
_
=
m~
2
_
n
_
aa +a
aa
a
_
n
_
=
m~
2
_
:
0
n| aa | n +
:
0 _
n
n
_
n| 1 + 2N | n
_
=
m~
2
(1 + 2n) .
O valor mdio do Hamiltoniano
n| H | n =
1
2m
m~
2
(1 + 2n) +
m
2
2
(1 + 2n)
~
2m
=
_
n +
1
2
_
~,
ou seja
n| H | n =
_
n +
1
2
_
~ (2.3.34)
e decorre das equaes anteriores que
n| T | n =
_
n
p
2
2m
n
_
=
_
n +
1
2
_
~
2
=
1
2
n| H | n
n| V | n =
_
n
p
2
2m
n
_
=
_
n +
1
2
_
~
2
=
1
2
n| H | n
(2.3.35)
como esperado do teorema do virial.
As relaes de disperses para a posio e momento: < (x)
2
> e
< (p)
2
> podem ser rapidamente calculadas utilizando-se os resutados
anteriores:
< (x)
2
>=< x
2
> < x >
2
,
imediato que
n| x | n =
~
2m
_
n
_
a +a
n
_
= 0,
porque aparecem produtos internos entre estados ortogonais, da mesma forma
< (p)
2
>= 
2
e
n| p | n =
m~
2
_
n
_
a +a
n
_
= 0.
Utilizando estes resultados, encontra-se que
< (x)
2
>< (p)
2
>=
__
n +
1
2
__
2
(2.3.36)
o que est em pleno acordo com o requerimento
< (x)
2
>< (p)
2
>
1
4
| n| [x, p] | n |
2
=
1
4
~
2
.
A igualdade satisfeita para o estado fundamental, n = 0 :
< (x)
2
>< (p)
2
>=
1
4
(~).
Os Operadores na Representao de Heisenberg.
At o momento todos os clculos forma feitos em t = 0 onde as duas represen-
taes coincidem. Entretanto na representao de Heisenberg os operadores
dependem do tempo e nesta seo ser nosso objetivo calcular suas formas.
Isto pode ser feito de duas maneiras:
atravs da soluo da equao de movimento de Heisenber
via clculo de O
H
(t) = exp
_
Ht
~
_
Oexp
_
Ht
~
_
.
Faremos das duas maneiras, comeando com as equaes de movimento. Ul-
tilizando
~
dO
dt
= [O, H] ,
H =
p
2
2m
+
m
2
2
x
2
,
obtem-se que
~
dx
dt
= [x, H] =
_
x,
p
2
2m
_
=
1
2m
~2p =
dx
dt
=
p
m
,
e
~
dp
dt
= [p, H] =
_
p,
m
2
2
x
2
_
=
m
2
2
_
p, x
2
_
=
m
2
2
~2x =
dp
dt
= m
2
x.
Estas equaes podem ser transformadas em equaes para os operadores a
e a
:
dx
dt
=
d
dt
~
2m
_
a +a
_
=
p
m
=
1
m
m~
2
_
a
a
_
=
d
dt
_
a +a
_
=
_
a
a
_
;
enquanto que a equao para o operador p fornece
dp
dt
=
d
dt
m~
2
_
a
a
_
= m
2
x = m
2
~
2m
_
a +a
_
=
d
dt
_
a
a
_
=
_
a +a
_
.
Colocando a casa em ordem
d
dt
_
a +a
_
=
_
a
a
_
d
dt
_
a
a
_
=
_
a +a
_
,
que desacomplam como
da
dt
= a
,
da
dt
= a,
que possuem solues
a
(t) = a
(0)e
t
, a(t) = a(0)e
t
. (2.3.37)
Um resultado particularmente interessante que
_
a, a
_
= 1,
_
a(t), a
(t)
_
= 1,
_
a(t), a
(t
)
_
= e
(tt
)
,
e portanto para diferenas de tempos
t =
2n
, n N,
_
a(t), a
(t
)
_
= 1,
t =
(n + 1)
2
, n N,
_
a(t), a
(t
)
_
=
Note que os operadores
N (t) = a
(t)a(t) = a
a = N.
H(t) =
_
N(t) +
1
2
_
~ =
_
N +
1
2
_
~ = H(0),
portanto so operadores independente do tempo ou constantes de movimento.
Utilizando as equaes (2.3.37) pode-se escrever as expresso para os
observveis x e p em um tempo qualquer t:
x(t) =
~
2m
_
a(t) +a
(t)
_
,
=
~
2m
_
a(0)e
t
+a
(0)e
t
_
=
~
2m
__
a +a
_
cos (t) +
_
a
a
_
sin (t)
_
= x(0) cos (t) +
p(0)
m
sin (t) .
Resumindo tem-se que
x(t) = x(0) cos (t) +
p(0)
m
sin (t) . (2.3.38)
Analogamente
p(t) = mx(0) sin (t) +p(0) cos (t) . (2.3.39)
Apesar da aparente ingenuidade, estas equaes envolvem os operadores a e
a
ou seja no so clssicas e sim qunticas! Entretanto elas oscilam como

suas anlogas clssicas.
Como indicado anteriormente, considera-se o estes clculos via transfor-
mao de similaridade unitria, para o operador x tem-se que
x(t) = exp
_
Ht
~
_
x(0) exp
_
Ht
~
_
= exp
_
t
_
N +
1
2
__
~
2m
_
a +a
_
exp
_
t
_
N +
1
2
__
.
Organizando o clculo
5
:
exp (tN) a exp (tN) = a +t [N, a] +
_
t
2!
_
2
[N, [N, a]] +
+
_
t
n!
_
n
[N, [N, [N, [N, a]]]] +
Utilizando as equaes (2.3.19)e (2.3.20) obtem-se que
6
exp (tN) a exp (tN) = a ta +
(t)
2!
2
a + +
(t)
n!
n
(1)
n
a +
exp (tN) a
exp (tN) = a
+ta
+
(t)
2!
2
a
+ +
(t)
n!
n
a
+
5
A frmula utilizada neste clculo conhecida como lema de Baker-Hausdor
6
As funes sin e cos possuem as seguintes expanses em srie:
cos =
n=0
(1)
n
(2n!)

2n
, sin =
n=0
(1)
n
(2n + 1)!
2n+1
e destas obtem-se que
x(t) =
~
2m
_
_
a
+a
_
+t
_
a
a
_
+
(t)
2!
2
_
a
+a
_
+
+ (1)
n
2
(t)
n!
n
_
a
+ (1)
n
a
_
_
=
~
2m
_
a
+a
_
_
1
(t)
2!
2
+
(t)
4!
4
+ + (1)
2m
2
(t)
(2m)!
2m
_
+
~
2m
_
a
a
_
_
t
(t)
3!
3
+ + (1)
r
(t)
(2r + 1)!
2r+1
_
, n = 2m; n = 2r + 1.
Este resultado pode ser reescrito como
x(t) = x(0) cos(t) +
p(0)
m
sin(t) . (2.3.40)
Concordando com a expresso de x(t), equao (2.3.38) obtida via soluo
da equao de Heisenberg. A expresso para o operador p(t) pode ser obtida
de forma completamente anloga a essa utilizada na obteno de x(t).
Apesar das solues x(t) e p(t) dadas pelas equaes (2.3.38) e (2.3.39)
serem solues oscilantes no podem ser comparadas com as corresponden-
tes solues horrias clssica, porm o que pode ser comparado so os seus
valores mdios que valem
n| x(t) | n = n| x(0) | n cos(t) +
1
m
n| p(0) | n sin(t) = 0,
conforme j calculado anteriormente para a obteno da equao (2.3.36).
Isto parece um pouco incomum, j que espera-se poder comparar aproxima-
es dos resultados qunticos com as corrospondentes trajetrias clssicas.
Para observar oscilaes reminescentes do oscilador clssico, deve-se conside-
rar superposies dos auto-estados da energia da forma
| = c
0
|0 +c
1
|1 (2.3.41)
para o qual o valor esperado de x(t)
| x(t) | = (0| c
0
+1| c
1
) x(t) (c
0
|0 +c
1
|1)
=
:
0
|c
0
|
2
0| x(t) |0 +c
0
c
1
0| x(t) |1 +
+c
1
c
0
1| x(t) |0 +
:
0
|c
1
|
2
1| x(t) |1.
O primeiro termo no nulo vale
c
0
c
1
0| x(t) |1 = c
0
c
1
0|
_
x(0) cos(t) +
p(0)
m
sin(t)
_
|1 ,
sendo
0| x(0) |1 =
~
2m
,
0| p(0) |1 =
m~
2
,
utilizando as equaes (2.3.29) e (2.3.30),obtem-se que
c
0
c
1
0| x(t) |1 = c
0
c
1
_
_
~
2m
cos (t)

m
m~
2
sin(t)
_
_
,
c
1
c
0
1| x(t) |0 = c
1
c
0
_
_
~
2m
cos (t) +

m
m~
2
sin(t)
_
_
,
j que o segundo termo o adjunto ou dual do primeiro. Substituindo estes
resultados na expresso do valor mdio de x(t) obtem-se que
| x(t) | = (c
0
c
1
+c
1
c
0
)
~
2m
cos (t) (c
0
c
1
c
1
c
0
)

m
m~
2
sin(t)
= 2(c
0
c
1
)
~
2m
cos (t) 2(c
0
c
1
)
~
2m
sin(t)
= 2
~
2m
[(c
0
c
1
) cos (t) (c
0
c
1
) sin(t)] .
(2.3.42)
que oscilante. Podo-se considerar superposies com um auto-estado arbi-
trrio visando melhores aproximaoes com o oscilador clssico ou para saber
onde est o oscilador clssico! Considere que um estado | seja da forma
| = c
n
|n +c
n+1
|n + 1 .
Para este estado tem-se que
| x(t) | = 2
n~
2m
[(c
n
c
n+1
) cos (t) (c
n
c
n+1
) sin(t)] ,
resultando numa alterao (aumento) da amplitude do movimento.
Ou seja os auto-estados da energia no se comportam como oscilado-
res clssicos no importanto o quanto n seja grande, entretanto estados do
sistemas que so combinaes lineares de auto-estados oscilam como os os-
ciladores clssicos. Podemos ento nos perguntar: que combinao linear de
auto-estados de energia melhor descreve ou imita o oscilador clssico? Na
linguagem de funes de onda o que procuramos um pacote de onda que
oscila sem alterar sua forma. Esta combinao linear existe e conhecida
como estados coerentes; estes estados foram introduzidos por R. Glauber.
Estado Coerentes com um nico modo (frequncia)[10]
Para encontrar os estados coerentes com um nico modo que satifaz equao
que deni o estado coerente
a | = | (2.3.43)
calcula-se o produto interno com o auto-estado de energia |n
n| a | = n| .
Porm a associatividade do produto n| a | = (n| a) | = n| (a |) su-
gere que calculemos
n| a =
_
a
|n
_
=
_
n + 1 |n + 1
_
= n + 1|
n + 1,
portanto
n + 1 n + 1 | = n| . (2.3.44)
Sendo os estado |n (2.3.27) dado por
|n =
_
a
_
n
n!
|0
obtem-se que
n + 1 | =
1
_
(n + 1)!
_
0
a
n+1

_
=
1
_
(n + 1)!
_
0

n+1

_
=

n+1
_
(n + 1)!
0 | ,
utilizando a equao (2.3.43). Substituindo este resultado na equao (2.3.44)
obtem-se que
n + 1

n+1
_
(n + 1)!
0 | = n| =
n| =

n
n!
0 | .
(2.3.45)
Recordando que os coecientes na expanso de um ket numa dada base
c
a
= a
| ,
que decorre de
| = I | =

a
|a
| >=

a
c
a
|a
c
a
= a
| .
Para os estado de Glauber
| =

n
|n n| >=

n
n| |n
=

n=0
n!
0 | |n ,
resumindo
| =

n=0
n!
0 | |n (2.3.46)
O produto interno
| =

m
m!
n!
|0 | |
2
m| n
=

n
||
2n
n!
|0 | |
2
= e
||
2
|0 | |
2
.
(2.3.47)
Considerando o estado | normalizado, | = 1, obtem-se que
|0 | | = e
||
2
/2
.
Para o caso particular
7
0 | = e
1
2
||
2
R. (2.3.48)
7
Em geral 0 | = e
||
2
/2
e
.
2.4 A Equao de Onda de Schrodinger
Nesta seo a equao de Schrodinger derivada simplismente escrevendo os
kets e operadores em questo na representao das coordenadas.
A Equao de Schrodinger dependente do tempo
Examina-se a evoluo temporal do vetor de estado |, t; t
0
na representao
das coordenadas. a Tarefa consiste em estudar o comportamento da funo
de onda
(x
, t) = x
| , t; t
0
> (2.4.1)
como funo do tempo onde |, t; t
0
o ket de estado na representao
de Schrodinger e x
| o vetor (bra) base kque independe do tempo na

representao de Schrodinger. Em funo do operador de evoluo temporal
o estado |, t; t
0
escrito como
|, t; t
0
= U(t, t
0
) |; t
o
.
O operador de evoluo temporal satisfaz equao de Schrodinger
~
U(t, t
0
)
t
= HU(t, t
0
).
Multiplicando esta equao pela direita por |; t
o
de ambos os lados, obtem-
se que
~
U(t, t
0
)
t
|; t
o
= HU(t, t
0
) |; t
o
=
~
|, t; t
o
t
= H |, t; t
o
.
Escrevendo esta equao na representao das coordenadas {|x} qu uma
base independente do tempo na representao de Schrodinger, obtem-se que
~
x| , t; t
0
t
= x| H |, t; t
o
. (2.4.2)
Introduzindo um conjunto completo entre o Hamiltoniano e o ket no lado
direito da igualdade tem-se
x| H |, t; t
o
= x| H
dx
|x
| |, t; t
o
dx
x| H |x
| , t; t
0
.
2.5. INTEGRAIS DE TRAJETRIA 143
O termo x
| H |x precisa ser tratado explicitamente. Considerando que o

Hamiltoniano tenha a forma padro
H =
p
2
2m
+V (x),
ou seja quadrtico no momento com um potencial local e independente do
tempo
8
, neste caso, uktilizando a equao (1.7.3), obtem-se
x| H |x
= x|
p
2
2m
+V (x) |x
= x|
p
2
2m
|x
+x
| V (x) |x
=
~
2
2m
2
x| x
+V (x
) x| x
.
Substituindo na equao (2.4.2) obtem-se
~
x
| , t; t
0
t
=
dx
~
2
2m
2
+V (x
)
_
x| x
| , t; t
0
.
Aps fazer a integrao que trivial e utilizar a equao (2.4.1) obtem-se a
equao de Schrodinger dependente do tempo na representao das coorde-
nadas
~
(x, t)
t
=
_
~
2
2m
2
+V (x)
_
(x, t) (2.4.3)
O Propagador
Considerando o estado do sistema no tempo t
2.5 Integrais de Trajetria
Integrais de trajetria um mtodo alternativo para a formulao da mec-
nica quntica. Este mtodo no utiliza operadores e to menos a funo de
onda, por outro lado ele emprega uma integrao especial sobre um nmero
muito grande de variveis clssicas. As propriedades qunticas do sistema
8
Potencial mais complicados sero considerados posteriormente como por exemplo um
potencial que dependa das velocidades como aparece nos problemas envolvendo partculas
carregadas em que o potencial da forma e + p A + A p. Outros exemplos menos
comuns de potencial o potencial imaginrio V = V
0
+ V utilizado em espalhamento
inelstico e V
1
(x)V
2
(y), um potencial no local.
aparecem porque o movimento da partcula entre dois pontos pode se dar
atravs de um nmero innito de trajetrias clssicas moduladas por uma
fase e cada uma delas contribuem para a amplitude de transio.
Para a introduo do conceito de integrais de trajetria ser tratado o caso
mais simples da dinmica de um sistema unidimensional no relativistico,
uma partcula movendo-se livremente ou sobre a inuncia de um potencial
em uma dimenso. Ser feito um breve resumo de alguns dos resultados das
sees anteriores e utiliza-se a notao p e q para diferenciar operadores de
seus autovalores e das variveis dinmicas clssicas qs e p
s.
Na formulao Hamiltoniana clssica a partcula descrita por uma coor-
denada generalizada q e o seu momento cannico conjugado p. A quantizao
a la Dirac impe que
[ q, p] = ~. (2.5.1)
Os autovalores destes operadores geram o espao de Hilbert do sistema.
Na descrio de Schrodinger
q
S
|q
= q
|q
,
p
S
|p
= p
|p
.
Os auto-estados formam uma base ortonormal completa
q | q
= (q q
),
p | p
= (p p
),
dp |p p| = I,
dx |x x| = I.
As autofunes momento na representao das coordenadas so
q
| p
=
1
2~
e
p
/~
, q
, p
so autovalores.
O estado quntico do sistema representado por um vetor de estado (funo
de onda na representao de coordenadas) no espao de Hilbert. Na repre-
sentao de Schrodinger, este estado depende do tempo e satisfaz equao
de Schrodinger
~

t
|, t
S
=

H( q, p) |, t
0
S
.
A soluo formal desta equao
|, t
S
=

U(t, t
0
) |, t
0
.
Na representao das coordenadas o estado a funo de onda
q | , t
S
= (q, t)
e a equao de Schrodinger torna-se
~

t
(q, t) =

H( q, p)(q, t).
Na representao de Heisenberg os operadores dependem do tempo e
satisfazem a equao
~
d
O
dt
=
_
O,

H
_
.
A evoluo temporal do operador coordenada pode ser escrita como uma
tranformao unitria
q
H
(t) = e

Ht/~
q
S
e

Ht/~
,
que possui um conjunto completo de auto-estados
q
H
(t) |q
, t
= q
|q
, t
,
que evoluem no tempo de acordo com
|q
, t
= e

Ht/~
|q ,
que possui o sinal oposto daquela para a evoluo do estado do sistema.
Sendo o operador de evoluo temporal uma transformao unitria, a orto-
normalidade e completeza preservada no tempo:
q
, t | q, t = q
| e

Ht/~
e

Ht/~
|q
= q
| e

H(tt)/~
|q
= q
| q
= (q
q);
dq
|q
, t q
, t| =
dq

Ht/~
|q
| e

Ht/~
=
dq
|q
|
= I.
Recordando brevemente a noo de propagador apresentada na seo (2.4)
onde o estado do sistema no instante t
|, t
0
, t = U(t, t
0
) |, t
0
= exp
_
~
H(t t
0
)
_
|, t
0
.
Quando as bases de energia e coordenadas so introduzidas, obtem-se o ket
estado do sistema na representao das coordenadas em funo dos autova-
lores do Hamiltoniano na representao de energia, ou seja
(x
, t) =
dx
K(x
, t; x
, t
0
)(x
, t
0
),
onde o kernel ou propagador K dado pela equao
K(x
, t; x
, t
0
) =

a
u
a
(x
)u
a
|(x
)e
E
a
(tt
0
)/~
.
Esta expresso do propagador pode ser escrita numa forma mais sugestiva
K(x
, t; x
, t
0
) =
_
x
Ht
~
e
Ht
0
~
_
=
_
x
H(tt
0
)
~
_
= x
, t | x
, t
0
.
Portanto o propagador exatamente a amplitude de probabilidade. A am-
plitude de probabilidade pode ser lida da expresso genrica do tipo
y(t) | x(t
0
)
como: prepara-se o sistema no estado x espera-se um tempo e calcula-se a
amplitude de probabilidade de encontrar y em x.
A amplitude de probabilidade x
, t | x
, t
0
anteriormente discutida em
funo do propagador ou seja, que a amplitude de probabilidade de encon-
trar o sistema no ponto x
, t do espao tempo quando o sistema estava no

instante inicial no ponto x
, t
0
do espao tempo dada exatamente pela
expresso x
, t | x
, t
0
. De forma repetitiva, porm esclarecedora: a ampli-
tude de probabilidade de se encontar o sistema no tempo t, no estado x
, t|
quando no instante inicial t
0
ele se encontrava no estado |x
, t
0
exatamente
x
, t | x
, t
0
.
Dado que a ortogonalidade e completeza so preservadas em qualquer
tempo, pode se considerar a amplitude de probabilidade para o presente pro-
blema (caso unidimensional) q, t | q
, t
como sendo o resultado de sucessi-

vas propagaes intermedirias entre os estados inicial |q, t e o estado nal
|q
, t
. Por exemplo considere que para evoluir do estado inicial |q, t para
o estado nal |q
, t
o sistema evolui entre o estado intermedirio |q
, t
,
neste caso a amplitude de probabilidade ser
q
, t
| q, t =
_
q
, t
dq
|q
, t
, t
| q, t
_
=
, t
| q
, t
, t
| q
, t .
Para tornar mais simples e intelegvel deni-se
AP
CA
q
, t
| q, t ,
AP
CB
q, t | q
, t
,
AP
BA
q
, t
| q, t
que pode ser lida como: a amplitude de probabilidade de encontrar o sistema
no estado |q
, t
( no ponto q
, t do espao-tempo) quando foi preparado no

estado |q, t(no ponto q, t do espao-tempo), com t
> t igual a amplitude

de probabilidade de encontrar o sistema no estado |q
, t
( no ponto q
, t
do espao-tempo) quando foi preparado no estado |q, t (no ponto q, t do

espao-tempo), com t
> t
vezes a amplitude de probabilidade de encontr-lo

no estado |q
, t
(no ponto q
, t
do espao-tempo ) quando foi preparado no

estado |q
, t
(no ponto q
, t
do espao-tempo), com t > t
. Ou utilizando a
notao introduzida: a amplitude de probabilidade de que o sistema faa uma
transio do estado A para o estado C igual a amplitude de probabilidade de
transio de A B vezes a amplitude de probabilidade de transio B C.
Este procedimento pode ser feito quantas vezes forem necessrias; exa-
tamente isto o que ser feito. Para isto considere que
_
_
_
q
, t
posio no tempo nal,

q, t posio no tempo inicial.
(2.5.2)
O formalismo de integral de trajetria permite que se construa a ampli-
tude de transio q, t | q
, t
a partir de uma Hamiltoniana ou Lagrangiana

clssica do sistema, sem qualquer referncia a operadores ou vetores do es-
pao de Hilbert. Para isto ser necessario utilizar a completeza das bases
das coordenadas e momentos para considerar vrias (innitas) amplitudes de
probabilidades intermedirias de tal forma que possibilite expressar o valor
esperado do operador de evoluo em termos dos autovalores.
Considere a diviso do intervalo de integrao temporal [t
, t] em um
nmero Nde intervalos iguais
t
t
N
= =t
= t +N (2.5.3)
e tambm
t
n
= t +n. (2.5.4)
Para o intervalo de tempo dividido em N partes deve-se introduzir N 1
conjuntos completos |q
, t
.Escreve-se ento que

q
, t
| q, t =
dq
1
dq
n
dq
n+1
dq
N1
q
, t
| q
N1
, t
N1
q
N1
, t
N1
|
|q
n+1
, t
n+1
q
n+1
, t
n+1
| q
n
, t
n
q
n
, t
n
|
|q
1
, t
1
q
1
, t
1
| q, t
(2.5.5)
Considera-se o termos genrido da expresso (2.5.5). Para isto sabendo-se
que
|q, t = e

Ht/~
|q
tem-se
q
n+1
, t
n+1
| q
n
, t
n
=
_
q
n+1

H
~
t
n+1
e

H
~
t
n
q
n
_
.
Sendo o Hamiltoniano

H( p, q) uma funo das coordenadas e momentos
(operadores) que assumiro valores diferentes somente aps operarem nos
kets bases |q
n+1
e |q
n
, pode-se escrever que
Ht
n+1

Ht
n
= H(t
n+1
t
n
)
=

H(t + (n + 1) t n)
=

H,
utilizando a equao (2.5.4). Substituindo este resultando na amplitude de
tansio q
n+1
, t
n+1
| |q
n
, t
n
,obtem-se que
q
n+1
, t
n+1
| |q
n
, t
n
= q
n+1
| e

H
~
t
n+1
e

H
~
t
n
|q
n
= q
n+1
| e

H
~

|q
n
. (2.5.6)
A amplitude de transio q
, t
| q, t com todos os conjuntos completos in-

seridos, pode ser interpretada da seguinte forma:

Figura 2.5.1: Esboo de um dos possveis caminhos entre dois estados de um
sistema
Uma partcula que propaga do ponto q no tempo t e atinge o ponto q
no tempo
t, pode passar por todos os estados intermedirios possveis, isto signica que
em cada linha horizontal entre os tempos t
0
e t
N
existe uma integral que
efetuada sobre todos os possveis (innitos) valores das coordenadas. Uma
trajetria particular mostrada na gura. Integrar sobre todos os valores
das coordenadas (linhas horizontais) como se o ponto da trajetria que
intercepta a linha deslizasse sobre toda a linha, isto para cada uma das linhas!
Veja a gura (2.5.1).
De acordo com o princpio da incerteza de Heisenberg, todos os possveis
caminhos contribuem para a amplitude de transio. Certamente (por causa
da fase) algumas trajetrias contribuiro mais que as outras.
A amplitude de transio q
n+1
, t
n+1
| q
n
, t
n
pode ser calculada mais fa-
cilmente se intervalo de tempo for de tal forma pequeno que a aproximao
q
n+1
, t
n+1
| q
n
, t
n
=
_
q
n+1
I
H
~
+O(
2
)
q
n
_
_
q
n+1
I
H
~
q
n
_
(2.5.7)
seja verdadeira, para pelo menos no caso de Hamiltonianas sem problemas
de ordenamento de operadores. A expanso acima pode ser reescrita como
q
n+1
, t
n+1
| q
n
, t
n
q
n+1
| q
n

~
q
n+1
| H( q, p) | q
n
.
O prximo problema calcular o elemento de matriz q
n+1
| H( q, p) | q
n
. A
idia bsica operar com H nos auto-estados e obter a funo Hamiltoniana,
ou um c-number. Isto acontece quando H atua no ket |q e resulta no auto-
estado e H com autovalor q,entretanto no h auto-estados de momento para
que o operador H atue resultando com H em funo de um autovalor p
de
p. Isto pode ser resolvido introduzindo-se o operador I em funo da base
dos momentos resultando numa expresso que conter o valor esperado do
operador H entre auto funes do momento e auto funes das coordenadas.
Se no houver problemas de ordenamento, o operador H poder atuar pela
esquerda (ou direita) na base dos momentos e a direita (ou esquerda) na base
das coordenadas. Explicitamente
p | H( q, p) | q = H(p, q) p | q .
Introduzindo o conjunto completo
q
n+1
| H( q, p) | q
n
= q
n+1
| IH( q, p) | q
n
=
dp
n
q
n+1
| p
n
p
n
| H( q, p) | q
n
.
Se o conjunto completo for introduzido a direita do Hamiltoniano o elemento
de matriz ser
q
n+1
| H( q, p) | q
n
= q
n+1
| H( q, p)I | q
n
=
dp
n+1
p
n+1
| q
n
q
n+1
| H( q, p) | p
n+1
.
Para evitar esta aparente ambiguidade na introduo de operador identi-
dade e problemas de ordenamento adota-se o seguinte procedimento: no h
problemas de ordenamento
p
n
| H( q, p) | q
n
p
n
| q
n
H(q
n
, p
n
); (2.5.8)
h problemas de ordenamento
p
n
| H( q, p) | q
n
p
n
| q
n
H(
1
2
(q
n+1
+q
n
), p
n
) (2.5.9)
Adota-se aqui a notao
q
n
=
_
_
_
q
n
, se no houver problemas de ordenamento,
1
2
(q
n+1
+q
n
), se houver problemas de ordenamento.
(2.5.10)
Se no houver problemas de ordenamento, no h necessidade de considerar
o clculo do elemento de matriz no valor mdio da coordenada porque os dois
procedimentos fornecem os mesmos resultados.
Com as observaes e notaes estabelecidas anteriormente, a amplitude
de transio
q
n+1
| H( q, p) | q
n
= q
n+1
| q
n

~
q
n+1
| H( q, p) | q
n
+O(
2
), (2.5.11)
q
n+1
| H( q, p) | q
n
=
dp
n
q
n+1
| p
n
p
n
| H( q, p) | q
n
dp
n
q
n+1
| p
n
p
n
| q
n
H( q
n
, p
n
),
substituindo na expresso (2.5.11) obtem-se que
q
n+1
, t
n+1
| q
n
, t
n
= q
n+1
| q
n

~
dp
n
q
n+1
| p
n
p
n
| q
n
H( q
n
, p
n
)
=
dp
n
q
n+1
| p
n
p
n
| q
n
_
1

~
H( q
n
, p
n
) +O(
2
)
_
.
Sendo
q
n+1
| p
n
=
1
2~
e
p
n
q
n+1
~
,
p
n
| q
n
=
1
2~
e
p
n
q
n
~
,
a expresso anterior pode ser escrita como
q
n+1
, t
n+1
| q
n
, t
n
=
dp
n
(2~)
e
~
p
n
(q
n+1
q
n
)
_
1

~
H( q
n
, p
n
) +O(
2
)
_
.
Inserindo esta expresso na amplitude de tansio (2.5.5) obtem-se a expres-
so
q
, t
| q, t
dq
1
dq
2
dq
N1
dp
0
(2~)

dp
N1
(2~)
e
~
p
0
(q
1
q
0
)
e
~
p
1
(q
2
q
1
)
e
~
p
N1
(q
N
q
N1
)
_
1

~
H( q
0
, p
0
)
_ _
1

~
H( q
1
, p
1
)
_

_
1

~
H( q
N1
, p
N1
)
_
.
(2.5.12)
Para dividir o intervalo de tempo em N parte iguais foi necessrio introdu-
zir N 1 conjuntos completos I em tempos diferentes o que resultou em
N 1 integrais nas coordenadas, entretanto estas N 1 divises ou cortes
resultam em N intervalos que sero integrados nos momentos, portanto h
N integraes nos momentos.
necessrio xar os pontos iniciais e nais do espao-tempo:
t
N
t
,q
N
q
,
t
0
t,q
0
q.
(2.5.13)
No limite de 0 e N a amplitude de transio torna-se
q
, t
| q, t = lim
N
0

N1
n=1
dq
n
N
m=1
_
dp
m1
2~
_
e
l=N
l=1
p
l1
(q
l
q
l1
)
N
r=1
_
1

~
H( q
r1
, p
r1
)
_
.
Sendo o
lim
0
1

~
H( q
r1
, p
r1
) exp
_
~
H( q
r1
, p
r1
)
_
, (2.5.14)
e que o produtrio da exponencial da funo Hamiltoniana igual exponen-
cial da soma, justamente por ser esta uma funo clssica. Introduzindo o
tempo innitesimal na faze da primeira exponencial, a amplitude reescrita
na forma
q
, t
| q, t = lim
N
0

N1
n=1
dq
n
N
m=1
_
dp
m1
2~
_
exp
_
~
l=N
l=1
p
l1
(q
l
q
l1
)
_
exp
_
r=1
~
H( q
r1
, p
r1
)
_
.
Considerando que
lim
N
0
q
n
q
n1
q, (2.5.15)
e que
lim
N
0
r=1
~
H( q
r1
, p
r1
)
t
dH(q, p), (2.5.16)
obtem-se para a amplitude de transio a seguinte expresso
q
, t
| q, t =
DqDp exp
_
t
d [p q H(q, p)]
_
, (2.5.17)
com as condies e denies
q = q(t)
q
= q(t
)
Dq = lim
N
N1
n=1
dq
n
,
Dp = lim
N
N
m=1
_
dp
m1
2~
_
.
(2.5.18)
O que surpreendentemente interessante na equao (2.5.17) que todas
as quantidades do lado direito do sinal de igualdade so clssicas. Esta
equao apresenta a amplitude de transio q
, t
| q, t que uma grandeza

quntica, em termos de uma integral denominada de Integral de Trajetria
de Feynman.
A Integral de Trajetria na Forma Lagrangiana.
Considera-se aqui o caso em que a Hamiltoniana do sistema da forma
H(q, p) =
p
2
2m
+V (q), (2.5.19)
quadrtica nos momentos, portanto sem problemas de ordenamento. Para
esta classe de Hamiltoniana possvel fazer as integrais nos momentos da
integral de trajetria (2.5.17) fornecendo uma outra representao para esta.
Para isto substitui-se a Hamiltoniana (2.5.19) na expresso da integral de
trajetria na forma discretizada. Nestas condies a amplitude de transio
, t
| q, t =
DqDp exp
_
dt [p q H(q, p)]
_
=
DqDp exp
_
dt
_
p q
p
2
2m
V (q)
__
= lim
N
0

N1
n=1
dq
n
N
s=1
_
dp
s1
2~
_
exp
_
~
l=N
l=1
p
l1
(q
l
q
l1
)
_
exp
_
r=1
~
H( q
r1
, p
r1
)
_
= lim
N
0

N1
n=1
dq
n
N
s=1
_
dp
s1
2~
_
exp
_
l=N
l=1
~
_
p
l1
(q
l
q
l1
)

p
2
l1
2m
V ( q
l1
)
__
.
Calculando uma integral genrica nos momentos, com a denio q
l

q
l
q
l1
I
l1

dp
l1
2~
exp
_
~
_
p
l1
q
l

p
2
l1
2m
__
=
dp
l1
2~
exp
_

2m~
_
p
2
l1
2m
p
l1
q
l
__
=
dp
l1
2~
exp
_
_
_

2m~
_
_
_
p
l1
mq
l
_
2
_
mq
l
_
2
_
_
_
_
_
= exp
_
_

2m~
_
mq
l
_
2
_
_
dp
l1
2~
exp
_
_

2m~
_
p
l1
mq
l
_
2
_
_
.
A integral a ser feita do tipo Gaussiana e vale
dp
l1
2~
exp
_
_

2m~
_
p
l1
mq
l
_
2
_
_
=
1
2~
2m~
=
_
m
2~
,
fornecendo
I
l1
=
_
m
2~
exp
_
_

2m~
_
mq
l
_
2
_
_
.
Substituindo este resultado na expresso da amplitude de transio, obtem-se
que
q
, t
| q, t = lim
N
0
__
m
2~
_
N

N1
n=1
dq
n
exp
_
_
_
l=N
l=1
~
_
_
m
2
_
q
l
_
2
V ( q
l1
)
_
_
_
_
_
= N
Dq exp
_
t
d
_
m
2
q
2
V (q, )
_
_
= N
Dq exp
_
t
dL(q, q)
_
= N
Dq exp
_
~
S(t
, t)
_
.
(2.5.20)
Esta a expresso para a integral de trajetria no formalismo Lagrangiano
ou na forma Lagrangiana. Nesta expresso a constante de integrao N foi
denida como
N lim
N
0
__
m
2~
_
N
(2.5.21)
Integral de Trajetria para uma Partcula Livre
O clculo da amplitude de transio para uma partcula livre (V = 0) em
uma dimenso, o exemplo mais simples que pode ser feito para ilustrar a
utilizao do formalismo de integrais de trajetrias. Certamente deve-se usar
a integral de trajetria no formalismo Lagrangiano uma vez que as integrais
nos momentos j foram realizadas. A Lagrangiana de uma partcula livre em
uma dimenso
L =
1
2
m q
2
, (2.5.22)
que substituida na expresso (2.5.20) na forma discretizada junto com
q
l
= q
l
= q
l1
fornece a amplitude de probabilidade forma
q
, t
| q, t = lim
N
0
__
m
2~
_
N

N1
n=1
dq
n
exp
_
l=N
l=1
~
_
m
2
_
q
l
q
l1
_
2
__
= lim
N
0
__
m
2~
_
N

dq
1
dq
n
dq
N1
= exp
_
~
_
m
2
_
q
1
q
0
_
2
+
m
2
_
q
2
q
1
_
2
+
m
2
_
q
3
q
2
_
2
+
m
2
_
q
n
q
n1
_
2
+
m
2
_
q
n+1
q
n
_
2
+ +
m
2
_
q
N
q
N1
_
2
__
Note que a varivel q
n
aparece duas vezes na soma na exponencial. Introdu-
zindo a notao

m
~2
, (2.5.23)
e considerando-se a integral em dq
1
tem-se que
I
1
=
_
m
2~
_
m
2~
dq
1
exp
_
~
_
m
2
_
q
1
q
0
_
2
+
m
2
_
q
2
q
1
_
2
__
=
_
m
2~
_
dq
n
exp
_
2
_
q
1
1
2
(q
2
+q
0
)
_
2

2
(q
2
q
0
)
2
_
=
_
m
2~
_
exp
_
2
(q
2
q
0
)
2
_
dq
1
exp
_
2
_
q
1
1
2
(q
2
+q
0
)
_
2
_
=
_
m
2~
_
exp
_
2
(q
2
q
0
)
2
_ _

2
.
As constantes podem ser simplicadas como
_
m
2~
__

2
=
1
2
_
m
~
_
~
m
=
1
2
_
~
m
_
1
~
m
=
m
2~(2)
.
E desta forma
I
1
=
m
2~(2)
exp
_
m
2~(2)
(q
2
q
0
)
2
_
.
Note o destaque no intevalo de tempo (2) por causa das duas exponenciais
que foram integradas.
Diferentemente do que aconteceu na integrao dos momentos, as inte-
grais nas coordenadas no so idependentes, para se fazer a prxima integral
em dq
2
deve levar em conta o resultado da integral em dq
1
ou seja I
1
; ou seja
I
2
=
_

2
_
dq
2
exp
_
2
(q
2
q
0
)
2
+
m
2~
(q
3
q
2
)
2
_
=
1
2
dq
2
exp
_
2
(q
2
q
0
)
2
(q
3
q
2
)
2
_
=
1
2
dq
2
exp
_
2
_
(q
2
q
0
)
2
+ 2 (q
3
q
2
)
2
_
_
1
2
dq
2
exp
_
2
[]
_
Expandindo a fase da exponencial
= (q
2
q
0
)
2
+ 2 (q
3
q
2
)
2
= q
2
2
2q
2
q
0
+q
2
0
+ 2q
2
3
4q
2
q
3
+ 2q
2
2
= 3q
2
2
2q
2
(q
0
+ 2q
3
) +q
2
0
+ 2q
2
3
= 3
_
q
2
1
3
(q
0
+ 2q
3
)
_
2
1
3
(q
0
+ 2q
3
)
2
+q
2
0
+ 2q
2
3
.
1
3
(q
0
+ 2q
3
)
2
+q
2
0
+ 2q
2
3
=
1
3
q
2
0
4
3
q
2
3
4
3
q
0
q
3
+q
2
0
+ 2q
2
3
=
2
3
q
2
0
+
2
3
q
2
3
4
3
q
0
q
3
=
2
3
(q
3
q
0
)
2
,
ou seja
= 3
_
q
2
1
3
(q
0
+ 2q
3
)
_
2
+
2
3
(q
3
q
0
)
2
que substituida na integral I
2
fornece
I
2
=
1
2
dq
2
exp
_
2
_
3
_
q
2
1
3
(q
0
+ 2q
3
)
_
2
+
2
3
(q
3
q
0
)
2
__
=
1
2
exp
_
3
(q
3
q
0
)
2
_
dq
2
exp
_
3
2
_
q
2
1
3
(q
0
+ 2q
3
)
_
2
_
=
1
2
exp
_
3
(q
3
q
0
)
2
_
2
3
=
_

3
exp
_
3
(q
3
q
0
)
2
_
.
Resumindo os resultados anteriores
I
1
=
m
2~(2)
exp
_
m
2~(2)
(q
2
q
0
)
2
_
,
I
2
=
m
2~(3)
exp
_
m
2~(3)
(q
3
q
0
)
2
_
.
(2.5.24)
Estes dois resultados so relaes de recorrrncia que permitem que se estime
o o resultado para a (N 1)sima integral que ser
I
N1
=
m
2~(N)
exp
_
m
2~(N)
(q
N
q
0
)
2
_
,
entretanto N = t
t e
q
, t
| q, t = lim
N
0
m
2~(N)
exp
_
m
2~(N)
(q
N
q
0
)
2
_
=
m
2~(t
t)
exp
_
m
2~(t
t)
(q
q)
2
_
,
(2.5.25)
que coincide exatamente com a equao para o propagador de uma partcula
livre.
Captulo 3
Theoria do Momento Angular
Neste captulo faremos uma discusso sistemtica do momento angular em
mecnica quntica. este um tema de grande utilizao como por exem-
plo em espalhamento, espectrscopia molecular e nuclear e teoria de espa-
lhamento. O conceito de momento angular tem importante extenses para
a teoria de isospin em fsica nuclear, e outras aplicaes como nas teorias
SU(3), SU(2) U(1) em fsica de partculas.
3.1 Relaes de Comutao para Rotaes e
Momento Angular
Rotaes Finitas e Innitesimais
Somente para relembrar, rotaes ao redor do mesmo eixo comutam! Por
exemplo na gura (3.1.1) esto esquematizadas duas rotaes ao redor do
eixo z: na gura 1 tem-se uma rotao de 20
o
no sentido antihorrio seguida
de uma rotao de 40
o
, j na gura 2 tem-se uma rotao de 40
o
seguida por
uma rotao de 20
0
.
Percebe-se claramente que estas rotaes so comutativas. Entretanto
quando os eixos so diferentes isto no acontece, basta considerar, por exem-
plo uma rotao de /2 ao redor do eixo z: R
z
(/2), seguida por uma rotao
de /2 ao redor do eixo x : R
x
(/2) e compar-la com uma rotao de /2
ao redor do eixo x seguida por uma rotao de /2 ao redor do eixo z . Este
procedimento est esquematizado na gura :
Como o tratamento de rotaes no simples, para entendermos o porqu
das rotaes com relao a diferentes eixos no serem comutartivas apropri-
ado estudarmos rotaes geradas por pequenos angulos ou as denominadas
rotaes innitesimais. De fato esta motivao est baseada no fato que
159
160 CAPTULO 3. THEORIA DO MOMENTO ANGULAR
Figura 3.1.1: Fig.1 e g. 2: composio de rotaes ao redor do eixo z

Figura 3.1.2: Rotaes nitas ao redor de diferentes eixos
3.1. RELAES DE COMUTAOPARAROTAES E MOMENTOANGULAR161
rotaes formam um grupo com trs parmetros contnuos quando consi-
deradas em trs dimenses, o que o presente caso. Estes grupos, muito
importantes em fsica e matemtica so chamados de grupos de Lie. Nos
estudos dos grupos de Lie costuma-se trabalhar com os geradores de trans-
formaes innitesimais uma vez que mais simples de serem tratados e suas
propriedades algbricas determinam todas as propriedades do grupo, ainda
qualquer transformao nita pode ser obtida pela composio de sucessivas
transformaes innitesimais, veja o apncide (B).
Considere uma rotao nita no plano xy ao redor do eixo z representada
pela matriz R
z
(), de um vetor V representado pela matriz coluna
V =
_
_
_
V
x
V
y
V
z
_
_
_.
O vetor girado
V
= R
z
V =
_
_
_
V
x
V
y
V
z
_
_
_ =
_
_
_
R
xx
R
xy
R
xz
R
yx
R
yy
R
yz
R
zx
R
zy
R
zz
_
_
_
_
_
_
V
x
V
y
V
z
_
_
_.
Entretanto no qualquer matriz que aceitvel para representar rotaes
j uma propriedade de um vetor deve ser mantida, ou seja o seu mdulo.
Existe uma classe particular de matrizes que satisfazem esta condio, tais
matrizes so chamadas de matrizes ortogonais e a condio que
V
i
V
i
= R
ij
V
j
R
ik
V
k
= R
ij
R
ik
V
j
V
k
= V
i
V
i
. (3.1.1)
Esta equao ser satisfeita se
R
ij
R
ik
=
jk
, (3.1.2)
ou na forma matricial, tendo em conta que R
ik
= (R
T
)
ki
onde o superescrito
T representa a transposta da matriz,
RR
T
= R
T
R = I, (3.1.3)
onde I a matriz unidade em 3 dimenses. a condio (3.1.1) representa a
invarincia do mdulo sob rotaes e as equaes ((3.1.2),(3.1.3) ) denem
matrizes ou transformaes ortogonais. Em particular para uma rotao ao
redor do eixo z que gira os eixos de coordenadas x
1
, x
2
do sistema de um
angulo no sentido antihorrio com relao ao eixo x
1
para os novos eixos
x
1
e x
2
como esquematizado na gura (3.1.3),
Figura 3.1.3: Rotao passiava ao redor eixo z
obtem-se que
x
= x cos +ysen,
y
= xsen +y cos ,
(3.1.4)
que representam transformaes passivas do sistema de coordenadas sob ro-
tao. Esta conveno geralmente utilizada na mecnica clssica quando
descrevemos a dinmica de um slido. Entretanto a conveno na qual os ei-
xos coordenados permanecem xos e o sistema girado, mais apropriada na
mecnica quntica por conta da rotao dos vetores de estado que represen-
tam sistemas fsicos. Vamos adotar aqui a conveno denominada por alguns
autores de ativa na qual o sistema gira enquanto que os eixos coordenadas
permanecem xos. Para se passar de uma conveno a outra simplesmente
troque ,para obter utilizando as equaes (3.1.4) a matriz
R
z
() =
_
_
_
cos sen 0
sen cos 0
0 0 1
_
_
_. (3.1.5)
Esta matriz representa uma rotao nita de um angulo ao redor do eixo z
de um dado sistema fsico. Note que foi mudado o nome da varivel angular!
As outras matrizes de rotao podem se deduzidas de maneira anloga ou
simplesmente notando via permutaes cclicas dos eixso ,x, y e z ou seja
x y z x,
pode-se obter as outras matrizes representados rotaes ao redor dos eixos
x, R
x
() e R
y
(). Por exemplo na ordem ciclica o prxima matriz a ser
construida a partir da matriz R
z
a matriz R
x
, paraq isto note que o elemento
xx da matriz R
z
passar a ser o elemento yy da matriz R
x
;
xx
xy
yy,
analogamente para os outros termos
R
x
() =
_
_
_
1 0 0
0 cos sen
0 sen cos
_
_
_, (3.1.6)
partindo desta matriz obtem-se que
R
y
() =
_
_
_
cos 0 sen
0 1 0
sen 0 cos
_
_
_. (3.1.7)
Nosso objetivo so as transformaes innitesimais, portanto para pequenos
angulos de rotao pode-se expandir o sen e cos em srie de potencias man-
tendo somente termos quadrticos no angulos que por serem pequenos sero
considerados todos iguais! Fazendo isto obtem-se a forma innitesimal das
matrizes de rotao
R
z
() =
_
_
_
1

2
2
0
1

2
2
0
0 0 1
_
_
_, (3.1.8)
R
x
() =
_
_
_
1 0 0
0 1

2
2

0 1

2
2
_
_
_, (3.1.9)
R
y
() =
_
_
_
1

2
2
0
0 1 0
0 1

2
2
_
_
_. (3.1.10)
Comparemos agora o efeito de duas rotaes sucessivas ao redor de diferentes
eixos, por exemplo os eixos x e y mantenso-se termos at a ordem de
2
:
R
x
()R
y
() =
_
_
_
1 0 0
0 1

2
2

0 1

2
2
_
_
_
_
_
_
1

2
2
0
0 1 0
0 1

2
2
_
_
_
=
_
_
_
1

2
2
0
2
1

2
2

1
2
_
_
_,
(3.1.11)
R
y
()R
x
() =
_
_
_
1

2
2
0
0 1 0
0 1

2
2
_
_
_
_
_
_
1 0 0
0 1

2
2

0 1

2
2
_
_
_
=
_
_
_
1

2
2

2
0 1

2
2

1
2
_
_
_
(3.1.12)
Comparando estas duas matrizes, percebe-se que elas diferem por termos
da orde
2
fora da diagonal, por exemplo os elementos 21 de R
x
()R
y
() e o
elemento 12 de R
y
()R
x
(), note que so elementos transpostos decorrente
da mistura dos eixos xy. Veja que elementos nas posies 13ou 23 ou corres-
pondentemente xz ou yz e seus transposto, so iguais! Isto porque no so
misturas dos eixos que esto sendo girados ( na liguagem passiva!).
Subtraindo as equaes (3.1.11) e (3.1.12) obtem-se que
R
x
()R
y
() R
y
()R
x
() =
_
_
_
0
2
0
2
0 0
0 0 0
_
_
_
=
_
_
_
1
2
0
2
1 0
0 0 1
_
_
_
_
_
_
1 0 0
0 1 0
0 0 1
_
_
_ = R
z
(
2
) I
(3.1.13)
onde termos de ordens superiores a
2
foram desprezados. Na expresso
anterior
I = exp
_
t
~
S
z
_
R
i
(0), i = x, y, z.
Este um exemplo de relao de comutao entre operadores de rotaes
ao redor de diferentes eixos, que ser usada posteriormente na deduo das
relaes de comutao do momento angular na mecnica quntica.
Rotaes Innitesimais na Mecnica Quntica
Para construirmos as representaes da matriz de rotao R na mecnica
quntica vamos inicialmente fazer um paralelo entre o que sabemos na da
descrio clssica, grupos de Lie e o que temos, sabemos e precisamos na
Mecnica Quntica.
Rotaes na Mecnica Clssica - Espao Euclidiano:
R
_
_
uma matriz ortogonal R
T
= R
1
,
geradora de rotaes;
atua sobre vetores coluna V ;
V representa uma varivel
dinmica como posio,
momento linear, etc.
e o momento angular
L
_
_
r p,
gerador de rotaes ,
L
i
=
ijk
x
j
p
k
i, j k = 1, 2, 3.
Rotaes na Mecnica Quntica - Espao de Hilbert
Rotaes
_
_
afetam o estado do sistema | ,
matriz ortogonal Rdeve corresponder um operador R,
preciso encontrar uma representao do operador R D(R).
O problema qual o operador que gira o ket no espao de Hilbert, e mais
como representar momento angular de forma genrica de forma que qualquer
valor do meomento angular seja permitido, ou seja inteiro ou semi-inteiro.
Certamente a correspondncia
L
i

L
i
no aceitvel, no sentido de no ser geral j que tal descrio no d conta
do spin, por exemplo de um frmion. O operador que buscamos deve ser
uma representao unitria do grupo de rotaes. O grupo de rotaes
um grupo de Lie, os operadores unitrios na mecnica quntica preservam o
mdulo do vetor de estado e so naturalmente uma representao unitria de
um grupo de Lie cujos geradores innitesimais so operadores hermitianos.
Isto signica que buscamos uma representao que satisfaa alguns requisitos
D(R)
_
_
atua sobre os vetores de estado,
a representao matricial de D(R)
depende da dimensionalidade Ndo
espao de Hilbert em questo
em particular para spin 1/2, N = 2
e D(R) representado por matrizes 2 2
Novamente, Precesso do Spin
Vamos revisar o fenmeno de precesso de spin, tratado anteriormente em
termos do operador de evoluo temporal, de um outro ponto de vista. Ante-
riormente o problema consistiu em encontrar um operador Hamiltoniano que
fornecia o ket do sistema em um tempo t qualquer, via operador de evoluo
temporal, ou seja
|, t = U(t, t
0
) |, t
0
,
com
U(t, t
0
) = exp
_
H
~
(t t
0
)
_
.
O operador Hamiltoniano apropriado para este problema
H =
_
e
m
e
c
_
S B
que representa a interao spin campo magntico de um eltron com massa
m
e
e carga eltrica e, e < 0 em um campo magntico externo. Considerando
o campo homogneo no espao e tempo, na direo do eixo z obtem-se que
H =
_
|e|B
m
e
c
_
S
z
S
z
, (3.1.14)
que substituida na expresso do operador de evoluo temporal fornece
U(t, 0) = exp
_
t
~
S
z
_
. (3.1.15)
Nota-se da equao (3.1.15) que denindo-se
t (3.1.16)
obtem-se a forma
U(t, 0) = exp
_
S
z
~

_
que exatamente a forma do operador de rotao
D
z
(R) = exp
_
S
z
~

_
(3.1.17)
descrevendo rotaes de um sistema com spin 1/2 ao redor do eixo z. Por
isto pode-se entender porque o Hamiltoniano (3.1.14) faz com que o eltron
precesse, o operador de evoluo temporal para este Hamitoniano exata-
mente igual ao operador de rotaes ao redor do eixo z para um sistema com
spin 1/2.
Dada esta semelhana pode-se por comparao entre as equaes (3.1.15)
e (3.1.17) obter imediatamente os resultados para os valores mdios de S
i
:
, t | S
x
| , t = | S
x
| cos(t) | S
y
| sen(t), (3.1.18)
, t | S
y
| , t = | S
y
| cos(t) +| S
x
| sen(t), (3.1.19)
, t | S
x
| , t = | S
z
| . (3.1.20)
Aps transcorrito o tempo t = 2/ o valor mdio do spin retorna a sua
direo original.
Este conjunto de equaes pode ser utilizado para discutir o movimento
de precesso do muon, uma partcula com massa aproximadamente igual a
210m
e
e de mesma carga. Para utilizar estas equaes necessrio conhecer a
frequncia de precesso para o muon, e para isto necessrio conhecer seu
momento magntico! Isto feito com um outro experimento, por exemplo
em m experimento onde se analisa o espctro de energia do muonium que
um tomo articial resultante do estado ligado de um mon com um eltron.
A anlise espectroscpica da estrutura hiperna dos nveis de energia deste
sistema fornece o momento magntico para o muon igual
m
=
e~
m
c
, (3.1.21)
concordando com o valor previsto pela equao de Dirac para partculas com
spin 1/2.
A evoluo temporal do vetor de estado |
, t | S
x
| , t = U(t, 0) |
= exp
_
t
~
S
z
_
|
= exp
_
t
~
S
z
_
(+| |+ +| |)
= exp
_
t
2
_
+| |+ + exp
_
t
2
_
| |
(3.1.22)
Segue desta expresso que o ket adquire um sinal aps um tempo t = 2/e
necessrio esperar um tempo t = 4/ para que o sistema volte a sua
congurao inicial. Note portanto que temos dois perdos distintos, um
associado precesso do spin
pre
=
2
, (3.1.23)
e o perodo associado ao estado do sistema, ou o perodo do ket do sistema:
est
=
4
. (3.1.24)
O segundo o dobro do primeiro.
Interfermetro de Neutrons
Experimento para estudar as rotaes de 2
Vamos estudar um experimento que pode indicar ou no a existncia de
um sinal na equao (XXX). Para isto vamos considerar a precesso de
neutrons em um campo magntico uniforme.
A comparao entre o operador de rotao para spin 1/2, equao (XXX)
e o operador de evoluo temporal (3.1.15) permite-nos fazer experincias
com precesso e tirar concluses sobre rotao, to certo quanto a igualdade
ou correspondncia
t
seja vlida.
Considere, ento a experiencia com neutrons tmicos (baixa energia).
Neste experimento um feixe de neutrons partindo da fonte na posio x
0
no
tempo tt so separados em dois feixes que pecorrem diferentes trajetos A e
B. O feixe que percorre o trajeto A no passa por nenhum campo magntico,
enquanto que o feixe que percorre o trajeto B passa por uma regio nita
(limitada) do espao que contm um campo magntico homogneo no espao
e tempo, para depois serem desviados e interferirem no ponto x, no tempo
t. O experimento esboado na gura (XXX)
Apndice A
Espaos Vetoriais.
Um espao vetorial[5] (ou espao linear) L sobre um campo K um conjunto
no qual duas operaes so denidas: a adio ( ou combinao de dois
elementos), representada pelo simbolo + e a multiplicao por um elemento
do corpo K (denominado escalar). Neste texto praticamente trabalharemos
com o campo real K ou complexo C. Os elementos do espao vetorial L,
denominados vetores so postulados a satisfazem os seguintes axiomas:
1. u +v = v +u
2. u + (v +w) = (u +v) +w
3. o vetor nulo 0 tal que v +0 = v
4. u K , u K | u + (u) = 0
5. c(u +v) = cu +v
6. (c +d)u = cu +cv
7. c(du) = (cd)u
8. 1u = u Os vetores u , v e w so elementos de L e c, d e 1 so elementos
do campo K.
Seja {v
i
} um conjunto com k vetores. Se a equao
i=k
i=1
k
i
v
i
= 0 , (A.0.1)
possuir somente soluo trivial k
i
= 0 (ou seja se a igualdade somente se
verica se todos os escalares k
i
= 0) o conjunto de k-vetores denominado
169
170 APNDICE A. ESPAOS VETORIAIS.
de linearmente independente , caso contrrio, se existir somente um k
i
no nulo o sitema denominado de linearmente dependente. Se um dos
vetores v
i
for nulo, seu coeciente no necessriamente nulo e o conjunto
ser linearmente dependente.
Um conjunto de vetores e
i
uma base do espao vetorial L se todo vetor
v L puder ser decomposto unicamente como
v =

i
a
i
e
i
, (A.0.2)
onde a
i
so elementos do corpo K, e so denominados de componentes do
vetor v na base {e} em outras palavras na base e
1
a decomposio de v
nica. Se o nmero de vetores e
i
for n a base ser ndimensional, dimL = n
e representada como L(n, K).
A.1 Produto Interno
Denio A.1.1. Produto Interno. Um produto interno sobre um espao
vetorial L um mapeamento bilinear f que associa a cada par (u, v) de
elementos do espao vetorial L um nmero < u, v > K = (R, C). Esta
funo f (mapeamento) possui as seguintes propriedades:
positividade. < v, v >= 0, v L
no-degenerado. < v, v >= 0 =v = 0
aditivo (distribuitivo a direita e esquerda)
=< u, w+r > + < v, w+r >
= < u, w > + < u, r > + < v, w > + < v, r > .
homogneo. < au, v >= a
< u, v >; < u, av >= a < u, v >, a K,

v, w L
simtrico. < u, v >= < v, u >
1
A notao {e} signica que todos os elementos da base so considerados, portanto
e e
1
, , e
k
Apndice B
Grupos de Lie.
Faremos aqui uma breve introduo ao Grupos de Lie. A literatura ex-
tensa e de difcil seleo, entretato no conntexto deste curso destaca-se as
referncias (author?) [11] e (ref. meu livro) .
Um grupo um conjunto de elementos G = {g
1
, g
2
, , g
n
} junto com
uma lei de composio dos elementos, denominada de multiplicao , denida
para cada par de elementos de G e satisfaz
1. Se g
1
e g
2
G, ento g
1
g
2
G; esta relao denominada de relao
de fechamento.
2. A lei de composio associativa: g
1
(g
2
g
3
) = (g
1
g
2
)g
3
, g
1
, g
2
, g
3

G.
3. Existe um nico elemento e G denominado elemento identidade tal
que eg = ge = g, g G.
4. Todo elemento g G possui o seu inverso representado por g
1
tal que
g g
1
= g
1
g = e.
Grupos Contnuos. Se os elementos do grupo forem contnuos e inumer-
veis o grupo contnuo, entretanto se os elementos forem contnuos e
numerveis o grupo discreto.
Grupos Contnuos Finitos e Innitos. Se o nmeros de parmetros do
grupo for nito, o grupo denominado nito, se for innito, o grupo
denominado de innito.
Grupos Topolgicos. Quando a composio e inverso so funes anal-
ticas (holomrcas) para todos elementos do grupo.
171
172 APNDICE B. GRUPOS DE LIE.
B.1 Grupos de Lie, only to english see!
Um grupo topolgico, os elementos g so funes dos parmetros do grupo
que podem ser escritas como
g
1
= g
1
(a
1
, , a
n
) ,
g
2
= g
2
(b
1
, , b
n
) ,
onde a
i
e b
i
so os parmetros do grupo. Sejam as operaes de multiplicao
e inverso escritas em funo dos parmetros
g
1
g
2
= g
3
(c
1
, , c
n
) ,
g
1
= g
1
(d
1
, , d
n
) = g
4
.
Os parmetros de g
3
e g
4
devem ser funes contnuas e diferenciveis dos
parmetros de g
1
e g
2
c
i
= c
i
(a
1
, , a
n
; b
1
, , b
n
) ,
d
i
= d
i
(a
1
, , a
n
) ,
onde 1 5 i 5 n.
Quando estas condies so satisfeitas, o grupo topolgico denominado
de Grupo de Lie. Em resumo um grupo topolgico ndimensional deno-
minado grupo de Lie se os parmetros da operao de multiplicao e do
elemento inverso so funes analticas dos parmetros do grupo.
apropriado fazer a escolha dos parmetros de forma que o elemento
identidade seja a imagem do elemento g na origem do espao dos parmetros
I = g(0, 0, , 0).
Desta forma os elementos prximos a identidade
1
podem ser escritos como
g (o, 0, ;
j
, 0 , 0) = g(0) +
j
I
j
(0), sem soma no ndice repetido j,
que de fato fornece os geradores
I
j
= lim
j
0
_
1
j
[g (0, 0, ;
j
, ) g(0)]
_
. (B.1.1)
Todas as propriedades de um Grupo de Lie podem ser obtida dos ngeradores
I
j
, 1 5 i 5 n.
1
Certamente numa expanso em srie de Taylor e considerando as propriedades anal-
ticas do grupo de Lie.
B.2. LGEBRA DE LIE 173
Aplicaes sucessivas de transformaes innitesimais geram transforma-
es nitas conexas identidade
g (0, 0, ; a
j
, 0, , 0) = [g (0, 0, ;
j
, )]
N
.
Utilizando
lim
N
_
1 +
x
N
_
N
= e
x
,
obtem-se que
g (0, 0, ; a
j
, 0, , 0) = e
a
j
I
j
, sem soma em j.
Para um elemento genrico
g (a
1
, , a
n
) = exp
_
_
j=1
a
j
I
j
_
_
.
Os elementos I
j
so denominados de geradores do grupo de Lie.
Importante. para grupos nitos, a tabela de multiplicao do grupo
determina as propriedades do grupo. J para grupos contnuos, o comuta-
dor dos geradores que determina as propriedades do grupo, entretanto o
comutador dos geradores determina a lgebra do grupo de Lie!
Para esclarecer este ponto mas sem entrar em detalhes, deve-se considerar
que sendo o produto de dois elementos do grupo, tambm um elemento do
grupo portanto pode ser escrito como
exp
_
_
j=1
c
j
I
j
_
_
.
Isto complicado j que em geral os geradores no comutam. Para que o
produto
_
_
j=1
a
j
I
j
_
_
_
_
j=1
b
j
I
j
_
_
,
pertena ao grupo necessrio que o comutador dos geradores seja uma
combinao linear dos geradores:
[I
i
, I
j
] =

k
c
k
ij
I
k
, 1 5 i, j, 5 n.
Os coecientes c
k
ij
R e so chamados de constantes de estrutura.
B.2 lgebra de Lie
174 APNDICE B. GRUPOS DE LIE.
Apndice C
Momento, Gerador de
Translaes
As condies impostas ao operador de translao so de fato as condies
que devem satisfazer os elementos de um grupo de Lie.
Como bem conhecido o grupo de translao um grupo de Lie de um
parmetro. Neste caso estamos considerando uma representao unitria do
grupo de translao.
Conhecendo os geradores innitesimais do grupo de Lie e conhecendo a
lgebra de Lie destes geradores pode-se construir uma representao do grupo
da seguinte forma
G(p) = lim
N
g(p
N
)g(p
N1
) g(p
1
)
onde G(p) um elemento nito (gera uma transformao nita) e g(p
i
) so
os geradores de transformaes innitesimais. Os elementos innitesimais da
algebra ou geradores de transformaes innitesimais so defnidos como
g
i
= lim
0
_
1
i
[G(
i
) G(0)]
_
,
com o elemento identidade denido na origem do espao dos parmetros
G(0) = I,
i
o isimo parmetro.
Desta forma, elementos conexos identidade so escritos como
G(
i
) G(0) g = I g,
onde g o gerador innitesimal anteriormente denido. Um elemento nito
pode ser obtido (da expresso acima) como
G() = lim
N
[1
N
g] [1
N1
g] [1
1
g] ,
175
176 APNDICE C. MOMENTO, GERADOR DE TRANSLAES
escolhendo todos intervalos de mesmo tamanho
N
=
x
N
,
obtem-se que
G(x) = lim
N
_
1
x
N
g
_
N
= e
xg
.
Considere o operador de translao T (x
), em uma dimenso 1d que possui

um parmetro contnuo x
. Utilizando a denio de gerador innitesimal

ca claro a forma escolhida para este operador na equao 1.6.12. O que
necessrio encontrar a forma do operador hermitiano K
i
. Para isto considere
uma funo f(x) genrica que submetida a uma translao de x
0
:
T(x
0
)f(x) = f(x +x
0
),
com T (x
0
) representando uma translao nita. Utilizando a denio de
gerador de transformao innitesimal pode-se obter a forma do gerador de
translaes innitesimais:
t(x
0
) = lim
0
_
1
[T(x
0
) T(0)]
_
.
Atuando com o operador innitesimal em uma funo f(x) obtem-se
t(x
0
)f(x) = lim
0
_
1
[T(x
0
) T(0)]
_
f(x)
b = lim
0
_
1
[T(x
0
)f(x) If(x)]
_
= lim
0
_
1
[f(x + x
0
) If(x)]
_
= lim
0
_
1
_
f(x) + x
0
df(x)
dx
f(x)
__
x
0
df(x)
dx
.
Em resumo, a forma do gerador de translaes innitesimais
t(x
0
) = x
0
x
que a expresso encontrada utilizando-se a realizao da lgebra 1.6.13.
Apndice D
Transformaes Cannicas
Dada a funo lagrangiana L(q, q, t) associada a um dado sistema fsico,
fcil mostrar que as duas aes
S =
t
2
t
1
L(q, q, t)dt
e
S
=
t
2
t
1
_
L(q, q, t) +
dF(q, t)
dt
_
dt, F = F(q, t), F(t
2
) = F(t
1
) = 0,
fornecem as mesmas equaes de movimento, portanto as duas lagrangianas
so igualmente boas para a descrio do sistema.
Considere uma transformao de Legendre que fornece uma outra funo
que denomina-se hamiltoniana H(q, p):
H(q, p) =

i
p
i
q
i
L(q, q)|
q=p
.
Em termos de H a ao S pode ser escrita como
S =
t
2
t
1
_
i
p
i
q
i
H(q, p)
_
dt,
porm analogamente a invarincia da ao via adio da derivada total de
uma funo das coordenadas, pode-se construir uma outra ao S
=
t
2
t
1
_
i
P
i

Q
i
H(Q, P) +
dF
dt
_
dt,
177
178 APNDICE D. TRANSFORMAES CANNICAS
sendo agora Fuma funo mais geral que depende das coordenadas e mo-
mentos. A ao S
fornece a mesma dinmica que a ao S, portanto
i
p
i
q
i
H(q, p) =

i
P
i

Q
i
H(Q, P) +
dF
dt
.
Como o lado esquerdo do sinal de igualdade depende das variveis q, p e o di-
reito das variveis Q, P a funo F pode ser selecionada de forma apropriada
a um dado problema em considerao. As formas mais comuns so
F
1
= F
1
(q, Q), F
2
= F
2
(q, P), F
3
= F
3
(p, Q), F
4
= F
4
(p, P).
Considere cada caso separadamente:
1. F
1
= F
1
(q, Q).
dF
1
dt
=
F
1
q
i
q
i
+
F
1
Q
i
Q
i
+
F
1
t
.
i
p
i
q
i
H(q, p) =

i
P
i

Q
i
H(Q, P) +
F
1
q
i
q
i
+
F
1
Q
i
Q
i
=
p
i
=
F
1
q
i
, P
i
=
F
1
Q
i
, H(q, p) = H(Q, P)
F
1
t
.
2. F
2
= F
2
(q, P).
dF
2
dt
=
F
2
q
i
q
i
+
F
2
P
i
P
i
+
F
2
t
.
i
p
i
q
i
H(q, p) =

i
P
i

Q
i
H(Q, P) +
F
2
q
i
q
i
+
F
2
P
i
P
i
+
F
2
t
,
Note que a escolha
F
2
P
i
= Q
i
somado a P

Q permite que seja escrito uma derivada total.
i
p
i
q
i
H(q, p) =

i
P
i

Q
i
H(Q, P) +
F
2
q
i
q
i
+Q
i

P
i
+
F
2
t
=

i
d
dt
(P
i
Q
i
) H(Q, P) +
F
2
q
i
q
i
+
F
2
t
=
p
i
=
F
2
q
i
,
F
2
P
i
= Q
i
, H(Q, P) = H(q, p) +
F
2
t
.
179
3. F
3
= F
3
(p, Q).
dF
3
dt
=
F
3
p
i
p
i
+
F
3
Q
i
Q
i
+
F
3
t
.
i
p
i
q
i
H(q, p) =

i
P
i

Q
i
H(Q, P) +
F
3
p
i
p
i
+
F
3
Q
i
Q
i
+
F
3
t
,
Note que a escolha
F
3
p
i
= q
i
somado a p
i
q
i
permite que seja escrito uma derivada total.
d
dt
i
p
i
q
i
H(q, p) =

i
P
i

Q
i
H(Q, P) +
F
3
Q
i
Q
i
+
F
3
t
=
F
3
Q
i
Q
i
, H(Q, P) = H(q, p) +
F
3
t
4. F
4
= F
4
(p, P).
dF
4
dt
=
F
4
p
i
p
i
+
F
4
P
i
P
i
+
F
4
t
.
i
p
i
q
i
H(q, p) =

i
P
i

Q
i
H(Q, P) +
F
4
p
i
p
i
+
F
4
P
i
P
i
+
F
4
t
,
Note que a escolha
F
4
p
i
= q
i
,
F
4
P
i
= Q
i
,
permite que se escreva as derivadas totais, portanto
d
dt
i
p
i
q
i
H(q, p) =
d
dt
i
P
i
Q
i
H(Q, P) +
F
4
t
=
H(Q, P) = H(q, p) +
F
4
t
D.1 Transformaes Cannicas Innitesimais.
Considere uma tranasformao connica innitesimal de forma que as novas
coordenadas e novos momentos diram somente por innitsimos das antigas
coordenadas e antigos momentos
Q
i
= q
i
+ q
i
P
i
= p
i
+ p
i
(D.1.1)
Devido a forma desta transformao utiliza-se a F
2
(q, P), que escrita em
funo de F
1
(q, Q) tem a forma
1
F
2
(q, P) = F
1
(q, Q) +
PQ,
com
F
2
P
i
= Q
i
, p
i
=
F
2
q
i
,
e notando que em particular a funo geradora
F
2
(q, P) =

qP
fornece a transformao
F
2
P
i
= q
i
= Q
i
, p
i
=
F
2
q
i
= P
i
que simplismente a transformao identidade. Pode-se portanto procurar
uma transformao innitesimal conexas identidade, da forma D.1.1 gera-
das pela funo F
2
. Em funo de um parmetro innitesimal esta funo
pode ser escrita como
F
2
(q, P) =

qP + G(q, P),
fornecendo
Q
i
=
F
2
P
i
= q
i
+

P
i
G(q, P),
P
i
=
F
2
q
i
= P
i
+

q
i
G(q, P).
1
Para se escrever uma funo geradora em termos das outras necessrio fazer uma
transformao de Legendre que envolva o produto das nova coordenada na nova funo
com a antiga coordenada da antiga funo. O sinal deve ser ajustado conforme a equao
em particular.
D.1. TRANSFORMAES CANNICAS INFINITESIMAIS. 181
Em resumo, obtem-se portanto
Q
i
= q
i
+

P
i
G(q, P)
P
i
= P
i
+

q
i
G(q, P)
.
Para G = P
i
tem-se que Q
i
= q
i
+, e P
i
= p
i
. Neste caso a funo geradora
G(q, P) gera uma translao da coordenada generalizada q
i
para q
i
+ .
Apndice E
A Equao de Hamilton-Jacob
E.1 Equaes Diferenciais Parciais de Primeira
Ordem
Uma equao diferencial parcial linear de primeira ordem, envolvendo uma
varivel dependente z e duas variveis independentes x e y da forma
A
z
x
+B
z
y
= C, (E.1.1)
onde A, B e C so funes de x, y e z. Se A ou B for igual a zero a equao
facilmente integrada. Por exemplo a equao diferencial com
A = 1,
B = 0,
C = 2x + 3y,
z
x
= 2x + 3y
pode ser integrada diretamente, fornecendo
z = x
2
+ 3xy + (y),
onde uma funo arbitrria.
Para estudar o mtodo de Lagrange apresentado adiante, apropriado
considerear inicialmente o problema geral. Sejam u = u(x, y, z) e v =
v(x, y, z) funes independentes das variveis x, y, z e seja
(u, v) = 0 (E.1.2)
183
184 APNDICE E. A EQUAO DE HAMILTON-JACOB
uma relao arbitrria entre elas. Considere z uma varivel dependente das
variveis independentes x e y; o diferencial da funo
d =

u
du +

v
dv,
e os diferenciais de u e v so respectivamente
du =
u
x
dx +
u
y
dy +
u
z
dz
=
u
x
dx +
u
y
dy +
u
z
_
z
x
dx +
z
y
dy
_
=
_
u
x
+
u
z
z
x
_
dx +
_
u
y
+
u
z
z
y
_
dy
e
dv =
v
x
dx +
v
y
dy +
v
z
dz
=
v
x
dx +
v
y
dy +
v
z
_
z
x
dx +
z
y
dy
_
=
_
v
x
+
v
z
z
x
_
dx +
_
v
y
+
v
z
z
y
_
dy.
Substituindo na diferencial de
d =

u
du +

v
dv
=

u
__
u
x
+
u
z
z
x
_
dx +
_
u
y
+
u
z
z
y
_
dy
_
+

v
__
v
x
+
v
z
z
x
_
dx +
_
v
y
+
v
z
z
y
_
dy
_
=
_
u
_
u
x
+
u
z
z
x
_
+

v
_
v
x
+
v
z
z
x
__
dx
+
_
u
_
u
y
+
u
z
z
y
_
+

v
_
v
y
+
v
z
z
y
__
dy
= 0,
sendo a igualdade satisfeita para
u
_
u
x
+
u
z
z
x
_
+

v
_
v
x
+
v
z
z
x
_
= 0,
u
_
u
y
+
u
z
z
y
_
+

v
_
v
y
+
v
z
z
y
_
= 0,
E.1. EQUAES DIFERENCIAIS PARCIAIS DE PRIMEIRAORDEM185
j que dx e dy so variveis independentes. A soluo desta equao (elimi-
nando /u e /v ) obtem-se que
u
x
+
u
z
z
x
v
x
+
v
z
z
x
u
y
+
u
z
z
y
v
y
+
v
z
z
y
= 0 =
_
u
x
+
u
z
z
x
__
v
y
+
v
z
z
y
_
_
u
y
+
u
z
z
y
__
v
x
+
v
z
z
x
_
= 0 =
u
x
v
y

u
y
v
x
+
_
v
y
u
z

u
y
v
z
_
z
x
+
_
u
x
v
z

u
z
v
x
_
z
y
= 0.
Introduzindo a notao
A
v
y
u
z

u
y
v
z
,
B
u
x
v
z

u
z
v
x
,
C
u
x
v
y
+
u
y
v
x
,
(E.1.3)
obtem-se a seguinte equao diferencial
A
z
x
+B
z
y
= C,
que exatamente a equao (??).Um ponto importante que esta equao
independente da forma da funo ! Obtem-se tambm desta equao,
devido = , que
v
y
u
z

u
y
v
z
A
=
u
x
v
z

u
z
v
x
B
=

u
x
v
y
+
u
y
v
x
C
Lagrange transformou o problema de se encontrar a soluo da equao
(??) ao problema equivalente de se encontrar a soluo do sistema
dx
A
=
dy
B
=
dz
C
(E.1.4)
com o seguinte procedimento: Considere u = u(x, y, z) = a e v = v(x, y, z) =
b com a e b constantes duas solues particulares e independentes da equao
(E.1.4) .
As diferenciais totais destas funes so
u
x
dx +
u
y
dy +
u
z
dz = 0,
v
x
dx +
v
y
dy +
v
z
dz = 0.
Multiplicando a primeira equao por
v
x
e a segunda por
u
x
e subtraindo
obtm-se que
_
v
x
u
y

u
x
v
y
_
dy +
_
v
x
u
z

u
x
v
z
_
dz = 0 =
dy
dz
=
_
v
x
u
z
+
u
x
v
z
_
_
v
x
u
y

u
x
v
y
_
,
Eliminando o diferencial dy:
_
v
y
u
x

u
y
v
x
_
dx +
_
v
y
u
z

u
y
v
z
_
dz = 0 =
dx
dz
=
_
v
y
u
z

u
y
v
z
_
_
v
y
u
x
+
u
y
v
x
_
.
Eliminando o diferencial dz :
_
v
z
u
x

u
z
v
x
_
dx +
_
v
z
u
y

u
z
v
y
_
dy = 0 =
dx
dy
=
_
v
z
u
y
+
u
z
v
y
_
_
v
z
u
x

u
z
v
x
_
.
As equaes e as equaes dy/dz, dx/dz e dx/dy podem ser escritas na forma
dx : dy : dz =
_
v
y
u
z

u
y
v
z
_
:
_
v
z
u
x

u
z
v
x
_
:
_
v
y
u
x
+
u
y
v
x
_
.
Entretanto estas expresses so as denies de A, B e C que aparecem na
equao (E.1.3).
Ou seja, resolvendo o sistema de Lagrange (E.1.4) obtem-se as funes
u(x, y, z) e v(x, y, z) e portanto a soluo (E.1.2) da equao diferencial
parcial (??).
E.1.1 Soluo Completa
Se u = a e v = b so duas solues independentes da equao (E.1.4) e se
e so constantes arbitrrias,
u = v + (E.1.5)
chamada de soluo completa da equao (??).
E.2. A EQUAO DE HAMILTON-JACOB 187
Exemplo E.1.1. Encontre a soluo geral da equao
x
z
x
+y
z
y
= 3z.
O sistema auxiliar, (E.1.4) ou sitema de Lagrange
dx
x
=
dy
y
=
dz
3z
,
com A = x, B = y e C = 3z. Da igualdade
dx
x
=
dy
y
=ln x + ln y = b =v =
y
x
= b
e
dx
x
=
dz
3z
=u =
z
x
3
= a.
A soluo geral
(z/x
3
, y/x) = 0.
Certamente poderiamos ter considerado
dy
y
=
dz
3z
=ln y
3
= ln z =v =
z
y
3
= b,
com uma soluo geral equivalente da forma
(z/x
3
,
z
y
3
) = 0.
A soluo completa desta equao
z
x
3
=
_
y
x
_
+ .
E.2 A Equao de Hamilton-Jacob
Associando uma funo lagrangiana L a um sistema mecnico com n graus
de liberdade, pode-se se utilizar as equaes de Euler-Lagrange
d
dt
_
L
q
i
_
L
q
i
= 0, i = 1, 2, n
para descrever sua dinmica. Costuma-se denir os momentos generalizados
p
i
=
L
q
i
,
e segue da equao de Euler-Lagrange que
p
i
=
L
q
i
.
As equaes de Euler-Lagrange so obtidas via princpio variacional da
ao
S =
t
f
t
i
L(q, q, t)dt,
ou seja, impondo que a variao da ao
S =
t
f
t
i
L(q, q, t)dt = 0,
seja um extremum.
As lagrangianas L e
L
= L +
dF(q, t)
dt
,
fornecem as mesmas equaes de movimento se a funo F for nula nos
extremos de integrao. Em termos do princpio variacional de Hamilton
S =
t
f
t
i
_
p
i
q
i
H
_
dt ,
esta invarincia leva a expresso anterior forma
S =
t
f
t
i
_
P
i

Q
i
H
_
dt =
t
f
t
i
_
P
i

Q
i
H +
dF
dt
_
,
onde a funo F pode depender das antigas e novas coordenadas e antigos e
novos momentos, dependendo do contexto do probelma. Neste contexto con-
sidere o seguinte e muito interessante problema: as equaes de movimento
de Hamilton so
p
i
= {p
i
, H},
q
i
= {q
i
, H},
E.2. A EQUAO DE HAMILTON-JACOB 189
devido estas equaes e as transformaes cannicas, seria muito interes-
sante encontrar uma nova hamiltoniana H
nula j que esta forneceria novas

variveis dinmicas Q
s e P
s constantes de movimento. Seja

F = F
2
= S(q, P, t),
a funo geradora que realiza esta tarefa. Neste caso a nova hamiltoniana
H
ser nula e tem-se que

H(q, p, t) +
S(q, P, t)
t
= 0.
A equao
p
i
=
L
q
i
pode ser formalmente integrada fornecendo
p
i
(t) p
i
(0) =
t
0
L
q
i
dt
=

q
i
t
0
Ldt
=
S
q
i
,
escolhendo a constante p
i
(0) = 0 obtem-se que
p
i
(t) =
S
q
i
,
e neste caso, a equao de Hamilton-Jacob pode ser reescrita como
H(q,
S
q
i
, t) +
S(q, P, t)
t
= 0.
Esta uma equao diferencial parcial de primeira ordem conhecida como
equao de Hamilton-Jacob. Uma integrao formal desta equao fornece
S(q, P, t) S(q, P, 0) =
t
0
H(q,
S
q
i
, t)dt.
Se a hamiltoniana for independente do tempo, ou seja uma constante de
movimento H = E tem-se que
S(q, P, t) S(q, P, 0) = Et;
neste caso costuma-se denir
S(q, P, 0) W(q, P)
como a funo caracterstica de Hamilton, ento
S(q, P, t) = W(q, P) Et.
Substituindo na Equao de Hamilton-Jacob obtem-se a forma
H(q,
W
q
i
) = E
conhecida como a Equaode Hamilton-Jacob para a funo caracterstica
de Hamilton.
Apndice F
A funo de Heaviside ou
Degrau
A funo de Heaviside denida como
() =
_
_
_
1, > 0,
0, < 0.
(F.0.1)
e possui a seguinte representao grca:
Uma das representaes desta funo no plano complexo
() = lim
0
+
1
2
d
e
+
(F.0.2)
Para provar que a funo degrau pode ser representada pela equao
(F.0.2) necessrio vericar se esta representao satisfaz denio (F.0.1).
Figura F.0.1: Funo de Heaviside
191
192 APNDICE F. A FUNO DE HEAVISIDE OU DEGRAU
Figura F.0.2: Contornos de integrao para a funo degrau
Para isto faz-se a extenso analtica desta representao e sua integrao no
plano complexo para os dois contornos esquematizados na gura F.0.2.
O integrando da equao (F.0.2) possui um nico polo simples
+ = 0 = = .
Considere > 0 : para o contorno no semi-plano inferior com z = Re
,
o lema de Jordan fornece um valor nulo para a integral ao longo do arco:
I =
dz
e
z
z +
=
R
R
dz
e
z
z +
+
&
arco
dz
e
z
z +
=
R
R
dz
e
z
z +
+
&
arco
Re
d
e
R(cos sin )
Re
+
.
Considerando os dois limites:
193
lim
o
+
lim
R
I = lim
o
+
lim
R
_
_
R
R
dz
e
z
z +
+
&
arco
Re
d
e
R(cos sin )
Re
+
_
_
= lim
o
+
lim
R
_
_
R
R
dz
e
z
z +
+
&
arco
e
d
e
R(cos sin )
e
+/R
_
_
= lim
o
+
lim
R
_
_
R
R
dz
e
z
z +
+
&
arco
de
Rcos Rsin
_
_
= lim
o
+
d
e
+
= 2().
Por outro lado, a integral I pode ser calculada com o auxlio do teorema dos
resduos:
I = 2e
()
= 2e
,
e
lim
o
+
lim
R
I = 2.
Comparando as duas equaes encontra-se que
2() = 2 =
() = 1, > 0.
Para < 0, utiliza-se o contorno do semi-plano superior da gura F.0.2.
Nota-se imediatamente que o integrando analtico nesta regio do plano
complexo, portanto I = 0 e
() = 0, < 0.
194 APNDICE F. A FUNO DE HEAVISIDE OU DEGRAU
Apndice G
Poucas Representaes da
Funo Delta
A funo delta de Dirac denida em uma dimenso como
dx(x x
0
) = f(x
0
). (G.0.1)
As seguintes funes que satisfazem a denio (1.7.10) so representaes
da funo Delta de Dirac:
(x) =lim
0
()
(x);
()
(x) =
1
2
e
|x|
,
()
(x) =
1
x
2
+
2
,
()
(x) =
1
e
x
2
/
2
,
()
(x) =
1
sen(x/)
x
,
()
(x) =
sen
2
(x/)
x
2
.
195
196APNDICE G. POUCAS REPRESENTAES DA FUNO DELTA
Apndice H
Polinmios de Hermite.
A equao de Schrodinger independente do tempo para o potencial
V (x) =
1
2
kx
2
para o oscilador harmnico unidimensional possui a forma
d
2
u
dx
2
+
_
E x
2
_
u = 0,
certamente com reparametrizao das variveis. Para grandes valores de |x|
a equao se comparta como
d
2
u
dx
2
+x
2
u = 0
e possui como soluo uma funo da forma
u(x) = H(x)e
x
2
/2
.
Substituindo esta equao na equao diferencial, obtem-se a equao
2x
+ (E 1) = 0
para . Quando E 1 = 2n, a equao diferencial anterior e denominada de
equao diferencial de Hermite. As solues so conhecidas como polinmios
de Hermite, dados pela equao
H
n
() = (1)
n
e
2
n
n
e
2
, = x =
_
m
~
x.
Por exemplo
H
0
() = 1, H
1
() = 2, H
2
() = 4
2
2.
197
198 APNDICE H. POLINMIOS DE HERMITE.
As autofunes de energia normalizadas so
u
n
= (2
n
n!)
1/2
_
m
~
_
1/4
e
2
/2
H
n
().
Alguns exemplos so:
u
0
() =
_
m
~
_
1/4
e
2
/2
,
u
1
() =
2
_
m
~
_
1/4
e
2
/2
.
Apndice I
Funes de Green
Aprentamos um muito breve resumo acerca das funes de Green e das
equaes diferenciais por elas satisfeitas. O material aqui apresentado uma
coletnea das referncias [12, 13] e das notas de aula do curso de eletrodin-
mica da ps-graduao.
A idia bsica demonstrar que
2
_
1
|x x
|
_
= (x x
), (I.0.1)
onde
(x x
) =
_
_
_
0, se x = x
,
, se x = x
.
A segunda equao equivalente
d
3
x
f(x
)(x x
) = f(x),
d
3
x
(x x
) = 1, se f(x) = 1.
A equao (I.0.2) um caso particular de uma classe de solues mais gerais
G(x x
) chamadas de funes de Green da equao diferencial
2
G(x x
) = 4(x x
). (I.0.2)
Considere ento o clculo do Laplaciano da funo (x). Por simplicidade
escolhemos a fonte na origem do sistema de coordenadas, ou seja x
= 0. Se
199
200 APNDICE I. FUNES DE GREEN
a origem do sistema de coordenadas for excluda, segue diretamente que
2
(x) =
1
r
r
_
r
2

r
1
r
_
= 0, se x = 0; |x| = r.
Quando a origem de coordenadas zer parte do domnio da funo , a
equao anterior no nula mas singular, neste caso o clculo do Laplaciano
do campo pode ser feito de, pelo menos, duas formas:
A Utilizando o teorema da divergncia de Gauss com a fonte numa posio
arbitrria do espao. Neste caso
r = x x
V ndS
V
Vdv
,
que fornece
2
1
|x x
|
dv
V

1
|x x
|
dv
1
|x x
|
_
ndS
.
Note que o operador opera somente nas coordenadas do observador e no
da distribuio de cargas. O gradiente vale
1
|x x
|
=
e
r
|x x
|
2
,
e
1
|x x
|
_
ndS
e
xx
|x x
|
2
ndS
(x x
) ndS
|x x
|
3
=
d.
Com d um elemento de angulo slido subentendido pelo elemento de super-
fcie dS
no ponto de observao, veja a gura (I.0.1).

O angulo slido pode ser calculado explicitamente:
=
(x x
) ndS
|x x
|
3
.
necessrio distinguir duas situaes:
a. a superfcie de integrao no inclui o ponto x do observador, ou seja
r > r
. Para simplicar a integrao apropriado escolher o vetor

posio do observador ao longo do eixo polar z, neste caso cos
entre
201
fonte
'
observador
'
Figura I.0.1: Angulo Slido

a normal superfcie n e o vetor x x
expresso simplismente em
funo do angulo polar
e no h necessidade de se utilizar o teorema

de adio dos harmnicos esfrico
1
.
=
r
2
|x x
|
2
sen
=
r
2
|x x
|
2
cos
sen
d
= 2
r
2
|x x
|
2
cos
sen
= 0.
b. a superfcie de integrao inclui o ponto x do observador, ou seja r < r
.
Por simplicidade considera-se r = 0, o que signica que
=
e
r
r
2
e
r
r
2
sen
d =
sen
d = 4.
Resumindo nossos resultados anteriores, encontramos
2
1
|x x
|
dv
=
_
_
_
4 se o ponto de observao (medida) estiver no interior de S
,
0 se o ponto de observao (medida) estiver no exterior de S
.
Portanto podemos substituir o integrando por
2
1
|x x
|
= 4(x x
).
B. Utilizando o processo limite.
Neste caso considera-se o clculo da integral
I = lim
a0
2
_
1
r
2
+a
2
_
dv
.
O laplaciano do integrando vale
2
_
1
r
2
+a
2
_
=
1
r
d
2
dr
2
_
r
r
2
+a
2
_
=
3a
2
r
2
+a
2
;
I = lim
a0
V
3a
2
r
2
+a
2
dv
= lim
a0
3a
2
V
r
2
sendrdd
r
2
+a
2
dv
= lim
a0
3a
2
4
0
r
2
dr
r
2
+a
2
,
1
Veja discusso geral da lei de Gauss nas notas de eltromagnetismo.
203
fazendo a mudana de varivel r = a tan , dr = a sec
2
d obtm-se que
0
r
2
dr
r
2
+a
2
=
1
3a
2
,
portanto
I = lim
a0
3a
2
4
1
3a
2
= 4.
Com estes resultados cou demonstrado de duas formas que a a funo
1
4
2
1
|x x
|
= (x x
)
uma representao da funo delta com a funo
=
1
|x x
|
sendo um caso particular de uma classe mais geral de funes denominadas
de funes de Green G(x x
) que satisfazem a equao I.0.2. Em geral a

soluo desta equao
G(x x
) =
1
|x x
|
+F(x, x
), (I.0.3)
sendo necessrio que
2
F(x, x
) = 0.
Neste mtodo, dada um campo satisfazendo uma equao diferencial par-
cial da forma
2
(x) = (x), (I.0.4)
e a correspondente equao para a funo de Green
2
G(x x
) = 4(x x
)
;em seguida utilizando o Teorema de Green (pgina 38 ref. [12])
V
_
2

2
_
d
3
x =
S
( ) nda (I.0.5)
com a escolha
= G(x x
),
escreve-se imediatamente a soluo para a funo se for conhecia da funo
de Green do problema com as conedies de contorno especicadas:
(x) =
1
4
V
(x
)G(x, x
)d
3
x
+
1
4
S
_
G(x, x
(x
)
G(x, x
)
n
_
da
,
(I.0.6)
onde a derivada parcial com relao a n signica
= n
, (I.0.7)
portanto a derivada do campo na direo normal superfcie.
Referncias Bibliogrcas
[1] J. J. Sakuray, Modern Quantum Mechanics, Addison Wesley Publishing
Company, New York, 1994.
[2] C. P. P. Herbert Goldstein, J. L. Safko, Classical Mechanics, Addison
Wesley.
[3] S. T. Thornton, J. B. Marion, Classical Dynamics of particles and sys-
tems, Thomson Brooks/Cole, Toronto, Canada, 2004.
[4] P. M. A. Dirac, The Principles of Quantum Mechanics, 4th Edition,
Oxford University Press, 1958.
[5] M. Nakahara, Geometry, Topology and Physics, IOP-Publishing Ltda,
Bristol, UK, 2003.
[6] C. R. de Oliveira, Introduo Anlise Funcional, Impa, 2006.
[7] E. Butkov, Fsica Matemtica, Editora Guanabara Dois S.A., 1978.
[8] F. L. Claude Chohen-Tannoudji, Bernard Diu, Quantum Mechanics,
Vol. 2, John Wiley & Sons Inc., New York, USA Hermann, Paris, 1977.
[9] H. Bateman, HIGHER TRANSCENDENTAL FUNCTIONS, Vol. 1,
Mack-Graw-Hill Book Company Inc., New York, USA, 1953.
[10] R. J. Glauber, Coherent and incoherent states of the radiation eld,
Physical Review 131 (1963) 2766.
[11] V. Varadarajan, Lie Groups, Lie Algebras, ad Their Representations,
Spring-Verlag New York Inc, 1984.
[12] J. D. Jackson, Classical Electrodynamics, 3rd Edition, John Wiley &
Sons Inc., New York, USA, 1999.
[13] P. Morse, H. Feshbach, Methods of Theoretical Physics, Vol. I and II,
Mack-Graw-Hill, Inc., New York, USA, 1953.
205

Notas de Aula de Mecânica Quântica

Caricato da

Informazioni sul documento

Copyright

Formati disponibili

Condividi questo documento

Condividi o incorpora il documento

Opzioni di condivisione

Hai trovato utile questo documento?

Questo contenuto è inappropriato?

Copyright:

Formati disponibili

Notas de Aula de Mecânica Quântica

Caricato da

Copyright:

Formati disponibili

MECNICA QUNTICA

ANTONIO EDSON GONALVES

(n, K) ou Hom V (n, K).

(n, K) uma funo linear, portanto ela

e satisfaz todas as propriedades de um produto interno como denido no

que fornece componente com norma negativa, ou seja

, do operador X, pela equao

36 CAPTULO 1. CONCEITOS FUNDAMENTAIS

Calculando o produto interno da primeira equao com o bra a

, o quadrado do mdulo dos coecientes

representa a probalilidade associada a

na expanso de | . Posteriormente voltaremos a esta

pode ser visto como um elemento de uma matriz qua-

a coluna, portanto temos um

que fornece o elemento de matriz Z

mudam os estados | e uma vez mudado, uma nova

so interpretados como operadores mudam o estado de energia do sistema

faz um angulo com o eixo z de S). O

J para o arranjo, observa-se aps o ltro S um feixe com intensidade

> do operador A. Qual deles o sistema escolher no pode ser previsto

>,entre todos os possveis, o sistema escolher como o

>} de autoestados do operador A que representa um

, para < | >= 1.

>, aps a medida o sistema

>= 0. Kets ortogonais correspon-

} do operador A. Tecnicamente isto feito atravs do

>, como esquematizado

>} = {|+ >, | >}

um operador hermitiano e seja {|a

>= 0; os autoestados so ortogonais;

>= 0; os autoestados so ortogonais;

os autovalores so imaginrios puros.

>}dos autoestados do operador A ou a base {|b

>} a representao completa e ortonormal do

>} a representao completa e ortonormal do operador B

>} como a base antiga e {|b

>} a base nova, considera-se o

> o ket na nova base

XU) = Tr(Y U), U

= U um operador unitrio. Outras

> que seja uma representao do operador B :

e um dado l a expresso anterior na forma

> com a notao

s, suas razes fornecem

>representado por uma matriz

>representado por uma matriz

>} = {|+ >, | >},

| > < | >=

= x hermitiano. A base das

) para a base contnua. Entretanto este coeciente a funo de onda

autoestado do operador x para qualquer argumento do ket. Note

= y e integrando sobre todo o volume.

.Lembrem-se que vizinhana uma bola de raio |x

. possvel translad-lo novamente posio

com uma nova translao

representa a probabilidade de se encontrar o sistema na posio de largura

, representando o quanto h de interferncia ou correlaes qunticas. Veja

e integrando sobre todo o

a igualdade ser satisfeita para

| = funo de onda no espao dos momentos,

representa a probabilidade de que uma medida de p fornea o valor p

, representando o quanto h de interferncia ou correlaes qunticas.

representando uma mudana da base {|a} para a base {|b}, e os elementos

que pode ser integrada imediatamente fornecendo