You are on page 1of 86

MECNICA QUNTICA

ANTONIO EDSON GONALVES


8 de abril de 2015

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 Reviso
11
1.1 Reviso . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
1.2 Experimentos com Eltrons . . . . . . . . . . . . . . . . . . . 11
2 Conceitos Fundamentais
2.1 O experimento de Stern-Gerlach . . . . . . . . . . . . . . . .
2.1.1 Momento de dipolo magntico orbital . . . . . . . . .
2.1.2 Dipolo Magntico em um Campo Externo . . . . . .
2.1.3 O experimento de Stern-Gerlach puro . . . . . . . . .
2.1.4 Descrio do experimento . . . . . . . . . . . . . . .
2.1.5 Experimentos de Stern-Gerlach Sequenciais . . . . . .
2.2 Espao de Hilbert, Kets, Bras e Operadores . . . . . . . . .
2.2.1 Espaos Vetoriais . . . . . . . . . . . . . . . . . . . .
2.2.1.1 Subespaos Vetoriais[1] . . . . . . . . . . . .
2.2.2 Mapeamentos Lineares, Imagens e Ncleo . . . . . .
2.2.3 O Espao Vetorial Dual . . . . . . . . . . . . . . . .
2.2.4 O Espao de Hilbert . . . . . . . . . . . . . . . . . .
2.2.5 Espao dos Kets . . . . . . . . . . . . . . . . . . . .
2.2.6 Espao dos Bras e o Produto Interno . . . . . . . . .
2.2.7 Kets Base e Representao Matricial . . . . . . . . .
2.2.8 Base Construida com Autoestados . . . . . . . . . . .
2.2.9 Representao Matricial. . . . . . . . . . . . . . . . .
2.2.10 Representao Matricial dos Operadores e Estados com
Spin 1/2. . . . . . . . . . . . . . . . . . . . . . . . .
2.3 Medidas, Observveis e Relaes de Incerteza . . . . . . . .
2.3.1 Polarizao de ftons . . . . . . . . . . . . . . . . . .
2.3.2 Stern-Gerlach Sequenciais com trs feixes. . . . . . .
2.3.3 Comparando a polarizao de frmions e bsons . . .
2.3.4 Medida . . . . . . . . . . . . . . . . . . . . . . . . .
2.3.5 O valor esperado de um observvel A. . . . . . . . . .
2.3.6 Medidas seletivas: o papel do operador projetor . . .
3

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

21
21
21
23
24
26
30
34
34
36
37
38
39
42
45
51
52
55

.
.
.
.
.
.
.
.

61
62
62
64
70
70
72
72

SUMRIO
2.4

Mudana de Bases . . . . . . . . . . . . . . . . . . . . . . .
2.4.1 A matriz de transformao . . . . . . . . . . . . . . .
2.4.2 Observveis Similares . . . . . . . . . . . . . . . . . .
2.5 Coordenadas, Momento e Translao . . . . . . . . . . . . .
2.5.1 Espectro contnuo . . . . . . . . . . . . . . . . . . . .
2.5.2 Autovetores de posio e medidas de posio . . . . .
2.5.3 Translao . . . . . . . . . . . . . . . . . . . . . . . .
2.5.4 As relaes de comutao cannicas . . . . . . . . . .
2.6 A funo de Onda no Espao das Coordenadas e Momentos.
2.6.1 A funo de onda no espao das coordenadas . . . . .
2.6.1.1 Relaes de fechamento . . . . . . . . . . .
2.6.2 O Momento na representao das coordenadas. . . .
2.6.3 A funo de onda no espao dos momentos . . . . . .
2.6.4 As coordenadas no espao dos momentos (Melhorar
este texto) . . . . . . . . . . . . . . . . . . . . . . . .
2.6.5 Mudana de base ou representao. . . . . . . . . . .
2.6.6 Pacote de onda gaussiano. . . . . . . . . . . . . . . .
2.6.7 Relao de incerteza da posio e momento para o pacote gaussiano (Rep. Coord.). . . . . . . . . . . . . .
2.6.8 O pacote de ondas gaussiano na representao dos momentos. . . . . . . . . . . . . . . . . . . . . . . . . .
2.6.8.1 Comparando os Pacotes nas duas prepresentaes . . . . . . . . . . . . . . . . . . . . .
2.7 Generalizao para Trs Dimenses. . . . . . . . . . . . . . .
3 Dinmica Quntica
3.1 Evoluo Temporal e a Equao de Schrodinger
3.2 Representaes de Schrodinger e Heisenberg . .
3.3 O Oscilador Harmnico Simples . . . . . . . . .
3.4 A Equao de Onda de Schrodinger . . . . . . .
3.5 Integrais de Trajetria . . . . . . . . . . . . . .

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

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

85
87
94
98
98
99
101
105
105
105
106
109
112

. 114
. 115
. 118
. 119
. 122
. 125
. 126
129
. 129
. 142
. 142
. 164
. 165

4 Teoria do Momento Angular


181
4.1 Relaes de Comutao para Rotaes e Momento Angular . . 181
A Espaos Vetoriais.
191
A.1 Produto Interno . . . . . . . . . . . . . . . . . . . . . . . . . . 192
B Grupos de Lie.
193
B.1 Grupos de Lie, only to english see! . . . . . . . . . . . . . . . 194
B.2 lgebra de Lie . . . . . . . . . . . . . . . . . . . . . . . . . . . 198

SUMRIO
C Momento, Gerador de Translaes

5
199

D Transformaes Cannicas
201
D.1 Transformaes Cannicas Infinitesimais. . . . . . . . . . . . . 204
E A Equao de Hamilton-Jacob
E.1 Equaes Diferenciais Parciais de Primeira Ordem . . . . . .
E.1.1 Soluo Completa . . . . . . . . . . . . . . . . . . . .
E.2 A Equao de Hamilton-Jacob . . . . . . . . . . . . . . . . .

207
. 207
. 210
. 211

F A funo de Heaviside ou Degrau

215

G Poucas Representaes da Funo Delta

219

H Polinmios de Hermite.

221

223

Funes de Green

Appendix

191

Referncias Bibliogrficas

229

ndice

231

SUMRIO

Lista de Figuras
1.2.1 Aparelho medidor de Dureza . . . . . . . . . . .
1.2.2 Aparelho medidor de COR . . . . . . . . . . . .
1.2.3 Experimento sequencial: persistncia da medida
1.2.4 Experimento sequencial: persistncia da medida
1.2.5 Arranjo experimental para medir correlaes . .
1.2.6 Arranjo experimental para medir correlaes . .
1.2.7 Arranjo experimental com trs aparelhos . . . .
1.2.8 Aparelho com espelhos . . . . . . . . . . . . . .
1.2.9 Aparelho com espelhos . . . . . . . . . . . . . .
1.2.10Aparelho com espelhos . . . . . . . . . . . . . .
1.2.11Aparelho sem bloqueio . . . . . . . . . . . . . .
1.2.12Aparelho com bloqueio . . . . . . . . . . . . . .

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

2.1.1 Momento angular . . . . . . . . . . . . . . . . . .


2.1.2 Descrio do Experimento . . . . . . . . . . . . .
2.1.3 Separao do feixe com tomos de Ag no aparelho
2.1.4 Stern-Gerlach puro . . . . . . . . . . . . . . . . .
2.1.5 Stern-Gerlach SGz SG
x . . . . . . . . . . . .
2.1.6 Stern-Gerlach SGz SG
x SGz . . . . . . . .
2.1.7 Luz no polarizada. . . . . . . . . . . . . . . . . .
2.1.8 luz xpolarizada . . . . . . . . . . . . . . . . . .
2.1.9 Luz polarizada . . . . . . . . . . . . . . . . . . .
2.2.1 Exemplos de conjuntos densos e no densos . . .
2.2.2 Sistema com dois nveis de energia . . . . . . . .
2.2.3 Inverso do spin . . . . . . . . . . . . . . . . . . .
2.3.1 SGz . . . . . . . . . . . . . . . . . . . . . . . . .
2.3.2 SG SS . . . . . . . . . . . . . . . . . . . . . . . .
2.3.3 Resumo da conveno da notao dos SG . . . . .
2.3.4 SG angulo . . . . . . . . . . . . . . . . . . . . .
2.3.5 Medida seletiva . . . . . . . . . . . . . . . . . . .
2.6.1 Produto interno hi . . . . . . . . . . . . . . . .
7

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

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

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

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

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

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

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

12
12
13
13
14
14
15
16
17
17
18
18

. . . . .
. . . . .
de SGz
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .

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

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

22
26
31
32
32
33
34
34
35
42
60
61
65
65
66
67
73
106

LISTA DE FIGURAS
2.6.2 Pacote Gaussiano e quadrado do modulo do pacote . . . . . . 118
3.1.1 Esboo grfico do propagador . . . . . . . . . . . . . . . . .
3.3.1 Autofuno do estado fundamental hx | 0i e a correspondente
distribuio de probabilidade. a funo distribuio clssica
com a mesma energia total representada pela curva descontnua. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3.3.2 Autofunes com n=1, 2, 3, 4, 5 . . . . . . . . . . . . . . . .
3.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. . . . . . . . . . . . . . . . . .
3.5.1 Esboo de um dos possveis caminhos entre dois estados de
um sistema . . . . . . . . . . . . . . . . . . . . . . . . . . .

. 130

. 153
. 154

. 154
. 171

4.1.1 Fig.1 e fig. 2: composio de rotaes ao redor do eixo z . . . 182


4.1.2 Rotaes finitas ao redor de diferentes eixos . . . . . . . . . . 182
4.1.3 Rotao passiava ao redor eixo z . . . . . . . . . . . . . . . . . 184
F.0.1Funo de Heaviside . . . . . . . . . . . . . . . . . . . . . . . 215
F.0.2Contornos de integrao para a funo degrau . . . . . . . . . 216
I.0.1 Angulo Slido . . . . . . . . . . . . . . . . . . . . . . . . . . . 225

Lista de Tabelas

10

LISTA DE TABELAS

Captulo 1
Reviso
Introduo
O objetivo fazer um resumo de toda mecnica quntica para em seguida
discutir conceitos fundamentais. O material est baseado nas referncias: [2],
[3], [4] e [5].

1.1

Reviso

1.2

Experimentos com Eltrons

Considere partculas atmicas, por exemplo eltrons que possuem duas propriedades fsicas que aqui sero designadas por dureza e cor simplesmente
por clareza e familiaridade. Estas duas propriedades pode ser posio e momento; componentes Jx e Jz do momento angular total. necessrio insistir
que este um experimento facilmente realizado no laboratrio, ou seja no
um gedankem experiment! Um dos fatos experimentais relevantes que para
todos os eltrons sempre obteve-se como resultado de medies somente um
dos dois valores para a cor, digamos preto ou branco e um dos dois valores
esperados da dureza: duro ou mole! Nunca, at o momento, numa medida,
foram observados eltrons com outras cores seno preto e branco ou dureza:
mole e duro. No existem eltrons vermelhos, azuis, cinzas ou meio moles,
quase duros, etc. Estes resultados experimentais foram obtidos com a utilizao de aparelhos, cuja descrio esquemtica e representativa, de aparelhos
realsticos, faremos nas figuras seguintes.
A figura Fig. 1.2.1 contm a representao esquemtica de um aparelho
para a medida de dureza. O aparelho consiste de uma caixa com trs aberturas: uma para o feixe incidente e outras duas para o feixe decomposto nos
11

12

CAPTULO 1. REVISO

D
DZ

Figura 1.2.1: Aparelho medidor de Dureza

P
COR

Figura 1.2.2: Aparelho medidor de COR


