Anda di halaman 1dari 24

Fundamentos matemticos da mecnica quntica

31 de janeiro de 2016

Sumrio
1 Espao de Hilbert e espao de estados 1
1.1 O exemplo da mecnica ondulatria . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.2 O espao de Hilbert . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
1.3 Funcionais lineares e espao dual . . . . . . . . . . . . . . . . . . . . . . . . . . . 3

2 Operadores 4
2.1 Operador adjunto . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5

3 Bases ortonormais e representaes 6


3.1 Ortonormalidade . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
3.2 Bases ortonormais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
3.3 Representaes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
3.4 Mudanas de base . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10

4 O Problema da medida 13
4.1 Polinmio caracterstico . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
4.2 Operadores auto-adjuntos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
4.3 Teorema espectral para operadores auto-adjuntos . . . . . . . . . . . . . . . . . 15
4.4 Observveis compatveis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
4.5 Observveis incompatveis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
4.6 Desvio padro . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
4.7 Sistemas de dois nveis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20

5 Exerccios 23

1 Espao de Hilbert e espao de estados


1.1 O exemplo da mecnica ondulatria
Na descrio da mecnica quntica formulada por Erwin Schrdinger em 1926, os estados de
posio de uma partcula quntica sem spin so representados por funes de onda (t, x),
solues da equao de Schrdinger
 

i~ H (t, x) = 0. (1.1)
t

1
H o operador diferencial hamiltoniano, definido a partir da funo hamiltoniana do sistema
clssico pela identificao

H (x, p) H (x, i~x ) , (1.2)

em que x representa o operador gradiente com relao s coordenadas retangulares x =


(x1 , x2 , x3 ) R3 .
Conhecida a funo de onda de uma partcula em um instante t, a probabilidade de
encontr-la em um volume V R3 dada por

2
PV (t) d3 x | (t, x)| , (1.3)
V

de modo as funes de onda so interpretadas como amplitudes de probabilidades. Tal inter-


pretao probabilstica da mecnica quntica demanda que as solues fisicamente aceitveis
da equao de Schrdinger sejam tais que

2
P R3 (t) = d3 x | (t, x)| = 1, (1.4)
R3

ou seja, (t, x) devem ser funes normalizveis, quadrado integrveis e analticas em R3 .

1.2 O espao de Hilbert


A descrio ondulatria de Schrdinger, bem como a formulao matricial de Heisenberg,
Born e Jordan, em que observveis qunticos so descritos por matrizes complexas auto-
adjuntas, possui como pano de fundo uma estrutura matemtica conhecida como espao de
Hilbert. O primeiro postulado da mecnica quntica pode ser enunciado por:

Postulado 1: Os estados fsicos de um sistema quntico so representados por vetores em


um espao de Hilbert complexo.

Um espao de Hilbert H um espao vetorial imbudo de um produto interno e de uma propri-


edade de completeza. Portanto, H possui as operaes de soma e multiplicao por escalares
complexos, bem como as devidas propriedades que caracterizam seus elementos como vetores.
Alm dessas propriedades, H possui um produto interno (u, v) : H2 C, em que u e v so dois
vetores, com as seguintes propriedades (considere a e b nmeros complexos com conjugados
a e b ):

1. (u, v) = (v, u) , para a qual dizemos que o produto interno hermitiano;

2. (au + bw, v) = a (u, v) + b (w, v), para a qual dizemos que o produto interno antilinear
na primeira entrada;

3. (u, av + bw) = a (u, v) + b (u, w), para a qual dizemos que o produto interno linear na
segunda entrada;

4. (u, u) real e no negativo para todo u H;

5. (u, u) = 0 se, e somente se, u = 0.

Assim, a existncia do produto interno nos permite definir a norma de um vetor de Hilbert:
p
|u| (u, u), bem como a propriedade de ortogonalidade entre dois vetores distintos u e v,
dada por (u, v) = 0.

2
A propriedade de completeza pode ser melhor compreendida atravs das relaes de com-
pleteza que deduziremos mais adiante, mas possui uma formulao abstrata precisa a partir
de sequncias de Cauchy definidas em H. Dizemos que H completo, se toda sequncia de
Cauchy de elementos de H converge, com relao a sua norma, a um elemento de H.
Para ver como as funes de onda fsicas que so solues das equaes de Schrdinger
podem ser relacionadas a elementos de um espao de Hilbert, podemos observar que o produto
interno de duas funes (t, x) e (t, x) pode ser definido por

(, ) d3 x (t, x) (t, x) . (1.5)
R3

Este produto obedece s propriedades de 1 a 5. Observamos que, em razo da desigualdade


de Schwarz

|(, )| || || , (1.6)

(, ) bem definida (finita), se e so funes quadrado integrveis.


A propriedade de completeza, no entanto, depende do sistema em considerao, especial-
mente do espectro do operador Hamiltoniano. Vamos lidar com esta questo mais adiante,
quando veremos que a completeza do espao de Hilbert est relacionada existncia de uma
base enumervel que obedece a uma relao de completeza entre seus membros. Com o pro-
duto (1.5) e a propriedade de completeza, as funes de onda quadrado integrveis formam
um espao de Hilbert L2 . De fato, as funes de onda da equao de Schrdinger que corres-
pondem a estados fsicos da hamiltoniana devem ser, alm de quadrado integrveis, analticas
em todo o espao. Ento, estados fsicos da equao de Schrdinger definem, no geral, um su-
bespao de L2 , que no geral podemos denominar F. Portanto, F o subespao de funes L2
que so analticas em todo o espao. Por definio, F deve ser, por si s, um espao de Hilbert.

