Abstract

Esta nota e uso pessoal meu e absolutamente fora de questao de ser

uma nota de aula, pois ainda nenhuma revisao foi feita. Devem existir
milhares de erros e problemas conceituais mal explicados. Assim, quem ler
esta nota, nao deve utilizar como o livro texto, mas apenas uma referencia
informativa.
1
Notas de Mecanica Quantica - Ps Graduao
T.Kodama
August 8, 2011
2
1 Introduo - Conceito de Representao
Para descrever um fenmeno da Natureza quantitativamente, o primeiro pro-
cedimento necessrio representar os conceitos bsicos do fenmeno por quan-
tidades matematicamente bem denidas. Por exemplo, vamos considerar a ro-
tao de um pio. Neste caso, o estado do pio em cada instante pode ser
expresso em termos de orientao espacial dos eixos xos nele. Assim, o estado
de um pio representado por 3 nmeros, por exemplo, os ngulos de Euler, os
quais descrevem a orientaao dos eixos em relao a um sistema xo no espao.
Uma vez assim especicadas as coordenadas do sistema, podemos representar
quantitativamente outros diversos conceitos, tais como a prpria rotao. Por
exemplo, a rotao de um pio representada em termos de uma matriz 3x3, que
transforma as coordenadas anteriores rotao para as posteriores rotao,
r
0
= r
Podemos ento considerar a matriz como a representao da rotao que per-
mite tratar o ato de rodar em termos de quantidade denida matematicamente.
Note que desta maneira, o efeito de duas rotaes sucessivas naturalmente
representado pelo produto das duas matrizes correspondentes.
Em geral, na Mecnica Clssica, a dinmica de um sistema descrita pelo
conjunto de variveis dinmicas {j, }, onde j o momento (generalizado) e
coordenada (generalizada). Um estado do sistema num instante t especicado
pelos valores destas variveis neste instante. Assim, a dinmica do sistema
completamente especicada se sabemos como j e variam em funo do tempo
t. Em outras palavras, o estado de um sistema clssica representado por um
par de variveis, {, j}. Uma vez especicado o estado do sistema num instante,
a dinmica posterior determinada pela equao de movimento, que usualmente
dada pela equao diferencial de j e em relao ao tempo t. Por exemplo,
se tratamos a dinmica de uma partcula, representa a coordenada espacial
r e j representa o momento j. Para um conjunto de, digamos, : partculas
podemos generalizar esta idia, simplesmente associando com o conjunto de
coordenadas = {r
I
, i = 1, .., :} e j com o momento, j = { j
I
, i = 1, .., :}. O
conjunto destas variveis fornece a informao completa sobre o sistema.
Dependendo do sistema em questo, as coordenadas no so necessariamente
um conjunto nito de nmeros. No caso de um sistema contnuo, claro que
temos que introduzir um conjunto contnuo de variveis dinmicas. Por exemplo,
no caso da hidrodinmica, podemos especicar o estado do sistema em termos
de distribuio de densidade j(r) da matria e do campo de velocidades (r).
Neste caso, o vetor da coordenada espacial r pode ser considerado como um
ndice (contnuo) para distinguir as variveis. Este um exemplo do caso em
que o estado do sistema representado em termos de uma funo.
Existe um outro exemplo em que o estado do sistema representado por
uma funo. Quando a informao completa sobre o sistema no necessria,
3
ou talvez no possa ser obtida, conveniente usar a representao do sistema
em termos de funo de distribuio, )(, j), no espao de fase. Em outras
palavras, consideramos um conjunto (innito) de sistemas, preparados sob a
mesma condio inicial dentro da preciso permitida ou necessria. Neste caso,
estamos considerando um ensemble estatstico do sistema, onde qualquer infor-
mao fsica do sistema deve ser da natureza estatstica. Em outras palavras,
no podemos fazer nenhuma previso deterministica para um nico processo de
observao. A previso s faz sentido quando zer os valores mdios das muitas
medidas sobre os membros deste ensemble. A funo de distribuio )(, j)
especica a densidade de probabilidade para a qual o sistema em questo se
encontra no estado {, j} (portanto ) deve ser sempre no negativa). Quando
tentamos observar uma quantidade do sistema, por exemplo O = O(, j), um
nico processo de medio poderia fornecer um valor qualquer desta quantidade
devido a incerteza inerente da condio inicial. Mas, se repetimos a medida (ou
seja se medimos sobre outros membros do ensemble), o valor mdio de O deve
convergir ao valor dado por

Q =
Z
djd )(, j)Q(, j) (1)
Dentro deste contexto, a informao mxima disponvel sobre o estado do sis-
tema est contida na funo ). Ou seja, o estado do sistema representada por
)(, j). Emfatizamos aqui o fato de que toda informao representada no sen- Nota:
)(, j)
estado do
ensemble
tido estatstico, e o estado representado por ) refere-se ao estado do ensemble.
O conceito de estado quntico bem similar ao exemplo acima. O estado
quntico de um sistema denido sobre um ensemble quntico, o conjunto
(hipottico) de sistemas que so preparados sob a mesma condio. Assim,
podemos tambm representar o estado deste ensemble pela uma funo )(, j).
S que h diferenas fundamentais. Veremos posteriormente que a funo )
quntica no necessariamente positiva denida. Isto necessrio para incorporar
os fenmenos de interferncia quntica. Alm disto est funo deve incorporar
tambm a relao de incerteza entre duas variveis canonicamente conjugadas.
Na Mecnica Clssica, em princpio, no considerando as diculdades experi-
mentais que ocorre na prtica, as informaes sobre um sistema poderiam ser
completamente deterministicas em relao a e j, se. Ou seja, dependendo
da preparao do sistema, a funo de distribuio poderia ser teoricamente a
funo c de Dirac,
)(, j) = c(
0
)c(j j
0
) (2)
Neste caso, a descrio em termos de funo de distribuio ) equivalente a
descrio em termos de trajetria de partculas. Na Mecnica Quntica
1
isto
no ocorre. A informao mais precisa possvel sobre j e simultaneamente
1
A expresso, "na Mecnica" seria melhor expressa por "nos fenmenos para quais a
Mecnica Quntica deve ser aplicada".
4
dada por um pacote de incerteza mnima,
)
o
(, j) exp{c(
0
)
2

~
2
4c
(j j
0
)
2
} (3)
onde c um parmetro. Aqui, podemos ver claramente que se queremos ter a
informao precisa em relao a varivel , a informao sobre a varivel j ca
necessariamente imprecisa e vice-versa.
Assim, a Mecnica
2
Quntica s descreve a dinmica do sistema referente a
seu ensemble quntico. As previses da Mecnica Quntica so sempre prob-
abilistica; elas nunca descrevem deterministicamente o resultado de um nico
processo de medida, exceto alguns situaes particulares. O ponto fundamental
que este fato no questo de impreciso da condio inicial como no caso
da Machnica Clssica, mas oriundo da propria natureza da dinmica que
governa o mundo microscpico. Nos fenmenos clssicos, a descrio do estado
do sistema atravs de funo distribuio ) questo de uma opo pela conve-
niencia, mas no processo microscpico, no mais possvel utilizar a descrio
deterministica de trajettia de partculas.
Lembrando este fato, vamos formular matematicamente o conceito de estado
quntico.
2
Por exemplo, a medida de uma quantidade no seu autoestado. Ver a seo seguinte.
5
2 Descrio de Estados Qunticos
Para analisar o conceito bsico de descrio quntica do estado de um sistema,
vamos ver um exemplo bem conhecido da experincia de interferncia para um
feixe de partculas por duas fendas. Consideremos um arranjo experimental
como ilustrado na Fig.1.
Do lado esquerdo da gura, um feixe de partculas est entrando no an-
teparo, onde localizam-se duas fendas A e B. As partculas so detectadas por
outro anteparo, C. Depois de algum tempo de exposio, aparece um padro
que representa o acmulo de partculas numa dada regio. Este padro de in-
tensidade desenhado esquematicamente no anteparo C representa o nmero de
partculas detectadas. Vamos representar este padro em termos de uma funo
de distribuio P(x), onde x a coordenada ao longo do anteparo C. Em outras
palavras, estamos representando o estado do feixe na posio do anteparo C pela
funo P(x). Entretanto, como bem conhecido, est presente o mecanismo de
interferncia neste padro. Este mecanismo de interferncia sugere que o estado
do feixe melhor representado em termos de amplitude da intensidade do que
pela intensidade em si. Isto bem comum nos fenmenos ondulatrios em geral.
Assim, associamos ao estado do feixe uma funo (complexa) c(r), que repre-
senta a amplitude da intensidade do feixe na posio r. A regra para se obter o
padro de interferncia exatamente igual ao caso da interferncia entre ondas
usuais. Por exemplo, seja c
.
(r) a amplitude correspondente ao estado do feixe
quando apenas a fenda A aberta e c
1
(r) para o caso contrrio. Ento, a
amplitude para o estado em que ambas as fendas esto abertas a superposio
destas amplitudes,
c
.+1
(r) = c
.
(r) +c
1
(r) (4)
e o padro de interferncia na intensidade surge atravs da frmula usual,
1
.+1
(r) = |c
.
(r) +c
1
(r)|
2
= 1
.
(r) +1
1
(r) + 2<c{c
.
(r)

c
1
(r)}
(5)
como bem conhecido. O ltimo termo da equao acima o termo de inter-
ferncia.
Neste exemplo, o estado do feixe de partculas descrito em termos de
uma funo que representa a distribuio da amplitude de intensidade. At
aqui, na verdade no h nada de novo comparado ao caso de uma onda, seja
eletromagntica, seja acstica. O fenmeno de interferncia originado pelo
existncia de duas fendas, que pelo Princpio de Huyghens funcionam como
duas fontes. Assim, para um feixe contnuo formado de inmeras partculas,
o fenmeno de interferncia para a experincia de duas fendas parece at bem
natural. Neste caso, a propriedade ondulatria tem origem num fenmeno co-
letivo destas partculas. O aspecto mais intrigante do fenmeno quntico que
6
esta propriedade ondulatria no pode ser considerado como a consequncia de
efeito coletivo de muitas partculas. Isto fcil de vericar fazendo a intensidade
de feixe bem baixa, de forma tal que enquanto uma partcula atravessa o an-
teparo, nenhuma outra partcula o faa. Nesta situao, a deteo de partculas
seria feita uma a uma. Cada partcula marcaria um ponto bem localizado no
anteparo C, reetindo sua propriedade corpuscular. Nestes processos de deteo
de partculas uma a uma (evento por evento), no h espao para imagem de
ondas. A imagem ondulatria emerge quando repetimos este processo de de-
teo evento por evento e olhamos o resultado estatisticamente. Uma anlise
estatstica necessria, pois mesmo que cada lanamento das partculas seja
feito sob condio idntica, o resultado da cada medida de r utua. Esta utu-
ao intrnseca da dinmica da partcula e no pode ser reduzida apenas por
melhoramento de aparato experimental.
Agora, quando repetisse este tipo de medio de partcula do feixe
3
e super-
pondo todas as resultados, vemos que o padro da interferncia 1(r) seja read-
quirida. Nesta situao, cada medio de partcula pode ser considerada comple-
tamente independente das outras, e assim jamais podemos interpreter o aspecto
ondulatrio do padro da intensidade como a consequncia de mecnismo co-
operativo de mutias partculas. Neste caso, a funo 1(r) deveria interpretada
como a distribuio de probabilidade do que a intensidade do feixe (ensem-
ble quntico). Consequentemente a funo c(r) agora seria a amplitude de
probabilidade para qual a partcula do feixe ser encontrada na posio r se a
medio de posio da partcula for feita. Mas, independente da interpretao,
esta amplitude sem dvida representa o estado deste ensemble.
O outro aspecto importante dos fenmenos qunticos que o estado de uma
partcula aps da medida de sua posio r j no mais aquele que ela estava
antes da medio. Logo aps da medio, o estado desta partcula o estado
localizado na posio r, e nada mais. Em geral uma medio de qualquer ob-
servvel pode alterar de forma profunda o estado do sistema em questo
4
. Por
isto, no h sentido de falar em trajetrio de uma patcula na Mecnica Qun-
tica. Pois, o conceito de um trajetrio implica a sucesso contnua de medio
de localizao em tempo de uma nica partcula. Por outro lado, se zermos
as experincias de medida sobre, por exemplo, o momento j na direo paralelo
a anteparo C em vez de medir a posio r, podemos construir a amplitude de
probabilidade c(j) para esta quantidade. A questo que se esta nova ampli-
tude fornece a outra informao alm daquela contida na c(r) sobre o estado
ou no. A resposta NO. Se uma vez tendo a amplitude de probabilidade em
r, c(r), a amplitude em j pode ser obtida pela mera transformao de Fourier,
c(j) =
1