feixes duro e mole.
O que est no interior da caixa no importa; por exemplo pode ser um
canguru boxeador que com a pata esquerda golpeia eltrons moles e com a
direita os duros! Como um exemplo concreto, pode ser um m no uniforme
como o do experimento de Stern-Gerlach. De fato este no o problema
central neste momento.
Aps o feixe no polarizado passar pela caixa, os eltrons so separados
em moles (M) (feixe horizontal) e duros (D) (feixe vertical). O mesmo arranjo
experimental pode ser feito para a medida das cores branca (B) ou preta (P)
com um aparelho medidor de cor, como indicado na figura Fig. 1.2.2.
Estes aparelhos podem ser utilizados para estudarmos as caractersticas
ou propriedades bsicas das grandezas que esto sendo medidas. Por exemplo
pode-se utilizar um arranjo sequencial destes aparelhos para verificar se uma
medida preservada aps passar por um segundo aparelho que mede a mesma
propriedade ou se a medida de uma propriedade, por exemplo cor, influncia
a medida da propriedade dureza quando o arranjo sequencial composto de
aparelhos que medem diferentes propriedades.
A figura Fig. 1.2.3 esquematiza um exemplo de uma experimento que
confirma a persistncia de uma medida. Neste experimento um feixe de

1.2. EXPERIMENTOS COM ELTRONS

P 0%

P50%
COR

13

B 50%

COR

B 100%

Figura 1.2.3: Experimento sequencial: persistncia da medida

D
DZ

D 0%
M

DZ

M 100%

Figura 1.2.4: Experimento sequencial: persistncia da medida


eltrons no polarizados, penetra no aparelho medidor de cor, emergindo
como dois feixes com as mesmas intensidades, sendo um branco e outro preto.
Na sequencia (aps um curto lapso de tempo) o feixe branco penetra em
outro aparelho medidor de cor resultando deste somente um feixe composto
exclusivamente de eltrons brancos. O resultado deste experimento indica
que aps uma medida de cor efetuada no feixe de eltrons, cada um dos
feixes de iguais intensidades mantm suas cores 1 . A esta caracterstica do
feixe de eltrons ( de preservar a cor aps uma medida com um aparelho da
mesma natureza) denominamos de persistncia . O mesmo arranjo pode
ser feito para a medida da dureza, como mostrado na figura Fig. 1.2.4.
Os experimentos sequenciais indicam a persistncia da medida, tanto da
dureza quanto da cor.
Considere agora um outro arranjo experimental no qual mede-se na sequencia a dureza e cor ou vice-versa, conforme os esquemas das figuras Fig
1.2.5 e Fig 1.2.6. Os resultados destes experimentos indicam se h ou no
influncia da medida da dureza sobre a cor ou da cor sobre a dureza, depen1

Assume-se que os feixes preservem as medidas por um determinado intervalo de tempo

14

CAPTULO 1. REVISO

D
DZ

P 50%
M

COR

B 50%

Figura 1.2.5: Arranjo experimental para medir correlaes

P
COR

D 50%
B

DZ

M 50%

Figura 1.2.6: Arranjo experimental para medir correlaes


dendo do arranjo sequencial. Devido as intensidades dos feixes resultantes
na decomposio preto e branco serem iguais e na decomposio em mole
e duro tambm serem iguais, 2 no h correlaes entre as medidas. Estes
experimentos indicam que a medida da cor no correlacionada com a
medida da dureza e vice-versa.
A figura Fig. 1.2.7 contm a representao esquemtica de um outro arranjo experimental mais elaborado onde so utilizados trs aparelhos. Neste
experimento um feixe no polarizado enviado atravs do primeiro aparelho
que mede a cor; na sequencia um feixe composto unicamente de eltrons B
penetra no aparelho que mede a dureza dos eltrons, o feixe decomposto em
eltrons BM e BD, concluso esta fundamentada nos resultados experimentais esquematizados nas figuras Fig. 1.2.1, Fig. 1.2.2, Fig. 1.2.3 e Fig. 1.2.4
certo? Para verificarmos se a concluso est correta, o feixe horizontal resultante do aparelho DZ incidido no terceiro aparelho que mede cor. Pelas
nossas concluses anteriores deveria aparecer somente um feixe horizontal
2

Resultados experimentais, at onde a preciso permitiu, indicam que a intensidade


dos feixes so iguais por at uma parte em 1010 .

1.2. EXPERIMENTOS COM ELTRONS

P
COR

15

D 50%
B

DZ

M 50%

P 50%
COR

B 50%

Figura 1.2.7: Arranjo experimental com trs aparelhos


composto de eltrons MOLES E BRANCOS. ESTA CONCLUSO EST
ERRADA! Veja que o experimento esquematizado na figura Fig. 1.2.7 mostra que no isto o que acontece, o que resulta aps o equipamento medidor
de cor so dois feixes de mesma intensidade e de cores B e P. Note tambm
que a diferena entre o arranjo experimental Fig. 1.2.3 e Fig. 1.2.7 a incluso de um aparelho DZ entre os aparelhos COR. Parece que o aparelho
DZ mistura as cores! Mas como pode ser tnhamos somente eltrons B?
Antes de discutirmos este resultado inesperado, vamos analisar um outro
arranjo experimental. Neste novo arranjo, figura Fig. 1.2.8, introduz-se espelhos defletores dos feixes que saem dos aparelhos. Estes espelhos possuem
a nica e exclusiva funo de defletir o feixe e absolutamente nada mais, ou
seja eles no interferem com as propriedades de cor ou dureza dos eltrons
constituintes dos feixes. A caixa cinza (representando um equipamento defletor de feixes), tambm possui o papel de somente redirecionar os feixes, sem
interferir em suas propriedades. Neste arranjo experimental, o primeiro aparelho tem a funo nica e exclusiva de produzir um feixe preparado, ou seja
um feixe com uma cor bem definida, branca neste caso. Nos experimentos
subsequentes esta parte do equipamento ser desconsiderada.
Considere ento a representao esquemtica deste experimento esboado
na figura Fig. 1.2.9. Agora a pergunta interessante: se medirmos a cor do
feixe resultante aps seu rearranjo pela caixa cinza, o que resultar? Antes
de responder, compare com o arranjo experimental esquematizado na figura
Fig. 1.2.7. Naquela figura um feixe B separado em M e D sendo M enviado
para uma medida de cor que resulta em P e B. J no experimento da Fig.
1.2.9 um feixe B separado em D e M e aps recomposto contm somente
eltrons B.
Novamente a pergunta numa outra forma: se o feixe do experimento Fig.
1.2.7, aps separado em DZ contm as cores B e P, por que isto tambm no
acontece com o feixe do experimento Fig. 1.2.9 que contm somente a cor

16

CAPTULO 1. REVISO

P
COR

D 50%
B

DZ

M 50%

Figura 1.2.8: Aparelho com espelhos


B?

Veja que (SURPREENDENTE, OU NO!), o feixe resultante composto


somente de eltrons brancos! Por que surpreendente?! No o surpreendente
porque foram enviados somente eltrons brancos! Sim, porm nos experimentos anteriores, por ex., o da figura Fig 1.2.7, aps a realizao
de uma medida (neste caso a dureza) o feixe resultante possua
uma mistura estatstica de cores ou seja 50% branco e 50% preta.
Por que isto no acontece neste experimento?
Toda esta situao no est clara, mas calma, podemos pior-la um
pouco. Para isto considere o arranjo experimental esquematizado na figura
Fig. 1.2.10.
Agora a situao acabou de piorar, como anteriormente prometido ! Neste
experimento o feixe incidente composto somente de eltrons brancos,
como no experimento anterior, Fig. 1.2.9. A diferena entre estes dois arranjos o aparelho medidor de dureza inserido aps o espelho no trajeto do feixe
horizontal, utilizado somente para confirmar que o feixe composto nica e
exclusivamente de eltrons moles, dado que no existe correlaes entre cor
e dureza (experimento da figura Fig. 1.2.5 e 1.2.6), pergunta-se de onde
surgiram eltrons pretos???
preciso responder as seguintes perguntas:
1. se medirmos a cor do feixe resultante aps seu rearranjo pela caixa
cinza, o que resultar? 15
2. Mas como pode ser tnhamos somente eltrons B? p. 15

1.2. EXPERIMENTOS COM ELTRONS

17

COR

B 100%

D 50%
B

DZ

M 50%

P 50%!

Figura 1.2.9: Aparelho com espelhos

DZ

M 100%

D 50%

COR

DZ

M 50%

Figura 1.2.10: Aparelho com espelhos

B 50%

18

CAPTULO 1. REVISO

COR

B 100%

D 50%
B

DZ

M 50%

P 50%

Figura 1.2.11: Aparelho sem bloqueio

D 50%

COR

DZ

M 50%

Figura 1.2.12: Aparelho com bloqueio

B 50%

1.2. EXPERIMENTOS COM ELTRONS

19

3. por que isto tambm no acontece com o feixe do experimento Fig. 1.2.9
que contm somente a cor B? 16
4. Por que isto no acontece neste experimento? 16
O que acontece que no podemos responder a estas perguntas fundamentados nos conceitos clssicos. Um forma de interpretamos os resultados
experimentais
persitencia da medida de uma dada propriedade
diferentes propriedades no so correlacionas
a medida subsequente de uma propriedade destri a informao da
medida anterior
admitindo que os eltrons possuem um modo de se comportar e se propagar,
diferente de tudo o que j vimos ou conhecemos no contexto da fsica clssica.
A este modo d-se o nome de superposio que significa "no temos idia do
que est acontecendo"! No contexto deste conceito, um eltron inicialmente
B no experimento da Fig. 1.2.7 no duro, no mole e nem ambos, nem
nenhum, mas sim uma superposio de ser D e M A discusso a seguir sugere
os experimentos das figuras Figs. 1.2.11 e 1.2.12.
1. Discusso: considere um eltron passando pelo aparelho do experimento Fig. 1.2.9 e tentemos encontrar a rota seguida pelo eltron.
Considere a possibilidade dele ter tomado a rota D, isto pode ser possvel? No porque os experimentos anteriores Fig. 1.2.1 e Fig. 1.2.5
informar que eltrons D so BP e no somente B. Considere ento que
os eltrons passaram pela rota M; tambm no possvel pelo mesmo
motivo. Poder ento de alguma forma os eltrons tomarem os dois
percursos? Os experimentos mostram se interrompermos os eltrons
em seu trajeto atravs do aparelho para determinarmos sua rota, resulta que na metade das vezes ele utiliza a rota D e na outra metade a
M. At a presente data, nunca foi observado meio eltron percorrendo
a rota d e a outra metade, a rota M! Resta somente a possibilidade que
o eltron no tome nenhuma rota, isto no pode ser porque neste caso
no haveria fluxo de eltron aps o aparelho!
2. Fatos curiosos neste experimento: O que motiva esta pergunta? qual o
caminho seguido pelo eltron?
3. Fig. 1.2.9 Indica a no localidade do sistema. Explicar que os espelhos
podem estar separados por milhares de quilmetros de distncia

20

CAPTULO 1. REVISO

Os arranjos experimentais esquematizados nas figuras Figs. 1.2.11 e 1.2.12


foram elaborados tambm para a tentativa de encontrar a trajetria seguida
pelo eltron. Certamente que isto no possvel e o experimento refora o
conceito de superposio. O que tambm surpreendente neste experimento
o fato de que o bloqueio de um dos feixes interfere no resultado da medida da
cor, ou seja sem bloqueio o feixe emergente B, enquanto que com bloqueio
o feixe emergente ser composto de B e P com as mesmas probabilidades.
Como pode o bloqueio do feixe M interferir nos eltrons do feixe D mesmo que
este esteja a muitos quilmetros de distncia? Esta caracterstica chamada
de no localidade do sistema!

Captulo 2
Conceitos Fundamentais
Introduo
Este texto uma adaptao informal da referncia [6] com material coletado
de vrias outras referncias.

2.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 circular para a construo do espao de Hilbert deste sistema.

2.1.1

Momento de dipolo magntico orbital

A idia utilizar um modelo semiclssico para calcularmos o momento magntico = 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 movimento numa rbita circular de raio r (rbita de Bohr) com rapidez v, como
esquematizado na figura Fig. 2.1.1
A carga em movimento circular (modelo do tomo de Bhor no estado
fundamental) corresponde a uma corrente estacionria ( J = 0) com intensidade
dq
q
I=

.
dt
t
Para o eltron em uma rbita de Bhor, q = e e o intervalo de tempo t
o perodo do movimento
2r
T =
v
21

22

CAPTULO 2. CONCEITOS FUNDAMENTAIS

Figura 2.1.1: Momento angular