1.3 Funcionais lineares e espao dual


A partir daqui, utilizaremos a notao de Dirac, que se tornou uma ferramenta muito til
para a descrio da lgebra linear complexa por trs da mecnica quntica. Nesta notao,
|i representa um vetor do espao de estados. O rtulo serve meramente para diferenciar dois
vetores, por exemplo, |i e |i. Se |i um estado fsico do sistema, ele pertence a um espao
de estados que denominaremos E. Este, por sua vez, deve ser um subespao de Hilbert.
No caso das funes de onda da equao de Schrdinger, por exemplo, podemos associar
cada funo de onda (t, x) F a um vetor |i E, de modo que F e E so isomrficos. Neste
exemplo, entretanto, enquanto um elemento de F uma funo definida em um sistema de
coordenadas em R3 , os elementos de E no dependem de um tipo particular de representao.
A descrio de um sistema quntico no espao de estados abstrato E , portanto, adequada a
todo tipo de generalizao.
A partir de E, podemos relacionar um funcional linear h| : E C para cada vetor |i E.
O espao de todos os funcionais lineares tambm um espao vetorial, e vamos definir tais
funcionais de modo que

h|i (, ) . (1.7)

Em palavras, a ao do funcional h| no vetor |i igual ao produto interno do vetor dual


|i com o vetor |i. Com a condio (1.7), o espao E dos funcionais lineares h| chamado

3
espao dual de E.
Se E um espao de Hilbert de dimenso finita, a transformao T : E E , tal que
h|i = (, ), um isomorfismo linear. Ento, E e seu espao dual E so isomrficos: para
todo |i E existe um nico h| E , e para todo h| E , existe um nico |i E. Para
uma teoria quntica consistente, necessrio que o isomorfismo entre o espao de estados e
seu dual seja estabelecido. Contudo, se E tem dimenso infinita, tal isomorfismo no pode ser
estabelecido no geral. O problema est ligado existncia de bases contnuas, por exemplo na
decomposio em ondas planas ou transformadas de Fourier, em que o produto interno no
bem definido. Na formulao matemtica da mecnica quntica, este problema encontra so-
luo com a generalizao do espao de Hilbert no que denominado "rigged Hilbert spaces",
ou simplesmente espaos de Hilbert generalizados, em que distribuies assumem um papel
fundamental como generalizaes dos vetores de Hilbert. A partir daqui, vamos supor que E
e E sejam sempre isomrficos.
Neste caso, vemos que a relao como o produto interno (1.7) indica que, na verdade, os
funcionais h| so antilineares, ou seja, para a e b nmeros complexos,

(ha| + hb|) |i = a h|i + b h|i . (1.8)

Da mesma forma, o isomorfismo entre E e E , na verdade, antilinear:

|ai = a |i ha| = a h| . (1.9)

Daqui em diante, representaremos o produto interno entre dois vetores |i e |i por h|i.
Naturalmente, dizemos que se h|i = 0 para dois vetores distintos no nulos, |i e |i so
ortogonais.

2 Operadores
Uma transformao A : E E denominada operador. A ao de um operador em um vetor
representada por A |i e obedece propriedade A (a |i + b |i) = aA |i + bA |i. De fato, o
espao dos operadores lineares tambm um espao vetorial.
Podemos definir, tambm, o produto de operadores lineares:

(AB) |i A (B |i) = AB |i , (2.1)

sendo, no geral, no comutativo: AB 6= BA. A no comutatividade entre dois operadores


definida pela operao de comutao

[A, B] AB BA. (2.2)

Dizemos que dois operadores comutam se [A, B] = 0.


Consideremos dois vetores |i e |i. O objeto

|i h|
P (2.3)
h|i

claramente um exemplo de operador, chamado projetor, visto que sua ao em um vetor |i,

4
por exemplo resulta em

h|i
P |i = |i = c |i , (2.4)
h|i

em que c o nmero complexo h|i / h|i. Assim, a ao de P em um vetor de E


sempre proporcional a |i.

Exerccio 1. Mostre que o projetor P obedece propriedade

2
P = P , (2.5)

que denominada de niltotncia.

Vamos supor um vetor |i E. Definimos como projetor ortogonal o operador

|i h|
P . (2.6)
h|i

Vamos supor que |i seja normalizado unidade, ou seja, h|i = 1. Neste caso, seja |i E,

P |i = |i h|i = c |i (2.7)

a projeo ortogonal de |i em |i, com coeficientes c h|i. Da mesma forma, o projetor


ortogonal obedece condio P2 P . Se dois vetores no nulos |i e |i so ortogonais,
temos P |i = P |i = 0. Reciprocamente, se a projeo de um vetor no nulo em um
segundo vetor no nulo nula, ambos os vetores so ortogonais.

2.1 Operador adjunto


Seja um operador linear A : E E, tal que A |i |Ai. O operador A : E E, tal que

A |i = A denominado operador adjunto de A quando, para todo |i e |i E,

h|Ai = A | .


(2.8)

Ressaltamos que o funcional A no representa um operador atuando em h|, mas mera-


mente o dual do vetor de Hilbert A . Devido hermiticidade do produto interno, temos


h|Ai = hA|i = |A ,

ou seja,

h|A|i = |A | ,

(2.9)


|A | = h|A|i .


(2.10)

Da mesma forma, podemos mostrar que:



1. A = A;

2. (aA) = a A ;

5

3. (A + B) = A + B ;

4. (AB) = B A .

Exerccio 2. Demonstre as propriedades de 1 a 4.

