Professional Documents
Culture Documents
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
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
215
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 . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
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
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
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
P
COR
P 0%
P50%
COR
13
B 50%
COR
B 100%
D
DZ
D 0%
M
DZ
M 100%
14
CAPTULO 1. REVISO
D
DZ
P 50%
M
COR
B 50%
P
COR
D 50%
B
DZ
M 50%
P
COR
15
D 50%
B
DZ
M 50%
P 50%
COR
B 50%
16
CAPTULO 1. REVISO
P
COR
D 50%
B
DZ
M 50%
17
COR
B 100%
D 50%
B
DZ
M 50%
P 50%!
DZ
M 100%
D 50%
COR
DZ
M 50%
B 50%
18
CAPTULO 1. REVISO
COR
B 100%
D 50%
B
DZ
M 50%
P 50%
D 50%
COR
DZ
M 50%
B 50%
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
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
2.1.1
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
I=
23
qv
.
2r
A = r2 k
obtem-se para o momento magntico rbital do eltron, a seguinte expresso
=
qvr
k.
2
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
24
l gl
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
25
26
2.1.4
Descrio do experimento
10
}|
{z
10
}|
10
10
{ z }| { z}|{ z }| {
1s2 2s2 2p6 3s2 3p6 4s2 3d10 4p6 4d10 5s1
Resumo:
27
l = 0, 1, 2, , n 1
ml = l, l + 1, , 0, 1, , l
l =
28
g l B
L,
~
e
L
mp
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
2me
< 0 para Sz > 0.
2.1.5
31
32
z+ + Sx+ ,
Sz+ =
Sz+ + Sx .
?
33
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
2.2
2.2.1
35
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
ki v i = 0 ,
(2.2.1)
i=1
36
vi ei ,
(2.2.2)
de forma que
(x1 , x2 , , xn ) Rn
Subespaos Vetoriais[1]
37
(a) x, y Vs , x + y Vs ;
(b) x V0 , e k K, kx Vs
2.2.2
38
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
{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.
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
2.2.4
O Espao de Hilbert
=
=
=
=
h | i ,
c1 h1 | i + c2 h2 | i ,
d1 h | 1 i + d2 h | 2 i ,
0e <
40
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.
41
42
2.2.5
43
c |i = |i c = |i .
0 |i = |i 0 = 0,
|0i 6= 0,
(2.2.3)
A |a0 i = a0 |a0 i
A |a00 i = a00 |a0 i
..
..
.
.
5
44
(2.2.4)
45
X
a0
ca0 |a0 i ,
(2.2.5)
2.2.6
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| .
{h|}
|i
46
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
|i H e h| H
47
a , {a } =
= =
1,
ij ,
= = 0,
= i, = j
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
48
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
X |i = |i .
X |i = Y |i = (X Y ) |i = 0 = X = Y.
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 .
Xc |i h| c X .
(2.2.6)
49
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
!
!
,
,
h| Y X = h| Y X
= (XY ) = Y X ,
50
h| |i = h | i
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| .
51
h
i
h
i
3
h | X | i = X ,
h | X | i = h | i =
(2.2.8)
h | i = h | i = X ,
2.2.7
h | X | i = X = h | X | i X = X.
(2.2.9)
52
(2.2.10)
(2.2.11)
2.2.8
53
X
a0
ca0 |a0 i .
(2.2.12)
X
a0
ca0 |a0 i =
X
a0
(2.2.13)
a0
X
a0
X
a0
Resumindo
|i =
X
a0
ha0 | i |a0 i
|a0 i ha0 | i
|a0 i ha0 | |i
(2.2.14)
3
X
e i vi
i=1
3
X
i=1
ei (ei V)
(2.2.15)
54
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}
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 ,
a0 a00
a0 a00
X
a0
|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
X
a0
|ca0 |2 = 1.
55
a0
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 |
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)
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
M = MT
, M
ij
= Mji ,
(2.2.19)
(2.2.20)
56
(2.2.21)
(2.2.22)
a0 a00
a0 a00
a0 a00
=
=
a0 a00
00
|a i ha | a
a0 a00 a000
00
X
|a000 i ha000 | Y
X
000
a
+
00
a
X
a000
(2.2.23)
+
*
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
57
|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)
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
ha1 | i h | a1 i
..
.
D
..
.
aN h | a1 i
ha1 | i aN
..
.
ED
aN
aN
58
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
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.
X
a0
a 0 a0 =
~
~
+
2
2
~
(|+i h+| |i h|) .
2
59
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| .
S ~ |i h| .
(2.2.26)
S+ = (~ |+i h|) = ~ |i h| = S
60
S |i
+ S+
|i = 0,
= 0.
S S |+i
61
2.2.10
Continuando com nosso exemplo dos operadores e estados com spin 1/2,
consideremos a representao matricial dos mesmos. Utilizando a equao
62
|+i =
ha1 | a2 i
ha2 | a2 i
|i =
!
!
1
0
0
1
0 1
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.
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
!
!
,
.
63
64
2.3.2
65
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
+
0
+
0
+
0
+
0
N/3
N/3
N/3
+
0
+
0
+
0
+
|+i = 0
N/3
,
67
+
0
|0i =
+
0
|i =
+
0
+
0
+
n
0
+
n
0
(2.3.1)
n
68
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
+
0
+
n
0
+
0
+
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
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 .
+
0
+
0
+
+
n
n
0
0
+
n
n
0
0
nn
70
Pi = n + n + n
=
|hT ; 0 | S; +i|2 n
= |hT ; 0 | S; +i|2 n = n,
P = |hS; + | S; +i| =
*
+2
X
0
0
|a i ha | S; + ,
S; +
0
a
2.3.3
2.3.4
Medida
| >=
X
a0
X
a0
X
a0
(2.3.3)
|S + > ou
z
SG
z
| >
|Sz >
71
| >
|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
X
a0
(2.3.4)
72
2.3.5
=
=
a0 a00
a0 a00
a0 a00
X
a0
|ca0 |2 a0 ,
X
a0
|ca0 |2 a0 ,
diferente de autovalor:
< A >6=< a0 |A|a0 >= a0 ,
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
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
73
74
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 >} = {|+ >, | >}
com
a0 = +,
c C.
1
c = e2 .
2
75
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
=
=
"
1
h+| + e2
2
2
1
1 + e(1 2 ) ,
h|
#"
1
|+ > +e1 | >
2
#2
2
1 + e(1 2 )
= 2,
cos(1 2 ) = 0 = 1 2 = n , n mpar.
2
Para facilitar, convenciona-se
1 = 0,
2 = .
2
77
~
[|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+|
(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)
78
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)
(2.3.10)
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)
(2.3.13)
resumindo
79
< (A)2 > =< A2 > 2 < A >< A > + < A >2
=< A2 > < A >2
< (A)2 >=< A2 > < A >2
(2.3.14)
1
1
< Sx + |Sx |Sx + > = (< +|+ < |) Sx (|+ > +| >)
2
2
~
= ;
2
~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
~2
.
4
80
(2.3.16)
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 .
81
Sendo que
< | > =< | > +||2 < | > + < | > + < | >
e ao mesmo tempo
< | > 0,
obtm-se que
< | >
<
+
<
e portanto
| >
< | >
< | >
< | >
< | > 0 =
< | >
| >
< | >
< | >
<
<
| >
< | >
< | > 0 =
< | >
| >
< | >
<
<
| >
< | >< | >
| >
X
a0
|a0 >< a0 | = I
para
a0 =
6 a00 , < a00 |a0 >= 0; os autoestados so ortogonais;
para a0 = a00 , a0 = a0 os autovalores so reias.
82
(2.3.17)
para c0
(2.3.18)
(2.3.19)
AB =
83
[A,
1
1
|[A,B]|2 + |{A,B}|2
4
4
(2.3.20)
1
1
|< [A,B] >|2 + |< {A,B} >|2 . (2.3.21)
4
4
84
d
.
dx
< px >
= x +
dx
~
~
8
85
cuja soluo
"
< px > x
(x)2 +
(x) = N exp
,
2~
~
(2.3.24)
dx (x) ( px px + px px ) (x) = ( + )
dx (x)px px (x) = 0
"
< px > x
(x)2
exp
+
(x) = q
2
4 < (x) >
~
2 < (x)2 >
(2.3.25)
2.4
Mudana de Bases
86
(2.4.1)
(2.4.2)
X
k
X
kl
X
k
(2.4.3)
(2.4.4)
(2.4.5)