2~
Z
drc
I
o
~
c(r) (6)
3
Nesta situao, a palavra "feixe" no bem adequada. Estamos considerando um conjunto
de experincias com patculas sob a mesma condio inicial, i.e., o ensemble quntico.
4
Como o processo de medida altera o estado do sistema o tema constante do fundamento
da Mecnica Quntica. Discutiremos mais diante alguns aspectos de teoria de observao
moderna.
7
e vice-versa. A equao acima indica que as funes c(r) e c(j) no so in-
dependente
5
. Ou seja, as ambas amplitudes representam o mesmo estado com
mesmo p da igualidade.
Aqui, revisamos alguns aspectos representativos da natureza de um estado
quntico, utilizando esquematicamente a experincia de interferncia por duas
fendas. Para formular numa linguagem mais rigorosa para representar o estado
quntico, vamos resumir os resultados da experincia acima:
1. Uma srie de medio de uma quantidade sobre um ensemble estatstica
de um sistema podem utuar em valores, fornecendo uma distribuio,
mesmo que os sistemas estejam preparados de forma idntica.
2. Esta utuao intrinseca do processo quntico. Assim, o conceito de
estado do sistema refere sempre ao ensemble do sistema (ensemble qun-
tico). Ao mesmo tempo, um observvel no sera caracterizada por apenas
um nmero, mas sim pelo conjunto de todos os nmeros possveis a ser
observados em potencial.
3. O estado de um sistema representado pela amplitude de probabilidade
de um observvel do sistema.
4. Para amplitudes, vale a Princpio de Superposio. Ou seja, se c
1
e c
2
so amplitudes correspondentes, a combinao linear destas amplitudes
corresponde para um estado.
5. As duas amplitudes para observveis canonicamente conjugadas no so
independentes. Elas so relacionadas em termos de transformao de
Fourier.
Os itens acima so as bases conceituais para formular o conceito de um
estado quntico. Vamos postular o conceito a seguir.
Denio Chama-se de conjunto completo de observveis o conjunto de todas
as obsevveis indenpendentes cuja medio no interfere entre si. Por ex-
emplo, se o sistema em questo uma partcula sem spin, o conjunto com-
pleto de observveis {r, j, .}. Entretanto, h outra maneira de escolher
este conjunto. Podemos escolher o cojunto completo de observveis como
{j
r
, j

, j
:
}. Tambm pode ser
n
1,

1
2
, 1
:
o
. Naturalmente o nmero mn-
imo dos elementos deste conjunto independente da escolha, ou seja,
quantidade intrinseca do sistema.
Postulado 1 O conjunto de todos os estados qunticos de um sistema forma
um espao vetorial separvel e completo (espao de Hilbert, ver a seo a
seguir). Denotamos os elementos deste espao por |c onde o smbolo c
o ndice que especica o estado. Dois vetores linearmente dependentes
5
Note que esta equao a generalizao da relao de deBroglie.
8
representam o mesmo estado. Neste espao, est denido o produto escalar
de dois vetores, digamos |c e |c , que denotamos por < c|c .
Postulado 2 Uma oberservvel corresponde a um operador hermitiano deste
espao, cujos autovalores so os valores que se encontram nos processos
de medio desta observvel.
Postulado 3 O conjunto de todos autovetores das observveis completas do
sistema formam uma base deste espao.
Postulado 4 Seja o conjunto {|c
I
} autoestados normalizados de um ob-
servvel , com que expressamos qualquer vetor |c pela combinao
linear em {|c
I
},
|c =
X
c
I
|c
I
, (7)
onde
c
I
= hc
I
| ci.
Na medio da observvel , a probabilidade de obter um autovalor c
0

dada por
|c
0
|
2
= |hc
I
| ci|
2
.
O postulado no.1 a consequncia direta do Princpio de Superposio. A
natureza matemtica do espao de Hilbert necessria para que a normalizao
da probablidade e denio de observveis. Os postulados 2 e 3 representam
a idia de que todas as informaes contidas num estado de sistema devem ser
expressas em termos do processo de medidas fsicas das observveis. A condio
da hermiticidade dos operadores , alm de ter ortogonalidade entre autovetores,
para garantir que os valores observados de uma quantidade fsica nmeros
reais. No exemplo anterior da experincia de duas fendas, os autovalores da
observvel A so os valores das coordenadas r que encontram-se em cada medida
de posio. Os autoestados do A so os estados das partculas localizados
na posio r. Os processos de medio de A determinam completamente a
informao sobre o estado do sistema.
O postulado 4 dene a interpretao de um estado quntico em termos da
amplitude de probabilidade.
Utilizando estes postulados, podemos ver que o valor mdio dos valores obti-
dos numa srie de medidas de uma observvel, digamos O, dado por
< O =< c|O|c . (8)
onde o estado deste ensemble quntico do sistema representado por |c .
Prova: Pelo que foi postulado, quando um processo de medida de um observvel
O for realizada, encontrariamos um autovalor o
I
da observvel O e o sis-
tema que foi medida torna no autoestado do O deste autovalor,
|o
I
.
9
A amplitude de probabilidade para este acontece dada por
c
I
=< o
I
|c
e a probabilidade
1
I
= |c
I
|
2
.
Repetindo o processo da medida para o ensemble inicial cujo estado
descrito por |c , o valor mdio da obervvel obviamente
< O =
X
I
o
I
1
I
=
X
I
o
I
| < o
I
|c |
2
=
X
I
< c|o
I
o
I
< o
I
|c
=< c|O|c .
onde na penltima linha acima utilizamos a expresso de operador na base
de seus autovetores, i.e.,
O =
X
I
|o
I
o
I
< o
I
| .
Enfatizamos que as medies se referem aqui devem ser feitas sobre o ensem-
ble do sistema, mas no sobre o mesmo sistema que acabou de ser medida. No
exemplo da experincia de duas fendas, so as medidas sobre s partculas do
feixe e no sobre a partcula j detectada no anteparo C. Por outro lado, se zer-
mos as medidas sucessivas sobre a partcula que j encontrado numa posio r,
esperamos naturalmente que as medies sucessivas vo apenas conferir o valor
j obtido, se a dinmica posterior no altera a localizao da partcula. Em
outras palavras, no processso da medio do observvel O sobre o sistema cujo
estado j o autoestado deste observvel com autovalor o
I
, o valor que a ser
encontrado ser semple o
I
, sem nenhuma utuao. Vamos denir um operador
O
2
(O < O )
2
(9)
que representa a disperso dos valores da medio do O. Para um estado |c
qualquer, o valor esperado deste operador
< O
2
=< c|O
2
|c
=
X
I
(o
I
< O )
2
|c
I
|
2
que a dispero mdia quadrada da distribuio, 1
I
. Se |c um dos autove-
tores do O, |o
I
0
, a dispero mdia quadrada ca obviamente,
< O
2
= 0
10
pois c
I
= 0 para as todas i, exceto c
I
c
= 1. Isto , uma medio da observvel O
com certeza resultar no valor o
I
c
. Podemos provar tambm o inverso, ou seja,
o estado para que o valor esperado de operador de dispero, Eq.(9), ca nulo
necessriamente um dos autoestado do operador.
11
3 Alguns Elementos Matemticos
3.1 Espao Vetorial, Espao de Hilbert
Um conjunto V ={|r , |j , ...} dito um espao vetorial se satisfaz s seguintes
propriedades:
1. Est denida a adio entre dois elementos do conjunto, i.e.,
|r , |j V,
|. = |r + |j V
Esta regra de adio satisfaz s seguintes condies
6
,
Comutatividade,
|r +|j = |j +|r
Associatividade,
(|r +|j ) + |. = |r +(|j +|. )
Existe o elemento nulo
7
, ou seja
0 V
tal que
|r V
|r +0 = |r
Existe o inverso,
|r V
| r V
tal que
|r +| r = 0
Por razo bvia, denotamos | r por |r .
2. Est denida a multiplicao entre um nmero (elemento de um corpo, C
8
)
e um elemento de V tal que
6
O conjunto com esta operao de adio forma um grupo abeliano.
7
Para o elemento nulo, utilizamos a notao 0 em vez de |0 .
8
Aqui, tomamos o corpo como o conjunto de nmeros complexos.
12

c C, |r V
|j = c|r V
Esta multiplicao satisfaz s seguintes propriedades:
Distributividade;
c(|r +|j ) = c|r +c|j
Associatividade;
(c,)|r = c(,|r )
Denio Os : vetores |r
I
de V so ditos linearmente independentes quando
existem os nmeros c
I
s no nulos que satisfazem relao,
X
I
c
I
|r
I
= 0
Denio O nmero mximo de vetores linearmente independentes de um es-
pao vetorial chamado a dimenso do espao. A dimenso de um espao
pode ser innita. Um conjunto de vetores dito uma base, se qualquer ve-
tor do espao escrito em termos de uma combinao linear dos elementos
deste conjunto.
3.2 Produto Escalar, Espao Dual
Num espao vetorial, possvel denir um produto escalar. Um produto escalar
uma associao de um par ordenado de vetores (|r , |j ), |r , |j V,
ao elemento do Corpo C (nmero complexo), satisfazendo s seguintes regras:
1.
(|r , |j ) = (|j , |r )

,
2.
(|r , |j +|. ) = (|r , |j ) + (|r , |. ),
3.
(|r , c|j ) = c(|r , |j ),
4.
(|r , |r ) 0,
sendo a igualdade vlida somente para |r = 0.
13
Na notao do Dirac, o produto escalar expresso como
< r|j (|r , |j ).
Quando o produto escalar entre dois vetores nulo, dizemos que os vetores so
ortogonais.
Numa linguagem coloquial, muitas vezes dizermos tomar o produto es-
calar dos vetores |r e |j . O ato de tomar o produto escalar de um dado
|r com |j qualquer do espao V, ou seja sem ser especicado, considerado
um funcional
9
linear no espao V. Podemos representar este funcional simboli-
camente por < r|. fcil de vericar que o conjunto de todos estes funcionais,
{< r|, |r V}, forma um espao vetorial. Chamamos este espao de o espao
dual do V e denotamos por V

. O elemento de V

, < r|, o vetor dual do vetor

|r V e denotamos esta relao por
< r| = |r