Um operador A : E E denominado auto-adjunto se ele coincide com seu adjunto,


ou seja, A = A . A classe de operadores auto-adjuntos, ou tambm chamados hermitianos,
fundamental para a mecnica quntica. Veremos mais adiante que uma medida em um
sistema quntico deve ser representada pela ao de um operador auto-adjunto em E.

Exerccio 3. Mostre que o operador de projeo (2.3) auto-adjunto.

3 Bases ortonormais e representaes


3.1 Ortonormalidade
Vamos supor um conjunto de vetores de Hilbert X {|i i} E. Neste caso, i um ndice
discreto ou contnuo, ou seja, o conjunto X pode ser um subconjunto discreto ou contnuo mas,
em ambos os casos, enumervel. X denominado ortogonal se

hi |j i = 0 i 6= j (3.1)

e, neste caso, dizemos que |i i forma um subconjunto ortogonal.


No sentido formal, h grande diferena entre o caso discreto e contnuo, mas ainda assim
uma notao nica admissvel. Por exemplo, se X discreto e ortogonal, e formado por
vetores unitrios, temos

hi |j i = ij , (3.2)

em que ij uma delta de Kroeneker:



1 se i = j
ij = . (3.3)
0 se i 6= j

Neste caso, dizemos que X um subconjunto ortonormal discreto de E.


Contudo, no caso contnuo a relao equivalente de ortonormalidade s pode ser compreen-
dida atravs da teoria de distribuies. Por exemplo, vamos supor um conjunto X {| (x)i}
de estados estacionrios dependentes da posio x no espao R3 . Dizemos que X ortonormal
se

h (x) | (x0 )i = 3 (x x0 ) , (3.4)

em que 3 (x x0 ) uma delta de Dirac tridimensional. Este produto nulo para x 6= x0 , mas
no definido para x = x0 . Isto significa que um conjunto X contnuo e ortonormal no pode
ser um subespao de Hilbert como definido na subseo 1.2. Contudo, com a generalizao do
conceito de espao de Hilbert j mencionada na seo 1.3, este problema pode ser solucionado.

6
3.2 Bases ortonormais
Vamos supor, portanto, que temos um espao de Hilbert E e um subespao X E de vetores
|i i ortonormais, ou seja,

hi |j i = ij . (3.5)

Neste caso, os ndices representam estados discretos ou contnuos, de modo que ij deve ser
compreendida como uma delta de Kroneker ou de Dirac, caso a caso.
O subconjunto X E uma base ortonormal de E se todo vetor |i E puder ser escrito
como combinao linear nica dos vetores |i i X, ou seja,

|i = ci |i i . (3.6)

Na expresso acima, utilizamos a seguinte conveno de soma: se i discreto,


X
ci |i i ci |i i . (3.7)
i

Se i um ndice contnuo,

ci |i i dn q c (q1 , q2 , , qn ) | (q1 , q2 , , qn )i , (3.8)

em que q (q1 , q2 , , qn ) um conjunto de coordenadas generalizadas.


Se uma base ortonormal X conhecida, os coeficientes podem ser encontrados aplicando-
se o produto interno de (3.6) a |j i, ou seja,

hj |i = ci hj |i i = ci = hi |i . (3.9)

Agora, vamos tomar (3.6) e substituir nesta a expresso (3.9):

|i = ci |i i = hi |i |i i = |i i hi |i = (|i i hi |) |i . (3.10)

O objeto |i i hi | um operador de projeo, cujas propriedades caractersticas so facilmente


derivveis. Ele projeta um vetor de E no subespao vetorial E 0 gerado por X. O significado da
expresso (3.10) : Se X uma base de E, a projeo de E no espao vetorial gerado por X o
prprio espao E, ou seja, o projetor |i i hi | o operador identidade:

|i i hi | = 1. (3.11)

A relao (3.11) denominada relao de completeza. Ela condio necessria e suficiente


para que X seja uma base de E ou, equivalentemente, para que E seja gerado por X. A prova
recproca facilmente verificada:

|i = 1 |i = |i i hi |i = ci |i i . (3.12)

3.3 Representaes
Vamos supor que X = {|i i} E seja uma base conhecida de E. Podemos mostrar que os
vetores de Hilbert, funcionais lineares e operadores lineares podem ser univocamente repre-

7
sentados por funes que dependero dos coeficientes da expanso (3.6). Isto imediato para
os vetores de E, basta observar a expanso

|i = ci |i i .

Sendo nica, dizemos que a matriz coluna



h1 |i

h2 |i

..
ci = . (3.13)




hk |i

..
.

representa o vetor |i na base X.


No caso discreto, os coeficientes podem efetivamente ser ordenados em uma matriz coluna,
comumente chamado vetor coluna de |i. No caso contnuo temos, por exemplo, a represen-
tao de um sistema estacionrio de uma partcula em R3 na base das posies:

|i = d3 x |xi hx|i d3 x (x) |xi . (3.14)

Neste caso, dizemos que os coeficientes

(x) = hx|i , (3.15)

reconhecidos como as funes de onda do sistema na representao das posies, representam


os estados |i na base |xi. Aplicando-se hx0 | em (3.14),

(x0 ) = d3 x (x) 3 (x0 x) . (3.16)

Da mesma forma, o mesmo sistema pode ser representado na base dos momentos p,

3
|i = d x |pi hp|i d3 x (p) |pi , (3.17)

pelas funes de onda na representao dos momentos

(p) = hp|i . (3.18)

Aplicando-se hx| em (3.17),



3
(x) = d x (p) hx|pi = d3 x (p) vp (x) , (3.19)

em que

