Você está na página 1de 60

Captulo 1

Conceitos Fundamentais
Modern Quantum Mechanics - J.J. Sakurai (Revised Edition)
0.1 Experincias com partculas
Metralhadora, barreira com duas fendas, 1 e 2 e um anteparo com um detector
(lata com areia). Dispara-se durante 1 minuto e contam-se as balas que atingema lata.
Esvasia-se a lata. Move-se a lata para outraposio e repete-se o processo.
A metralhadora dispara em todas as direes.
Inicialmente fechamos a fenda 2 e medimos a distribuio de balas que chegam
ao anteparo atravsda fenda 1. A distribuio que se obtm parecida com a
mostrada na figura ao lado.
Agora fechamos a fenda 1 e medimosa distribuio de balas que chegam ao anteparo
pela fenda 2. A forma, mostrada na curva da direita, a mesmaque a anterior, porm
deslocada para baixo.
Finalmente, abrimos as duas fendas e medimos a distribuio de balas que chegam
ao anteparo por ambas as fendas. O resultado a curva mostradana figura da direita
(linha slida). Tambm mostramos os resultados obtidos anteriormente (linhas tracejadas).
Captulo 1: Conceitos Fundamentais 1
0.2 Experincias com ondas
Fonte, barreira com 2 fendas e detector (cortia). Conta-se os sobe e desce da cortia e
determina-sea energia que chega naquela posio do anteparo.Move-se a cortia (detector)
para outras posies e determina-se a distribuio de energia no anteparo.
Inicialmente, fecha-se a fenda 2 e mede-se a distribuio de energia que
chega ao anteparo atravs da fenda 1. A forma mostrada na curva da direita.
Note que muito parecida com a distribuio de balas que passa
por uma nica fenda.
Agora fecha-se a fenda 1 e mede-se a distribuio de energia da onda que
chega atravs da fenda 2, como mostrada na figura da direita.
Finalmente, abrem-se as duas fendas e mede-se a distribuio. As linhas
tracejadas mostram a distribuio com as fendas individuais abertas, enquanto
que a slida o resultado para ambas as fendas abertas.Este resultado chamado
de padro deinterferncia.
Observaes
1) Na experincia com duas fendas, uma partcula no apresenta padro de interferncia: a
Mecnica Quntica A / Prof. Dr. Abraham Moyss Cohen 2
probabilidade de atingir uma determinada posio no anteparo a soma das probabilidades
individuais.
2) Levando em conta a conservao da energia, o padro de interferncia para ondas pode parecer
dissonante. Porm, no existe nenhum problema: a energia total no padro de interferncia igual
energia que chega pela fenda 1 mais a chega pela fenda 2. O padro de interferncia apenas
rearranja esta energia, conservando sua quantidade total.
0.3 Experincias com eltrons
Como sabemos os eltrons so partculas que tm massa definida, carga eltrica etc. Algumas das
propriedades do eltron so mostrados na tabela abaixo.
Eltrons
Propriedade Valor
Massa 9. 11 10
31
kg
Carga 1. 60 10
19
C
Spin 5. 28 10
35
J-s
Interferncia de ondas de eltrons
detector
padro de
interferncia
Determinando por onde os eltrons passam
detector
sem padro de
interferncia
Resumo dessas experincias com eltrons
A probabilidade de um evento numa experincia ideal, dada pelo quadrado do valor
absoluto de um nmero complexo que se chama de amplitude de probabilidade
P = ||
2
Quando um evento pode acontecer de vrias maneiras, a amplitude de probailidade a soma
da probabilidade de cada maneira considerada independentemente. Existe padro de
interferncia
Captulo 1: Conceitos Fundamentais 3
=
1
+
2
P = |
1
+
2 |
2
.
Numa experincia onde se determina como as coisas efetivamente acontecem, a
probabilidade do evento a soma das probabilidades de cada alternativa. No existe padro
de interferncia.
P = P
1
+ P
2
.
1.1 A Experincia de Stern-Gerlach
Resultado Clssico
Resultado Experimental
Com campo
Sem
campo
As duas
orientaes
do spin
Campo magntico
inomogneo
Forno
Placa
fotogrfica
Feixe de
tomos
de prata
Plo
magtico
A experincia de Stern-Gerlach
Interao do eltron com o campo magntico
U
B
= - B
com
= g
S
S
onde S o spin do eltron e g
S
=
|e|
m
e
c
. A componente z da fora dada por
F
z
=
cU
B
cz
=
c
cz
( - B) ~ j
z
cB
z
cz
= g
S
S
z
cB
z
cz
Para o sistema da figura anterior:
j
z
> 0 (S
z
< 0) fora para baixo ()
j
z
< 0 (S
z
> 0) fora para cima ()
S
N
feixe S
z
+
feixe S
z
-
O que se observa?
Mecnica Quntica A / Prof. Dr. Abraham Moyss Cohen 4
Esperado (Fsica Clssica)
Observado
Experincias de Stern-Gerlach sequenciais
Forno SG z SG z
S
z
+
Forno SG z SG x
S
x
+
S
x
-
S
z
+
S
z
-
Forno SG z SG x
S
z
+
S
z
-
S
z
+
S
z
-
SG z
S
x
+
S
x
-
S
z
+
S
z
-
Experincia de Stern-Gerlach seqencial
Primeira experincia ( SGz SGz ?)
o feixe passa inicialmente por um dispositivo SGz (campo inomogneo na direo z.
bloquea-se a passagem dos tomos com componentes S
z

o restante dos tomos com S
z
+ fica sujeito a um segundo dispositivo SGz.
verifica-se que apenas uma componenente do feixe (com S
z
+) emerge do segundo aparelho.
(Aqui no h nenhuma surpresa).
Segunda experincia ( SGz SGx ?)
o feixe passa inicialmente por um dispositivo SGz (campo inomogneo na direo z.
bloquea-se a passagem dos tomos com S
z

o restante dos tomos com S
z
+ fica sujeito a um segundo dispositivo SGx, de onde emergem
em dois feixes, de igual intensidade, um com S
x
+ e outro, S
x
.
Ser que isto significa que 50% dos tomos no feixe S
z
+ que sai do primeiro dispositivo so
tomos caracterizados por S
z
+ e S
x
+, enquanto os 50% restantes so caracterizados por S
z
+
e S
z
? Veremos a seguir que esta idia se depara com algumas dificuldades e portanto no
pode ser verdadeira!
Captulo 1: Conceitos Fundamentais 5
Terceira experincia ( SGz SGx SGz ?)
o feixe passa inicialmente por um dispositivo SGz (campo inomogneo na direo z.
bloquea-se a passagem dos tomos com S
z

o restante dos tomos com S
z
+ fica sujeito a um segundo dispositivo SGx, de onde emergem
em dois feixes, de igual intensidade, um com S
x
+ e outro, S
x
.
bloquea-se a passagem dos tomos com S
x
.
o feixe restante passa pelo terceiro dispositivo do tipo SGz
verifica-se experimentalmente que deste terceiro dispositivo emergem dois feixes de tomos
(e no um) com componentes S
z
+ e S
z
.
Mas a componente S
z
j no havia sido completamente bloqueado na sada do primeiro
dispositivo? Como possvel reaparecer a componente S
z
que pensvamos ter eliminado
anteriormente?
Como veremos mais adiante, a resposta a esta questo est no fato de que, em mecnica quntica,
no podemos determinar ambos, S
z
e S
x
, simultaneamente (princpio da incerteza de Heisenberg).
Mais precisamente, podemos dizer que a seleo do feixe S
x
+ pelo segundo dispositivo (SGx) destri
completamente qualquer informao prvia sobre S
z
.
Experincia Intuitiva
Exemplo Clssico Correspondente Stern-Gerlach
- Balanar uma caixa com 50 moedas - Separar um feixe de eltron na direo z
- Retirar todas as moedas na posio coroa. - Filtrar os spins para baixo
- Girar a caixa em torno dos lados. - Separar o feixo de eltrons na direo x
- Voltar a caixa posio inicial.
- Abrir a caixa e contar o nmero de moedas - Detectar na direo z.
na posio cara.
Quantas moedas na poso cara? (~ 25) Quantos spins para cima? (~ 25)
Moedas
coroa
cara
coroa (50%)
cara (50%)
Mecnica Quntica A / Prof. Dr. Abraham Moyss Cohen 6
Experincia No Intuitiva
Exemplo Clssico Correspondente Stern-Gerlach
- Balanar uma caixa com 50 moedas - Separar um feixe de eltron na direo z
- Retirar todas as moedas na posio coroa. - Filtrar os eltrons com spin para baixo
- Girar a caixa em torno de seu lado. - Separar o feixo de eltrons na direo x
- Retirar todas as moedas na posio coroa. - Filtrar os eltrons com spin para baixo
- Voltar a caixa posio inicial. - Separar o feixo de eltrons na direo z
- Abrir a caixa e contar o nmero de moedas - Detectar na direo z.
na posio cara.
Quantas moedas na poso cara? (~ 13) Quantos spins para cima? No podemos prever!
Moedas
coroa
cara coroa (75%)
cara (25%)
coroa
cara
1.2 Kets, Bras e Operadores
Formulao bsica dos espaos vetoriais usados em MQ
Espaos vetoriais complexos: Ket e Bra
Notao de Dirac
Espao KET
Dimensionalidade. Depende da natureza do sistema em anlise. Pode ser:
Finita
Infinita (espao de Hilbert)
Estado fsico. Em MQ, representado por um vetor de estado no espao vetorial complexo.
Vetor de estado. Chamado de ket na notao de Dirac e denotado por |o).
Significado do ket. Contm todas as informaes (possveis) sobre o estado fsico do sistema.
Propridades dos kets
A soma de dois kets resulta um novo ket
|o) + |[) = |,) (1)
O produto de um ket por um nmero complexo c resulta um novo ket
c|o) = |o)c (2)
no importa a ordem de c em relao a |o).
Captulo 1: Conceitos Fundamentais 7
Se c = 0 o ket resultante chamado de ket nulo.
Postulado Os kets |o) e c|o) com c = 0 representam o mesmo estado fsico.
Significado do postulado Somente a direo do ket no espao vetorial tem importncia na
representao de um estado fsico.
Observveis. So representados por operadores no espao vetorial. (Exemplos de observveis:
momento, componentes de spin etc.)
Ao dos operadores. De uma maneira geral, um operador atua sobre um ket pelo lado esquerdo,
isto
A - (|o)) = A|o)
O resultado desta operao nem sempre uma constante vezes o ket |o).
Autokets. Quando a ao de um operador A sobre um conjunto particular de kets resultar no
produto de uma constante pelos correspondentes kets, estes so chamados de autokets do operador
A. Ento, sejam os auto-kets do operador A
|a
'
), |a
''
), |a
'''
), . (3)
logo, verifica-se a propriedade
A|a
'
) = a
'
|a
'
), A|a
''
) = a
''
|a
''
), . (4)
onde a
'
, a
''
, . so nmeros.
Autovalores do operador A. O cojunto dos nmeros a
'
, a
''
, a
'''
, .) ou a
'
) chamado de
autovalores do operador A.
Autoestados do operador A. O estado fsico correspondente a um autoket chamado de
autoestado.
Exemplo Sistema de spin
S
z|S
z
; +) =
h
2
|S
z
; +), S
z|S
z
; ) =
h
2
|S
z
; ) (6)
Observao De acordo a notao |a
'
), onde um autoket classificado por seu autovalor, o autoket
de S
z
na Eq. (6) deveria ser escrito como |h/2). Mas aqui a notao |S
z
; +) mais conveniente, uma vez
que consideramos tambm os autokets de S
x
:
S
x|S
x
; ) =
h
2
|S
x
; ) (7)
Observao Dimensionalidade do espao vetorial nmero de alternativas num experimento do
tipo Stern-Gerlach. Mais formalmente espao vetorial N-dimensional descrito pelos N autokets do
observvel A. Qualquer ket arbitrrio |o) pode ser escrito como
|o) =
_
a
'
c
a
' |a
'
) (8)
Espao BRA e Produtos Internos
Mecnica Quntica A / Prof. Dr. Abraham Moyss Cohen 8
Espao vetorial BRA o espao dual do espao vetorial KET.
Postulado A cada ket |o) existe um vetor bra denotado por (o|.
Isto significa que existe uma correspondncia um-a-um entre o espao ket e o espao bra:
|o)
CD
(o|
|a
'
), |a
''
), .
CD
(a
'
|, (a
''
|, .
|o) + |[)
CD
(o| + ([|
(9)
(CD = correspondncia dual).
Dual de c|o) = c
-
(o|. Forma geral
c
o|o) + c
[|[)
CD
c
o
-
(o| + c
[
-
([| (10)
Produto interno entre bra e ket Forma geral
(o|[) = ((o|) - (|[)) (11)
Este produto , em geral, um nmero complexo.
Propriedades Fundamentais (postulados)
Propriedade (1):
([|o) = (o|[)
-
(12)
so conjugados complexos um do outro.
Analogia com o produto escalar Embora o produto interno seja anlogo ao familiar produto escalar
a - b, devemos fazer distino entre ([|o) e (o|[): isto no necessrio no espao vetorial real porque
a - b = b - a.
Consequncia de (12):
(o|o) = nmero real
Prova: Fazendo-se ([| = (o| em (12), encontra-se
(o|o) = (o|o)
-
que um nmero real.
Propriedade (2):
(o|o) _ 0 (13)
onde a igualdade s vale se |o) for um ket nulo.
Isto conhecido como postulado da mtrica positiva definida: essencial para a interpretao
probabilstica da MQ.
Vetores ortogonais Dois kets |o) e |[) so ditos ortogonais, se
Captulo 1: Conceitos Fundamentais 9
(o|[) = 0 (14)
De (12), implica que
([|o) = 0 (15)
Kets normalizados Exceto para o ket nulo, um ket |o) pode sempre ser colocado na forma
normalizada
|o ) =
1
(o|o)
|o) (16)
que tem a propriedade
(o |o ) = 1 (17)
Norma de |o) A relao (o|o) conhecida como norma de |o), em analogia com o
mdulo de um vetor a - a = |a| definida no espao euclidiano.
Observao Uma vez que |o) e c|o) representam o mesmo estado fsico, podemos tambm exigir que
os kets que usamos para estados fsicos sejam normalizados na forma da Eq. (17).
Operadores
Sejam os operadores
A, B, C, . classe restritiva (observveis)
X, Y, Z, . classe geral
Operao sobre Kets
Os operadores sempre atuam nos kets pelo lado esquerdo
X - (|o)) = X|o) (resulta outro ket)
Operadores iguais: X = Y se
X|o) = Y|o) (20)
X um operador nulo se
X|o) = 0 (21)
para um ket arbitrrio.
Adio de operadores: comutativa e associativa
X + Y = Y + X (21a)
X + (Y + Z) = (X + Y) + Z (21b)
Operadores lineares:
X(c
o|o) + c
[|[)) = c
o
X|o) + c
[
X| [) (22)
Operao sobre Bras
Os operadores sempre atuam sobre os bras pelo lado direito.
Mecnica Quntica A / Prof. Dr. Abraham Moyss Cohen 10
((o| - X) = (o| X (resulta outro bra)
Correspondncia dual
X|o)
CD
(o| X

(24)
onde X

chamado de adjunto hermitiano ou adjunto de X.


Operador hermitiano: dito ser hermitiano, o operador que satisfaz
X = X

(25)
Multiplicao de Operadores
no comutativa
XY = YX (26)
associativa
X(YZ) = (XY)Z = XYZ (27)
X(Y|o)) = (XY)|o) = XY|o), (([| X)Y = ([| (XY) = ([| XY (28)
correspondncia dual
XY|o)
CD
(o|(XY)

mas,
XY|o) = X(Y|o))
CD
((o|Y

)X

= (o|Y

de onde se conclui que


(XY)

= Y

(29)
Resumo. At agora vimos produtos do tipo
([|o), X|o), (o| X e XY
Quais outros tipos de produtos so permitidos?
Produto externo. O produto de |[) e (o|, nesta ordem, ou seja,
(|[)) - ((o|) = |[)(o| (31)
conhecido como produto externo de |[) e (o|. O produto |[)(o| deve ser considerado um operador, ao
invs de um nmero como o caso do produto escalar ([|o).
Produtos ilegais. Os produtos da forma
|o)X, X(o|, |o)|[) e (o|([|
no tm nenhum sentido (o e [ so vetores kets ou bras que pertencem ao mesmo espao bra ou
ket). Eles simplesmente no significam nada (operadores, kets e bras).
Axioma Associativo da Multiplicao
A multiplicao entre operadores associativa esta propriedade deve valer para todos os produtos
legais entre operadores, kets e bras (axioma associativo).
Ilustrao com o produto externo
Captulo 1: Conceitos Fundamentais 11
(|[)(o|) - |,) (32)
Devido ao axioma associativo, podemos reescrever:
|[) - ((o|,)) (33)
onde (o|,) um nmero. Como so iguais, podemos omitir os pontos:
|[)(o|,)
possuindo dois significados equivalentes
- |[)(o|,) operador |[)(o| atuando sobre o ket |,).
- |[)(o|,) nmero (o|,) multiplicando |[).
Por outro lado, se (33) fosse escrita como
((o|,)) - |[)
no poderamos omitir o ponto e o parntese, pois a expresso resultante seria ilegal. Ou
seja,
(o|
ilegal
,)|[)
Observao Note que o operador |[)(o| gira |,) na direo de |[). fcil mostrar que, se
X = |[)(o|, (34)
ento
X

= (|[)(o|)

= |o)([|. (35)
Outra ilustrao importante do axioma Seja
bra
(([|) -
ket
(X|o)) =
bra
(([| X) -
ket
(|o)) (36)
Como os dois lados so iguais, podemos representar numa forma mais compacta
([| X|o) (37)
Observao Como (o| X

bra que dual a X|o), ento


([| X|o) = ([| - (X|o))
Por outro lado, da Eq. (12) ([|o) = ((o|[))
-
, ento
([| - (X|o)) = ((o|X

) - |[))
-
= (o|X

|[)
-
Ou seja
([| X|o) = (o|X

|[)
-
(38)
Para um operador hermitiano, X

= X, tem-se
([| X|o) = (o| X|[)
-
(39)
1.3 Ket de Base e Representaes Matriciais
Autokets e Observveis
Vamos considerar os autovalores e autokets de um operador hermitiano A.
Mecnica Quntica A / Prof. Dr. Abraham Moyss Cohen 12
Teorema Os autovalores de um operador hermitiano A so reais; os autokets de A correspondentes a
diferentes autovalores so ortogonais.
Prova: Seja
A|a
'
) = a
'
|a
'
) (3.1)
Como A hermitiano
(a
''
| A

= (a
''
| A = a
''-
(a
''
| (3.2)
Ento
(a
''
| A|a
'
) = a
'
(a
''
|a
'
)
(a
''
| A|a
'
) = a
''-
(a
''
|a
'
)
e, subtraindo ambos os membros, encontramos
(a
'
a
''-
)(a
''
|a
'
) = 0 (3.3)
Admitindo que os vetores no sejam nulos, temos dois casos:
(1) a
'
= a
''
Neste caso, deduzimos a condio da realidade dos
autovalores, ou seja,
a
'
= a
'-
(3.4)
(a primeira metade do teorema).
(2) a
'
= a
''
A diferena, a
'
a
''-
= a
'
a
''
(autovalores reais), no pode
se anular, por hiptese. Logo, o produto interno (a
''
|a
'
) deve se anular, ou seja
(a
''
|a
'
) = 0, (a
'
= a
''
)
o que prova a propriedade da ortogonalidade (segunda metade do teorema).
Observveis autovalores reais operadores hermitianos.
Normalizao Na forma ortonormal
(a
''
|a
'
) = o
a
''
a
' . (3.6)
Completeza Por construo do nosso espao ket, os autokets de A formam um conjunto completo.
Autokets como Kets de Base
Os autokets de A formam um conjunto ortonormal completo.
Qualquer ket no espao ket pode ser expandido em termos dos autokets de A.
Em termos de base, os autokets de A so comparveis ao conjunto de vetores unitrios
Captulo 1: Conceitos Fundamentais 13
mutuamente ortogonais do espao euclidiano.
Expanso de um vetor arbitrrio |o) no espao ket descrito pelos autokets de A:
|o) =
_
a
'
c
a
' |a
'
) (3.7)
Multiplicando por (a
''
| e usando a relao de ortonormalidade, encontram-se os coeficientes da
expanso:
(a
''
|o) =
_
a
'
c
a
' (a
''
|a
'
) =
_
a
'
c
a
' o
a
''
a
' = c
a
''
Ou seja,
c
a
' = (a
'
|o) (3.8)
E a expanso fica
|o) =
_
a
'
|a
'
)(a
'
|o) (3.9)
Analogia com a expanso de um vetor V (real) no espao euclidiano:
V =
_
i

i
(
i
- V) (3.10)
Relao de Completeza
Do axioma associativo da multiplicao e sendo |o) um vetor arbitrrio, obtm-se
_
a
'
|a
'
)(a
'
| = 1 (3.11)
que conhecida como relao de completeza. O 1 do lado direito deve ser entendido como o
operador identidade.
Uso do operador identidade. Seja (o|o). Podemos escrever
(o|o) = (o|1|o) = (o| _
a
'
|a
'
)(a
'
| |o)
=
_
a
'
(o|a
'
)(a
'
|o)
=
_
a
'
(a
'
|o)
-
(a
'
|o)
=
_
a
'
|(a
'
|o)|
2
Para kets normalizados, (o|o) = 1. Logo,
_
a
'
|(a
'
|o)|
2
= 1
e, portanto,
Mecnica Quntica A / Prof. Dr. Abraham Moyss Cohen 14
_
a
'
|c
a
' |
2
= 1, (3.13)
relao que devem satisfazer os coeficientes da expanso (3.7).
Operador projeo. Seja o operador |a
'
)(a
'
| que aparece em (3.11). Aplicando sobre o ket |o)
(|a
'
)(a
'
|) - |o) = |a
'
)(a
'
|o) = c
a
' |a
'
) (3.14)
O que isto significa? Significa que operando sobre o ket |o), o operador |a
'
)(a
'
| seleciona a parcela de
|o) que paralela a |a
'
). Em outras palavras, o operador |a
'
)(a
'
| operado sobre |o) projeta este ket ao
longo do ket de base |a
'
). Por isto |a
'
)(a
'
| conhecido como operador projeo. Denotando-o por A
a
' ,
ou seja,
A
a
' = |a
'
)(a
'
| (3.15)
a relao de completeza (3.11) pode ser escrita como
_
a
'
A
a
' = 1 (3.16)
Representao Matricial
Dados os kets de base, num espao de dimensionalidade N, como representar um operador X por
uma matriz quadrada?
Seja a identidade
X =
=1
_
a
''
|a
''
)(a
''
| X
=1
_
a
'
|a
'
)(a
'
| ,
que pode ser reescrita como
X =
_
a
''
_
a
'
|a
''
)
nmeros
(a
''
| X |a
'
) (a
'
|. (3.17)
Quantos nmeros da forma (a
''
| X |a
'
) existem? Sabendo-se que o conjunto
a
'
) = a
(1)
, a
(2)
, a
(3)
, ., a
(N)
) existem N
2
nmeros dessa forma.
Forma matricial. Podemos coloc-los na forma matricial, fazendo as seguintes identificaes
linha
(a
''
| X
coluna
|a
'
) (3.18)
Ou seja,
Captulo 1: Conceitos Fundamentais 15
X =
(a
(1)
X a
(1)
) (a
(1)
X a
(2)
)
(a
(2)
X a
(1)
) (a
(2)
X a
(2)
)
. . `
(3.19)
onde o smbolo = significa representado por.
Usando a Eq (38) da Se. 2, podemos escrever
(a
''
| X|a
'
) = (a
'
| X

|a
''
)
-
. (3.20)
Para um operador Hermitiano B, ou seja, B = B

, esta equao torna-se,


(a
''
|B|a
'
) = (a
'
| B|a
''
)
-
. (3.21)
Verificao da regra usual da multiplicao matricial
Podemos mostrar que o arranjo (a
''
|B|a
'
) numa matriz quadrada satisfaz a regra usual de multiplicao.
Relao de operadores
Z = XY
Assim
(a
''
|Z|a
'
) = (a
''
|XY|a
'
)
=
_
a
'''
(a
''
|X|a
'''
)(a
'''
| Y|a
'
) (3.23)
que o produto de duas matrizes quadradas!
Relao de kets
|,) = X|o) (3.24)
Assim
(a
'
|,) = (a
'
|X|o)
=
_
a
''
(a
'
|X|a
''
)(a
''
|o) (3.25)
que pode ser visto como a multiplicao de uma matriz quadrada por uma matriz-coluna. A
matriz-coluna representa os coeficientes de expanso de |o) e |,). Ou seja,
|o) =
(a
(1)
o)
(a
(2)
o)
(a
(3)
o)
.
, |,) =
(a
(1)
,)
(a
(2)
,)
(a
(3)
,)
.
(3.26)
Relao de bras
(,| = (o| X
Da mesma forma
(,|a
'
) = (o| Xa
'
)
=
_
a
''
(,|a
'
)(a
'
| Xa
'
) (3.28)
Mecnica Quntica A / Prof. Dr. Abraham Moyss Cohen 16
Logo, um bra representado por uma matriz-linha
(,| = (, a
(1)
), (, a
(2)
), (, a
(3)
),
= (a
(1)
|,)
-
, (a
(2)
|,)
-
, (a
(3)
|,)
-
, (3.29)
Produto interno ([|o)
([|o) =
_
a
'
([|a
'
)(a
'
|o)
= (a
(1)
[)
-
, (a
(2)
[)
-
(a
(3)
[)
-

(a
(1)
o)
(a
(2)
o)
(a
(3)
o)
.
Produto externo |[)(o|
|[)(o| =
_
a
'
_
a
''
|a
''
)(a
''
|[)(o|a
'
)(a
'
|
Logo,
|[)(o| =
(a
(1)
[)(o|a
(1)
) (a
(1)
[)(o|a
(2)
)
(a
(2)
[)(o|a
(1)
) (a
(2)
[)(o|a
(2)
)
. . `
ou, usando a cojugao complexa
|[)(o| =
(a
(1)
[)(a
(1)
o)
-
(a
(1)
[)(a
(2)
o)
-

(a
(2)
[)(a
(1)
o)
-
(a
(2)
[)(a
(2)
o)
-

. . `
(3.31)
Observvel A na base dos autokets
A =
_
a
'
_
a
''
|a
''
)(a
''
| A|a
'
)(a
'
|
Como |a
'
) um autoket de A, ou seja, A|a
'
) = a
'
|a
'
), a matriz (a
''
| A|a
'
) diagonal:
(a
''
| A|a
'
) = a
'
(a
''
|a
'
) = a
'
o
a
'
a
'' (3.33)
Logo,
A =
_
a
'
_
a
''
|a
''
)(a
''
| A|a
'
)(a
'
|
=
_
a
'
_
a
''
|a
''
) a
'
o
a
'
a
'' (a
'
|
=
_
a
'
a
'
|a
''
) (a
'
|
=
_
a
'
a
'
A
a
' (3.34)
Sistemas de Spin
Captulo 1: Conceitos Fundamentais 17
Base usada: |S
z
; ) = |)
Operador identidade
1 =
_
a
'
=+,
|a
'
)(a
'
| = |+)(+| + |)(|
Operador S
z
De acordo com (3.34), a representao de um operador na base de seus autokets
A =
_
a
'
a
'
A
a
'
Logo,
S
z
=
h
2
|+)(+| |)(|
Escrito desta forma, a relao de autovalores S
z|) =
h
2
|), ou seja,
S
z|+) =
h
2
|+)(+| |)(| |+)
=
h
2
|+)
=1
(+|+) |)
=0
(|+)
=
h
2
|+).
Da mesma forma,
S
z|) =
h
2
|+)(+| |)(| |)
=
h
2
|+)
=0
(+|) |)
=1
(|)
=
h
2
|).
1.4 Medidas, Observveis e Relaes de Incerteza
Medidas
Uma medida sempre faz com que o sistema salte para um autoestado da varivel dinmica
que est sendo avaliada. (Dirac)
O que significam essas palavras de Dirac? Vamos analisar o processo de medida de um observvel A.
Antes da medida. Nesta etapa, vamos admitir que o sistema esteja num estado |o), que pode
ser representado por uma combinao linear dos autokets de A. Ou seja,
|o) =
_
a
'
c
a
' |o
'
) =
_
a
'
|a
'
)(a
'
|o) (4.1)
Aps a medida. Quando a medida realizada, o sistema jogado em um dos autoestados,
digamos |a
'
), do observvel A. Ou seja,
Mecnica Quntica A / Prof. Dr. Abraham Moyss Cohen 18
medida de A
|o) |a
'
) (4.2)
Exemplo Um tomo de prata com uma orientao de spin arbitrria mudar para um dos
estados |S
z
; +) ou |S
z
; ), quando sujeito a um aparelho de Stern-Gerlach do tipo SGz. Ento, a medida
geralmente muda o estado. A nica exceo quando o sistema j est em um dos autoestados do
observvel que est sendo medido. Neste caso,
medida de A
|a
'
) |a
'
) (4.3)
Resultado da experincia. Quando o sistema passa do estado inicial |o) para um autoestado do
observvel A, no sabemos de antemo em qual dos vrios autoestados |a
'
)s desse observvel o
sistema ser encontrado como resultado de uma medida.
Probabilidade. Embora no se saiba prever exatamente em qual dos autoestados o sistema ser
encontrado, podemos estimar a probabilidade do sistema saltar para um dado autoestado |a
'
) de A.
Admite-se que tal probabilidade seja dada por
P
oa
' = |(a
'
|o)|
2
(4.4)
que um dos postulados fundamentais da MQ.
Como definir probabilidade para um nico sistema?
Ensemble puro. Embora se fale de um nico sistema, devemos considerar um grande nmero de
medidas realizadas sobre uma coleo (ensemble) de sistemas fsicos preparados identicamente,
todos com o mesmo estado inicial |o). Tal ensemble conhecido como ensemble puro.
| a
(1)

| a
(2)

| a
(N)

|
m
ed
id
a d
e A
Exemplo Um exemplo de ensemble puro seriam os tomos de prata que atravessam o primeiro
aparelho SGz com a componente S
z
bloqueada, uma vez que qualquer tomo membro do ensemble
caracterizado por S
z+
.
Faz sentido a interpretao probabilstica?
Captulo 1: Conceitos Fundamentais 19
Casos extremos
|i) = |a
'
) e |f) = |a
'
) Considere o sistema no estado inicial |a
'
). Qual a probabilidade de encontrar o
sistema no estado final |a
'
) aps a medida? De acordo com (4.4)
P
a
'
a
' = |(a
'
|a
'
)|
2
= 1
como seria esperado. Repetindo-se sucessivamente a medida do mesmo observvel o resultado ser
sempre o mesmo.
|i) = |a
'
) e |f) = |a
''
) Sendo a
''
= a
'
autoestados do observvel A, devido ortogonalidade entre
eles, a probabilidade vale
P
a
'
a
'' = |(a
''
|a
'
)|
2
= 0
Do ponto de vista da teoria das medidas, kets ortogonais correspondem a alternativas
mutuamente excludentes. Por exemplo, se um sistema de spin est no estado |S
z
; +) com
certeza ele no pode estar no estado |S
z
; ).
Casos Gerais
Probabilidade no-negativa. A Eq. (4.4) satisfaz essa exigncia.
Soma 1. Quando existem vrias possibilidades alternativas, a soma total das probabilidades deve
ser igual a 1. A Eq (4.4) satisfaz tambm essa exigncia.
Valor Esperado
O valor esperado de A com relao ao estado |o) definido como
(A)
o
= (o| A|o) (4.5)
Valor medido mdio O valor esperado pode ser reescrito como
(A)
o
=
_
a
'
_
a
''
(o|a
''
)(a
''
| A| a
'
)(a
'
|o)
=
_
a
'
_
a
''
a
'
(o|a
''
)(a
''
| a
'
)(a
'
|o)
=
_
a
'
a
'
(o|a
'
)(a
'
|o) =
_
a
'
a
'
(a
'
|o)
-
(a
'
|o)
=
_
a
'
medido a
'
valor
-
a
'
de obter a
'
probabilidade
|(a
'
|o)|
2
muito importante no confundir autovalores com valores esperados. Por exemplo, o valor
esperado de S
z
para sistemas com spin pode ter qualquer valor entre h/2 e +h/2,
digamos, 0, 273h; por outro lado, os autovalores de S
z
s podem ter dois valores: h/2 e +h/2.
Medida Seletiva ou Filtragem
No experimento de Stern-Gerlach, permitimos que apenas os tomos com uma das componentes do
Mecnica Quntica A / Prof. Dr. Abraham Moyss Cohen 20
spin passasse atravs do aparelho, bloqueando-se completamente a passagem de tomos com a
outra componente.
Processo de medida. De uma maneira geral, imaginamos um processo de medida com um
dispositivo que seleciona apenas um dos autokets de A, digamos |a
'
), e rejeitando todos os outros
(medida seletiva); v. figura abaixo.
| a'
| a'' com a'' a'
|
Medida de A
Matemtica da medida seletiva. Matematicamente, quantificamos a medida seletiva,
aplicando-se o operador projeo A
a
' sobre o ket |o)
A
a
' |o) = |a
'
)(a
'
|o). (4.7)
Sistemas de Spin Revisitados
Na experincia de Stern-Gerlach, vimos que quando o feixe de tomos com S
x
+ est sujeito a um
aparelho do tipo SGz, o feixe de desdobra em duas componentes com intensidades iguais. Em termos
dos postulados da MQ, isto significa que a probabilidade para o estado S
x
+ ser encontrado em
qualquer um dos estados |S
z
; ), denotado simplesmente por |), aps a passagem pelo aparelho, vale
. Em outras palavras,
|(|S
x
; +)|
2
=
1
2
.
Logo,
|(+|S
x
; +)| =
1
2
|(|S
x
; +)| =
1
2
Construo dos kets |S
x
; ). Podemos construir o ket |S
x
; +) com segue. De acordo com a
expresso acima, |S
x
; +) tem componentes em ambos os autokets da base de S
z
. Assim, podemos
escrever
|S
x
; +) =
1
2
|+) +
1
2
e
io1
|) (4.9)
com o
1
real.
Por conveno, o coeficiente de |+) pode ser escolhido como sendo real e positivo.
Para construir o ket |S
x
; ), devemos observar que ambos, |S
x
; +) e |S
x
; ), so ortogonais, uma vez que
as alternativas S
x
+ e S
x
so mutuamente excludentes. Esta ortogonalidade exige que
Captulo 1: Conceitos Fundamentais 21
(S
x
; |S
x
; +) = 0.
Logo, escrevendo |S
x
; ) como
|S
x
; ) =
1
2
|+) +
1
2
e
io
1
'
|)
onde usamos a conveno acima, encontramos
(S
x
; |S
x
; +) = (+|
1
2
+ (|
1
2
e
io
1
'
-
1
2
|+) +
1
2
e
io1
|)
=
1
2
(+|+) +
1
2
e
io1
(+|) +
1
2
e
io
1
'
(|+) +
1
2
e
i(o1o2 )
(|)
=
1
2
+
1
2
e
i(o1o
1
'
)
= 0
de onde se obtm
e
i(o1o
1
'
)
= 1 o
1
o
2
'
= m o
2
'
= o
1
m
Logo
|S
x
; ) =
1
2
|+) +
1
2
e
io1
e
im
|)
o que nos fornece
|S
x
; ) =
1
2
|+)
1
2
e
io1
|)
Construo dos Operadores S
x
e S
y
Usando a equao
A =
_
a
'
a
'
A
a
'
podemos agora construir o operador S
x
. Seguindo a prescrio
S
x
=
h
2
|S
x
; +)(S
x
; +|
h
2
|S
x
; )(S
x
; |
=
h
2
1
2
|+) +
1
2
e
io1
|) - (+|
1
2
+ (|
1
2
e
io1

h
2
1
2
|+)
1
2
e
io1
|) - (+|
1
2
(|
1
2
e
io1
=
h
2
1
2
|+)(+| + e
io1
|+)(| + e
io1
|)(+| + e
io1
e
io1
|)(|
|+)(+| + e
io1
|+)(| + e
io1
|)(+| e
io1
e
io1
|)(|
=
h
2
1
2
2e
io1
|+)(| + 2e
io1
|)(+|
Ou seja,
Mecnica Quntica A / Prof. Dr. Abraham Moyss Cohen 22
S
x
=
h
2
e
io1
|+)(| + e
io1
|)(+|
que um operador hermitiano, como deveria ser. De fato, calculando o adjunto hermitiano desse
operador, ou seja, S
x

, encontramos
S
x

=
h
2
e
io1
|+)(| + e
io1
|)(+|

=
h
2
e
io1
|)(+| + e
io1
|+)(|
= S
x
que a condio para que o operador seja hermitiano.
Procedendo de uma forma similar, encontramos o operador S
y
:
|S
y
; ) =
1
2
|+)
1
2
e
io2
|)
S
y
=
h
2
e
io2
|+)(| + e
io2
|)(+|
Existe alguma maneira de calcular
1
e
2
?
Vamos calcular a probabilidade
|(S
y
; |S
x
; )| = ?
ou seja, a probabilidade de um sistema no estado inicial |S
x
; +) ou |S
x
; ) ser encontrado, aps a
medida, no estado |S
y
; +) ou |S
y
; ). Usando a representao desses estados na base |S
z
; ),
encontra-se
|(S
y
; |S
x
; +)| = (+|
1
2
(|
1
2
e
io2
-
1
2
|+) +
1
2
e
io1
|)
=
1
2
(+| +) +
1
2
e
io1
(+| ) (| +)
1
2
e
io2

1
2
e
i(o1o2 )
(| )
=
1
2

1
2
e
i(o1o2 )
=
1
2
1 e
i(o1o2 )
.
Da mesma forma,
Captulo 1: Conceitos Fundamentais 23
|(S
y
; |S
x
; )| = (+|
1
2
(|
1
2
e
io2
-
1
2
|+)
1
2
e
io1
|)
=
1
2
(+| +) +
1
2
e
io1
(+| ) (| +)
1
2
e
io2
+
1
2
e
i(o1o2 )
(| )
=
1
2
+
1
2
e
i(o1o2 )
=
1
2
1 + e
i(o1o2 )
=
1
2
1 e
i(o1o2 )
.
Logo,
|(S
y
; |S
x
; +)| = |(S
y
; |S
x
; )| =
1
2
1 e
i(o1o2 )
.
Mas o que significa esta probabilidade?
Para responder a esta questo, vamos considerar um experimento sequencial de Stern-Gerlach do
tipo SGx SG com tomos de spin movendo-se na direo z. Devido invarincia rotacional do
sistema fsico, este experimento pode ser considerado como um do tipo SGz SGx que foi discutido
anteriormente. Os resultados so exatamente os mesmos obtidos na Eq. (1.4.8), isto ,
|(S
y
; |S
x
; +)| = |(S
y
; |S
x
; )| =
1
2
.
Em vista disto,
1
2
1 e
i(o1o2 )
=
1
2
ou
1 e
i(o1o2 )
= 2 .
Usando a frmula de Euler, e
io
= cos o + i seno, podemos reescrever aquela equao como,
1 e
i(o1o2 )
= 1 cos(o
1
o
2
) + i sen(o
1
o
2
)
= 1 cos(o
1
o
2
) + i sen(o
1
o
2
)
= 1 cos(o
1
o
2
)
2
+ sen
2
(o
1
o
2
)
= 1 2cos(o
1
o
2
) + cos
2
(o
1
o
2
) + sen
2
(o
1
o
2
)
= 2 2cos(o
1
o
2
)
= 2 1 cos(o
1
o
2
) .
Ou seja,
1 e
i(o1o2 )
= 2 1 cos(o
1
o
2
) = 2
de onde se obtm
Mecnica Quntica A / Prof. Dr. Abraham Moyss Cohen 24
1 cos(o
1
o
2
) = 1
que, evidentemente, s satisfeita se cos(o
1
o
2
) = 0. Isto significa que
o
2
o
1
=
m
2
. (4.16)
Este resultado significa que os elementos de matrix de S
x
e S
y
no podem ser ambos reais.
De fato, a presena dos fatores de fase e
io1
e e
io2
nas definies dos estados |S
x
; ) e |S
y
; ),
respectivamente, exige que pelo menos um deles seja complexo. De fato, escolhendo
o
1
= 0, o
2
= m/2 e, portanto, e
io2
= i (imaginrio puro).
conveniente escolhermos os elementos de matriz de S
x
como sendo reais. Neste caso, o
1
= 0 ou m.
(No caso de o
1
= m, a orientao positiva do eixo x ter direo oposta a de o
1
= 0). A segunda fase,
o
2
, para o
1
= 0 ser ento:
o
2
=
m
2
ou
m
2
.
O fato de ainda existe esta ambiguidade na escolha de o
2
no significa nenhuma surpresa,
uma vez que ainda no especificamos se o sistema de coordenadas que estamos usando
dextrgiro ou no. Ou seja, dados os eixo x e z, ainda existe uma ambiguidade na escolha
do sentido positivo do eixo y. Veremos mais tarde que a escolha do sistema de
coordenadas dextrgiro levar escolha correta de o
2
= m/2.
Resumo
Com as escolhas o
1
= 0 e o
2
=
m
2
, encontra-se
|S
x
; ) =
1
2
|+)
1
2
|)
|S
y
; ) =
1
2
|+)
i
2
|)
e,
S
x
=
h
2
|+)(| + |)(+|
S
y
=
h
2i
|+)(| |)(+|
(4.18-a)
(4.18-b)
Operadores S

Os operadores no hermitianos S

definidos em (1.3.38), isto ,


S

= h|)(+|
podem agora ser escritos com a ajuda das Eqs. (4.18-a,b). De fato,
Captulo 1: Conceitos Fundamentais 25
2S
x
h
= |+)(| + |)(+|
2iS
y
h
= |+)(| |)(+|
de onde se obtm
2S
x
h
+
2iS
y
h
= 2|+)(|
2S
x
h

2iS
y
h
= 2|)(+|
Logo,
S
+
= h|+)(| = h
S
x
h
+
iS
y
h
= S
x
+ iS
y
S

= h|)(+| = h
S
x
h

iS
y
h
= S
x
iS
y
Ou seja,
S

= S
x
iS
y
. (4.19)
Relaes de Comutao e Anticomutao
Sejam os operadores A e B. Definem-se relao de comutao entre esses operadores, |A, B], como
|A, B] = AB BA,
e relao de anticomutao, A, B), como
A, B) = AB + BA.
Relaes de comutao dos operadores S
x
, S
y
e S
z
Estes trs operadores so dados por
S
x
=
h
2
|+)(| + |)(+|
S
y
=
h
2i
|+)(| |)(+|
S
z
=
h
2
|+)(+| |)(|
Relao de comutao entre S
x
e S
y
Seja
Mecnica Quntica A / Prof. Dr. Abraham Moyss Cohen 26
|S
x
, S
x
] =
h
2
|+)(| + |)(+|
h
2
|+)(| + |)(+|

h
2
|+)(| + |)(+|
h
2
|+)(| + |)(+|
=
h
2
2
|+)
=0
(|+) (| + |+)
=1
(|) (+| + |)
=1
(+|+) (|
+ |)
=0
(+|) (+| |+)
=0
(|+) (| |+)
=1
(|) (+|
|)
=1
(+|+) (| |)
=0
(+|) (+|
= i
h
2
2
|+)(+| + |)(| |+)(+| |)(|
= 0
Assim tambm como
|S
y
, S
y
] = |S
z
, S
z
] = 0.
Relao de comutao entre S
x
e S
y
|S
x
, S
y
] =
h
2
|+)(| + |)(+|
h
2i
|+)(| |)(+|

h
2i
|+)(| |)(+|
h
2
|+)(| + |)(+|
= i
h
2
2
|+)
=0
(|+) (| |+)
=1
(|) (+| + |)
=1
(+|+) (|
|)
=0
(+|) (+| |+)
=0
(|+) (| |+)
=1
(|) (+|
+ |)
=1
(+|+) (| + |)
=0
(+|) (+|
= i
h
2
2
|+)(+| + |)(| |+)(+| + |)(|
= i
h
2
2
2|+)(+| + 2|)(|
Ou seja,
Captulo 1: Conceitos Fundamentais 27
|S
x
, S
y
] = i
h
2
2
|+)(+| + |)(|
= ih
h
2
|+)(+| |)(|
= ihS
z
Da mesma forma,
|S
y
, S
z
] = ihS
x
|S
z
, S
x
] = ihS
y
De uma maneira geral, podemos mostrar que esses operadores satisfazem as relaes de comutao
|S
i
, S
j
] = i c
ijk
hS
k
onde c
ijk
o smbolo de Levi-Civita que satisfaz as relaes
c
ijk
=
1, i, j, k = permutao cclica de x, y, z
0, repetio de dois ou mais ndices
1, i, j, k = permutao no-cclica de x, y, z
.
Relaes de anticomutao dos operadores S
x
, S
y
e S
z
Anticomutao de S
x
com S
x
. Neste caso,
S
x
, S
x
) =
h
2
|+)(| + |)(+|
h
2
|+)(| + |)(+|
+
h
2
|+)(| + |)(+|
h
2
|+)(| + |)(+|
=
h
2
2
|+)
=0
(|+) (| + |+)
=1
(|) (+| + |)
=1
(+|+) (|
+ |)
=0
(+|) (+| + |+)
=0
(|+) (| + |+)
=1
(|) (+|
+ |)
=1
(+|+) (| + |)
=0
(+|) (+|
=
h
2
2
|+)(+| + |)(| + |+)(+| + |)(|
=
h
2
2
2|+)(+| + 2|)(| = 2
h
2
2
=1
|+)(+| + |)(|
=
h
2
2
.
Da mesma forma, podemos mostrar que
S
y
, S
y
) = S
z
, S
z
) =
h
2
2
.
Mecnica Quntica A / Prof. Dr. Abraham Moyss Cohen 28
Anticomutao de S
x
com S
y
. Seja a relao S
x
, S
y
) = S
x
S
y
+ S
y
S
x
. Substituindo as expresses,
encontra-se
S
x
, S
y
) =
h
2
|+)(| + |)(+|
h
2i
|+)(| |)(+|
+
h
2i
|+)(| |)(+|
h
2
|+)(| + |)(+|
= i
h
2
2
|+)
=0
(|+) (| |+)
=1
(|) (+| + |)
=1
(+|+) (|
|)
=0
(+|) (+| + |+)
=0
(|+) (| + |+)
=1
(|) (+|
|)
=1
(+|+) (| |)
=0
(+|) (+|
= i
h
2
2
|+)(+| + |)(| + |+)(+| |)(|
= 0.
Da mesma forma encontraremos
S
y
, S
z
) = S
z
, S
x
) = 0
De uma maneira geral, as relaes de anticomutao entre os trs operadores podem ser escritas na
forma abreviada como
S
i
, S
j
) =
1
2
h
2
o
ij
, (i, j = x, y, z).
Esta relao de anticomutao um caso especial para sistemas de spin , no valendo
para outros valores de spin.
Operador S
2
Vamos definir o operador S
2
= S - S, como
S
2
= S
x
2
+ S
y
2
+ S
z
2
Da relao de anticomutao S
x
, S
x
) obtm-se
S
x
, S
x
) = 2S
x
2
S
x
2
=
1
2
S
x
, S
x
) =
1
4
h
2
Da mesma forma,
S
y
2
= S
z
2
=
1
4
h
2
.
Logo,
S
2
=
3
4
h
2
.
que uma constante multiplicada pelo operador identidade.
Captulo 1: Conceitos Fundamentais 29
A forma deste operador um caso especial para sistemas de spin , no valendo para
outros valores de spin.
Para este caso, podemos mostrar facilmente que
|S
2
, S
i
] = 0, (i = x, y, z).
Observveis Compatveis
Dois observveis A e B so definidos serem compatveis, quando os correspondentes operadores
comutam entre si, ou seja,
|A, B] = 0;
e, incompatveis, quando os operadores correspondenete no comutam entre si,
|A, B] = 0.
Exemplo Os observveis S
2
e S
z
so compatveis, enquanto que S
x
e S
z
so incompatveis.
Observveis compatveis A e B. Vamos admitir, como usual, que o espao ket seja descrito
pelos autokets de A. (Poderamos tambm considerar que o mesmo espao fosse descrito pelos
autokets de B).
Para observveis compatveis A e B, como se relacionam os autokets desses dois
operadores ?
Antes de responder a esta questo, vamos abordar o conceito da degenerescncia de autovalores.
Degenerescncia
Quando existem dois (ou mais) autokets de A, linearmente independentes, com os mesmos
autovalores, dizemos que estes autovalores dos dois (ou mais) autokets so degenerados. Neste
caso, a notao |a
'
) que rotula o autoket apenas por seu autovalor no d uma descrio completa.
Pior ainda, que o conceito de espao ket sendo descrito pelo conjunto de autokets |a
'
)) tem
problemas quando a dimensionalidade do espao ket maior do que o nmero de autovalores
distintos. Felizmente, em aplicaes prticas em MQ, os autovalores de algum outro observvel B que
comuta com A, podem ser usados para rotular esses autokets degenerados.
Teorema Suponha que A e B sejam observveis compatveis, e os autovalores de A so
no-degenerados. Ento, os elementos de matriz (a
''
| B|a
'
) so todos diagonais. (No devemos
esquecer que os elementos de matriz de A j so diagonais se |a
'
) forem usados como kets de base.)
Prova: Usando a definio de observveis compatveis, sabemos que
(a
''
| |A, B] |a
'
) = 0
Ou seja
(a
''
| (AB BA)|a
'
) = (a
''
a
'
)(a
''
| B|a
'
) = 0
Mecnica Quntica A / Prof. Dr. Abraham Moyss Cohen 30
que tem como soluo
(a
''
| B|a
'
) = 0, se a
''
= a
'
(a
''
| B|a
'
) = 0, se a
''
= a
'
.
Na forma compacta, podemos escrever os elementos de matriz como
(a
''
| B|a
'
) = o
a
'
a
'' (a
'
| B|a
'
)
o que prova a afirmativa de que os elementos de matriz (a
''
| B|a
'
) so todos diagonais.
Operador B na Base dos Autokets de A
Seja a identidade
B =
_
a
'
_
a
''
|a
''
)(a
''
| B|a
'
)(a
'
|.
Substituindo o resultado (1.4.29), encontra-se
B =
_
a
'
_
a
''
|a
''
)o
a
''
a
' (a
''
| B|a
''
)(a
'
| =
_
a
''
|a
''
)(a
''
| B|a
''
)(a
''
|.
Fazendo este operador atuar num autoket de A, digamos |a
'
), tem-se
B|a
'
) =
_
a
''
|a
''
)(a
''
| B|a
''
)(a
''
|a
'
) = ((a
'
| B|a
'
)) |a
'
) (4.31)
Mas isto no nada mais do que a equao de autovalores para o operador B com autovalor
b
'
= (a
'
| B|a
'
) (4.32)
Logo, o autoket |a
'
) um autoket simultneo de A e B. Devido a essa imparcialidade |a
'
) em relao a
ambos os operadores, podemos renome-lo como |a
'
, b
'
) para carecterizar este autoket simultneo.
Caso degenerado
Embora a prova dada acima seja para o caso onde os autokets de A so no-degenerados, o
enunciado tambm vale se existir uma nupla degenerescncia, ou seja,
A a
'(i)
) = a
'
a
'(i)
), para i = 1, 2, ., n,
onde a
'(i)
) so n autokets de A mutuamente ortonormais. Para que se possa ver isso, precisamos
apenas construir n apropriadas combinaes lineares de a
'(i)
) que diagonalizam o operador B (v. Se.
1.5).
Um autoket simultneo de A e B, denotado por |a
'
, b
'
), tem a propriedade
A|a
'
, b
'
) = a
'
|a
'
, b
'
)
B|a
'
, b
'
) = b
'
|a
'
, b
'
)
Captulo 1: Conceitos Fundamentais 31
Quando no existe degenerescncia, esta notao suprflua, uma que, da Eq. (1.4.32),
v-se que especificando-se a
'
, necessariamente conhecemos o b
'
que aparece em |a
'
, b
'
). A
notao |a
'
, b
'
) muito mais poderosa quando existem degenerescncias. Veja exemplo
abaixo.
Exemplo Os autovalores de L
2
(quadrado do momento angular orbital) e L
z
(componente-z do
momento angular orbital) valem h
2
l(l + 1) e m
l
h
2
, respectivamente. sendo l um nmero inteiro e
m
l
= l, l + 1, ., +l. Para caracterizar completamente um estado de momento angular precisamos
especificar tanto l como m
l
. Por exemplo, dizendo-se apenas que l = 1, os valores de m
l
ainda podem
ser 1, 0 ou +1. Dizendo-se que m
l
= 1, l pode ter os valores 1, 2, 3, .. A nica maneira de no sermos
ambiguos em relao ao estado de momento angular, especificarmos simultaneamente os valores
de l e m
l
, ou seja, |l, m
l
).
ndices coletivos
s vezes um ndice coletivo pode ser usado para caracterizar (a
'
, b
'
), tal que
|K
'
) = |a
'
, b
'
)
Generalizao para Mais de Dois Observveis Compativeis
A condio para os observveis A, B, C, . serem compatveis, pode ser generalizada para
|A, B] = |B, C] = |A, C] = = 0. (4.36)
Conjunto mximo de observveis comutantes. Dada uma lista de observveis, o conjunto
mximo de observveis comutantes o maior conjunto que podemos formar com esses observveis
sem que se viole a condio (1.4.36).
Os operadores individuais A, B, C, ., podem ter degenerescncia, mas se especificarmos uma
combinao (a
'
, b
'
, c
'
, .) , ento os correspondentes autokets simultneos de A, B, C, . so
especificados sem ambiguidades. Podemos usar o ndice coletivo K
'
para representar (a
'
, b
'
, c
'
, .). A
relao de ortogonalidade para
|K
'
) = |a
'
, b
'
, c
'
, .)
ser
(K
''
|K
'
) = o
K
'
K
'' = o
a
'
a
'' o
b
'
b
'' o
c
'
c
'' . (4.38)
enquanto que a relao de completeza, ser escrita como
_
K
'
|K
'
)(K
'
| =
_
a
'
_
b
'
_
c
'
|a
'
, b
'
, c
'
, .)(a
'
, b
'
, c
'
, .| = 1 (4.39)
Medidas de Observveis Compatveis
Caso no degenerado. Suponha um sistema num estado inicial |o), quando realizamos medidas
dos observveis compatveis A e B. Suponha ainda que medimos primeiro o observvel A, obtendo
Mecnica Quntica A / Prof. Dr. Abraham Moyss Cohen 32
como resultado a
'
. Subsequentemente, medimos B, obtendo-se b
'
. Finalmente, medimos A
novamente.
Qual o valor que obteremos para esta nova medida de A?
Com base no formalismo de medidas, a resposta simples: a terceira medida (A) sempre dar a
'
com
certeza. Isto , a segunda medida (B) no destri a informao obtida previamente na primeira medida
(A). Isto bvio quando os autovalores de A so no-degenerados:
| |a',b' |a',b' |a',b'
medida de A medida de B medida de A
(4.40)
Caso degenerado. Quando existe degenerescncia, o argumento como segue: Aps a primeira
medida (A), que d a
'
, o sistema se encontra em alguma combinao linear do tipo
_
i
n
c
a
'
(i)
a
'
, b
(i)
), (4.41)
onde n o grau de degenerescncia, e os kets a
'
, b
(i)
) tm o mesmo autovalor a
'
com relao ao
operador A. A segunda medida (B) pode selecionar apenas um dos termos da combinao linear
(1.4.41), digamos, a
'
, b
(j)
), mas a terceira medida aplicada a ele ainda d a
'
.
Tendo ou no degenerescncia, as medidas de A e B no se interferem. O termo compatvel
, de fato, apropriado.
Observveis Incompatveis
Neste caso, os operadores correspondentes aos observveis A e B no comutam entre si. Ou seja,
|A, B] = 0.
Isto significa que observveis incompatveis no tm um conjunto completo de autokets simultneos,
como no caso anterior.
Demonstrao. Para demonstrar, vamos considerar que, ao contrrio, existe um conjunto
completo de autokets simultneos. Logo,
AB|a
'
, b
'
) = b
'
A |a
'
, b
'
) = a
'
b
'
|a
'
, b
'
)
BA|a
'
, b
'
) = a
'
B|a
'
, b
'
) = a
'
b
'
|a
'
, b
'
)
Ento,
AB|a
'
, b
'
) = BA|a
'
, b
'
) (4.44)
o que significa
(AB BA) |a
'
, b
'
) = 0
ou, mais precisamente,
Captulo 1: Conceitos Fundamentais 33
|A, B] = 0
o que est em contradio com a hiptese de que os operadores so incompatveis.
Em geral, |a
'
, b
'
) no faz sentido para observveis incompatveis.
Existe porm um exceo interessante: o que acontece quando existe um subespao do espao ket
tal que (1.4.44) vale para todos os elementos deste subespao, mesmo que A e B sejam
incompatveis.
Exemplo Momento angular orbital: Considere um estado l = 0 (estado s). Embora os
operadores L
x
e L
z
no comutem, este estado um autoestado simultneo de L
x
e L
z
(com
autovalores nulos para ambos os operadores). O subespao neste caso unidemensional.
Observveis Incompatveis e SG Sequencial
Considere um sequncia de medidas seletivas mostrada na parte (a) da figura abaixo.
O primeiro filtro (A) seleciona o estado |a
'
) e rejeita os demais.
O segundo filtro (B) seleciona o estado |b
'
) e rejeita os demais.
O terceiro filtro (C) seleciona o estado |c
'
) e rejeita os demais.
Qual a probabilidade de obter |c
'
), quando o feixe saindo do primeiro filtro
normalizado unidade?
Para obtermos a medida |c
'
), o feixe deve passar pelo segundo filtro e pelo terceiro filtro. Como neste
caso, as probabilidades so multiplicativas, encontramos
|(c
'
|b
'
)|
2
|(b
'
|a
'
)|
2
Agora precisamos somar sobre todos os estados b
'
para calcular a probabilidade total de ir atravs de
todas as rotas possveis b
'
_
b
'
|(c
'
|b
'
)|
2
|(b
'
|a
'
)|
2
=
_
b
'
(c
'
|b
'
)(b
'
|a
'
)(a
'
|b
'
)(b
'
|c
'
) (4.46)
Operacionalmente, isto significa que primeiro registramos a probabilidade de obter c
'
com
todos os b
'
bloqueados, com exceo do primeiro; ento, repetimos o procedimento com
todos os b
'
bloqueados, com exceo do segundo, e assim sucessivamente. No final,
somamos todas essas probabilidades.
Comparao com o filtro B ausente. Veja a parte (b) da figura abaixo, onde o filtro B foi
retirado. Claramente, a probabilidade vale |(c
'
| a
'
)|
2
, que tambm pode ser escrita como
Mecnica Quntica A / Prof. Dr. Abraham Moyss Cohen 34
|(c
'
| a
'
)|
2
=
_
b
'
(c
'
|b
'
)(b
'
|a
'
)
2
=
_
b
'
_
b
''
(c
'
|b
'
)(b
'
|a
'
)(a
'
|b
''
)(b
''
|c
'
) (4.47)
A B C
| a' | b' | c'
A C
| c'
|a
'
) = _
b
'
|b
'
)(b
'
|a
'
)
(a)
(b)
Observao Note que essas duas expresses so diferentes! Mas, isto um resultado
extraordinrio, uma vez que em ambos os casos o feixe puro |a
'
), saindo do primeiro filtro (A) pode ser
considerado como composto dos autoestados de B, isto ,
|a
'
) =
_
b
'
|b
'
)(b
'
|a
'
)
onde a soma sobre todos os valores possveis de b
'
. O ponto crucial que deve ser notado que o
resultado que emerge do filtro C depende se a medida B foi ou no realizada. No primeiro caso,
verificamos experimentalmente quais dos autovalores de B realmente materializaram-se; no segundo,
meramente imaginamos |a
'
) ser construdo dos vrios |b
'
)
'
s no sentido de (1.4.48).
Em outras palavras, medindo-se realmente as probabilidades atravs de todas as rotas dos
vrios b
'
faz toda a diferena, mesmo que no final somemos sobre todos os b
'
. Aqui est o
corao da mecnica quntica.
Em que circustncias as duas expresses so iguais?
Pode-se mostrar que, na ausncia de degenerescncia, a condio suficiente que
|A, B] = 0 ou |B, C] = 0.
Em outras palavras, essa particularidade ilustrada caracterstica de observveis incompatveis.
Relaes de Incerteza
Dado um observvel A, definimos um operador AA como
AA = A (A),
Captulo 1: Conceitos Fundamentais 35
onde o valor esperado tomado para um determinado estado fsico em considerao. O valor
esperado de (AA)
2
conhecido como disperso de A. Uma vez que,
(AA)
2
= (A (A))
2
= A
2
2A(A) + (A)
2
= (A
2
) 2(A)
2
+ (A)
2
= (A
2
) (A)
2
,
podemos definir disperso de A como sendo (A
2
) (A)
2
. s vezes, os termos varincia e desvio
quadrtico mdio so tambm usados para a mesma quantidade.
Disperso tomada para um autoestado de A. Quando o estado em questo um autoestado de
A,
(AA)
2
A
= (A
2
) (A)
2
= (a
'
| A
2
|a
'
) (a
'
| A|a
'
)
2
= a
2
(a
'
|a
'
) a
2
(a
'
|a
'
)
2
= 0.
ou seja, a disperso se anula quando tomada em relao ao autoestado do operador A. Grosso modo,
a disperso de um observvel, caracteriza indefinio. Por exemplo, para o estado S
z
+ de um
sistema de spin , a disperso de S
x
pode ser calculada
(AS
x
)
2
= (S
x
2
) (S
x )
2
= (+| S
x
2
|+) (+|S
x |+)
2
onde,
(+| S
x
2
|+) =
= (+|
h
2
|+)(| + |)(+|
h
2
|+)(| + |)(+| |+)
=
h
2
2
(+| |+)(||+)(| + |+)(||)(+| + |)(+||+)(| + |)(+||)(+| |+)
=
h
2
2
=1
(+||+)(+||+) +
=0
(+||)(||+)
=
1
4
h
2
.
e
(+|S
x |+)
2
= (+|
h
2
|+)(| + |)(+| |+)
2
=
h
2
2
(+| |+)(| + |)(+| |+)
2
=
h
2
2
|(+||+)(||+) + (+||)(+||+)]
2
= 0
Logo,
(AS
x
)
2
= (S
x
2
) (S
x )
2
=
1
4
h
2
.
Mecnica Quntica A / Prof. Dr. Abraham Moyss Cohen 36
Ao contrrio, a disperso (AS
z
)
2
= 0 para o estado S
z
+. Assim, para o estado S
z
+, S
z
preciso
(disperso nula), enquanto que S
x
impreciso.
Relao de incerteza. Sejam os observveis A e B. Ento, para qualquer estado devemos ter a
seguinte desigualdade
(AA)
2
(AB)
2
_
1
4
|(|A, B])|
2
. (4.53)
Para prov-la, consideremos os seguintes lemas:
Lema (1) Desigualdade de Schwartz
(o|o)(o|o) _ |(o|[)|
2
que anloga a
|a|
2
|b|
2
_ |a - b|
2
no espao euclidiano.
Prova: Note que
((o| + ([| z
-
) - (|o) + z|[)) _ 0,
ou seja,
(o|o) + z(o|[) + z
-
([|o) + |z|
2
([|[)
= 1 + 2Re(z(o|[)) + |z|
2
([|[) _ 0
onde z um nmero complexo. Esta desigualdade deve valer quando z = ([|o)/([|[). Logo,
(o|o) + 2Re
([|o)
([|[)
(o|[) +
|([|o)|
2
|([|[)|
2
([|[) =
= (o|o)([|[) 2|(o|[)|
2
+ |([|o)|
2
= (o|o)([|[) |(o|[)|
2
_ 0
que a mesma relao da desigualdade de Schwartz.
Lema (2) O valor esperado de um operador hermitiano real.
Prova: A prova j foi dada em (1.3.21).
Lema (3) O valor esperado de um operador anti-hermitiano, definido como C = C

imaginrio puro.
Prova: Veja a prova do lema (2).
Com esses lemas, estamos prontos para provar a relao de incerteza (1.4.53). Usando o Lema (1)
com
Captulo 1: Conceitos Fundamentais 37
|o) = AA| ),
|[) = AB| )
onde | ) em branco, enfatiza o fato de que as consideraes aqui podem ser aplicadas a qualquer
ket, obtemos
(o|o)(o|o) _ |(o|[)|
2
(AA)
2
(AB)
2
_ |((AA)(AB))|
2
onde usamos a hermiticidade dos operadores AA e AB.
Clculo do lado direito. Para calcular |((AA)(AB))|
2
, observe que
AAAB =
1
2
|AA, AB] +
1
2
AA, AB)
onde o comutador |AA, AB] vale
|AA, AB] = |(A (A)), (B (B))]
= (A (A))(B (B)) (B (B))(A (A))
= AB A(B) (A)B + (A)(B) BA + B(A) + (B)A (B)(A)
= AB BA
= |A, B],
anti-hermitiano. Ou seja,
|AA, AB]

= |A, B]

= (AB)

(BA)

= BA AB = (AB BA)
= |A, B]
Ao contrrio, o anticomutator AA, AB) obviamente hermitiano. Assim,
(AAAB) =
1
2
imaginario puro
(|AA, AB]) +
1
2
real
(AA, AB))
onde usamos os Lemas (2) e (3). Portanto, o lado direito torn-se
|((AA)(AB))|
2
=
1
4
|AA, AB]
2
+
1
4
AA, AB)
2
Ento,
(AA)
2
(AB)
2
_ |((AA)(AB))|
2
ou
(AA)
2
(AB)
2
_
1
4
|AA, AB]
2
1.5 Mudana de Base
Operador de Transformao
Considere dois observveis incompatveis, A e B, e que o espao ket em questo possa ser descrito
pelo conjunto |a
'
)) ou pelo conjunto |b
'
)).
Exemplo Sistema de spin : |S
z
; ) podem ser usado como base, da mesma forma que |S
x
; ).
Mecnica Quntica A / Prof. Dr. Abraham Moyss Cohen 38
Mas os dois conjuntos diferentes de kets de base descrevem o mesmo espao de ket.
Como essas duas descries esto relacionas?
Mudana de base. A mudana do conjunto de kets de base referido como mudana de base
ou mudana de representao.
Representao. Refere-se base na qual os autokets de base so dados. Por exemplo, se a
base de autokets dada por |a
'
)) chamada de representao de A, ou s vezes, representao
diagonal de A, uma vez que a matriz quadrada correspondente a A diagonal nesta base.
Operador de transformao. Refere-se ao operador que conecta dois conjuntos ortornormais:
a base antiga |a
'
)) e a nova base |b
'
)).
Teorema Dado dois conjuntos de kets de base, ambos satisfazendo ortonormalidade e completeza,
existe um operador unitrio U tal que
b
(1)
) = U a
(1)
), b
(2)
) = U a
(2)
), ., b
(N)
) = U a
(N)
). (5.1)
Entende-se como operador unitrio aquele que satisfaz as condies
U

U = 1 (5.2)
assim como
UU

= 1 (5.3)
Prova: Seja o operador
U =
_
k
b
(k)
)(a
(k)
. (5.4)
Aplicando em a
(l)
), ou seja,
U a
(l)
) =
_
k
b
(k)
)(a
(k)
a
(l)
)
=
_
k
b
(k)
)(a
(k)
a
(l)
)
=
_
k
b
(k)
) o
kl
= b
(l)
(5.5)
como queramos. Agora vamos mostrar que U unitrio,
U

U =
_
k
_
l
a
(l)
)
o
lk
(b
(l)
b
(k)
) (a
(k)
=
_
k
a
(k)
)(a
(k)
= 1,
Captulo 1: Conceitos Fundamentais 39
onde usamos a ortonormalidade de |b
'
)).
Matriz de Transformao
Representao do operador U na base antiga |a
'
) . De acordo com (1.5.5),
(a
(k)
U |a
(l)
= (a
(k)
b
(l)
).
Em outras palavras, os elementos de matriz da matriz U so os produtos internos entre os bras da
base antiga e os kets da nova base. Lembre-se que a matriz rotao que muda de uma base (x , , z )
para x
'
,
'
, z
'
, pode ser escrita como
R =
x - x
'
x -
'
x - z
'
- x
'
-
'
- z
'
z - x
'
z -
'
z - z
'
.
A matriz quadrada (a
(k)
U |a
(l)
chamada de matriz de transformao da base |a
'
) para a base
|b
'
) .
Coeficiente de expanso. Dado um ket arbitrrio |o), cujos coeficientes (a
'
|o) so conhecidos
na base antiga,
|o) =
_
l
a
(l)
)(a
(l)
o).
Como obter os coeficientes de expanso (b
'
|) na nova base?
Multiplicando a expanso por (b
(k)
, encontramos
(b
(k)
o) =
_
l
(b
(k)
a
(l)
)(a
(l)
o)
=
_
l
(b
(k)
U

|a
(l)
)(a
(l)
o). (5.10)
Em notao matricial, esta equao nos diz que a matriz-coluna de |o) na nova base pode ser obtida,
aplicando-se a matriz quadrada U

sobre a matriz-coluna de |o) na base antiga:


(Nova) = (U

)(antiga)
Elementos de matriz nas duas bases. Seja
(b
(k)
X |b
(l)
=
_
m
_
n
(b
(k)
a
(m)
)(a
(m)
X a
(n)
)(a
(n)
|b
(l)
=
_
m
_
n
(a
(k)
U

a
(m)
)(a
(m)
X a
(n)
) (a
(n)
U a
(l)
)
conhecida como transformao de similaridade, em lgebra matricial,
X
'
= U

XU (5.13)
Trao de um operador X. a soma dos elementos da diagonal
Mecnica Quntica A / Prof. Dr. Abraham Moyss Cohen 40
tr(X) =
_
a
'
(a
'
| X |a
'
O trao de um operador no depende da base. Da definio de tr(X), podemos mostrar que
esta funo independe da base em que o operador representado. Ou seja,
_
a
'
(a
'
| X |a
'
=
_
a
'
_
b
'
_
b
''
(a
'
| b
'
)(b
'
| X |b
''
(b
''
|a
'
)
=
_
a
'
_
b
'
_
b
''
(b
'
| X |b
''
)(b
''
|a
'
)(a
'
| b
'
)
=
_
b
'
_
b
''
(b
'
| X |b
''
)
o
b
'
b
''
(b
''
| b
'
)
=
_
b
'
(b
'
| X |b
'
).
Outras relaes envolvendo o trao. Pode-se mostrar que
tr(XY) = tr(YX)
tr(U

XU) = tr(X)
tr(|a
'
)(a
''
|) = o
a
'
a
''
tr(|b
'
)(a
'
|) = (a
'
|b
'
)
Diagonalizao. Estamos interessados nos autovalores b
'
e os autokets |b
'
), com a
propriedade
B|b
'
) = b
'
|b
'
).
Vamos reescrever esta equao como
_
a
'
(a
''
|B|a
'
)(a
'
|b
'
) = b
'
(a
''
| b
'
) (5.18)
Quando | b
'
) corresponder ao l-simo autoket do operador B, podemos reescrever esta equao em
notao matricial, como segue:
B
11
B
12
B
13

B
21
B
22
B
23

. . . `
C
1
(l)
C
2
(l)
.
= b
(l)
C
1
(l)
C
2
(l)
.
(5.19)
com
B
ij
= (a
(i)
B a
(j)
)
C
k
(l)
= (a
(k)
b
(l)
)
(5.20-a)
(5.20-b)
com i, j, k = 1, 2, ., N (dimensionalidade do espao). Solues no triviais para C
k
(l)
so possveis
somente se a equao caracterstica,
det(B z1) = 0,
Captulo 1: Conceitos Fundamentais 41
for satisfeita.
Esta equao de N-sima ordem em z e as N raizes obtidas so identificadas com os b
(l)
s
que queremos determinar.
Conhecendo os b
(l)
s podemos resolver para os correspondentes C
k
(l)
s a menos de uma
constante que determinada pela condio de normalizao.
Comparando (1.5.20-b) com (1.5.7) v-se que os C
k
(l)
s so justamente os elementos da
matriz unitria envolvida na mudana de base |a
'
)) |b
'
)).
Para o procedimento de diagonalizao via matriz unitria, a questo da hermiticidade do
operador B importante.
Exemplo No caso do operador S
+
no-hermitiano, sua representao matricial na base de S
z
,
que dada por
S
+
= h
0 1
0 0
, (5.22)
no pode ser diagonalizada via matriz unitria. No Captulo 2 sero encontrados autokets de um
operador no-hermitiano em conexo com os estados coerentes de um oscilador harmnico simples,
embora sabendo que eles no formam um conjunto completo ortonormal.
Observveis Equivalentes
Considere o seguinte teorema sobre transformao unitria
Teorema Considere novamente dois conjuntos de bases ortonormais, |a
'
)) e |b
'
)) conectados pelo
operador U (1.5.4). Conhecendo U, podemos construir uma transformao unitria de A, UAU
1
; ento
A e UAU
1
so denominados de observveis equivalentes por transformao unitria. A equao de
autovalores para A
A|a
(l)
) = a
(l)
| a
(l)
,
o que implica claramente em
UAU
1
U |a
(l)
) = a
(l)
U | a
(l)
Mas isto pode ser reescrito como
(UAU
1
) |b
(l)
) = a
(l)
| b
(l)
). (5.25)
Este resultado aparentemente simples muito profundo. Ele nos diz que os kets | b
(l)
) s so autokets
de UAU
1
com exatamente os mesmos autovalores de A. Em outras palavras, observveis
equivalentes tm espectros idnticos.
Seja | b
(l)
) e, por definio,
B| b
(l)
) = b
(l)
| b
(l)
).
Comparando com (1.5.25), infere-se que B e UAU
1
so simultaneamente diagonlizveis. A questo
Mecnica Quntica A / Prof. Dr. Abraham Moyss Cohen 42
fundamental :
Os operadores B e UAU
1
so os mesmos?
Nos casos de interesse fsico, a resposta sim muito frequente. Tome, por exemplo, S
x
e S
z
, que so
relacionados por uma rotao em torno do eixo y, como ser mostrado no Captulo 3.
1.6 Posio, Momento e Translao
Espectro contnuo
Observveis com autovalores contnuos: qualquer valor real entre e +. Seja a equao de
autovalores para o caso do espectro contnuo:
|
'
) =
'
|
'
) (6.1)
onde um operador e
'
um nmero. O ket |
'
) o autoket do operador com autovalor
'
.
Seguindo uma analogia com o caso discreto, vamos substituir o smbolo de Kronecker, o
ij
, pela funo
delta de Dirac, o(
'
), e a soma sobre autovalores discretos a
'
) por uma integral sobre a varivel
contnua . Ou seja,
Discreto Contnuo
(a
'
|a
''
) = o
a
'
a
'' (
'
|
''
) = o(
'

''
)
_
a
'
|a
'
)(a
'
| = 1 ] d
'
|
'
)(
'
| = 1
|o) = _
a
'
|a
'
)(a
'
|o) |o) = ] d
'
|
'
)(
'
|o)
_
a
'
|(a
'
|o)|
2
= 1 ] d
'
|(
'
|o)|
2
= 1
([|o) = _
a
'
([|a
'
)(a
'
|o) ([|o) = ] d
'
([|
'
)(
'
|o)
(a
''
| A|a
'
) = a
'
o
a
'
a
'' (
''
| |
'
) =
'
o(
''

'
)
Autokets da Posio e Medidas da Posio
Como foi enfatizado na Se. 1.4,
medida em MQ essencialmente um processo de filtragem.
Operador posio em uma dimenso. Os autokets | x
'
) do operador posio x satisfazem
x| x
'
) = x
'
| x
'
)
e formam um conjunto completo (postulado).
No se deve confundir: x
'
um nmero enquanto que x um operador.
Expanso de um estado arbitrrio. O ket |o) para um estado fsico arbitrrio pode ser expandido
em termos dos | x
'
)):
Captulo 1: Conceitos Fundamentais 43
|o) = ]