.
A denio de produto escalar permite a introduo de noes de norma de
um vetor e distncia entre dois vetores. A norma de um vetor |r dado por
(< r|r )
1/2
e denotada por k |r k. A distncia d(|r , |j ) entre |r e|j
denida por
d(|r , |j ) k |r |j k
Partindo do conceito de distncia, podemos introduzir as noes de topolo-
gia do espao, tais como a completeza, fechamento, etc. Estes conceitos so
importante para analisar as propriedades de vrias quantidades utilizadas, em
particular, a convergncia dos limites, integrais, etc. Entretanto, aqui no dis-
cutiremos estes aspectos matemticos; lembramos apenas que o espao que uti-
lizamos para estados qunticos o espao de Hilbert que uma extenso natural
do espao Euclidiano. Um espao de Hilbert um espao vetorial que satisfaz
s seguintes propriedades:
1. Ele completo, i.e., o critrio de convergncia de Cauchy para srie de
vetores vlido. Ou seja, uma srie de vetores {|r
1
, |r
2
, . . . } converge
ao vetor |r se exite (c) tal que k |r
n
|r
n
k < c para c 0,
desde que :, : .
2. Ele separvel. Ou seja, para qualquer elemento de \ , sempre existe uma
srie {|r
1
, |r
2
, . . . } que converge a ele.
Esta ltima propriedade equivalente a dizer que existem bases de elementos
numerveis. Estas duas propriedades so importantes para evitar as quantidades
mal denidas matematicamente. Entretanto, nas aplicaes em fsica, necessi-
tamos frequentemente de estados que no so representados por elementos de
9
Funcional=Mapeamento de V em C.
14
um espao de Hilbert. Nestas situaes, precisamos alguns cuidados especiais
para garantir os bons comportamentos de quantidades denidas (por exemplo,
o estado de onda plana).
3.3 Operadores
Um operador uma mapeamento de um vetor em outro vetor,
|r |r
0
= O|r .
Aqui consideramos somente os operadores lineares, satisfazendo distributivi-
dade
O(|r +|j ) = O|r +O|j .
Um exemplo de operador |r < j|, denido por
(|r < j|)|c |r (< j|c ) =< j|c |r , |c V
O operador identidade o operador que mapeia qualquer vetor nele mesmo.
Denotamos o operador identidade por 1, sem criar confuso.
Exerccio: (Relao de Completeza) Demonstrar que
X
I
|r
I
< r
I
| = 1 (10)
se {|r
I
} uma base ortonormal, i.e., < r
I
|r

= c
I
.
A relao de completeza, Eq.(10) til para representar vetores em termos
da base. Seja |c um vetor arbitrrio. Ento,
|c =

X
I
|r
I
< r
I
|
!
|c
=
X
I
|r
I
< r
I
|c
=
X
I
c
I
|r
I
(11)
onde c
I
=< r
I
|c .
O produto de dois operadores naturalmente denido por
(O
1
O
2
)|r O
1
(O
2
|r ), |r V
Desta forma, claro que em geral o produto dos operadores no comutativo,
O
1
O
2
6= O
2
O
1
.
15
A quantidade < c|O|c (|c , O|c ) dita o elemento de matriz de um
operador O entre |c e |c . Podemos introduzir a conjugao hermitiana de
um operador, denida atravs da relao,
(O

|c , |c ) (|c , O|c ), |c , |c V
Um operador O chamado hermitiano se
O

= O
3.4 Especro Contnuo, Funo , Distribuies
At aqui, tratamos o caso em que todos os ndices que distinguem vetores so
discretos. Entretanto, precisamos frequentemente os casos de autovalores con-
tnuos. Por exemplo, o autoestado de posio |r tem o ndice contnuo r.
Neste caso, natural substituir a expresso correspondente a Eq.([?]) pela
|c =
Z
dr|r < r|c

Z
dr |r c(r) (12)
onde c(r) chamado a funo de onda,
c(r) =< r|c . (13)
Da primeira linha da Eq.([?]), vemos que estamos introduzindo a relao de
completeza por
Z
dr |r < r| = 1
< i|, = c
I
ca escrita por
< r|r
0
= c(r r
0
) (14)
e a relao de completeza,
X
I
|i < i| = 1
ca A funo c de Dirac na Eq.(25) uma distribuio, e no uma funo
normal no sentido de atribui um valor nmerico para dado valor de argumento.
Matemticamente uma distribuio uma funcional linear denida no espao
de funes bem comportadas ( funoes que pertencem a C

com suporte nito)

como formulado pelo L.Schwarz. Naturalmente todas as funes normais so
distribuies. Denotando pelo simbolo a operao de funcional linear numa
funo bem comportada c(r), o caso de c de Dirac ca
c c = c(0) (15)
16
Na fsica, usual espressar esta operao como
Z
drc(r)c(r) = c(0)
permitindo a imagem intuitiva de funo c como uma funo normal que tem um
pico agudo emr = 0 cuja rea normalizada por 1. Entretanto, h vrias limites
que convergem a c. Em geral, o valor de uma distribuio num ponto, digamos
r = r
0
no teria sentido. Entretanto, possvel dizer que uma distribuio )
nula numa visinhana 1 do ponto r = r
0
, ou seja, para todas as funes bem
comportadas que somente no nula dentro desta visinhana 1,
) c = 0.
4 Regra de Comutao Cannica
Na Mecnica Quntica, as variveis fsicas so postuladas como sendo oper-
adores. Sendo operador, o papel que um observvel transformar um estado
fsico do sistema em outro estado. Mas em que forma um observvel transforma
um estado de sistema? Na Macnica Clssica, o papel que o momento canonica-
mente conjugado a variavl dada como a gerador de transformao cannica
de deslocamento. Na Macnica Quntica, denimos o operador de momento
de tal forma que a situao a mesma no caso da Macnica Clssica. A rgra
de comutao cannica justamente introduzido para satisfazer este requisito.
Vejamos este contedo em seguida.
4.1 Operador de momento, Onda Plana
Segundo deBroglie, uma partcula com momento j associada a uma onda plana
com nmero de onda / = j,~. Em outras palavras, a funo de onda de uma
partcula com momento j uma onda plana,
c

(r) = c
Ir/~
Por outro lado, o estado de momento bem denido o autoestado de momento
com autovalor j, |j . Portanto,
< r|j = c
Ir/~
A pergunta , o que a forma do operador de momento nesta base? Para
responder esta questo, comeamos a denio de autoestado de momento,
1|j = j|j
17
onde 1 o operador de momento. Tomando o produto escalar desta equao
com o autoestado de posio, |r , e substituindo a relao de completeza em
r
0
, temos
Z
dr
0
< r|1|r
0
c
Ir
0
/~
= j c
Ir/~
=
~
i
d
dr
c
Ir/~
Assim, temos
< r|1|r
0
=
~
i
d
dr
c(r r
0
) (16)
Para qualquer estado |c ,
< r|1|c =
Z
dr
0
< r|1|r
0
< r
0
|c
=
Z
dr
0
~
i
d
dr
c(r r
0
)c(r
0
)
=
~
i
d
dr
c(r)
mostrando a regra de substituio para operador de momento,
1
~
i
d
dr
atuando no espao de funo de onda.
O operador de momento na Eq.(16) espresso na forma de elemento de
matriz na base de r. Para obter a expresso independente da base, vamos
utlizar a completeza em r e r
0
.
Z
dr
Z
dr
0
|r < r|1|r
0
< r
0
| = 1
=
Z
dr
Z
dr
0
|r
~
i
d
dr
c(r r
0
) < r
0
|
Consequentemente,
1 =
Z
dr|r
~
i
d
dr
< r| (17)
Esta a representao de 1 na base em que r diagonal. Usando a denio
de derivada,
1 =
~
i
lim
t0
Z
dr|r
< r +c| < r|
c
Assim, podemos concluir que
|r +c = (1 +
i
~
c1)|r (18)
18
Ou seja, o operador (1 +
~
I
c1) desloca innitesimalmente o autovetor |r
em |r + c . Para o deslocamento nito, podemos repetir o deslocamento
innitesimal,
|r +a = lim
t0
(1 +
i
~
c1)
o/t
|r = c
Io1/~
|r (19)
Aqui, o operador e
Io1/~
unitrio. Note que este operador unitrio transforma
todos autoestados de posio |r em |r
0
= |r +a . Isto equivale a mudana
do sistema de coordenadas espacial, transladando-o por a homogeneamente na
direo r. O operador e
Io1/~
representa o efeito no espao de Hilbert, causado
pela tal transformao de coordenadas r. O operador de momento 1 chamado
o gerador de transformao. Mais especicamente, o momento o gerador de
translao de coordenada. Este pode ser visto tambm da seguinte forma usando
Eq.(17)
< r|c
Io1/~
|c = c
o
d
do
c(r) = c(r +a)
4.2 Comutador
O operador 1 no diagonal na base {|r } como pode ser visto da Eq.(17).
Isto sugere que 1 no comuta com A, operador de posio. Podemos calcular
o cumutador destes operadores.
[1, A] = 1A A1 =
=
~
i
Z
dr

|r
d
dr
< r|A

A|r
d
dr
< r|

=
~
i
Z
dr

|r
d
dr
< r|r

r|r
d
dr
< r|

=
~
i
Z
dr|r < r| =
~
i
Assim, obtemos a regra de comutao cannica bem conhecida entre momento
e coordenada,
[1, A] =
~
i
(20)
Aqui, deduzimos Eq.(20) como a consequncia da armao do deBroglie que
relacione a onda plana com o estado de particula com momento bem denid.
Entretanto, podemos inverter o argumento. Isto , partindo da Eq.(20), dodas
os resultados sobre o operador de momento 1, inclusive a onda plana como seu
autoestado podem ser obtidas. De fato, postular a regra de comutao Eq.(20)
muito mais geral do que formular a Mecnica Quntica partindo de onda plana.
Assim postulamos:
19
Postulado: Os operadores 1 e Q que correspondem a par de varivel canni-
camente conjugadas satisfazem a regra de comutao cannica,
[1, Q] =
~
i
.
4.3 Um pouco de Mecnica Clssica
O papel de momento como gerador de translao em coordenada j conhecido
na Mecnica Clssica. Vamos fazer uma pequena reviso da Mecanica Clssica,
para estabelecer a correspondncia com a Mecnica Quntica.
Seja {
1
, j
1
} um par de variveis canonicamente conjugadas. Na Mecnica,
podemos fazer a transformao de variveis
10
,
{
1
, j
1
} {
2
, j
2
} , (21)

2
= )(, j),
j
2
= q(, j).
(22)
Dentro de vrias possibilidades, uma classe de transformaes que satisfaz a
propriedade de preservar a forma estrutural da equao de Hamilton. Esta
classe de transformaes chamada a transformao cannica. Se a Eq.(21)
a transformao cannica, os novos variaveis devem satisfazer,
{), q}
j,
= 1
onde
{), q}
j,

0)
0
0q
0j