3/2
vp (x) = hx|pi = (2~) exp [ip x/~] . (3.20)

Assim, a representao dos momentos definida em (3.17) equivale expanso das funes de
onda (x) em ondas planas (3.19).

8
Voltando ao tratamento mais formal, se X = {|i i} uma base de E, o isomorfismo entre E
e E garante que os vetores duais hi | X E formam uma base X = {hi |} de E . Neste

caso, temos

h| = di hi | . (3.21)

Ainda,

h|j i = di hi |j i = dj = di = h|i i .

Portanto, mostra-se que os coeficientes de (3.21) so os complexos conjugados dos coeficientes


de (3.6), ou seja,

h| = ci hi | ci = h|i i . (3.22)

em concordncia com as propriedades do produto interno. Os coeficientes ci podem ser repre-


sentados por uma matriz linha

ci = (h|1 i , h|2 i , , h|k i , ) . (3.23)

Seguindo a mesma sistemtica, os operadores em E podem ser representados abstrata-


mente por matrizes quadradas. No caso discreto, essas matrizes so, efetivamente, matrizes
complexas. No caso contnuo, so funes complexas. Dada uma base X = {|i i} de E, um
operador A pode ser relacionado s funes

Aij = hi |Aj i . (3.24)

Vamos supor um estado |i de E. Temos

|i = |i i hi |i = ci |i i . (3.25)

O vetor | 0 i = A |i pode ser escrito por

A |i = hj |A|i = hj |A|i i hi |i = Aji ci . (3.26)

Portanto, as componentes c0i = hi |Ai do vetor |Ai so escritas por

c0i = Aij cj , (3.27)

o que caracteriza um sistema linear, ou seja, a ao de um operador em um vetor de Hilbert


representada pela ao de uma matriz quadrada em um vetor coluna.
O produto entre dois operadores lineares tambm pode ser representado, neste caso por
um produto entre matrizes. Temos

hi |AB|j i = hi |A|k i hk |B|j i = Aik Bkj , (3.28)

ou seja, a matriz que representa o produto AB o produto das matrizes que representam A e
B.

9
O produto interno entre dois vetores |i e |i, como outro exemplo, dado por

h|i = h|i i hi |i = i i , (3.29)

em que i e i so os coeficientes de expanso de |i e |i na base |i i. Tambm til a


expresso para o seguinte produto:

h|A|i = h|i i hi |A|j i hj |i = i Aij j . (3.30)

Por outro lado, temos o projetor |i h|:

1 1 1 2 1 k



2 1 2 2 2 k
.. .. .. ..
|i h| = hi |i h|j i = i j = . . . . , (3.31)

k 1 k 2 k k



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

em que um produto ditico. O produto acima pode ser visto como uma operao de um
vetor coluna em um vetor linha, resultando em uma matriz.
Agora, usaremos a propriedade


|A | = h|A|i


(3.32)

para deduzir a representao matricial do operador adjunto A . Temos


A = i |A |j = hj |A|i i = (Aji ) .


ij
(3.33)

Assim, a matriz que representa o operador adjunto A a transposta conjugada da matriz


que representa A.

3.4 Mudanas de base


Vamos supor um subespao de Hilbert E e duas bases ortonormais = {|i i} e = {|i i} de
E. Sabemos que as seguintes relaes so satisfeitas:

|i i hi | = 1 = |i i hi | , (3.34)

hi |j i = hi |j i = ij . (3.35)

Lembramos que a notao utilizada engloba bases discretas ou contnuas, dependendo do


problema em considerao.
Vamos supor um estado |i E. Podemos escrever

|i = i |i i = i |i i , (3.36)

10
em que i e i so as componentes de |i nas bases e :

i = hi |i , i = hi |i . (3.37)

Podemos tambm escrever os elementos da base como vetores na base , ou seja,

T
|i i = |j i hj |i i Uij |j i , Uij hi |j i (3.38)

ou analogamente,

|i i = |j i hj |i i = Uij |j i . (3.39)

Neste caso, temos

|i = |i i hi |i = |i i hi |j i hj |i = Uij j |i i , (3.40)

com soma (ou integral) em j. Ento,

hi |i = hi |j i hj |i = i = Uij j . (3.41)

Portanto, os coeficientes de um vetor em duas bases distintas esto relacionadas atravs de


uma matriz Uij . Note que


|i i = Uij |j i = Uij Ukj |k i , (3.42)

ou seja,


Ukj Uji = ki , (3.43)

o que indica que a matriz Uij unitria.


A matriz Uij est relacionada a uma operao de mudana de base, definida atravs de
um operador unitrio U . Vamos supor uma base = {|i i} E, e um conjunto de vetores
{|i i} tais que

|i i = U |i i .

Note que

hi |j i = i |U U |j .

Se U unitrio, U U = 1, ento,

hi |j i = hi |j i = ij .

Ou seja, o produto interno invariante por uma transformao unitria.


Tomemos o vetor |i E. O vetor U |i pode ser escrito na base ,

U |i = ci |i i , ci i |U .


(3.44)

11
Aplicando-se U em (3.44),

U U |i = ci U |i i = |i = ci |i i . (3.45)

Note que

ci = i |U = hU i |i = hi |i .


(3.46)

Ainda, temos

h|i i hi |i = h|U i i hU i |i = U |i i |U = U |U = |U U | = h|i ,






ou seja, mostramos que {|i i} uma base de E.


Por outro lado, se = {|i i} e = {|i i} so duas bases de E, temos

U |i i = |i i = |j i hj |i i = Uji |j i . (3.47)

Assim,