+
dx
'
| x
'
)(x
'
|o) (1.64)
Experimento. Suponha um detector muito pequeno que clica somente quando a partcula est
exatamente na posio x
'
. Imediatamente aps o detector clicar, podemos dizer que o estado em
questo representado por | x
'
). Em outras palavras, quando o detector clica, | o) salta abruptamente
para o autoestado | x
'
) da mesma maneira como um estado arbitrrio de spin salta para o estado S
z
+
ou S
z
, quando sujeito a aparelho de SG do tipo S
z
.
O detector na prtica. O melhor que o detector pode fazer na prtica localizar a partcula
dentro de um pequeno intervalo, A, em torno de x
'
, ou seja, x
'
A/2, x
'
+ A/2 .
Aps o clique do detector, o estado ket muda abruptamente como segue:
|o) = ]

+
dx
''
|x
''
)(x
''
|o)
medida
]
x
'
A/2
x
'
+A/2
dx
''
|x
''
)(x
''
|o) (6.5)
Admitindo que (x
''
|o) no varie apreciavelmente dentro do estreito intervalo A, a probabilidade para
que o detector clique dada por
|(x
'
|o)|
2
dx
'
onde escrevemos dx
'
para A.
Analogia com o espectro discreto. Esta expresso anloga |(a
'
|o)|
2
para a probabilidade de |o)
ser encontrado num autoestado |a
'
) quando o observvel A medido.
A probabilidade de encontrar a partcular em algum lugar entre e + dada por
]