0q
0
0)
0j
a parentse de Poisson. Como a parentse de Poisson no depende de escolhe
de variveis cannicas para calcular as derivadas do lado direito da equao
acima, podemos abreviar os subndices da parentse. Dentro de transformao
cannica, podemos ainda considerar uma subclasse, a transformao cannica
contnua. Para transformao cannica contnua, existe um ou mais que um
parmetros contnuos.
(c) = )(j
1
,
1
; c)
j(c) = q(
1
, j
1
; c)
Sem perder a generalidade, podemos escolher c = 0 para transformao de
identidade. Por denio, os e j com todos valores intermedirios de c tambm
as variveis cannicas. A condio em que est srie de variveis sejam cannicas
que exista uma funo G(, j) tal que
d(c)
dc
= {, G} ,
dj(c)
dc
= {j, G} (23)
10
A transformao pode depender do tempo t. Mas aqui por simplicidade, consideramos o
caso que no depende do tempo.
20
A funo G chamada a funo geratiz (ou gerador, por simplesmente) da trans-
formao contnua. Por exemplo, se escolher G como a Hamiltoniana do sistema
e identicando c como tempo t, Eq.(23) se torna a equao de movimento de
Hamilton. Ou seja a Hamiltoniana gerador de transformao cannica que
transforma o conjunto de variveis {, j} num instante em conjunto de variveis
canonicamente conjugadas de outro instante. Agora, se escolhemos G = j, ento
d(c)
dc
= {j, } = 1
dj(c)
dc
= {j, j} = 0
Ou seja
(c) = (0) c
j(c) = j(0)
mostrando a translao de coordenada por c. Isto , o momento j o gerador
da translao em .
4.4 Relao de Incerteza, Pacote de Incerteza Mnima
Formular a Mecnica Quntica partindo o postulado de regra de comutao
cannica as vezes referido Quantizao Cannica. Nele, a relao de comutao
entre duas variveis cannicamente conjugadas atribui uma desta varivel a
propriedade como sendo o gerador de translao em outra. Ponto de vista
matemtico, a no comutatividade de duas observveis implica no existncia de
uma base em que simultaneamente diagoniza ambos os operadores. Fsicamente,
no podemos fazer a medio simultnea destas observveis com a preciso
arbitrria. Para ver a relao de incerteza quantitativamente, vamos introduzir
os operadores que representa as utuaes de valores observadaos de Q e 1,
Q = Q < Q
1 = 1 < 1
(24)
Para qualquer estado |c V, podemos denir os vetores,
|Q = (Q < Q )|c
|1 = (1 < 1 )|c
(25)
Com estes vetores, podemos escrever os valores esperados de quadradas dos
operadores de utuaao Eq.(24),
< Q
2
=< c|(Q < Q )
2
|c =< Q|Q =k |Q k
2
< 1
2
=< c|(1 < 1 )
2
|c =< 1|1 =k |1 k
2
Por outro lado, pela desigualdade de Schwartz, temos
k |Q k
2
k |1 k
2
|< Q|1 |
2
= |< c|Q1|c |
2
(26)
21
O produto Q1 pode ser re-escrito como
Q1 =
1
2
[Q, 1] +
1
2
{Q, 1}
onde [, ] comutador e {, } anticomutador. Da regra de comutao cannica,
o comutador simplesmente i~. O anticomutador um operador hermitiano,
portanto o seu valor esperado 1 =< c|{Q, 1} |c um nmero real. Assim,
podemos escrever
|< c|Q1|c |
2
=

1
2
(1+i~)

2
=
1
4
(1
2
+ ~
2
)
1
4
~
2
onde o sinal de igualdade vale somente para 1 = 0. Substituindo a equao
acima em Eq.(26), concluimos que
< Q
2
< 1
2

1
4
~
2
(27)
que a relao de incerteza.
A deduo acima da relao de incerteza particularmente interessante, pois
podemos investigar qual o estado que otimiza as incertezas em e j. O sinal
de igualdade na Eq.(27) vlido somente para o estado |c
c
que satisfaz
< c
c
| {Q, 1} |c
c
=< c
c
|Q1 +1Q|c
c
= 0, (28)
e
1|c
c
= cQ|c
c
. (29)
onde c constante (ver o exerccio sobre a desigualdade de Schwartz). Substi-
tuindo a segunda equao na primeira, temos
(c +c

) < c
c
|Q
2
|c
c
= 0
que indica que c pura imaginria. Ao mesmo tempo, tomando o valor experado
em |c
c
os dois lados da relao de comutao,
< c
c
| [Q, 1] |c
c
= (c c

) < c
c
|Q
2
|c
c
= i~
concluimos que c um nmero imaginrio positivo. Assim, podemos escrever
c = i
2
onde c um nmero real. Resubstituindo este resultado na Eq.(29), o estado
que otimiza a incerteza deve satisfazer
(1 iQ)|c
c
= 0
ou equivalentemete,
(1 iQ)|c
c
= ( j i )|c
c

22
onde j =< 1 e =< Q . conveniente denir o operador (no hermitiano)
a por
a =
1

2~
(1 iQ) (30)
e seu conjugado hermitiano,
a

=
1

2~
(1 +iQ) (31)
que so chamados operadores de aniquilao e criao. Assim, a condio para
o estado de incerteza mnima escrita por
a|c
c
= c|c
c
(32)
onde escrevemos j i = c.
A relao de comutao entre Q e 1 traduzida em termos de operadores
a e a

como

a, a

= 1
Partindo desta relao de comuta, podemos determinar as propriedades de
operadores a e a

.
1. Em primeiro lugar, denimos o operador ,
= a

a
Prove que para qualquer estado, o valor esperado deste operador
no negativo. Com isto, conclua que os autovalores de no
negativo.
2. Mostre que os comutadores entre , a e a

cam
[, a] = a,

, a

= a

3. Seja |: um autovetor de ,
|: = :|:
Mostre que se no for
a|: = 0,
ento necessariamente
a|: = c|: 1
4. Assim, argumente que para qualquer autovalor : de , tem que
existir um inteiro / tal que
a
|+1
|: = 0
ou seja,
a|: / = 0
23
5. Prove que
: / = 0
6. Conclua que todos autovalores de so inteiros no negativos, ou
seja : = 0, 1, 2, ......, ..
7. Demostre que
a|: =

:|: 1 ,
a

|: =

: + 1|: + 1
8.
|: =
1

:!

n
|0
onde
a|0 = 0
Estas propriedades so sucientes para resolver o nosso problema Eq.(32).
Expandindo o vetor |c em termos de |: (normalizado)
|c
c
=

X
n=0
c
n
|:
e substituindo na Eq.(32) e utlizando a propriedade acima, temos

X
n=1
c
n

:|: 1 =

X
n=0
cc
n
|:
Sendo os |:
0
s linearmente independentes, temos a frmula de recorrncia para
os coecientes:
c
n+1
=
c

: + 1
c
n
=
c
n+1
p
(: + 1)!
c
0
Com isto,
|c
c
= c
0

X
n=0
c
n

:!
|: (33)
onde c
0
determinado pela condio de normalizao, < c
c
|c
c
= 1,
c
0
= c
|o|
2
/2
a fora de um fator de fase. O estado |c
c
chamado o estado coerente.
interessante calcular a funo de onda do estado coerente. Para isto, mais
conveniente utilizar Eq.(32) do que calcular o produto escalar direto da Eq.(33)
com o autoestado de Q, < |. Da Eq.(32), temos
< |a|c
c
= c < |c
c

24
Ou seja,
~
i
dc
c
()
d
ic
c
() = ( j i )c
c
()
que pode ser fcilmente integrada por
c
c
() = Co::t.c

1
2
(j j)
2
/~+I j/~
(34)
que uma pacote de onda de forma Gaussiana concentrada no valor mdio ,
modulada com a fase e
I j/~
. Assim, o estado coerente as vezes referido como
a pacote Gaussiana.
4.5 Completeza dos Estados Coerentes
Um estado coerente especicado com trs parmetos reais, , j e . Para
explicitar este fato, vamos introduzir a notao,
|c
c
| , j;
J vimos que a funo de onda deste estado uma Gaussiana tanto em como
em j. Ou seja o estadao | , j; representa uma pacote Gaussiana no espao
de fase, centralizado no ponto { , j}. Assim, podemos esperar que o conjunto
de todos estes vetores,{| , j; }, varrendo , j todo o espao de fase, xando
uma base completo, pois qualquer estado deve ser representado pela super-
posio destes estados. De fato, podemos vericar que
1
2~
Z
d d j | , j; < , j; | = 1. (35)
Com isto, qualquer estado, |c pode ser escrito por
|c =

1
2~
Z
d d j | , j; < , j; |

|c
=
1
2~
ZZ
d d j | , j; c( , j; )
onde c( , j; ) < , j; |c a funo de onda do estado no espao de fase.
Veremos algumas aplicaes desta funo de onda numa esquema de aproxi-
mao semiclssica e no campo mdio.
O produto escalar, <
0
, j
0
; | , j; no o produto de funes de c em
e j. Ou seja, exite sempre interseo no nula entre dois estados coerentes. Isto
implica que os vetores {| , j; } com , j varrendo todos os pontos do espao
de fase no so linearmente independentes. Isto fcil de ver pela equao,
| , j; =
1
2~
Z
d
0
d j
0
|
0
, j
0
; 1(
0
, j
0
, , j; ).
25
onde
1(
0
, j
0
, , j; ) <
0
, j
0
; | , j;
Isto , um vetor de estado coerente pode ser expresso pela combinao linear de
outros estados.
5 Sistemas com Mais de Uma Grau de Liber-
dade
5.1 Espao de Produto Direto
Quando um sistema possui mais que uma grau de liberdade, precisamos intro-
duzir o conceitode espao de produto direto. Suponha que um sistema tenha
2 graus de liberdades. Vamos denotar cada um dos espaos de Hilbert que de-
screve os estados em relao primeira e segunda graus de liberdade por \
1
e
\
2
, respectivamente. Sejam
n
|c
(1)
I

o
e
n
|c
(2)
I

o
bases ortonormal do espao
\
1
e \
2
, respectivamente. O espao de produto direto, \ = \
1
\
2
o espao
formado pelas todas as combinaes lineares de vetores |c
(1)
I
|c
(2)
I
, onde
o produto direto de vetor |c
(1)
I
|c
(2)
I
um par ordenado que satisfaz as
seguintes propriedades:
1.
c

|c
(1)
I
|c
(2)
I

=

c|c
(1)
I

|c
(2)
I
= |c
(1)
I

c|c
(1)
I

onde c um elemento do Corpo.

2.

|c
(1)
I
|c
(2)
I

=

|c
(1)
I

|c
(2)
I

1

|c
(1)
I
|c
(2)
I

= |c
(1)
I

1|c
(2)
I

onde e 1 so os operadores nos espaos \

1
e \
2
, respectivamente. Para
explicitar a propriedade acima, utilizamos tambm a notao para op-
eradores
11
. Por exemplo, 1, 1 1 1, etc. Desta forma,
1

|c
(1)
I
|c
(2)
I

=

|c
(1)
I

1|c
(2)
I

(36)
fcil de vericar que os operadores entre dois espaos diferentes sempre
comutam. Assim, se e 1 forem os observveis completos dos espaos \
1
e
\
2
, respectivamente, os autovetores simultneos de e 1 formam uma base do
espao total \ . Sejam |a
I
\
1
e |/

\
2
os autovetores de e 1 com
11
Por simplicidade, podemos abreviar a notao quando no tem perigo de confuso.
26
autovalores a
I
e /

, respectivamente. Entao, podermos escrever o autovetor

simultneo |a
I
, /

por
|a
I
, /

= |a
I
|/

e por denio qualquer estado |c \ pode ser expandido em termos destes
vetores:
|c =
X
I,
C
I
|a
I
|/

(37)
Se {|a
0
I
} e

|/
0

so outras bases de \
1
e \
2
, respectivamente, e |c \
um vetor qualquer expresso nestas bases,
|c =
X
I,
C
0
I
|a
0
I
|/
0

o produto escalar entre |c e |c denido por
< c|c =
X
I
X
|l
C
0
I
C

|l
< a
0
I
|a
|
< /
0

|/
l
. (38)
A condio de normalizao do vetor |c implica
X
I
|C
I
|
2
= 1 (39)
Note que um estado geral em \ no possvel decompor como um produto
direto de vetores de \
1
e \
2
. Isto possvel somente quando
C
I
= r
I
j