2.1. O EXPERIMENTO DE STERN-GERLACH


sendo portanto

I=

Sendo a rea da rbita circular

23

qv
.
2r

A = r2 k
obtem-se para o momento magntico rbital do eltron, a seguinte expresso
=

qvr
k.
2

Entretanto este eltron tambm possui momento angular dado por


L = r p = me r v.

Dado que o vetor velocidade perpendicular ao deslocamento r o mdulo do


momento angular ser
L = me rv,
o que possibilita escrevermos
=

q
L.
2me

Resumindo, foi possvel expressar o momento magntico em funo do momento angular, o que se faz necessrio renome-lo de momento magntico
rbital! Note que o momento magntico rbital depende somente de constanstes fundamentais como a carga e massa do eltron. Existe uma diferena
entre o valor previsto por este modelo e o observado experimentalmente, primeiro 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.

2.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.

24

CAPTULO 2. CONCEITOS FUNDAMENTAIS

Este torque faz com que o dipolo precesse com frequncia


=

l gl
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
Fi = lj i Bj .

2.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 figura
anterior. Um feixe de tomos neutro obtido pela evaporao da prata em

2.1. O EXPERIMENTO DE STERN-GERLACH

25

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 defletidos
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 defletido 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, constatandose sempre que o feixe defletido era separado em duas ou mais componentes
discretas.

26

CAPTULO 2. CONCEITOS FUNDAMENTAIS

Figura 2.1.2: Descrio do Experimento

2.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 5s1 .
Caractersticas bsicas do tomo de prata:
47 prtons
60 neutrons
47 eltrons
A distribuio eletrnica nas camadas
z

10

}|

{z

10

}|

10

10

{ z }| { z}|{ z }| {

1s2 2s2 2p6 3s2 3p6 4s2 3d10 4p6 4d10 5s1

Resumo:

para um dado n, n2 a degenerecncia,

2.1. O EXPERIMENTO DE STERN-GERLACH

27

l = 0, 1, 2, , n 1

ml = l, l + 1, , 0, 1, , l

para um dado l,ml 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 figura Fig. 2.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 5s1 tem
l = 0 = m = 0,
portanto
g l B
L
~ q
gl B
l(l + 1)~n
=
~
= 0.

l =

Ou seja o momento magntico do eltron dever ser nulo!


No arranjo experimental mostrado na figura Fig. 2.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 defletido z = 0. De acordo com a formulao de Schrodinger 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 defletido. Entretanto para os tomos do feixe preparados
no estado 5p1 , 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

28

CAPTULO 2. CONCEITOS FUNDAMENTAIS

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 . Diferentemente 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
modificada para
g l B
(L + S) ,
J =
~
sendo S o novo tipo de momento angular denominado de spin do eltron ou
momento angular intrnsico. Para os tomos de prata que estamos considerando
g l B
(L + S) ,
J =
~
g l B
(0 + S)
=
~
g l B
S
=
~
para o eltron 5s1 .
Pode ser que haja uma contribuio, na deflexo 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 =
1

e
L
mp

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

2.1. O EXPERIMENTO DE STERN-GERLACH

n =

29

e
L.!!
mn

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 1019 C
me 9, 1 1031 kg
mp 1, 672 1027 kg
mn 1, 674 1027 kg,
obtem-se imediatamente que
p = e
sendo
segue que

me
,
mp

me
104
mp
p
104
e

30

CAPTULO 2. CONCEITOS FUNDAMENTAIS

o que indica que o momento magntico nuclear quatro ordens de grandeza


menor que o momento magntico do tomo, podendo portanto ser desconsiderado neste experimento. Isto significa que qualquer deflexo 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
Fi = sj i Bj ,
e dada a simetria rotacional, com relao ao eixo z, do problema somente a
componente z ser relevante, restando portanto
Fz = sz z Bz .
O momento magntico, j calculado

> 0 para S < 0,


e
z
z =
Sz

2me
< 0 para Sz > 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
Bz
< 0,
z
ou seja o campo diminui com o aumento de z. Segue ento que a fora atuando
ao longo do eixo z

|e| Bz > 0 para Sz > 0,


Fz =
Sz

me z < 0 para Sz < 0.

A figura Fig. 2.1.4 contm uma representao esquemtica da separeo do


feixe.

2.1.5

Experimentos de Stern-Gerlach Sequenciais

Classicamente pode-se determinar as trs componentes do momento angular


Lx , Ly , e Lz 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,

2.1. O EXPERIMENTO DE STERN-GERLACH

31

Figura 2.1.3: Separao do feixe com tomos de Ag no aparelho de SGz

32

CAPTULO 2. CONCEITOS FUNDAMENTAIS

Figura 2.1.4: Stern-Gerlach puro

Figura 2.1.5: Stern-Gerlach SGz SG


x
portanto conhecendo-se as componentes da velocidade angular , por projeo 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 [7? ] 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 Sz+ e Sz que pode assumir a componente Sz do momento angular
intrnseco ou spin, prossegue-se com o experimento submetendo-se uma das
componentes do feixe, por exemplo Sz+ a um outro campo magntico ou
SGn numa direo arbitrria n que agora escolhida como diferente de z.
. Antes de prosseguir com o
Pode-se considerar, por exemplo a direo x
experimento seqencial, pode-se certificar que o sistema (feixe Sz+ ) encontrase em um estado puro, para isto submete-se novamente o feixe a um SGz
como esquematizado na figura 2.1.4.
Pode-se medir que o feixe aps passar pelo primeiro aparelho SGz e uma
vez tendo-se bloqueado Sz o feixe contm somente tomos com componentes
de spin Sz+ .
x. O resultado
Considere a passagem do feixe Sz+ por um aparelho SG
do experimento esquematizado na figura (2.1.5).
Deste experimento mede-se que aps passar pelo aparelho SG
x o feixe
com orientao de spin Sz+ decomposto em duas componentes Sx+ e Sx .
Pode-se conjecturar que o feixe Sz+ uma mistura

z+ + Sx+ ,
Sz+ =
Sz+ + Sx .
?

Se esta for verdadeira implicar na medida simultnea das componentes


Sx+ e Sx dos momentos angulares de spin. Para verificar esta conjectura

2.1. O EXPERIMENTO DE STERN-GERLACH

33

Figura 2.1.6: Stern-Gerlach SGz SG


x SGz
passa-se o feixe Sz+ +Sx+ ou Sz+ +Sx atravs de outro aparelho (um terceiro
para ser mais preciso) SGz seqencial como esquematizado na figura 2.1.6
Neste experimento, o feixe Sx bloqueado, espera-se portanto como resultado de uma medida somente a observao do feixe contendo componentes
Sz+ . O experimento indica que este no o caso! O feixe Sx+ decomposto
em dois feixes com orientaes Sz+ e Sz .Sumarizando os resultados:
de fato o feixe os feixes Sx+ e Sx no contm Sz+ como pensamos
inicialmente.
no possvel determinarmos Sz+ e Sx+ ou Sx num mesmo experimento (ou simultaneamente)
A medida do feixe com o aparelho SG
x destri toda informao sobre
as medidas anteriores com SGz
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(kzt) ,
E = E0 u
sendo E0 a amplitude da onda que pode ser complexa. Quando a onda
, obtm-se uma onda xpolarizada
submetida a um filtro polarizador na direo x
.
e(kzt)
E = E0 x
Experimentos com polarizadores pticos indicam que nenhuma intensidade luminosa medida quando uma onda eletromagntica x polarizada
2

Uma discusso clarificadora da passagem da luz atravs de um cristal feita por Dirac.
Veja o primeiro capitulo da referncia [8]
3
Esta comparao justificada pelo comportamento ondulatrio da matria

34

CAPTULO 2. CONCEITOS FUNDAMENTAIS

Figura 2.1.7: Luz no polarizada.

Figura 2.1.8: luz xpolarizada


passa atravs de um ypolarizador (polarizador com direo y). As figuras
2.1.8 e (2.1.5) so representaes esquemticas desta situao.
At este ponto no h nada incomum com a polarizao da luz. O experimento torna-se mais interessante quando colocado entre os polarizadores
p e y
p um outro filtro x
0 p cujo eixo ox0 faz um ngulo de 45o
x
p. Aps a introduo deste polarizador,
com o eixo ox do polarizador x
observa-se no anteparo uma intensidade luminosa, IE 6= 0. O aparecimento
desta radiao pode ser explicado com base no modelo ondulatrio da luz.
Para isto considere um sistema de coordenadas definido na frente da onda
p e cujo eixo x coincide com o eixo x da onda plano polarizada.
x

2.2
2.2.1

Espao de Hilbert, Kets, Bras e Operadores


Espaos Vetoriais

Um espao vetorial[9] (ou espao linear) L sobre um corpo 4 K um conjunto


no qual duas operaes so definidas: a adio ( ou combinao de dois
elementos), representada pelo smbolo + e a multiplicao por um elemento
do corpo K (denominado escalar). Neste texto praticamente trabalharemos
4

Veja o comentrio na seo ??

2.2. ESPAO DE HILBERT, KETS, BRAS E OPERADORES

35

Figura 2.1.9: Luz polarizada


com o campo real K ou complexo C. Os elementos do espao vetorial L,
denominados vetores so postulados a satisfazerem 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 V

, u V | 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 ,
elementos do campo K.

v e w so elementos de L e c, d e 1 so

Seja {vi } um conjunto com k vetores. Se a equao


k
X

ki v i = 0 ,

(2.2.1)

i=1

possuir somente soluo trivial ki = 0 (ou seja se a igualdade somente se


verifica se todos os escalares ki = 0) o conjunto de k-vetores denominado
de linearmente independente , caso contrrio, se existir somente um ki

36

CAPTULO 2. CONCEITOS FUNDAMENTAIS

no nulo o sistema denominado de linearmente dependente. Se um dos


vetores vi for nulo, seu coeficiente no necessariamente nulo e o conjunto
ser linearmente dependente.
Um conjunto de vetores LI, ei uma base do espao vetorial L se todo
vetor v L puder ser decomposto unicamente como
v=

vi ei ,

(2.2.2)

onde vi K so as componentes de v na base {ei }. Se existirem n elementos


ei na base, a dimensionalidade de L ser n, sendo representada como
dim L = 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 finita ou infinita.
Exemplo 2.2.1. Um exemplo [1] trivial conjunto Rn com a adio e multiplicao por escalar definidas sobre a n-uplas

de forma que

(x1 , x2 , , xn ) Rn

(x1 , x2 , , xn ) + (y1 , y2 , , yn ) = (x1 + y1 , , xn + yn )


e

k (x1 , x2 , , xn ) = (ax1 , ax2 , , axn ) , a K

Exemplo 2.2.2. Um outro exemplo de um espao vetorial (sem produto


interno) o das funes de classe C definidas em Rn no qual a operao
de adio definida em um ponto e a multiplicao por um escalar k K
feita como a dos nmeros reais.
Exemplo 2.2.3. O espao 2 d para partculas com spin 1/2 definido no
plano complexo.
2.2.1.1

Subespaos Vetoriais[1]

Discutiremos concisamente a definio e exemplos de subespaos vetoriais


Definio 2.2.4. Um subespao Vs V de um espao vetorial V um
subconjunto no vazio Vs de V que satisfaz as seguintes condies

2.2. ESPAO DE HILBERT, KETS, BRAS E OPERADORES

37

(a) x, y Vs , x + y Vs ;

(b) x V0 , e k K, kx Vs

Exemplo 2.2.5. Um exemplo bastante trivial: o espao Euclidiano R3 um


subespao do espao vetorial Rn , ou seja R3 Rn .

2.2.2

Mapeamentos Lineares, Imagens e Ncleo

Definio 2.2.6. Mapeamento Linear: Dado dois espaos vetoriais V e W ,


com elementos v e w respectivamente, o mapeamento f : V = W denominado mapeamento linear se satisfizer 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 denominado por L(V, W ). Um mapeamento linear um exemplo de homomorfismo
que preserva a adio vetorial e a multiplicao por um escalar, preservando
portanto a estrutura algbrica.
Exemplo 2.2.7. Mapeamento ZERO: Zero representar a funo (mapeamento) 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 (a1 v1 + a2 v2 ) = (a1 v1 ) + (a2 v2 ) = a1 v1 + a2 v2 = 0 + 0 = 0.
Outro exemplo:
Exemplo 2.2.8. Defina um mapeamento T L(P(<), P(<)) como T p = p0 .
Verificamos que T (ap1 + bp2 ) = T (ap1 ) + T (bp2 ) = aT p1 + bT p2 = ap01 + bp02 .
Este mapeamento pode ser interpretado como a operao de derivao.
Exemplo de uma transformao no linear.
Exemplo 2.2.9. 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 ) 6= det(m) + det(N ); det(cM ) = cn det(M );
c < e n a ordem da matriz M . Portanto, neste caso, a transformao T
no linear.
A definio de imagem:
Definio 2.2.10. Imagem: Resumidamente, definimos a imagem de uma
funo f : A B como f (A) B que pode ser representa por im(f ).