U U |i i = U |i i = |j i j |U |i = |j i hU j |i i = |j i hj |i i = |i i ,


(3.48)

ou seja, U U = 1. Para completar a prova recproca:

U |i i = |j i j |U |i = |j i hU j |i i = |j i hj |i i .


(3.49)

Ainda,

U U |i i = U |j i hj |i i = |j i hj |i i = |i i , (3.50)

ou seja, U U = 1. Note que, de (3.47),

hj |U |i i = Uki hj |k i = Uji . (3.51)

De fato, a matriz Uij a representao matricial do operador de mudana de base U .


Em resumo, temos

|i i = U |i i = ci = Uij cj , (3.52)

em que ci e ci so as componentes da expanso de um dado vetor nas bases e . Agora,


consideremos a expresso

Aij = hi |A|j i , (3.53)

que a matriz que representa o operador linear A na base . Ento,

hi |A|j i = U 1 i |A|U 1 j = U i |A|U j ,




j que U unitrio. Portanto,

U i |A|U j = i |U AU |j = hi |U |k i hk |A|l i l |U |j = Uik Akl U lj .







12
Assim,

Aij = Uik Akl U



lj
. (3.54)

Da mesma forma,

Aij = U

ik
Akl Ulj . (3.55)

Essas so as expresses de transformao das representaes matriciais sob uma mudana


de base.

4 O Problema da medida
Seja E um subespao de E e um operador linear A : E E. Dizemos que E um subespao
invariante por A se A |i = |i para todo |i E. O nmero complexo chamado autovalor
de A, enquanto |i denominado autovetor de A correspondente ao autovalor . O problema
de autovalores, neste caso, vem a ser a busca do subespao invariante por um dado operador
A, ou mais especificamente, quais so os autovalores e autovetores correspondentes a este
operador.
O problema de autovalores em espaos de Hilbert est conectado com a mecnica quntica
desde a elaborao de seus axiomas bsicos:

Postulado 2: Uma medida fsica em um sistema quntico representada pela ao de um


operador linear A : E E auto-adjunto.

Postulado 3: O resultado de uma medida em um sistema preparado em um estado puro


deve ser um dos autovalores correspondentes ao operador A. Em outras palavras, uma
medida quntica seleciona, dentre todos os estados de E, um que pertena ao subespao
invariante pela medida.

Seja |i um autovetor, tambm chamado autoestado de A, cujo autovalor . Ento, dado um


nmero complexo a,

A (|ai) = Aa |i = aA |i = a |i = |ai . (4.1)

Portanto, |ai um autovetor de A com o mesmo autovalor . Isto indica que dois vetores
|i e |ai, qualquer que seja a, representam o mesmo estado quntico sob a ao de A. Dois
vetores |i e | 0 i ei |i tambm devem representar o mesmo estado. A razo neste caso
que o produto interno invariante:

h 0 | 0 i = ei |ei = |ei ei | = h|i





(4.2)

e, portanto, a transformao |i | 0 i no pode ter significado fsico. Esta transformao de


fase chamada de transformao de gauge global, pois est relacionada a uma transformao
de simetria do grupo U (1).

13
4.1 Polinmio caracterstico
Vamos tomar o problema de autovalores

A |i = |i = (A 1) |i = 0, (4.3)

em que 1 o operador identidade. Encontrar os autovetores de A equivale, ento, a encontrar


o ncleo do operador A A 1, que consistem nos estados anulados por A.
A condio necessria e suficiente para que (4.3) se cumpra dada por

det A = det (A 1) = 0, (4.4)

em que o determinante calculado como o determinante da representao matricial de A


em uma base ortonormal = {|i i} E. Isto pode ser visto supondo |i = ci |i i e Aij =
hi |A|j i. Ento, (4.3) equivale a

(Aij ij ) cj = 0, (4.5)

e (4.5) torna-se

det (Aij ij ) = 0. (4.6)

No caso discreto, especificamente se a dimenso de E n, a condio (4.6), chamada equa-


o caracterstica de A, torna-se uma equao polinomial de grau n para , cujo polinmio
chamado polinmio caracterstico. O espectro, ou o conjunto dos autovalores de A so as
razes do polinmio caracterstico.
Vamos supor uma mudana de base atravs de um operador unitrio U . Neste caso,
h  i
det (Aij ij ) = 0 det Uik (Akl kl ) U lj = 0.

Como det U = det U = 1,


h  i
det Uik (Akl kl ) U lj = det (Aij ij ) ,

ou seja, o polinmio caracterstico independente da representao. A mais importante con-


sequncia fsica da invarincia da equao caracterstica por transformaes unitrias a
independncia do espectro de um operador com a representao.

4.2 Operadores auto-adjuntos


Seja um operador A : E E, se A = A , ou seja, se o operador coincidir com seu operador
adjunto, dizemos que A auto-adjunto, ou hermitiano. Ou seja, para que um operador A seja
auto-adjunto, necessrio e suficiente que

h|Ai = hA|i . (4.7)

Tomemos o problema de autovalores

A |i = |i ,

14
em que |i , sem perda de generalidade, unitrio. Ento,

h|A|i = h|i = . (4.8)

Por outro lado,

hA|i = h|i = . (4.9)

Se A auto-adjunto, a relao (4.7) deve implicar h|A|i = hA|i, ou seja, = . Portanto,


os autovalores de um operador auto-adjunto so reais.

4.3 Teorema espectral para operadores auto-adjuntos


4.4 Observveis compatveis
Sejam A e B dois operadores auto-adjuntos. Dizemos que ambos so compatveis se

[A, B] = AB BA = 0, (4.10)