+
dx
'
|(x
'
|o)|
2
que normalizada a um se |o) for normalizado:
(o|o) = 1 ]

+
dx
'
(o|x
'
)(x
'
|o) = 1.
Observaes:
A quantidade (x
'
|o) a funo de onda para um estado representado por |o).
Os autokets da posio pode ser extendido para trs dimenses: |x
'
).
Admite-se que, em MQ no-relativstica, os autokets |x
'
) formam um conjunto completo.
Desprezando-se os graus de liberdade internos (tais como spin), o estado ket para uma
partcula pode ser expandido em termos dos |x
'
)), ou seja
|o) = ] d
3
x
'
|x
'
)(x
'
|o)
onde x
'
representa x
'
, y
'
e z
'
; em outras palavras, |x
'
) um autoket simultneo dos
observveis x, y e z
'
. Ou seja
|x
'
) = |x
'
, y
'
, z
'
),
x|x
'
) = x
'
|x
'
), y|x
'
) = y
'
|x
'
), z|x
'
) = z
'
|x
'
)
existe um autoket simultneo para as trs componentes do vetor posio podemos med-las
Mecnica Quntica A / Prof. Dr. Abraham Moyss Cohen 44
simultaneamente. Logo,
|x
i
, x
j
] = 0
onde x
1
, x
2
e x
3
representa x, y e z, respectivamente.
Translao
a operao que muda um estado bem localizado em torno de x
'
para um outro, tambm bem
localizado em torno x
'
+ dx
'
, mantendo inalteradas as demais propriedades do sistema (spin, por
exemplo).
Translao infinitesimal. O operador T que realiza essa translao, conhecida como translao
infinitesimal, definido como
T(dx
'
) = |x
'
+ dx
'
) (6.12)
onde um possvel fator de fase foi tomado igual a um por conveno.
No so autokets. Os |x
'
) no so um autokets do operador translao infinitesimal T(dx
'
).
Efeito de T(dx
'
) sobre um estado |o). Expande-se |o) em termos dos |x
'
) e aplica-se o operador
translao. Ou seja,
|o) T(dx
'
)|o) = T(dx
'
) ] d
3
x
'
|x
'
)(x
'
|o) = ] d
3
x
'
|x
'
+ dx
'
)(x
'
|o)
O lado direito tambm pode ser escrito como
] d
3
x
'
|x
'
+ dx
'
)(x
'
|o) = ] d
3
x
'
|x
'
)(x
'
dx
'
|o)
Isto mostra que a funo de onda de um estado transladado T(dx
'
)|o) obtida
substituindo-se em (x
'
|o), x
'
x
'
dx
'
.
Propriedades que devem ter o operador translao. Vamos relacionar algumas
propriedades do operador translao infinitesimal.
(1) Unitariedade. Esta propriedade imposta pela conservao de probabilidade. Se um
ket |o) normalizado unidade, o ket transladado,T(dx
'
)|o), tambm ser normalizado
unidade. Ou seja,
(o|o) = (o|T

(dx
'
)T(dx
'
)o)
Esta condio garantida, exigindo-se que a translao infinitesimal seja unitria. Ou seja,
T