38

CAPTULO 2. CONCEITOS FUNDAMENTAIS


O ncleo de um mapeamento:

Definio 2.2.11. Ncleo (Kernel): O ncleo de um mapeamento o conjunto de vetores v V tal que kerf (V ) = {v V |f (v) = 0}.
Alguns exemplos:
Exemplo 2.2.12. O ncleo do mapeamento derivativo, exemplo 2.2.8
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}

2.2.3

O Espao Vetorial Dual

Seja f : V K, uma funo linear (mapeamento linear) de um espao


V (n, K) no corpo K. Seja {ei } uma base de V e considere um vetor arbitrrio
v escrito nesta base
v = v 1 e1 + v 2 e2 + + v i ei + + v n e n .
Da linearidade de f temos
f (v) = f (v 1 e1 + v 2 e2 + + v i ei + + v n en )
= v 1 f (e1 ) + v 2 f (e2 ) + + v i f (ei ) + + v n f (en ).
Desta forma conhecido o resultado da operao de f (ei ) sobre ei conheceremos 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 (ei )}

denominado de espao vetorial dual ao espao V (n, K), sendo representado


como
V (n, K) ou Hom V (n, K).
Note que

{ei } V (n, K)

{ei } V (n, K)

A base {ei } do espao dual V (n, K) uma funo linear, portanto ela
completamente especificada por ei (ej ), para todo j. Pode-se escolher a base
dual como
ei (ej ) = i j.

2.2. ESPAO DE HILBERT, KETS, BRAS E OPERADORES

39

Neste contexto, toda funo linear f de fato um vetor dual, que pode ser
expandido como
f = fj ej
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) = fj ej
Utiliza-se a notao



v i ei = fj v i ej (ei ) = fj v i ji = fi v i K.
<; >: V V K

para representar o produto interno como um mapeamento bilinear do produto


cartesiano do espao dual com o espao no corpo K.

2.2.4

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) Define-se em H um produto escalar positivo definido
O produto escalar de dois elementos e , representado por
(, ) ou h | i ,
em geral um nmero complexo.
O produto escalar satisfaz
h | i
hc1 1 + c2 2 | i
h | d1 1 + d2 2 i
h | i

=
=
=
=

h | i ,
c1 h1 | i + c2 h2 | i ,
d1 h | 1 i + d2 h | 2 i ,
0e <

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
k n k <

40

CAPTULO 2. CONCEITOS FUNDAMENTAIS

Outra definio pode ser utilizada: Um espao H separvel se um subspao H H que enumervel e denso. Penso ser necessrio definir subconjunto denso, entretanto para isto necessrio definir Fecho. Estas definies
so apresentadas a seguir.

2.2. ESPAO DE HILBERT, KETS, BRAS E OPERADORES

41

Definio. Uma sequncia de nmeros reais uma funo f : N R


representada por f (n) ou simplesmente xn .
Definio. Uma sequncia f (n) denominada de sequncia de Cauchy se
dado > 0, n0 N tal que
kf (n) f (m)k <
para m, n = n0
Exemplo. Para a sequncia f (n) = 1/n para > 0 n0 N tal que
|f (r) f (s)| < para r, s > n0.
Definio. 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.
Definio 2.2.13. {Obs. ponto limite=ponto de acumulao}. Seja E R.
Um ponto p R um ponto limite (ou de acumulao) do subconjunto E
se B (p) contiver um ponto q E | p 6= q.
Definio 2.2.14. Ponto de aderncia. Um ponto p ponto de aderncia de
um conjunto S, se toda vizinhana aberta de p contm pontos de S. Observe
que p pode no pertencer ao conjunto S.
Observao: Existe uma diferena bastante sutil entre os conceitos de ponto
de acumulao e ponto de aderncia, como podemos observar pelo exemplo
seguinte.
Exemplo: Cada nmero complexo do conjunto S=i+n:n=1,2,... um ponto
de aderncia de S, mas nenhum dos pontos desse conjunto um ponto de
acumulao de S.
Definio 2.2.15. Ponto isolado. Um ponto p E isolado se B (p) que
contm somente o ponto p do conjunto E.
Exemplo 2.2.16. E = (a, b) e a < b. Qualquer ponto p E e a < p < b
ponto de acumulao do conjunto E. Note tambm que as bolas B (a)e B (b)
tambm contem pontos de E 6= a, b portanto a, b tambm so pontos de
aculumao ou pontos limites do conjunto E mas no pertencem ao conjunto
E.
n

Exemplo 2.2.17. Seja E = n1 | n N . Cada 1/n um ponto isolado j


que B ( n1 ) cujo nico elemento o ponto 1/n do conjunto E. Este conjunto
possui um ponto de acumulao ou ponto limite que o zero, porm este
ponto
/ E
Definio. Seja S um subconjunto de um espao topolgico X. O subconjunto S X denominado denso em X se o seu fecho S for igual a
X.

42

CAPTULO 2. CONCEITOS FUNDAMENTAIS

Figura 2.2.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 Cauchy n H, com n N converge para um elemento de H, ou seja a
relao
lim kn m k = 0,
m, n
define um nico limite H tal que
lim kn k = 0.

Resumindo com outra definio:


Definio 2.2.18. Um espao de Hilbert H um espao vetorial produto
interno que completo e com a norma induzida pelo produto interno.

2.2.5

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 |i.

2.2. ESPAO DE HILBERT, KETS, BRAS E OPERADORES

43

Postulala-se que o ket |i contm toda a informao do estado fsico ou


do sistema. Dois kets podem ser adicionados
|i + |i = |i ,

sendo o ket |i um outro ket. Tambm para c C temos que


Para c = 0 teremos

c |i = |i c = |i .

sendo 0 o ket nulo. Note que

0 |i = |i 0 = 0,
|0i 6= 0,

j que |0i o estado de vcuo de um dado sistema fsico ou no contexto de


teorias de campos o vcuo de uma teoria.
Postulado. Os kets |i e c |i com c C e c 6= 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 operadores5 . Representaremos por A, B, operadores associados a observveis. Um operador atua em um ket, geralmente pela esquerda, como
A (|i) = A |i

cujo resultado outro ket. Um operador gira um ket no espao de Hilbert


H. Em geral A |i 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 |ai = a |ai

(2.2.3)

que para um nmero finito ou infinito de autoestados-autovalores representaremos como


{|a0 i , |a00 i , , |an0 i , } ,
sendo que

A |a0 i = a0 |a0 i
A |a00 i = a00 |a0 i
..
..
.
.
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.

44

CAPTULO 2. CONCEITOS FUNDAMENTAIS

sendo a0 , a00 , C. O conjunto de nmeros


{a0 } {a0 , a00 , , an0 , }

(2.2.4)

denominado de espctro do operador A ou conjunto de autovalores do


operador A. Resumindo, na equao a autovalores
A |ai = a |ai ,

um operador associado a um observvel,


a
um autovalor do operador A,

|ai um autovetor ou autoestado do operador A.

Exemplo 2.2.19. Considere o operador Sz e seus autoestados e autovalores:


~
Sz |Sz ; +i = + |Sz ; +i ,
2
~
Sz |Sz ; i = |Sz ; i
2
Nesta equao Sz um operador, ~/2 os seus autovalores e |Sz ; i seus dois
autoestados. Apesar da notao parecer um pouco carregada, ela ser necessria para que possamos, por exemplo, distinguir a equao a autovaloresautoestados do operador Sx
~
Sx |Sx ; +i = + |Sx ; +i ,
2
~
Sx |Sx ; i = |Sx ; i
2
Foi observado anteriormente que a dimensionalidade do espao de Hilbert
depende do sistema em considerao, por exemplo no experimento de SternGerlach 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
{|Sz ; +i , |Sz ; i} .
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 dimensionalidade do espao de Hilbert ser 8. Se a dimenso do espao for N o

2.2. ESPAO DE HILBERT, KETS, BRAS E OPERADORES

45

espao de Hilbert conter uma base com n autoestados do operador A. Um


ket arbitrrio |i poder ento ser escrito como
|i =

X
a0

ca0 |a0 i ,

(2.2.5)

com a0 , a00 , , {an }0 , com as constantes ca0 C.

2.2.6

Espao dos Bras e o Produto Interno

Como vimos na subseo 2.2.3 Seja f : V K, uma funo linear (mapeamento linear) de um espao V (n, K) no corpo K... o mapeamento linear
f defini 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
h|
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 definio de espao dual ou ainda podemos
reforar este argumento afirmando 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 fixando-se o mapeamento da base,
fixa-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
|i h| .

Resumidamente, uma dada base para os dois espaos ser representada


como

{h|}
|i

gera o espao de Hilbert H (N, C),


gera o espao de Hilbert H(N, C)

46

CAPTULO 2. CONCEITOS FUNDAMENTAIS

Novamente sendo redundante, por fora de clareza, existe uma correspondncia unvoca entre os elementos dos dois espaos

|i

|ai ,

h| ,
|a i , , |a i han0 | , , ha0 | , ha| ,

|i + |i
h| + h| ,

c |i
c h| .
0

n0

sendo que c o complexo conjugado de c.

Definio 2.2.20. Produto Interno. O produto interno de um ket por um


bra ser representado como
h | i = c C,
como

|i H e h| H

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


apndice A.1. Por praticidade resumimos e reescrevemos aquelas propriedades na notao atual:
positividade. h | i = 0, |i H
no-degenerado. h | i = 0 = |i = 0
aditivo (distribuitivo a direita e esquerda)
h| (|i + |i) = h | i + h | i
|i (h| + h|) = h | i + h | i .
homogneo. hc | i = c h | i ; h | ci = c h | i c K, h| , |i
H , H ,. respectivamente.
simtrico. h | i = h | i.
Por trs da definio de produto interno est implicita a condio que a
mtrica seja positiva definida. Para variedades diferenciveis com mtricas
pseudo-euclidiana pode-se ter problemas com a interpretao probabilstica
do mdulo do produto interno
|h | i|

2.2. ESPAO DE HILBERT, KETS, BRAS E OPERADORES

47

enquanto densidade de probabilidade. Para se ter uma idia do que isto


significa, 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
h

a , {a } =

que fornece componente com norma negativa, ou seja


E
D
0 a {a } 0

= =

1,

ij ,

= = 0,
= i, = j

Definio 2.2.21. Kets ortogonais. Dois kets |i e |i so denomindados


de ortogonais se
h | i = 0.
Esta relao de ortogonalidade implica que

h | i = h | i
h | i = h | i = 0.
Afirmao 2.2.22. Normalizao de kets. Dado um ket no nulo, podemos
normaliz-lo considerando o seu produto interno
h | i = r, |r R.
Dado que |i e c |i , com c C representam o mesmo estado fsico, definimos
o ket
1
|
i = q
|i
h | i
o quel possui norma unitria

h
|
i =

h | i
= 1.
h | i

Definio 2.2.23. Operadores. [10]Um operador linear entre os espaos


vetoriais 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.

48

CAPTULO 2. CONCEITOS FUNDAMENTAIS

Informalmente operadores so mapeamentos lineares que mudam a direo dos kets no espao de Hilbert. Lembre-se que os kets |i e c |i representam o mesmo estado fsico o que significa que possuem a mesma direo
no espao de Hilbert. Representaremos por X,Y uma classe mais geral de operadores que no so necessariamente hermitianos (observveis) ou
unitrios.
Um operador atua em um ket pela esquerda e o resultado outro ket