.
Quando existem mais que um autovetor linearmente independentes para um
autovalor de um observvel, dizermos que h degenerncia e que o autovalor
degenerado. Fscamente falando, a existncia de degenerecncia no espectro
de um observvel uma manifestao de outros graus de liberdade indepen-
dentes deste observvel. Enretanto, o aparecimento de degenerecncia no
sempre associado forma de produto direto dos espaos pertencentes cada
graus de liberdade. Por exemplo, para uma partcula no espao tridimensional,
os autovalores de um dos componentes do momento ou coordenada sempre
degenerado. Isto porque, todos os componentes de momento ou coordenadas
so independentes de outros. Entretanto, para o momento angular, os tres com-
ponentes do momento angular no comutam entre si, mostrando que eles no
so independependentes de forma que o estado descrito como o produto direto
de seus autoestados. Discutiremos isto em detalhe na Captuoo de Simentria na
Mecnica Quntica.
27
5.2 Estado Misto, Matriz de Densidade
At agora, os estados qunticos que consideramos correspondem o caso ideal-
izada em que os estados so completamente especicados atravez de medidas
sobre o conjunto comleto de observveis do sistema. Estes estados sempre cor-
respondem vetores no espao de Hilbert j consideramos e so chamados de
estados puros. Entretanto, numa situao realistica, isto no sempre o caso.
Muitas vezes, as diculdades experimentais no permitem denir um estado
puro quntico. Em particular, para um sistema no isolado que tem a interao
com seu envoltrio, mesmo que o sistema esteja preparado numa condio ini-
cial de estado puro, no possvel manter este estado puro no tempo posterir,
como veremos no captulo seguinte. O que temos que introduzir o conceito de
emsemble estatstico do prprio emsemble quntico. Como denimos, um vetor
de estado representa o estado de ensemble quntico. Este estado (estado puro)
pode conter as utuaes e por isso, temos que introduzir o tratamento estats-
tico nos valores observados de quantidades fsicas, porm, estas utuaes so da
natureza intrinsca quntica, no tendo nada a ver com as restries experimen-
tais. Quando a informao sobre o estado imcompleta, alm desta utuaes
qunticas, deve-se levar em conta a incerteza estatstica. A incerteza estatstica
tem sua origem pelo fato de que o estado do sistema no bem denido por
um nico vetor de estado, mas alguma mistura estatstica de veotres de estados.
Ou seja, o estado do sistema neste caso deve ser especicado pelo conjunto de
estados misturados, com respectivos pesos estatsticos da mistura;
1:tado'i:to {|c

, .

, j = 1, 2, ...}
Emfatizamos o fato de que um estado misto representado pelo conjunto de
vetores, mas no pelo um nico vetor
12
. Para calcular o valor esperado de
um observvel, precisamos calcular o valor mdio estatstico dos valores mdios
qunticos de todos estados.
< O =
X

< c

|O|c

A expresso acima pode ser reescrita utilizando uma base qualquer,{|i },
< O =
X

< c

|(
X
I
|i < i|)O
X

|, < ,|)|c

=
X

X
I
X

< i|O|, < ,|c

< c

|i
=
X
I
X

< i|O|, < ,|(

X

|c

< c

|)|i
=
X
I
X

< i|O|, < ,|j|i

12
Lembre que uma combibao linear de vetores um vetor. Um estado misto no pode ser
escrito como uma combinao linear de vetores.
28
= T
:
(Oj) (40)
onde o operador j =
P

|c

< c

| chamado a matriz de densidade.

A equao acima indica que um estado misto representado por uma matriz,
mas no por um vetor. Se j uma matriz de densidade, tem que satisfazer as
seguintes propriedades:

Tr(j) = 1
Seja {`
I
} os autovalores de j. Ento,
0 `
I
1, i

Tr(j
2
) Tr(j)
onde a igualdade somente para o estado puro.
5.3 Matriz de Densidade de Sub-sistema
Vamos considerar um sistema composto de dois subsistemas. Suponha que o
sistema como todo esteja num estado puro, |c . Neste caso a matriz de
densidade do sistema dada por
j = |c < c|
Expressando |c em termos de bases dos subsistema Eq.(37), temos
j =
X
I
X
ln
C
Il
C

n
(|a
I
< a

|) (|/
l
< /
n
|)
Vamos calcular o valor mdio de um observvel do subsistema de \
1
, O
(1)
=
O
(1)
1,
< O
(1)
= Tr
h
jO
(1)
i
=
X
I
X
ln
C
Il
C

n
(< a

|O
(1)
|a
I
)(< /
n
|1|/
l
)
=
X
I
X
ln
C
Il
C

n
(< a

|O
(1)
|a
I
)c
nl
=
X
I
X
l
C
Il
C

l
(< a

|O
(1)
|a
I
)
= Tr

j
(1)
O
1)

29
onde
j
(1)

X
I
X
l
C
Il
C

l
|a
I
< a

| = Tr
(2)
(j)
a matriz de densidade do subespaco \
1
. O simbolo Tr
(2)
indica que tomar o
trao em relao subespao \
2
. O elemento de matriz de j
(1)
na base {|a
I
}
obviamente
j
(1)
I
=< a
I
|j
(1)
|a

=
X
l
C
Il
C

l
=

CC

I
onde C a matriz formada de elementos C
Il
. Podemos mostrar seguintes pro-
priedades.
1. j
(1)
hermitiano e todos autovalores so no negativos.
2. Tr

j
(1)

= 1.
3. Os autovalores de j
(1)
ca dentro de intervalo, [0, 1].
4. Em geral j
(1)
no representa o estado puro do subsistema 1.
5.4 Matriz de Densidade para Equilbrio Trmica
Podemos utilizar a base de autoestado de energia {|1
I
i, i = 0, 1, 2, . . . } para
representar a matriz de densidade.
j =
X
I
|1
I
i.
I
h1
I
|,
onde .
I
o peso estatstico do estado misto. Suponhamos que o sistema esteja
em equlbrio trmico com o ambiente trmica com a temperatura T. Neste caso,
a propabilidade estatstica para ter a energia 1
I
proporcional a
c

1
!J
,
onde / a constante de Boltzmann. Assim, podemos escrever
.
I
=
1
7
c
J
1
/|T
,
onde 7 a constante de normalizao. Desta forma, a matriz de densidade de
um sistema em equilibrio trmico dada por
j
Tt:nIco
=
1
7
X
I
|1
I
ic
J
1
/|T
h1
I
|.
Seja H o Hamiltoniano do sistema. Temos
H|1
I
i = 1
I
|1
I
i,
30
e, portanto, podemos re-escrever a matriz de densidade como
j
Tt:nIco
=
1
7
X
I
|1
I
ic
1/|T
h1
I
|
=
1
7
c
1/|T
X
I
|1
I
ih1
I
|
=
1
7
c
1/|T
.
Desta forma, a matriz de densidade em equilbrio trmica expressa pura-
mente pelo Hamiltoniano. A constante de normalizao 7 determinada pela
condio,
Tr [j] = 1,
ou seja
7 = Tr
h
c
1/|T
i
=
X
I
c
J
1
/|T
.
Esta quantidade uma funo de T e \, o volume do sistema,
7 = 7 (T, \ ) ,
pois a soma sobre os estados depende do volume do sistema. Todas as quanti-
dades termodinmicas so obtidas desta funo. Por exemplo,
h1i = Tr (Hj)
=
1
7
X
I
1
I
c
J1/|T
=
1
7
0
0,
X
I
c
oJ
1
=
0
0,
ln7 (,, \ ) ,
onde , = 1,/T, etc.
Note que a forma da matriz de densidade em equilbrio trmico
c
o1
tem a similaridade do operador de desenvolvimento temporal,
c
I~|1
,
se identicamos
, = i~t.
31
Em outras palavras, se extendemos o parmetro temporal t analiticamente at
o domnio complexo, o operador de desenvolvimento temporal se torna a matriz
de densidade em equilbrio trmico. Esta similaridade puramente matemtica
e at no momento, nenhum signicado fsico desta relao esclarecido. Porm,
muitas tcnicas e conceitos que funcionam no tratamento de desenvolvimento
temporal na Mecnica Qantica podem funcionar tambm na Mecnica Estats-
tica em equilbrio. Voltamos ver este assunto mais adiante.
5.5 Estados Naturais
Dentro de um Espao de Hilbert, a base que diagonaiza a matriz de densidade
um conjunto enumeravel de seus autovetores. Os autovalores so entre 0 e
1. Quando a dimenso do espao innito, o nico autovalor que degener-
ado innitamente 0
13
. Vamos denotar os autovalores de j
(1)
por {j
I
} e os
respectivos autovetores normalizados por {|c
I
}. Assim podemos escrever
j
(1)
=
X
I
|c
I
j
I
< c
I
|
Sendo {|c
I
} forma uma base do espao \
1
, podemos utiliza-lo na Eq.(37) no
lugar de {|a
I
}. Temos
|c =
X
I
|c
I
|
I
(41)
onde |
I
=
P

C
I
|/

o vetor no espao \
2
e em geral no normalizado.
Podemos veircar que os estados |
I
so ortogonais:
<
I
|

=
X
|
X
l
C

I|
C
l
< /
|
|/
l
=
X
|
C

I|
C
l|
=

CC

I
= j
(1)
I
= j
I
c
I
(42)
Aqui, utilizamos o fato de que a matriz de densidade no subespao j
(1)
diagonal
na base {|c
I
}. Para j
I
6= 0
14
, podemos normalizar os |
I
,
|,
I
=
1

j
I
|
I
(43)
Substituindo o resultado na Eq.(41), temos
|c =
X
I

j
I
|c
I
|,
I

Com isto a matriz densidade no subespao \
2
tambm ca diagonal na base
{|,
I
},
j
(2)
=
X
I
|,
I
j
I
< ,
I
|
tendo os mesmos autovalores com j
(1)
. Os estados |c
I
e |,
I
so chamados
estados naturais.
13
Teorema de Hilbert-Schmidt.
14
Para estados com

= 0 no so contidos no estado | .
32
5.6 Transformada de Weyl
Vamos considerar um operador escrito formalmente
c ( Q) (44)
O sentido deste operador para qualquer funo )(),
Z
dc ( Q) )() = )(Q), (45)
i.e., o que faz papel de substituio Q. Podemos mostrar que a forma
concreta desta funo c dada por
c( Q) = | < | (46)
que nada mais que o operador de projeo no autoestado de Q com autovalor
. Podemos tambm introduzir o operador de projeo em j,
c(j 1) = |j < j| (47)
que faz o papel de substituio j 1. Assim, podemos pensar que o produto
destes operadores,
c( Q)c(j 1) (48)
poderia construir um operador partindo de uma funo de e j,
)(, j) )(Q, 1)
?
=
Z Z
ddjc( Q)c(j 1))(, j)
Entretanto, Eq.(48) ainda no elimina o problema de ordenao de operadores
nem da hermiticidade. Assim, desejavel introduzir um operador hermitiano
anlogo Eq.(48), mas independe de ordenao de Q e 1. Para isto, podemos
ainda formalmente escrever
c( Q) =
1
2~
Z
dn c
Iu(jQ)/~
c(j 1) =
1
2~
Z
d c
Iu(1)/~
e um novo operador em analogia com as expresses acima,
(, j)
1
2~
Z
dn
Z
d c
Iu(jQ)/~+Iu(1)/~
(49)
Note que dentro do integrando, a ordenao em Q e 1 irrelevante. Note
tambm que este operador no o produto c( Q)c(j 1), mesmo a fora de
fator 1,2~. Podemos obter a expresso anloga Eq.(46) ou Eq.(47) para este
operador (, j), i.e, (, j) pode ser escrito como
(, j) =
Z
dnc
1
~
ju
|j n,2 < j +n,2| (50)
33
ou tambm como
(, j) =
Z
dc
1
~
u
| +,2 < ,2| (51)
Utilizando (, j), podemos transformar uma funo de )(, j) em um operador
1(Q, 1) em analogia com Eq.(??),
)(, j) )(Q, 1) =
Z Z
ddj(, j))(, j)
O operador (, j) satisfaz as seguintes propriedades:

Tr[(, j)] = 1 (52)