(dx
'
)T(dx
'
) = 1.
(2) Translaes sucessivas. Aplicando-se duas translaes sucessivas, primeiro por dx
'
e em seguida por dx
''
, no necessariamente na mesma direo, espera-se que o resultado
total possa ser descrito por uma nica translao equivalente ao vetor soma dx
'
+ dx
''
. Assim,
vamos exigir que
T(dx
''
)T(dx
'
) = T.
(3) Translao em direo oposta. Considere um translao em direo oposta a
dx
'
, ou seja, T (dx
'
). Esperamos que essa translao seja o mesmo que o inverso da
translao original. Isto ,
Captulo 1: Conceitos Fundamentais 45
T (dx
'
) = T
1
(dx
'
).
(4) Translao dx
'
0. Se dx
'
0, esperamos que a operao de translao reduza-se
operao identidade, ou seja,
lim
dx
'
0
T(dx
'
) = 1,
e que a diferena entre T(dx
'
) e o operador identidade seja de primeira ordem em dx
'
.
Operador translao. Escolhendo-se o operador translao na forma
= 1 iK - dx
'
(6.20)
onde K, K
x
, K
y
e K
z
so operadores hermitianos, ento todas as propriedades listadas acima so
satisfeitas. De fato, veremos
(1) Unitariedade. Seja
T