Dois operadores so iguais se

X |i = |i .

X |i = Y |i = (X Y ) |i = 0 = X = Y.

Para um ket arbitrrio no espao em considerao.


O operador X um operador nulo se para um ket arbitrrio
X |i = 0, |i .

Operadores podem ser adicionados satisfazendo as regras de comutatividade 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 operadores que trabalharemos sero lineares:
X (c |i + c |i) = c X |i + c X |i .

Um operador sempre atua em um bra pela direita:


(h|) X = h| X = h|

e o resultado outro bra. O ket X |i e o bra h| X no so em geral o


correspondente dual de cada outro.
Definio 2.2.24. Operador Adjunto. O operador X o hermitiano adjunto ou simplesmente adjunto do operador X.
Define-se o operador adjunto X , do operador X, pela equao
.
CD

Xc |i h| c X .

(2.2.6)

2.2. ESPAO DE HILBERT, KETS, BRAS E OPERADORES

49

Definio 2.2.25. Operadores Hermitianos. Um operador hermitiano


quando satisfaz
X = X.
Afirmao 2.2.26. Multiplicao de Operadores. A multiplicao de operadores no , em geral, comutativa
XY 6= Y X

Exemplo 2.2.27. Sejam os operadores


X =

0 1
1 0

0 1
1 0

XY

YX =

!
!

1 0
0 1

, Y =

1 0
0 1
0 1
1 0

1 0
0 1

!
!

0 1
1 0

0 1
1 0

!
!

,
,

mostrando que XY 6= Y X. Um outro exemplo


X = xI; Y = x I XY 6= Y X.
Afirmao 2.2.28. Associatividade na Multiplicao: X (Y Z) = (XY ) Z.
Da associatividade segue que
X (Y |i) = (XY ) |i = XY |i
(h| X) Y = h| (XY ) = h| XY,
e note que
[X (Y |i)] = [X |i] = h| X =

h| Y X = h| Y X

= (XY ) = Y X ,

e para um ket arbitrrio qualquer, prova-se que


(XY Z ) = Z Y X

50

CAPTULO 2. CONCEITOS FUNDAMENTAIS

Definio 2.2.29. Produto Exterior. O produto exterior do ket |i pelo


bra h| um operador representado por
|i h|
que totaltmente diferente do produto interno cujo resultado um nmero
complexo.
A afirmao que a multiplicao de operadores associativa no foi provada 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 2.2.30. Associatividade da Multiplicao. A multiplicao dos operadores associativa.
Para explicitar a importncia deste axioma considere o produto externo
atuando em um ket genrico |i:
(|i h|) |i = |i (h| |i) ,
com

h| |i = h | i

o produto interno entre o ket |i e o bra h| . Assim o produto externo


operando em um ket justamente outro ket, por isto olhamos |i h| como
um operador. Note que o operador |i h| gira o ket |i na direo do ket
|i.
A propriedade
X = (|i h|) = |i h|
(2.2.7)
pode se provada da seguinte forma

X |i = |i h| |i = c |i
(c |i) = c h|
c h| = h| c
= h| h| |i
= h| |i h|
donde seque que

X = (|i h|) = |i h| .

Uma outra consequncia importante do axioma da associatividade


h| (X |i) = (h| X) |i = h | X | i .

2.2. ESPAO DE HILBERT, KETS, BRAS E OPERADORES

51

Ao custo do atropelamento do contedo, esta expresso torna-se mais familiar


na forma

h
i
h
i
3

d x (r) O(r) = d x (r)O (r) = d3 x (r)O(r).


A operao de se calcular a equao adjunta da equao h | X | i fornece
D

h | X | i = X ,

que pode ser facilmente provada como

h | X | i = h | i =

(2.2.8)

h | i = h | i = X ,

utilizando a equao Eq. (2.2.6).

Definio 2.2.31. Operadores Hermitianos. Operadores hermitianos so


definidos pela equao
D

2.2.7

h | X | i = X = h | X | i X = X.

(2.2.9)

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 2.2.32. 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 |ai = a |ai ha| A = a ha|
cujos produtos internos com o ket |ai e com o bra ha| fornecem
a ha | ai = a ha | ai =
(a a ) ha | ai = 0 =
a a = 0 = a <

52

CAPTULO 2. CONCEITOS FUNDAMENTAIS

ou seja os autovares do operador A so reais. Considere na sequncia os


autovalores associados a diferentes autoestados, teremos
A |ai = a |ai
A |a0 i = a0 |a0 i
Calculando o produto interno da primeira equao com o bra ha0 | e o produto
interno do ket |ai com a equao adjunta da segunda equao obtem-se que
ha0 | A | ai = a ha0 | ai
ha0 | A | ai = a0 ha0 | ai
que subtraidas fornecem
0 = (a a0 ) ha0 | ai
que ser nulo somente se os autoestado forem ortogonais, ou seja para
a 6= a0 = ha0 | ai = 0.

(2.2.10)

A propriedade de ortogonalidade tambm pode ser provada utilizando-se o


axioma da associatividade para o clulo de
(ha0 | A) |ai = a0 ha0 | ai
ha0 | (A |ai) = a ha0 | ai ,
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
ha0 | ai = a0 a ,

(2.2.11)

sendo portanto a base


{|ai}

uma base ortonormal, completa por construo.

2.2.8

Base Construida com Autoestados

Dado que os autoestados do operador hermitiano A so ortogonais e formam


um conjunto completo, isto significa que eles podem ser utilizados para se
expandir um ket arbitrrio do espao dos kets nos autoestados do operador

2.2. ESPAO DE HILBERT, KETS, BRAS E OPERADORES

53

A. Em outras palavras os autoestados do operador A podem ser utilizados


como uma base para escrevermos a expanso
|i =

X
a0

ca0 |a0 i .

(2.2.12)

Utilizando a ortogonalidade da base encontramos


ha00 | |i = ha00 |
= ha00 | i =

X
a0

ca0 |a0 i =

X
a0

ca0 ha00 | |a0 i =

ca0 a00 a0 = ca00 ,

(2.2.13)

a0

resumindo, a equao Eq. (2.2.13) fornece os coeficientes ca0 na expanso do


estado ou ket arbitrrio |i na base {|a0 i}:
ca0 = ha0 | i .
Quase uma curiosidade, substituindo novamente os coeficientes ca0 na equao Eq. (2.2.12) obtemos
|i =
=

X
a0

X
a0

Resumindo

|i =

X
a0

ha0 | i |a0 i
|a0 i ha0 | i

|a0 i ha0 | |i

(2.2.14)

Esta expresso duplamente interessante: primeiro pela analogia com a


expanso de vetores no espao euclidiano R3 :
V=

3
X

e i vi

i=1

donde seque da ortogonalidade da base que


vi = e i V
que subistituida de volta na expanso vetorial fornece
V=

3
X
i=1

ei (ei V)

(2.2.15)

54

CAPTULO 2. CONCEITOS FUNDAMENTAIS

Compare as equao Eq. (2.2.14) e Eq. (2.2.15), e veja que fornece a seguinte
associao (lembre-se que os espaos so diferentes!) didtica:

P
0

|i
=

a0 ca0 |a i

c 0 = ha0 | i
a
P
0
0

|i
=
a0 |a i ha | |i

V = 3i=1 ei vi ,
vi = ei V,
P
V = 3i=1 ei (ei V) ,
{ei }.

{|a i}

Segue tambm da equao Eq. (2.2.14) a definio do operador identidade


para uma base completa {|a0 i}
I=

X
a0

(2.2.16)

|a0 i ha0 |

que chamada de relao de completeza ou fechamento da base. Apesar da aparente simplicidade, este operador muito til. Como exemplo
considere um ket genrico |i normalizado
h | i = 1,
que expandido na base de autoestados do operador A pode ser escrito como
|i =

X
a0

ca0 |a0 i ,

que substituida no produto interno anterior fornece a expressso


h | i =
=
=

a0 a00

a0 a00

X
a0

ca0 ca00 ha00 | a0 i


ca0 ca00 a0 a00 =
2

|ca0 | = 1.

X
a0

ca0 ca0

Porm, este clculo tambm pode ser feito utilizando-se o operador identidade:
h | i = h| I |i
X
|a0 i ha0 | |i
= h|
=

X
a0

X
a0

a0

(h| |a0 i) (ha0 | |i)


ca0 ca0 =

X
a0

|ca0 |2 = 1.

2.2. ESPAO DE HILBERT, KETS, BRAS E OPERADORES

55

Dada a definio do operador identidade, Eq. (2.2.16) defini-se o operador


projetor
X
X
|a0 i ha0 |
a0 = I, a0 |a0 i ha0 |
(2.2.17)
a0

a0

sendo que o simblo a0 utilizado para representar o operador projetor ou


operador de projeo o qual mede ou projeta o quanto do ket arbitrrio |i
esta na direo do vetor base |a0 i, o quadrado do mdulo dos coeficientes
na expanso do ket |i na base |a0 i representa a probalilidade associada a
cada autoestado |a0 i na expanso de |i . Posteriormente voltaremos a esta
discusso em detalhes.

2.2.9

Representao Matricial.

Uma vez especificada uma base podemos construir explicitamente a representao matricial para os operadors X, kets da base |a0 i e kets genricos |i
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 =
=
=

X
a0

a0 a00

a0 X

a0

|a0 i ha0 | X

X
a00

a00

a00

|a00 i ha00 |

|a0 i ha00 | ha0 | X | a00 i .

O termo ha0 | X | a00 i pode ser visto como um elemento de uma matriz quadrada N N em um espao de Hilbert N d :

(2.2.18)

ha0 | X | a00 i Xa0 a00 ,

com o ndice a0 representando a linha e a00 a coluna, portanto temos um


elemento de matriz do operador X na a0 sima linha e a00 sima coluna. A
matriz X pode ser simbolicamente escrita como

ha1 | X | a1 i

2
1
ha | X | a i

..

D
. E
aN X a1

ha1 | X | a2 i
ha2 | X | a2 i
..
.

a1 X aN

a 2 X aN
.
..
. D .. E
E
D
aN X a2 aN X aN

Resgatando a notao matricial




M = MT

, M

ij

= Mji ,

(2.2.19)

(2.2.20)

56

CAPTULO 2. CONCEITOS FUNDAMENTAIS

significando 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

ha0 | X | a00 i = a00 X a0 ,

(2.2.21)

ha0 | A | a00 i = ha00 | A | a0 i ,

(2.2.22)

que para um operador Hermitiano A = A, torna-se

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 =
=
=

a0 a00

a0 a00

a0 a00

=
=

a0 a00

|a0 i ha0 | Z |a00 i ha00 |


|a0 i ha00 | ha0 | Z | a00 i
|a0 i ha00 | ha0 | X Y | a00 i
0

00

|a i ha | a

a0 a00 a000

00


X

|a000 i ha000 | Y
X

000
a

+

00
a

|a i ha | ha | X | a000 i ha000 | Y | a00 i

que fornece o elemento de matriz Za0 a00 do operador Z como


ha0 | Z | a00 i =

X
a000

ha0 | X | a000 i ha000 | Y | a00 i ,

(2.2.23)

que exatamente a regra de multiplicao de matrizes quadradas. Considere


a representao matricial de um ket genrico |i ,que para isto escrevermos:
h | i =
=

+
*
X



|a0 i ha0 |
0

a
X
a0

=
=

h | a0 i ha0 | i

D ED E D ED E
a1 a1 + a2 a2
E
D
ED
= + aN aN
D E D E
D
E
a1
a2 aN

ha1 | i

ha2 | i

..

D . E

aN

2.2. ESPAO DE HILBERT, KETS, BRAS E OPERADORES

57

Desta expresso segue diretamente as representraes matriciais de um Ket


como uma matriz coluna e um Bra como uma matriz linha:

|i =
e
h| =

ha1 | i
ha2 | i
..
.

E
aN

D E D E
D
E
a1
a2 aN

c1
c2

cN

(2.2.24)

= (c1 c2 cN ) .

(2.2.25)

Exemplo 2.2.33. Representao matricial do operador I. Para encontrar a


