Beruflich Dokumente
Kultur Dokumente
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
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
H o operador diferencial hamiltoniano, definido a partir da funo hamiltoniana do sistema
clssico pela identificao
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;
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
|(, )| || || , (1.6)
h|i (, ) . (1.7)
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,
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:
|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
2
P = P , (2.5)
|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)
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)
5
3. (A + B) = A + B ;
4. (AB) = B A .
hi |j i = 0 i 6= j (3.1)
hi |j i = ij , (3.2)
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)
Se i um ndice contnuo,
ci |i i dn q c (q1 , q2 , , qn ) | (q1 , q2 , , qn )i , (3.8)
hj |i = ci hj |i i = ci = hi |i . (3.9)
|i = ci |i i = hi |i |i i = |i i hi |i = (|i i hi |) |i . (3.10)
|i i hi | = 1. (3.11)
|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 .
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)
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 .
h| = ci hi | ci = h|i i . (3.22)
|i = |i i hi |i = ci |i i . (3.25)
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
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)
A = i |A |j = hj |A|i i = (Aji ) .
ij
(3.33)
|i i hi | = 1 = |i i hi | , (3.34)
hi |j i = hi |j i = ij . (3.35)
|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)
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)
|i = |i i hi |i = |i i hi |j i hj |i = Uij j |i i , (3.40)
hi |i = hi |j i hj |i = i = Uij j . (3.41)
|i i = Uij |j i = Uij Ukj |k i , (3.42)
ou seja,
Ukj Uji = ki , (3.43)
|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 .
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
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)
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)
|i i = U |i i = ci = Uij cj , (3.52)
12
Assim,
Da mesma forma,
Aij = U
ik
Akl Ulj . (3.55)
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:
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:
13
4.1 Polinmio caracterstico
Vamos tomar o problema de autovalores
A |i = |i = (A 1) |i = 0, (4.3)
(Aij ij ) cj = 0, (4.5)
e (4.5) torna-se
A |i = |i ,
14
em que |i , sem perda de generalidade, unitrio. Ento,
[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
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
.. .. ..
..
. . . .
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,
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
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.
16
tal base exista. Ento,
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
A C
|i |ai |ci ,
2 2
|ha|i| |hc|ai| = h|ai ha|i hc|ai ha|ci . (4.22)
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| .
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
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
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)
2 2 2
() = |A2 | h|A|i = |A2 | |h|A|i| .
A
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)
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 ,
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
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)
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
visto que a identidade comuta com todo observvel. Por outro lado,
A quantidade de interesse
2
|h| {A , B } |i| , (4.37)
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.
|+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,
e completa, ou seja,
~
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 :
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
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 ,
~
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.
~
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.
Qual o significado de
Y (A aj 1)
?
ai aj
j6=i
7. Considere o operador
23
de um sistema de dois nveis com base {|1i , |2i} ortonormal. Encontre os autovalores e
os autoestados de H nesta base.
24