(dx
'
)T(dx
'
) = (1 iK - dx
'
)

(1 iK - dx
'
)
= (1 + iK

- dx
'
)(1 iK - dx
'
)
= 1 i(K K

) - dx
'
+ O (dx
'
)
2
~ 1,
onde o termo de segunda ordem desprezvel para uma translao infinitesimal.
(2) Translaes sucessivas. Da mesma forma,
T(dx
'
)T(dx
'
) = (1 iK - dx
''
) (1 iK - dx
'
)
~ 1 iK - (dx
''
+ dx
'
)
= T(dx
'
).
(3) Translao inversa. Este caso pode ser facilmente mostrado
T
1
(dx
'
) =
1
1 iK - dx
'
= 1 + iK - dx
'
+ O (dx
'
)
2
~ 1 + iK - dx
'
= T (dx
'
)
(4) facilmente verificado.
Relao fundamental entre os operadores K e x. Sejam as seguintes expresses:
xT(dx
'
)|x
'
) = x |x
'
+dx
'
) = (x
'
+dx
'
) |x
'
+dx
'
)
e
T(dx
'
) x |x
'
) = x
'
T(dx
'
) |x
'
) = x
'
|x
'
+dx
'
).
Ento
|x, T(dx
'
)]|x
'
) = (x
'
+dx
'
) |x
'
+dx
'
) x
'
|x
'
+dx
'
)
= dx
'
|x
'
+dx
'
)
~ dx
'
|x
'
),
onde o erro em tomar |x
'
+dx
'
) |x
'
) da segunda ordem em dx
'
. Como |x
'
) formam um conjunto
Mecnica Quntica A / Prof. Dr. Abraham Moyss Cohen 46
completo de funes, a equao acima deve valer como uma identidade de operadores. Ou seja,
|x, T(dx
'
)] = dx
'
que pode ser rescrito como
x (1 iK - dx
'
) (1 iK - dx
'
) x = dx
'
ou ainda,
i x K - dx
'
+ iK - dx
'
x = dx
'
Supondo que dx
'
esteja na direo de x
j
, vamos formar o produto escalar com x
i
,
i x K - x
j
dx
'
+ iK - x
j
dx
'
x = x
j
dx
'
i x K
j
dx
'
+ iK
j
dx
'
x = x
j
dx
'
- x
i
(i)
x - x
i
K
j
K
j
x - x
i
= i x
j
- x
i
x
i
K
j
K
j
x
i
= io
ij
Ou seja,
|x
i
, K
j
] = io
ij
(6.27)
onde i, j = 1, 2, 3 representam as componentes x, y, e z dos operadores.
Momento como um Gerador de Translao
A Eq. (6.27) representa as relaes de comutao entre os operadores posio, x, y, z, e os operadores
K, K
x
, K
y
, K
z
.
Qual o significado fsico que podemos atribuir a K?
O operador K est relacionado com o momento linear em MQ. Com esta identificao o operador
translao torna-se
T(dx
'
) = 1 ip - dx
'
/h (6.32)
E as relaes de comutao (6.27) tornam-se agora
|x
i
, p
j
] = iho
ij
(6.33)
Estas relaes de comutao (6.33) implicam que os pares x e p
x
, y e p
y
; e z e p
z
so
observveis incompatveis, enquanto que os demais (por exemplo, x e p
y
) so observveis
compatveis. portanto impossveis encontrar autokets simultneos de x e p
x
y e p
y
; e z e p
z
.
Relao de incerteza posio-momento. Aplicando o formalismo da Se. 1.4, obtm-se a relao
de incerteza de W. Heisenberg:
(Ax)
2
(Ap
x
)
2
_ h
2
/4. (6.34)
Translao Finita
Seja uma translao por uma quantidade finita Ax
'
na direo do eixo x, ou seja, Ax
'
x . Logo,
Captulo 1: Conceitos Fundamentais 47
T (Ax
'
x )|x
'
) = |x
'
+ Ax
'
x ).
Podemos tratar esse deslocamento finito, como uma sucesso de deslocamentos infinitesimais (v.
figura).
dx' = x'/N, N
x'
Divindo o deslocamento original Ax
'
em N deslocamentos dx
'
e no final tomando o limite em que
N , encontra-se:
T (Ax
'
x ) = T (dx
'
x +dx
'
x + +dx
'
x ) =
N vezes
T (dx
'
x ) T (dx
'
x ) T (dx
'
x )
Mas,
N
T (dx
'
x ) T (dx
'
x ) T (dx
'
x ) =
N
1
ip - x dx
'
h
1
ip - x dx
'
h
= 1
ip
x
dx
'
h
N
Como dx
'
= Ax
'
/N, e, para N 0, encontra-se
T (Ax
'
x ) = lim
N
1
ip
x
Ax
'
Nh
N
= exp
ip
x
Ax
'
h
(6.36)
CUIDADO: Aqui exp
ipxAx
'
h
deve ser entendido com uma funo do operador p
x
. De uma maneira
geral, para qualquer operador X, tem-se
e
X
= 1 + X +
X
2
2!
+ (6.37)
Translaes em diferentes direes. Uma propriedade fundamental das translaes que
translaes sucessivas em diferentes direes (x e y, por exemplo) comutam entre si.
Geometricamente, isto pode ser visto na figura abaixo: ao nos deslocarmos de A para B, no interessa
se vamos via C ou via D. O resultado final o mesmo. Matematicamente,
T (Ay
'
y)T (Ax
'
x) = T (Ax
'
x +Ay
'
y)
T (Ax
'
x)T (Ay
'
y) = T (Ax
'
x +Ay
'
y)
de onde se obtm
T (Ay
'
y), T (Ax
'
x) = 0. (6.40)
Mecnica Quntica A / Prof. Dr. Abraham Moyss Cohen 48
A
C
B D
y' y
x' x
Translaes sucessivas em
Este ponto no assim to trivial quanto possa parecer; ser mostrado no Captulo 3 que rotaes em
torno de diferentes eixos no comutam entre si. Tratando Ax
'
e Ay
'
at a segunda ordem, encontramos
T (Ay
'
y), T (Ax
'
x) = exp
ip
y
Ay
'
h
, exp
ip
x
Ax
'
h
= 1
ip
y
Ay
'
h