representao matricial do operador calculamos o elemento de matriz
D

E

ai I a i

=
=
=


+
X



ai
|a0 i ha0 | aj
a0
X D E D E
ai a0 a 0 aj
*

a0

X
a0

I=

ai a0 a0 aj = ij .

1
0
..
.

0
1
.. . .
.
.
.
0 0 ..

0
0
..
.
1

Exemplo 2.2.34. A representao matricial do operador |i h|. Dada a


experincias anteriores, excrevemos diretamente a matriz cujos elementos de
matriz so ha0 | i h | a00 i

ha1 | i h | a1 i

..

.
D

..
.

aN h | a1 i

ha1 | i aN
..
.

ED
aN

aN

Exemplo 2.2.35. Representao matricial de um operador Hermitiano na

58

CAPTULO 2. CONCEITOS FUNDAMENTAIS

sua representao (base). Para isto notamos que


A = IAI =
=
=

a0 a00

X
a0

00

X
a0
0

|a0 i ha0 | A
00

a |a i ha | a0 a00
a0 |a0 i ha0 | =
1

a
0
0
..
.
0

X
a00

|a00 i ha00 |

a0 a0

a0

0 0 0
a2 0 0
0
0 a3 0
..
.
. 0 .. 0
0 0 0 aN

Nota-se que os projetores possuem a seguinte representao matricial


(n )ij = an ni ij,
sem som nos ndices repetidos, por exemplo

a1 0 0

1 0 0 0

0 0 0
Exemplo 2.2.36. Aplicao do formalismo para uma partcula com spin
1/2.
Como um simples exemplo vamos aplicar o formalismo desenvolvido anteriormente para um sistem (partcula) com spin 1/2 como o que discutimos
no incio do captulo. Por simplicidade economica utilizremos a notao

.
|a1 i =
|+i ,
.
|Sz i = |i =
.
|a2 i =
|i .
A ortogonalidade da base escrita como
ha | a i = a0 a00
0

00

h+ | +i

= 1,
h | i
= 1,

h+ | i = h | +i = 0.

O operador Sz diagonal na sua representao, portanto pode ser escrito


analogamento ao operador A do exemplo Ex. (2.2.35):
Sz =

X
a0

a 0 a0 =

~
~
+
2
2

~
(|+i h+| |i h|) .
2

2.2. ESPAO DE HILBERT, KETS, BRAS E OPERADORES

59

A operao de Sz nos seus autoestados fornece


~
(|+i h+| |i h|) |+i
2

~

:0


 |+i
h|
|+i h+| |+i |i 
=
2
~
=
|+i ;
2

Sz |+i =

~
(|+i h+| |i h|) |i
2

~
:0



 |i |i h| |i
h+|
|+i 
=
2
~
= |i .
2
A expresso do operador identidade representando a completeza da base :
Sz |i =

I =

X
a0

a0 = + +

= |+i h+| + |i h| .

Sendo bvio que

I |+i = (|+i h+| + |i h|) |+i = |+i ,


I |+i = (|+i h+| + |i h|) |i = |i .
Exerccio 2.2.37. Prove que os operadores I e Sz so Hermitianos.
Vamos introduzir dois novos operadores que sero discutidos mais detalhadamente, posteriormente;
S+ ~ |+i h| ,

Obtem-se imediatamente que

S ~ |i h| .

(2.2.26)

S+ = (~ |+i h|) = ~ |i h| = S

S = (~ |i h|) = ~ |+i h| = S+,

que obviamente no so operadores hermitianos. Considere o resultado da


atuao destes operadores nas bases |i:

|+i = ~ |+i h| |+i = 0,


S+ |i = ~ |+i h| |i = ~ |+i .
+

60

CAPTULO 2. CONCEITOS FUNDAMENTAIS

Figura 2.2.2: Sistema com dois nveis de energia

Note tambm que

|+i = ~ |i h+| |+i = ~ |i ,


= ~ |i h+| |i = 0.

S |i

+ S+

|i = 0,
= 0.

S S |+i

Os operadores S mudam os estados |i 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 figuras Fig. (2.2.9) e (2.2.9)
Para o modelo esquematizado na figura Fig. (2.2.9) 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 |i est associado
ao estado de menor energia e |+i ao estado excitado do sistema. Neste caso

2.2. ESPAO DE HILBERT, KETS, BRAS E OPERADORES

61

Figura 2.2.3: Inverso do spin


o operador S+ leva pela atribuio de um quantum de energia, o eltro do
estado fundamemtal |i para o estado excitado |+i .

J para um sistema de dois nveis representando a inverso do spin, como


esquematizado na figura Fig. (2.2.9), os operadores S+ atua numa partcula
com spin para baixo, representado pelo ket |i levando-a para um estado com
spin para cima, representado pelo ket |+i ; situao aloga representada
pelo operador S .

2.2.10

Representao Matricial dos Operadores e Estados 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

62

CAPTULO 2. CONCEITOS FUNDAMENTAIS

Eq. (2.2.24) notamos que a representao matricial da base :


ha1 | a1 i
ha2 | a1 i

|+i =

ha1 | a2 i
ha2 | a2 i

|i =

!
!

1
0

0
1

0 1

Segue diretamente desta representao que


h+| = |+i
h+ | +i =
h+ | i =




1 0
1 0

1 0

0
1

1
0

!
!

, h| = |i

= 1; h | i =
= 0; h | +i =

;
0
1

0 1

1
0

0 1

= 1;
= 0.

Utilizando as expresses para os operadores I, Sz , S+ e S em termos da base


|i na representao matricial, encontramos as representaes matriciais dos
operadores
I = |+i h+| + |i h| =
=
Sz

2.3
2.3.1

1 0
0 0

0 0
0 1

1
0

1 0
0 1

~
~
(|+i h+| |i h|) =
=
2
2

S+ = ~ |+i h| = ~

1
0

S = ~ |i h+| = ~

0
1

!
!




0 1
1 0

1 0




0
1

0 1

1 0
0 1

=~

0 1
0 0

=~

0 0
1 0

~
z ;
2
!
!

,
.

Medidas, Observveis e Relaes de Incerteza


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).

2.3. MEDIDAS, OBSERVVEIS E RELAES DE INCERTEZA

63

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 afirma-se que cada
fton est em um certro estado de polarizao.
Considere um caso especfico: um feixe de luz passando atravs de um
cristal de turmalina o qual posssui uma propriedade tica que permite somente a passagem de luz plano polarizada, perpendicular ao seu eixo tico.
A eletrodinmica clssica, como j visto, afirma que se um feixe de luz plano
polarizado com polarizao perpendicular ao eixo tico incide no cristal, ele
ser transmitido ou passar pelo cristal. J se a polarizao do feixe for
paralela ao eixo do cristal, ele no passar, finalmente para uma polarizao
incidente que faz um angulo com o eixo tico, uma frao sin2 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 visualizado como composto de ftons, cada e todos planos polarizados naquela
direo. Este esquema no gera conflito quando a direo o feixe incidente
plano polarizado paralelo ou perpendicular ao eixo tico: meramente supese 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 a direo de polarizao do feixe faz um
angulo com relao ao eixo perpendicular ao eixo tico, j que cada um
dos ftons possuiro esta polarizao. Ento pergunta-se: um nico fton
com polarizao oblqua passar ou no pelo cristal, ou somente uma frao
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 obqua 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 sin2 , permitindonos afirmar que um fton tem uma probabilidade sin2 de passar pelo cristal
e cos2 de ser obsorvido pelo cristal. Nesta interpretao est implcita a

64

CAPTULO 2. CONCEITOS FUNDAMENTAIS

recusa ou abandono da interpretao probabilstica da mecnica clssica que


afirma termos controle de todos as condies experimentais com preciso ilimitada. O mximo que podemos prever um conjunto de possveis resultados
com uma probabilidade de ocorrencia para cada um.
Nas dicusses anteriores supe-se que um fton com polarizao oblqua
ao eixo tico do cristal de turmalina pode ser visto como estando parcialmente em um estado de polarizao paralela ao eixo e parcialmente em
um estado perpendicular ao eixo. O estado de polartizao oblqua ento
considerado como resultante de uma espcie de um processo de superposio 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 estado 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 (medida!): 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 perpendicular; ele deve fazer um salto sbto de parcialmente em um destes dois
estados para inteiramente em um dos estados. Qual dos dois estados ser
selecionado, no pode ser previsto, porm o resultado governado por leis
probabilsticas.

2.3.2

Stern-Gerlach Sequenciais com trs feixes.

Diferentemente da anlise feita na subseo (2.1.5) para partculas (eltrons)


com spin 1/2, nesta seo consideraremos um feixe que aps a passagem
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 correspondem
a projeo das trs componentes do spin ao longo do eixo z com valores 1
correspondente a projeo ao longo do eixo z negativo, 0 correspondente
componente do feixe que no defletido e +1 correspondente a projeo da
componente do feixe ao longo do eixo z positivo. Vamos utilizar a notao

para representar um aparelho de Setern-Gerlach, SGz composto por trs


ims, como esquematizado na figura Fig (1.3.1) (2.3.2) o qual ser referido
pela letra S.

2.3. MEDIDAS, OBSERVVEIS E RELAES DE INCERTEZA

65

Figura 2.3.1: SGz

Figura 2.3.2: SG SS
Outros arranjos do experimento com alguns feixes bloqueados sero representados como esquematizado na figura (2.3.2)
Para experimentos sequenciais com o segundo aparelho alinhado de um
angulo com relao ao eixo z+ do primeiro aparelho, como esquematizado
na figura Fig. (1.3.4) utilizaremos a notao T para nos referir a este
aparelho com alinhamento .
Como exemplo da representao utilizando a notao introduzida na figura Fig. (1.3.3), para o experimento de Stern-Gerlach (SG) sequencial,
como esquematizado na figura Fig. 2.3.2, teremos a simbologia

+
0

0 ,

enquanto que para aparelhos com angulo entre os seus eixos z 0 s, como o

66

CAPTULO 2. CONCEITOS FUNDAMENTAIS

Figura 2.3.3: Resumo da conveno da notao dos SG


da figura Fig. (1.4.4) teremos a seguinte simbologia

+
0

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

+
0

+
0

N/3

N/3

N/3

+
0

+
0

+
0

+
|+i = 0

mostra a preparao do estado puro

N/3
,

2.3. MEDIDAS, OBSERVVEIS E RELAES DE INCERTEZA

67

Figura 2.3.4: SG angulo


Os estados |0i e |i so preparados com um procedimento anlogo, sendo
representado por

+
0
|0i =

+
0
|i =

No vamos estender a discusso da preparao dos estados bases neste


caso, mesmo porque j o fizemos para spin 1/2, mas vamos considerar experimentos SG em srie para compreendermos o processo de medida na mecnica
quntica. Considere ento as seguintes simulaes de experimentos de SG
sequenciais:

+
0

+
0

+
n
0

+
n
0

(2.3.1)
n

Este arranjo, Eq. (2.3.1), mostra que o estado


|+iS 6= |+iT
e para confirmar esta interpretao experimental monta-se os seguintes ar-

68

CAPTULO 2. CONCEITOS FUNDAMENTAIS

ranjos

+
0

+
0

+
n
0

+
n
0

(2.3.2)

que mostram ser o feixe com n partculas no estado |+iS uma combinao
linear dos estados |+iT , |0iT e |iT .
Considere o experimento o qual inicia-se com um filtro 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 0 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.

+
n
+
n
n
0
0
0

J para o seguinte arranjo, observa-se aps o filtro S um feixe com intensidade n :

+
0

+
n
0

+
0

Finalmente para a montagem experimental

+
0

+
n
0

+
0

Note que a diferena entre estes dois arranjos no segundo filtro S. Nos
trs arranjos anteriores, as constantes que aparecem multiplicando n so

2.3. MEDIDAS, OBSERVVEIS E RELAES DE INCERTEZA

69

dadas por

|hT ;
|hT ;
|hT ;
|hS;
|hS;
|hS;

+ | S; +i|2 ,
0 | S; +i|2 ,
| S; +i|2 ,
+ | T ; 0i|2 ,
0 | T ; 0i|2 ,
| T ; 0i|2 .