Tr[(, j)(
0
, j
0
)] = 2~c(
0
)c(j j
0
) (53)

Tr[(, j)(
0
, j
0
)(, j)] = 4e
2
1
~
((jj
0
)+
0
(jj)+(j
0
j))
Na Mecnica Quntica, um observvel O um operador. Na Mecnica Cls-
sica, ele uma funo de {, j} , O
cl
(, j). Assim, as duas quantidades parecem
completamente distintas. Entretanto, podemos estabelecer uma relao entre
duas em vrias maneiras. Lembrando que, uma vez a base de representao
denida, qualquer operador especifado completamente por seus elementos
de matriz. Por exemplo, escolhendo a base de coordenada,{| }, o conjunto
de todos os nmeros,<
0
|O| , ou seja uma funo de
0
e especifoca o
operador. Em outra palavras, mesmo na Mecnica Quntica, o operador O
especicado completamente por uma funo de duas variveis. Uma trans-
formao que explicita a similaridade entre as duas quantidades em Mecnica
Clssica e Mecnica Clssica obtido por H.Weyl. A transformada de Weyl de
um operador O, O
V
(, j) denido por
O
V
(, j) = Tr[O(, j)] (54)
Escrevendo (, j) segundo a Eq.(50), temos que
Tr[O(, j)] = Tr[O
Z
de
1
~
u
| +,2 < ,2|]
=
Z
de
1
~
u
}Tr[O| +,2 < ,2|}
=
Z
d e
1
~
u
Z
d
0
<
0
|O| +,2 < ,2|
0

=
Z
d e
1
~
u
Z
d
0
<
0
|O| +,2 c(
0
+,2)
34
=
Z
d e
1
~
u
< ,2|O| +,2
Assim, a transformada de Weyl de um operador ca
O
V
(, j) =
Z
dnc
1
!
u
<
1
2
n|O| +
1
2
n (55)
Isto , a transformada de Weyl a transformada de Fourier do elemento de
matriz de O, em relao a diferena de dois coordenadas. Naturalmente a
relao inversa da transformada de Weyl dada por
O =
1
2~
Z Z
d dj O
V
(, j)(, j) (56)
Agora, identicando O
V
(, j) como sendo a quantidade clssica, O
cl
(, j), podemos
obter o operador quntico correspondente. fcil de vericar que o operador
assim obtido sempre hermitiano, desde que O
cl
real.
5.7 Funo de Wigner-Weyl, Espao de Fase
Do ponto de vista do tratamento estatstico de um sistema, de particular in-
teresse a transformada de Weyl da Matriz de Densidade, ento denominada
Funo de Wigner, )
V
(, j). Da denio da Matriz de Densidade temos,
)
V
(, j) = j
V
(, j) =
Z
dn e
1
~
u
< 1,2n|j| + 1,2n
=
Z
dn e
1
~
u
< n,2|
X
|
n
|
|c
|
< c
|
| | +n,2
=
X
|
n
|
Z
dn e
1
~
u
c
|
( n,2)c

|
( +n,2)
onde, como sempre, c
|
() a funcco de onda do estado |c
|
. Em termos da
transformada de Weyl e da Funo de Wigner, o valor esperado de um observvel
O ca escrito como
< O =
1
2~
Z
dj
Z
d )
V
(, j)O
V
(, j)
que tem uma forma anloga a expresso clssica do valor mdio de uma varivel
dinmica O
cl
(, j), onde a funo de Wigner desempenha o papel da funo
distribuio no espao de fase. No entanto, vale salientar que a funo de
Wigner, apesar de real, no obrigatoriamente semi-positiva denida. Assim, no
podemos interpretar )
V
(, j) como a distribuio de probabilidade no espao
de fase. Note que o fator 2~ justamente o volume de uma clula unitria no
espaco do fase quntico. Podemos mostrar que a funo de Wigner real, mas
no sempre positivo.
35
5.8 Parentse de Poisson como Comutador
interessante investigar como a lgebra de operadores ca representada em
termos das suas transformadas de Weyl. Neste sentido, vamos estudar o seguinte
problema: Expressar a tranformada de Weyl do produto dos operadores e 1
em termos das transformada de Weyl de e de 1
A transformada de Weyl do produto 1 dada por
[1]
V
(, j) = Tr[1(, j)] (57)
Mas os operadores e 1 so expressos em termos de suas transformadas de
Weyl por
=
1
2~
Z Z
d
0
dj
0

V
(
0
, j
0
)(
0
, j
0
) (58)
1 =
1
2~
Z Z
d
00
dj
00
1
V
(
00
, j
00
)(
00
, j
00
)
Substituindo estas expresses na denio da transformada de Weyl do produto,
temos
[1]
V
(, j) =
1
2~
Z Z Z
d
0
dj
0
d
00
dj
00

V
(
0
, j
0
)1
V
(
00
, j
00
)Tr[(
0
, j
0
)(
00
, j
00
)(, j)]
=
4
2~
Z Z Z
d
0
dj
0
d
00
dj
00

V
(
0
, j
0
)1
V
(
00
, j
00
)e
21
~
((j
0
j)(
00
)(
0
)(j
00
j))
que pode ser re-escrito como
[1]
V
(, j) =
Z Z
d
0
dj
0
c(
0
)c(j
0
j)c
I~/2(
O
Oq0

O
O

O
O0

O
Oq
)

V
(
0
, j
0
)1
V
(, j)
(59)
Para simplicar a expresso, vamos introduzir um operador correspondente a
parentse de Poisson, que denotamos por { , }
11
. Este operador atua em
produto de duas funes de variveis e j, denido por
{ , }
11
)(, j)q(, j) )(, j){

0
d

0
dj


0
dj

0
d
}q(, j) =
0)
0

0q
0j

0)
0j

0q
0
e para sua potencia,
({ , }
11
)
|
)(, j)q(, j) )(, j){

0
d

0
dj


0
dj

0
d
}
|
q(, j)
onde as setas em cima de operadores diferencias indica em que lado eles atuam.
Com isto, Eq.(59) ca na forma compacta,
[1]
V
(, j) = c
I~/2{ , }
TT