p
y
2
(Ay
'
)
2
h
+ ,
1
ip
x
Ax
'
h

p
x
2
(Ax
'
)
2
h
+
~
(Ax
'
)(Ay
'
)
h
2
p
y
, p
x
.
Como Ax
'
e Ay
'
so deslocamentos arbitrrios e usando (6.40), isto T (Ay
'
y), T (Ax
'
x) = 0,
encontra-se imediatamente
|p
x
, p
y
] = 0 (6.41)
ou, ainda mais geral
|p
i
, p
j
] = 0. (6.42)
Estas relaes de comutao so consequncia direta do fato de que translaes em
diferentes direes comutam entre si. Toda vez que os geradores de transformaes (no
caso aqui so translaes) comutam o grupo correspondente dito ser abeliano. O grupo
de translaes em trs dimenses abeliano.
Os observveis p
x
, p
y
e p
z
so compatveis. As relaes de comutao (6.42) implicam em p
x
, p
y
e p
z
serem observveis mutuamente compatveis.
Autoket simultneo. Como so compatveis, podemos imaginar um autoket simultneo, ou seja,
|p
'
) = |p
x
'
, p
y
'
, p
z
'
),
p
x|p
'
) = p
x
'
|p
'
), p
y|p
'
) = p
y
'
|p
'
), p
z|p
'
) = p
z
'
|p
'
),
Translao sobre |p
'
). Vamos aplicar o operador de translao T(dx
'
) sobre o autoket dos
Captulo 1: Conceitos Fundamentais 49
momentos, |p
'
). Ou seja
T(dx
'
) |p
'
) = 1
ip - dx
'
h
|p
'
) = 1
ip
'
- dx
'
h
|p
'
)
Observe que, diferentemente de |x
'
) (que mostramos no ser um autoket), os estados |p
'
) so
autoestados (autokets) de T(dx
'
), como j haviamos antecipado, devido relao de comutao
|p, T(dx
'
)] = 0.
Note tambm que os autovalores de T(dx
'
) so complexos. No esperamos autovalores reais porque
T(dx
'
), embora unitrio, no um operador hermitiano.
As Relaes de Comutao Cannicas
Resumo das relaes inferidas do estudo das propriedades de translao:
|x
i
, x
j
] = 0, |p
i
, p
j
] = 0, |x
i
, p
j
] = iho
ij
(6.46)
Estas relaes formam a base da mecnica quntica. So conhecidas como relaes de comutao
cannicas ou relaes de comutao fundamentais.
Observaes Histricas
(1) Historicamente foi Heisemberg quem mostrou em 1925 que as regras de combinaes para
linhas de transies atmicas, conhecidas naquele tempo, seriam melhor entendidas se fossem
associadas a um arranjo de nmeros obedecendo certas regras de multiplicao com essas
frequncias. Imediatamente depois, Born e Jordan, reconheceram que as regras de multiplicao de
Heisenberg eram essencialmente aquelas da lgebra matricial e a teoria foi desenvolvida baseada no
anlogo de matriz da Eq. (1.6.46), que agora conhecido com mecnica matricial.
(2) Dirac, tambm em 1925, observou que as vrias relaes na mecnica quntica podem ser
obtidas das correspondentes relaes na mecnica clssica, substituindo os colchetes de Poisson (da
mecnica clssica) pelas relaes de comutao, ou seja,
,
clssico