Este arranjo quando comparado ao seguinte arranjo experimental, mostra


um resultado impressionante:

+
0

+
0

+
+
n
n
0
0

+
n
n
0
0

nn

Todos os n tomos passam pelo segundo aparelho S no primeiro caso e


nenhum no segundo, nas palavras de Feynman: esta uma das grandes
leis da Mecnica Quntica. Que a natureza funciona desta maneira, no
nada evidente, entretanto isto o que nos mostra os resultados de inumeros
experimentos.
O impressionantes que com a abertura de mais canais, passaram menos
tomo! Como pode? Este o velho mistrio da Mecnica Quntica: a
interferncia de amplitudes! Com a remoo dos bloqueadores dos filtros
toda informao contida no feixe quando passou pelo primeiro S foi mantida
portando os tomos do feixe esto correlacionados e a mesma quantidade
passar pelo segundo aparelho no primeiro caso e nenhum no segundo j
que esto submetidos a estados ortogonais. O experimento ocorre como se o
aparelho T no estivesse presente. Note que em T os feixes so separados ao
longo do eixo z 0 mas no sa boloqueados (medidos)!
Considerem a seguinte soma de probabilidades aplicada aos trs SG em
srie:

70

CAPTULO 2. CONCEITOS FUNDAMENTAIS

Pi = n + n + n
=

|hS; + | T ; 0i|2 + |hS; 0 | T ; 0i|2 + |hS; | T ; 0i|2

|hT ; 0 | S; +i|2 n
= |hT ; 0 | S; +i|2 n = n,

o que concorda com o arranjo sem os canais bloqueados. Entretanto para o


experimento sem os canais bloqueados a probabilidade
2

P = |hS; + | S; +i| =

*


+ 2

X




0
0
|a i ha | S; + ,
S; +

0


a

que faz muita diferena como veremos logo adiante.

2.3.3

Comparando a polarizao de frmions e bsons

2.3.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 {|a0 >} dos
autoestados deste operador:

| >=

X
a0

ca0 |a0 >=

X
a0

< a0 | > |a0 >=

X
a0

|a0 >< a0 | > .

(2.3.3)

Quando a medida feita o sistema assume um dos possveis autoestados


|a0 > do operador A. Qual deles o sistema escolher no pode ser previsto
sob a medida A

| > |a0 > .

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 Sz + ou Sz aps passarem pelo aparelho SGz. Neste caso tem-se
que

|S + > ou
z
SG
z
| >
|Sz >

2.3. MEDIDAS, OBSERVVEIS E RELAES DE INCERTEZA

71

Suponha que aps a medida ser efetuada


SG
z

| >

|S

z+

>
|Sz > 

o feixe |Sz > bloqueado e o feixe |Sz + > submetido novamente a outro
SGz. Aps isto o experimento indica que o sistema continua no estado
|Sz + >. Este procedimento pode ser escrito, de uma forma genrica para
qualquer observvel A como
sob a medida A

sob a medida A

| > |a0 > |a0 > .