ou seja, quando os operadores comutam entre si. Por outro lado, dizemos que A e B so
incompatveis se

[A, B] 6= 0. (4.11)

Muitas vezes vamos encontrar uma situao em que um conjunto de observveis {AI } seja
compatvel. Neste caso, temos que [AI , AJ ] = 0 para quaisquer valores de I e J.
Vamos supor que A e B sejam compatveis. Neste caso, temos os problemas de autovalores

A |ai = a |ai , B |bi = b |bi . (4.12)

O operador B, por exemplo, pode ser expandido na base |ai i de A:

B = |ai i hai | B |aj i haj | = (hai |B| aj i) |ai i haj | . (4.13)

As componentes matriciais hai |B| aj i, por outro lado, so diagonais se A e B so compat-


veis. Observe que, se [A, B] = 0, ento

hai |[A, B]| aj i = 0. (4.14)

Assim, lembrando-se que A auto-adjunto,

0 = hai |[A, B]| aj i = hai |AB| aj i hai |BA| aj i


= hAai |B| aj i hai |B| Aaj i = ai hai |B| aj i aj hai |B| aj i ,

em que, neste caso, no h soma em i ou j. Ento,

(ai aj ) hai |B| aj i = 0. (4.15)

Se o espectro de A no degenerado (o caso degenerado ser tratado adiante), ento det hai |B| aj i =
6

15
0, ou seja, ai = aj , e podemos escrever

ha1 |B| a1 i 0 0
0 ha2 |B| a2 i 0


hai |B| aj i = ij haj |B| aj i = .
0 0 ha3 |B| a3 i
.. .. ..

..
. . . .

Ento, suponha a ao de B em um autovetor |ak i:

B |ak i = |ai i hai | B |aj i haj |ak i = |ai i hai | B |aj i jk = |ai i hai | B |ak i
= |ai i ik hak | B |ak i = |ak i hak | B |ak i .

Temos, assim,

B |ak i = (hak | B |ak i) |ak i , (4.16)

sem soma em k. O que acabamos de mostrar que, se A e B comutam, os autovetores de A


so tambm autovetores de B, com autovalores

bk hak | B |ak i . (4.17)

Se os autovalores de A so no degenerados, A e B possuem o mesmo conjunto de auto-


estados, caso sejam compatveis. comum escrever uma base simultnea de A e B pela
denominao |abi, de modo que

A |abi = a |abi , B |abi = b |abi . (4.18)

Vamos supor um sistema preparado em um estado puro |i, e dois observveis compatveis
A e B. Se executamos uma medida B em |i, temos

B |i = B (|abi i habi |) |i = B |abi i habi |i = (b hab|i) |abi ,

ou seja, B seleciona um auto-estado |abi. Com a ao de A, temos

AB |i = (b hab|i) A |abi = (ab hab|i) |abi .

Assim, uma medida sequencial de dois observveis compatveis seleciona o mesmo auto-
estado quntico. O caso degenerado ser avaliado mais adiante.
Neste caso, se considerarmos um conjunto {AI } de observveis mutuamente compatveis,
existir uma base X E que formada por autovetores simultneos de todo o conjunto. A
medida sucessiva desses observveis preserva a informao do estado escolhido em todas as
etapas, ou seja, as medidas em si so compatveis.

4.5 Observveis incompatveis


Se A e B so dois observveis incompatveis, vemos a principio que no existe uma base de E
que seja formada por auto-estados simultneos de A e B. Vamos supor que [A, B] 6= 0 e que

16
tal base exista. Ento,

AB |abi = ab |abi , BA |abi = ba |abi = ab |abi , (4.19)

ou seja, AB |abi = BA |abi e [A, B] = 0, o que nega a premissa. Dois observveis com o mesmo
conjunto de auto-estados so necessariamente compatveis.
Agora, vamos supor trs observveis A, B, C genricos. Os autovalores so denotados
respectivamente por a, b, c, enquanto seus respectivos auto-estados do dados por |ai, |bi, |ci.
Em um experimento de medidas sucessivas, um estado puro |i submetido primeiro a uma
medida de A, depois uma medida de B e, por fim uma medida de C. Temos

A B C
|i |ai |bi |ci .

A probabilidade de que uma medida sequencial, que passe pelos estados |ai e |bi, resulte
em um determinado auto-estado |ci, dada pelo produto
2 2 2
|ha|i| |hb|ai| |hc|bi| = ha|i h|ai ha|bi hb|ai hb|ci hc|bi
= h|ai ha|i hc|bi hb|ai ha|bi hb|ci . (4.20)

Agora, consideremos um ensemble de experimentos do mesmo tipo, em que os estados |i, |ai
e |ci so mantidos, mas somamos a probabilidade acima para todos os possveis auto-estados
de B. Ou seja,
X
h|ai ha|i hc|bi i hbi |ai ha|bi i hbi |ci . (4.21)
i

Agora, considere a sucesso de medidas

A C
|i |ai |ci ,

ou seja, a medida em B no efetuada. A probabilidade de transio dada por

2 2
|ha|i| |hc|ai| = h|ai ha|i hc|ai ha|ci . (4.22)

Vamos considerar |bi i os auto-estados no degenerados de B. Assim,


2 2
|ha|i| |hc|ai| = h|ai ha|i hc|ai ha|ci
X
= h|ai ha|i hc|bi i hbi |ai ha|ci
i
X
= h|ai ha|i hc|bi i hbi |ai ha|bj i hbj |ci . (4.23)
i,j

O resultado de ambos os experimentos claramente distinto, o que uma propriedade da