,
ih
, (6.47)
onde os colchetes de Poisson so definidos para funes de q e p, como
|A(q, p), B(q, p)]
clssico
=
_
s
cA
cq
s
cB
cp
s

cA
cp
s
cB
cq
s
(6.48)
Por exemplo, em mecnica clssica temos
|x
i
, p
j
]
clssico
= o
ij
que, usando (6.47) obtm-se (1.6.33) em mecnica quntica.
(3) Tanto os colchetes de Poisson, quanto as relaes de comutao satisfazem propriedades
algbricas similares. Por exemplo,
Mecnica Quntica A / Prof. Dr. Abraham Moyss Cohen 50
|A, A] = 0
|A, B] = |B, A]
|A, c] = 0, (c um nmero)
|A + B, C] = |A, C] + |B, C]
|A, BC] = |A, B]C + B|A, C]
|A, |B, C]] + |B, |C, A]] + |C, |A, B]] = 0, (identidade de Jacobi)
1.7 Funes de Onda nos Espaos da Posio e do Momento.
Funo de Onda no Espao da Posio
Caso unidimensional. Seja
x |x
'
) = x
'
|x
'
)
e normalizada de tal maneira que a relao de ortogonalidade torna-e
(x
''
|x
'
) = o(x
''
x
'
).
Expanso. Um ket |o) representando um estado fsico pode ser expandido em termos de |x
'
),
|o) = ] dx
'
|x
'
)(x
'
|o)
Coeficiente de expanso. O coeficiente de expanso (x
'
|o) interpretado de tal maneira que
|(x
'
|o)|
2
dx
'
nos fornece a probabilidade da partcula ser encontrada num pequeno intervalo dx
'
em torno de x
'
.
Funo de onda. Neste formalismo, o produto interno (x
'
|o) o que usualmente se conhece como
funo de onda
o
(x
'
) para o estado |o). Ou seja,
(x
'
|o) =
o
(x
'
)
Interpretaes usando o formalismo de Dirac
Produto interno. Seja o produto interno ([|o). Usando a completeza de |x
'
) obtm-se
([|o) = ] dx
'
([|x
'
)(x
'
|o) = ] dx
'

[
-
(x
'
)
o
(x
'
)
tal que ([|o) caracteriza a integral de recobrimento (overlap) entre as duas funes de onda. A
identificao de ([|o) com a integral de overlap segue do postulado de completeza para |x
'
). A
interpretao mais geral de ([|o), independente das representaes, que esse produto representa a
amplitude de probabilidade para o estado |o) ser encontrado no estado |[).
Expanso funo de onda. Agora vamos interpretar a expanso
|o) =
_
a
'
|a
'
)(a
'
|o)
usando a linguagem de funo de onda. Mualtiplicando essa equao pelo autobra (x
'
| pelo lado
esquerdo, encontra-se
Captulo 1: Conceitos Fundamentais 51
(x
'
|o) =
_
a
'
(x
'
|a
'
)(a
'
|o)
Na notao usual da mecnica quntica isto reconhecido como

o
(x
'
) =
_
a
'
c
a
' u
a
' (x
'
)
onde introduzimos uma autofuno do operador A com autovalor a
'
:
u
a
' (x
'
) = (x
'
|a
'
)
Elementos de matriz. Vamos examinar como ([| A |o) pode ser escrito, usando as funes de
onda para |o) e |[). Assim,
([| A |o) = ] dx
'
] dx
''
([|x
'
)(x
'
| A |x
''
)(x
''
|o)
= ] dx
'
] dx
''

[
-
(x
'
) (x
'
| A |x
''
)
o
(x
''
) (7.10)
Logo, para calcularmos ([| A |o) devemos conhecer os elementos de matriz (x
'
| A |x
''
) que em geral
uma funo de duas variveis, x
'
e x
''
.
Operador funo da posio. Quando o operador A funo da posio, podemos simplificar
(7.10). Suponha, por exemplo, que
A = x
2
que realmente aparece no hamiltoniano do oscilador harmnico simples (Captulo 2). Temos
(x
'
| A |x
''
) = (x
'
| x
2
|x
''
) = ((x
'
|) - x
2
|x
''
)
= ((x
'
|) - (x
''
)
2
|x
''
) = (x
''
)
2
(x
'
|x
''
) = x
'2
o(x
'
x
''
)
Substituindo em (7.10)
([| x
2
|o) = ] dx
'
] dx
''

[
-
(x
'
) x
'2
o(x
'
x
''
)
o
(x
''
)
= ] dx
'

[
-
(x
'
) x
'2

o
(x
''
)
que ficou reduzida a uma nica integral.
De uma maneira geral, se A = f(x), ento:
([|
operador
-
f(x) |o) = ] dx
'

[
-
(x
'
)
no operador
-
f(x
'
)
o
(x
''
) (7.14)
Operador Momento na Base da Posio
Operador momento na base x. Por definio, momento o gerador de translaes infinitesimais;
tomando isto como ponto de partida
Mecnica Quntica A / Prof. Dr. Abraham Moyss Cohen 52
1
ipAx
'
h
|o) = ] dx
'
T (Ax
'
)|x
'
)(x
'
|o)
= ] dx
'
|x
'
+ Ax
'
)(x
'
|o)
= ] dx
'
|x
'
)(x
'
Ax
'
|o)
] dx
'
|x
'
) (x
'
|o) Ax
' c
cx
'
(x
'
|o) (7.15)
onde, na ltima passagem, usamos a expanso de Taylor para
(x
'
Ax
'
|o) ~ (x
'
|o) Ax
' c
cx
'
(x
'
|o)
Comparando ambos os membro (7.15), encontra-se
p|o) = ] dx
'
|x
'
) ih
c
cx
'
(x
'
|o) (7.16)
Multiplicando ambos os membros por (x
''
| encontra-se
(x
''
|p|o) = ] dx
'
(x
''
|x
'
) ih
c
cx
'
(x
'
|o)
= ] dx
'
o(x
''
x
'
) ih
c
cx
'
(x
'
|o)
= ih
c
cx
''
(x
''
|o)
ou seja,
(x
'
| p |o) = ih
c
cx
'
(x
'
|o) (7.17)
onde usamos a ortogonalidade dos estados |x
'
).
Elementos de matriz do momento. Para os elementos de matriz do momento na representao x,
obtm-se
(x
'
| p |x
''
) = ih
c
cx
'
(x
'
|x
''
) = ih
c
cx
'
o(x
'
x
''
)
De (7.16), obtm-se uma identidade muito importante:
([| p |o) = ] dx
'
([|x
'
) ih
c
cx
'
(x
'
|o)
= ] dx
'