O famoso indeterminismo inerente ao sistema est associado seguinte
afirmao (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 |a0 >, 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 {|a0 >} de autoestados do operador A que representa um dado
observvel fsico:
| >=

X
a0

ca0 |a0 > .

(2.3.4)

O resultado de uma medida do observvel A pode assumir um dos possveis


valores {a0 } com probabilidade |ca0 |2 :
| < a0 | > |2 = |ca0 |2 = probabilidade de obter o valor a0 , para < | >= 1.
Esta expresso de fato o postulado (na forma de uma sentena matemtica) associado interpretao probabilstica; ela coerente por causa de
pelo menos dois motivos:
1. se | >= |a0 >,
neste estado.

| < a0 | > |2 = |ca0 |2 = 1 e o sistema sempre estar

2. Se em t = 0, (antes da medida) | >= |a0 >, aps a medida o sistema


continuar no estado |a0 > e < a0 |a00 >= 0. Kets ortogonais correspondem a alternativas mutuamente excludentes.

72

2.3.5

CAPTULO 2. CONCEITOS FUNDAMENTAIS

O valor esperado de um observvel A.

O valor esperado de um observvel com relao ao estado | > definido


como
< A >< |A| >,
que pode ser reescrita com
< A > = < |A| >=< |1A1| >
X
=
< |a0 >< a0 |A|a00 >< a00 | >
=

=
=

a0 a00

a0 a00

a0 a00

X
a0

ca0 ca00 < a0 |a00 |a00 >


ca0 ca00 a00 a0 a00

|ca0 |2 a0 ,

significando que o valor esperado igual ao valor mdio j que a0 um dos


possveis valores que o operador A pode assumir e |ca0 |2 a probabilidade do
operador A assumir o autovalor a0 numa medida.
Observao 2.3.1. O valor esperado de um operador A, calculado como
< A >=< |A| >=

X
a0

|ca0 |2 a0 ,

diferente de autovalor:
< A >6=< a0 |A|a0 >= a0 ,

< a0 |a0 >= 1.

Por exemplo o valor mdio ou esperado do operador Sz pode assumir qualquer valor entre ~2 e ~2 ,
~
~
< Sz >
2
2
entretanto, os autovalores de Sz so
~
.
2

2.3.6

Medidas seletivas: o papel do operador projetor

Medida seletiva ou filtrao a separao de um nico autovalor a0 do espectro de autovalores {a0 } do operador A. Tecnicamente isto feito atravs do
bloqueio de todas as componentes indesejveis do feixe, deixando-se passar

2.3. MEDIDAS, OBSERVVEIS E RELAES DE INCERTEZA

73

Figura 2.3.5: Medida seletiva


somente aquelas de interesse. Este procedimento pode ser representado ou
feito utilizando-se o operador projetor. O operador a0 seleciona do estado
fsico | > somente a componente na direo de |a0 >, como esquematizado
na figura 2.3.5.
Os postulados da Mecnica Quntica
Postulado-1 Em um dado tempo t0 o estado fsico do sistema definido
especificando-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 Pn de
obtermos um autovalor an , do operador A associado varivel dinmica
A,
Pn = |cn |2 = | < an | > |2 ,
onde |an > 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
an , o estado do sistema imediatamente aps a medida o estado
|an >< an | >,
6

quantidade < an | > d-se o nome de amplitude de probabilidade

74

CAPTULO 2. CONCEITOS FUNDAMENTAIS


que normalizado pode ser representado como
q

|an >< an | >

< |an >< an | >

Considere como exemplo da aplicao dos postulados e do formalismo desenvolvido nas sees anteriores, a obteno dos estados |Sz >, |Sx >, e
|Sy > para o experimento de Stern-Gerlach.
Stern-Gerlach: spin 1/2 - novamente
Considere o experimento 2.1.6 que indica que o feixe |Sx + > decomposto
em |Sz + > e |Sz > . Utilizando-se estes como os kets base, ou seja a base
a ser utilizada ser
{|a0 >} = {|+ >, | >}

que so os autoestados do operador Sz . Ento pelo primeiro postulado


| >=

com

ca0 |a0 >,

a0 = +,

|Sx + >= c+ |+ > +c | >;


|+ >, | > H;

c C.

O experimento indica que o feixe |Sx + > separado em duas componentes


de mesma intensidade, este resultado juntamente com a normalizao do
estado |Sx + > fornece:
< Sx + |Sx + > = |c+ |2 + |c |2 = 1.
| < +|Sx + > |2 = | < |Sx + > |2 |c+ |2 = |c |2
1
1
2|c+ |2 = 1 |c+ | = ; |c | = .
2
2
1
|c+ | = |c | =
2
Estas condies fixam c+ e c como
1
c+ = e1 ,
2

1
c = e2 .
2

2.3. MEDIDAS, OBSERVVEIS E RELAES DE INCERTEZA

75

Com esta expresses pode-se escrever


1
1
|Sx + > = e1 |+ > + e2 | >,
2
2

1 1 
|+ > +e(2 1 ) | > .
= e
2

Como uma fase global no altera o estado, podemos considerar a diferena


de fase

1 
|Sx +i = |+ > +e1 | > , 1 2 1 .
2
O estado |Sx >pode ser construido imediatamente considerando-se que
estados excludentes so representados por kets ortogonais (5 postulado)

1 
|Sx i = |+ > e1 | > , 1 2 1 .
2

Utilizando a representao de um dado operador em sua representao A =


P 0
a a0 podemos escrever que
Sx =

a 0 a0 =

a0

~
~
|Sx +i hSx +| |Sx i hSx | .
2
2

"


1 
|Sx +i hSx +| = |+ > +e1 | >
2
#
"

1 
h+| + e1 h|
2
1
= (|+i h+| + |i h|)
2

1  1
e |i h+| + e1 |+i h| ;
+
2
"
#

1 
|Sx i hSx | = |+ > e1 | >
2
#
"

1 
1
h+| e
h|
2
1
= (|+i h+| + |i h|)
2

1  1
e |i h+| e1 |+i h| .
+
2
Segue destas trs ltimas equaes que

Sx =


~  1
e |i h+| + e1 |+i h| .
2

76

CAPTULO 2. CONCEITOS FUNDAMENTAIS

Com um procedimento anlogo ao anterior construimos os estados |Sy i e o


operador Sy

1 
|Sy i = |+i e2 |i ;
2


~ 2
e |i h+| + e2 |+i h|
Sy =
2
Para calcularmos as fases 1,2 consideremos um experimento de SG no
qual o feixe |Sx +i decomposto nos feixes |Sy i com igual intensidade,
ento utilizando as equaes anteriores e os postulados de 1-4 teremos
1
1
|hSy + | Sx +i|2 = ; |hSy | Sx +i|2 = .
2
2
Substituindo as expresses dos correspondentes bras e kets, teremos
|hSy + | Sx +i|

=
=

"
1 

h+| + e2


2
2
1

1 + e(1 2 ) ,

h|

#"


1 
|+ > +e1 | >
2

# 2



e segue das duas equaes anteriores que

Com o mesmo procedimento


2


1 + e(1 2 )

= 2,

|hSy | Sx +i| = 1 e(1 2 ) = 2.

Temos duas equaes com duas incgnitas que fornecem



2


1 + e(1 2 )

2


1 e(1 2 )

= 2 = [1 + cos(1 2 )]2 + sin2 (1 2 ) = 2,

= 2 = [1 cos(1 2 )]2 + sin2 (1 2 ) = 2,

que subtradas forncecem

cos(1 2 ) = 0 = 1 2 = n , n mpar.
2
Para facilitar, convenciona-se
1 = 0,

2 = .
2

A escolha do sinal est relacionada orientao do sistema de coordenadas


ou, no caso da polarizao da luz polarizao circular destrgira ou levgira.

2.3. MEDIDAS, OBSERVVEIS E RELAES DE INCERTEZA

77

Substituindo os valores encontrados para as fases nas bases e operadores,


obtem-se que
1
|Sx ; i = (h+| h|) ,
2
1
|Sy ; i = (h+| h|)
2
e os operadores
Sx
Sy

~
[|i h+| + |+i h|]
2
~
[ |i h+| + |+i h|]
=
2
=

Completando nossa discusso sobre spin 1/2 nota-se que os operadores Sx,y
so Hermitianos e que
~
Sx |Sx ; i = |Sx ; i ,
2
~
Sy |Sy ; i = |Sy ; i .
2
Anteriormente, na equao Eq. (2.2.26), introduzimos os operadores de levantamento e abaixamento que esto relacionados aos operadores Sx,y atravs
das relaes
S+ =Sx + Sy = ~ |+i h|
(2.3.5)
S =Sx Sy = ~ |i h+|

Os operadores Sx, Sy e Sz satisfazem as relaes de comutao


[Si , Sj ] = ~ijk Sk ,

(2.3.6)

e as relaes de anticomutao

onde definimos

1
{Si , Sj } = ~2 ij ,
2
[A, B] AB BA,

{A, B} AB + BA

(2.3.7)

(2.3.8)

Exerccio 2.3.2. Verifique, utilizando as representaes matriciais e na base


de autoestados do operador Sz , que os operadores Sx , Sy e Sz satisfazem as
relaes de comutao, Eq. (2.3.6) e anticomutao, Eq. (2.3.7).

78

CAPTULO 2. CONCEITOS FUNDAMENTAIS

Exerccio 2.3.3. Prove que as matrizes de Pauli


0 1
1 0

0
0

1 0
0 1

satisfazem a propriedade
i j = ij I + ijk k .
Tambm costuma-se definir o operador
S2 Sx2 + Sy2 + Sz2 ,

(2.3.9)

e segue da relao de anticomutao que


3
S2 = ~2 I,
4

(2.3.10)

sendo um operador diagonal, portanto

Observveis Compatveis.

S2 , Si = 0.

(2.3.11)

XXX
Observveis imcompatveis
XXXX
Relaes de Incerteza
Seja A um operador hermitiano associado a uma dada varivel dinmica A.
Definimos um novo operador
A A < A > ,

(2.3.12)

onde < A > o valor esperado de A na base em considerao. A disperso


do operador A definida como o valor mdio da equao
(A)2 = A2 2A < A > + < A >2
ou seja, a disperso definida por

(2.3.13)

2.3. MEDIDAS, OBSERVVEIS E RELAES DE INCERTEZA

resumindo

79

< (A)2 > =< A2 > 2 < A >< A > + < A >2
=< A2 > < A >2
< (A)2 >=< A2 > < A >2

(2.3.14)

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 Sx e Sz no estado |Sx + >:

Exemplo 2.3.4. As disperses dos observveis Sx e Sz no estado |Sx + > de


um sistema com spin 1/2.
Para isto, utiliza-se diretamente a equao 2.3.14, entretanto primeiramente deve-se calcular para o operador Sx :

1
1
< Sx + |Sx |Sx + > = (< +|+ < |) Sx (|+ > +| >)
2
2
~
= ;
2

Tem-se portanto que

< Sx + |Sx2 |Sx + >=

~2
.
4

< (Sx )2 >=< Sx + |Sx2 |Sx + > (< Sx + |Sx |Sx + >)2 = 0.

Para o operador Sz :

1
1
< Sx + |Sz |Sx + > = (< +|+ < |) Sz (|+ > +| >)
2
2
~
= (< +|+ < |) (|+ > | >)
4
~
= (< +|+ > + < ||+ > < +| > < | >)
4
= 0;
um clculo anlogo fornece
< Sx + |Sz2 |Sx + >=

~2
4

sendo portanto a disperso


< (Sz )2 >=< Sx + |Sz2 |Sx + > (< Sx + |Sz |Sx + >)2 =
Deste exemplo conclui-se que :

~2
.
4

80

CAPTULO 2. CONCEITOS FUNDAMENTAIS


Sx ntido (bem definido) no estado |Sx + >

Sz no ntido e sim difuso no estado |Sx + >

Relaes de incerteza entre operadores incompatveis.


O objetivo demonstrar a validade da relao de incerteza
1
< (A)2 >< (B)2 > | < [A, B] > |2 ,
(2.3.15)
4
para dois observveis genricos A e B incompatveis [A, B] 6= 0 em estados
(kets do espao de Hilbert H ) genricos. Para isto ser utilizada a desigualdade de Schwarz, uma propriedade de um operador hermitiano e uma
propriedade de um operador anti-hermitiano.
Lema 2.3.5. A desigualdade de Schwarz
< | >< | > | < | > |2

(2.3.16)

Esta desigualdade anloga a desigualdade triangular na forma vetorial


j que

|a|2 |b|2 |a b|2 ,


|a||b| = ab |a b| = ab cos ,

sendo a igualdade vlida para = 0.

Demonstrao. Considere o ket genrico, combinao linear dos kets | > e


| >, dado por
| >= | > +| > .

onde C.Sendo esta uma combinao linear de dois kets, no necessariamente ortogonais, mas LI, pode-se escolher o ket | > ortogonal ao ket
| >,portanto
< | >= 0 =< | > + < | >
< | > = 0 =< | > + < | >
= =
7

< | >
.
< | >

Para a demonstrao do Lema de Schwarz til ter em mente umas poucas propriedades dos nmeros
complexos. Seja z = x + y um nmero complexo, z C e x, y R, o
mdulo de z, |z| = x2 +y 2 e vale a propriedade z z = (x y)(x + y) = x2 + y 2 = |z|2 .
V-se da definio de mdulo que |z|2 0 .

2.3. MEDIDAS, OBSERVVEIS E RELAES DE INCERTEZA

81

Sendo que
< | > =< | > +||2 < | > + < | > + < | >
e ao mesmo tempo

< | > 0,

obtm-se que

< | >


<
+
<

e portanto

| >
< | >
< | >
< | >
< | > 0 =
< | >

| >
< | >
< | >

<


<

| >
< | >
< | > 0 =
< | >

| >
< | >

<


<

| >
< | >< | >
| >

< | >< | > |< | >|2

Lema 2.3.6. O valor esperado de um operador hermitiano real


Demonstrao. Seja A = A um operador hermitiano e seja {|a0 >}uma base
ortonormal e completa de autoestados (eigenkets) do operador A. Ento
< a0 |a00 >= a0 a00
Sendo que

X
a0

|a0 >< a0 | = I

A|a0 > = a0 |a0 >


< a00 |A =< a00 |a00 ,

obtm-se da primeira e segunda equaes, respectivamente que


< a00 |A|a0 > = a0 < a00 |a0 >,
< a00 |A|a0 > = a00 < a00 |a0 > .

Subtraindo estas equaes obtm-se que

para

(a00 a0 ) < a00 |a0 >= 0 =

a0 =
6 a00 , < a00 |a0 >= 0; os autoestados so ortogonais;
para a0 = a00 , a0 = a0 os autovalores so reias.

82

CAPTULO 2. CONCEITOS FUNDAMENTAIS

Lema 2.3.7. O valor esperado de um operador anti-hermitiano imaginrio


puro.
Operadores anti-hermitianos so definidos pela condio:
C = C

(2.3.17)

Demonstrao. Considere que o operador C possui uma base completa de


autoestados ortonormais e que
C|c0 > = c0 |c0 >

< c00 |C = c00 < a00 |,

obtm-se da primeira e segunda equaes, respectivamente que


< c00 |C|c0 > = c0 < c00 |c0 >,
< c00 |C|c0 > = c00 < c00 |c0 > .

Subtraindo estas equaes obtm-se que


(c00 +c0 ) < c00 |c0 >= 0 =

para c0

6= c00 , < c00 |c0 >= 0; os autoestados so ortogonais;


para c0 = c00 , c0 = c0 os autovalores so imaginrios puros.

Donde conclui-se que os autovalores de um operador anti-hermitiano so


nmeros imaginrios puros.
Utilizando o lema 2.3.16 com o ket a seguinte escolha do ket genrico
| > = A| >,
| > = B| >,

obtm-se que o LE da desigualdade ser

< | >< | >=< (A)2 >< (B)2 >,

(2.3.18)

enquanto que o lado direito


|< | >|2 = |< (A) (B) >|2 .

(2.3.19)

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
1
1
(AB BA) + (AB + BA)
2
2
1
1
[A,B] + {A,B} ,
=
2
2

AB =

2.3. MEDIDAS, OBSERVVEIS E RELAES DE INCERTEZA

83

onde foi definido


[A, B] AB BA,
{A, B} AB + BA.
Devido a definio do operador A e B tem-se que
[A,B] = [A < A >,B < B >] = [A, B] ,
devido < A > e < B > serem nmeros.
A decomposio dos operadores em um termos simtrico e outro antisimtrico utilizada juntos com os lemas 2.3.6e 2.3.7 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 simplifica em muito os clculos j que pode-se comparar AB com um


nmero complexo cujo quadrado do mdulo escrito como |z|2 = x2 + y 2 .
Com isto a equao 2.3.19 pode ser reescrita como
|< (A) (B) >|2 =

1
1
|[A,B]|2 + |{A,B}|2
4
4

(2.3.20)

Substituindo as equaes 2.3.18 e 2.3.20 na desigualdade de Schwarz 2.3.5


obtm-se que
< (A)2 >< (B)2 >

1
1
|< [A,B] >|2 + |< {A,B} >|2 . (2.3.21)
4
4

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 justificada pelo exemplo considerado a seguir.
Exemplo 2.3.8. Pacote de onda mnimo em uma dimenso.
Para ilustrar a possibilidade e coerncia da omisso do segundo termo no
lado direito da equao 2.3.21 considere sob que condies este termo pode ser

84

CAPTULO 2. CONCEITOS FUNDAMENTAIS

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 8 :


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 temse que
A = x = x < x >,
B = px = px < px > .

Deve ser lembrado que na representao das coordenadas, o operador


momento px possui a forma
px = ~

d
.
dx

Na linguagem de funes de onda (teoria de Schrdinger) ou representao


das coordenadas em 1d tem-se que
2

|< {A,B} >| = 0


e que

dx (x) (xpx + px x) (x) = 0 (2.3.22)

| >= | >, C = A| >= B| >

que na representao das coordenadas (teoria de Schrdinger) escreve-se


como
x(x) = px (x)
(2.3.23)
A equao (condio) 2.3.23 fornece a seguinte equao diferencial para a
funo de onda (x):
"

< px >
= x +

dx
~
~
8

Compare com a condio |a||b| |a b| = ab ab| cos |; | cos | 1. a igualdade


satisfeita quando = 0 e neste caso os vetores so colineares, ou proporcionais.

2.4. MUDANA DE BASES

85

cuja soluo
"

< px > x
(x)2 +
(x) = N exp
,
2~
~

(2.3.24)

onde N uma constante de integrao.


J a condio 2.3.22 com a utilizao da condio 2.3.23 torna-se9

dx (x) ( px px + px px ) (x) = ( + )

dx (x)px px (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 2.3.24
obtm-se o pacote de onda gaussiano minimo e normalizado
1

"

< px > x
(x)2
exp
+
(x) = q
2
4 < (x) >
~
2 < (x)2 >

(2.3.25)

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
|{A,B}|2
4
na equao 2.3.21 impe uma maior restrio sobre as medidas dos operadores de que elas ( as medidas) sejam mais precisas. Certamente este
procedimento de melhorar a preciso tecnicamente mais complicado.

2.4

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 {|a0 >}dos autoestados do operador A ou a base {|b0 >} que so os
autoestados do operador B. A escolha indiferentes, relembre a discusso
do experimento de Stern-Gerlach onde considerou-se os operadores Sx , Sy
e Sz atuando no espao de Hilbert gerado pelos kets base autoestados do
operador Sz .
9

Note que x(x) = px (x) e que ( (x)x) = (x(x)) = (px (x)) =



(x)px

86

CAPTULO 2. CONCEITOS FUNDAMENTAIS

Sendo a escolha da base arbitrria pergunta-se: uma vez feita a escolha


da base como se relacionam os operadores, autovetores e autovalores ou equivalentemente como fazer uma transformao de coordenadas uma vez tendo
definido 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 simtricas. H um teorema muito importante que somente ser citado:
Teorema 2.4.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 ortogonal no poder ser utilizada para realizar a tarefa que relacione as duas
bases, mas uma generalizao ou extenso destas transformao aos espaos complexos. Nossa tarefa construir um operador de transformao que
relacione as duas bases.
Sendo [A, B] 6= 0; {|a0 >} a representao completa e ortonormal do
operador A e {|b0 >} a representao completa e ortonormal do operador B
e adotando {|a0 >} como a base antiga e {|b0 >} a base nova, considera-se o
teorema
Teorema 2.4.2. Dado dois conjuntos de kets bases {|a0 >} e {|b0 >} ortogonais e completos, existe um operador unitrio U tal que
|b(1) >= U |a(1) >, |b(2) >= U |a(2) >, |b(N ) >= U |a(N ) > .

(2.4.1)

Um operador unitrio definido pelas condies


U U = U U = I.

(2.4.2)

Demonstrao. Por construo, considera-se o operador


U=

X
k

que imediatamente satisfaz:


U |a(l) >=
e
UU =

X
kl

X
k

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

(2.4.3)

|b(k) > kl = |b(l) >,

(2.4.4)

(2.4.5)

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

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

J que < a(k) |a(l) >= kl .

|b(l) >< b(l) | = I.