V
(, j)1
V
(, j) (60)
mostrando como a transformada de Weyl de um produto de operadores 1
pode ser escrita pelas transformadas de Weyl de cada operador. Por outro lado,
quando inverte a ordem do produto de operadores e 1, temos obviamente,
[1]
V
(, j) = c
I~/2{ , }
TT
1
V
(, j)
V
(, j) (61)
36
As Eqs.(60) e (61) tm particular interesse no que diz respeito ao limite clssico
~ 0, pois,
e
I~{ , }
TT
/2
= 1 +
i~
2
{ , }
11
+ . . . .
Assim, no limite de ~ 0, podemos ver que a transformada de Weyl do comu-
tador de e 1 nada mais que o parentese de Poisson das transformadas de
Weyl dos operadores. Isto ,
[{, 1}]
V
(, j) i~{
V
(, j), 1
V
(, j)}
11
5.9 Novamente Transformao Cannica e Gerador
Agora sabemos como construir o operador quntico correspondente a quantidade
clssica atravez de uma transformada de Weyl. Esta constuio, o comutador
faz o papel de parentse de Poisson. Na Mecnica Clssica, uma transformao
cannica continua de variveis,
(0) (c), j(0) j(c)
escrita em termos de equao diferencial se o gerador de transformao G(, j)
dado:
d
dc
= {, G}
11
, (62)
dj
dc
= {j, G}
11
. (63)
Na Mecnica Quntica, as equaes acima podem ser interpretadas como as
equaes de transformada de Weyl dos operadores. Assim, podemos obter
dQ(c)
dc
=
1
i~
[Q, G] (64)
d1(c)
dc
=
1
i~
[1, G] (65)
que coincedem com as Eqs.(62) e (63) em geral at a primeira ordem em ~. En-
tretanto, para o caso de translao em coordenada , o gerador de transformao
clssica dado por j como vimos antes e neste caso, Eqs.(?? e (65) coincidem
exatamente com as Eqs.(62) e (63). Isto tambm ocorre para a translao em
momento j. Assim, camos claro que a regra de quntizao e relao de comu-
tao cannica so as ingredientes bsicas para transcrever a Mecnica Clssica
em Mecnica Quntica, preservando sua estrutura geometrica de espao de fase.
Para outros tipos de transformao cannica, Eqs.(?? e (65) nem sempre
coincidem exatamente com as Eqs.(62) e (63). Por exemplo, na Mecnica Cls-
sica, a funo Hamiltoniana o gerador de translao no tempo. Na Mecnica
Quntica, isto tambm verdade e o operador Hamiltoniano est relacionado
com a Hamiltoniana Clssica atravs da transformao de Weyl. Entretanto, as
37
equaes de movimento para os operadores Q e 1, dadas pelas Eqs.(64) e (65)
com c = t, no reproduzem exatamente as equaes de movimento clssicas.
Estes aspectos vo ser discutidos no Captulo III.
6 Observaes Qunticas
As discusses sobre o processo de observao na Mecnica Quntica tm um
longa histria. Embora sua rme vericao experimental, a Mecnica Qun-
tica induz as situaes que no so compatveis com as que esperadas pelas
intuies. Muitos destes problemas so apresentados na forma de paradoxos.
Aqui, no pretendemos entrar na profundidade losca sobre as interpretaes
dos conceitos, apenas demostramos alguns exemplos destes paradoxos para ilus-
trar diculdades conceituais embutidas na Mecnica Quntica.
6.1 Paradoxos Simples
A maioria dos paradoxos simples vm bsicamente da mal interpretao da
Relao da Incerteza. Por expemplo, suponha que uma partcula foi preparada
num autoestado de momento. Medindo a posio desta partcula e encontra-se
o valor da coordenada bem denido. Ento isto no implica que a posio e
momento foram bem determindados simultaneamente? Este no paradoxo e
os leitores j acostumados aos fundamento da Mecnica Quntica no teriam
diculdade de responder. Claro que a resposta no, pois aps da medida
da posio, o momento da partcula j no mais aquele que foi inicialmente
preparado. A funo de onda plana
c

() = c
Ij/~
no representa o estado de uma partcula com o momento j na posio .
Uma verso pouco mais sosticado deste tipo de paradoxo seguinte: Uma
partcula foi lanada com a energia bem determinada (ver Fig.2). A partcula
seja detetada no antiparo afastado de fonte distncia 1. Quando a partcula
for detetada numa posio r, o componente do momento na direo A deve ser
determinado por
j
r
= j
r

1
2
+r
2
onde j =

2:1 o modulo do momento da partcula
15
. Assim, podemos
medir a posio e o momento com a preciso arbitrria, contradizendo a relao
de incerteza. Isto parece que um pouco comlicado do que o caso de onda plana,
a resposta a mesma.
Numa verso simplicita para explicar a relao de incerteza atribuir a
origem da incerteza concequncia de interao entre o sistema e o aparato
experimental. Quando se mede o momento, a informao sobre a posio ca
15
De fato, em muitos experimentos reais, o componente de momento de uma partcula
determinado desta forma.
38
completamente destroida pela interao que causada pelo aparato experimental
no processo de medir o momento, e vice-versa. Embora est explicao parece
que bem plausvel, surge uma questo fundamental. Isto , antes de qualquer
processo de medida, o estado de um sistema possui valores de momento e posio
bem denidos? A resposta da Mecnica Quntica NO. Na Mecnica Qun-
tica, um estado geral |c de uma partcula possui nem o momento nem a
posio no sentido clssico. Este ponto da Mecnica Quntica, i.e., admitir a
origem da natureza probabilistica como a parte da postulado, sem explicao
racional (clssica) imcomodou at vrios prrios fundadores da Mecnica Qun-
tida, inclusive o Einstein em particular.
6.2 Paradoxo EPR
Em 1935, no famoso artigo com Podolosky e Rosen (A.Einstein, B. Podolosky
e N.Rosen, Phys. Rev. 47 (1935) 1935), Einstein apresentou uma dbida sria
sobre a completeza conceitual da Mecnica Quntica. Por completeza de uma
teoria, eles denem de seguinte modo:
Uma teoria completa tem que ter uma contrapartida mattmatica para
qualquer entidade fsica real.
Por outro lado, uma entidade real denida em seguinte modo.
Se a informao sobre uma quantidade de um sistema obtida com a 100%
de certeza sem ter nenhuma interao direto com o sistema, deve haver a
entidade real correspondente a esta quantidade
16
.
Ambos os requerimentos parecem bem plausveis. Partindo destas premissas,
eles tentaram demostrar que o formalismo da Mecnica Quntica no com-
pleto. Para mostrar isto, consideraram um sistema composto de duas partculas.
Como a soma de momentos de duas partculas (mometo total) e a diferena de
coordenadas comutam, pode haver o autoestado simultneo destas observveis.
(Q
1
Q
2
)|c
1,2
= |c
1,2
, (66)
(1
1
+1
2
)|c
1,2
= j|c
1,2
.
Para um sistema no estado em que os autovalores e j, podemos medir a
posio da partcula 1. Suponha que obtemos o valor
1
. Neste caso, o valor
de Q
2
deve ser com certeza seria
2
=
1
. J que separao espacial entre
dois sistemas 1 e 2 podem ser arbitrariamente grande, podemos considerar que
a medio da posio da partcula 1 pode determinar o valor de coordenada da
partcula 2 sem ter nenhuma interao direta sobre ela, uma vez que excluimos
a existncia de ao a distncia na Natureza. Assim, concluimos que o valor da
coordenada da partcula 2 devem ter tido um valor determinado mesmo antes
16
Dizem que Einstein gostava de perguntar a pessoa, a Lua exite ou no se ninguem
observava-a.
39
de ser feita a medio sobre a partcula 1, portanto a coordenada da partcula 2
deve ser uma entidade real, segundo o critrio da entidade real acima colocado.
Mesmo argumento pode ser feito para o momento, concluindo que o momento da
partcula 2 tambm deve ser uma entidade real sico. Assim, para Einstein, deve
haver algum mecanismo que explica o inderterminismo simultneo entre dois
observveis no comutaveis da Mecnica Quntica. Entretanto o formalismo
padro da Mecnica Quntica incorpora a inderminismo simultneo como a
parte de postulado e no se quer questionar sua origem. Assim, EPR conclui
que a descrio da Mecnica Quntica ainda imcompleta.
Um outro exemplo que demonstra claramente a natureza do Paradoxo EPR
processo de decaimento de uma partcla de spin nula em 2 partculas de spin
1,2. Pela Mecnica Quntica, o estado de spin do sistema aps do decaimento
expresso por
|c =
1

2
{| | | | } , (67)
onde | e | representam os dois estados possveis de spin de uma partcula
em relao a um eixo convenientemente escolhido. De acordo com esta represen-
tao, o estado de spin de cada uma das partculas no est denido, portanto
no a entidade fsica estabelecida. Por outro lado, podemos fazer a medida do
componente do spin de uma das partculas quando as duas se afastam sucien-
temente longe. Neste caso, se a medio resulta que a partcula est no estado
| , ento a outra tem que est no estado | e vice-versa. Desta forma,
podemos prever o estado de spin da partcula sem interferir diretamente, por-
tanto o estado do spin desta partcula deve ser uma entidade fsica real, mesmo
antes da medida.
Naturalmete ha longa discusso sobre deste assunto. Aparentemente o ar-
gumento do EPR parece bastante convincente. O ingrediente fundamental no
argumento separabilidade fsica de dois sistemas sucientemente afastados em
escala macroscpico no espao-tempo. Isto chamado a localidade de Einstein.
Entretanto, conhecido que a localidade no sempre satisfeita nos estados que
aparecem na Mecnica Quntica.
6.3 Desigualdade do Bell
Em 1964, J.S.Bell de CERN explicitou a diferena entre os estados que sat-
isfaz e que no satisfaz a localidade numa forma que pode ter a vericao
experimental. Vamos considerar uma srie de experincia sobre um sistema
que inicialmente preparado num estado que decai em dois subsistemas a e /
que cam afastados numa distncia macroscpica aps de certo tempo. Agora,
podemos denir uma quantidade 1() que assume apenas dois valores +1 e -1,
associada a um observvel qualquer. Por exemplo, para partcula de spin 1/2,
podemos denir
1 = n (68)
40
onde n um vetor unitrio
17
. Repetindo vrias medidas sobre o processo de
decaimento, podemos construir a funo de correlao para o par de valores de
1s denidos para cada subsistema por
1(
o
,
b
) =
1

X
I
1
I
(
o
)1
I
(
b
) (69)
onde a indice i representa o valor de i-esma medida e tem que ser sucien-
temente grande. Lembramos que cada 1
I
assume o valor 1. Em termos da
Mecnica Quntica, no caso de Eq.(78), a funo de correlao seria
1
1Q
(n
o
, n
b
) =< c
ob
| n
a
n
b
|c
ob
(70)
Por outro lado, se os estados referentes aos subsistemas representam uma en-
tidade real, as utuaes dos valores de 1
I
s devem vir de algum processo es-
tochstico na hora de observao foram feitas. Neste caso, devem existir o
conjunto de parametros, digamos ` que especica o estado do sistema comple-
tamente no sentido deterministico e a utuao do valor observado de 1 deve
ter como origem a utuao deste parametro. Em outras palavras, a realidade
de implica
1
I
() 1(, `
I
)
Ou seja o valor de 1 deve ter sido predeterminado mesmo antes de medida
seja feita. Para explicitar a localidade de Einstein, alm desta premissa de
realidade do estado do sistema, ainda devemos incorporar a independencia das
medidas em dois subsistemas. Assim, a funo de correlao que corresponde
estas premissas deve ser expressa por
1
Jocol
(
o
,
b
) =
Z
d` )(`)1(
o
, `)1(
b
, `) (71)
onde )(`) a distribuio de probabilidade de `, naturalmente satisfazendo a
normalizao,
Z
d` )(`) = 1 (72)
Agora vamos considerar a quantidade,
=

1(
o
,
b
) 1(
o
,
0
b
)

1(
0
o
,
b
) +1(
0
o
,
0
b
)

(73)
Para a funo de correlao dada pela Eq.(71), podemos provar que

Jocol
2 (74)
Isto a desigualdade do Bell. A prova no dicil. Primeira, temos

1
Jocol
(
o
,
b
) 1
Jocol
(
o
,
0
b
)

Z
d` )(`)1(
o
, `){1(
b
, `) 1(
0
b
, `)}

17
Outro exemplo: = 1 se a energia do sistema for maior que um certo valor e = 1
para caso contrrio.
41
|'ar(1(
o
, `))|
Z
d` )(`)

1(
b
, `) 1(
0
b
, `)

=
Z
d` )(`)

1(
b
, `) 1(
0
b
, `)

(75)
j que 1(
o
, `) = 1. Analogamente temos,

1
Jocol
(
0
o
,
b
) +1
Jocol
(
0
o
,
0
b
)

Z
d` )(`)

1(
b
, `) +1(
0
b
, `)

(76)
Somando as Eqs.(75) e (76), temos

Jocol

Z
d` )(`)

1(
b
, `) 1(
0
b
, `)

1(
b
, `) +1(
0
b
, `)

fcil de ver que a quantidade dentro de [] no integrando sempre 2. Com a

normalizao de )(`), concluimos a Eq.(74). Ou seja, admitindo o realismo das
quantidades observveis e a localidade de Einstein, a funco de correlao deve
satisfazer a desigualdade de Bell. Por outro lado, para um estado quntico geral,
isto no verdade. Vamos considerar o exemplo do decaimento de uma partcula
de spin zero em duas partculas de spin 1,2. O estado de duas partculas aps
do decaimento deve ser singlete de spin,
|c
o,b
=
1

2
{| | | | } (77)
Com isto, podemos calcular a funo de correlao Eq.(70) fcilmente. Temos
1
1Q
(n
o
, n
b
) = (n
o
n
b
) (78)
Escolhendo os quatro vetores, n
o
, n
b
, n
0
o
, n
0
b
como ilustrados na Fig.(), temos

1Q
= 2

2 (79)
que viola a desigualdade de Bell. A violao de disegualdade de Bell foi ver-
icado experimentalmente pelo grupo de Orsay, Frana em 198, utilizando a
funo de correlao de polarizao de dois ftons, gerados pelo decaimento
de ncleo de clcio. O resultado mostrou explicitamente a violao da desigual-
dade de Bell e coincidiu com a previso da Mecnica Quntica. Isto mostrou que
os fenmenos qunticos no satisfaz pelo menos um dos critrios de Einstein.
6.4 Gato de Schrdinger - o Colapso da Funo de Onda
- Decoerncia
Pelo que postulado, o processo de medio de um observvel altera o estado do
sistema. Mas, o que signica a medio? Anal, o processo de medida tambm
um processo fsico que deve ser descrito pela Mecnica Quntica prpria? A
42
transio de um estado no deveria ser incorpolado num prprio formalismo?
Esta questo tambm j discutida por longo tempo. Para esclarecer o signicado
desta transio do estado, vamos considerar novamente o experincia de duas
fenda.
O uxo de partculas passa as duas fendas e 1 do anteparo no meio, e
forma a padro da interferncia no anteparo 1. O estado do feixe, ao passar as
duas fendas transforma em
c c
.
+c
1
Obviamente, se fechar uma das fendas, por exemplo, 1, o estado se transforma
c c
.
As transies acima so as consequncias de interao do feixe com as fendas
e em princpio, podem ser descritas em termos de equao de Schrdinger.
Um modelo simples de potencial para o anteparo e fendas suciente para
demostrar a mudana da funo de onda do feixe incidente ao passar as fendas.
O fechamento de uma das fendas naturalmente elimina a padro da interfer-
ncia. At aqui, no h mestrio. Agora, em vez de fechar uma das fendas,
vamos colocar um detetor da partcula, numa das fendas que apenas registra
a passagem ou no passagem da partcula. Suponha que o detetor alocado na
fenda registra a passagem da partcula. Antes da medio, a funo de onda
deve ser igual a aquela que corresponde as duas fendas abertas. Mas, aps da
medio, a funo de onda da partcula ca deve car
c
.
+c
1
c
.
j que a medio identica o fato de a partcula passou a fenda . Esta tran-
sio as vezes chamada o colapso da funo de onda. Assim, de acordo com
resultados do detetor, ocorrer o colapso da funo de onda,
c
.
+c
1

