AO ` MATEMATICA
DA MECANICA
QUANTICA
ARTUR O. LOPES
A Mecanica Quantica e a teoria que descreve as leis fsicas que regem as partculas
de massa muito pequena. O seu entendimento foi sem duvida um dos grandes feitos
cientficos do seculo XX.
Meu objetivo ao escrever este texto foi permitir que os estudantes dos nossos cur-
sos de Matematica possam entender e apreciar a beleza desta teoria. Foi planejado
para ser uma primeira leitura sobre este topico. O texto foi escrito por e para pes-
soas que sao principiantes neste topico. Tentei aqui apresentar as ideias fundamentais
desta teoria partindo do princpio que o leitor e um estudante que raciocina de forma
matematicamente rigorosa. A fundamentaca o matematica completa destas requer, no
entanto, o estudo de topicos mais avancados e que estao acima do escopo do presente
texto.
Sobre os pre-requisitos para entender o livro posso afirmar que o primeiro captulo
exige apenas aquele conhecimento basico que constitui o material coberto nos primeiros
tres anos de um Bacharelado em Matematica. Aqui e ali mencionamos algum topico
mais avancado, mas, certamente, nao e algo que o seu desconhecimento possa preju-
dicar o entendimento da seque ncia logica da narrativa. Destaco aqui o fato inequvoco
que a Analise Funcional e uma das ferramentas fundamentais para o entendimento da
Mecanica Quantica, mas de fato, nesta primeira parte nao se usa realmente nenhum
resultado sofisticado desta teoria. Um estudante que entendeu bem os topicos usuais
de Algebra Linear em Espacos Vetoriais (dimensao finita) nao vai ter dificuldade em
extrapolar os resultados basicos ja conhecidos para espacos de dimensao infinita.
Existem alguns livros excelentes que foram publicados recentemente sobre este
assunto. Minha intenca o foi produzir um texto em portugues que descreva a Mecanica
Quantica de forma que seja matematicamente inteligvel, e, ao mesmo tempo, que nao
se prenda a detalhes de formalizaca o excessiva. Numa primeira leitura, este excesso
a que me refiro, pode comprometer o entendimento das ideias fundamentais. Tentei
manter a redaca o dentro de um equilbrio entre estes dois extremos.
Os resultados considerados no texto, ou sao rigorosamente demonstrados, ou, entao
sao descritos atraves do apelo ao bom senso e a intuica o matematica. No u ltimo
caso sempre menciono referencias para consulta que permitirao ao leitor interessado
aprofundar o material exibido. Exemplos sao apresentados a cada momento em que
introduzimos um novo conceito. Exemplo aqui significa exemplo matematico e nao
oriundo da Fsica.
A Mecanica Quantica e daquelas teorias em que se precisa compreender certa quan-
tidade razoavel de resultados para que o todo faca sentido. Assim, minha sugestao e
que o leitor tente entender a cada passo o que vai sendo exposto, mas sem se prender
demais a aspectos que, eventualmente, nao ficaram de todo claro. Muitas vezes, um
pouco mais adiante no texto, aquilo que nao foi de todo compreendido se esclarece
quando olhado de um panorama mais amplo. Esta teoria e cheia de aspectos surpreen-
dentes e que conflitam com a percepca o do mundo sensvel a nossa volta. Mas, apos
certo tempo para amadurecimento dos conceitos em nossa mente, percebemos que
INTRODUC A
AO ` MATEMATICA
DA MECANICA
QUANTICA 3
page 1
Conte
udo
2017/5/16
quantum2013
page 2
2
CONTEUDO Cap. 0
Bibliografia 377
2017/5/16
quantum2013
page 1
0.1 Alguns pr
e-requisitos
Todo n
umero complexo a + bi se escreve como
a + b i = e i = (cos() + i sin()),
2017/5/16
quantum2013
page 2
2 Alguns pr
e-requisitos Cap. 0
lim vn = w.
n
2017/5/16
quantum2013
page 3
Alguns pr
e-requisitos 3
e
< u, v > = < u, v > .
O espaco vetorial complexo E acima e de Hilbert e tem dimensao
finita. Os espacos vetoriais de Hilbert que vamos prioritariamente con-
siderar no texto tem dimensao infinita.
Algumas vezes usamos tambem a notacao < x|y > em vez da ex-
pressao < x, y > .
2017/5/16
quantum2013
page 4
4 Alguns pr
e-requisitos Cap. 0
Note que < u, v > = < u|v > = < v|u > = < v, u >.
As vezes se diz que < u|v > e o braketdo vetor u com o vetor v.
Pk
Acima queremos dizer que se vk = n=0 n n H, ent ao esta
sequencia vk converge ao vetor quando k .
Alguns textos requerem que na Definicao 0.1 se exija que o espaco de
Hilbert possua um conjunto enumeravel denso (chamado de espaco de
Hilbert separavel). Todos os espacos que vamos considerar aqui, entre
avel em Rn , (ver definicao
eles o espaco das funcoes de quadrado integr
a seguir) satisfazem tal propriedade.
O limite acima ser a descrito pela express
ao formal
X
= n n .
n=0
facil ver que neste caso vale = P < n | > n , ou seja, temos
E n
que n =< n | >. Alem disto,
s s
X X
|| = 2
|n | = | < n | > |2 .
n n
importante n
E ao confundir o conceito de conjunto ortonormal com-
pleto com o conceito de base de um espaco vetorial (que considera apenas
somas finita).
Os exemplos de espacos de Hilbert que consideraremos usualmente
s
ao
2017/5/16
quantum2013
page 5
Alguns pr
e-requisitos 5
onde dx = dx1 dx2 ... dxn e a medida de Lebesgue usual. Uma funcao
do tipo acima e chamada de funcao de quadrado integrR avel.
Para : Rn C, e : Rn C, tais que, ||2 (x)dx < ,
R R
||2 (x)dx < , definimos
qR o produto interno < , >= (x) (x) dx.
Neste caso, || = |(x)|2 dx = < , > define uma norma que o
torna um espaco de Hilbert. Note que uma funcao neste espaco esta
definida a menos de um conjunto de medida de Lebesgue zero [91]. Dizer
que duas funcoes , est
ao proximas significa que
sZ
|(x) (x)|2 dx < .
2017/5/16
quantum2013
page 6
6 Alguns pr
e-requisitos Cap. 0
R R
que, M ||2 (x)dx < , M ||2 (x)dx < , n os definimos < , >=
R
M (x) (x) dx. qR
Neste caso || = 2
M |(x)| dx.
Um caso particularmente interessante e o toro de dimensao n que
pode ser descrito por [0, 2 )n Rn onde os pontos da fronteira s ao
identificados da forma usual. Neste caso, se toma dx como a medida
usual de Lebesgue em [0, 2 )n Rn (algumas vezes dividida por (2)n
para ser normalizada). Por exemplo, o crculo S 1 sera identificado com
[0, 2 ).
Note que para C, and, , L2C (Rn )(dx), vale
e
< , > = < , > .
Observa
c
ao: Se para v1 , v2 fixos, vale que para todo v
< v1 v2 , v > = 0,
entao v1 = v2 .
De fato, tome v = v1 v2 , e entao, se v1 v2 6= 0, temos contradicao
(porque < v, v >= 0, se e s
o se, v = 0).
Uma funcao L : H1 H2 e linear se para qualquer 1 , 2 C e
v1 , v2 H1 , vale
2017/5/16
quantum2013
page 7
Alguns pr
e-requisitos 7
entao L1 = L2 .
De fato, para cada v1 fixo, aplique o resultado acima para todos os
v2 possveis. Segue que L1 (v1 ) = L2 (v1 ).
2017/5/16
quantum2013
page 8
8 Alguns pr
e-requisitos Cap. 0
2017/5/16
quantum2013
page 9
Alguns pr
e-requisitos 9
2017/5/16
quantum2013
page 10
10 Alguns pr
e-requisitos Cap. 0
2017/5/16
quantum2013
page 11
Alguns pr
e-requisitos 11
Definic
ao 0.11. O conjunto dos autovalores de L que s ao isolados do
espectro e de multiplicidade finita e denominado de espectro pontual de
L e denotado por p (L).
dx2
+ i d dxb(x)
2 . Este operador L nao esta definido para todo em
L2C ([0, 2])(dx), mas apenas para as funcoes que s ao duas vezes dife-
renci a em L2C ([0, 2])(dx)). O conjunto de
aveis (e a segunda derivada est
usual na te-
tais funcoes define um conjunto denso em L2C ([0, 2])(dx). E
oria, como veremos, que os operadores mais importantes est ao definidos
num domnio denso no espaco de Hilbert.
Para um n Z fixo tome n (x) = ei n x = cos(n x) + i sin(n x). E
2
facil ver que L(n ) = n n . Assim, cada n e uma autofuncao para
L. Observe que os n , n Z, definem os elementos em que se expressa
a Serie de Fourier na sua forma complexa (ver [35] ou [262]).
O autovalor n2 tem multiplicidade (complexa) igual a 2.
Outro exemplo: seja o espaco de Hilbert real H = L2R ([0, 2])(dx)
e L o operador tal que para uma : [0, 2] R temos L() = ,
2 (x)
onde (x) = d dx 2 . Observe que para cada n N fixo temos que
L(cos(n x)) = n cos(n x). Ainda, L(sin(n x)) = n2 sin(n x). Note, neste
2
caso, que uma funcao qualquer em L2R ([0, 2])(dx) pode ser expressa
em Serie de Fourier na sua forma real (em funcao de seno e coseno)
conforme [35] ou [262].
2017/5/16
quantum2013
page 12
12 Alguns pr
e-requisitos Cap. 0
onde n C.
claro que p (L) (L) pois, se p (L), entao (L I) n
E ao
tem inversa.
Definic
ao 0.12. Os elementos do espectro que n
ao fazem parte do es-
pectro pontual constituem o que se denomina espectro contnuo.
Defini
cao 0.13. O complemento do espectro e chamado de resolvente
e denotado por (L).
< L(v), v > = < L (v), (v) > = < v, L(v) > = < v, v > = |v|2 .
2017/5/16
quantum2013
page 13
Alguns pr
e-requisitos 13
Se U e unit
ario entao os autovalores de U s
ao n
umeros complexos
de norma igual a 1. De fato, note que se U (v) = v, para v 6= 0, entao
|v|2 = < v, v > = < U U (v), v > = < U (v), U (v) > =
< L(v1 ), v2 > < v1 , L(v2 ) > = < L(v1 ), v2 > < L(v1 ), v2 > = 0.
Assim, se 1 6= 2 , entao, < v1 , v2 > = 0. Os operadores unit
arios
e auto-adjuntos desempenham um papel importantssimo na Mecanica
Quantica. Vamos precisar em breve de um conceito um pouco mais geral
do que o de auto-adjunto.
Defini ao 0.14. Dizemos que um operador A em L(H1 , H2 ) e compacto
c
se ele leva conjuntos limitados contidos em H1 em conjuntos cujo fecho
e compacto em H2 . O conjunto dos operadores compactos e denotado
por C(H1 , H2 ).
2017/5/16
quantum2013
page 14
14 Alguns pr
e-requisitos Cap. 0
2017/5/16
quantum2013
page 15
Alguns pr
e-requisitos 15
n
X
lim j j j , onde j = < , j >
n
j=0
Desta forma a acao de L num vetor qualquer tem uma forma muito
simples de ser calculada.
Usaremos, para simplificar a notacao, express
oes do tipo
X
X
L( j j ) = j j j ,
j=0 j=0
X
X
X
X
< j n j , j j > = j j j = j |j |2 R.
j=0 j=0 j=0 j=0
Ou seja, se L
e autoadjunto, ent ao < L(), > R para
qualquer .
Podemos mostrar isto de outra forma: se L e autoadjunto
X N
X
n n
= an = lim an ,
|n | N |n |
nZ n=N
2017/5/16
quantum2013
page 16
16 Alguns pr
e-requisitos Cap. 0
2017/5/16
quantum2013
page 17
Alguns pr
e-requisitos 17
2017/5/16
quantum2013
page 18
18 Alguns pr
e-requisitos Cap. 0
Isto segue do fato que |An | |A|n , para todo n, que B(H) e com-
pleto e, ainda que, toda serie absolutamente convergente em B(H) e
convergente.
Note que
X X
1 n 1
|A | |A|n = e|A| .
n! n!
n=0 n=0
eA eA = eAA = e0 = I = eA eA ,
2017/5/16
quantum2013
page 19
Alguns pr
e-requisitos 19
e x(t) = et i A (v).
Assim, se a condicao inicial v satisfaz |v| = 1, temos que para todo
t 0 vale | et i A (v) | = 1. Este fato descreve em termos simplificados a
ideia b
asica por tr as da equacao de Schrodinger que apresentaremos em
breve.
Observe que usamos na demonstracao acima o fato que a funcao
A A e contnua.
Observa c
ao 1. Para A autoadjunto n
ao limitado podemos definir
o seguinte operador limitado:
1 2
A = [(A + iI)1 + (A iI)1 ], > 0.
2
Entao, tomando A A, quando , e usando o fato que A e
limitado, podemos definir eA eA via limite (para maiores detalhes
ver secao 2.20 proposicao 2.52).
A solucao de x = A(x), quando A n ao e limitado, tambem pode ser
obtida via a express tA
ao x(t) = e (x0 ), onde o exponencial foi definido
(via limite em ) da forma acima.
P
Se A e da forma A = n n Pn , onde n , n N, Pdefine um con-
junto ortonormal completo, entao
e f
acil ver que A 2 = 2 P . Mais
P k n n n
geralmente, Ak = P . Dada um funca
o f em s
erie de potencias
P n n n
f (z) = k ak z k , com raio de convergencia R, se o operador A ePlimitado
e tem norma menor que R, entao est a bem definido f (A) = k ak Ak .
k k
Isto segue da propriedade |A | |A| , para todo k, e do fato que num
2017/5/16
quantum2013
page 20
20 Alguns pr
e-requisitos Cap. 0
2017/5/16
quantum2013
page 21
Alguns pr
e-requisitos 21
j {1, 2, 3, ..., n}, onde A : D(A) L2 (Rn )(dx) L2 (Rn )(dx). Usare-
mos a notacao Xj : L2 (Rn )(dx) L2 (Rn )(dx), j {1, 2, 3, ..., n}.
De outra forma: fixado j, dado , se dizemos que Xj () = , entao
e porque para todo x = (x1 , x2 , ..., xn ) vale que
entao, X2 () = , onde
2 2 2 6
(x1 + x2 + x3 ) = x2 sin(x1 + x2 + x3 ) e4 (x1 +x2 +x3 ) .
umero real, para qualquer j
Note que como xj e sempre um n
{1, 2, 3, ..., n}
Z
< Xj , >= xj (x1 , x2 , x3 , ..., xn ) (x1 , x2 , x3 , ..., xn ) dx =< , Xj > .
2017/5/16
quantum2013
page 22
22 Alguns pr
e-requisitos Cap. 0
2017/5/16
quantum2013
page 23
Alguns pr
e-requisitos 23
2017/5/16
quantum2013
page 24
24 Alguns pr
e-requisitos Cap. 0
vR
u
u [0,2]n |V (x1 , ..., xn )|2 |(x1 , ..., xn )|2 dx
t R sup {|V (x)|}.
2
[0,2]n |(x1 , ..., xn )| dx x[0,2]n
Pj () = i~ ().
xj
(x1 , x2 , ..., xn ) = i ~ (x1 , x2 , .., xn ).
xj
2 2 2 2 2 2
P2 (x22 e(x1 +x2 +x3 ) ) = i~ (x22 e(x1 +x2 +x3 ) ) =
x2
2 2 2 2 2 2
i~ [2 x2 e(x1 +x2 +x3 ) 2 x32 e(x1 +x2 +x3 ) ].
2017/5/16
quantum2013
page 25
Alguns pr
e-requisitos 25
Note que esta nao e a unica escolha de domnio que se vai fixar.
Cada escolha de possvel domnio vai definir um operador Pj agindo
num espaco de Hilbert H (o fecho) diferente.
Vamos mostrar que Pj e simetrico no caso n = 1. Assim, j = 1.
Como tem suporte compacto, existe R tal que, (x) = 0, se |x| > R.
Resulta da integracao em [R, R] e de
Defini
c
ao 0.21. O operador
n
X
P= Pj
j=1
Defini c
ao 0.22. O j-esimo operador momento ao quadrado ser a de-
notado por Pj2 , j {1, 2, 3, ..., n}, onde Pj2 : D(Pj2 ) L2 (Rn )(dx)
L2 (Rn )(dx),
2
Pj2 = ~2 2 ().
xj
D(Pj2 ) = { e de classe C 2 e existe uma bola compacta B(R) de raio R
tal que e nula fora desta bola}.
2017/5/16
quantum2013
page 26
26 Alguns pr
e-requisitos Cap. 0
2
(x1 , x2 , ..., xn ) = ~2 (x1 , x2 , .., xn ).
2 xj
7)
2 2
O operador tal que f (f ) = 2 x1 f + .. + 2xn f , quando
f : Rn R e duas vezes diferenci
avel e denominado de Laplaciano.
P 2 = ~2 ,
8) O operador
P momento ao quadrado em [0, 2)n = Tn : denote P 2 o
operador j{1,2,3,...,n} Pj2 , assim P 2 : j D(Pj2 ) L2 ([0, 2)n )(dx)
L2 ([0, 2)n )(dx), onde,
D(Pj2 ) = { tem derivada parcial de ordem dois em relacao a j
e e contnua em (0, 2)n , e, ainda, tem uma extensao duas vezes
diferenciavel a [0, 2]n }.
Este operador e autoadjunto por ser a soma de operadores autoad-
juntos. O espectro de P 2 e enumeravel.
No caso n = 1 as funcoes do tipo n (x) = en i x , n Z, sao tais que
P n = ~2 n2 n . Os n (x) = en i x , n Z, (os elementos da Serie de
2
2017/5/16
quantum2013
page 27
Alguns pr
e-requisitos 27
X
Pj2 = P 2 : D(P 2 ) L2 (M )(dx) L2 (M )(dx),
j{1,2,3,...,n}
2017/5/16
quantum2013
page 28
28 Alguns pr
e-requisitos Cap. 0
Z Z
< K, >= K(x, y)(x) (y)dx dy =
Z Z
(x) K(y, x)(y)dx dy =< , K > .
Proposi ao 0.3. Se K1 e K2 s
c ao operadores integrais (com nucleos K1
e K2 respectivamente), ent ucleo integral de K = K1 K2 e
ao o n
Z
K(x, y) = K1 (x, z)K2 (z, y)dz. (0.1)
Rn
De fato, dado note que
Z
K1 K2 ()(x) = K1 (x, z) [K2 ()(z)] dz =
Z Z Z Z
K1 (x, z) [ K2 (z, y)(y) dy] dz = [ K1 (x, z) K2 (z, y) dz] (y) dy.
2017/5/16
quantum2013
page 29
Alguns pr
e-requisitos 29
Defini c
ao 0.25. Um operador autoadjunto A e positivo (denotamos tal
fato por A 0), se h, Ai 0, D(A). Um operador autoadjunto
A e estritamente positivo se h, Ai > 0, D(A), 6= 0.
Vamos mostrar que, por exemplo, Pj2 , j {1, 2, 3, ..., n}, e positivo.
A prova sera feita para o caso n = 1. Assim abaixo x1 = x.
Note que por integracao por partes (para x 1 [ (x
x1
1)
(x1 )])
Z R Z R
2 (x1 ) (x1 ) (x1 )
< P12 , >= ~2 (x1 ) dx = ~2 dx > 0.
R 2 x1 R x1 x1
Note que como tem suporte compacto, se x 1
= 0, para todo x1 ,
entao, = 0.
Segue do demonstrado acima que P 2 e tambem estritamente positivo.
De maneira mais geral, se A e autoadjunto, entao A2 e sempre posi-
tivo. De fato
2017/5/16
quantum2013
page 30
30 Alguns pr
e-requisitos Cap. 0
2017/5/16
quantum2013
page 31
Captulo 1
Uma Vis
ao Panoramica da
Mec anica Qu
antica
2017/5/16
quantum2013
page 32
32 Uma Vis
ao Panor
amica da Mec
anica Qu
antica Cap. 1
p2 +p2 +p2
No setting classico 1 2m 2 3
e o termo de energia cinetica e V (x)
o termo de energia potencial. Assim o Hamiltoniano H(x, p) e a soma
destas duas energias. Desta forma H descreve a energia total.
A particula e descrita na Mecanica Cl assica de forma deterministica
pela trajetoria (x(t), p(t)) que satisfaz a equa c
ao de Hamilton
H(x, p) H(x, p)
xj (t) = , pj (t) = , j {1, 2, 3},
pj xj
com condicao inicial (x(t0 ), p(t0 )) = (x0 , p0 ) (ver [7], [177], [285] ou [2]).
Suponha que a forca F (x) satisfaca a equacao Vx(x) = F (x) para
todo x. Neste caso dizemos que a forca deriva do potencial V .
Note que a express ao da equacao diferencial acima apenas afirma
que p(t) = mx (t) e que p (t) = F (x(t)). Ou seja, afirma que mx (t) =
F (x(t)), express ao esta que descreve a conhecida Lei de Newton.
Dizemos que x descreve a posicao da partcula e que p descreve o
momento da partcula. Note que o momento, neste caso, e a massa
vezes a velocidade da partcula.
Em resumo, na Mecanica Cl assica se a partcula no tempo t0 esta em
(x0 , p0 ) R6 , ela entao estara, de forma determinstica, no tempo t em
(x(t), p(t)) R6 , seguindo o caminho (x(t), p(t)) que satisfaz a equacao
de Hamilton (uma equacao diferencial ordinaria de primeira ordem em
R6 )
V (x)
x j (t) = pj (t) e pj (t) = , j {1, 2, 3}.
xj
p2
No caso em que H(x, p) : R2 R e H(x, p) = 2m + V (x), onde
V : R R, entao a equacao de Hamilton e
d V (x)
x (t) = p(t) e p (t) = .
dx
2 2
Por exemplo, no caso unidimensional quando H(x, p) = p2 + x2 temos
que (x(t), p(t)) = R (cos t, sin t), R > 0, descreve distintas solucoes da
equacao de Hamilton.
Na Mecanica Cl assica os valores da energia varrem um contnuo de
p2
possibilidades, ou seja, os valores de H(x, p) = 2m + V (x). Uma pro-
priedade importante e a conservacao de energia total: se (x(t), p(t))
satisfaz a equacao de Hamilton para um dado Hamiltoniano H, entao,
H(x(t), p(t)) e constante (isto e, nao depende de t).
2017/5/16
quantum2013
page 33
Sec
ao 1.1 Estados e a equac
ao de Schrodinger 33
para todo t.
Gostaramos que a probabilidade de encontrar a posicao x = (x1 , x2 ,
x3 ) da partcula em (a1 , b1 )(a2 , b2 )(a3 , b3 ), no tempo t, fosse expressa
por
Z
P (Xt (a1 , b1 ) (a2 , b2 ) (a3 , b3 )) = |t (x)|2 dx.
(a1 ,b1 )(a2 ,b2 )(a3 ,b3 )
2017/5/16
quantum2013
page 34
34 Uma Vis
ao Panor
amica da Mec
anica Qu
antica Cap. 1
~2
i~ (t, x) = x (t, x) + V (x)(t, x). (1.1)
t 2m
Ou seja, t (x) e tal que para todo x R3 e todo t 0 vale
2017/5/16
quantum2013
page 35
Sec
ao 1.1 Estados e a equac
ao de Schrodinger 35
~2 2 (t, x)
i~ (t, x) = + V (x) (t, x).
t 2m x2
Assim, fixada uma condicao inicial 0 : R C em L2C (R)(dx), entao
a probabilidade de encontrar a partcula no tempo t no intervalo [a, b]
Rb
seria dada por a |t (x)|2 dx, onde t (x) satisfaz a equacao acima. Na
figura 1 o valor da area achuriada descreve esta probabilidade.
Nao vamos falar neste texto de questoes que envolvem conjunta-
mente a Teoria da Relatividade. Isto e necessario apenas quando se
trabalha com partculas que tem altssima velocidade. Por exemplo, o
entendimento do comportamento dos eletrons emitidos pelos filamentos
incandescentes dentro de um tubo catodico n ao requer uma descricao
nos moldes da Mecanica Qu antica Relativstica. A teoria a ser descrita
aqui basta, em princpio, para a sua comprensao.
Note que, aparentemente, nada se afirma sobre o momento p na
equacao acima (este apareceu na equacao classica de Hamilton). O mo-
mento inicial tambem ser a descrito por uma outra funcao densidade,
via um elemento em L2C (R3 )(dp), onde dp e a medida de Lebesgue em
R3 . Na verdade, uma vez fixada a distribuicao da posicao x, dada pela
condicao inicial t0 , esta nova distribuicao espacial do momento p R3
ficar
a determinada de maneira u nica a partir de t0 como veremos em
breve.
2017/5/16
quantum2013
page 36
36 Uma Vis
ao Panor
amica da Mec
anica Qu
antica Cap. 1
a b
x
Figura 1.1:
~2
(x) = x (x) + V (x)(x) =
2m
~2 2 (x) 2 (x) 2 (x)
( + + ) + V (x) (x).
2m x21 x22 x23
A associacao de H(x, p) com o Operador Hamiltoniano
~2 P2
H= +V = +V
2m 2m
e chamado de quantizacao do sistema classico definido pelo Hamiltoniano
H.
Note que, em primeiro lugar, uma em L2C (R3 )(dx) n ao necessari-
amente e duas vezes diferenciavel. No entanto, o conjunto das funcoes
de classe C 2 e denso em L2C (R3 )(dx), e, para uma geral a acao do
operador H vai ser descrito por uma procedimento limite (na norma do
2017/5/16
quantum2013
page 37
Sec
ao 1.1 Estados e a equac
ao de Schrodinger 37
d 1 1 ~2
= (t) = H((t)) = ( + V) ((t)), (1.3)
dt i~ i~ 2 m
onde (0) = 0 L2C (R3 )(dx), 0 : R3 C, foi fixada como condicao
inicial.
Referimos o leitor a [45] para resultados gerais envolvendo a equacao
de Schrodinger. Notas hist oricas sobre o desenvolvimento da Mecanica
Qu antica aparecem em [67].
Vamos agora considerar um exemplo: seja V = 21 m X 2 , entao neste
caso,
P2 1
H= + m X 2.
2m 2
Neste caso estamos quantizando o Hamiltoniano classico H(x, p) =
p2 1 2
2 m + 2 m x que descreve o oscilador harm
onico.
Lembre que para qualquer constante
d it d
e = ( cos(t) + i sin(t) ) = ( sin(t) + i cos(t) ) =
dt dt
i( cos(t) + i sin(t) ) = i ei t .
Ora,
m 1 m x2 i 1 t m 1 m x2 1 1
(t, x) = ( )4 e 2~ e 2 = ( ) 4 e 2 ~ ( cos( t) + i sin( t) )
~ ~ 2 2
2017/5/16
quantum2013
page 38
38 Uma Vis
ao Panor
amica da Mec
anica Qu
antica Cap. 1
1 m x2 1
d
e tal que dt (t, x) = ( m~ ) 4 e 2~ (i 12 ) ei 2 t .
Note que
d d (t, x) m 1 m x2 i 1 t m m 2 x2
=( )4 e 2~ e 2 [ + ].
dx dx ~ ~ ~2
1
Vamos agora calcular ~i H (), que resulta em
1 ~2 d 2 1 1 m 1 m x2 1 1
( (t, x) ) + m x2 (t, x) = ( ) 4 e 2 ~ (i ) ei 2 t .
i~ 2 m d x2 i~ 2 ~ 2
1 d
Observamos entao que vale a equacao ~i H (t, x) = dt (t, x).
1 2
m2 x~ i 21 t
Assim, conclumos que neste caso (t, x) = ( m~ ) 4 e e e
odinger para V = m
solucao da equacao de Schr 2 X 2 . Tal evolu
ca
o tem-
1 m x2
poral t , t 0, corresponde a condicao inicial (0, x) = ( m~ ) 4 e 2 ~ .
A densidade da distribuicao de probabilidade da posicao x da partcula
1 m x2
no tempo t 0 e dada por |(t, x)|2 = ( m~ ) 2 e ~ (que por acaso n
ao
depende de t).
Retornando ao caso geral, afirmamos que a solucao que descreve a
posicao espacial da partcula ser
a entao descrita por uma curva (t) = t
parametrizada por t 0 no espaco de Hilbert L2C (R3 )(dx). Na verdade
a evolucao ao longo do tempo deveria estar sempre na esfera unit aria de
L2C (R3 )(dx), ou seja, B(1) = { L2C (R3 )(dx), tal que || = 1}. Isto
de fato ocorre pela pr opria estrutura da equacao de Schr odinger como
vamos ver a seguir.
1
A equacao acima, se nao fosse pelo termo i~ , lembraria a equacao da
difusao.
A solucao t = (t) que satisfaz = i~ 1
H(), e a condicao inicial
0 no tempo t = 0, pode ser descrita, em princpio, de forma simples
[235] para t 0 atraves de
1
(t) = et i~ H (0 ).
Note que
1 1
et i~ H (0 ) = et i ~ H (0 ).
A funcao de onda no tempo t 0, obtida atraves da acao do exponen-
cial do Hamiltoniano H, denominada t , e determinada pela condicao
2017/5/16
quantum2013
page 39
Sec
ao 1.1 Estados e a equac
ao de Schrodinger 39
2017/5/16
quantum2013
page 40
40 Uma Vis
ao Panor
amica da Mec
anica Qu
antica Cap. 1
odinger, entao t
Observamos que se t satisfaz a equacao de Schr
satisfaz a equacao de Schr
odinger com tempo invertido
H() = i~ .
t
2017/5/16
quantum2013
page 41
Sec
ao 1.1 Estados e a equac
ao de Schrodinger 41
2017/5/16
quantum2013
page 42
42 Uma Vis
ao Panor
amica da Mec
anica Qu
antica Cap. 1
2017/5/16
quantum2013
page 43
Sec
ao 1.1 Estados e a equac
ao de Schrodinger 43
2017/5/16
quantum2013
page 44
44 Uma Vis
ao Panor
amica da Mec
anica Qu
antica Cap. 1
qR
onde 1 = |0 | = M |0 (x)|2 dx.
O formalismo acima se estende de forma natural a L2C (Rn )(dx). Este
elemento : Rn C e o que chamamos uma funcao de onda em Rn ,
ou, um estado em Rn . Dizemos que est a normalizada se tem norma
neste espaco de Hilbert igual a 1.
Um dos objetivos das pr oximas secoes e esclarecer o que corresponde
na Mecanica Qu antica `a posicao x = (x1 , x2 , x3 , .., xn ) (que usualmente
se considera na Mecanica Cl assica). O operador Xj , j {1, 2, 3, ..., n},
vai desempenhar o papel da coordenada xj da posicao x da partcula
classica.
Vamos analisar tambem em breve o que corresponde na Mecanica
Qu antica ao momento p = (p1 , p2 , p3 , .., pn ) da Mecanica Cl assica. O
operador Pj , j {1, 2, 3, ..., n}, onde Pj () = i~ x j
vai desempenhar
o papel da coordenada pj do momento classico p.
Defini
c
ao 1.2. E usual chamar U (t) = et i ~1 H de propagador, ou,
operador de evolucao, associado ao gerador infinitesimal i 1~ H.
2017/5/16
quantum2013
page 45
Sec
ao 1.1 Estados e a equac
ao de Schrodinger 45
i~ (t, x) = H(t, x),
t
seja escrita, via separacao de variaveis, como (t, x) = c(t) (x).
Obtemos assim, substituindo a express ao na equacao de Schr
odinger,
e, a seguir, derivando em t
i~ c (t) H()(x)
= = .
c(t) (x)
i
Desta forma obtemos que c(t) = e ~ t , para to t 0, e, ainda que
H() = , para todo x.
i
Assim, tal (t, x) = e ~ t (x), onde e autovetor de H associado
ao autovalor , descreve uma classe especialde solucoes da equacao de
Schrodinger com condicao inicial .
t i
Se 0 nao e autofuncao de H, de qualquer forma, t = e ~ H 0
descreve a evolucao temporal do estado inicial 0 ao longo do tempo
t 0.
Um estudo matematicamente rigoroso da equacao H() = 2~m +
2
2017/5/16
quantum2013
page 46
46 Uma Vis
ao Panor
amica da Mec
anica Qu
antica Cap. 1
2
Note que o operador Hamiltoniano P 2 = ~2 dd2 x (o caso em
que V = 0 e m = 1), agindo em L2C ([0, 2 ])(dx), e tal que para cada n
natural, vale que (x) = ei n x e autofuncao em L2C ([0, 2 ])(dx) associada
ao autovalor ~2 n2 . A funcao cos(nx) tambem e autofuncao associada
ao autovallor ~2 n2 .
Definic
ao 1.3. Um estado inicial e dito estacion ario para H se
U (t)() = t , e tal que para todo t 0, e, para todo x, vale
|(x)|2 = |t (x)|2 .
m
Por exemplo, se V = 2 X 2 , sabemos que
m 1 m x2 i 1 t
(t, x) = ( )4e 2~ e 2
~
satisfaz a equacao de Schr
odinger. Note que neste caso
m 1 m x2
(0, x) = ( )4e 2~
~
define um estado inicial estacion
ario. 2
x
1 ~
Note que |(0, x)|2 = ( m~ ) 2 e m determina uma distribuicao de
~
probabilidade Gaussiana fixa que tem media zero e vari ancia 2m . Ob-
serve que se a massa m for grande entao a vari
ancia ser
a pequena.
2017/5/16
quantum2013
page 47
Sec
ao 1.1 Estados e a equac
ao de Schrodinger 47
2017/5/16
quantum2013
page 48
48 Uma Vis
ao Panor
amica da Mec
anica Qu
antica Cap. 1
p2 2 2
O Hamiltoniano H(x, p) = 2m + x2 , que corresponde a V (x) = x2 ,
se enquadra nas hip oteses do u
ltimo Teorema acima. Conforme veremos
na secao 1.6 os autovalores do correspondente operador quantizado H =
P2 X2
2 m + 2 s ao n = (n + 21 ) ~ 1m , n = 0, 1, 2, ..., n, ..., e assim apenas
estes valores podem surgir de medicao da energia de um estado. Note
que n+1 n = ~ 1m .
Observamos que a medida que a massa m cresce o espacamento entre
os nveis de energia diminui. Neste sentido o limite semicl assico seria
considerar m e desta forma o espacamento tenderia a zero. Isto faz
muito sentido em funcao do fato que na Mecanica Cl assica (em princpio
o limite da Mecanica Qu antica quando a massa e muito grande) existe
um continuo de possiveis nveis de energia.
2017/5/16
quantum2013
page 49
Sec
ao 1.1 Estados e a equac
ao de Schrodinger 49
Definic
ao 1.4. Caso exista o menor autovalor, a autofuncao associada a
este autovalor e denominada de ground state(ou, estado fundamental).
~ d2 (x)
+ V (x)(x) = (x).
2 m d2 x
Assim,
~ d2 (x)
= (V (x) ) (x).
2 m d2 x
2
Se existir um ponto x onde 2~m d d(x)
2x = 0, entao a menos que (x) =
0 teremos que est a na imagem de V . Desta forma, neste caso, os
valores da energia estao dentro da imagem de V . Assim, valores de V
e autovalores do operador de Schr odinger est ao relacionados. Este fato
ser
a descrito de forma mais elaborada e com muitos detalhes na secao
2.2.
Dado um potencial V : [a, b] R peri odico, ou seja (V (a) = V (b)),
e de classe C , entao existe um conjunto ortonormal completo de au-
odicas n : [a, b] R, n N para o operador H. Uma
tofuncoes peri
maneira de se obter isto e a seguinte: o operador H tem inverso compacto
G e assim se pode utilizar aqui o Teorema Espectral para o operador
compacto G a fim de indiretamente obter o conjunto orthonormal enu-
mer avel completo n , n N (e correspondentes autovalores n para o
operador Hamiltoniano H (ver secao 8.3 e Theorem 2.105 pagina 204
em [77] ou [59]).
O espectro de H quando V peri odico e analisado por exemplo na
secao 1.4.1 em [168].
Neste caso os autovalores de H podem assumir valores que n ao est
ao
entre o m aximo e o mnimo de V .
O conjunto enumeravel dos autovalores n do operador compacto G
se acumula em zero quando n . Desta forma existe um n umero
2017/5/16
quantum2013
page 50
50 Uma Vis
ao Panor
amica da Mec
anica Qu
antica Cap. 1
2 2 (t, x)
i (t, x) = + V (x) (t, x)
t 2m x2
2017/5/16
quantum2013
page 51
Sec
ao 1.1 Estados e a equac
ao de Schrodinger 51
2017/5/16
quantum2013
page 52
52 Uma Vis
ao Panor
amica da Mec
anica Qu
antica Cap. 1
|2 (x)|2 .
|7 (x)|2 .
Um fato surprendente na Mecanica Qu antica e que as distintas pos-
sibilidades de probabilidade se interferem entre si! Esta interfer encia
poderia se dar de muitas formas distintas, mas a que realmente
ocorre na Natureza e aquela que e a mais natural em termos
da estrutura subjacente de espa co vetorial. Mais exatamente, su-
ponha que contrussemos um terceiro aparato que se utiliza dos outros
dois anteriores, que nao privilegia em excesso nenhum dos dois, mas que
permite a selecao de partculas sob as duas situacoes.
Pode ocorrer uma combinacao do dois estados. Obteramos assim um
estado mixto. Suponha que a2 , a7 C s ao tais que a funcao resultante
tenha norma em L2 (R3 ) igual a 1, ou seja, que
i i
2 t 7 t
|a2 e ~ 2 + a7 e ~ 7 | = 1.
O car
ater da soma
i i
2 t 7 t
[ a2 e ~ 2 (x) ] + [ a7 e ~ 7 (x) ] (),
2017/5/16
quantum2013
page 53
Sec
ao 1.1 Estados e a equac
ao de Schrodinger 53
que se superp
oem. Note como podem ser distintos os possiveis valores
da norma da soma ao variarmos apenas t. Se num certo tempo t e
num certo ponto x as parcelas estivessem positivamente alinhadas, por
exemplo,
i
[ a2 e ~ 2 t 2 (x) ] = 5 e0.3i ,
e
i
[ a7 e ~
7 t
7 (x) ] = 8 e0.3i
a soma das parcelas seria m axima. Desta forma a probabilidade de
encontrar a partcula perto deste ponto x no tempo t seria grande.
Se, por outro lado, no tempo t e num certo ponto x as parcelas n ao
estivessem alinhadas, por exemplo, uma igual a 5 e 0.3i e a outra igual
a 8 e (0.3+)i , entao a soma seria bem menor.
Uma express ao do tipo (*) e que e oriunda de (**) determina muitas
vezes um distribuicao com muitas pequenas oscilacoes (grande variacao
da derivada). Isto ocorre mesmo que |2 (x)|2 e |7 (x)|2 n ao possuam
muitas oscilacoes. Uma descricao geometrica do que estamos dizendo:
imagine que na figura 1.3 temos que (a) descreve o gr afico de |a2 2 (x)|2
e (b) descreve o gr 2
afico de |a7 7 (x)| . Entao poderia eventualmente
ocorrer em uma dada situacao que (d) descreve aproximadamenteo
gr
afico de (*).
Observe que sob as condicoes acima quando se fizer uma medicao da
energia vamos obter ou 2 ou 7 . Quando se faz uma medicao existe
um colapso da indeterminacao (oriunda da previa aleatoriedade entre os
possveis eventos 2 ou 7 ) e se obtem apenas uma das duas possibili-
dades. Ao se fazer uma nova medicao nas mesmas condicoes do aparato
experimental se poderia obter de novo a mesma energia ou ent ao a outra.
Em resumo: as distintas probabilidades individuais (em se-
parado) se interferem quando consideramos o coletivo delas.
Esta interfer
encia se d
a de uma forma an aloga `
a interferen-
cia de ondas num meio lquido. Note que a probabilidade e
uma func
ao matem atica e n
ao
e um objeto de natureza fsica
como, por exemplo, uma onda eletromagn etica. A introducao
2017/5/16
quantum2013
page 54
54 Uma Vis
ao Panor
amica da Mec
anica Qu
antica Cap. 1
1
P (x) = (P1 (x) + P2 (x))
2
onde P1 e P2 s
ao respectivamente as probabilidades de a partcula atingir
o detector passando pela fenda 1 ou 2, respectivamente.
A distribuicao de probabilidade (pensando classicamente) deveria
ser uma curva gerada pela superposicao das probabilidades via fenda 1
e 2 (ver figura 1.3). Mas n ao e isto que acontece no experimento. Os
dados das medicoes fsicas nos mostra que n ao resulta uma densidade
de probabilidade da forma 1.3 (c) mas sim 1.3 d).
2017/5/16
quantum2013
page 55
Sec
ao 1.1 Estados e a equac
ao de Schrodinger 55
2017/5/16
quantum2013
page 56
56 Uma Vis
ao Panor
amica da Mec
anica Qu
antica Cap. 1
Figura 1.3: (a) P1 (x). (b) P2 (x). (c) P1 (x) + P2 (x) (previsao classica). (d) A
distribuic
ao que e realmente observada no caso da dupla fenda.
2 2 (t, x)
i (t, x) = + V (x) (t, x)
t 2m x2
e aquela obtida reescalando todos os parametros fsicos da equacao de
Schrodinger (massa, carga do eletron, constante de Plank, etc.). Este
e uma constante dimensionless, ou seja, uma constante matem atica
sem atributos de grandezas como metros, segundos, etc... Assim, o com-
portamento classico deveriaemergir quando vai a zero assumindo a
premissa b asica que a Mecanica Classica descreve sistemas que possuem
escalas de energia-tempo muito maiores que ~.
Mais precisamente, para t fixo, a distribuicao de probabilidade de
|t (x)|2 - onde t satisfaz a equacao de Schorodinger acima com
variavel - deveria descrever, de alguma forma, quando 0, um sistema
mec anico classico.
Mas uma an alise completa da questao, segundo o autor, ainda n ao
esta totalmente contemplada em termos matem aticos (ver [93] para mai-
ores detalhes).
A terminologia estados coerentes esta associada a descricao do fato
que estados quanticos se interferem. A medida que se considera massas
2017/5/16
quantum2013
page 57
Sec
ao 1.1 Estados e a equac
ao de Schrodinger 57
|p|2
H(x, p) = + V (x),
2m
mas de massa m vari avel. Quando a massa e pequena o car ater ondu-
latorio do estado se faz presente, no entanto, quando consideramos uma
massa maior e maior, nos aproximamos da Mecanica Cl assica, onde nao
se percebe a manifestacao de tal fenomeno. A decoerencia e (aproxima-
damente) total. Como se interpreta a passagem de uma teoria a outra?
Mais tarde quando tratarmos do limite semicl assico vamos abordar tal
questao. Na verdade, vai ser o metodo da fase estacion aria [203] que vai
dar a justificativa matem atica a tal fato. Quando a massa fica grande as
oscilacoes ficam muito intensas e se cancelam conforme secao 2.14. Mas
entao vamos necessitar assumir certas hip oteses sobre em que sentido
estamos fazendo isto.
2017/5/16
quantum2013
page 58
58 Uma Vis
ao Panor
amica da Mec
anica Qu
antica Cap. 1
[A, B] = AB BA.
2017/5/16
quantum2013
page 59
Sec
ao 1.2 O Comutador na Mec
anica Qu
antica 59
Demonstraca
o. Vamos demonstrar apenas 3).
Ora,
[A, [B, C] ] = [A, BC][A, CB] = B[A, C]+[A, B]CC[A, B][A, C]B =
B[A, C] [A, C]B + [A, B]C C[A, B] = [B, [A, C]] + [[A, B], C] =
[B, [C, A]] [C, [A, B]].
1)[Xk , Xj ] = [Pk , Pj ] = 0
e, ainda, para qualquer j {1, 2.., n}
i
2) [Pj , Xj ] = Id.
~
Finalmente, para j 6= k {1, 2.., n}
i
3) [Pj , Xk ] = 0.
~
Demonstraca
o. 1) Para uma dada temos
2017/5/16
quantum2013
page 60
60 Uma Vis
ao Panor
amica da Mec
anica Qu
antica Cap. 1
2 2
~2 ~2 = 0,
xk xj xj xk
porque as derivadas parciais mistas comutam.
i~(x1 , x2 , x3 , ..., xn )
2017/5/16
quantum2013
page 61
Sec
ao 1.2 O Comutador na Mec
anica Qu
antica 61
i i~ 1
[H, Xj ]() = = Pj ().
~ m xj m
Demonstracao. Note que para todo j temos que (xj )(x) = xj (x)+
2j (x), onde j = x j
.
Ora,
~2
H(xj ) (x) = (xj )(x) + xj V (x) (x) =
2m
~2
[xj (x) + 2j (x)] + xj V (x) (x).
2m
Desta forma, para um dado temos
~2
[ [xj (x) + 2j (x)] + xj V (x) (x) ]
2m
~2 ~2
xj [ ()(x) + V (x) (x) ] = j (x).
2m m
Portanto, ~i [H, Xj ] = m
i~
j = 1
m Pj .
2017/5/16
quantum2013
page 62
62 Uma Vis
ao Panor
amica da Mec
anica Qu
antica Cap. 1
i V
[H, Pj ]() = .
~ xj
Pode se mostrar ([177] Ex 5 secao 3.2) que para cada k, j {1, 2.., n}
vale {pk , pj } = {xk , xj } = 0, {xk , pj } = kj .
Isto corresponde, na Mecanica Qu antica, a [Xk , Xj ] = [Pk , Pj ] = 0,
i i
~ [Pj , X j ] = Id, e, ainda, para j 6
= k, ~ [Pj , Xk ] = 0.
1 i
Pk = [H, Xk ] .
m ~
2017/5/16
quantum2013
page 63
Sec
ao 1.3 Observ
aveis, valor esperado e o operador momento 63
V
Ainda, pk = {H, pk } = x k
, corresponde a afirmacao: para qual-
quer
i V
[H, Pk ]() = .
~ xk
Desta forma se percebe que a quantizacao do colchete de Poisson
corresponde ao comutador de operadores.
P2
Note que os operadores 2m e V n
ao comutam.
P2 P2
Desta forma, n ao se pode afirmar que e 2 m + V = e 2 m eV .
2
Observe ainda que o operador 2Pm + X2 P2 n ao e autodjunto.
Referimos o leitor a [131] para algumas consideracoes interessantes
relacionadas com os topicos descritos acima.
Ao final da secao 2.16 vamos abordar a relacao entre { ., . } e [ ., . ] no
limite semi-classico ~ 0.
Uma apresentacao extensa e excelente sobre questoes envolvendo a
analise de problemas n ao-comuativos aparece em [147].
1.3 Observ
aveis, valor esperado e o operador momento
2017/5/16
quantum2013
page 64
64 Uma Vis
ao Panor
amica da Mec
anica Qu
antica Cap. 1
Definic
ao 1.7. Um operador autoadjunto A agindo no espaco de Hil-
bert H sera chamando de observ avel. Vamos denotar de valor medio
(ou valor esperado) da partcula descrita por H sob o observ
avel A
a express
ao
E(A) =< A > =< , A > .
2017/5/16
quantum2013
page 65
Sec
ao 1.3 Observ
aveis, valor esperado e o operador momento 65
p2
O oscilador harmonico corresponde ao Hamiltoniano H(x, p) = 2m +
m w 2 x2
2 .
2017/5/16
quantum2013
page 66
66 Uma Vis
ao Panor
amica da Mec
anica Qu
antica Cap. 1
~2 d2 m w 2 x2
(x) 2
(x) + (x) .
2 m dx 2
P2
< > 0 + < V > 0 =
2m
Z Z
~2 2 x2 d2 x2 2 2
2 x m w x
2
A e (e )dx + A
2
e dx =
2m dx2 2
~2 m w2 1
+ = ~ w.
2 m 8 2
Se nosso objetivo fosse observar o momento ao quadrado de 0 =
x2
A e , entao os possveis resultados (ver Postulado 2 a seguir) poderiam
atingir qualquer numero n ao negativo (o espectro de P 2 e a reta real n
ao
negativa). O valor medio das observacoes seria
~2
< P 2 > 0 = .
Como vimos antes, o espectro do operador Xj , j {1, 2, ., n} contem
toda a reta real. Xj nao possui autovalores.
Assim o operador autoadjunto Xj n ao possui um conjunto ortonor-
mal completo enumeravel de autofuncoes.
Em qualquer caso, mesmo que o espectro n ao seja apenas pontual,
o espectro do operador H vai desempenhar um papel muito importante
na Mecanica Qu antica.
2017/5/16
quantum2013
page 67
Sec
ao 1.3 Observ
aveis, valor esperado e o operador momento 67
A algebra dos observ aveis deve ser encarada como uma vers ao n
ao
comutativa da algebra das funcoes. A funcao real x x23 vai correspon-
der a X32 , as funcoes reais aos operadores autoadjuntos, o Hamiltoniano
classico H a H, etc...
2017/5/16
quantum2013
page 68
68 Uma Vis
ao Panor
amica da Mec
anica Qu
antica Cap. 1
2017/5/16
quantum2013
page 69
Sec
ao 1.3 Observ
aveis, valor esperado e o operador momento 69
0 1 2 ... n ...
P
Ora, pode ser escrito como = n=0 n n .
Assim,
X
X
< , A() >=< n n , A( n n ) >=
n=0 n=0
X
X
X
X
< n n , n n n >= n n n = n |n |2 .
n=0 n=0 n=0 n=0
Se || = 1, entao vale
X
X
X
X
1 =< n n , k k >= n n = |n |2 .
n=0 k=0 n=0 n=0
Observa c
ao 1: a express ao acima deve ser entendida da se-
guinte forma. Fixado , cada valor |n |2 , n N, descreve a
probabilidade de que a partcula descrita pelo estado (com
densidade de probabilidade |(x)|2 ), sob a a c
ao do observ avel
A, e apos uma medi cao, resulte no valor real n . Esta afirmac
ao
complementa o postulado acima e ser a explicitado no Postu-
lado 5. Mais detalhes e considera co
es sobre este ponto apa-
recem ap os o Postulado 6 na se c
ao 2.1. Podemos considerar
entao que e inerente ao problema a existencia de uma me-
dida de probabilidade P com pesos |n |2 , n N. Desta forma
podemos descrever
P o valor esperado do autovalor atrav es da
2
expressao n=0 n |n | . Este sentido de valor esperado des-
crito agora e, em princpio, conceitualmente diferente do an-
teriormente introduzido < , A() >. Resulta ao fim serem os
mesmos valores.
P 2 2
Note que como n=0 |n | < , os valores |n | tendem a zero
quando n . Assim, os nveis correspondentes aos autovalores mai-
ores tem a tendencia de terem menor probabilidade.
2017/5/16
quantum2013
page 70
70 Uma Vis
ao Panor
amica da Mec
anica Qu
antica Cap. 1
2017/5/16
quantum2013
page 71
Sec
ao 1.3 Observ
aveis, valor esperado e o operador momento 71
2017/5/16
quantum2013
page 72
72 Uma Vis
ao Panor
amica da Mec
anica Qu
antica Cap. 1
d d d
ht , x2 t i = h t , x2 t i + ht , x2 t i
dt dt dt
1 1
= h Ht , x2 t i + ht , x2 Ht i
i~ i~
i i
= ht , H(x2 t )i ht , x2 Ht i
~ ~
i
= ht , [H, X2 ]t )i
~
1 t
= ht , i~ i (1.4)
m x2
De forma semelhante se mostra que para qualquer j {1, 2, 3, ..., n}
vale
d 1 t
ht , xj t i = ht , i~ i.
dt m xj
Segue disto que
d
m < Xj >t =< i~ >t =< Pj >t .
dt xj
2017/5/16
quantum2013
page 73
Sec
ao 1.3 Observ
aveis, valor esperado e o operador momento 73
d d V
hPj it = ht , Pj (t )i = h i .
dt dt xj t
Assim recuperamos, via valor medio, tambem a express ao classica
V
em termos de colchete de Poisson pj = {H, pj } = x j
.
Reunindo as duas expressoes, para todo t, temos que para qualquer
j {1, 2, 3, ..., n} vale
d d V
m < Xj >t = < Pj >t , e hPj it = h i .
dt dt xj t
Desta forma recuperamos (num certo sentido) as Leis de
Newton (e a equa c
ao de Hamilton) ao tomarmos os valores
medios dos observ aveis envolvidos.
Assim, o que representaria a vers
ao quantica da velocidade classica
1
seria o operador m P.
Vamos generalizar as express
oes acima para um operador autodjunto
A qualquer.
Lema 1.6. Seja A autoadjunto, e, t satisfazendo a equaca
o de Schr
o-
dinger, ent
ao, para todo t
d i
ht , At i = ht , [H, A]t )i.
dt ~
Ou, de forma equivalente,
d i
hAit = h [H, A]it .
dt ~
Este resultado e conhecido como Teorema de Ehrenfest.
Demonstraca
o.
d d d
ht , A(t )i = h t , A(t )i + ht , A( t )i
dt dt dt
1 1
= h H(t ), A(t )i + ht , A( H(t ))i
i~ i~
i i
= ht , H(A(t ))i ht , A( H(t ))i
~ ~
i
= ht , [H, A](t )i.
~
2017/5/16
quantum2013
page 74
74 Uma Vis
ao Panor
amica da Mec
anica Qu
antica Cap. 1
d
F (x(t), p(t)) = {F, H}(x(t), p(t)),
dt
onde {, } denota o colchete de Poisson.
Uma integral primeira para equacao de Hamilton (para um Hamilto-
niano H) e uma funcao F que e constante ao longo da evolucao temporal
d
(x(t), p(t)), ou seja, tal que dt F (x(t), p(t)) = 0; uma condicao suficiente
para isto e que {F, H} = 0.
De forma an aloga, se desejamos obter um observ avel A tal que o
valor esperado ao longo da evolucao temporal descrita pela equacao de
Schrodinger (associada ao Hamiltonian H) seja constante, entao segue
do Lema acima que basta obter A tal que [H, A] = 0. Note que como
[H, H] = 0 entao o valor esperado de H n ao muda ao longo da evolucao
temporal do estado pela din amica de Schrodinger.
P2
E (H) =< , H >=< , [ + V ]() > .
2m
Se e autofuncao normalizada de H associada ao autovalor , entao,
E (H) = .
O operador observ avel I corresponde a n ao observar (n
ao medir
nada).
Note primeiro que estes observ aveis quanticos A envolvem conceitos
que em geral possuem an alogos classicos. Quando a massa m e muito
pequena devemos proceder de maneira diferente (da classica), e assim,
2017/5/16
quantum2013
page 75
Sec
ao 1.3 Observ
aveis, valor esperado e o operador momento 75
surge o cenario quantico. Em segundo lugar note que para calcular uma
probabilidade associada ao observ avel A se faz necessario um estado
(que por sua vez envolve a posicao x da partcula). Dito isto, podemos
prosseguir.
x,
R mais exatamente, a probabilidade de encontrar x no conjunto C seria
C f (x) dx 0. R
A media da posicao x seria x = x f (x)dx.
Um observ avel classico, dependente da posicao x, seria uma funcao
contnua g(x), onde g : Rn R.
Defini
c
ao 1.9. O valor esperado, ou media, do observ
avel classico g
seria Z
Ef (g) = g f = g(x) f (x)dx.
ent
ao B = A.
2
Por exemplo, dado g(x) = x2 , temos que Qx = X 2 . Ser a importante
considerar tal express
ao para funcoes que n
ao s
ao analticas nem mesmo
2017/5/16
quantum2013
page 76
76 Uma Vis
ao Panor
amica da Mec
anica Qu
antica Cap. 1
2017/5/16
quantum2013
page 77
Sec
ao 1.3 Observ
aveis, valor esperado e o operador momento 77
1 2 d2 u
Op~ (g) (u)(z) = ~ (z) + V (z)u(z),
2 m d2 u
que e o operador de Schrodinger.
O desenvolvimento acima mostra que e natural a associacao de g a
Op~ (g).
Existem observ aveis que sao naturais na teoria mas que n
ao s
ao
obtidos via a associacao com uma g(x, p).
2017/5/16
quantum2013
page 78
78 Uma Vis
ao Panor
amica da Mec
anica Qu
antica Cap. 1
Se denotarmos
i i
A(t) = et ~ H A et ~ H ,
2017/5/16
quantum2013
page 79
Sec
ao 1.3 Observ
aveis, valor esperado e o operador momento 79
teremos que
< A >t =< A(t) >0 .
i
Note que A(t) e autoadjunto porque et ~ H e unit ario e A e autoad-
junto.
usual denominar o ponto de vista de considerar a evolucao tempo-
E
ral da condicao inicial via o estado t em L2 (Rn )(dx), e, depois estimar
o valor esperado de A de ponto de vista de Schr odinger (lado es-
querdo).
Por outro lado, e usual denominar o ponto de vista de considerar
a evolucao temporal A(t) do observ avel de ponto de vista de Hei-
senberg (lado direito). De forma mais precisa, considere a evolucao do
observ avel A(t), para uma dada condicao inicial A(0) = A, sujeita a
equacao
d
i~ A(t) = [H, A(t)].
dt
Esta equacao corresponde a de Schr odinger no contexto de evolucao
temporal de observ aveis (operadores).
A solucao A(t) da u ltima equacao pode ser expressao do forma
explcita atraves de
i i
A(t) = et ~ H A et ~ H .
O ponto de vista de Heisenberg da mais enfase aos operadores (e sua
evolucao temporal) e o de Schr
odinger aos estados no espaco de Hilbert
(e sua evolucao temporal).
P P
Suponha agora que A = n n Pn e B = m m Pm s ao dois
operadores autoadjuntos que n ao comutam. Qual o sentido de observar
A e depois B?
Dado o estado , pelo Postulado 4, a medicao por A resulta em um
certo n0 . A medic
ao sob B feita ap
Pos esta medicao vai ter probabilidade
|cm |2 de resultar em m se n0 = m cm m .
No caso em que o espaco de Hilbert tem dimensao finita o fenomeno
descrito acima e descrito com detalhes em na secao 6.1.3 [8].
2017/5/16
quantum2013
page 80
80 Uma Vis
ao Panor
amica da Mec
anica Qu
antica Cap. 1
assim se pode obter um novo estado U (). Nao estamos fazendo com
isto uma medicao.P Uma medicao seria descrito pela acao de um operador
autoadjunto A = 2j=1 j Pj . Ao medir por A o sistema no estado se
obtem como resultado um autovalor de A, digamos 2 . O estado entao
colapsa no autovetor associado 2 . O uso de portas logicas descritas por
operadores unit arios como acima e util em Informacao Qu antica. Uma
breve descricao deste topico aparecera no apendice ao fim da secao 2.7.
Da mesma forma, dado o estado L2 (dx), podemos aplicar a ele
um operador unit ario U e assim obter U (). Pode-se assim preparar
o sistema quantico de acordo com convenienica e obter um U () que
eventualmente e u til para alguma acao subsequente.
Na Algebra Comutativa (usando o produto usual) das funcoes (ob-
servaveis classicos) que tomam valores complexos isto nao ocorre, ou
seja, vale sempre que f (x)g(x) = g(x)f (x).
2017/5/16
quantum2013
page 81
Sec
ao 1.3 Observ
aveis, valor esperado e o operador momento 81
|cj |2
.
|cn |2 + |cn+1 |2 + ... + |ck |2
e X
B= dn Pn .
n
2017/5/16
quantum2013
page 82
82 Uma Vis
ao Panor
amica da Mec
anica Qu
antica Cap. 1
2017/5/16
quantum2013
page 83
Sec
ao 1.4 Transformada de Fourier 83
Ser
a necessario para a apropriada descricao do momento na Mecanica
Quantica o entendimento de algumas propriedades b asicas da Transfor-
mada de Fourier.
A transformada de Fourier F vai agir em funcoes em L2 (Rn )(dx).
F
: Rn C : Rn C.
Usaremos a notacao F() = .
Uma excelente referencia para os assuntos apresentados brevemente
aqui e section 3 do chapter 3 de[266] (ver tambem [235], [236] ou [262]).
O topico e descrito de maneira mais elementar (mas suficiente boa para
o que precisamos aqui) em [35].
Vamos assumir que age numa vari avel denotada por x Rn , e,
avel denotada por p Rn
age numa vari
2017/5/16
quantum2013
page 84
84 Uma Vis
ao Panor
amica da Mec
anica Qu
antica Cap. 1
Se e uma funcao real par, ou seja, se para todo x real vale (x) =
(x), entao, sua transformada de Fourier e uma funcao real. Isto segue
de fazer a mudanca de coordenadas y x abaixo
Z
ihp,yi
n
(p) = (2~) 2 e ~ (y) dy = (p).
x2 Fa2 n a2 |p|22
e 2a2 )2 e 2~ .
(
~2
Sabe-se que para x0 e a fixos, temos que
1 (xx0 )2
(x) = e 2a2
a 2
R
e tal que (x)dx = 1.
Tal e denominada de distribuicao (ou densidade) Gaussiana de
media x0 e vari
ancia a.
Ainda, vale que Z
(x) x dx = x0
e Z Z Z
(x) (x x0 )2 dx = (x) (x [ (x) x dx] )2 dx = a2 .
2017/5/16
quantum2013
page 85
Sec
ao 1.4 Transformada de Fourier 85
h
a. Assim, a Transformada de Fourier leva Gaussianas concentradas em
torno de zero em Gaussianas esparramadas, e, vice versa. Esta e a pri-
meira manifestacao matem atica do Princpio da Incerteza que ser a con-
siderado em breve. Destacamos que, mais geralmente, vale que funcoes
muito concentradas concentradas em torno de zero(pouca dispers ao)
s
ao levadas pela transformada de Fourier em funcoes muito esparra-
madas em torno do zero(grande dispers ao), e, vice versa. Isto ser a
cuidadosamente analisado em breve.
Estaremos interessados, entre outras, na funcao de onda
s
1 (xx0 )2
(x) = e 4 a2 ,
a 2
R
que e tal que |(x)|2 dx = 1. Assim, |(x)|2 e a densidade Gaussiana
de media x0 e variancia (ou, dispers
ao) a > 0. Propriedades similares
ao caso anterior tambem ocorrem.
A delta de Dirac no ponto x0 pode ser entendida como o limitede
uma distribuicao Gaussiana com media x0 e vari ancia a, quando a 0.
Se A e uma matriz simetrica positiva definida n n
1 1 (x)i F n 1 1
e 2~ hx,A (~) 2 (detA) 2 e 2 hp,Api
Se n = 3 e b > 0
r 2
e b/~ |x| F
(|p|2 + b)1
2~ |x|
2017/5/16
quantum2013
page 86
86 Uma Vis
ao Panor
amica da Mec
anica Qu
antica Cap. 1
\
1) i~ b
xj (p) = pj (p)
Uma formula similar vale para (x) sin( (p x)/~ ). Como ezi = cos(z)+
i sin(z), quando z e real, entao a formula desejada segue do descrito
acima.
2017/5/16
quantum2013
page 87
Sec
ao 1.4 Transformada de Fourier 87
c (p) = p (p).
No caso n = 1, para (x) vale i~ b
No caso n dimensional temos a expressao equivalente: para todo j
\
\
Pj () (p) = i~
b
(p) = pj (p)
xj
~ a i).
3) F((x) ea x ) = (p
Demonstraca
o. Vamos demonstrar no caso n = 1.
O resultado segue de
Z
n i p x
b
(p) = (2~) 2 e ~ (x) eax dx =
Z
i(px~ ai)
n
(2~) 2 e ~ (x) dx.
As seguintes express
oes seguem de mudanca de vari avel e integracao
por partes [35].
c
5) x(p) b
= i~x (p)
i
6) F((x a) ) = e ~ <a , p> (p).
Outra express 0 p).
ao equivalente a esta e F((x) ei p0 x ) = (p
Como a transformada de Fourier leva densidades Gaussianas em den-
sidades Gaussianas, aplicando a express ao acima obtemos para a, p0 fi-
xados que
x2 (pp0 )2
e 2a2 eip0 x 2 12
F( ) = ce a .
2 a
A relevancia deste resultado vai aparecer quando analisarmos o pa-
cote de ondas Gaussiano [48] [246].
A partir de 6) e do conhecimento de F(I(a,a) (x))(p) se pode calcular
facilmente F(I(c,d) (x))(p) para qualquer intervalo real (c, d).
2017/5/16
quantum2013
page 88
88 Uma Vis
ao Panor
amica da Mec
anica Qu
antica Cap. 1
R
Definiao 1.12. A funcao em x dada por (f g)(x) =
c Rn f (y)g(xy)dy
e denominada de convolucao de f e g.
7) d
= (2~)n/2 b b
8) [
n
= (2~) 2 (b )
b
b i.
h, i = h, b
1
< , > = ( | + |2 | |2 i | + i |2 + i | i |2 ).
4
2017/5/16
quantum2013
page 89
Sec
ao 1.5 O Momento via Transformada de Fourier 89
2017/5/16
quantum2013
page 90
90 Uma Vis
ao Panor
amica da Mec
anica Qu
antica Cap. 1
R
para uma fun ao tal que ||2 dx = 1. N
c ao vamos considerar
n
R ihp,xi 2
a integral (2~) 2 e ~ |(x)| dx
2017/5/16
quantum2013
page 91
Sec
ao 1.5 O Momento via Transformada de Fourier 91
Figura 1.4: Um estado tal que e quase |(x)|2 = cos(x). No tom mais escuro
as regi
oes de maior probabilidade de encontrar a partcula na posic
ao x (Wikipedia).
2017/5/16
quantum2013
page 92
92 Uma Vis
ao Panor
amica da Mec
anica Qu
antica Cap. 1
[
F (g(P1 , P2 , ..., Pn )() ) = g(P),
pois,
F (F (g(P1 , P2 , ..., Pn )()) ) = g(P1 , P2 , ..., Pn )().
Definimos
\ (p) = g(p) (p).
g(P)() b
Note que este procedimento e consistente com o fato que dado g(p) =
g(p1 , p2 , p3 ) = p2 , temos que P2 () satisfaz
\
P b
2 ()(p) = p2 (p).
\
P \ = (p2 + ... + p2 ) .
2 () = ~2 () b
1 n
Finalmente, observamos que se g(p) for uma funcao que toma apenas
valores reais, entao g(P) e autoadjunto.
De fato,
\ >=
< g(P)(), >=< g(P)(),
>= g(p) < ,
< g(p)(), >= g(p) < , > .
2017/5/16
quantum2013
page 93
Sec
ao 1.5 O Momento via Transformada de Fourier 93
De forma an
aloga, temos
2017/5/16
quantum2013
page 94
94 Uma Vis
ao Panor
amica da Mec
anica Qu
antica Cap. 1
2
Observe R que acima usamos o fato que i = (1 + i) 2 .
2
Como |t | dx < decorre da formula acima que para qualquer
paralelepipedo K = [a1 , b1 ] [a2 , b2 ] ... [an , bn ], aj , bj , j = 1, 2, ..., n,
finitos fixados em Rn , temos que
Z
lim |t (x)|2 dx = 0.
t0 K
Isto est
a de acordo com nossa intuicao: a partcula quantica tem, a
longo prazo, probabilidade nula de ser encontrada numa parte finita do
Rn .
Se considerarmos o kernel
2 i ~ t n/2 i m |xy|2
Kt (x, y) = ( ) e 2 ~t ,
m
t 0, podemos definir o operador integral associado
Z
Kt ()(x) = Kt (x, y)(y) dy.
2017/5/16
quantum2013
page 95
Sec
ao 1.5 O Momento via Transformada de Fourier 95
Figura 1.5:
A transformada de Fourier (p) de um estado tal que aproxima-
damente vale |(x)|2 = cos(x). A regi ao mais escura descreve a
area de maior
probabilidade de encontrar o momento p do estado (Wikipedia)
2017/5/16
quantum2013
page 96
96 Uma Vis
ao Panor
amica da Mec
anica Qu
antica Cap. 1
1/2
m i m
e 2~ sin(t) [
(x2 +y 2 ) cos(t)2xy ]
Kt (x, y) = .
2 i ~ sin(t)
2017/5/16
quantum2013
page 97
Sec
ao 1.6 Exemplos 97
1.6 Exemplos
p 2 2 2
1) Considere o Hamiltoniano H(x, p) = 2m + m w2 x do oscilador
harmonico.
A equacao para (x) na equacao de Schr
odinger para os autovalores
da quantizacao H de tal H se torna
~2 d2 m w 2 x2
(x) + (x) = (x).
2m dx2 2
~ d2
Estamos considerando aqui o operador H = 2m dx2
+ V definido no
2
espaco de Hilbert H = L (R)(dx), que e o fecho do conjunto D(H) =
{ : (, ) C de classe C 2 } L2 (R)(dx).
Via separacao de vari aveis obtemos que a solucao da equacao de
autovalor determina n = (n + 21 ) ~ w, n N, e ainda que (ver exemplo
4 secao 3.6 em [35]) a autofuncao correspondente e
r
mw 1 mw m w x2
n (x) = ( ) Hn (
4 x) e 2 ~ ,
~ 2~
2017/5/16
quantum2013
page 98
98 Uma Vis
ao Panor
amica da Mec
anica Qu
antica Cap. 1
Note tambem que para qualquer n e para qualquer intervalo (a, b),
temos que Z b
|n (x)|2 dx > 0.
a
Assim, existe probabilidade positiva de encontrar a partcula no es-
tado n em qualquer parte da reta real. A projecao em x de cada nvel de
energia de tal H e sempre um intervalo limitado. Desta forma o compor-
tamento da partcula quantica no nvel de energia n e bastante distinto
da sua analoga classica. Este fenomeno e denominado de tunelamento.
Figura 1.6: Na Mecanica Classica num certo nvel de energia fixo E os valores
possveis de x est
ao somente na regi ao cl
assica exibida pela figura. Na Mec anica
Quantica existe probabilidade positiva de encontrar a partcula fora da regi
ao cl
assica
(tunelamento)
2017/5/16
quantum2013
page 99
Sec
ao 1.6 Exemplos 99
2017/5/16
quantum2013
page 100
f(x)
x
Regio Clssica
Defini
c
ao 1.14. Se E e uma orbita peri
odica de perodo TE > 0 do
campo Hamiltoniano H, obtida a partir de uma condicao inicial (x0 , p0 ),
dizemos que
l(T, a, b)
o([a, b]) = lim 1
T T
2017/5/16
quantum2013
page 101
Sec
ao 1.6 Exemplos 101
Observe que e natural que o tempo medio de estadia nas regi oes
extremas da regi
ao classica (perto de onde a velocidade e zero) e mais
alto.
2017/5/16
quantum2013
page 102
De fato, se
p2 m w 2 x2
+ = (n + 1/2) w ~,
2m 2
os extremos ocorrem para p = 0. Assim, segue a afirmacao acima.
Ainda, se pode calcular a densidade associada
1
f (s) = .
2 n + 1 s2
Referimos o leitor ao exerccio 1 da secao 3.7 [177] para a idea da
prova desta afirmacao.
Seria natural, para um certa massa m fixada, comparar a probabi-
lidade da funcao de onda estacion aria associada a um nvel de energia
En = n = (n + 21 ) w ~ do oscilador harmonico quantico e a correspon-
dente densidade do tempo de ocupacao assintotico (classico) neste nvel
de energia. A figura 1.8 ilustra tal comparacao. A curva pontilhada
descreve a densidade do tempo de ocupacao e a curva cheia o gr afico da
densidade do estado no mesmo nvel de energia E20 = (20 + 1/2) w ~.
Fixado o nvel de energia E, existe uma probabilidade positiva de se
encontrar a partcula fora da regi ao classica. Isto descreve o fenomeno
do assim chamado tunelamento.
Referimos o leitor a secao 4.2.2 do capitulo 4 de
http://www.instructioneducation.info/inhaltquant.html
para uma descricao com muitas ilustracoes e figuras do que consideramos
acima.
~ d2
(x) = (x).
2m dx2
Como a partcula quantica deve estar confinada ao intervalo [0, a] e
natural(pelo menos para quem n ao est
a familiarizado com o cen ario
quantico) considerar apenas tais que (0) = 0 = (a). Na verdade
estamos pensando que no sistema classico associado a partcula colide
com os extremos e e jogada de volta para dentro do intervalo.
2017/5/16
quantum2013
page 103
Sec
ao 1.6 Exemplos 103
A + Bx, se = 0,
e
x x
A cos( 2 m ) + B sin( 2 m ), se > 0,
~ ~
onde A, B sao constantes reais.
A condicao (0) = 0 forca A a ser nulo. Se 0, entao B tem que
se anular, porque f (a) = 0.
Se > 0, obtemos = B sin( 2 m x~ ). As condicoes de fronteira
fazem com que deve ser necessariamente da forma 2 m a~ = n ,
para algum n natural.
Desta maneira obtemos que os autovalores s ao da forma
n2 ~2 2
n = , nN
2 m a2
As autofuncoes n , n N, correspondentes, ja normalizadas, sao
sin( 2 mn x~ ) sin( 2 mn x~ ) sin( 2 mn x~ )
n (x) = = q = p .
| sin( 2 mn 1~ (.)) |2 n ~ a/2
2 2 m n
2017/5/16
quantum2013
page 104
~ d2 (x)
H() = + V (x)(x) = (x)
2 m d2 x
faz parte do assim chamado problema de Sturm-Liouville. Referimos o
leitor a [137] ou [168] para o estudo do espectro do operador Hamiltoni-
ano H neste caso.
2017/5/16
quantum2013
page 105
Sec
ao 1.6 Exemplos 105
~ d2
(x) = (x).
2m dx2
Como a partcula quantica deve estar confinada em S1 e natu-
ralconsiderar apenas os tais que (0) = (2).
d2
Estamos considerando aqui o operador dx 2 definido no espaco de
Hilbert H que e o fecho em L ([0, 2])(dx) de { : [0, 2] C de classe
2
n2 ~2
n = , n N.
m2
As autofuncoes n , n , n N, correspondentes, ja normalizadas, s
ao
sin( 2 mn x~ )
n (x) = ,
| sin( 2 mn ~1 (.)) |2
e
cos( 2 mn x~ )
n (x) = .
| cos( 2 mn ~1 (.)) |2
Note que esta colecao define um conjunto ortonormal completo no
espaco de Hilbert H em consideracao.
Desta forma a solucao geral da equacao de Schr
odinger ser
a
X
X
t t
t (x) = n ei ~ n n (x) + n ei ~ n n (x),
n=0 n=0
onde n , n , n N, s
ao n
umeros complexos.
2017/5/16
quantum2013
page 106
R
relacao ao produto interno em L2 (dx), ou seja n k dx = 0, quando
n 6= k. Uma prova deste resultado aparece em [271].
Nao vamos assumir no espaco de Hilbert L2 (dx) que (0) = 0 = (1)
mas apenas que (0) = (1).
O caso descrito acima e apenas um caso particular deste caso em que
V e periodica mas qualquer.
Embora V seja um funcao limitada e os autovalores de H atingem
valores ilimitados.
Note ainda que n satisfaz a equacao diferencial ordinaria de segunda
ordem
~ d2 n (x)
+ V (x)n (x) = n n (x),
2 m d2 x
onde V e de classe C . Assim, qualquer autofuncao e de classe C .
Observe que s o existe uma autofuncao n que e estritamente posi-
tiva.
R De fato se existissem duas autofuncoes positivas n e k , entao
n k d x 6= 0, o que seria contradicao.
Caberia ainda a possibilidade de haver mais de uma autofuncao as-
sociado ao menor autovalor. Vamos elucidar tal questao.
Seja 0 o menor autovalor. Vamor mostrar na secao 2.3 que qualquer
autofuncao ground state 0 minimiza
Z
~2 d
0 = | (x) |2 + V (x)|(x)|2 dx,
2 m dx
2017/5/16
quantum2013
page 107
Sec
ao 1.6 Exemplos 107
~ d2 (x)
H() = + V (x)(x) = (x).
2 m d2 x
n=0
1
Figura 1.9: Seja 0 o ground state do oscilador harmonico. A esquerda seu grafico
afico de |0 |2
e a direita o gr
2017/5/16
quantum2013
page 108
~2
f H(f ) = f + V f.
2m
Assim, para : R M C obtemos a correspondente equacao de
Schrodinger
d 1
= (t) = H((t)).
dt i~
No caso da metrica hiperb olica (ver secao 5 chapter 8 in [266], section
2 em [177] ou [40]) temos que B = {(x, y)| y 0} e o semi-plano superior
contido em R2 , e, para (x, y) R2
2 F (x, y) 2 F (x, y)
F (x, y) = y 2 ( 2
+ )
x 2y
2017/5/16
quantum2013
page 109
Sec
ao 1.6 Exemplos 109
2 (x, y) 2 (x, y)
y 2 ( 2
+ ) = s (s 1) (x, y).
x 2y
n=1
1
2017/5/16
quantum2013
page 110
1 d2 d d
H() = [ ~2 2 b x~i ~i (b x )+(b2 x2 +w2 x2 ) ].
2 dx dx dx
Neste caso
2 + b i) x2 1
e(w 2~
~ d2 (x) d(x)
H() = + a(x) + V (x)(x) = (x).
2 m d2 x dx
e sua relacao com difus
oes e a formula de Feymnan-Kac aparece em
[266], [205] e tambem em (5.39) na pagina 225 do captulo 15 em [158].
Sobre o espectro ver secao 13 captulo 15 em [158]. O termo a(x) d(x)
dx
2017/5/16
quantum2013
page 111
Sec
ao 1.7 Princpio da Incerteza e o Pacote de Onda Gaussiano 111
n=2
1
Uma das questoes que vamos analisar nesta secao e a eventual relacao
entre fazer medicoes simult
aneas da posicao e do momento de uma
partcula que se encontra num determinado estado.
h, Ai
E (A) =
kk2
Em Estatstica se est
a muitas vezes interessado em como est ao dis-
persos os valores em torno da media. Por exemplo, suponha que esteja
fixado a > 0 e consideremos a densidade Gaussiana a de media espacial
x0 , e, vari
ancia a. Desta forma, o valor esperado da posicao X e
Z
E(X) = xa (x)dx = x0 .
2017/5/16
quantum2013
page 112
0 0 0
0 0 0 a
Figura 1.12: Exibimos acima o grafico das tres primeiras autofuncoes ao quadrado
no caso do exemplo 2)
2017/5/16
quantum2013
page 113
Sec
ao 1.7 Princpio da Incerteza e o Pacote de Onda Gaussiano 113
f(x)
Figura 1.13: Densidade f (x) com dados que possuem forte concentracao em torno
da media.
e, a dispers
ao em torno da media E (X) seria dada pela express
ao
sZ
x2 (x) dx E (X)2 .
Definic
ao 1.16. A dispersao de um observ
avel A (autoadjunto por-
tanto) em um estado e dado por
1 1
(A) = [E (A2 ) E (A)2 ] 2 = E [ ( A E (A) I)2 ] 2 =
2017/5/16
quantum2013
page 114
1
[ < ( A E (A) I)2 () , >] 2 =
1
[ < ( A E (A) I)() , (A E (A) I) () > ] 2 = | ( A E (A) I)() |.
Note que
< A(), A() > < , A() >2 = | A() |2 < , A() >2 .
Ainda, < , A() >2 ||2 |A()|2 = |A()|2 . Logo, E (A2 )
E (A)2 0.
Suponha que preparassemos a partcula num estado , e, fossemos
medir o observ avel A, entao, se a dispers ao fosse muito pequena, isto
significa que realizando repetidamente muitas vezes o experimento, ob-
servaramos pouca variabilidade no resultado obtido.
Considere uma partcula quantica descrita pelo estado . Suponha
que ao observar a posicao xj , j {1, 2, .., n}, o valor esperado para o
operador Xj fosse x0 R, e, sua dispers ao fosse muito pequena, entao,
com alta probabilidade a partcula no estado estaria pr oxima de x0 .
Ainda,
(P)2 = E (P 2 ) 0 = E (P 2 ).
q
2 2
Note que P 2 (n ) = ~2 2a na2 sin(n xa ), assim
Z a
2 n2 2 x
n (P)2 =< n |P 2 (n ) >= ~2 sin(n )2 dx =
a a2 0 a
2 n2 2 a 2 2
2 n
~2 = ~ .
a a2 2 a2
2017/5/16
quantum2013
page 115
Sec
ao 1.7 Princpio da Incerteza e o Pacote de Onda Gaussiano 115
2017/5/16
quantum2013
page 116
f(x)
Figura 1.14: Densidade f (x) com dados que possuem grande dispersao em torno
da media. Alta probabilidade de encontrar valores bem distantes da media x0 ,
( Xj )2 = ( Xj )2 = h ( Xj hXj i I )2 i
e
( Pj )2 = ( Pj )2 = h ( Pj hPj i I)2 i .
Note que
\
<P \ \ 2
j (), Pj () > < , Pj () > =
pj > < pj ,
< pj , >2 ,
2017/5/16
quantum2013
page 117
Sec
ao 1.7 Princpio da Incerteza e o Pacote de Onda Gaussiano 117
~
Xj Pj
2
i 2 2
1 = h, i = h, [Pj , Xj ]i = ImhPj , Xj i |hPj , Xj i|
~ ~ ~
2 2
kPj kkXj k = (Pj )(Xj ).
~ ~
Logo, Xj Pj ~2 .
2017/5/16
quantum2013
page 118
A an
alise do pacote Gaussiano e um pouco diferente do descrito
acima.
Defini
c
ao 1.17. O estado
1 |xx0 |2 i
(x) = 2 n/4
e 4 a2 e ~ <p0 ,x> .
(2a )
onde a e real positivo, e, x0 , p0 Rn , e chamado de pacote de on-
das gaussiano. Algumas vezes se usa a terminologia: este estado esta
micro-localizado em (x0 , p0 ). Em funcao p
das unidades dimensionais da
constante de Plank e natural tomar a = h/m.
Referimos o leitor a [115] para uma an
alise bastante detalhada e com
muitos exemplos dos topicos em consideracao.
O pacote de ondas gaussiano satisfaz as seguintes propriedades: (X ) =
a, E(X ) = x0 , E(P) = p0 (ver (6.9) Chapter 6 page 182 [246]).
Note que
1 |xx0 |2 1 |xx0 |2
|(x)|2 = e 2 a2 = em 2h
(2a2 )n/2 (2 h/m)n/2
p
e a densidade Gaussiana de media x0 e vari
ancia (dispers
ao) a = h/m.
Assim, quando a massa e grande a dispers ao e pequena.
2017/5/16
quantum2013
page 119
Sec
ao 1.7 Princpio da Incerteza e o Pacote de Onda Gaussiano 119
1 (xx0 )2 1 2
imvx x 2 i p~ x
0 (x) = e 4 a2 e ~ = e 4a e ,
(2a2 )1/4 (2a2 )1/4
1 2 i ~ t 1/2 i m x2 m2 2 i m
(xv t)2 a2
t ~ a2 ~2 t2 .
t (x) = ( a [1 + ]) e 2~t e
(2 )1/4 2 ma2
(xv t)2
1 ~2 t2 1/2
2 2
2 (a2 + ~ 2t 2 )
2
|t (x)| = (2 (a2 + 2 2
)) e 4m a .
4m a
Uma conta facil mostra que
p
Et (X ) = v t = t.
m
2017/5/16
quantum2013
page 120
2017/5/16
quantum2013
page 121
Sec
ao 1.8 Operador densidade 121
onde k0 , v est
ao fixos, e, t e vari
avel, descreveramos a evolucao de um
pacote de ondas n ao dispersivo. Ou, seja (t ) constante, e E(t ) = vt.
O pacote de onda se desloca com velocidade v.
1 p
onde A = (2 a2 )1/4
, e a constante de normalizacao, e ainda k = h e
= 2 a2 .
Sabemos que
2 / 1 2
0 (x)0 (x) = |A|2 expx = expx / .
2 a
Sendo assim,
< H0 >0 = (~2 /2m)[k2 < x2 >0 / 2 + 2ik < x >0 / + 1/]
2017/5/16
quantum2013
page 122
2017/5/16
quantum2013
page 123
Sec
ao 1.8 Operador densidade 123
e tambem que
< P () , > = << | > , > =
=< , > < | > = < | | >< | | >=< | > < , > ().
2017/5/16
quantum2013
page 124
X X X
< n |(A B)(n ) >= < A(n )|B(n ) >= < A(n ), I(B(n )) >
n n n
X X
< A(n )| [ | m > < m | ] ( B(n )) >=
n m
XX
< A(n )| |m > < m | |B(n ) >=
n m
XX
< m |B(n ) > < A(n )|m >=
n m
XX
< B(m )|n > < n |A(m ) > =
n m
X X
< B(m )| ( |n > < n | ) |A(m ) > =
n m
X X
< B(m )| ( |n > < n | ) |A(m ) > =
m n
X X
< B(m )| I(A(m ) ) > = < B(m )|A(m ) >=
m m
X
< m |(B A)(m ) > .
m
P
Acima usamos o fato que n |n > < n | = I.
2017/5/16
quantum2013
page 125
Sec
ao 1.8 Operador densidade 125
Note que se dois som arios sao tais que cada um e absolutamente
convergente, entao se pode permutar os termos nos somat orios quando
se faz o produto. Esta propriedade foi usada acima.
Isto prova 2). O item 1) segue de considerar A = I no raciocnio
acima.
O descrito acima justifica o sentido da u
ltima definicao.
P
Note que se 1 e 2 s
ao autoadjuntos entao n < n , (1 2 ) n >
e um n
umero real.
Defini
cao 1.19. Um operador : H H e dito um operador densi-
dade se ele e autoadjunto, se possui um conjunto ortonormal completo
enumeravel de autovetores, se e positivo, e, ainda, se tem traco igual a
1.
Neste caso todos os autovalores s ao numeros reais n ao negativos e
mneores ou iguais a 1.
2017/5/16
quantum2013
page 126
P
e facilP
ver que = n cn Pn define um operador densidade. Note que
2 = n c2n Pn , e, assim, em geral, n
ao e igual a . Observe tambem
que a composta de operadores densidade pode n ao ser um operador
densidade.
P
A igualdade = n cn Pn expressa o fato que e uma mistura dos
operadores projecao Pn
Note que se An , n N, forem
P operadores densidade,
P e, cn s
ao nu-
meros n ao negativos tais que n cn = 1, entao cn An e um operador
densidade. Assim, o espaco dos operadores densidade e um convexo -
neste sentido.
importante n P
E ao confundir oPvetor cn n no espaco de Hilbert
com o operador densidade = n cn Pn .
Observa Pc
ao Dado um operador densidade (que pode ser expresso
como = n cn Pn pelo teorema espectral), entao, se 2 for tambem
operador densidade, deve ter traco igual a 1, logo, conclumos que todos
os cn , menos um deles, tem que ser zero. Assim, e um operador
projecao.
i i
(t) = et ~ H et ~ H
2017/5/16
quantum2013
page 127
Sec
ao 1.8 Operador densidade 127
2017/5/16
quantum2013
page 128
Definic
ao 1.20. Dado um observ avel A, por definicao, T r( A) e o
valor esperado de A quando o sistema quantico e descrito pelo operador
usual denotar tal valor por < A > ou E (A).
densidade . E
2017/5/16
quantum2013
page 129
Sec
ao 1.8 Operador densidade 129
P P P P
T r(A) = T r(A( j pj j )) = j pj T r(Aj )) = j pj i |cji |2 i =
P P 2
i ( j pj |cji | )i . P P
Olhando as express oes j = i cji vi e j pj |cji |2 seria razo
avel pen-
sar que |cji |2 descreve a probabilidade de j passar a vi .
Observa c
ao: O desenvolvimento acima mostra que se e operador
densidade e A e operador positivo, entao T r(A) = E (A) e um n
umero
positivo.
2017/5/16
quantum2013
page 130
= a1 + (1 a) 2 ,
Definic
ao 1.21. Um operador densidade e dito ser um estado puro se
ele n
ao pode ser escrito como combinacao convexa n
ao trivial de outros
operadores densidade. Ou seja, se nao pode ser escrito como
= aM1 + (1 a) M2 ,
a < M1 (), > a < M1 (), > +(1 a) < M2 (), >=
2017/5/16
quantum2013
page 131
Sec
ao 1.8 Operador densidade 131
Seja
P agora um operador densidade que e um estado puro. Seja
= n0 n Pn sua decomposi cao espectral.PComo ele e positivo
e seu traco e igual a 1, temos que n 0, e n n P
= 1. Suponha
que existam i e j n ao nulos. Assim, = i Pi + n6=i n Pn =
1 P
i Pi + (1 i ) [ 1i n6=i n Pn ]. Como e puro temos contradicao.
< A( + s) , ( + s) > 0.
4 | < A(), > |4 4 | < A(), > |2 < A(), > < A(), > 0.
2017/5/16
quantum2013
page 132
2017/5/16
quantum2013
page 133
Sec
ao 1.9 Operadores Trace Class 133
Note que
i i i
P0 |et ~ H >= |0 >< 0 |et ~ H >= |0 >< et ~ H 0 | >= |0 >< (t), > .
i i
Por outro lado como et ~ H |0 >= |et ~ H 0 >
i i
< |et ~ H P0 et ~ H () >=< |(t) >< (t)| > .
h , i = h, i 0, H.
Defini
cao 1.22. Um operador limitado : H H e dito trace class
operator se para qualquer base ortonormal {j } de H vale que
X
| hj , ||j i | < .
j
Esta definicao n
ao depende da escolha do conjunto ortonormal com-
pleto escolhido em H (ver definicao 3.4.2 em [12]).
2017/5/16
quantum2013
page 134
kk = tr||
Proposi
c
ao 1.13. f (A) e trace class e
X
trf (A) = f (Ej )
j
2017/5/16
quantum2013
page 135
Sec
ao 1.9 Operadores Trace Class 135
Demonstra c
ao.
O operador K e compacto (ver secao X.2 [276] e Teorema 3.4.4 em
[12]).
Seja n , n N, conjunto enumeravel completo de autovetores para
K. Sejam ainda, n , n N, os respectivos autovalores.
P
Seja B(x, y) = n n n (x) n (y).
Considere o operador B tal que
Z b
(Bf ) (x) = B (x, y) f (y) dy.
a
X
n n (x)< n , k > = k k (x)
n
2017/5/16
quantum2013
page 136
Definic
ao 1.24. Um operador autoadjunto A agindo num espaco de
Hilbert separavel H e chamado Hilbert-Schmidt (ver [230] section IV.8),
se a soma X
2k
kN
converge.
2017/5/16
quantum2013
page 137
Sec
ao 1.10 Mec
anica Estatstica Qu
antica 137
definido um espaco vetorial completo (ver [34]). Note que mesmo que
u nao seja positivo, temos que u u est
a bem definido, e positivo e tem
raiz quadrada. Denote por K o conjunto dos operadores trace class.
Note que se u K, entao tr(u) = |u|1 . Lembre que tr(A B) = tr(B A).
Sabemos que se u K entao ele e operador densidade no caso em que
tr(u) = 1.
Note que tr : V R e um operator linear.
Seja H um espaco de Hilbert e Vpo conjunto dos operadores tipo
Hilbert-Schmitd com a norma |A|2 = tr(A A).
Defina < A, B >= tr(A B) para A, B V . S ao validas quase todas
a propriedades para que <, > seja produto interno. (ver secao 6 em
[110])
Apos tomar um quociente basicamenteo espaco V e de Hilbert para
este produto interno< A, B >= tr(A B) (mais detalhes em [110] and
[34]).
Lembramos que um conjunto C num espaco vetorial e um cone se
cada elemento x C e tal que toda vez que o escalar > 0, entao x
est
a tambem em C.
O conjunto K de operadores positivos e um cone (ver [34]).
Proposi cao 1.19. [?] Todo operador trace-class num espaco de Hilbert
e tipo Hilbert-Schmidt.
1.10 Mec
anica Estatstica Qu
antica
2017/5/16
quantum2013
page 138
1
onde B = kT e k e uma constante, chamada constante de Boltzmann.
Uma formulacao variacional do que foi dito acima pode ser feita da
seguinte maneira. Seja
n
X n
X
F (p1 , . . . , pn ) = pi log pi pi BUi
i=1 i=1
2017/5/16
quantum2013
page 139
Sec
ao 1.10 Mec
anica Estatstica Qu
antica 139
S() = Tr ( log ),
2017/5/16
quantum2013
page 140
Definic
ao 1.26. Fixada uma temperatura T , a energia livre de Helm-
holtz do estado e por definicao
FT () = E() T S().
1 1
T = e T H ,
Z(T )
1
onde, Z(T ) = Tr (e T H ). Naturalmente, se exige que o este traco esteja
bem definido. Como veremos mais tarde na secao 2.12, no caso do
oscilador harmonico, isto de fato acontece.
Referencias abrangentes sobre estes assuntos sao [34] e [210].
1
1 TH
Definic
ao 1.27. A expressao Z(T )e e denominada de estado (ope-
rador) KMS (ou de Gibbs) a` temperatura T para o operador Hamilto-
1 T1 H
niano H. Note que Z(T )e e um operador densidade.
2017/5/16
quantum2013
page 141
Sec
ao 1.11 Uma generalizac
ao da Teoria de Hamilton-Jacobi 141
1
1 TH
onde U1 , U2 s
ao reais, entao Z(T )e , descreve a probabildade com
pesos
1 1
e T U1 e T U2
P1 = 1 1 , P 2 = 1 1 ,
e T U1 + e T U2 e T U1 + e T U2
atraves de
1
e T U1
1 0
1 1 U1 1 U2
T = e T H = e T +e T 1
Z(T ) e T U2
0 1
U 1
U
e T 1 +e T 2
i i
Teorema 1.20. t = ae ~ S = at e ~ St , satisfaz a equaca
o de Schr
ondin-
ger, se e s
o se,
S |S|2 ~2 a
+ +V = , (1.5)
t 2m 2m a
e
(a2 ) a2 S
+ div ( ) = 0. (1.6)
t m
2017/5/16
quantum2013
page 142
Demonstraca
o. Para demonstrar o resultado desejado, note primeiro que
1 a i S
=( + ) ,
t a t ~ t
e
a i
( , ..., ) = = ( + S).
x1 xn a ~
Disto segue que
~2 a < a, S > i
= ( + i ~ S + 2i ~ 2 |S|2 ) .
a a ~
Substituindo estas express
oes na equacao de Schr
odinger obtemos
i ~ a S
i~ =( ) =
t a t t
1 ~2 a < a, S >
[ ( + i~ S + 2i~ |S|2 ) + V ] .
2m a a
Apos dividir as duas express
oes acima por , e, ao igualar a parte
real e imaginaria de cada um dos lados obtemos
S |S|2 ~2 a
+ +V = ,
t 2m 2m a
e
1 a 1 1 < a, S >
i~ = i~ S 2i~ .
a t 2m 2m a
2 a2
Multiplicando a u
ltima express
ao por i~ , obtemos
(a2 ) a2 S
= div ( ).
t m
Desta forma fica demonstrada a afirmacao acima.
Este par de equacoes que mencionamos acima pode ser obtido via
um problema variacional e alguns entendem que tal procedimento esta
dentro da linha da assim chamada Mecanica de Bohm (ver [?]). Na
secao 2.18 vamos considerar tal questao.
Este ponto de vista da Mecanica Qu antica algumas vezes e denomi-
nado de interpretacao hidrodin amica (ver [123]). Esta relacionado com
a interpretacao estocastica de E. Nelson (ver [209] and [272])
2017/5/16
quantum2013
page 143
Sec
ao 1.11 Uma generalizac
ao da Teoria de Hamilton-Jacobi 143
Note que vai seguir deste resultado que se assumirmos que t e es-
tacion
aria, ou seja, est
a na forma
i i
t (x) = a(x)e ~ [ S(x)E t ] = am (x)e ~ [ Sm (x)E t ] ,
|S(x)|2 ~2 a(x)
E + + V (x) = ,
2m 2 m a(x)
e
a2 (x)S(x)
div ( ) = 0.
m
Au ao indica que a densidade a(x)2 n
ltima expres ao depende de t.
Observamos que a hip otese de estacionaridade implica assumir que
i
a(x)e ~ S(x) seja um autovetor de H associado ao autovalor E.
Mais detalhes sobre a equacao de Hamilton-Jacobi em Mecanica
Quantica podem ser encontrados em [67].
~2 a(x)
E + V (x) = .
2 m a(x)
d2 2m
a(x) 2 (V (x) E) a(x) = 0.
dx 2 ~
R
Como exigimos que a(x)2 dx = 1, temos que a vai a zero quando x
vai a mais infinito e a menos infinito.
A equacao acima tem sempre solucao a(x) sob hipoteses razo aveis
sobre V . A condicao de que a vai a zero quando x vai a mais infinito e
a menos infinito fixa condicoes de fronteira que determinam os possiveis
valores de E.
2017/5/16
quantum2013
page 144
a2 S
div ( ) = 0.
m
Faremos aqui um paralelo com cen ario quantico. Lembre que na
Mecanica Qu 2 2
antica a(t, x) = at (x) vai descrever a probabilidade de
encontrar em x a partcula no tempo t numa certa regi ao espacial dada.
Assim esta densidade vai evoluir ao longo do tempo seguindo a direcao
do gradiente de S (no tempo t) que e a parte ondulatoria da funcao de
onda.
Assim, a evolucao da distribuicao de massa na Mecanica de Fludos
possui um paralelo com a evolucao da probabilidade de encontrar a
partcula numa certa regiao na Mecanica Qu antica. Vamos elaborar um
pouco mais sobre isto.
d Tt (x)
vt (Tt (x)) = ,
dt
x R, t R. Seja, uma densidade inicial f (x), e, t a evoluca o
temporal desta densidade ao longo do fluxo definido pela familia de di-
feomorfismos Tt , isto e, para qualquer funca
o diferenciavel com suporte
compacto e qualquer t, temos que
Z Z
(x) t (x) dx = (Tt (x)) f (x) dx.
2017/5/16
quantum2013
page 145
Sec
ao 1.11 Uma generalizac
ao da Teoria de Hamilton-Jacobi 145
d d
t + (v t ) = 0.
dt dx
Demonstracao. Sem perda de generalidade (basta tomar limites ap
os
obtido o resultado desejado) se pode assumir que tem suporte com-
pacto.
Note que para todo x
d d dTt (x) d
( Tt ) = [ (Tt (x))] = [ (Tt (x))] vt (Tt (x)).
dt dx dt dx
Assim, como podemos passar a derivada para dentro da integral
Z Z Z
d d d
(x) t (x) dx = (x) t (x) = (Tt (x)) f (x) dx =
dt dt dt
Z Z
d d
[ (Tt (x)) ] vt (Tt (x))f (x) dx = [ (x) ] vt (x) t (x) dx =
dx dx
Z
d
[ vt (x) t (x) ] dx.
dx
Na ultima passagem usamos integracao por partes, e, ainda, o fato
tem suporte compacto.
Como a afirmac
ao vale para todo temos finalmente que
d d
t = ( t v ).
dt dx
2017/5/16
quantum2013
page 146
~2 a ~2 ( x21
+ ... + ( x2n ))
= .
2m a 2m a(t, x)
Defini
c
ao 1.28. A equacao diferencial
S |S|2
+ + V (x) = 0, (1.7)
t 2m
e conhecida em Mecanica Cl
assica como a equacao de Hamilton-Jacobi
para a acao S(t, x).
2017/5/16
quantum2013
page 147
Sec
ao 1.11 Uma generalizac
ao da Teoria de Hamilton-Jacobi 147
|S(x)|2
+ V (x) = E. (1.8)
2m
Em geral n
ao existem funcoes diferenciaveis solucionando tal equacao.
Referimos o leitor a [7], [2] e a secao 3 em [177] para resultados gerais
sobre esta equacao e sua relacao com Mecanica Cl assica.
Alguns autores consideram a condicao ~ 0 como a aproximacao da
Mecanica Qu antica ao cenario da Mecanica Cl assica (ver [118]). Mais
precisamente, para t fixo, a distribuicao de probabilidade de |t (x)|2
- onde t satisfaz a equacao de Schorodinger com ~ vari avel - deveria
descrever, de alguma forma, um sistema mec anico classico.
Nao h
a de nossa parte nenhum reparo a este formalismo do ponto
de vista matem atico. Mas, na nossa opini ao, n ao faz muito sentido
do ponto de vista da Fsica, pois em um momento ~ e uma constante
fundamental da teoria e em outro e uma vari avel. No nosso modesto en-
tendimento, este ponto de vista n ao e corroborado por algum princpio
fsico convincente conforme discussao em [154]. Na verdade uma cons-
tante dimensionless, como explicado por C. Sparber em [256], e que
corresponde ao formalismo matematico correto fazendo 0 no limite
semiclassico na equacao
2 2 (t, x)
i (t, x) = + V (x) (t, x).
t 2m x2
Excelentes textos matem aticos tratam do assunto (ver [118], [160],
[67] e [279]). Abordamos o assunto em algumas secoes (por exemplo nas
secoes 2.10 e 2.14).
Parece fazer mais sentido considerar um estado quantico como de-
pendente da massa e fazer o limite (semi-cl assico) quando a massa vai
a infinito com ~ fixo. Como vimos na secao 1 deste captulo no caso do
ground state isto funciona perfeitamente.
Por exemplo, na excelente exposicao [134] and [135] o limite as-
sintotico pode ser entendido como supondo que a massa vai a infinito.
Neste trabalho e analisado a medida assintotica no limite semicl assico
do ground state para um potencial diferenci avel numa variedade Rie-
manniana.
O assim chamado cell problem esta naturalmente relacionado com
questoes de Limite semi-cl assico. Referencias em que se analisam tais
2017/5/16
quantum2013
page 148
S |S|2 ~2 a
+ +V = ,
t 2m 2m a
vao ter como limite as solucoes da equacao (1.7) acima. A express
ao
~2 am,~
(t, x),
2 m am,~
2017/5/16
quantum2013
page 149
Sec
ao 1.11 Uma generalizac
ao da Teoria de Hamilton-Jacobi 149
S |S |2
+ + V = 0,
t 2m
e
(a2 ) a2 S
+ div ( ) = 0.
t m
Seja S a acao classica para o Hamiltoniano aut
onomo classico
|p|2
H(x, p) = 2 m + V . Se assumirmos, via separacao de vari
aveis, que
S (x, t) = W (x) E t, obtemos a equacao de Hamilton-Jacobi na
forma
|W (x)|2
+ V (x) = E,
2m
e a equacao de transporte
a2 W
div ( ) = 0.
m
Note que foi essencial aqui supor que o Hamiltoniano e aut
onomo.
|W (x)|2
= E.
2m
|p|2
+ V (x) = E.
2m
A x-projecao do nvel de energia E e o conjunto dos x tais que
2
existe p tal que 2|p|m + V (x) = E. Na figura 1.7 pode se observar no caso
unidimensional os possveis valores x que podem ser atingidos quando
esta fixo um certo nvel de energia E. Fixado um nvel de energia E
sejam xE E
a < xb os extremos deste intervalo.
facil ver, pelo Teorema de Conservacao da Energia total, que
E
Z xp
W (x) = 2 m [ E V (y) ] dy
xa
2017/5/16
quantum2013
page 150
|W (x)|2
+ V (x) = E.
2m
Rx p
Note que W (x) = xa 2 m [ E V (y) ] dy tambem satisfaz a e-
quacao.
No limite semiclassico, quando ~ 0, seria natural esperar que a
S ~ , associada a cada ~, va convergir a esta W .
Nos pontos xa e xb a funcao W deixa de ser diferenci avel. Algumas
vezes se chama tais pontos de pontos de dobra. A funcao W n ao est
a
assim (ao menos de maneira natural) definida de forma diferenci avel
em toda a reta real. As solucoes KAM fracas descrevem uma maneira
alternativa de tratar com tais patologias [51].
W e chamada de solucao KAM fraca da equacao de Hamilton-Jacobi
se W e diferenciavel fora de um conjunto de medida de Lebesgue 0 na
(x)|2
x-projecao do nvel de energia E, e, vale |W2m + V (x) = E (onde
definido) [87] [51]. Neste caso, sempre existe solucao KAM fraca da
equacao de Hamilton-Jacobi (sob algumas condicoes bem gerais sobre
V ).
A sigla KAM se refere a Kolomogorov, Arnold and Moser que deram
contribuicoes muito importantes na formalizacao desta Teoria.
Fixado m e o correspondente am (obtido da equacao de Schr odinger)
2
considere um novo potencial Vm (x) = V (x) 2~m a m (x)
am (x) .
ao 1.29. 2~m
2 a(x)
Defini
c a(x) e chamado de potencial quantico associado
i
S
a H e ao estado = a e ~ .
Sm |Sm |2 ~2 am
+ +V = .
t 2m 2 m am
2017/5/16
quantum2013
page 151
Sec
ao 1.11 Uma generalizac
ao da Teoria de Hamilton-Jacobi 151
Para cada x fixo, tal funcao acao S(t, x)x = S(t, x, x ) satisfaz a
equacao de Hamilton-Jacobi para o Hamiltoniano H fixado (ver secao
3.9 in [177]). Assim, e natural identificar S(t, x, x ) = S (t, x, x ).
2017/5/16
quantum2013
page 152
2017/5/16
quantum2013
page 153
Sec
ao 1.11 Uma generalizac
ao da Teoria de Hamilton-Jacobi 153
2017/5/16
quantum2013
page 154
Se considerassemos
Z t
d
Sm (t, t , x, x ) = [ < p(s) , x(s) > Hm (x(s), p(s)) ]ds,
t ds
obteramos a relacao dada pela equacao de continuidade, ou seja, para
qualquer (t, x)
a2m (t, x) Sm (t, x, t , y ) a2m (t, x)
+ ( ) = 0.
t x x m
Note que no caso do oscilador harmonico
2 S (x, y, t) w
= .
x y sin(w t)
w
Assim, se t for pequeno, mas n ao nulo, entao sin(w t) fica finito.
A secao 2.18 trata do assunto tratado acima de um ponto de vista
diferente.
2017/5/16
quantum2013
page 155
Sec
ao 1.12 Fluxo de Probabilidades e Transporte 155
onde,
i~ t (x) t (x)
j(x, t) = (t (x) t (x) ).
2m x x
Desta forma j(x, t) desempenha o papel do fluxo de probabilidade
entrando por b e saindo por a com a variacao do tempo, no exato instante
t.
Se t e estacion ao varia com t R, entao
ario, ou seja, |t (x)| n
j(x, t), para t fixo, independe de x.
Em geral para um estado satisfazendo a equacao de Schr odinger
teremos que
|(t, x)|2 = (t, x)(t, x) + (t, x) (t, x) =
t t t
i ~2 i ~2
= ( x t + V t ) + ( x t + V t ) =
~ 2m ~ 2m
i ~2 i ~2 i~
= ( x t + V t ) + ( x t + V t ) = (t x t t x t ) =
~ 2m ~ 2m 2m
i~
= div(t t t t )
2m
O valor t |(t, x)|2 descreve a tendencia de variacao da densidade
no ponto x no tempo t.
Defini
c
ao 1.30. O fluxo (ou corrente) de probabilidade, j e definida
por
i~
j(t, x) = (t t t t )
2m
Portanto o calculo acima nos d
a que
+ div j = 0
t
2017/5/16
quantum2013
page 156
2017/5/16
quantum2013
page 157
Sec
ao 1.13 O Teorema de Ehfrest e a dispers
ao cl
assica e qu
antica 157
d t t t p(t) t V
t (x, p) = q (t) + p (t) = (q(t)).
dt x p x m p x
e Z
P (t) = E(p(t)) = p t (x, p) dx dp.
Z Z
d d
Q (t) = qt (x, p) dxdp = x (x, p)t (x, p) dxdp =
dt dt
Z Z
d H P (t)
x (t ((x, p))0 (x, p) dxdp = (t ((x, p)) 0 (x, p) dxdp = ,
dt p m
e, Z Z
d d
P (t) = pt (x, p) dxdp = p (x, p)t (x, p) dxdp =
dt dt
2017/5/16
quantum2013
page 158
d 1 d2
F (x) = F (Q(t)) + F (Q(t))(x Q(t)) + F (Q(t))(x Q(t))2 + ...
dx 2 dx2
R
Assim, para t fixo, como (x Q(t))t (x, p) dx dp = 0, temos que
Z
d
P (t) = F (x) t (x, p) dx dp =
dt
Z
d
F (Q(t)) + F (Q(t))(x Q(t)) t (x, p)+
dx
Z Z
1 d2 2
F (Q(t))(x Q(t)) t (x, p) + ... =
2 dx2
Z
d
F (Q(t)) + F (Q(t)) (x Q(t))t (x, p)+
dx
Z Z
1 d2 2
F (Q(t)) (x Q(t)) t (x, p) + ... =
2 dx2
2017/5/16
quantum2013
page 159
Sec
ao 1.13 O Teorema de Ehfrest e a dispers
ao cl
assica e qu
antica 159
Z
1 d2
F (Q(t)) + F (Q(t)) (Q(t))2t + ...
2 dx2
Assim, para um T fixo, e necessario que para todo t [0, T ] valha
que
1 d2
F (Q(t)) (Q(t))2t
2 dx2
seja pequeno em m odulo em relacao a F (Q(t)), para que o valor medio
Q(t), t [0, T ], para a condicao inicial 0 (x, p) (que determina Q(0) =
x0 , P (0) = p0 ), acompanhe aproximadamente a evolucao determinstica
q(t), via equacao de Hamilton, a partir da condicao inicial (x0 , p0 ). Para
T fixo, Q(t) vai estar em um conjunto limitado (que se pode estimar) e
d2
assim, sob condicoes razo aveis sobre V , temos que 21 dx 2 F (Q(t))
e limita-
do tambem. Em particular e necessario que (Q(t))2t seja pequeno para
d3
t = 0 em relacao a 21 dx 3 V (x0 ). Isto tudo depende, e claro, de quem e
0 . Desta forma se 0 (x, p) fosse aproximadamente uma delta Dirac
em torno de (x0 , p0 ) o que afirmamos acima seria aproximadamente
atingido.
Em resumo, obtivemos a condicao: assumir que (Q(t))2t e menor
que o m odulo de
d
dx V (x)
3
d
21 dx 3 V (x)
2017/5/16
quantum2013
page 160
d2 dV
m2
< X >t =< >t =
dt dx
Z Z
dV
(x)|t (x)|2 dx = F (x)|t (x)|2 dx.
dx
Assuma que
< X >0 = E0 (X ) = x0
e
< P >0 = E0 (P) = p0 .
d
Sabemos que m dt < X >0 = < P >0 = p0 .
Se fosse verdade que
d2
m < X >t = F (< X >t )
dt2
entao,< X >t iria satisfazer a Lei de Newton com condicao inicial x0 e
p0 . Em geral tal n
ao acontece.
d
Novamente, expandindo F (x) = dx V (x) na vari
avel q em torno de
< X >t obtemos
d
F (x) = F (< X >t ) + F (< X >t )(x < X >t )+
dx
2017/5/16
quantum2013
page 161
Sec
ao 1.13 O Teorema de Ehfrest e a dispers
ao cl
assica e qu
antica 161
1 d2
F (< X >t )(x < X >t )2 + ...
2 dx2
R
Assim, para t fixo, como (x < X >t ) |t (x)|2 dx = 0, temos que
Z
d2
m 2 < X >t = F (x) |t (x)|2 dx =
dt
Z Z
1 d2 2 2
F (< X >t ) + F (< X >t ) (x < X >t ) |t (x)| dx + ...
2 dx2
1 d2
F (< X >t ) + F (< X >t ) (t X )2 + ....
2 dx2
Assim, para um T fixo, e necessario que para todo t [0, T ] valha
que
1 d2
F (< X >t ) (t X )2
2 dx2
seja pequeno em m odulo, em relacao a F (< X >t ), para que o valor
medio < X >t , t [0, T ], para a condicao inicial 0 (que determina x0
e p0 ), acompanhe aproximadamente a evolucao determinstica q(t), via
equacao de Hamilton, a partir da condicao inicial (x0 , p0 ). Para T fixo,
< X >t vai estar em um conjunto limitado (que se pode estimar) e
d2
assim, sob condicoes razoaveis sobre V , temos que 12 dx 2 F (< X >t )) e
limitado tambem. Em particular e necessario que (t X )2 seja pequeno
d3
para t = 0 em relacao ao m odulo de 12 dx 3 V (x0 ) para que isto aconteca.
Em resumo, para que estejamos num cen ario proximo ao classico, e
necessario que para todo t [0, T ] o valor de (t X )2 seja bem menor
que o m odulo de
d
dx V (x)
d3
.
12 dx 3 V (x)
Desta forma, isto corresponde a uma exigencia forte sobre quao pe-
queno deve ser a dispers ao (vari
ancia) do estado incial 0 em relacao a
X.
Existe uma questao mais sutil envolvendo o limite semicl assico num
intervalo de tempo [0, T ]. As constantes que utilizamos na Fsica s ao me-
didas por nossos cientistas num periodo de tempo pequeno em relacao a
idade do universo. Assim, aquilo que nos parece constante, por exemplo
~, poderia de fato n
ao ser, se fosse possvel fazer medicoes em intervalos
de tempo T maiores. Desta forma, considerar o limite semicl assico sem o
2017/5/16
quantum2013
page 162
1.14 Distribuic
oes e Transformada de Fourier
2017/5/16
quantum2013
page 163
Sec
ao 1.14 Distribuico
es e Transformada de Fourier 163
Defini
c
ao 1.31. O conjunto das distribuicoes, e descrito como
G = {L : C0 (R) RL e linear e contnuo}.
2017/5/16
quantum2013
page 164
No caso em x0 n ao est
a em [a, b] obtemos o mesmo resultado. Desta
forma, a afirmacao esta justificada.
Para concluir, queremos definir a transformada de Fourier de uma
distribuicao. Este conceito deve generalizar o anteriormente introduzido
para as funcoes usuais. Referimos o leitor para [38] para uma exposicao
detalhada no assunto.
Definic
ao 1.32. Dada uma distribuicao descrita pelo funcional L, para
cada p Rn defina
ipx
L(p) = L((2)1/2 e ).
Acima L e uma distribuicao que age em funcoes teste (x) na vari
avel
x.
ipx
A associacao p L((2)1/2 e ) (que e uma funcao ou uma
funcao generalizada) e a transformada de Fourier da distribuicao L. Note
que L age na variavel p.
2017/5/16
quantum2013
page 165
Sec
ao 1.14 Distribuico
es e Transformada de Fourier 165
ip0 x
Outro exemplo, associado a (x) = (2)1/2 e podemos consi-
derar a distribuicao
Z
i s p0
L ()(s) = (s)e d s,
Se p0 = 0 temos
Z
ip s ip s
p L ((2)1/2 e )= (2)1/2 e d s.
Em qualquer dos dois casos observamos que desta associacao nao ob-
temos uma funcao de fato; podemos no entanto considerar a distribuicao
associada e perguntar quem e?
Pode se mostrar tambem que a transformada de Fourier de x
i x p0
e ~, onde p0 esta fixo, no sentido de distribuicoes, e a delta Dirac em
p0 .
De fato, seja f de classe C com suporte compacto. Vamos mos-
trar a afirmacao para p0 = 0. Ou seja, a delta Dirac em x = 0 e a
R R i
distribuicao (funcional linear) f f (p) ( e ~ p s ds ) dp. De fato, esta
u
ltima distribuicao satisfaz
Z Z B
i
f (.) lim f (s) ( e ~ p s ds )dp .
A,B A
Mas,
Z Z B Z B Z Z B
i
~i p s
f (s) ds e ~
ps
dp = dp f (s)e ds = (2 ~) 1/2
f(p)dp,
A A A
2017/5/16
quantum2013
page 166
Resulta entao
Z Z B i
lim f (s) ds e ~ p s dp = f (0).
A,B A
R
No sentido de distribuicao temos que f (s) 0 (ds) = f (0). Assim,
mostramos a propriedade no caso p0 = 0. R
Vamos elaborar um pouco a seguir porque f (s) 0 (ds) = f (0).
Antes, disso observamos apenas que no caso geral de p0 qualquer e
decorrencia da propriedade 3) descrita na secao 1.4
As figura 1.4 e 1.5 ilustram de certa forma o que estamos descrevendo
analiticamente acima.
R
Agora vamos dar um sentido mais formal a afirmacao f (s) 0 (ds) =
f (0).
Vamos descrever a ac ao da delta Dirac 0 via um procedimento li-
mite.
Esse processo de tomar o limite requer um novo olhar sobre a de-
finicao de distribuicao. Para o bom entendimento necessitamos antes de
mais nada de apresentar algumas tecnicalidades bem simples. Uma ma-
neira equivalente a feita acima para essa definicao e a seguinte: dizemos
que a sequencia de funcoes {fn } C (R) converge fracamente se para
toda funcao g C0 (R), existe o limite
Z
lim fn (x)g(x)dx.
n
2017/5/16
quantum2013
page 167
Sec
ao 1.14 Distribuico
es e Transformada de Fourier 167
Observacoes:
Pode-se mostrar que essa segunda definicao de distribuicao via este pro-
cedimento e equivalente a primeira. Mas ela ainda n ao est
a suficiente-
mente boa para definir a transformada de Fourier de uma distribuicao.
Para que possamos fazer isso, ser a necessario restringir o conjunto no
qual as funcoes fn podem variar.
possvel dar um sentido geral ao conceito de convergencia no espaco
E
das distribuicoes e isto conduz ao conceito de espaco de Sobolev (ver
secao 3.1 em [12]).
Dizemos que uma funcao e de Schwartz, se
dm
lim xn f (x) = 0 n, m N.
x dxm
Uma distribuicao cuja transformada de Fourier est a bem definida e
uma aplicacao obtida como limite fraco de uma sequencia de funcoes
de Schwartz. No presente texto n ao vamos apresentar a formulacao
completa deste topico que e bem complexo.
Finalmente, ap os este preliminares, podemos apresentar uma boa
definicao de transformada de Fourier para distribuicoes. Dada uma dis-
tribuicao associada a sequencia de funcoes de Schwartz fn , definimos
a transformada de Fourier de , denotada por , como a distribuicao
2017/5/16
quantum2013
page 168
2017/5/16
quantum2013
page 169
Sec
ao 1.15 169
2017/5/16
quantum2013
page 170
Captulo 2
Topicos Selecionados
de Mec anica Quantica
~2
i~ = H = + V (x)
t 2m
t |t=0 = 0 .
Definic
ao 2.1. O resolvente de um operador A (eventualmente n ao
limitado e definido apenas num domnio denso) agindo sobre um espaco
2017/5/16
quantum2013
page 171
Sec
ao 2.1 Teoria Espectral 171
2017/5/16
quantum2013
page 172
172 T
opicos Selecionados de Mec
anica Qu
antica Cap. 2
C0k = (, a0 ], C1k = (a0 , a1 ], C2k = (a1 , a2 ], ..., Ckk = (ak , ak+1 ], Ck+1
k
= (ak+1 , ),
temos que
Z k+1 Z
X Z
f (x)dh(x) = f (x)dh(x) = f (x)dh(x).
j=0 Cjk k
Ck/2
2017/5/16
quantum2013
page 173
Sec
ao 2.1 Teoria Espectral 173
2017/5/16
quantum2013
page 174
174 T
opicos Selecionados de Mec
anica Qu
antica Cap. 2
0 1 2 ... n ...
2017/5/16
quantum2013
page 175
Sec
ao 2.1 Teoria Espectral 175
Z
< , E()() > < , E()() >= d h() = a3 b3 + a4 b4 .
De fato,
Z
d < , E()() >=
Z
X 4
X Z
X 2
X
< an n , bn n > dx < an n , bn n > dx =
n=1 n=1 n=1 n=1
Z 4
X
< an n , bn n > dx = a3 b3 + a4 b4 .
n=3
2017/5/16
quantum2013
page 176
176 T
opicos Selecionados de Mec
anica Qu
antica Cap. 2
X
= | an |2 n .
n=1
Note que tal depende de e de A.
Observe que
Z
X
() = | an |2 n .
n=1
se os u
nicos autovalores de A entre e s
ao 3 e 4
Afirmamos que A pode ser escrito como
X Z
A = n Pn = dE().
n
P
P Para mostrar tal fato, primeiro observe que se = n an n , =
n bn n , onde n , n N
e conjunto ortonormal completo, entao
X X
< , A() >= < an n , A( bm m ) > =
n m
X X X Z
< an n , m bm m ) > = n an bn = d() =
n m n
Z
< , ( dE() ) () > .
Em resumo, para qualquer ,
Z Z
< , A() >= d < , E()() >=< , ( d E() ) () > .
2017/5/16
quantum2013
page 177
Sec
ao 2.1 Teoria Espectral 177
e assim
X X
< , A2 () >= < an n , A2 ( bm m ) > =
n m
X X X Z
< an n , 2m bm m ) > = 2n an bn = 2 d.
n m n
Portanto, Z
f (A) = f () d E().
2017/5/16
quantum2013
page 178
178 T
opicos Selecionados de Mec
anica Qu
antica Cap. 2
2017/5/16
quantum2013
page 179
Sec
ao 2.1 Teoria Espectral 179
Desta forma S2 S1
est
a definido no domnio D(f (A)) que e constitudo pelas funco
es tais
que Z
|f ()|2 d|E()()|2 < .
2017/5/16
quantum2013
page 180
180 T
opicos Selecionados de Mec
anica Qu
antica Cap. 2
natural definir
E
Z
f (A) := f () dE().
7) Dadas as funco
es f (), g(), mensur aveis (como acima) tomando
valores complexos vale para qualquer D(f (A)), D(g(A))
Z
< f (A)(), g(A)() >= f () g() d < E()(), > .
R
8) f (A)
= f () dE(). Assim, se f toma apenas valores reais
ent
ao f (A) e autoadjunto.
9) Para todo , o operador
Z
E() = dE().
2017/5/16
quantum2013
page 181
Sec
ao 2.1 Teoria Espectral 181
Assim,
Z b Z b
X
< [ dE() ()], >= |(x)|2 dx.
a a
A express
ao Z
A= dE(),
2017/5/16
quantum2013
page 182
182 T
opicos Selecionados de Mec
anica Qu
antica Cap. 2
d 2
Exemplo 2.3. A resolucao da identidade para o operador u dx 2 (u)
e dada por:
R
u [E()(u)](x) = u(x) 1 sin( (sx) )
sx u(s) ds, se < 0,
u [E()(u)](x) = u(x), se 0,
conforme 6.3 em [200].
2017/5/16
quantum2013
page 183
Sec
ao 2.1 Teoria Espectral 183
Ainda,
Z b
d < E()(), >= |a3 |2 3 .
a
2017/5/16
quantum2013
page 184
184 T
opicos Selecionados de Mec
anica Qu
antica Cap. 2
Desta forma,
Z b Z b
< P
d E ()(), >= < I[a,b] (p) (p), (p) > = |2 dp.
|(p)
a a
e, assim,
Z b
< I[a,b] (A)(), >= d < E()(), > .
a
O valor assim obtido e a probabilidade da medicao de A estar em
[a, b].
Vamos mostrar mais abaixo que se (A), entao existe um inter-
valo aberto (a, b) contendo , tal que I[a,b] (A) = 0.
Desta forma podemos concluir que a probabilidade da medicao ob-
tida num estado qualquer, via o observ avel A, estar no resolvente de
A e nula. Ou seja, apenas valores no espectro de A ser ao obtidos via
uma medicao do observ avel
P A.
Se por acaso, A = n n Pn , onde os n formam um conjunto
ortonormal enumeravel completo, afirmamos antes que apenas os au-
tovalores n podem ser obtidos como resultado da medicao de A num
estado . Vamos obter agora esta propriedade a partir do Teorema
Espectral e do Postulado 8. P
Ora, pode ser escrito como = n=0 an n .
Considere um intervalo [, ] que contenha apenas o autovalor k ,
onde k esta fixo.
Assim
Z
d < E()(), >=< E()(), > < E()(), >= |ak |2 .
2017/5/16
quantum2013
page 185
Sec
ao 2.1 Teoria Espectral 185
Proposi
c
ao 2.2. 1(A) = I (o operador identidade).
o. Note que I(,k] () 1, para qualquer x, R, e
Demonstraca
k N.
Assim, para qualquer vale I(,k] (A)() 1(A)() pelo item 10)
acima. Pelo item 9) temos que I(,k] (A) = E(k). Finalmente, como
pelo item 3) sabemos que limk E(k)() = , conclumos que para
todo vale 1(A)() = .
2017/5/16
quantum2013
page 186
186 T
opicos Selecionados de Mec
anica Qu
antica Cap. 2
Proposi ao 2.4. Se g : R R e n
c ao negativa, ent
ao, g(A) e um
operador positivo.
Demonstraca
o. Para um qualquer vale
Z
< g(A)(), () >= g() d < E()(), > 0.
f (A) (z I A) = I = (z I A) f (A).
quantum2013
2017/5/16
page 187
Sec
ao 2.1 Teoria Espectral 187
possvel mostrar o seguinte fato (XII 2.8 Theorem 9 [75]):
E
Teorema 2.8. Dado o operador autoadjunto A e sua decomposica o es-
pectral E A (), considere f () real continua e o operador f (A) com sua
respectiva decomposicao espectral E f (A) (). Entao,
Z b Z
d E f (A) () = d E A ().
a f 1 (a,b)
2017/5/16
quantum2013
page 188
188 T
opicos Selecionados de Mec
anica Qu
antica Cap. 2
Isto implica que I[a,b] (B) = 0, e assim, pelo Teorema 2.6 temos que
[a, b] (B).
Como vimos:
kn k = 1 n;
k (A I)(n )) k 0, quando n ;
2017/5/16
quantum2013
page 189
Sec
ao 2.1 Teoria Espectral 189
Defini
c
ao 2.4. O espectro pontual de um operador A e
Defini
c
ao 2.5. O espectro contnuo de um operador A e
O pr
oximo teorema n
ao ser
a demonstrado (ver [120] para referencia.)
Observa c
ao 1: Observamos que se A um operador auto-adjunto
limitado, entao,
(A) [kAk, kAk] .
2017/5/16
quantum2013
page 190
190 T
opicos Selecionados de Mec
anica Qu
antica Cap. 2
quantum2013
2017/5/16
page 191
Sec
ao 2.1 Teoria Espectral 191
A)(n )| = |(I
|(I A) IW (A)(n )| =
n
q
A) IW (A)(n ), (I
< (I A) IW (A)(n ) > sup |
| 0,
n n
Wn
quando n .
o operador inverso de
Ora, isto implica que se denotamos por R()
(I A), entao
(I
|n | = |R() A)(n )| |R()|
|(I
A)(n )| 0.
Demonstracao. Se z n
ao e real existe uma vizinhanca de z que tambem
esta no resolvente. Se z e real, entao pelos dois teoremas anteriores,
sabemos que ele est
a num intervalo (a, b) contido no resolvente de A.
2017/5/16
quantum2013
page 192
192 T
opicos Selecionados de Mec
anica Qu
antica Cap. 2
k (X I) n k2 = k (x ) n (x)k2 =
Z Z
1
|x |2 n| (n (x )) |2 dx = 2 |y|2 | (y) |2 dy.
n
ltimo termo claramente vai a zero quando n . Logo vemos
O u
que k (X I) n k 0 com n . Desta forma, as duas primeiras
2017/5/16
quantum2013
page 193
Sec
ao 2.1 Teoria Espectral 193
(x) = i ~ (x).
Finalmente,
Z Z
3 2
|(P I) (n )| = 2 2
~ n 2
( (x/n)) dx = ~ n 2
( (y))2 dy.
R
Como ( (y))2 dy e finita, temos que n , n N, define uma se-
quencia de Weyl. Sendo assim, esta no espectro.
2017/5/16
quantum2013
page 194
194 T
opicos Selecionados de Mec
anica Qu
antica Cap. 2
Vamos
R A separar em treRs partes esta integral. Seja > 0 e A > 0 tais
que |f (x)| dx < e A |f (x)|2 dx < .
2
Z A/n
1/2 2 A 1/2
n ( (y)2 dy)1/2 |f | n1/2 c ( ) |f | = c (2 A)1/2 |f |,
A/n n
porque 0 (x) c para todo x.
Ainda,
Z A Z A Z A
2 1/2
(x/n) |f (x)| dx ( (x/n) dx) ( |f (x)|2 dx)1/2
Z A Z A/n
1/2 2 1/2 1/2 1/2
( (x/n) dy) |f | n ( (y)2 dy)1/2 = 1/2 n1/2 ,
porque || = 1. R
Da mesma forma A (x/n) |f (x)| dx 1/2 n1/2 .
Somando as desigualdades e multiplicando por n1/2 , resulta
Logo,
lim sup | < n , f > | 2 .
n
2017/5/16
quantum2013
page 195
Sec
ao 2.1 Teoria Espectral 195
kn k = 1, n;
k (A I) (n )k 0, quando n ;
para todo conjunto limitado B Rd , supp (n ) B = , para n
suficientemente grande.
A diferenca fundamental do conceito anterior e que o suporte das n
vai ao infinito quando n .
~
2
Teorema 2.17. Se H = 2m + V e um operador de Schr
odinger com
potencial real e limitado inferiormente entao
c (H) = { |existe uma spreading sequence para H e } .
2017/5/16
quantum2013
page 196
196 T
opicos Selecionados de Mec
anica Qu
antica Cap. 2
inf V (y) .
ysupport of n
Assim,
inf < , H() > = inf {p (H) {1 , 2 , ..., k } }.
{ | Fk D(H) , ||=1 }
2017/5/16
quantum2013
page 197
Sec
ao 2.1 Teoria Espectral 197
Z X 2 Z
~2
n n (x) dx + |n |2 V (x) dx =
2m 2 xj
j
2017/5/16
quantum2013
page 198
198 T
opicos Selecionados de Mec
anica Qu
antica Cap. 2
Z X Z
~2
| n (x)|2 dx + |n |2 V (x) dx
2m xj
j
inf V (y) = .
Logo, .
2. (H) = p (H) = {n }
n=0 , com n , quando n .
2017/5/16
quantum2013
page 199
Sec
ao 2.1 Teoria Espectral 199
Demonstraca
o. Vamos mostrar apenas o item 2.
Considere para k N o vetor K k = (K1k , K2k , ..., Knk ) ([/L] N)n ,
~2
|(H I)(n ) |( I)(n )| |V(n )|
2m
~2
|( I)(n )| sup V.
2m
P
Escrevendo cada n na forma n = k akn k , e usando o fato que
|K k |2 e o autovalor de k , obtemos
~2 X
( I)n = (|K k |2 )akn k .
2m
k
~2 X
|( I)n |2 = (|K k |2 )2 |akn |2 .
2m
k
P
Como, para cada n, vale |n | = 1, entao k |akn |2 = 1.
Como V e limitado, temos que existe K > 0, tal que para todo
|K k | > K, vale
|K k |2 2 (sup |V | + 1).
2017/5/16
quantum2013
page 200
200 T
opicos Selecionados de Mec
anica Qu
antica Cap. 2
~2
|(H I)(n )| |( I)(n )| sup V,
2m
conclumos que |(H I)(n ) e maior do que uma constante positiva se
n > N . Isto contradiz o fato que n e uma sequencia de Weyl.
Desta forma o espectro contnuo e vazio. Os autovalores de H nao
podem acumular em um intervalo limitado por um argumento similar
ao usado na Prop. 2.16. Note que como < H(, ), > inf x V ||2 ,
entao o conjunto dos autovalores e limitado inferiormente.
Nesta secao vamos tratar de questoes relativas aos possiveis valores as-
sumidos pelo espectro do operador Hamiltoniano.
2
Teorema 2.21. O espectro de , agindo em L2 Rd , e ( 2~m )c =
[0, ). O mesmo vale para H0 .
2017/5/16
quantum2013
page 201
Sec
ao 2.2 Valores atingidos por observ
aveis 201
Um criterio muito u
til (ver prova em [243]) e o seguinte:
2017/5/16
quantum2013
page 202
202 T
opicos Selecionados de Mec
anica Qu
antica Cap. 2
Teorema 2.22. Se existem constantes a < 1, e, b real tal que para todo
D(H0 )
|V ()| a |H0 ()| + b||,
ent
ao, H e autoadjunto.
Vamos mostrar agora que se [a, b] e um intervalo real, tal que esta
contido no conjunto resolvente de um operador autoadjunto A, e, se e
um estado qualquer em D(A), entao, a probabilidade que (x)A()(x)
neste sentido que se afirma que o observ
esteja em [a, b] e nula. E avel
toma apenas valores no espectro de A. Vamos elaborar sobre isto, mas
antes necessitamos recordar alguns fatos.
Lembre que pelo Postulado 3, para cada observ avel classico g cor-
responde um operador autoadjunto Ag , tal que, para todo em D(A)
vale
g||2 = < , Ag > .
2017/5/16
quantum2013
page 203
Sec
ao 2.3 Princpio do Mini-max 203
Nesta secao vamos mostrar entre outras coisas que o ground state 0
minimiza Z
~2 d
0 = | (x) |2 + V (x)|(x)|2 dx,
2 m dx
entre os diversos de norma 1.
2017/5/16
quantum2013
page 204
204 T
opicos Selecionados de Mec
anica Qu
antica Cap. 2
= C ()
S () e =0
C()
2017/5/16
quantum2013
page 205
Sec
ao 2.3 Princpio do Mini-max 205
2017/5/16
quantum2013
page 206
206 T
opicos Selecionados de Mec
anica Qu
antica Cap. 2
porque pelo Teorema 2.1 (1) tempos que < E()(), > e mon
otona
crescente.
Temos ainda que
Z Z
d < E()(), > = d < E()(), >= 1.
Desta forma
2017/5/16
quantum2013
page 207
Sec
ao 2.3 Princpio do Mini-max 207
No pr
oximo teorema s
o nos interessa o caso em que (A) e limitado
inferiormente.
Demonstraca
o. Vamos iniciar pela prova de uma das implicacoes afir-
madas pelo Teorema. Tome
Vn = span{1 , ..., n }
2017/5/16
quantum2013
page 208
208 T
opicos Selecionados de Mec
anica Qu
antica Cap. 2
Logo,
n inf max h, Ai
{F D(A) |dimF =n} {F |||=1}
ou seja, suponha que existe W 6= Vn tal que n > max{W |||=1} h, Ai.
Entao, existe 0 W Vn com
max h, Ai = h0 , A0 i.
{W |||=1}
Sabemos que
h, Ai inf h, Ai.
D(A)| ||=1}
{Vn1
2017/5/16
quantum2013
page 209
Sec
ao 2.4 Curva tomando valores em operadores 209
Entao,
max h, Ai h, Ai inf h, Ai
{F |||=1} D(A)| ||=1}
{Vn1
n inf h, Ai.
D(A)| ||=1}
{Vn1
Por hip
otese, n < inf c (A), logo
2017/5/16
quantum2013
page 210
210 T
opicos Selecionados de Mec
anica Qu
antica Cap. 2
Definic
ao 2.8. Dizemos que uma funcao generica de A, dada por g(A),
e analitica (em A) se pode ser escrita como serie de potencias em A
ao vale para todo A tal que |A| < R).
(para algum fixo R a express
2017/5/16
quantum2013
page 211
Sec
ao 2.4 Curva tomando valores em operadores 211
Observe que para cada t temos que (t) = B((t)) (t) e uma curva
no espaco dos operadores. Ao fim desta secao (ver esc
olio) vamos apre-
sentar os detalhes da definicao de tal integral.
Acima afirmamos que para uma curva fechada (ou seja, (0) =
(1)), tal que
H d
a uma volta completa englobando todo o espectro de A,
vale que 2i f (z) (A zI)1 dz = f (A).
1
2017/5/16
quantum2013
page 212
212 T
opicos Selecionados de Mec
anica Qu
antica Cap. 2
2017/5/16
quantum2013
page 213
Sec
ao 2.4 Curva tomando valores em operadores 213
P
Teorema 2.27. Seja f (z) = n
n=0 an z , com
P raio de nconvergencia R e
a a serie absolutamente convergente f (A) = n=0 an A para A limitado
e |A| < R.
Suponha que f e uma funcao analtica em uma vizinhanca de (A),
ent
ao e limitado e est
a bem definido
I
1
f (A) = f (z) (A zI)1 dz,
2i
2017/5/16
quantum2013
page 214
214 T
opicos Selecionados de Mec
anica Qu
antica Cap. 2
Ainda,
X
< , f (A)() >= an < , An () > .
j=0
Vamos demonstrar o resultado no caso em que o operador A possui
um conjunto ortonormal completo j , j N, com respectivos autovalo-
res j , j N. P
Cada se decompoe como j cj j . Assim, basta mostrar que para
1
H 1
cada j, k vale < j , f (A)(k ) >= 2i < j , f (z) (A zI) (k ) >.
n n
Ora, A (j ) = j . Como os j s ao ortogonais assim, basta mostrar
que para cada j vale
I
1
< j , f (A)(j ) >= < j , f (z) (A zI)1 (j ) > .
2i
k
Observe que < j , Ak (j ) >= j .
Da primeira express
ao que calculamos segue que
< j , f (z) (A zI)1 (j ) >=
X
n 1 X k k 1 1 1
an z [ z j ] = f (z)( ) = f (z) .
z z 1 z j j z
n=0 k=0
Da primeira express
ao que calculamos segue que
X
X n
< j , f (A)(j ) >= an < j , An (j ) >= an j = f (j ).
j=0 j=0
2017/5/16
quantum2013
page 215
Sec
ao 2.4 Curva tomando valores em operadores 215
Proposi cao 2.28. Suponha que tenha suporte compacto [R, R]. Su-
ponha ainda que f seja limite em n de I[R,R] fn , R > 0 fixo, onde fn
s
ao funco
es analticas, e, g seja o observ
avel cl
assico associado a A. Ou
seja, Qg = A. Ent ao
Z
f (g(x)) |(x)|2 dx =< , f (A)() > .
Demonstraca
o. Pelo postulado 6 temos que para fn analtica
Z
fn (g(x)) |(x)|2 dx =< , fn (A)() > .
2017/5/16
quantum2013
page 216
216 T
opicos Selecionados de Mec
anica Qu
antica Cap. 2
Note que
Z Z
2
fn (g(x)) |(x)| dx = hn (g(x)) |(x)|2 dx
Escolio:
Para simplificar vamos considerar a integral de uma funcao com
domnio real e tomando valores em operadores limitados. O caso da
integral quando o domnio esta numa curva recai neste. Seguimos aqui
o desenvolvimento descrito em [73].
Seja : [a, b] H. Dizemos que ela e uma step function se e
constante em intervalos, isto e, da seguinte forma: existem a = t0 <
t1 < t2 < ... < tn1 < tn = b, hj H, j = 0, ..., n 1, tais que
n1
X
(t) = h0 I[a,t1 ] (t) + hj I[tj ,tj+1 ] (t).
j=1
n1
X
|h0 |(t1 a) + |hj | (tj+1 tj ) (b a)||0 .
j=1
2017/5/16
quantum2013
page 217
Sec
ao 2.4 Curva tomando valores em operadores 217
2017/5/16
quantum2013
page 218
218 T
opicos Selecionados de Mec
anica Qu
antica Cap. 2
2017/5/16
quantum2013
page 219
Sec
ao 2.5 Produto Tensorial e Canais Qu
anticos 219
2017/5/16
quantum2013
page 220
220 T
opicos Selecionados de Mec
anica Qu
antica Cap. 2
onica do C2 .
Denote e1 = (1, 0) = |0i, e2 = (0, 1) = |1i, a base can
Uma base de C C seria
2 2
ou, ainda,
|0 0i, |0 1i, |1 0i, |1 1i.
2017/5/16
quantum2013
page 221
Sec
ao 2.5 Produto Tensorial e Canais Qu
anticos 221
onde vi V , wi W e r R.
Vamos definir uma relacao de equivalencia z y se z y R(V, W ).
Como e usual, a partir desta relacao , se pode criar classes de equiva-
lencia. Cade a novo elemento e uma classe.
O conjunto das classes e V W .
O objetivo de assumir a relacao de equivalencia e que neste novo es-
paco vetorial quociente ser
ao verdadeiras certas propriedades desejadas.
( + ) = () + () ,
e, ainda
( ) = () = ().
Se 0 denota o elemento neutro em V ou W , entao 0 0 e o neutro
neste novo espaco. Note que 0 v, onde v V , tambem representa o
elemento nulo 0 0. Isto porque para qualquer fixado C, 6= 1, vale
0 v = ( 0) v = (0 v), o que equivale a dizer que (1 ) (0 v) e
nulo. Logo, = 1 ou 0 v e nulo, e assim segue a afirmacao.
Outra forma de entender a questao e a raz ao de se assumir a relacao:
z y se z y R(V, W )
(0, v) e (0, 0) s
ao equivalentes. De fato, dados w1 , w2 , temos que
2017/5/16
quantum2013
page 222
222 T
opicos Selecionados de Mec
anica Qu
antica Cap. 2
Defini
c
ao O produto tensorial de espa
cos vetoriais V e W ,
denotado por V W e o espaco
R[V W ]
V W :=
R(V, W )
Antes de apresentar um formulacao mais rigorosa da teoria vamos
introduzir mais um postulado e explicar o papel que o produto tensorial
desempenha no entendimento do fenomeno fsico de sistemas quanticos
compostos.
A acao de um Hamiltoniano no lattice finito quantico, no qual exis-
tem interferencias entre as diferentes possibilidades, requer o uso do
produto tensorial para o seu correto equacionamento.
= a1 v1 + a2 v2 ,
= a wa + b wb + c wc .
2017/5/16
quantum2013
page 223
Sec
ao 2.5 Produto Tensorial e Canais Qu
anticos 223
1 1 , 1 2 , 2 1 , 2 2
2017/5/16
quantum2013
page 224
224 T
opicos Selecionados de Mec
anica Qu
antica Cap. 2
P
Da mesma forma se x = j aj1 aj2 C2 C3 , entao, A1 A2 (x) =
P j j
j (A1 A2 )(a1 a2 ).
Usando o produto interno descrito acima podemos definir o conceito
de dual. O operador dual de (A1 A2 ) e o operador (B1 B2 ) tal que
para quaisquer (a1 a2 ) e (b1 b2 ) vale
1 1 , 1 2 , 2 1 , 2 2
2017/5/16
quantum2013
page 225
Sec
ao 2.5 Produto Tensorial e Canais Qu
anticos 225
2017/5/16
quantum2013
page 226
226 T
opicos Selecionados de Mec
anica Qu
antica Cap. 2
v w := (v, w)
: V W V W
2017/5/16
quantum2013
page 227
Sec
ao 2.5 Produto Tensorial e Canais Qu
anticos 227
2017/5/16
quantum2013
page 228
228 T
opicos Selecionados de Mec
anica Qu
antica Cap. 2
2017/5/16
quantum2013
page 229
Sec
ao 2.5 Produto Tensorial e Canais Qu
anticos 229
Ou
PN1seja,
PNquando escrevemos o estado n ao emaranhado na forma
i=1
2
j=1 ij (ei f j ) existem restri
coes (que forma descritas
acima) para os ij .
2017/5/16
quantum2013
page 230
230 T
opicos Selecionados de Mec
anica Qu
antica Cap. 2
h1 2 , 1 2 i := h1 , 1 iH1 h2 , 2 iH2
h1 2 , (1 2 + 3 4 )i
2017/5/16
quantum2013
page 231
Sec
ao 2.5 Produto Tensorial e Canais Qu
anticos 231
2017/5/16
quantum2013
page 232
232 T
opicos Selecionados de Mec
anica Qu
antica Cap. 2
T r[ (A I) ] = T r(A 1 ).
T r[ (I B) ] = T r(B 2 ).
Os operadores 1 e 2 s
ao algumas vezes chamados de matrizes densi-
dades reduzidas a partir de . Elas fazem o papel no mundo quantico do
an
alogo do que se entenderia por distribuicao marginal na probabilidade
(ver Lemma 2.3 em [225]).
Apendice: Introdu
c
ao aos Canais Qu
anticos
Uma otima exposicao sobre canais quanticos e Informacao Qu
antica
pode ser encontrada em [284] ou na secao 6 de [147].
O material desta secao aparece em [185].
Denote por M n o conjunto das matrizes complexas n por n.
Dado V um espaco complexo de Hilbert de dimensao n 2 denota-
mos por L(V ) o espaco das transformacoes lineares de V em si mesmo.
Este espaco e isomorfo a M n .
Entao, T r2 : L(V V ) L(V ) e por definicao T r2 (A B) =
T r(B) A. O operador T r2 e denominado tra co parcial
Denotamos por L(V ) o conjunto dos operadores densidade.
Ja vimos antes que existe uma maneira natural de definir um pro-
duto interno em V V a partir de um produto interno em V (ver item
3. acima). Assim, se pode definir o conceito de operador densidade e
operador unit ario em V V .
Vamos mostrar em breve que = U preserva . Como e convexo
e compacto e e continuo em entao existe um ponto fixo para a acao
de .
O conjunto dos operadores unit arios em V V e denotado por U .
Fixada uma matriz densidade : Cn Cn e um operador unit ario
U : Cn Cn Cn Cn , a transformacao : M n M n
Q (Q) = Tr2 ( U (Q ) U )
2017/5/16
quantum2013
page 233
Sec
ao 2.5 Introduc
ao aos Canais Qu
anticos 233
T r2 ( (I ) () ) = T r2 ( (I ) (1 2 ) ) = T r((2 )) 1 = 1 .
T r2 ( (1 2 ) ) = 1 .
2017/5/16
quantum2013
page 234
234 T
opicos Selecionados de Mec
anica Qu
antica Cap. 2
p1 , p2 > 0.
Se
R11 R12
R= ,
R21 R22
e
S11 S12
S= ,
S21 S22
entao
R11 S11 R11 S12 R12 S11 R12 S12
R11 S21 R11 S22 R12 S21 R12 S22
RS =
R21 S11
R21 S12 R22 S11 R22 S12
R21 S21 R21 S22 R22 S21 R22 S22
2017/5/16
quantum2013
page 235
Sec
ao 2.5 Introduc
ao aos Canais Qu
anticos 235
e
R11 (S11 + S22 ) R12 (S11 + S22 )
Tr2 (R S) = .
R21 (S11 + S22 ) R22 (S11 + S22 )
Dado
T11 T12 T13 T14
T21 T22 T23 T24
T =
T31
T32 T33 T34
T41 T42 T43 T44
entao temos que
T11 + T22 T13 + T24
Tr2 (T ) =
T31 + T42 T33 + T44
e assim
11 U 21 U 11 U 21
U11 11 21 21
12 U 22 U 12 U 22
U11
U = 11 21 21
U 11 21 U 11 U 21
12 U 12 22 22
12 U 22 U 12 U 22
U 12 12 22 22
aria U U = I.
Se U e unit
Esta propriedade implica nas seguintes relacoes:
11 11 12 1 2 + U 11 U 11 + U 1 2 U 1 2 = 1,
1) U11 U11 + U11 U11 12 12 12 12
11 2 1 + U 1 2 U 22 + U 11 U 2 1 + U 1 2 U 22 = 0,
2) U11 U11 11 11 12 12 12 12
11 11 12
3) U11 U 2 1 + U11 U 2112 + U 11 11 12 12
1 2 U22 + U 1 2 U22 = 0,
11 1 2 22
4) U11 U 2211 + U11 U 2 1 + U 11 21 1 2 22
1 2 U22 + U 1 2 U22 = 0,
2017/5/16
quantum2013
page 236
236 T
opicos Selecionados de Mec
anica Qu
antica Cap. 2
2 1 11 22 1 2 + U 2 1 U 11 + U 2 2 U 1 2 = 0,
5) U11 U11 + U11 U11 12 12 12 12
21 2 1 + U 22 U 22 + U 2 1 U 2 1 + U 22 U 22 = 1,
6) U11 U11 11 11 12 12 12 12
2 1 11 22
7) U11 U 2 1 + U11 U 2112 + U 1221 U22
11 + U 22 U 1 2 = 0,
1 2 22
21 22 22
8) U11 U 2211 + U11 U 2 1 + U 1221 U22
2 1 + U 22 U 22 = 0,
1 2 22
9) U 11 11 12 12 11 11 12 12
2 1 U11 + U 2 1 U11 + U22 U 1 2 + U22 U 1 2 = 0,
10) U 11 21 1 2 22 11 21 1 2 22
2 1 U11 + U 2 1 U11 + U22 U 1 2 + U22 U 1 2 = 0,
11) U 11 11 12 12 11 11 12 12
2 1 U 2 1 + U 2 1 U 2 1 + U22 U22 + U22 U22 = 1,
12) U 11 21 1 2 22 11 21 1 2 22
2 1 U 2 1 + U 2 1 U 2 1 + U22 U22 + U22 U22 = 0,
13) U 2211 U 11 22 12 2 1 11 22 12
2 1 + U 2 1 U 2 1 + U22 U22 + U22 U22 = 0.
2 1 + U 22 U 22 + U 2 1 U 2 1 + U 22 U 22 = 0.
15) U 2211 U11 2 1 11 22 12 22 12
2017/5/16
quantum2013
page 237
Sec
ao 2.5 Introduc
ao aos Canais Qu
anticos 237
2
!
X i2 U i2
U11 i2 U i2
U11
p2 21 Q 12
i2 i2 i2 i2
U 21 U22
i=1
U 12 U22
Podemos considerar matrizes auxiliares Lij e descrever a express
ao
acima como
2
X 2
X
L(Q) = ( p1 (U i1 ) ) Q ( p1 U i1 ) + ( p2 (U i2 ) ) Q ( p2 U i2 ) =
i=1 i=1
2
X 2
X 2
X
Li1 Q Li1 + Li2 Q Li2 = Lij Q Lij .
i=1 i=1 i.j=1
2 ! 2
X i2 U i2
U11 i2 U i2
U12 X
p2 12 Q 21 = Lij QLij . , ()
U i2 i2
21 U22 U i2
12 U i2
22
i=1 i.j=1
Pode se mostrar que L(Q) = T r2 [ U (Q ) U ] (ver [207]).
A primeira express ao (*) acima e conhecida com a decomposicao de
Kraus e a segunda T r2 [ U (Q ) U ] como a Stinespring dilation (mais
detalhes em [225] - chapter 7 e appendix 11).
O operador L preserva o conjunto das matrizes densidade.
De fato, se Q is um matriz densidade, entao
2
X 2
X 2
X
T r(L(Q)) = T r( Lij QLij ) = T r(Lij QLij ) = T r(Q Lij Lij ) =
i.j=1 i.j=1 i.j=1
2
X 2
X
T r( Q Lij Lij ) = T r(Q Lij Lij ) = T r(Q) = 1
i.j=1 i.j=1
2017/5/16
quantum2013
page 238
238 T
opicos Selecionados de Mec
anica Qu
antica Cap. 2
2
X
(Lij A) ( Lij A )
i.j=1
e positiva.
Logo, se Q e positiva entao L(Q) e positiva.
e uma especie de dual do operador L
O operador L (ver [207])
Denotamos
Q11 Q12
Q= .
Q21 Q22
Entao,
! !
ij
ij ij U11 U ij
12 Q11 Q12 ij
U11 U ij
21
U Q (U ) = =
U ij
21 U ij
22
Q21 Q22 U ij
12
ij
U22
ij ij ij ij ij ij ij ij ij ij ij ij
U11 (U11 Q11 + U 12 Q21 ) + U12 (U11 Q12 + U12 Q22 ) U 21 (U11 Q11 + U12 Q21 ) + U22 (U11 Q12 + U12 Q22 )
,
ij ij ij ij ij ij ij ij ij ij ij ij
U11 (U 21 Q11 + U22 Q21 ) + U 12 (U 21 Q12 + U22 Q22 ) U21 (U21 Q11 + U22 Q21 ) + U22 (U21 Q12 + U22 Q22 )
21 (U 21 Q + U 21 Q ) + U 21 (U 21 Q + U 21 Q ) ]+
p1 [ U11 11 11 12 21 12 11 12 12 22
12 (U 12 Q + U 12 Q ) + U 12 (U 12 Q + U 12 Q ) ]+
p2 [ U11 11 11 12 21 12 11 12 12 22
22 (U 22 Q + U 22 Q ) + U 22 (U 22 Q + U 22 Q ) ].
p2 [ U11 (2.4)
11 11 12 21 12 11 12 12 22
A coordenada a12 de L(Q) e
11 (U 11 Q + U 11 Q ) + U 11 (U 11 Q + U 11 Q ) ]+
p1 [ U21 11 11 12 21 22 11 12 12 22
2017/5/16
quantum2013
page 239
Sec
ao 2.6 C -
algebras e estados KMS 239
21 (U 21 Q + U 21 Q ) + U 21 (U 21 Q + U 21 Q ) ]+
p1 [ U21 11 11 12 21 22 11 12 12 22
12 (U 12 Q + U 12 Q ) + U 12 (U 12 Q + U 12 Q ) ]+
p2 [ U21 11 11 12 21 22 11 12 12 22
22 (U 22 Q + U 22 Q ) + U 22 (U 22 Q + U 22 Q ) ].
p2 [ U21 (2.5)
11 11 12 21 22 11 12 12 22
Como a matriz L(Q) e uma matriz densidade basta saber a12 e a12
para determina-la.
Referimos o leitor para a secao final de [185] onde s
ao descritos os
detalhes da prova de que e aberto e denso (no caso de matrizes Q dois
por dois) o conjunto das matrizes unit arias U que determinam canais
quanticos com apenas um ponto fixo u nico.
2.6 C -
algebras e estados KMS
Referimos o leitor a [147], [163], [34] [226] [67] [231] [232] [167] para mais
detalhes sobre o material apresentado na presente secao.
Em [281] o autor considera tambem Algebras de Von Neumann e
modulos de Hilbert.
Definic
ao 2.9. Uma algebra A sobre C e um espaco vetorial complexo
equipado com uma operacao bilinear e associativa : A A A, dita
multiplicacao. Para a, b A, denotaremos (a, b) simplesmente por ab.
Defini c
ao 2.10. Uma algebra normada e uma algebra A sobre C
equipada com uma funcao norma a A 7 kak R, que torna A um
espaco normado, ou seja, para a, b A e C, temos
1. kak 0, e kak = 0 a = 0
3. ka + bk kak + kbk,
4. kabk kakkbk
2017/5/16
quantum2013
page 240
240 T
opicos Selecionados de Mec
anica Qu
antica Cap. 2
Defini
c
ao 2.11. Uma algebra de Banach e uma algebra normada
completa. Ou seja, toda sequencia de Cauchy converge.
Definic
ao 2.12. Seja A uma algebra de Banach. Uma involu c
ao em A
e uma funcao : A A tal que para todo a, b A, C, e denotando
c := (c), c A, temos
1. (a + b) = a + b
2. (a) = a
3. (ab) = b a
4. (a ) = a
5. ka k = kak
o se, a e inversvel.
Note que a e inversvel, se e s
ka ak = kak2 , a A.
2017/5/16
quantum2013
page 241
Sec
ao 2.6 C -
algebras e estados KMS 241
2017/5/16
quantum2013
page 242
242 T
opicos Selecionados de Mec
anica Qu
antica Cap. 2
Note que
(a 1) = (a 1).
2017/5/16
quantum2013
page 243
Sec
ao 2.6 C -
algebras e estados KMS 243
[280] que discute na secao 1.3 pagina 548 a questao de considerar ope-
radores limitados ou n ao no setting de C -Algebras. Neste trabalho
tambem e discutida a questao: e natural considerar os problemas de
Mecanica Qu antica no setting de Geometria nao Comutativa e gupoids
(ver secao 1 e 2) ?
Denotamos por Aut(U ) o conjunto dos automorfismo lineares na C -
Algebra U .
Um elemento G em Aut(U ) deve ser tal que G(a b) = G(a) G(b).
Ainda, se assume que G(a) = G(a ).
t , t R, descreve o an
alogo n
ao comutativo do que e um sistema
din
amico classico.
Vamos apresentar um exemplo: seja H um operador autoadjunto
entao etH i define um homomorfismo de grupo t atraves de t (B) =
etH i B etH i que age em operadores limitados B. Observe que, de
fato, para todo t vale t (A B) = t (A) t (B). Ainda, para todo operador
A vale t+s (A) = etH i (esH i B esH i ) etH i = t (s (A)).
Ainda, t (A ) = (t (A)) .
Em termos do formalismo de C -sistemas din amicos, o operador H
define a evolucao temporal et iH , para cada t R. Fixado um valor posi-
tivo real vamos analisar em breve o sistema para o operador t i ( i)H,
ou seja, o sistema dinamico e t H . O valor vai desempenhar o papel
do valor do inverso da temperatura em Mecanica Estatstica Qu antica.
Se e tal que (a a ) = 0, se e s
o se a = 0, dizemos que e faithful.
2017/5/16
quantum2013
page 244
244 T
opicos Selecionados de Mec
anica Qu
antica Cap. 2
2017/5/16
quantum2013
page 245
Sec
ao 2.6 C -
algebras e estados KMS 245
Vamos explicar este fato num caso bem simples (em dimensao 2).
Seja = P e o estado C -din
amico : M2 C dado por
2017/5/16
quantum2013
page 246
246 T
opicos Selecionados de Mec
anica Qu
antica Cap. 2
2
Exemplo 2.5. Considere o operador Hamiltoniano H = 2Pm + 21 m w2 X 2
obtido da quantizacao do oscilador harmonico.
Neste caso a C -Algebra U e o conjunto dos operadores lineares limi-
tados A : L2 (R3 )(dx) L2 (R3 )(dx). A operacao corresponde a tomar
o adjunto do operador. O estado age em tais operadores.
Sabemos que H tem autovalores da forma (n + 1/2) ~w. Os autova-
lores de eH sao da forma e (n+1/2) ~ w .
Assim,
X e(1/2) ~ w
traco eH = e (n+1/2) ~ w =
1 e ~ w
n=0
e finito se > 0.
Desta forma fica bem definido
eH
C= ,
traco eH
2017/5/16
quantum2013
page 247
Sec
ao 2.6 C -
algebras e estados KMS 247
2017/5/16
quantum2013
page 248
248 T
opicos Selecionados de Mec
anica Qu
antica Cap. 2
Entao,
1
(A i (B)) = tr( eH A e H B e H ) =
tr(eH )
1
tr( eH A [ e H B e H ])
tr(eH )
1 1
tr( [ e H B e H ] eH A ) = tr( e H B A) = (B A).
tr(eH ) tr(eH )
Entao,
1
(A) = tr( eH A) =
tr(eH )
eU1 eU2
A 1 + A2 .
eU1
+e U 2 eU 1 + eU2
2017/5/16
quantum2013
page 249
Sec
ao 2.6 C -
algebras e estados KMS 249
entao
(A) =
eU1 eU2
A11 + A22 .
eU1 + eU2 eU1 + eU2
Mais geralmente, na C -Algebra das matrizes n por n complexas,
considere t = ei t H , onde H e matriz diagonal com entradas U1 , U2 , ..., Ud
reais. Entao o C -estado KMS `a temperatura e
(A) = A1 1 1 + A2 2 2 + ... + Ad d d ,
eUi
onde i = Pd Uj , i = 1, 2, ..., d.
j=1 e
Um outro exemplo - mais complexo - de conexao entre estados de
Gibbs e C -algebras e descrito em [188].
Vamos descrever uma outra forma de encontrar o estado de Gibbs
quantico obtido acima mas agora via a maximizacao da pressao. Este
resultado e analogo ao correspondente do Formalismo Termodin amico.
Na secao 2.8 vamos abordar esta questao no setting da Mecanica Es-
tatstica.
d
trf (A + tB)|t=t0 = tr(B f (A + t0 B)).
dt
2017/5/16
quantum2013
page 250
250 T
opicos Selecionados de Mec
anica Qu
antica Cap. 2
Xn n
X n
X
F( j Pj ) = j tr(Pj B) j log(j ).
j=1 j=1 j=1
Xn
F( j Pj ) |i =0 = (T r(Pi B) 1) log(i ) |i =0 = .
i
j=1
d d
F (X0 + tZ) = tr((X0 + tZ) B) + h(X0 + tZ)
dt dt
2017/5/16
quantum2013
page 251
Sec
ao 2.7 Lattices de spins qu
anticos e teleporte 251
2017/5/16
quantum2013
page 252
252 T
opicos Selecionados de Mec
anica Qu
antica Cap. 2
2017/5/16
quantum2013
page 253
Sec
ao 2.7 Lattices de spins qu
anticos e teleporte 253
Se todos os aj s
ao positivos, entao, todos os bj s
ao positivos.
Como se sabe o assim chamado traco 1 se define da seguinte forma,
dadas duas matrizes R e S em MN
T r1 (R S) = T r(R) S MN ,
onde T r(R) e o traco de R (para mais detalhes ver [225], [207] ou [210]).
Note T r1 e bilinear. Observe ainda que se R e S forem operadores
densidade entao T r1 (R S) = S.
Defina para a1 a2 a3 ... na C -Algebra A = (MN ) N
2017/5/16
quantum2013
page 254
254 T
opicos Selecionados de Mec
anica Qu
antica Cap. 2
Finalmente tome
1 0 0 0
K= P1 + P2 ,
0 0 0 1
e, considere
2017/5/16
quantum2013
page 255
Sec
ao 2.7 Lattices de spins qu
anticos e teleporte 255
... a2 a1 a0 a1 a2 ....
... a2 a1 | a0 a1 a2 ....
O | que aparece acima serve apenas para dizer onde esta o elemento
que corresponde ao 0 Z.
Se fossemos considerar o shift agindo em (CN )Z , seria natural
entao escrever que para x = ...a2 a1 | a0 a1 a2 .... (CN )Z
temos que (x) (CN )Z e dado por
2017/5/16
quantum2013
page 256
256 T
opicos Selecionados de Mec
anica Qu
antica Cap. 2
onde n1 + k1 < n2 , n
os consideramos
H : (CN ) 3 (CN ) 3 .
2017/5/16
quantum2013
page 257
Sec
ao 2.7 Lattices de spins qu
anticos e teleporte 257
natural considerar
E
As matrizes de Pauli s
ao
0 1
1 = x = ,
1 0
0 i
2 = y = ,
i 0
e
1 0
3 = z = .
0 1
Junto com a matriz identidade I = 0 , as quatro formam uma base
ortonormal (o produto interno correspondente e < a, b >= traco (ab ))
do conjunto das matrizes complexas dois por dois auto-adjuntas. Pro-
priedades gerais sobre estas matrizes podem ser encontradas em [210].
A relacao destas matrizes e o experimento de Stern Gerlach tem uma
boa exposicao em [251].
A esfera de Bloch e o conjunto
2017/5/16
quantum2013
page 258
258 T
opicos Selecionados de Mec
anica Qu
antica Cap. 2
C(x1 x2 ) = [ (x x ) + (x I) ](x1 x2 ) =
x (x1 ) (x (x2 ) + x2 ) .
Este vetor n
ao esta emaranhado.
Outro exemplo: considere x1 x2 x3 e vamos aplicar nele o operador
C que age em (C2 ) 3 . Assim, se obtem
C(x1 x2 x3 ) =
[ (x x I) + (I y y ) ](x1 x2 x3 ) =
2017/5/16
quantum2013
page 259
Sec
ao 2.7 Lattices de spins qu
anticos e teleporte 259
(x y I y I I)(x1 x2 x3 )+
(I x y I y I)(x1 x2 x3 ) =
x (x1 ) y (x2 ) x3 y (x1 ) x2 x3 +
x1 x (x2 ) y (x3 ) x1 y (x2 ) x3
Definic
ao 2.20. Diz-se que a interacao e invariante por translacao
se para qualquer e qualquer a Z, temos que
( + a) = a (()).
2017/5/16
quantum2013
page 260
260 T
opicos Selecionados de Mec
anica Qu
antica Cap. 2
H : (CN ) 3 (CN ) 3 ,
atraves da express
ao
quantum2013
2017/5/16
page 261
Sec
ao 2.7 Lattices de spins qu
anticos e teleporte 261
As relacoes x x = I and y y = I s
ao u
teis.
Assim,
j
X j
X
i i
U = ei x y = (x y )j = ( j yj ) =
j! j! x
j=0 j=0
cos(1) (I I) + i sin(1) (x y ) = .
Ainda,
U = ei x y = cos(1) (I I) i sin(1) (x y ).
A = [ (x x + y y ) cos()+
(x y + y x ) sin() ] y z =
[ (x x + y y ) cos()+
(x y + y x ) sin() ] (y I) (z I),
onde , , s
ao numeros reais.
Podemos obter a partir do apresentado acima uma interacao invari-
ante por translacoes de forma an
aloga ao descrito anteriormente.
Este exemplo, que e bastante estudado na literatura, e denominado
de modelo XY quantico de Fukui and Origuchi (ver [98]). Este modelo
2017/5/16
quantum2013
page 262
262 T
opicos Selecionados de Mec
anica Qu
antica Cap. 2
2017/5/16
quantum2013
page 263
Sec
ao 2.7 Introduc
ao a Informac
ao Qu
antica 263
Por notacao
2017/5/16
quantum2013
page 264
264 T
opicos Selecionados de Mec
anica Qu
antica Cap. 2
E( x )| = < | | ( x I ) > =
(0 0) + (1 1) 0 1 1 0 (0 0) + (1 1)
( ) = 0.
2 1 0 0 1 2
Os possiveis valores da medicao de x seriam 1 (que corresponde a
|0 >) e 1 (que corresponde a |1 >).
2017/5/16
quantum2013
page 265
Sec
ao 2.7 Introduc
ao a Informac
ao Qu
antica 265
|0 0 > |1 1 >
= + =
2 2
|0 0 > |1 1 > |0 1 > |1 0 >
1 +1 +0 +0 .
2 2 2 2
Assim, probabilidade de se obter |0 > ao se medir x na primeira coor-
denada do sistema composto e no estado e igual a 1/2.
a mesma probabilidade de se obter |1 >.
E
Observe que neste caso |00>
2
esta associado a probabilidade 1/2. Va-
mos em breve voltar a tocar neste ponto ao falar de n ao localidade.
E( x x )| = < | | ( x x ) > =
(0 0) + (1 1) 0 1 0 1 (0 0) + (1 1)
( ) = 1.
2 1 0 1 0 2
aveis x e x .
Logo existe correlacao entre as vari
Por outro lado
E( x z )| = < | | ( x z ) > =
(0 0) + (1 1) 0 1 1 0 (0 0) + (1 1)
( ) = 0.
2 1 0 0 1 2
aveis x e z n
Logo as vari ao est
ao correlacionadas.
2017/5/16
quantum2013
page 266
266 T
opicos Selecionados de Mec
anica Qu
antica Cap. 2
medir na primeira coordenada o |0 > (ou seja, via a an alise do que acon-
tece atraves da acao do operador |0 > < 0|) quando o sistema esta no
estado descrito acima.
Assim, a probabilidade de se medir |0 > na primeira coordenada
seria
< | | ( |0 > < 0| I) >=
(0 0) + (1 1) 1 0 1 0 (0 0) + (1 1)
( ) =
2 0 0 0 1 2
(0 0) 1 0 1 0 (0 0)
( ) +
2 0 0 0 1 2
(0 0) 1 0 1 0 (1 1)
( ) +
2 0 0 0 1 2
(1 1) 1 0 1 0 (0 0)
( ) +
2 0 0 0 1 2
(1 1) 1 0 1 0 (1 1)
( ) = 1/2.
2 0 0 0 1 2
Desta forma vamos obter |0 > ou |1 > na medicao da primeira coor-
denada com igual probabilidade. Na verdade a medicao vai determinar
autovalores de ( |0 > < 0| I) que correspondem ao dito acima. Os
possiveis autovalores de ( |0 > < 0| I) seriam 0 ou 1. Lembre que
(0, 0) (a, b) e sempre o elemento nulo em C2 C2 .
Note que ( 0 0 ) e autovetor de ( |0 > < 0| I) associado ao
autovalor 1. Como dissemos antes dado o operador ( |0 > < 0| I) um
medicao resulta num autovalor. Se o output da medicao no estado foi
o autovalor 1 entao o estado colapsa e passa a ser ( 0 0 ) (conforme
Postulado 4). Neste sentido podemos dizer que o resultado da medicao
resultou em ( 0 0 ) (porque obtivemos a medicao 1)
Na eventualidade de se obter |0 > na medicao o estado imediata-
mente passa a ser
(0 0) + (1 1)
( |0 > < 0| I) | >= ( |0 > < 0| I) = ( 0 0 ).
2
Assim, a medicao na primeira coordenada sendo feita e resultando
|0 > entao o que acontece na segunda esta determinado. Este fenomeno
est
a associado ao conceito de nao localidade. Para mais detalhes referi-
mos o leitor a [214].
2017/5/16
quantum2013
page 267
Sec
ao 2.7 Introduc
ao a Informac
ao Qu
antica 267
ou de forma sintetica
Assim dado o input que se deseja teleportar para Alice entao para
comecar o procedimento alguem no laborat orio produz o estado =
| 0 0 >.
Nem Alice nem Bob sabem quem e .
Alice tem conhecimento da seguinte sequencia de chaves agindo em
. Isto e feito no laborat
orio para preparar o estado em uma certa
posicao desejada.
2017/5/16
quantum2013
page 268
268 T
opicos Selecionados de Mec
anica Qu
antica Cap. 2
o na posicao B em | >.
Primeiro usamos a chave Hadamard HB s
Assim,
o na posicao A em |3 >,
Finalmente, aplicamos a chave Hadamard HA s
1
[ { |00 > (a |0 > +b |1 >) } + { |01 > (a |0 > +b |1 >) } +
2
{ |10 > (a |0 > b |1 >) } + { |11 > (a |0 > b |1 >) } ]. (2.6)
2017/5/16
quantum2013
page 269
Sec
ao 2.8 Formalismo Termodin
amico 269
Suponha que por acaso a medicao resultou em |01 >, assim, pela
express
ao (2.6) acima, o estado 4 colapsa e passa a ser
2017/5/16
quantum2013
page 270
270 T
opicos Selecionados de Mec
anica Qu
antica Cap. 2
w = (.., w2 , w1 | w0 , w1 , w2 , ..).
a o site 0 no lattice Z.
O | serve para indicar onde est
usual considerar a m
E etrica em tal que para
e
y = (.., y2 , y1 |y0 , y1 , y2 , ..)
temos que d(x, y) = 2n ,
onde n e tal que e o indice j de menor m
odulo
onde as componentes xj e yj s
ao distintas.
Se n = 2, um elemento em poderia ser, por exemplo,
(..., 1, 2, 2, 1, 2 | 1, 1, 1, 2, 1, ...).
Por exemplo, se
x = (..., 1, 2, 2, 1, 2 | 1, 1, 1, 2, 1, ...)
e
y = (..., 1, 2, 2, 1, 2 | 1, 1, 2, 2, 1, ...),
entao d(x, y) = 23 .
Ainda, se
x = (..., 1, 2, 2, 2, 2 | 1, 1, 1, 2, 1, ...)
2017/5/16
quantum2013
page 271
Sec
ao 2.8 Formalismo Termodin
amico 271
e
y = (..., 1, 2, 2, 1, 2 | 1, 1, 1, 2, 2, ...),
entao d(x, y) = 22 .
Esta metrica torna compacto.
Por : se vai denotar a aplicacao shift.
Por definicao
((..., 2 , 1 | 0 , 1 , 2 , . . . )) = (..., 2 , 1 , 0 | 1 , 2 , 3 , . . . ).
+ | + = { = (. . . , 1 | 0 , 1 , 2 , 3 , ...)|
2017/5/16
quantum2013
page 272
272 T
opicos Selecionados de Mec
anica Qu
antica Cap. 2
2017/5/16
quantum2013
page 273
Sec
ao 2.8 Formalismo Termodin
amico 273
Z Z
P (U ) = S() + U d S() + U d, para todo T .
2017/5/16
quantum2013
page 274
274 T
opicos Selecionados de Mec
anica Qu
antica Cap. 2
= {1, , n}N .
A = a1 ak
2017/5/16
quantum2013
page 275
Sec
ao 2.8 Formalismo Termodin
amico 275
() = (2 , 3 , 4 , ...).
Ora,
(11212) = p3i p22 = (p1 + p2 )p3i p22 = p4i p22 + p3i p32 =
(111212 211212) = ( 1 (11212)).
Uma probabilidade invariante descreve uma invariancia por translacao
no lattice unidimensional. Sob outro ponto de vista ela descreve o con-
ceito de probabilidade estacion aria (ver [157] e [227]). A Mecanica Es-
tatstica de equilbrio considera apenas as medidas estacion arias (ver
[100] e [108]).
Seja k fixo e Ak o conjunto dos cilindros de comprimento k, k 1,
que e uma particao de para cada k fixo.
Por exemplo, se n = 2 e k = 3,
2017/5/16
quantum2013
page 276
276 T
opicos Selecionados de Mec
anica Qu
antica Cap. 2
onde escrevemos a = a1 a2 , . . . ak Ak .
Por exemplo, se n = 2 temos
X
S (A3 ) = (a1 , a2 , a3 ) log (a1 , a2 , a3 ).
aj {1,2},j=1,2,3
k
X k
X
k k
log p1 (k j) p1kj pj2 + log p2 j p1kj pj2 .
j j
j=0 j=0
Como
k k1
(k j) =k ,
j j
para todo 0 j k 1, entao
k
X
k
(k j) p1kj pj2 =
j
j=0
k
X
k1
k p1 p1kj pj2 = p1 k(pi + p2 )k1 = k p1 .
j
j=0
2017/5/16
quantum2013
page 277
Sec
ao 2.8 Formalismo Termodin
amico 277
Logo,
onde a = a1 , a2 , .., ak .
Neste caso a interacao e apenas entre vizinhos no lattice. Em Mecanica
Estatstica se deseja saber qual probabilidade que resulta no lattice a
partir de um interacao dada por U .
A energia especfica da particao com respeito a U e
E(Ak )
eU () = lim (2.8)
k+ k
que e uma funcao contnua e afim. Afirmamos que
Z
eU () = U d
N 1 Z
1 X
lim U ( j1 ())d() =
N + N
j=1
2017/5/16
quantum2013
page 278
278 T
opicos Selecionados de Mec
anica Qu
antica Cap. 2
1 X X
lim (a)U ( j1 (a)) =
N + N
j aAN
1 X X
lim (a) U (aj , aj+1 ) = eU ().
N + N
aAN j
Definic
ao 2.22. Uma matriz M da forma n por n com entradas n ao
negativas e dita (linha) estocastica se a soma de cada linha e igual a 1.
Se todas as entradas de M s ao estritamente positivas entao existe
apenas um vetor = (1 , 2 , ..., n ) (todos P
os j > 0) tal que P =
(multiplicacao `a esquerda) e ainda tal que nj=1 j = 1 (ver [157] ou
[179]).
O conjunto M T das medidas de Markov ser a definido da seguinte
maneira. Diremos que M matriz n n linha estoc astica tal
que
2017/5/16
quantum2013
page 279
Sec
ao 2.8 Formalismo Termodin
amico 279
2017/5/16
quantum2013
page 280
280 T
opicos Selecionados de Mec
anica Qu
antica Cap. 2
Entao
X X1 rj 1 X 1
M (i, j) = Q(i, j) = Q(i, j)rj = ri = 1.
ri ri ri
j j j
X X 1 ri
(M )i = lk rk M (k, i) = lk rk Q(k, i) =
rk
k k
ri X ri
= lk Q(k, i) = li = ri li = i M =
k
Note que li e ri s
ao definidos a menos de constante multiplicativa e
acima
P escolhemos = (1 , , n ) como sendo i = li ri , i = 1, . . . , n e
i = 1, i > 0.
2017/5/16
quantum2013
page 281
Sec
ao 2.8 Formalismo Termodin
amico 281
Observa
c
ao 2.1. Note que se pode escrever a express
ao acima como
(a) = elog a1 +log M (a1 ,a2 )+log M (a2 ,a3 )+...+log M (ak1 ,ak ) , a Ak .
Os log M (a1 , a2 ) descrevem (na escala log), via a matriz M (i, j), as
probabilidades de elementos vizinhos no lattice. A soma log M (a1 , a2 ) +
log M (a2 , a3 )+...+log M (ak1 , ak ) descreve a probabilidades do sistema
composto (olhando do site 1 ate o site k). Na Mecanica Estatstica
nao existe interferencia das probabilidades entre vizinhos no site. Na
Mecanica Qu antica as interferencias de carater ondulatorio n
ao podem
ser negligenciadas, e, assim o produto tensorial aparece como ferramenta
fundamental para descrever tal fenomeno.
Demonstra c
ao. Nao vamos mostrar a unicidade da maximizante.
Na demonstracao a seguir, escreveremos (U ) = .
Seja a medida de Markov definida por M , e T qualquer.
Sejam M e definidos por (5), (6), (7), e, assumimos que para
qualquer cilindro a vale
2017/5/16
quantum2013
page 282
282 T
opicos Selecionados de Mec
anica Qu
antica Cap. 2
Desejamos estimar
Z
fU () = s() eU () = s() U d (2.14)
R
Primeiro vamos analisar o termo U d.
Para N fixo, considere os cilindros de comprimento N . Entao
N 1
!
X X
E (AN ) = (a) U (ak , ak+1 )
aAN k=1
Como
1 rj 1 rj
M (i, j) = Q(i, j) = eU (i,j) , 1 i, j n,
ri ri
entao
ri
Q(i, j) = M (i, j) , 1 i, j n.
rj
Escrevendo (U ) = e a = a1 , aN temos:
N
X 1 N
X 1 N
Y 1
U (ak , ak+1 ) = log Q(ak , ak+1 ) = log Q(ak , ak+1 ) =
k=1 k=1 k=1
N 1
!
Y ra
= log M (ak , ak+1 ) k =
rak+1
k=1
N 1 N 1 N 1 N 1
!
Y Y Y Y
= log M (ak , ak+1 ) + log + log rak log rak+1 =
k=1 k=1 k=1 k=1
N 1
!
Y
= (N 1) log log M (ak , ak+1 ) log ra1 + log raN =
k=1
(a)
= (N 1) log log log ra1 + log raN
a1
= (N 1) log log (a) + log la1 ra1 log ra1 + log raN
2017/5/16
quantum2013
page 283
Sec
ao 2.8 Formalismo Termodin
amico 283
X N
X 1
E (AN ) = (a) U (ak , ak+1 ) =
aAN k=1
X
= (a)((N 1) log log (a) + log la1 + log raN )
aAN
X
= (a) log((a) (N 1) log + log la1 + log raN .
aAN
X
(a) log (a) (N 1) log + 2c1 E (AN )
aAN
X
(a) log (a) (N 1) log + 2c2 .
aAN
Assim,
X X
(a) log (a) + (a) log (a) + (N 1) log 2c2
aAN aAN
X X
S (AN ) E (An ) (a) log (a) + (a) log (a) + (N 1) log 2c1 .
aAN aAN
1 1
F (AN ) = (S (AN ) E (AN )) (2.16)
N N
2017/5/16
quantum2013
page 284
284 T
opicos Selecionados de Mec
anica Qu
antica Cap. 2
log c1
log 2 (2.18)
N N
Fazendo N +, obtemos a desigualdade procurada, isto e, fU ()
log . Para mostrar a igualdade, observe que o somat
orio (2.15) e
igual a zero se = . Segue da que
log c2 1 log c1
log 2 F (AN ) log 2 (2.19)
N N N N N
Ap
endice
1. ui > 0, vi > 0 , 1 i n
n
X n
X
2. aij uj = ui , 1 i n e vi aij = vj , 1 j n
j=1 i=1
(i.e., u e autovetor `
a direita de A e v e autovetor `
a esquerda de A).
2017/5/16
quantum2013
page 285
Sec
ao 2.9 Ap
endice 285
O teorema do ponto fixo de Brouwer [172] nos diz que tal aplicacao
possui pelo menos um ponto fixo. Se u e tal ponto fixo entao Au = u,
ou seja, Pn
j=1 aij uj
ui = Pn Pn
i=1 j=1 aij uj
Pn Pn
Fazendo = i=1 j=1 aij uj , obtemos o que queramos.
Considere a matriz At =k atij k, atij = aji . Pela primeira parte do
lema, podemos obter e v tais que At v = v, ou seja,
n
X
aji vj = vi
j=1
e vi > 0.
Note que hu, vi e um n
umero positivo.
Alem disso,
o que implica = .
Proposi ao 2.34. Se p1 , , pk e q1 , , qk s
c ao distribuico
es de pro-
babilidade, com pi > 0, i = 1, , k, entao
k
X qi
qi log 0
pi
i=1
2017/5/16
quantum2013
page 286
286 T
opicos Selecionados de Mec
anica Qu
antica Cap. 2
Demonstra c
ao. a desigualdade e evidente no caso em que pi = qi
porque log 1 = 0. No caso geral, observe que a funcao (x) = x log x
e estritamente concava, pois (x) < 0. Como
Xk Xk
qi
( pi ) = ( qi ) = (1) = 0,
pi
i=1 i=1
entao
Xk Xk k
X k
X
qi qi qi qi
0 = ( pi ) = ( qi ) pi ( ) = pi log
pi pi pi pi
i=1 i=1 i=1 i=1
Pk qi
Assim, i=1 qi log pi 0.
Pk qi
Ainda, se i=1 qi log pi = 0, entao pelo que precede
Xk k
X
qi qi
( pi ) = pi ( ).
pi pi
i=1 i=1
2017/5/16
quantum2013
page 287
Sec
ao 2.9 Ap
endice 287
R
Se T e erg ao f =
odica para ent f d q.t.p.
Uma vers
ao do Torema Ergodico no setting quantico e devida a J.
Von Neumann (ver [273]).
Um espaco vetorial X com uma topologia T e um espa co vetorial
topologico se a soma e uma funcao contnua de X X em X e se
a multiplicacao por escalar e uma funcao contnua de R X em X.
Um espaco vetorial topologico e dito localmente convexo se podemos
obter uma base para a topologia formada por conjuntos convexos.
Proposi cao 2.36. (Krein-Milman) Seja K um conjunto convexo com-
pacto em um espaco vetorial topol ogico localmente convexo. Ent ao a
intersecca
o de todos os conjuntos convexos fechados contendo os pontos
extremos de K e o pr oprio K.
Em [84] e [85] s
ao apresentados resultados que relacionam medidas
de Gibbs do Formalismo Termodin amico com estados KMS.
2017/5/16
quantum2013
page 288
288 T
opicos Selecionados de Mec
anica Qu
antica Cap. 2
s
ao determinados pela equacao de Euler-Lagrange (ver [177] e [178]).
Estes determinam as trajetorias do sistema mecanico sob a acao do
potencial V quando tomamos o Lagrangeano
m 2
L(x, v) = |v| V (x).
2
Este e o princpio de mnima acao.
2017/5/16
quantum2013
page 289
Sec
ao 2.9 A Integral de Caminho de Feynman 289
Denote R := e(kAk+kBk) .
Agora, por uma especie de soma telesc
opica podemos escrever a di-
ferenca Snn Tnn como segue abaixo
Snn Tnn = Snn Tn Snn1 + Tn Snn1 Tn2 Snn2 + Tn2 Snn2 + Tnn =
n1
X
= Tnk (Sn Tn )Snnk1 .
k=0
Deste modo,
n1
n1
X k nk1
X
kSnn Tnn k =
Tn (Sn Tn )Sn
1
kTn kk k(Sn Tn )kkSn knk1 2
k=0 k=0
n1
X n1
X
Rk/n R(nk1)/n k(Sn Tn )k = R(n1)/n k(Sn Tn )k =3
k=0 k=0
2017/5/16
quantum2013
page 290
290 T
opicos Selecionados de Mec
anica Qu
antica Cap. 2
Assim,
1
Sn Tn = (BA AB) + ...
2 n2
Usando a expansao em serie de potencias do operador exponencial,
vemos que kSn Tn k = O(1/n2 ) a assim que kSnn Tnn k 0 quando
n .
Considere uma partcula em Rd descrita por um operador auto-
adjunto de Schr
odinger
~2
H= + V. (2.21)
2m
Lembre que a din
amica de uma tal partcula e dada pela equacao de
Schrodinger
i~ = H. (2.22)
t
Relembre tambem que a solucao para esta equacao, com a condicao
inicial
|t=0 = 0 , (2.23)
e dada em termos do operador de evolucao U (t) := eiH t/~ quando
= U (t)0 . (2.24)
2017/5/16
quantum2013
page 291
Sec
ao 2.11 A Integral de Caminho de Feynman 291
onde
i~t iV t
Kn = e 2m n e ~ n . (2.26)
i~t iV t
Seja o operador Kn = e 2m n e ~ n e Kn (x, y) seu n
ucleo integral.
i ~t i ~t
Denote por e 2m n (x, y) o kernel integral do operador e 2m n .
iV t P 1
ucleo integral de A = e ~ n = n n!
Note que o n ( i~Vnt )n e A(x, y)
iV (x)t
= e ~ n y (x).
Vai seguir da pr
oxima proposicao que
i ~t iV (x)t
Kn (x, y) = e 2m n (x, y)e ~n . (2.27)
Note que
i ~t iV t
Kn ((x)(y) = e 2m n ( e ~ n ((x)) ) =
Z
i ~t iV (x)t
( e 2m n (x, y)e ~ n ) (x) dx.
Rd
2017/5/16
quantum2013
page 292
292 T
opicos Selecionados de Mec
anica Qu
antica Cap. 2
onde
X
n1
|xk+1 xk |2 t
Sn := mn V (xk ) . (2.31)
2t n
k=0
2017/5/16
quantum2013
page 293
Sec
ao 2.11 A Integral de Caminho de Feynman 293
Resumidamente,
Z Z nd/2
i 2i~ t
Ut (x, y) = lim e ~ Sn dx1 dxn1 , (2.32)
n mn
com Sn dado por (2.31) e x = x0 e y = xn .
Defina a funcao linear por partes n tal que n (0) = x = x0 , n (t/n)
= x1 , , n (t) = y = xn . Obtemos assim um caminho linear por partes
ligando o ponto inicial x ao ponto final y. Fica assim determinado pelo
processo de discretizacao temporal caminhos poligonais que em algum
sentido vao capturar a essencia do fenomeno fsico no limite n .
Entao,
X
n1
|n ((k + 1)t/n) n (kt/n)|2
Sn = m V (n (k t/n)) t/n.
2(t/n)2
k=0
(2.33)
Note que Sn e uma soma de Riemann para a acao classica
Z tn o
m
S(n , t) = |n (s)|2 V (n (s)) ds (2.34)
0 2
do caminho n . Assim, fazendo n , temos que (2.33) converge a
acao do caminho classico entre o tempo 0 e t:
Z tn o
m
S(, t) = |(s)|2 V ((s)) ds.
0 2
ao m 2
A express 2 |(s)| V ((s)) descreve o Lagrangiano do caminho
(t) de uma partcula sob a acao de um potencial V .
Assim, no procedimento descrito acima dado e n associamos a ele
seu caminho poligonal n . A seguir fazemos o limite em n da soma de
Riemann ate a integral que envolve .
Uma descricao heurstica do procedimento acima se faz necessario
neste momento. Existem muitos caminhos diferenci aveis ligando em
tempo t o ponto x ao ponto y. Fixado o Hamiltoniano e t > 0 desejamos
associar uma certa medida tomando valores complexos para tubos de
possveis caminhos . Esta medida teria uma especie de densidade de
iS(,t)
talnforma que para cadao se associaria o n umero e ~ , onde S(, t) =
Rt m
2
0 2 |(s)| V ((s)) ds. Assim, alguns caminhos v ao ter um peso
2017/5/16
quantum2013
page 294
294 T
opicos Selecionados de Mec
anica Qu
antica Cap. 2
iS(,t)
relativo maior dependendo de S(, t) que os outros. Note que e ~ n ao
e um numero real mas contribuira via interferencia de forma semelhante
ao que mencionamos na secao 1.1. O ponto fundamental e que o kernel
do operador integral Ut pode ser expresso (via uma aproximacao em
que se discretiza o tempo) quando n por integrais sobre caminhos
poligonais.
Deste modo, mostramos que
Z
Ut (x, y) = lim eiSn /~ Dn , (2.35)
n P n
x,y,t
n
onde Px,y,t e o espaco (n1)-dimensional dos caminhos n com n (0) = x
e n (t) = y, e que s ao lineares nos intervalos (kt/n, (k + 1)t/n) para
k = 0, 1, . . . , n 1, e
nd/2
2 i~ t
Dn = dn (t/n) dn ((n 1)t/n). (2.36)
nm
2017/5/16
quantum2013
page 295
Sec
ao 2.10 Sobre a amplitude de Feynman 295
2017/5/16
quantum2013
page 296
296 T
opicos Selecionados de Mec
anica Qu
antica Cap. 2
blema, iremos supor que a luz percorre apenas linhas retas e a situacao
que iremos considerar e: um foton, incidindo e refletindo em qualquer
angulo e em qualquer ponto do espelho.
Figura 2.1: Dois caminhos para o foton. Sabe-se que o caminho em que o foton
atinge o espelho no centro nos fornece o menor tempo, mas n ao e correto dizer que os
outros pontos sao proibidos, ou que nunca ir
ao ocorrer. Teoricamente, e possvel que
um foton atinja outro ponto do espelho (embora a probabilidade seja pequena, e, em
grande escala, descobrimos que as amplitudes de probabilidade destas alternativas se
cancelam).
2017/5/16
quantum2013
page 297
Sec
ao 2.10 Sobre a amplitude de Feynman 297
2017/5/16
quantum2013
page 298
298 T
opicos Selecionados de Mec
anica Qu
antica Cap. 2
Figura 2.2: Vamos dividir o espelho em particoes de mesmo tamanho. (a) Todos os
caminhos possveis. (b) Tempos associados aos caminhos. O importante aqui e notar
que a diferenca entre os tempos associados a dois pontos do centro, digamos F e G,
e menor do que a diferenca entre os tempos associados a dois pontos dos extremos,
digamos A e B. E exatamente isso que determina o fato que no mundo cl assico (~
pequeno) apenas observamos a luz gerando angulos de incidencia e reflex
ao iguais.
2017/5/16
quantum2013
page 299
Sec
ao 2.10 Sobre a amplitude de Feynman 299
= ,
P1 1 + ei 1~ m2 c 0.03
que por raz oes elementares de trigonometria e bem pequeno. Note que
i ~1 m2 c 0 1 mc
1+e aximo valor possvel de 1 + ei ~ 2 x (para valores
= 2, e o m
pequenos positivos de x).
Figura 2.3: A cada caminho possvel e associado uma seta de um certo tamanho
fixado. A direc
ao da seta varia a medida que o tempo muda. Nesse sentido, somar
amplitudes esta associado a somar setas. Assim vemos que a maior contribuic
ao para
a soma total ocorre entre E e I, onde as direcoes s
ao quase as mesmas porque os
tempos dos caminhos naquela regi ao s
ao quase os mesmos.
2017/5/16
quantum2013
page 300
300 T
opicos Selecionados de Mec
anica Qu
antica Cap. 2
n1
X m (xk+1 xk )2
Sn = .
2 (t/n)
k=0
2017/5/16
quantum2013
page 301
Sec
ao 2.10 Sobre a amplitude de Feynman 301
Prosseguindo,
Z Z
2 +(y 2 2
I2 = dy1 dy2 ei[(y1 y0 ) 2 y1 ) +(y3 y2 ) ]
=
1/2 Z
i i 2 +i(y 2
= dy2 e 2 (y2 y0 ) 3 y2 )
=
2
1/2 Z 2
i 3i y +2y
y2 0 3 3 + 3i (y3 y0 )2
= dy2 e 2
=
2
1/2 1/2 1/2
i 2i i
(y y0 )2 (i )2 i 2
= e 3 3 = e 3 (y3 y0 ) .
2 3 3
2017/5/16
quantum2013
page 302
302 T
opicos Selecionados de Mec
anica Qu
antica Cap. 2
Exemplo 2.10.
O Oscilador Harm onico Simples (OHS) e um dos problemas classicos
de maior interesse estudados pela mec anica quantica. Neste exemplo
vamos calcular a integral de Feynman deste sistema com o intento de
obter o propagador Ut (x, y) de um caminho conectando os pontos x(0) =
x e x(t) = y. E produtivo observar que, segundo nossa abordagem, o
resultado sera dado em termos de um produto infinito de aproximacoes
parciais de fraco
es contnuas.
A acao S(x(t)) de um particular caminho conectando os pontos
x(0) = x e x(t) = y determina a amplitude de fase. Para calcular
Ut (x, y), devemos somar (integracao) as amplitudes de todos os cami-
nhos. Como vimos no texto Ut (x, y) e dado por 2.37, onde
Z t
S(x(t), t) = L(x(s), x(s),
s)ds, (2.39)
0
e L(x(s), x(s),
s) e o Lagrangiano do sistema, que no caso de um OHS
unidimensional e dado por
1 1
=K V =
L(x, x) mx 2 m 2 x2 . (2.40)
2 2
Consideremos como no exemplo 2.9 uma particao do intervalo [0, t]
do tipo {0, t/n, 2t/n, . . . , (n 1)t/n}. Entao, a acao 2.39 pode ser ex-
pressa como o limite de uma soma de Riemann em termos das vari aveis
de integracao x1 , x2 , . . . , xn1 como segue (aqui tambem estaremos su-
pondo que x(0) = x = x0 e x(t) = y = xn )
" #
X 1 xk+1 xk 2
n1
Sn = m (t/n) V (xk )(t/n) . (2.41)
2 (t/n)
k=0
2017/5/16
quantum2013
page 303
Sec
ao 2.10 Sobre a amplitude de Feynman 303
+ 2 = 0,
(2.43)
ou seja
y sin(s) + x sin[(t s)]
(s) = , (2.44)
sin(t)
assim y(0) = y(t) = 0.
Todo este arrazoado foi feito porque e possvel mostrar que para
qualquer hamiltoniano quadr atico em x e x a mudanca de vari
aveis 2.42
nos permite separar o propagador em dois fatores, a saber
Z 0
i i
SCl
Ut (x, y) = e ~ e ~ S(y(t)) D[y(t)]. (2.45)
0
Vamos elaborar sobre isto. Mas antes note que o limite de integracao
acima nao deve ser tomado literalmente (e apenas uma notacao)! Escre-
vemos desta forma apenas para lembrar ao leitor que todos os caminhos
y(t) s
ao nulos nos extremos.
Escrevendo um caminho qualquer Px,y,t como uma variacao do
caminho classico cl , = cl + var , onde var P0,0,t , temos
Z t
m m 2
S (, t) = S (cl + var , t) = |cl + var |2 |cl + var |2 ds =
0 2 2
Z th D E i
= S (cl , t) + S (var , t) + m cl , var m 2 hcl , var i ds =
0
Z t hD E i
= S (cl , t) + S (var , t) m cl , var + 2 hcl , var i ds+
0
quantum2013
2017/5/16
page 304
304 T
opicos Selecionados de Mec
anica Qu
antica Cap. 2
D Et
+ cl , var
0
| {z }
=0
m n n/2 Z Z Z h
im n Pn1 (y t 2 y2
i
y )2 2 ( n ) k
u0 = lim e 2~t k=0 k+1 k
n 2 i ~t
2017/5/16
quantum2013
page 305
Sec
ao 2.10 Sobre a amplitude de Feynman 305
2017/5/16
quantum2013
page 306
306 T
opicos Selecionados de Mec
anica Qu
antica Cap. 2
m n n/2
, (2.56)
2 i ~t
onde Fn1 e uma funcao finita de um n umero finito de aproximacoes
parciais da fracao contnua c2 . Mas, como mancionamos anteriormente
y0 e yn devem ser ambos nulos, portanto vale que
im n Qn1
e 2~t [(yn2 +Fn1 y02 )c2n1 (yn + j=1 c2j y0 )]
= 1. (2.57)
2017/5/16
quantum2013
page 307
Sec
ao 2.11 Um paralelo com o Movimento Browniano 307
1 2
= .
t 2 x2
Considere uma funcao continua V : R R. Entao, existe uma
funcao Q(x, t), tal que, para todo t e todo intervalo [a, b]
Rt Z b
V (Xt )
E {e 0 : Xt [a, b] } = Q(t, x)dx.
a
2017/5/16
quantum2013
page 308
308 T
opicos Selecionados de Mec
anica Qu
antica Cap. 2
1 2 Q
Para todo t fixo, o operador et 2 x2 , e estocastico (leva densidades em
densidades). Na Mecanica Qu antica os operadores unit arios (por exem-
2
1 Q
plo et i 2 x2 ) desempenham o papel dos operadores estocasticos (levando
elementos da bola unit aria do espaco de Hilbert no mesmo conjunto).
Os estados estacion arios da Mecanica Quantica s
ao os an alogos dos
estados estacion arios da Teoria dos Processos de Difusao (ver [158] chap-
ter 15.5)
Os caminhos que trata a integral de Feymann desempenham um
papel similar aos caminhos amostrais do movimento Browniano (ver
[157]). O teorema de Feymann-Kac (ver [266] ou [158] chapter 15) des-
creve um resultado de fundamental import ancia na Teoria dos Processos
Estocasticos e possui forte analogia com o que descrevemos na secao an-
terior. Referimos o leitor a [149], [43], [160] e [65] que s ao referencias
muito interessantes que exploram a analogia existente entre os resultados
de uma e outra teoria.
~
D X = V dt + D dt + D Bt , t 0,
2m
2017/5/16
quantum2013
page 309
Sec
ao 2.12 Integral de caminho em MEQ 309
~ 2
Considere o sistema descrito pelo Hamiltoniano H = 2m +h V (x).i
Para obtermos uma representacao para o n ucleo integral de exp ~ H
por integrais de caminho basta notar que este operador Hteexatamente
igual ao operador de evolucao temporal, U (t) = exp i ~ , se pensar-
mos em como um tempo imagin ario, i.e., se fizermos t = i.
Seguindo a receitada secao 2.9, obtemos, pela formula de Trotter
n
e(A+B) = s- lim e n e n B ,
n
h i
que o operador exp ~ H pode ser escrito como
~
e ~ H = e 2m ~ V (x) = s- lim Knn , (2.62)
n
h i h i
~
onde Kn = exp 2mn exp ~n V (x) .
Lembramos que dados dois operadores integrais K1 e K2 , cujos n
ucleos
integrais s
ao K1 e K2 respectivamente, temos que o n
ucleo integral de
K = K1 K2 e Z
K (x, y) = K2 (x, z) K1 (z, y) dz.
Rd
~t
onde Kn (x, y) e o n ucleos de ei 2mn
ucleo integral de Kn . Como os n
t
e ei ~n V s
ao, respectivamente
d
2i~t 2 imn|x y|2 t
exp e exp i V (x) y (x) ,
mn 2~t ~n
2017/5/16
quantum2013
page 310
310 T
opicos Selecionados de Mec
anica Qu
antica Cap. 2
obtemos, fazendo t = i,
d
~
2~ 2 mn|x y|2
e 2mn (x, y) = exp
mn 2~
e
e ~n V (x, y) = exp V (x) y (x) .
~n
As express
oes acima nos permitem escrever (2.63) como
Z Z n d
~ H 2~ 2 Sen
e (x, y) = lim ... exp dx1 ...dxn1 ,
n Rd Rd m ~
(2.64)
onde
n1
X mn|xk+1 xk |2
Sen = + V (xk ) ,
2 n
k=0
com x0 = x e xn = y.
(k+1)
Definindo a funcao poligonal n , linear em k n , n , k = 0, 1, ..., n
1, tal que n kn = xk , k = 0, 1, ..., n, vemos que Sen e uma soma de
Riemann da integral
Z h i
m
Se (n , ) = | (s) |2 + V ( (s)) ds. (2.65)
0 2
Mostramos, assim, que
Z
~ H Sen
e (x, y) = lim exp Dn = (formal)
n n
Px,y, ~
Z
Se (, )
exp D (2.66)
Px,y, ~
n
onde Px,y, e o espaco dos caminhos poligonais n lineares em
k (k+1)
n , n , k = 0, 1, ..., n 1, tais que n (0) = x e n () = y,
n d
2~ 2 (n 1)
Dn = dn ...dn ,
mn n n
Px,y, e o espaco de caminhos de x a y (em tempo imagin
ario ) e D
representa formalmente uma medida neste espaco.
2017/5/16
quantum2013
page 311
Sec
ao 2.13 C
alculo das Variaco
es em espacos de funco
es 311
h i
3. Usando o resultado anterior vamos calcular Z () = tr exp ~ H .
Encontramos anteriormente
h i uma representacao para o nucleo inte-
gral do operador exp ~ H . Se este for contnuo temos, por (16)
Z () = tr exp H =
~
Z
exp H (x, x) dx =
Rd ~
Z (Z )
Se (, )
exp D dx.
Rd Px,x, ~
2017/5/16
quantum2013
page 312
312 T
opicos Selecionados de Mec
anica Qu
antica Cap. 2
2.13 C
alculo das Variac
oes em espacos de func
oes
Nesta secao vamos apresentar brevemente varios calculos que ser ao ne-
cessarios nas secoes subsequentes. Referimos o leitor a [120] para mais
detalhes.
Vamos denotar por X um espaco de Banach real generico e considerar
um funcional S : X R. Em cada exemplo vamos explicitar quem e
o X a ser considerado. Em geral X e um espaco de funcoes. O espaco
tangente no ponto X e denotado por T (X).
Em algum momento futuro no texto o espaco X poder a denotar uma
variedade diferenci avel modelada em um espaco de Banach. Neste caso
T (X) n ao ser
a isomorfo a X.
P
Abaixo, a = (a1 , a2 , .., ad ), ak N, e |a| = dk=1 ak . Vamos denotar
a por a = xa11 xa22 ... xadd .
Definiao 2.23. Seja B um domnio aberto em Rd e s N. O espaco
c
de Sobolev H s (B, Rm ) e o conjunto
2017/5/16
quantum2013
page 313
Sec
ao 2.13 C
alculo das Variaco
es em espacos de funco
es 313
2017/5/16
quantum2013
page 314
314 T
opicos Selecionados de Mec
anica Qu
antica Cap. 2
S (, ) =
Z b
2 S [, ]
= S [] = f (x) (x) dx =0
==0 =0 a =0
S (, ) = 0.
2017/5/16
quantum2013
page 315
Sec
ao 2.13 C
alculo das Variaco
es em espacos de funco
es 315
Z
S [] = (x) V, (x) dx,
Rd
V
onde V e um vetor do Rm cujas coordenandas s
ao j e h, i denota
o produto interno usual do Rm .
A segunda variacao de S em e a aplicacao S : T X (T X) , ou
de maneira equivalente a forma bilinear S : T X T X R, definida
por
2 S [, ]
S (, ) = =
==0
S [] =
=0
Z
(x) V, (x) dx
Rd =0
Z X m Z
i 2 V
2
= i dx = D V , dx
Rd i j Rd
i,j=1
=0
Z D E
S (, ) = 2
D(x) V (x) , (x) dx,
Rd
2V
onde D2 V e a matriz m m cujos elementos s
ao i j , ou seja a
matriz Hessiana do potencial V em .
2017/5/16
quantum2013
page 316
316 T
opicos Selecionados de Mec
anica Qu
antica Cap. 2
Z
1
| (x) | dx
2
=
Rd 2 =0
Z Z
, dx = h, i dx
Rd =0 Rd
Z Z
= () |Rd () dx = () dx
| {z } Rd Rd
=0
Z
S [] = ( (x)) (x) dx,
Rd
5. Sejam a, b Rm , X = C 1 ([0, T ] ; Rm ) / (0) = a, (T ) = b .
Seja E = C 1 ((0, T ], Rm ) que e um espaco de Banach com a norma
C 1.
Entao X e um subespaco fechado de E que tambem e de Banach.
Temos entao T X = C 1 ([0, T ] ; Rm ) / (0) = (T ) = 0 . Con-
sidere o funcional S : X R definido por
Z T
1 2
S [] = m| (t) | V ( (t)) dt,
0 2
2017/5/16
quantum2013
page 317
Sec
ao 2.13 C
alculo das Variaco
es em espacos de funco
es 317
Z T D E
m (t) V (t) , (t) dt
=
0 =0
Z m
" m
#
T X j X i 2 V
m j dt
0 i j
j=1 i=1
=0
quantum2013
2017/5/16
page 318
318 T
opicos Selecionados de Mec
anica Qu
antica Cap. 2
Z T
= D2 V , dt
m
0
Z T
d2
S (, ) = D 2
(t) V (t) , m
(t) dt,
0 dt2
2V
onde D2 V e a matriz m m cujos elementos s ao i j
, ou seja a
matriz Hessiana do potencial V em .
quantum2013
2017/5/16
page 319
Sec
ao 2.13 C
alculo das Variaco
es em espacos de funco
es 319
Z T
d
L L, dt =
0 dt =0
Z TX m
" m m
X i 2L X i 2L
+
0 j=1 i=1 i j
i j
i=1
! !#
m
X d m
X d
i 2L i 2L
j dt =
i=1
dt i j i=1
dt i j
=0
Z T
d h 2 i d h 2 i
D2 L + D 2
L
D L D L
, dt
0 dt dt
Z T* +
d h 2 i d h 2 i
= D2 L + D
2
L D 2
L D L D L
D 2
L
, dt =
0 | {z } dt dt
=0
Z
T
d h 2 i d h 2 i
D2 L D L D L D2 L
, dt
0 dt dt
Z T
d d 2 d d2
S (, ) = D2 L D2 L D L D2 L 2 , dt,
0 dt dt dt dt
2 L e D 2 L s
onde D2 L, D2 L, D
ao matrizes mm cujos elementos s ao,
2L 2L 2L 2L
respectivamente, i j , , . Aqui
(, ) i j (, ) i j (, ) i j (, )
usamos que D2 L = D 2 L uma vez que L
e duas vezes diferenci avel.
7. Sejam f, g H 1 Rd , Rm ,
n
X = H 1 Rd [0, T ] , Rm / (x, 0) = f (x) ,
2017/5/16
quantum2013
page 320
320 T
opicos Selecionados de Mec
anica Qu
antica Cap. 2
Z Z m
" d
T X X
j j j
j
+
0 Rd j=1 t t xk xk
k=1
Z TZ X m
" d
V j j j X j j
+ dxdt = +
j =0 0 Rd j=1 t t xk xk
k=1
Z X T Z TX
m m
V j
+ j dxdt = j dx + (j ) j dt
j Rd j=1 t 0 j=1
0 Rd
| {z } | {z }
=0 =0
Z Z m
" d #
T X 2
j X 2
j V
+ + j dxdt =
0 Rd j=1
t2 k=1
x2k j
Z Z
T
2
t + V, i] dxdt
0 Rd
Z T Z
S [] = (x, t) + (x,t) V, (x, t) dxdt,
0 Rd
V
onde V e um vetor do Rm cujas coordenandas s
ao j , h, i denota
o produto interno usual do Rm e = t2 e o DAlambertiano. Aqui
usamos que o produto () tende a zero no infinito para todo t, uma
vez que , H 1 Rd [0, T ] , Rm .
A segunda variacao de S em e a aplicacao S : T X (T X) , ou
de maneira equivalente a forma bilinear S : T X T X R, definida
por
2 S [, ]
S (, ) = = S [] =
==0
=0
Z TZ
+ V, dxdt
0 Rd =0
Z TZ X m
" m
#
j X 2V
= j + i
j dxdt =
0 Rd i j
j=1 i=1 =0
Z T Z
+ D2 V , dxdt
0 Rd
Z T Z Dh i E
S (, ) = + D(x,t)
2
V (x, t) , (x, t) dt,
0 Rd
2V
onde D2 V e a matriz m m cujos elementos s
ao i j , ou seja a
matriz Hessiana do potencial V em .
2017/5/16
quantum2013
page 321
Sec
ao 2.13 C
alculo das Variaco
es em espacos de funco
es 321
S (, ) = hB, i .
2017/5/16
quantum2013
page 322
322 T
opicos Selecionados de Mec
anica Qu
antica Cap. 2
1
m 2 mV ((t)),
2
onde V e um potencial fixo (que independe da massa).
2017/5/16
quantum2013
page 323
Sec
ao 2.14 Comportamento assint
otico da Integral de Feymann 323
R
Desejamos estimar o comportamento assintotico de Rd ei S(x)/h dx
quando m . Isto nos dar a (num certo sentido) no limite se-
miclassico o setting Newtoniano (classico). Ou seja, o princpio de
mnima acao vai aparecer de uma maneira natural.
usual na literatura considerar, e faremos o mesmo aqui, que a
E
massa e igual a 1 (est
a normalizada) e fazer a constante~ ir a zero. Os
dois procedimentos resultam no mesmo resultado final se S tem a forma
Z T Z T
1 1 1 m 1 2
S[] = [ m 2 m V ((t))]dt. = [ V ((t))]dt.
~ ~ 0 2 ~ 0 2
Ser
a necessario considerar agora na analise assintotica da integral de
Feymann o Metodo da fase estacion aria (ver secao 6.5.2 em [44], Cap 3
secao 3 em [64] ou [199], [216], [203] [247] [120] [86] [178] [71] [279] [128]
[160]).
Observamos que nosso procedimento (talvez n ao usual) de multipli-
car o potencial V pela massa, e entao fazer a massa ir a infinito, faz
sentido do ponto de vista matem atico para o uso do Metodo da fase
estacion aria. Nao estamos afirmando nada sobre a validade fsica de tal
desenvolvimento. Nosso procedimento n ao e standard na teoria.
asica e que quando h 0, o integrando e muito oscilat
A ideia b orio
e contribui muito pouco, exceto quando S() = 0, ou seja, nos pontos
crticos. Em outras palavras, as probabilidades tem maior magnitude
perto dos pontos crticos. Este e o ponto central do desenvolvimento a
seguir.
Estamos interessados nos caminhos crticos para a acao classica.
Vamos estudar mais geralmente a seguinte funcao:
Z
I(h) := f ()eiS()/h d
onde f C0 (R).
A parte oscilat oria do estado, um dos principais deter-
minantes do comportamento de uma partcula na Mec anica
Qu antica, desaparece no limite semicl assico, determinando as-
sim, no mundo da Mec anica Cl assica, a sua aus encia. Este
desaparecimento segue do princpio de autocancelamento ine-
rente ao m etodo da fase estacion aria (ver figura 2.4). Uma boa
referencia para o metodo da fase estacion
aria em Mecanica Quantica e
[67].
2017/5/16
quantum2013
page 324
324 T
opicos Selecionados de Mec
anica Qu
antica Cap. 2
S()
S() 1
=
+ h, S ()i + O( h ||3 )
h h 2
Portanto
Z
()i/2 h ||3 )
I(h) = hd/2 eiS()/h f ( + h)eih,S eiO( d
Rd
E usando a express
ao
Z
lim 1/2
eih,S ()i/2 d = (2i)d/2 [detS ()]
R ||R
Obtemos que
1/2 f ()e
I(h) = (2ih)d/2 [det S ()] iS()/h [1 + O( h)]. (2.69)
2017/5/16
quantum2013
page 325
Sec
ao 2.14 Comportamento assint
otico da Integral de Feymann 325
A express
aRo acima descreve o resultado essencial no metodo da fase
aria: eiS()/h d eh i inf {S()} , quando h 0.
estacion
2017/5/16
quantum2013
page 326
326 T
opicos Selecionados de Mec
anica Qu
antica Cap. 2
porque se P , P s
ao projecoes e P P = P P = 0, entao eaP +bP =
a b
e P +e P .
Sendo assim,
Z
X
ts1 e A t dt = (s) s s
k Pk = (s) A .
0 k=1
Como Z
s 1
= ts1 e t dt,
(s) 0
Note que
n
X
d
A (s)|s=0 = log(k ).
ds
k=1
Assim,
det (A) = eA (0) .
P
Suponha agora que A = k=1 k Pk , k R, e, da mesma forma,
considere a funcao zeta associada
X
A (s) = traco (As ) = s
k .
k=1
2017/5/16
quantum2013
page 327
Sec
ao 2.14 Comportamento assint
otico da Integral de Feymann 327
det (A) = eA (0) .
2017/5/16
quantum2013
page 328
328 T
opicos Selecionados de Mec
anica Qu
antica Cap. 2
2017/5/16
quantum2013
page 329
Sec
ao 2.14 Comportamento assint
otico da Integral de Feymann 329
V (y) = K y 2 + y 3 + ...,
mx (s) + 2 (K )x(s) = 0.
x : [0, t] R dada por x(s) = cos( K m s) define uma autofun cao para
S () tal que o autovalor e negativo, e, x(0) = 0, x(t) = 0. Se
t > q K isto continua ocorrendo. Se, por exemplo, t > 2 q K , entao
m m
vao haver duas autofuncoes linearmente independentes com autovalor
negativo.
Em resumo, os autovalores do problema de Sturm-Liouville s
ao, neste
caso,
n 2
n = K m ( ) , n = 1, 2, 3, ...,
t
2017/5/16
quantum2013
page 330
330 T
opicos Selecionados de Mec
anica Qu
antica Cap. 2
e portanto s
ao todos negativos se t > 0 e pequeno.
Pelo que vimos acima, para t fixo, tomando bem negativo vai existir
um conjunto de dimensao finita de autofuncoes com autovalor . Estes
autovalores s ao em n umero enumeravel e convergem a .
No presente caso, no entanto, o t e pequeno e fixo, e temos assim
que S () e positivo definido. Se V e da forma V (y) = K y 2 + y 3 + ...,
e, se e pequeno, um resultado similar pode ser obtido por perturbacao
do caso V (y) = K y 2 . Assim, e mnimo local para variacoes de S e
det S e positivo.
2017/5/16
quantum2013
page 331
Sec
ao 2.14 Comportamento assint
otico da Integral de Feymann 331
2 1/2
M = (det(m )) (2iht/m)d/2
s2
Logo
!1/2
X 2iht d/2 det(m s
2)
2
iHt/h
e (x, y) = eiS()/h (1+O( h))
m detS ()
quando h 0.
quantum2013
2017/5/16
page 332
332 T
opicos Selecionados de Mec
anica Qu
antica Cap. 2
1X n
S (n) = S + j a2j + O kk3 .
2
j=1
Assim obtemos,
i (n)
n
i 1X
exp S = exp S + j a2j + O kk3 =
h h 2
j=1
X
i
= exp iS /h exp 2
j aj exp O kk3 /h =
2h
P 2
= eiS ()/h ei j aj /2h 1 + O kk3 /h ,
quantum2013
2017/5/16
page 333
Sec
ao 2.14 Comportamento assint
otico da Integral de Feymann 333
Z
P
j a2j /2h a3
ei 1+O dn a =
Rn h
Z P
j b2j /2
= ei 1 + O b3 h hn/2 dn b
Rn
e portanto
Z P
j b2
eiHt/h (x, y) = lim eiS ()/h ei j /2 1 + O b3 h Cn hn/2 dn b =
n Rn
1/2 iS ()/h
= lim Cn (2ih)n/2 det S |Fn e 1+O h ,
n
nP o Q
n
onde Fn = j=1 aj j de modo que det S |Fn = nj=1 j .
2 /2ht
eiH0 t/h (x, y) = (2iht/m)d/2 eim|xy| ,
donde
eiH0 t/h (x, x) = (2iht/m)d/2 .
1/2
eiH0 t/h (x, x) = lim Cn (2ih)n/2 detS0 .
n
2017/5/16
quantum2013
page 334
334 T
opicos Selecionados de Mec
anica Qu
antica Cap. 2
d/2 !1/2
2ith detS0
iHt/h
e (x, y) = eiS()/h 1 + O h .
m detS
2017/5/16
quantum2013
page 335
Sec
ao 2.15 Segunda variac
ao e campos de Jacobi 335
2017/5/16
quantum2013
page 336
336 T
opicos Selecionados de Mec
anica Qu
antica Cap. 2
s s
( S (s ) ( ) ) = 2 S(s ) ( ).
s s s
Observe que s
s (0) = 0 para todo s.
Se (t) e um caminho crtico para S, (0) = v, w Rd , e ainda
v(s) e uma curva em R tal que v(0) = v, v (0) = w, entao existe um
d
deformacao s (t) de (t) tal que t s (t) |t=0 = v(s), porque a equacao
dos caminhos crticos e de segunda ordem (vide 2.13 Exemplo 5). Como
s (s ) = 0, temos que
s
2 S (s ) ( ) = 0.
s
s (t)
Definimos o campo de Jacobi Jw (t) por Jw (t) = s |s=0 , e obtemos
que
2 S ((t))(Jw (t)) = 0.
Observe que Jw (0) = 0 e que
d s (t)
Jw (0) = ( |s=0 )t=0 =
dt s
2 s (t) d s (t)
|s=0,t=0 = ( |t=0 )s=0 = v (0) = w.
s t ds t
2017/5/16
quantum2013
page 337
Sec
ao 2.15 Segunda variac
ao e campos de Jacobi 337
Proposi c
ao 2.39. ( ) e ponto conjugado a (0) se e somente se existe
w tal que Jw ( ) = 0.
2017/5/16
quantum2013
page 338
338 T
opicos Selecionados de Mec
anica Qu
antica Cap. 2
"Z #
S0 T s T
s
(w) = ms V (s ) dt + ms .
x 0 s s 0
s=0
S0 s (T ) s (0)
)
(w) = m (T
m (0) .
x s s=0 s s=0
S0
(w) = m(0) w,
x
ou, pelo mesmo abuso de notacao de sempre,
S0
= m(0). (2.78)
x
Por outro lado, observamos que (0)/y pode ser calculado, ao menos
formalmente, da seguinte forma: considere y + sw, w fixo, extremos
finais dos caminhos crticos s que ligam x a y + sw em tempo T . Ora,
pelo que fizemos antes, ao definir campos de Jacobi, temos que
d s (0) ds (T )
J(T ) ( |s=0 ) = |s=0 = w,
ds ds
2017/5/16
quantum2013
page 339
Sec
ao 2.15 Segunda variac
ao e campos de Jacobi 339
assim
(0) d s (0)
(w) = = J(T )1 (w).
y ds s=0
Ou seja,
(0)
= J(T )1 (2.79)
y
Juntando as informacoes acima, obtemos
2 S0 (x, y, T )
= mJ(T )1 (2.80)
yx
que nos d
a o seguinte resultado:
Proposi
c
ao 2.40. Se y e ponto conjugado a x, ent
ao
2
S0 (x, y, T )
det = .
yx
2 S0 (x, y, T )
= .
yx sen T
Desta forma, segue que os pontos (n/) s
ao conjugados a (0) para
qualquer inteiro n.
2017/5/16
quantum2013
page 340
340 T
opicos Selecionados de Mec
anica Qu
antica Cap. 2
s
ao de fato os campos de Jacobi definidos na estrutura desta Geome-
tria Riemanniana. Esta questao e similar ao descrito pelo Princpio de
Maupertius (ver Teorema 2.6.1 em [177]). Vamos elaborar sobre isto.
A equacao de Jacobi S ()J = 0 e aqui dada por
em Rd .
Vejamos a seguir como os caminhos crticos (isto e, as trajetorias
classicas) se relacionam com as geodesicas da Geometria Riemanniana.
Para isso, dado um caminho , defina a energia por
m 2
E(t) := |(t)| + V ((t)).
2
imediato verificar que a energia ao longo de um caminho crtico e
E
constante.
Teorema 2.41. A trajet orica cl
assica de uma partcula com energia E
e uma geodesica na metrica Riemanniana
2017/5/16
quantum2013
page 341
Sec
ao 2.16 Quantizac
ao de Weyl, estados coerentes e microsuporte 341
2.16 Quantizac
ao de Weyl, estados coerentes e microsuporte
O Hamiltoniano est a definido para (q, p) (ou, (x, p)) no espaco de fase.
Por sua vez, os estados da Mecanica Qu antica est
ao definidos para q (ou
x) no espaco de configuracao, ou entao, via Transformada de Fourier,
apenas para p no espaco dos momentos. Desejamos explorar diversas
formas que expressem as probabilidades oriundas da Mecanica Qu antica
mas desta vez, alternativamente, no espaco de fase (x, p); em particular,
a medida de Wigner desempenha um papel muito importante na teo-
ria. Antes vamos tratar da quantizacao de Weyl e da decomposicao em
estados coerentes.
Referimos o leitor para [47], Lecture 13 em [67], chapter 7 in [266]
ou chapter 3 em [64] para um estudo mais completo do assunto.
Decomposi
c
ao em estados coerentes
2017/5/16
quantum2013
page 342
342 T
opicos Selecionados de Mec
anica Qu
antica Cap. 2
para todo 1 , 2 H.
A quantiza
c
ao de Weyl
Vamos considerar aqui apenas o exemplo descrito acima em que =
R R, com coordenadas a = (q, p) = (a1 , a2 ). As principais referencias
no assunto s
ao [162] [234], [223], [61], [60], [96] and [156].
Para cada (a1 , a2 ) considere o operator
i
U (a1 , a2 ) = exp ( ( a1 P a2 X ) ) : H H.
h
Usando coordenadas (x, p) ele se expressa como
i
e h ( x P p X ) .
2017/5/16
quantum2013
page 343
Sec
ao 2.16 Quantizac
ao de Weyl, estados coerentes e microsuporte 343
< , P >= 0,
e
< , X >= 0,
entao
< a1 ,a2 , P a1 ,a2 >= a2 ,
De fato,
Pa1 ,a2 (y) = i~a1 ,a2 (y) =
i i i i
i~exp a1 a2 a2 exp a2 y (y a1 ) + exp a2 y (y a1 )
2~ ~ ~ ~
Substituindo no produto interno e usando o fato que
Z
0 =< , P >= (y)i~ (y)dy,
Alem disso < a1 ,a2 , X a1 ,a2 >= a1 , como se pode ver usando o fato
que Z
0 =< , X >= (y)y(y)dy,
e calculando
< a1 ,a2 , X a1 ,a2 >=
Z
i i i i
exp a1 a2 exp a2 y (y a1 )y exp a1 a2 exp a2 y (y a1 )dy
2~ ~ 2~ ~
Z
= y(y a1 )(y a1 )dy
2017/5/16
quantum2013
page 344
344 T
opicos Selecionados de Mec
anica Qu
antica Cap. 2
ZZZ 1 !
i i 1 4 (q a1 )2 i i
= exp a1 a2 exp a2 q exp exp a1 a2 exp a2 y
2~ ~ ~ 2~ 2~ ~
1 !
1 4 (y a1 )2 dyda1 da2
exp (y)
~ 2~ 2~
2017/5/16
quantum2013
page 345
Sec
ao 2.16 Quantizac
ao de Weyl, estados coerentes e microsuporte 345
2
Chamando f (y) = exp (ya 2~
1)
(y), temos a seguinte express
ao
para a transformada de Fourier inversa:
Z
1 i
f(a2 ) = exp a2 y f (y)dy.
2~ h
Substituindo na express
ao acima, obtemos
1 ZZ
1 2 i (q a1 )2 da2 da1
exp a2 q exp f (a2 )
~ ~ 2~ 2~
Calculando a transformada de Fourier de f em q encontramos
Z
1 i
f (q) = exp a2 q f(a2 )da2 .
2~ ~
Substituindo,
1 Z
1 2 (q a1 )2
f (q)exp da1
~ 2~
1 Z
1 2 (q a1 )2
= exp (q)da1
~ ~
1 q
a
Fazendo ~
= x, da1 = ~dx obtemos
1 Z
1 2 2
(q) ex ~dx = (q)
~
Desta forma, (a1 ,a2 ) , (a1 , a2 ) R2 , define uma famlia de estados
coerentes.
2017/5/16
quantum2013
page 346
346 T
opicos Selecionados de Mec
anica Qu
antica Cap. 2
1
(q, p) = | < q,p , > |2 .
2h
Chamamos a func
ao de Husimi associada a (ver [156] ou Cap
3 secao 11 em [64]).
Como exemplo considere o caso do oscilador harmonico H(q, p) =
1 2 + p2 ).
2 (q
q2
1 1/4 2 h
Lembre que o ground state e 0 (q) = c ( h ) e .
A mth autofuncao e
1 1/2
m (q) = ( ) Pm (q/ h)0 (q),
2m m!
onde Pm e o m-th polinomio de Hermite. O mth autovalor e m =
h (m + 1/2).
Neste caso, a distribuicao de Husimi associada a m e
1 p2 + q 2 m p2 +q2
m (q, p) = ( ) e 2h
2h m! 2h
Se considerarmos um valor de energia fixa E > 0, e Em um valor
pr
oximo, entao tomando Em = (1/2 + m)h, com h = E/m, resulta
que quando m , temos que a funcao de Husimi vai concentrar no
conjunto dos pontos (q, p) que possuem energia classica H(q, p) igual ao
valor E [156]. Acima, para cada valor de massa m tomamos o valor mais
pr
oximo do fixado E.
Neste sentido embora n ao totalmente satisfatoria a distribuicao de
Husimi (via esta associacao) se torna a classica no limite semicl assico
h 0. Observamos que o limite semi-cl assico pode ter varios e diferentes
sentidos dependendo do problema (e da necessidade do formalismo).
Considere o assim chamado limite semi-classico h 0. Este h, =
nao e, em geral, a probabilidade de encontrar (q, p) (que esta definido
2017/5/16
quantum2013
page 347
Sec
ao 2.16 Quantizac
ao de Weyl, estados coerentes e microsuporte 347
Vale que f (., .) f(., .) e uma involucao, isto e f = f .
E natural considerar que estas operacoes agem no espaco das distri-
buicoes S(R2 ) (conforme secao 1.14). Note que f f e um operador
unitario em L2 (R2 ) (ver [61]).
.
Lembre que
i
U (a1 , a2 ) = exp ( ( a1 P a2 X ) ).
h
2017/5/16
quantum2013
page 348
348 T
opicos Selecionados de Mec
anica Qu
antica Cap. 2
h i Z h i da1 da2
[OpW (f )] () (x) = f(a1 , a2 ) U (a1 , a2 ) () (x) =
R2 2 h
Z
i i da1 da2
f(a1 , a2 ) exp( a1 a2 ) exp( a2 x ) (x a1 ) = (x)
R2 2~ ~ 2 h
a em S(R2 ).
define uma funcao que est h i
Por exemplo, se pode mostrar que [OpW (x2 )] () (x) = x2 (x) =
X 2 ()(x). Ou seja, [OpW (x2 )] = X 2 . Da mesma forma, [OpW (p2 )] = P 2 .
Se f S(R2 ), entao OpW (f ) e trace class. Alem disto (OpW (f )) =
1
R
2h f (a1 , a2 )da1 a2 [61].
f (., .) S(R2 ) e chamado de smbolo de Weyl de OpW (f ). Da mesma
forma, (mas, de maneira mais geral) podemos dizer que f S (R2 ) e o
1
smbolo de OpW (f ). Por exemplo, 2h (z 0) e o smbolo do operador
2
identidade I : S(R ) S(R ) [61].2
2017/5/16
quantum2013
page 349
Sec
ao 2.16 Quantizac
ao de Weyl, estados coerentes e microsuporte 349
(mundo quantico na secao 1.2). Se pode mostrar (ver [64]) que dados
f (., .), g(., .) S(R2 )
Limite semi-cl
assico e microsuporte
O pacote Gaussiano x R, R e descrito por
i (zx)2 i (zx)2
z x, (z) = exp ( m v z ) e 4 a2 = exp ( z ) e 4 ~ .
~ ~
Ele descreve um partcula quantica com posicao x emomento =
p posicao estamos tomando a = ~. Podemos
m v. A variancia da
tambem tomar a = ~/m e desta forma obteramos a express ao
i (zx)2
exp ( z ) e 4 ~/m .
~
2017/5/16
quantum2013
page 350
350 T
opicos Selecionados de Mec
anica Qu
antica Cap. 2
x0 +y 2 (x0 y)2
Note que (z y)2 + (z x0 )2 = 2(z 2 ) + 2 portanto
Z x +y (x y)2
2(z 02 )2 + 0 2
| < (y,) , (x0 ,0 ) > | e 4h2 dz =
2017/5/16
quantum2013
page 351
Sec
ao 2.16 Quantizac
ao de Weyl, estados coerentes e microsuporte 351
(x0 y)2
Z x +y
(z 02 )2 (x0 y)2
=e 8h2 e 2h2 dz = e 8h2 h 2.
Caso 2: Suponha que 6= 0 e y = x0 , entao vale que
Z (zx0 )2 iz(0 )
< (y,) , (x0 ,0 ) >= e 2h2 e h dz
2017/5/16
quantum2013
page 352
352 T
opicos Selecionados de Mec
anica Qu
antica Cap. 2
and Z
W (q, p) dq = |(p)|2
,
Demonstra cao R i
Lembre que como funcao da vari avel s, a express ao e+ h p s dp e
uma distribuicao, mais precisamente, a delta de Dirac em s = 0, deno-
tada por ( 21 h ) 0 .
Queremos dizer com isto (ver fim da secao 1.14) que a associacao
Z Z
1 i
f [ e+ h p s dp] f (s)ds,
2 h
2017/5/16
quantum2013
page 353
Sec
ao 2.19 Medidas de Wigner 353
2017/5/16
quantum2013
page 354
354 T
opicos Selecionados de Mec
anica Qu
antica Cap. 2
Demonstra c
ao:
De fato, basta verificar que
Z
a1 i i a1 a1 dxda1 da2
(x + )f (a1 , a2 )e 2~ a1 a2 e ~ (x+ 2 )a2 (x ) =
2 2 2~
Z
a1 i a1 dxda1 da2
(x )f (a1 , a2 )e ~ a2 x (x + ) =
2 2 2~
Z
a1 a1 i i dydzdxda1 da2
(x )(x + )e ~ a2 x f (y, z)e ~ (a1 za2 y) =
2 2 (2~)2
Z a1 a1 i
a z i
(x 2 )(x + 2 )e
~ 1 f (y, z)e ~ a2 (yx)
[ ][ ]da1 da2 dydzdx =
2~ 2~
Z i
f (y, z)e ~ a2 (yx)
W (x, z)[ ]dyda2 dxdz =
2~
Z i
f(a2 , z)e ~ a2 x
W (x, z)[ ]da2 dxdz =
2~
Z
W (x, z)f (x, z)dxdz =
Z
f (q, p) W (q, p) dq dp
R2
Observe que a segunda igualdade vem de uma substituicao na qual
se toma x = x + a21 , na terceira substituimos a1 = a1 . Na quarta
igualdade usamos a definicao de transformada de Fourier simpletica.
Logo apos, substitumos a2 = a2 e usamos a definicao de W . Nesta
demonstracao, f(p, y) denota a transformada de Fourier de f (x, y) na
primeira vari
avel.
2017/5/16
quantum2013
page 355
Sec
ao 2.19 Medidas de Wigner 355
X X Z i ( ( p + p ) + [ (n q +n q ) ] ) d1 d2
f(n1 , n2 , 1 , 2 ) e h 1 1 2 2 q 1 1 2 2 .
n1 Z n2 Z R2 (2 q )2
2017/5/16
quantum2013
page 356
356 T
opicos Selecionados de Mec
anica Qu
antica Cap. 2
( OpW (f ) ) =
X Z
i d1 d2
f(n1 , n2 , 1 , 2 ) e h ( [q (n1 P1 +n2 P2 )] (1 Q1 +2 Q2 ) ) ,
R2 2q
n1 ,n2 Z
2.18 Mec
anica de Bohm e a equac
ao de Hamilton-Jacobi
2017/5/16
quantum2013
page 357
Sec
ao 2.20 Mec
anica de Bohm 357
S 1
+ |x (S)|2 + V = 0, (2.81)
t 2m
2
associada ao Hamiltoniano H(q, p) = 2pm + V (q), onde V e diferenci avel
infinitas vezes. Esta equacao esta ligada a Mecanica Cl assica e n ao
Qu antica.
Acima estamos considerando o toro com a metrica flat.
Ressaltamos que nem sempre este S pode ser definido em todo toro
de forma diferenci avel. A partir de condicoes iniciais fixadas se pode
definir localmente uma solucao infinitamente diferenci avel (ver [7], [198]
e [177]). Muitas vezes ocorrem singularidades (pontos de causticas) e
em certos casos se pode extender a solucao infinitamente diferenci avel de
forma contnua, mas isto depende muito da forma especial do potencial.
O estudo das solucoes de viscosidade e da Teoria de Aubry-Mather
permite encontrar solucoes da equacao acima de um ponto de vista di-
ferente [88]. Se busca funcoes contnuas S(x, t), para todo x no toro e
t R, tais que para x fora de um conjunto de medida de Lebesgue zero
no Toro exista a derivada parcial de S em relacao a x, e nestes pontos
a equacao acima seja verdadeira. Este seria um ponto de vista de obter
solucoes globais, mas de uma forma dita fraca.
Assumimos agora que exista uma evolucao temporal de probabilida-
des cujas densidades sejam denotadas por PtR(x) = P (t, x).
Desta forma, para qualquer t temos que P (t, x)dx = 1.
Assumimos tambem que esta evolucao temporal seja governada por
um fluxo gradiente n ao autonomo dado por x S(t, x), onde, S : [0, R]
T R. Isto significa que a equacao de continuidade seja preservada, ou
seja, que P (t, x) satisfaca
P 1
+ divx (P S) = 0. (2.82)
t m
2017/5/16
quantum2013
page 358
358 T
opicos Selecionados de Mec
anica Qu
antica Cap. 2
2017/5/16
quantum2013
page 359
Sec
ao 2.20 Mec
anica de Bohm 359
(h/2)2
|x (P (t, x))|2 ] dx dt.
2 mP 2 (t, x)
A diferenca do caso anterior e que apareceu um novo termo (o u
ltimo)
que de certa forma e um potencial que depende de P :
(h/2)2
Uq (P )(x) = |x (P (t, x))|2
2 mP 2 (t, x)
O efeito deste potencial e diminuir o potencial classico V onde P
tem pontos de m aximo. Uq foi denominado de potencial quantico a
secao 1.11.
De forma analoga ao caso anterior fixe S0 (0, x), S1 (T, x), P0 (0, T, x),
P1 (0, T, x).
Considere os S e P que s
ao crticos para as variacoes da acao Aq com
extremos fixos em t = 0 e t = T , dados respectivamente por S0 , S1 , P0 ,
P1 .
Vamos mostrar abaixo que as variacoes crticas implicam que
S 1 h2 x a
+ |x S|2 + V (x) = [ ].
t 2m 2m a
Mais precisamente, as variacoes crticas por P resultam na condicao
S 1 (h/2)2 (h/2)2
+ |x (S)|2 +V + [ | x (P (t, x))|2
x P ] = 0
t 2 m 2 mP 2 (t, x) mP (t, x)
2017/5/16
quantum2013
page 360
360 T
opicos Selecionados de Mec
anica Qu
antica Cap. 2
Lembre que na secao 1.11 mostramos que se (t, x) = a(t, x)ei S(t,x)/h ,
onde a e S s
ao funcoes reais, satisfaz a equacao de Schrodinger
h2
ih = x + V ,
t 2m
entao, denotando P = a2 , temos que P e S satisfaz(2.81) e (2.82).
Em termos de a obtivemos naquela secao que
a2 1
+ divx (a2 x S) = 0,
t m
e
S 1
+ |x S|2 + V (x) =
t 2m
h2 x a
[ ].
2m a
Segue do desenvolvimento abaixo que um princpio de minima acao
pode substituir a equacao de Schrodinger.
Lembre que se a condicao inicial (0, x) = a(0, x)ei S(0,x)/h em tempo
t = 0 for uma autofuncao de H entao a evolucao temporal e tal que a
amplitude a2 nao varia. Neste caso obtemos a condicao
1
divx (a2
x S) = 0.
m
Vamos agora apresentar as provas dos enunciados acima.
Primeiro vamos descrever um problema variacional sem a compo-
nente quantica. Mais tarde consideraremos o outro caso.
2017/5/16
quantum2013
page 361
Sec
ao 2.20 Mec
anica de Bohm 361
Z T Z
P S 1
A ( ) = + |S |2 + V (x) dxdt
0 t 2m
Z TZ
S 1 S
+ P + S dxdt.
0 t m
Como (P, S) e crtico de A, temos que A (0) = 0 para qualquer
variacao de (P, S). Com isso, definindo as funcoes
P
W (x, t) = (x, t)
=0
S
U (x, t) = (x, t),
=0
obtemos que
Z T Z Z TZ
S 1 U
0 = W + |S|2 + V (x) dxdt + P dxdt
0 t 2m 0 t
(2.85)
Z T Z
1
+ P S U dxdt.
0 m
2017/5/16
quantum2013
page 362
362 T
opicos Selecionados de Mec
anica Qu
antica Cap. 2
Z T Z T
P U
U dt
P dt =
0 0 t t
Z Z
1 P S
P S U dx = div U dx.
m m
Na express
ao acima podemos supor U e W com suporte compacto
em x para cada t. Com esta condicao e valida a igualdade.
Com isso, a equacao (2.85) torna-se
Z T Z
S 1 2
W + |S| + V (x) dxdt
0 t 2m
Z T Z
P P S
U + div dxdt = 0.
0 t m
Pela arbitrariedade de U e W , segue o resultado.
Vamos definir agora uma acao com componente quantico. Isto signi-
fica acrescentar um termo mais a acao anterior. Obteremos desta forma
uma equacao diferencial parcial associada a Mecanica Estocastica de
Nelson (ver secoes 13 e 14 em [209]). Novamente para P e S como
anteriormente defina
Z T Z
S 1 2 1 2
Aq (S, P ) = P + |S| + V (x) + c 2 |P | dxdt.
0 t 2m P
(2.86)
Vamos mostrar o seguinte resultado:
Teorema 2.45. Seja (S, P ) um par crtico para o funcional Aq definido
por (2.86). Ent
ao S e P satisfazem as seguintes equaco
es:
S 1
t + 2m |S|
2 + V (x) + c P12 |P |2 2c P
P = 0
P P S
t + div m = 0.
2017/5/16
quantum2013
page 363
Sec
ao 2.20 Mec
anica de Bohm 363
Z T Z
S 1 1
W[ + |S|2 + V (x) + c 2 |P |2 ] dxdt
0 t 2m P
Z TZ Z TZ
U 1
+ P dxdt + P S U dxdt (2.87)
0 t 0 m
Z TZ Z TZ
2 2
+c P W dxdt c 2
W |P |2 dxdt,
0 P 0 P
P
W (x, t) = (x, t)
=0
S
U (x, t) = (x, t).
=0
Z T Z T
U P
P dt =
U dt,
0 t 0 t
Z Z
P P S
S U dx = div U dx,
m m
Z Z
1 P
P W dx = div W dx.
P P
Substituindo tais express
oes em (2.87), podemos reorganizar os ter-
mos e ficamos com
2017/5/16
quantum2013
page 364
364 T
opicos Selecionados de Mec
anica Qu
antica Cap. 2
Z T Z
S 1 1
+
W[ |S|2 + V (x) + c 2 |P |2 ]dxdt
0 t 2m P
Z TZ Z TZ
P P S
U dxdt U div dxdt
0 t 0 m
Z TZ Z TZ
P 1
2c W div dxdt 2c W 2 |P |2 dxdt = 0,
0 P 0 P
e portanto Z Z
T
S 1
0= W[+ |S|2 + V (x)+
0 t 2m
1 P 1
c 2 |P |2 2c div 2c 2 |P |2 ] dxdt
P P P
Z TZ
P P S
U + div dxdt =
0 t m
Z T Z
S 1 2 1 2 P
W + |S| + V (x) c 2 |P | 2c div dxdt
0 t 2m P P
Z TZ
P P S
U + div dxdt
0 t m
Como a express ao acima deve ser zero para todo U e W obtemos o
resultado desejado.
Agora, observe que
P 1 1
2cdiv = 2c 2 |P |2 2c P, (2.88)
P P P
portanto
S 1 1 P
+ |S|2 + V (x) c 2 |P |2 2c div
t 2m P P
S 1 1 1 1
= + |S|2 + V (x) c 2 |P |2 + 2c 2 |P |2 2c P
t 2m P P P
S 1 1 1
= + |S|2 + V (x) + c 2 |P |2 2c P.
t 2m P P
(2.89)
2017/5/16
quantum2013
page 365
Sec
ao 2.20 Mec
anica de Bohm 365
Z T Z
S 1 2 1 2 1
0 = W + |S| + V (x) + c 2 |P | 2c P dxdt
0 t 2m P P
Z TZ
P P S
U + div dxdt.
0 t m
2017/5/16
quantum2013
page 366
366 T
opicos Selecionados de Mec
anica Qu
antica Cap. 2
2.19 Espalhamento
i~ = H
t
|t=0 = 0 (1).
quantum2013
2017/5/16
page 367
Sec
ao 2.19 Espalhamento 367
Defini
cao 2.27. Um estado de espalhamento e uma solucao de (1) com
0 Hb .
Demonstra c
ao. Usaremos aqui alguns resultados da secao 1.5.
Assuma sem perda de generalidade que I = (R, R). Suponhamos
inicialmente que 0 Cc+ (R), conforme a discussao da secao 6 do
quantum 3, vale
1 Z +
2i~t 2 im|xy|2
(x, t) = e 2~t 0 (y)dy
m
2017/5/16
quantum2013
page 368
368 T
opicos Selecionados de Mec
anica Qu
antica Cap. 2
Note que,
Z 1 Z R Z + 2
R
2~|t| 2 im|xy|2
P (t, I, 0 ) = |(x, t)|2 dx = e 2~t (y)dy dx
m 0
R R
1 Z R Z + 2 1
2~|t| 2 2~|t| 2 |t|+
|0 (y)|dy dx 2R||0 ||2L1 (R) 0
m R m
2017/5/16
quantum2013
page 369
Sec
ao 2.19 Espalhamento 369
Demonstra
cao. Se 0 X+ ,
entao, pela desigualdade triangular
Z Z
iHt
lim sup |t (x)| dx = lim sup |e ~ 0 (x)|2 dx
2
t I t I
Z Z 2
iHt iH0 t iH0 t
lim sup | e ~ 0 e ~ 0 |2 dx )1/2 +( |e ~ 0 |2 dx )1/2
t I I
Z Z 2
iHt iH0 t iH0 t
lim sup ( | e ~ 0 e ~ 0 |2 dx )1/2 + ( |e ~ 0 |2 dx )1/2 .
t I
O limite da express
ao do primeiro termo acima vai a zero pela
otese de 0 X+ e o segundo termo vai a zero pela proposicao
hip
anterior.
aloga vale para 0 X .
A propriedade an
Queremos introduzir agora os operadores de onda associados a H e
H0 . Para justificar a definicao observamos que
iH0 t iHt iH0 t
iHt como e ~
e isometria iHt
lim ||e ~ 0 e ~ 0 || = 0 lim ||0 e ~ e ~ 0 || = 0
t t
iHt iH0 t
0 = lim e ~ e ~ 0 .
t
2017/5/16
quantum2013
page 370
370 T
opicos Selecionados de Mec
anica Qu
antica Cap. 2
Demonstra c
ao. R
Sejam 0 L1 (R) = { tal que | (x) | dx < } e assumamos que
0 est
a bem definido. Seja g Hb tal que Hg = g. Entao
iHt iH0 t iHt iH0 t
< g, 0 >= lim < g, e ~ e ~ 0 >= lim < e ~ g, e ~ 0 >=
t t
it iH0 t it iH0 t
lim < e ~ g, e ~ >= lim e ~ < g, e ~ 0 >
t t
Ora,
1 Z +
iH0 t 2i~t 2 im|xy|2
e ~ 0 = e 2~t 0 (y)dy,
m
portanto,
1 Z + Z +
im|xy|2
iH0 t 2i~t 2
| < g, e 0 > | = g(x)e 2~t 0 (y)dydx
m
1 Z + Z + 1
2~|t| 2 2~|t| 2
t
|g(x)||0 (y)|dydx = ||g||L1 ||0 ||L1 0
m m
2017/5/16
quantum2013
page 371
Sec
ao 2.19 Espalhamento 371
Proposi c
ao 2.49. Se assumirmos a propriedade da completitude assin-
t ao o operador H e unitariamente equivalente ao operador H0
otica, ent
em Hb .
Demonstra c
ao.
Vamos entao supor que para todo 0 Hb existe o correspondente
0 L2 (R) desejado.
Observe inicialmente que
itH itH isH isH0
e ~ = lim e ~ e ~ e ~ =
s
H = H0 ( )
em Hb .
O resultado acima nos assegura que restrito sobre Hb os espectros
dos operadores H e H0 s
ao os mesmos (podem ser identificados via a
isometria + ).
2017/5/16
quantum2013
page 372
372 T
opicos Selecionados de Mec
anica Qu
antica Cap. 2
||An A|| ||A||||n || < ||A|| =
||A||
2017/5/16
quantum2013
page 373
Sec
ao 2.20 Exponencial de Operadores n
ao limitados 373
||A || ||A||||||
(A z I)1 : Im(A z I) H
2017/5/16
quantum2013
page 374
374 T
opicos Selecionados de Mec
anica Qu
antica Cap. 2
Ou seja, T () = .
1 1
||A || = 2 ||[(A+i)1 +(Ai)1 ]|| 2 [1 +1 ]|||| = ||||
2 2
2017/5/16
quantum2013
page 375
Sec
ao 2.20 Exponencial de Operadores n
ao limitados 375
Analogamente obtemos
[2 (A i)1 A] = [i (A i)1 A2 ]
Unindo,
1 2 1 + 2 (A i)1 2A] ||
||(A A)|| = 2 || [ (A + i)
1 2 1 A + 2 (A i)1 A] ||
= 2 || [ (A + i)
1 2 1 + i A2 (A i)1 ] ||
= 2 || [i A (A + i)
1 1 2 1 2
= 2 || [(A + i) A (A i) A ] ||
1 2
|| A ||
1 1
A = 2 [(A+i)1 +(Ai)1 ] = 2 [(Ai)1 +(A+i)1 ] = A
2 2
Pela autoadjuntividade de A , temos ||eiA || = ||||.
2017/5/16
quantum2013
page 376
376 T
opicos Selecionados de Mec
anica Qu
antica Cap. 2
R 1 isA (1s) i A
||eiA eiA || = || 0 s e e ds||
R 1 isA i(1s)A
= || e e i(A A )ds||
R 1 0 isA i(1s)A
||e e i(A A )||ds
R10
= 0 ||(A A )||ds
= ||(A A )||
2017/5/16
quantum2013
page 377
Bibliografia
377
2017/5/16
quantum2013
page 378
378 Bibliografia
2017/5/16
quantum2013
page 379
Bibliografia 379
2017/5/16
quantum2013
page 380
380 Bibliografia
2017/5/16
quantum2013
page 381
Bibliografia 381
2017/5/16
quantum2013
page 382
382 Bibliografia
2017/5/16
quantum2013
page 383
Bibliografia 383
[89] F. Faure, Semiclassical origin of the spectral gap for transfer ope-
rators of a partially expanding map, Nonlinearity 24, 1473-1498
(2011)
2017/5/16
quantum2013
page 384
384 Bibliografia
[94] A. Fisher and A. O. Lopes, Exact bounds for the polynomial decay
of correlation, 1/f noise and the central limit theorem for a non-
Holder Potential, Nonlinearity, Vol 14, Number 5, pp 1071-1104
(2001).
2017/5/16
quantum2013
page 385
Bibliografia 385
2017/5/16
quantum2013
page 386
386 Bibliografia
2017/5/16
quantum2013
page 387
Bibliografia 387
[134] D. Holcman and I. Kupka, Singular perturbation for the first ei-
genvalue and blow up analysis, Forum Math. 18, 445-518 (2006)
[136] D. Holcman, Nonlinear pde with vector fields, J. Anal. Math 81,
111-137 (2000)
[143] R. Iorio, T
opicos na teoria da equacao de Schrodinger, 16 Coloquio
Brasileiro de Matematica, IMPA,
2017/5/16
quantum2013
page 388
388 Bibliografia
2017/5/16
quantum2013
page 389
Bibliografia 389
[175] P. Lions and T. Paul, Sur les mesaures de Wigner, Rev. Mat.
Iberoamerican 9 (3), 553-618 (1993)
[178] A. O. Lopes, T
opicos de Mecanica Cl
assica, IMPA (2012)
2017/5/16
quantum2013
page 390
390 Bibliografia
[184] A. Lopes, Jairo K. Mengue and Joana Mohr, Large Deviations for
Quantum Spin probabilities at temperature zero (2015)
[188] A. Lopes and G. Mantovani, The KMS Condition for the homo-
clinic equivalence relation and Gibbs probabilities, preprint (2017)
[189] Y-G Lu, Quantum Markov Chains and classical random sequences.
Nagoya Math. Journal. Vol. 139 (1995), pp. 173-183.
2017/5/16
quantum2013
page 391
Bibliografia 391
2017/5/16
quantum2013
page 392
392 Bibliografia
[215] M. Ohya and D. Petz, Quantum entropy and its use, Texts and
monographs in physics. Springer-Verlag, Berlin. 1993.
2017/5/16
quantum2013
page 393
Bibliografia 393
[228] W. Parry and M. Pollicott, Zeta functions and the periodic orbit
structure of hyperbolic dynamics, Asterisque N. 187-188 (1990).
2017/5/16
quantum2013
page 394
394 Bibliografia
2017/5/16
quantum2013
page 395
Bibliografia 395
2017/5/16
quantum2013
page 396
396 Bibliografia
2017/5/16
quantum2013
page 397
Bibliografia 397
2017/5/16
quantum2013
page 398
Indice
398
2017/5/16
quantum2013
page 399
Bibliografia 399
2017/5/16
quantum2013
page 400
400 Bibliografia
2017/5/16
quantum2013
page 401
Bibliografia 401
2017/5/16
quantum2013
page 402
402 Bibliografia
2017/5/16
quantum2013
page 403
Bibliografia 403
2017/5/16
quantum2013
page 404
404 Bibliografia