mecnica quntica que soa inesperada. De fato, o resultado da medida em C depende de a
medida B ser de fato realizada ou no.
Ambas as probabilidades so iguais, entretanto, se A e B so compatveis, ou se B e Cso
compatveis. Se [A, B] = 0, os autovetores |bi i so tambm auto-estados de A, de modo que

17
hbi |ai = ia . Ento,
X X
h|ai ha|i hc|bi i hbi |ai ha|bi i hbi |ci = h|ai ha|i hc|bi i ia ai hbi |ci
i i
2 2
= h|ai ha|i hc|ai ha|ci = |ha|i| |hc|ai| .

Assim, observveis compatveis no distinguem entre dois experimentos de ensembles em


que B medido em todos os seu possveis resultados, ou em que B no sequer medido. Para
observveis no compatveis, entretanto, a prpria natureza da medida distingue entre estes
casos.

4.6 Desvio padro


Como uma medida quntica real realizada em um ensemble de sistemas, devemos tam-
bm analisar como medidas mdias de observveis se comportam no caso geral. Para dois
observveis A e B quaisquer, os valores esperados

hAi = h|A|i , hBi = h|B|i (4.24)

so as medidas mdias de A e B em um grande conjunto de sistemas preparados em um


estado puro. Definimos, assim, o desvio padro mdio de uma medida como a quantidade
2

2 2
A () = A hAi
2
|A2 | h|A|i .


= (4.25)

Esta uma quantidade estritamente positiva que permite determinar o quo precisa a dis-
tribuio das possveis medidas de A em comparao com seu valo mdio hAi . Por exemplo,
se |i um auto-estado normalizado de A, temos

hAi = h|A|i = h|i = , (4.26)

enquanto

2
2
() = A2 hAi = 2 = 0,


A (4.27)

j que real.
Uma importante desigualdade, que vem da definio do produto interno, a desigualdade
de Schwartz. Vamos tomar o produto interno h + | + i, que positivo-definido:

h + | + i 0.

Note que

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

Essa inequao vale especialmente para

h|i
= ,
h|i

18
ou seja,

h|i h|i h|i h|i h|i h|i
h|i + h|i 0,
h|i h|i h|i h|i

que resulta em
2 2 2
|h|i| |h|i| |h|i|
h|i + 0,
h|i h|i h|i

ou seja,

2
h|i h|i |h|i| , (4.28)

Esta a denominada desigualdade de Schwartz.


Com a definio de desvio padro mdio, temos

2 2 2
() = |A2 | h|A|i = |A2 | |h|A|i| .



A

Por sua vez, a desigualdade (4.28) implica em

2
|h|Ai| h|i hA|Ai , (4.29)

ou seja,

2 2
() = |A2 | h|A|i |A2 | h|i hA|Ai .



A


Se |i unitrio, h|i hA|Ai = hA|Ai = |A2 | , ou

2
() |A2 | = 0,


A (4.30)

ento o desvio padro sempre positivo ou nulo.


Outra forma de representar o desvio padro mdio de um operador em determinado estado
atravs do operador deslocado

A A h|A|i 1 = A hAi 1. (4.31)

Assim,

2
() = |A2 | .


A (4.32)

2 2
Note que A2 = A2 + hAi 1 2A hAi , cujo valor esperado dado por

2 2 2
|A2 | = A2 + hAi 2 hAi = A2 hAi ,



que resulta na definio (4.25).


Vamos tomar dois operadores A e B, cujos desvios mdios so dados por

2
() = |A2 | , 2
() = |B2 | .



A B (4.33)

19
O produto de ambas as quantidades resulta em

2 2
() = |A2 | |B2 | = |A2 |B2 .





A () B

Com a desigualdade de Schwartz, temos

2
|A2 |B2 = hA |A i hB |B i |hA |B i| ,


ou seja,

2 2 2
A () B () |h|A B |i| . (4.34)

Primeiro, notemos que

1 1
A B = [A , B ] + {A , B } , (4.35)
2 2
em que {A , B } = A B + B A o anticomutador entre A e B . Segundo, temos

[A , B ] = [A h|A|i 1, B h|B|i 1] = [A, B] , (4.36)

visto que a identidade comuta com todo observvel. Por outro lado,

{A , B } = {A, B} 2 h|A|i B 2 h|B|i A + 2 h|A|i h|B|i 1.

A quantidade de interesse

2
|h| {A , B } |i| , (4.37)

em que A e B so auto-adjuntos. Ento,


n o

{A , B } = (A B ) + (B A ) = B A + A B = A , B = {A , B } ,

ou seja, h| {A , B } |i real. Temos

2 2 2 1 2 1 2
A () B () |h|A B |i| = |h| [A, B] |i| + |h| {A , B } |i|
4 4
1 2
|h| [A, B] |i| .
4
Dizemos que

2 2 1 2
A () B () |h| [A, B] |i| (4.38)
4
uma relao de incerteza.

4.7 Sistemas de dois nveis


O experimento de Stern-Gerlach, que motivou nossa introduo matemtica mecnica qun-
tica, um sistema de dois nveis, caracterizado por um espao de Hilbert de duas dimenses.
Como base deste espao, vamos utilizar os estados

|+i , |i (4.39)

20
que vamos supor ser autoestados de um operador Sz , que mede o spin de um tomo de prata
na direo z. Vamos supor que esta base ortonormal, ou seja,

h+|+i = h|i = 1, h+|i = 0, (4.40)

e completa, ou seja,

(|+i h+|) + (|i h|) = 1. (4.41)

A medida de Sz sobre um estado puro |i do sistema resulta, na analogia com o experi-