c
.
, se for detetada na fenda
c
1
, se no for detetada na fenda
desaparecendo o padro da interferncia no anteparo da deteo nal. Mas como
e quando este colapso de funo de onda ocorre? O que acontece se, mesmo colo-
cando o detetor, mas o resultado de medida no for registrado? Neste caso, para
quem observar no anteparo nal, no saber nem a existncia do detetor. Ento
o padro da interferncia volta aparecer? A primeira confuso foi iniciado por
E.P Wigner e von Neumann, aps de ter abstrado que os detetores so um sis-
tema quntico simples, que chegaram a concluso de que o processo irrevesvel
como o colapso de funo de onda ocorre s quando o resultado da observao
for reconhecido pelo mente humano. Naturalmente este interpretao provocou
uma grande discusso e crtica. Dentro destas crticas, o Gato de Schrdiger
mais famoso. seguinte: Coloca numa caixa um gato. Dentro desta caixa,
tambm coloca um sistema de alimentar o gato, com veneno, que funciona com
o dispositivo pelo decaimento de um elemento radioativo. Quando o elemento
43
decai, o sistema aciona e coloca a comida venenada para o gato. S que obser-
vador fora no saber quando o decaimento ocorre. O vetor de estado do ncleo
ca ento
| nc|co = |1rcitado +|1:tado 1n:da:c:ta|
Portanto, de acordo com a interpretao da linha de Wigner e Neumann, o
estado do gato, seja vivo ou morto, ca indenido, sendo escrito pela funo de
onda,
|Gato = |Gato \ io +|Gato 'orto
Mas, isto absurdo. Mesmo sem abrir a caixa, o estado do gato deve ser vivo
ou morto, e no superposio dos dois estados. Ou seja, mesmo que admitindo
que o estado do gato representado pelo um vetor de estado, o estado do
gato caria no mnimo, uma mixtura estatstica, mas no combinao linear de
|Gato \ io e |Gato 'orto . Por outro lado, a Mecnica Quntica descreve
o desenvolvimento de um estado em termos de Equao de Schrdinger, que
leva a transformao unitria. Deste forma, partindo de um estado puro, nunca
chegaria a um estado mixto, como queremos no caso do exemplo de gato acima.
Ento, que mecnismo que leva a mudana,
|Gato |Gato \ io ou |Gato 'orto ?
Na verdade, a origim da confuso est em abstrao do processo de medida
como um sistema simples quntico. verdade que a Mecnica Quntica deve
ser aplicado para o sistema como todo o objeto de observao e o detetor. Mas
o detetor que serve para identicar um estado do objeto tem que ter uma estru-
tura extremamente complexo. Por exemplo, vamos considerar uma experincia
hipottica em que coloca um atmo perto de uma das fendas, digamos . O
atmo recebe um reco quando a patcula de feixe colide com ele. Desta forma,
medindo o reco, podemos determinar que fenda a patcula passou. Este ex-
perincia hipottica foi primeiramente proposto por Einstein. N. Bohr, respon-
dendo a esta questo, argumentou na base de princpio de incerteza que neste
caso o padro da interferncia ser destrudo. Mais recentemente um clculo
deste modelo foi realizado por W.Zurek e W.Wootters, mostrando que a padro
da interfencia no ca destrudo completamete com este tipo de experincia.
Mas tambm a determinao da passagem da partcula da fenda no ca
100% certa. Neste sentido, o processo de observao com o sistema de deteo
no completo. A deteo da passagem da partcula ca cada vez mais certa
quando aumentar o nmero de atmos que coloca na boca da fenda ( como no
caso de lme fotogrca ou emulso nuclear), mas neste caso, o padro da in-
terferncia tende a desaparecer. Numa descrio quntico do estado do sistema
deve incluir todos os atmos presentes. Neste caso a partcula do feixe incidente
um subespao. Portando, o estado do feixe deve ser representado por matriz
de densidade reduzida, como foi discutido antes. Foi demonstrado em certos
exemplos, a matriz de densidade reduzida se tende diagonal quando o ambiente
(i.e., o estado de detetor) ca cada vez mais complexo.
44
Atualmente o processo de medida e associado colapso da funo de onda
no so mais questo apenas losca, mas sim tem at aplicaes devido ao
desenvolivento tecnolgico, especialmente na rea de otica quntica que atinge
at sistemas mesoscpicos.
7 Lista de Questes
1. Sejam |ci e |ci dois vetores arbitrrios no nulos. Dene a quantidade
por
|cihc|
Expresse os autovalores e autovetores do em termos de |ci e |ci.
2. Para uma matriz (3 3) ,
=
1

0 i 0
i 0 i
0 i 0

,
a) Obtenha autovalores e autovetores da matriz
b) Verique ortogonalidade entre autovetores.
c) Calcule a matriz
c

2
I.
,
e simplique mximo possvel.
3. A partir da denio de vetor dual, demonstre que
(c|r +,|j )

= c

< r| +,

< j|.
4. Verique que o conjunto V

dc)n:cio:ai:|i:carc:c:Vn:c:jaoctoria|.
a) Prove a desigualdade de Schwartz,
|< r|j | k |r k k |j k
usando somente a denio do produto escalar.
b) Verique que a igualdade vlida somente no caso em que |r =
Co::t. |j .
Soluo : a) Dene um vetor,
|` = |r +`c
Io
|j
sendo ` e c parametros arbitrrios reais. J que
< `|` 0
45
para qualquer valor de `, temos
a`
2
+/` +c 0 /
2
4ac 0 (80)
com
a = < j|j ,
/ = c
Io
< r|j +c
Io
< j|r
c = < r|r
Escrevendo
< r|j = |< r|j | c
I
e escolhendo
c = c
temos
/ = 2 |< r|j |
Da Eq.(80), temos
|< r|j |
2
< r|r < j|j =k |r k
2
k |j k
2
A igualidade ocorre na Eq.(80) quando
|` = 0,
ou seja
|r = co::t.|j
5. Prove que a distncia entre dois vetores denida por d(|r , |j ) k |r
|j k satisfaz a desigualdade triangular;
d(|r , |j ) d(|r , |. ) +d(|. , |j )
6. Prove que os autovalores de um operador hermitiano so reais.
7. Prove que dois autovetores de um operador hermitiano com autovalores
distintos so ortogonais.
8. Demonstre que
O =
X
I
|i `
I
< i| (81)
onde `
I
e |i so autovalor e autovetor normalizado de O,
O|i = `
I
|i .
A Eq.(81) mostra como diagonalizar um operador numa base qualquer,
digamos {|j }. Tomando o elemento de matriz da Eq.(81), temos
< j|O|i =
X
I
< j|i `
I
< i|i
46
=
X
I
X

< j|i `
I
c
I
< ,|i
Denotando por O a matriz formada de {< j|O|i }, l por {< j|i }, a
equao acima ca
O = ll

onde = {`
I
c
I
} a matriz diagonal.
9. Para a matriz l acima, demonstre que ll

= 1, ou seja, l

= l
1
.
10. Para dois operadores e 1 que comutam, prove que existem autovetores
simultneos para cada um dos autovalores destes operadores.
11. Usando o resultado acima, mostre que duas matrizes podem ser simul-
taneamente diagonalizadas.
a) Prove que o conjunto de todos operadores lineares num espao vetorial
\ forma um espao vetorial (que chamaremos ', por exemplo).
b) Mostre que o produto escalar em ' pode ser denido como
A, 1 ', (A|1 ) = Tr(A1 )
c) Para um operador no singular em\ (i.e., '), dene o operador
G
.
em ' por
A ', G
.
A [, A]
e o operador l() por
A ', l()A = A
1
Prove
l(c
.
) = c
c
.
d) Prove que
d
dt
ln(c
|.
c
|1
) = ln(c
|c
.
c
|c
T
)

c
|c
.
c
|c
T
1

1
+ln(c
|c
.
c
|c
T
)

c
|c
.
c
|c
T
1

1
1
e) Mostre que
c
.
c
1
= c
c
onde
C =

X
n=1
1
:

7
n
(, 1) + (1)
n1
7
n
(1, )

com
7
n
(, 1) =

X
n=1
(1)
n+1
:
X
{1,j1}
G

1
.
G
j
1
1
G

r1
.
G
j
r1
1

j
1
!
1
! j
n1
!
n1
!
Aqui, a soma deve ser feita sobre inteiros positivos{j
I
,
I
} que satis-
fazem
j
1
+
1
+ +j
n1
+
n1
= :1
47
12. Partindo a regra de comutao,
[1, Q] =
~
i
calcule o elemento de matriz do 1,
< |1|
0

.
13. Calcule o elemento de matriz de Q na base de {|j }.
14. Demonstre que
Q
0
= e
Io1/~
Qe
Io1/~
= Q+a
15. Mostre que para qualquer funo (r)
o
d
do
c(r) = c(r +a)
16. Demonstre que o gerador de deslocamento em momento Q.
17. Seja G = G(, j) o gerador de transformao cannica innitesimal de um
parametro c,
Q = (c)
j 1 = j(c)
na Mecnica Clssica. Demonstre que
dG
dc
= 0.
18. Demonstre que a soluo da Eq.(23) formalmente escrita por
(c) = exp
n
ic

G
o
(0)
j(c) = exp
n
ic

G
o
j(0)
onde o smbolo

G o operador linear denido por

G) i {G, )} para
qualquer funo de e j.
19. Obtenha a representao em momento da equao de Schrdinger de uma
partcula sob a inuncia de potencial \ ,
i~
0
0t
c(r, t) =
~
2
2:
0
2
0r
2
c (r, t) +\ (r)c(r, t)
48
20. Um sistema possui apenas dois observveis, e 1. Os valores observa-
dos de so sempre a
1
ou a
2
, e os de 1 so sempre /
1
ou /
2
. Foi feito
uma sucesso de medies, primeira sobre , logo em seguida sobre 1 uti-
lizando o mesmo sistema. Este processo de medio foi feito vrias vezes
sobre um ensemble do sistema que inicialmente preparado igualmente. A
probabilidade de obter o valor /
1
de 1 logo aps de ter encontrado o valor
a
1
de encontrou-se o valor j. Fazendo o mesmo tipo de experincia mod-
icando a condio inicial do sistema, vericou-se que esta probabilidade
independente da condio inicial.
a) Consideramos o processo de medio em que a ordem de e 1
invertida. Calcule a probabilidade de encontrar o valor a
1
logo aps
de ter conrmado o valor /
2
.
b) Determine a representao do observvel 1 na base dos autoestados
de .
c) e 1 comutam?
21. Prove as seguintes expresses:
Z

dre
I(
0
)r
= 2c(j j
0
)
lim
t0
r
1
c
e
(rr
0
)
2
/t
= c(r r
0
)
lim
t0
1

c
r
2
+c
2
= c(r)
22. Seja ) uma distribuio. Denimos a derivada do ), )
0
por:
)
0
c ) c
0
Demonstre que a derivada da funo de Heaviside, (r) (=1 para r 1
e 0 para r < 0) a funo -c(r).
23. Prove que
rc
0
(r) = c(r)
24. Prove que
c()(r)) =
1

J}
Jr

r=r
c
c(r r
o
)
onde r
o
o ras da equao, )(r) = 0. Caso em que h mais que um raz,
o lado direito da equao acima deve somar em todos razes.
49
a) Prove que o operador unitrio l(a, /) de translao no espao de fase,
no sentido de
l(a, /)| , j; = | +a, j +/;
dado por
l(a, /) = e
Io1/~
e
IbQ/~
.
b) Prove que
l(a, /) = e
1
~
(o1bQ)
e
1
2~
ob
a) Calcule o fator de normalizao do estado,
< |c
c
=
1

c
(jj
0
)
2
/2c
2
+I
0
j/~
b) Calcule a funo de onda do |c
c
em momento j.
c) Utilizando a funo de onda, calcule diretamente os valores esperados
de e j e suas disperses.
25. Vamos introduzir a transformao linear,
/ = ra +j

,
/

= r

+ja.
Qual a condio para parametros r e j para que os novos operadores / e
/

satisfazem a regra de comutao de operadores de criao e aniquilao?

26. Explicite a relao entre {/, /

} e

a, a

27. Prove que a completeza da base de estado coerente,

1
2~
ZZ
d jd | , j; < , j; | = 1
28. Calcule o produto escalar de dois estados coerentes, 1(
0
, j
0
, , j; ) <

0
, j
0
; | , j; .
29. Mostre que a funo de Wigner real, mas no sempre positivo.
30. Calcule a funo de Wigner para o estado coerente, | , j;
31. Verique a Eq.(78). Calcule a funo de correlao Eq.(70) para o estado
misto composto de 50% no estado | | , 50% no | | .
50