[
-
(x
'
) ih
c
cx
'

o
(x
'
) (7.19)
Neste formalismo, a Eq. (7.19) no um postulado; pelo contrrio, ela foi derivada usando as
propriedades bsicas do momento. Aplicando repetidamente (7.17), podemos tambm obter:
(x
'
| p
n
|o) = ih
c
n
cx
'n
(x
'
|o)
([| p
n
|o) = ] dx
'

[
-
(x
'
)(ih)
n c
n
cx
'n

o
(x
'
)
Funes de Onda no Espao dos Momentos
Captulo 1: Conceitos Fundamentais 53
Caso unidimensional
Especificao da base p. Sejam os autokets na base p
p |p
'
) = p
'
|p
'
)
e
(p
'
|p
''
) = o(p
'
p
''
)
Expanso na base p. Um estado arbitrrio |o) pode ser expandido
|o) = ] dp
'
|p
'
)(p
'
|o)
Coeficiente de expanso. O coeficiente (p
'
|o) interpretado em termos probabilsticos. Isto , a
probabilidade de que uma medida de p resulte no autovalor p
'
dentro do pequeno intervalo dp
'

|(p
'
|o)|
2
dp
'
. costume chamar (p
'
|o) a funo de onda no espao dos momentos. A notao usada

a
(p
'
):
(p
'
|o) =
a
(p
'
)
Se |o) for normalizado, obtm-se
(o|o) = ] dp
'
(o|p
'
)(p
'
|o)
= ] dp
'

a
-
(p
'
)
a
(p
'
)
= ] dp
'

a
(p
'
)
2
= 1
Conexo entre as representaes x e p
Espectro discreto. Para espectro discreto, havia uma matriz de transformao que operava uma
mudana de base de um conjunto antigo |a
'
)) para um novo conjunto |b
'
)).
Espectro contnuo. Da mesma forma que para o espectro discreto, espera-se que haja uma tal
transformao. Tais informaes esto contidas em (x
'
|p
'
), que uma funo de x
'
e p
'
, usualmente
chamada de funo de transformao da representao x para a representao p.
Forma explcita de (x
'
|p
'
). Para derivarmos a forma explcita de (x
'
|p
'
), vamos usar (7.17) com
|o) |p
'
):
(x
'
| p |p
'
) = ih
c
cx
'
(x
'
|p
'
)
ou
p
'
(x
'
|p
'
) = ih
c
cx
'
(x
'
|p
'
)
que uma equao diferencial para (x
'
|p
'
). Reescrevendo na forma
1
(x
'
|p
'
)
c
cx
'
(x
'
|p
'
) =
ip
'
h
Mecnica Quntica A / Prof. Dr. Abraham Moyss Cohen 54
encontra-se como soluo
(x
'
|p
'
) = N exp
ipx
'
h
(7.29)
onde N uma constante de normalizao a ser determinada.
Observao Embora a funo de transformao (x
'
|p
'
) seja uma funo de duas variveis, x
'
e
p
'
, podemos temporariamente consider-la como uma funo de x
'
para valores fixos de p
'
. Ela pode
ser visto como uma amplitude de probabilidade para o autoestado de momento p
'
ser encontrado na
posio x
'
; em outras palavras, a funo de onda para o autoestado do momento |p
'
), s vezes
referida como autofuno do momento (ainda no espao x). Assim, (7.29) diz que a funo de onda de
um autoestado do momento uma onda plana. engraado que se tenha obtido esta soluo de
onda plana sem resolver a equao de Schrdinger (que ainda nem escrevemos).
Constante de normalizao N. Para se obter a constante de normalizao N, vamos primeiro
considerar a relao
(x
'
|x
''
) = ] dp
'
(x
'
|p
'
)(p
'
|x
''
)
O lado esquerdo uma delta de Dirac (ortogonalidade) e o lado direito pode ser calculado com a
forma explcita de (x
'
|p
'
) (onda plana). Ou seja
o(x
'
x
''
) = |N|
2
=2mho(x
'
x
''
)
] dp
'
exp
ip
'
(x
'
x
''
)
h
Logo,
o(x
'
x
''
) = 2mh|N|
2
o(x
'
x
''
)
e da
2mh|N|
2
= 1 N =
1
2mh
onde, por conveno, escolhemos N real e positivo. Portanto,
(x
'
|p
'
) =
1
2mh
exp
ip
'
x
'
h
.
Espao da posio espao do momento. Vamos ver como as funes de onda nesses dois
espaos esto relacionadas. Seja
(x
'
|o) = ] dp
'
(x
'
|p
'
)(p
'
|o)
(p
'
|o) = ] dx
'
(p
'
|x
'
)(x
'
|o)
reescrevendo como

o
(x
'
) =
1
2mh
] dp
'
exp
ip
'
x
'
h

a
(p
'
) (7.34a)
Captulo 1: Conceitos Fundamentais 55
e

a
(p
'
) =
1
2mh
] dx
'
exp
ip
'
x
'
h

o
(x
'
) (7.34b)
Este par de equaes justamente o que se espera do teorema de inverso de Fourier.
Pacotes de Onda Gaussiana
Vamos ilustrar o formalismo bsico aqui desenvolvido, considerando um exemplo fsico, representado
por um pacote de onda gaussiano , cuja funo de onda no espao x dada por
(x
'
|o) =
1
m
1/4
d
exp ikx
'

x
'2
2d
2
(7.35)
Expandindo esta funo,
(x
'
|o) =
1
m
1/4
d
onda plana
-
e
ikx
'

gaussiana
e

x
'2
2d
2
vemos que uma onda plana exp(ikx
'
) com vetor de onda k modulada por perfil gaussiano centrado na
origem.
Probabilidade. A probabilidade de observar a partcula anula rapidamente para x
'
> d. Mas
especificamente, a densidade de probabilidade vale
|(x
'
|o)|
2
=
1
m d
e

x
'2
d
2
que tem a forma gaussianacom largura d (v. figura abaixo).
d
Densidade de probabilidade
Valores esperados de x, x
2
, p e p
2
Valor esperado de x. Seja
(x) = ]

+
dx
'
o | x
'
x
'
x
'
| o = ]

+
dx
'
x
'
| o
2
x
'
= 0
por simetria.
Valor esperado de x
2
. Seja
Mecnica Quntica A / Prof. Dr. Abraham Moyss Cohen 56
(x
2
) = ]

+
dx
'
o | x
'
x
'2
x
'
| o
= ]

+
dx
'
x
'2
x
'
| o
2
=
1
m d
]

+
dx
'
x
'2
exp
x
'2
d
2
=
d
2
2
.
que nos leva a
(Ax)
2
= (x
2
) (x)
2
=
d
2
2
para a disperso do operador posio.
Valor esperado de p. Seja
(p) = o | p | o = ]

+
dx
'
o | x
'
ih
c
cx
'
x
'
| o
= ]

+
dx
'
o | x
'
ih
1
m
1/4
d
c
cx
'
exp ikx
'

x
'2
2d
2
= ]

+
dx
'
ik
x
'
d
2
x
'
| o
2
=
1
m d
]

+
dx
'
ik
x
'
d
2
e

x
'2
d
2
=
1
m d
(ikd m )
= ik
Valor esperado de p
2
. Neste caso, obtm-se repetindo o processo anterior,
(p
2
) =
h
2
2d
2
+ h
2
k
2
.
Disperso do momento. Usando os resultados anteriores, esta disperso vale
(Ap)
2
= (p
2
) (p)
2
=
h
2
2d
2
Relao de incerteza de Heisenberg. Substituindo as disperses na equao (1.6.34), o produto
de incerteza dado por
(Ax)
2
(Ap)
2
=
d
2
2
h
2
2d
2
=
h
2
4
que independente de d, tal que para o pacote gaussiano obtm-se uma relao de igualdade ao
invs da desigualdade que a relao mais geral. Por esta razo, o pacote gaussiano conhecido
como o pacote de onda de incerteza mnima.
Espao dos momentos
Funo de onda. Substituindo (1.7.32) e (1.7.35) em (1.7.33b) , encontramos
Captulo 1: Conceitos Fundamentais 57
(p
'
|o) = ]

+
dx
'
p
'
| x
'
(x
'
|o)
=
1
m
1/4
d
]

+
dx
'
p
'
| x
'
exp ikx
'

x
'2
2d
2
=
1
m
1/4
d
1
2mh
]

+
dx
'
exp
ip
'
x
'
h
exp ikx
'

x
'2
2d
2
=
1
2mh
1
m
1/4
d
]

+
dx
'
exp
ip
'
x
'
h
+ ikx
'

x
'2
2d
2
=
1
2mh
1
m
1/4
d
]

+
dx
'
exp
x
'2
2d
2
+
i(p
'
hk)x
'
h
=
1
2mh
1
m
1/4
d
]

+
dx
'
exp
x
'
2 d
+
i(p
'
hk)d
2 h
2
exp
(p
'
hk)
2
d
2
2h
2
onde na ltima passagem, completamos os quadrados. A integral resultante vale
]

+
dx
'
exp
x
'
2 d
+
i(p
'
hk)d
2 h
2
= 2m d
Logo,
(p
'
|o) =
1
2mh
1
m
1/4
d
2m d exp
(p
'
hk)
2
d
2
2h
2
=
d
h m
exp
(p
'
hk)
2
d
2
2h
2
(7.42)
Esta funo de onda no espao dos momentos fornece um mtodo alternativo para obter (p) e (p
2
).
Probabilidade. A probabilidade de encontrar a partcula com momento p
'
uma gaussiana (no
espao dos momentos) centrada em hk, da mesma forma que a probabilidade de encontrar a partcula
na posio x
'
uma gaussiana (no espao das posies) centrada em zero. Alm disso, as larguras
das duas gaussianas so inversamente proporcionais entre si, o que representa uma outra maneira de
expressar a constncia do produto de incerteza (Ax)
2
(Ap)
2
explicitamente calculado em (7.41).
Quando mais larga no espao x mais estreita ela no espao p e vice-versa (v. figura abaixo).
gaussiana no espao
das posies
gaussiana no espao
dos momentos
Comparao entre as larguras das duas
Mecnica Quntica A / Prof. Dr. Abraham Moyss Cohen 58
Casos extremos d e d 0. Vamos considerar este caso extremo em que a largura da
gaussiana no espao x vale d . A funo de onda (7.35) torna-se uma onda plana extendida em
todo espao, com a probabilidade de encontrar a partcula em qualquer ponto x
'
sendo uma constante
independente da posio. Por outro lado, no espao dos momentos a funo de onda torna-se muito
localizada, tal como uma funo delta, em p
'
= hk.
Para d 0, ocorre exatamente o contrrio: no espao das coordenadas a funo torna-se localizada
(delta) enquanto que no espao dos momentos a funo de onda (7.42) uma constante
independente de p
'
.
Funes localizadas no espao x. A ltima anlise mostra que uma funo de onda localizado no
espao x, corresponde a uma superposio de autoestados do momento com todos os valores
possveis dos momentos. Mesmo aqueles autoestados de momento cujos momentos so comparveis
ou excedem mc devem ser includos na superposio. Porm, para tais valores altos do momento, a
descrio baseada na mecnica quntica no-relativstica limitada. A despeito desta limitao, nosso
formalismo, baseado na existncia do autoket posio x
'
, tem um amplo domnio de aplicabilidade.
Generalizao a Trs Dimenses
Autokets da posio. Devem satisfazer
x |x
'
) = x
'
|x
'
)
Autokets do momento. Para o momento, temos,
p |p
'
) = p
'
|p
'
)
Normalizao. Ambos os kets obedecem as condies de normalizao
(x
'
|x
''
) = o
3
(x
'
x
''
)
e
(p
'
|p
''
) = o
3
(p
'
p
''
)
onde
o
3
(x
'
x
''
) = o(x
'
x
''
)o(y
'
y
''
)o(z
'
z
''
)
Relaes de completeza. As relaes de completeza, tornam-se
] d
3
x
'
|x
'
)(x
'
| = 1
e
] d
3
p
'
|p
'
)(p
'
| = 1
que podem ser usadas para expandir um estado ket arbitrrio
|o) = ] d
3
x
'
|x
'
)(x
'
|o)
ou
Captulo 1: Conceitos Fundamentais 59
|o) = ] d
3
p
'
|p
'
)(p
'
|o)
Coeficientes de expanso. Os coeficientes de expanso (x
'
|o) e (p
'
|o) so identificados com as
funes de onda
o
(x
'
) e
o
(p
'
) no espao das posies e dos momentos, respectivamente.
Operador momento. O operador momento, quando tomado entre |[) e |o), torna-se
[| p|o = ] d
3
x
'

[
-
(x
'
)(ihV)
o
(x
'
)
Transformao. A transformao anloga a (7.32)
(x
'
|p
'
) =
1
(2mh)
3/2
exp
ip
'
-x
'
h
tal que

o
(x
'
) =
1
(2mh)
3/2
] d
3
p
'
exp
ip
'
-x
'
h

o
(p
'
)
e

o
(p
'
) =
1
(2mh)
3/2
] d
3
p
'
exp
ip
'
-x
'
h

o
(x
'
)
Mecnica Quntica A / Prof. Dr. Abraham Moyss Cohen 60