mento, em dois feixes de tomos, um no estado |+i com autovalor +~/2 e outro com autovalor
~/2. Assim, Sz pode ser escrito como o operador

~
Sz = [|+i h+| |i h|] . (4.42)
2
Temos
~ ~
Sz |+i = + |+i , Sz |i = |i , (4.43)
2 2
como esperado.
Vimos que uma medida de spin na direo x, que representamos pelo operador Sx , resulta
em dois autoestados de Sx com igual intensidade. Ambos os estados podem ser denotados por
|Sx i e podem ser expandidos na base de Sz :

|Sx i = (|+i h+|) + (|i h|) |Sx i


= |+i h+|Sx i + |i h|Sx i (4.44)

Sobre os coeficientes, sabemos que

2 2 1
|h+|Sx i| = |h|Sx i| = , (4.45)
2
o que garante que ambos os estados tenham a mesma probabilidade de medida. No geral,
temos
1
|Sx i = [|+i |i] , (4.46)
2

em que um fator de normalizao.


Os estados |Sx i so, em si, ortonormais. Assim, por exemplo,

1 1
[h+| h|] [|+i |i] = 1 2 = 0,

hSx |Sx i =
2 2
e temos que um nmero complexo unitrio, que podemos representar por

= ei ,

com real. Esta tambm a condio para que hSx |Sx i = 1.


O operador Sx , por outro lado, pode ser construdo da mesma forma que Sz :

~
Sx = [|Sx +i hSx +| |Sx i hSx |] . (4.47)
2

21
Com (4.46),
1
|Sx +i hSx +| = [|+i + |i] [h+| + h|]
2
1
= [|+i h+| + |+i h| + |i h+| + |i h|]
2
1
= [ |+i h| + |i h+|] ,
2
e
1
|Sx i hSx | = [|+i |i] [h+| h|]
2
1
= [|+i h+| |+i h| |i h+| + |i h|]
2
1
= [ |+i h| + |i h+|] ,
2
de modo que

~
Sx = [ |+i h| + |i h+|] . (4.48)
2
A construo de Sy e seus autoestados segue a mesma sistemtica. Temos

1
|Sy i = [|+i |i] , (4.49)
2

em que um nmero complexo unitrio da forma ei , com real. Por outro lado,

~
Sy = [ |+i h| + |i h+|] . (4.50)
2
Para fixar e , ou e , vamos usar a invarincia por rotaes do sistema. Se uma
medida sequencial de Sz e Sx resulta em feixes de igual intensidade, uma medida sequencial
de Sx e Sy deve resultar no mesmo. Assim,

2 2 1
|hSy + |Sx i| = |hSy |Sx i| = .
2
Esta condio resulta em

2
|[1 ]| = 2.

Isto significa que



cos ( ) = 0 = = k . (4.51)
2
Vamos supor que = 0 e = /2, a princpio. Assim,

~
Sx = [|+i h| + |i h+|] , (4.52a)
2
~
Sy = [i |+i h| + i |i h+|] , (4.52b)
2
~
Sz = [|+i h+| |i h|] , (4.52c)
2

22
enquanto os autoestados so dados por

1
|Sx i = [|+i |i] , (4.53a)
2
1
|Sy i = [|+i i |i] , (4.53b)
2
|Sz i = |i . (4.53c)

5 Exerccios
1. Quais so os valores esperados dos operadores Sx , Sy e Sz e seus respectivos desvios
padres mdios, para um estado inicial |i puro? Explique os resultados tendo em vista
o experimento de Stern-Gerlach.

2. Seja Si = Sx , Sy , Sz . Mostre que [Si , Sj ] = iijk ~Sk , sendo  o smbolo antissimtrico



de Levi-Civita. Mostre tambm que {Si , Sj } = ~2 /2 ij . Sendo no compatveis os
operadores Si , qual a relao de incerteza entre esses observveis no estado |+i? Mostre
qual combinao linear de |i que minimiza as relaes de incerteza?
 
3. Calcule o operador S 2 = Si Si = Sx2 +Sy2 +Sz2 usando a base de Sz . Mostre que S 2 , Si = 0
para Si = Sx , Sy , Sz . Qual a base simultnea de Sz e S 2 . Quais os autovalores de S 2 e o
que eles significam?

4. Defina-se os operadores S Sx iSy . Escreva sua forma explcita na base de Sz .


Mostre que esses operadores so operadores de troca |+i  |i.

5. Considere um espao de estados cuja base um conjunto {|ai i} de autoestados de um


observvel A no degenerado. Mostre que
Y
(A ai 1) = 0.
i

Qual o significado de
Y (A aj 1)
?
ai aj
j6=i

Ilustre essas questes supondo A = Sz no sistema de dois nveis.

6. Seja ~n o vetor unitrio ilustrado na figura abaixo, com ngulos ~


azimutal
E e polar , e S
~
o vetor cujas componentes so (Sx , Sy , Sz ). Calcule o estado S ~n+ na base |i de Sz ,
sendo
E E
S~ ~n S~ ~n+ = ~ S~ ~n+ .
2

~ ~n nesta mesma base.


Mostre a forma explcita de S

7. Considere o operador

H = a (|1i h1| |2i h2| + |1i h2| + |2i h1|) ,

23
de um sistema de dois nveis com base {|1i , |2i} ortonormal. Encontre os autovalores e
os autoestados de H nesta base.

8. Construa o operador unitrio que conecta as bases de autovetores de Sz e Sx . Mostre


que ele consistente com a definio geral
X
U= |i i hi | .
i

24