Escolar Documentos
Profissional Documentos
Cultura Documentos
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 fundamentacao 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 sequencia 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 intencao 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 formalizacao excessiva. Numa primeira leitura, este excesso
a que me refiro, pode comprometer o entendimento das ideias fundamentais. Tentei
manter a redacao 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 intuicao matematica. No ultimo
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 percepcao do mundo sensvel a nossa volta. Mas, apos
certo tempo para amadurecimento dos conceitos em nossa mente, percebemos que
INTRODUCAO A MATEMATICA DA MECANICA QUANTICA 3
page 1
Conteudo
2017/9/11
quantum2013
page 2
2 CONTEUDO Cap. 0
Bibliografia 378
2017/9/11
quantum2013
page 1
a + b i = e i = (cos() + i sin()),
2017/9/11
quantum2013
page 2
lim vn = w.
n
2017/9/11
quantum2013
page 3
Alguns pre-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/9/11
quantum2013
page 4
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, entao 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
eles o espaco das funcoes de quadrado integravel em Rn , (ver definicao
a seguir) satisfazem tal propriedade.
O limite acima sera descrito pela expressao formal
X
= n n .
n=0
P
E facil ver que neste caso vale = n < n | > n , ou seja, temos
que n =< n | >. Alem disto,
s s
X X
|| = 2
|n | = | < n | > |2 .
n n
2017/9/11
quantum2013
page 5
Alguns pre-requisitos 5
onde dx = dx1 dx2 ... dxn e a medida de Lebesgue usual. Uma funcao
do tipo acima e chamada de funcao de quadrado integravel.
R
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 [95]. Dizer
que duas funcoes , estao proximas significa que
sZ
|(x) (x)|2 dx < .
2017/9/11
quantum2013
page 6
R R
que, M ||2 (x)dx < , M ||2 (x)dx < , nos 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 sao
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
< , > = < , > .
< 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 so se, v = 0).
Uma funcao L : H1 H2 e linear se para qualquer 1 , 2 C e
v1 , v2 H1 , vale
2017/9/11
quantum2013
page 7
Alguns pre-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/9/11
quantum2013
page 8
2017/9/11
quantum2013
page 9
Alguns pre-requisitos 9
2017/9/11
quantum2013
page 10
2017/9/11
quantum2013
page 11
Alguns pre-requisitos 11
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 sao duas vezes dife-
renciaveis (e a segunda derivada esta em L2C ([0, 2])(dx)). O conjunto de
tais funcoes define um conjunto denso em L2C ([0, 2])(dx). E usual na te-
oria, como veremos, que os operadores mais importantes estao 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
facil ver que L(n ) = n2 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 [38] ou [274]).
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 [38] ou [274].
2017/9/11
quantum2013
page 12
onde n C.
E claro que p (L) (L) pois, se p (L), entao (L I) nao
tem inversa.
< L(v), v > = < L (v), (v) > = < v, L(v) > = < v, v > = |v|2 .
2017/9/11
quantum2013
page 13
Alguns pre-requisitos 13
|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 unitarios
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.
Definicao 0.14. Dizemos que um operador A em L(H1 , H2 ) e compacto
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/9/11
quantum2013
page 14
2017/9/11
quantum2013
page 15
Alguns pre-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, expressoes do tipo
X
X
L( j j ) = j j j ,
j=0 j=0
X
X
< L(), > = < L( 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
X N
X
n n
= an = lim an ,
|n | N |n |
nZ n=N
2017/9/11
quantum2013
page 16
< | P = < | > < | = < | | > < | = < | ( | > < | ).
2017/9/11
quantum2013
page 17
Alguns pre-requisitos 17
2017/9/11
quantum2013
page 18
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/9/11
quantum2013
page 19
Alguns pre-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 basica por tras da equacao de Schrodinger que apresentaremos em
breve.
Observe que usamos na demonstracao acima o fato que a funcao
A A e contnua.
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 nao e limitado, tambem pode ser
obtida via a expressao x(t) = etA (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 facil ver que A 2 = 2 P . Mais
P k n n n
geralmente, Ak = P . Dada um funcao f em serie 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 esta bem definido f (A) = k ak Ak .
Isto segue da propriedade |Ak | |A|k , para todo k, e do fato que num
2017/9/11
quantum2013
page 20
2017/9/11
quantum2013
page 21
Alguns pre-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 ) .
Note que como xj e sempre um numero real, para qualquer j
{1, 2, 3, ..., n}
Z
< Xj , >= xj (x1 , x2 , x3 , ..., xn ) (x1 , x2 , x3 , ..., xn ) dx =< , Xj > .
2017/9/11
quantum2013
page 22
2017/9/11
quantum2013
page 23
Alguns pre-requisitos 23
2017/9/11
quantum2013
page 24
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/9/11
quantum2013
page 25
Alguns pre-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 no
espaco de Hilbert H = L2 (Rn )(dx).
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
2017/9/11
quantum2013
page 26
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 diferenciavel 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/9/11
quantum2013
page 27
Alguns pre-requisitos 27
X
Pj2 = P 2 : D(P 2 ) L2 (M )(dx) L2 (M )(dx),
j{1,2,3,...,n}
2017/9/11
quantum2013
page 28
Z Z
< K, >= K(x, y)(x) (y)dx dy =
Z Z
(x) K(y, x)(y)dx dy =< , K > .
2017/9/11
quantum2013
page 29
Alguns pre-requisitos 29
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/9/11
quantum2013
page 30
2017/9/11
quantum2013
page 31
Captulo 1
2017/9/11
quantum2013
page 32
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 Classica de forma deterministica
pela trajetoria (x(t), p(t)) que satisfaz a equacao 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], [188], [299] 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 expressao 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)), expressao 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 Classica 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 Classica 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/9/11
quantum2013
page 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/9/11
quantum2013
page 34
Definicao
R 1.1. Um elemento generico em em H = L2C (R3 )(dx), tal
que |(x)|2 dx = 1, sera denominado de estado, ou, funcao de onda.
Assim, t , t 0, e o estado no tempo t.
~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/9/11
quantum2013
page 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 nao requer uma descricao
nos moldes da Mecanica Quantica 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 sera 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
ficara determinada de maneira unica a partir de t0 como veremos em
breve.
2017/9/11
quantum2013
page 36
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) nao 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/9/11
quantum2013
page 37
espaco de Hilbert L2C (R3 )(dx)) a partir da expressao acima (que formal-
mente so faz sentido para uma funcao duas vezes diferenciavel). Este
processo envolve muitas tecnicalidades e no momento so vamos ressaltar
que vale esta propriedade.
Observe tambem que na ausencia de potencial o operador H e ba-
sicamente menos o operador Laplaciano. Neste caso vamos denotar tal
H por H0 . O sistema classico associado considera partculas livres que
andam em linha reta, ou seja, seguindo geodesicas para a metrica Eu-
clidiana. Vamos voltar a analisar este caso no cenario quantico mais
tarde.
De forma sintetica a equacao de Schrodinger afirma que para a de-
sejada t vale a expressao
H() = i~ , (1.2)
ou seja, para todo t 0 e todo x, a (t, x) satisfaz
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 [49] para resultados gerais envolvendo a equacao
de Schrodinger. Notas historicas sobre o desenvolvimento da Mecanica
Quantica aparecem em [71].
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 harmonico.
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/9/11
quantum2013
page 38
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
solucao da equacao de Schrodinger para V = m
2 X 2 . Tal evolucao 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 nao
depende de t).
Retornando ao caso geral, afirmamos que a solucao que descreve a
posicao espacial da partcula sera 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 unitaria de
L2C (R3 )(dx), ou seja, B(1) = { L2C (R3 )(dx), tal que || = 1}. Isto
de fato ocorre pela propria estrutura da equacao de Schrodinger 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
[246] 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/9/11
quantum2013
page 39
2017/9/11
quantum2013
page 40
H() = i~ .
t
2017/9/11
quantum2013
page 41
2017/9/11
quantum2013
page 42
2017/9/11
quantum2013
page 43
2017/9/11
quantum2013
page 44
2017/9/11
quantum2013
page 45
i~ (t, x) = H(t, x),
t
seja escrita, via separacao de variaveis, como (t, x) = c(t) (x).
Obtemos assim, substituindo a expressao na equacao de Schrodinger,
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/9/11
quantum2013
page 46
|(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 Schrodinger. Note que neste caso
m 1 m x2
(0, x) = ( )4e 2~
~
define um estado inicial estacionario. 2
x
1 ~
Note que |(0, x)|2 = ( m~ ) 2 e m determina uma distribuicao de
~
probabilidade Gaussiana fixa que tem media zero e variancia 2m . Ob-
serve que se a massa m for grande entao a variancia sera pequena.
2017/9/11
quantum2013
page 47
2017/9/11
quantum2013
page 48
1. H = 2~m + V e auto-adjunto
2
2017/9/11
quantum2013
page 49
2017/9/11
quantum2013
page 50
~2
H(0 ) = (0 ) + V(0 ) = 0 0 .
2m
i
Assim, t = e ~ 0 t 0 descreve a evolucao desta condicao inicial que e
estacionaria.
~2
Denote por m m
0 a solucao para cada m distinto de H(0 ) = [ 2 m +
m
V ](0 ) = 0 0 m
2017/9/11
quantum2013
page 51
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 matematica
sem atributos de grandezas como metros, segundos, etc... Assim, o com-
portamento classico deveriaemergir quando vai a zero assumindo a
premissa basica 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
mecanico classico.
Mas uma analise completa da questao, segundo o autor, ainda nao
esta totalmente contemplada em termos matematicos (ver [97] para mai-
ores detalhes).
Observacao: No caso de V periodico a analise do limite semiclassico
quando m afirma que a probabilidade descrita pela densidade
|m 2
0 | (x)dx vai se concentrar nos mnimos do potencial V . Esta afirmacao
esta matematicamente fundamentada em varios casos e referimos o lei-
tor a [135] [260] [261], [105], [157], [158], [108] e [139] para a prova destes
resultados. Observe que do ponto de vista fsico faz sentido que o limite
do estado quantico de mnima energia, quando m , va determi-
nar solucoes no menor nvel de energia para o Hamiltoniano classico.
Observamos que embora em [139] (e em outras das referencias acima
mencionadas) os autores falem em ~ 0, ou 0, o resultado tambem
pode ser la enunciado alternativamente como m .
Questoes interessantes que relacionam a possvel descoberta de um
certo Hamiltoniano especial (tal que seus autovalores satisfacam certas
propriedades determinadas) e a Hipotese de Riemman aparecem em [30],
[53] and [26]
2017/9/11
quantum2013
page 52
|7 (x)|2 .
Um fato surprendente na Mecanica Quantica e que as distintas pos-
sibilidades de probabilidade se interferem entre si! Esta interferencia
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 espaco 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 sao 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.
2017/9/11
quantum2013
page 53
O carater da soma
i i
2 t 7 t
[ a2 e ~ 2 (x) ] + [ a7 e ~ 7 (x) ] (),
2017/9/11
quantum2013
page 54
2017/9/11
quantum2013
page 55
2017/9/11
quantum2013
page 56
Figura 1.3: (a) P1 (x). (b) P2 (x). (c) P1 (x) + P2 (x) (previsao classica). (d) A
distribuicao 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 matematica
sem atributos de grandezas como metros, segundos, etc... Assim, o com-
portamento classico deveriaemergir quando vai a zero assumindo a
premissa basica 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
mecanico classico.
2017/9/11
quantum2013
page 57
2017/9/11
quantum2013
page 58
Observamos antes que (x) = a(x)ei c(x) e (x) = a(x)ei b(x) , onde
a(x) > 0 e b(x), c(x) sao numeros reais, descrevem a mesma distribuicao
de probabilidade da partcula porque para todo x vale |(x)|2 = a(x)2 =
|(x)|2 .
Segundo alguns autores o c(x) (que descreve uma fase na onda )
tem relevancia do ponto de medicao probabilstica e isto esta relacionado
com o que se chama de Berry phase. Nao vamos elaborar sobre isto (ver
[36].
A teoria descrita nesta secao pode ser extendida em sua maior parte
a Hamiltonianos que possuem um potencial que depende do tempo, ou
2
seja, da forma H(x, p, t) = |p| 2m + V (x, t). Para simplificar o desen-
volvimento da teoria vamos considerar no texto apenas Hamiltonianos
autonomos.
A ttulo de ilustracao, informamos que no site
http://www.instructioneducation.info/inhaltquant.html
e possivel encontrar uma sintetica exposicao da Mecanica Quantica
acompanhada de alguns programas de computador que permitem ao
leitor perceber atraves de figuras e simulacoes algumas da propriedades
basicas que serao descritas de forma teorica aqui.
Exposicoes matematicamente rigorosas e bem mais sofisticadas do
que a descrita no presente texto podem ser encontradas em [297], [71],
[295], [125], [12] ou [231].
Em [71] o autor descreve com detalhes e de forma rigorosa alguns
modelos importantes do ponto de vista da Fsica como os relacionados
com o atomo de Hidrogenio, Potenciais Coulomb, atomos de Helio, etc...
Estes topicos sao tambem tratados com rigor em [12] e [117].
Questoes que envolvem as desigualdades de Bell e hidden variables
permitem mostrar que nao se pode tratar as questoes da Mecanica
Quantica com o formalismo classico da Teoria dos Processso Estocasticos.
Uma bela exposicao ao mesmo tempo curta e simples de tais topicos apa-
rece em [11] na secao 5.2.2 (ver tambem [12]).
Para uma descricao sumaria de diferentes formalizacoes da Mecanica
Quantica referimos o leitor a [62].
No interessante artigo Gap Labelling Theorems for Schrodinger
operatorsde J. Bellissard em [294], ao lado de diversas consideracoes
historicas, o autor discute na secao 1.3 pagina 548 a questao de con-
siderar operadores limitados ou nao no setting de C -Algebras. Neste
trabalho tambem e discutida a questao: e natural considerar os pro-
2017/9/11
quantum2013
page 59
[A, B] = AB BA.
Assim, se A e B comutam o seu comutador e o operador zero. Note
que para qualquer operador A vale [A, A] = 0.
Uma motivacao para estudar tal questao e saber, por exemplo, se
X1 P2 = P2 X1 .
Vamos mostrar no Teorema 1.7 que se dois operadores comutam
entao eles sao simultaniamente diagonalizaveis (usando um mesmo co-
nunto ortnormal completo).
Lema 1.2. Dados os operadores A, B, e C, entao:
1) [A,B]= - [B,A]
2) [A, B C] = B [A, C] + [A, B] C.
3) [A, [B, C] ] + [B, [C, A] ] + [C, [A, B] ] = 0.
Demonstracao. 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]].
quantum2013
2017/9/11
page 60
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.
~
Demonstracao. 1) Para uma dada temos
2 2
~2 ~2 = 0,
xk xj xj xk
porque as derivadas parciais mistas comutam.
i~(x1 , x2 , x3 , ..., xn )
2017/9/11
quantum2013
page 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
.
2017/9/11
quantum2013
page 62
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 .
i V
[H, Pj ]() = .
~ xj
2017/9/11
quantum2013
page 63
Pode se mostrar ([188] 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 Quantica, a [Xk , Xj ] = [Pk , Pj ] = 0,
i i
~ j , Xj ] = Id, e, ainda, para j 6= k, ~ [Pj , Xk ] = 0.
[P
n
X
H xk H xk H
xk = {H, xk } = = .
pj xj xj pj pk
j=1
pk
A expressao m = xk = {H, xk } e semelhante a que foi obtida acima
1 i
Pk = [H, Xk ] .
m ~
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 nao comutam.
P2 P2
Desta forma, nao se pode afirmar que e 2 m + V = e 2 m eV .
2
Observe ainda que o operador 2Pm + X2 P2 nao e autodjunto.
Referimos o leitor a [136] 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 nao-comuativos aparece em [152].
2017/9/11
quantum2013
page 64
2017/9/11
quantum2013
page 65
2017/9/11
quantum2013
page 66
Z
t (x1 , x2 , x3 ) [i~t (x1 , x2 , x3 )] dx1 dx2 dx3 .
x3
O valor acima sera um numero real. Destacamos aqui o fato que foi
(de certa forma) inevitavel, como vimos, o uso dos numeros complexos
na formulacao da equacao de Schrodinger. Mas quando vamos calcular
o valor esperado de um observavel obtemos sempre numeros reais que e
o que se esperaria. Ou seja, ao calcular medias voltamos ao nosso bom
mundo real. Num certo sentido, mais proximo, ao nosso conhecido
mundo classico.
A introducao dos numeros complexos na teoria se deve principal-
mente a necessidade de se produzir uma apropriada e elegante descricao
do fenomeno da interferencia (como foi descrito na secao 1.1). Na ver-
dade, existem formulacoes que dispensam a estrutura complexa e os
mesmos resultados sao obtidos mas por outros princpios (ver secoes
1.11 e 2.18).
p2
O oscilador harmonico corresponde ao Hamiltoniano H(x, p) = 2m +
m w 2 x2
2 .
O correspondente operador H sera
~2 d2 m w 2 x2
(x) (x) + (x) .
2 m dx2 2
Os autovalores sao os numeros da forma n = (n + 12 ) ~ w, n =
0, 1, 2, ...
Vamos mostrar em breve que o ground state (associado ao autovalor
x2
0 = 12 ~ w) do oscilador harmonico sera da forma 0 = A e , onde
= m2 ~w . Escolhemos a constante A de tal fomma que |0 | = 1
O valor esperado do Hamiltoniano H em 0 e a energia total do
estado 0 .
Assim, 0 sob a acao de tal Hamiltoniano tem energia total
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
2017/9/11
quantum2013
page 67
~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 nao possui um conjunto ortonor-
mal completo enumeravel de autofuncoes.
Em qualquer caso, mesmo que o espectro nao seja apenas pontual,
o espectro do operador H vai desempenhar um papel muito importante
na Mecanica Quantica.
2017/9/11
quantum2013
page 68
2017/9/11
quantum2013
page 69
se pode medir a sua colisao com uma placa e a teremos uma medicao
(que sera descrito por operador autoadjunto).
A acao de um operador unitario sobre um estado resulta como output
um outro estado. Sendo assim nao descreve uma medicao.
0 1 2 ... n ...
P
Ora, pode ser escrito como = n=0 n n .
Assim,
X X
< , A() >=< n n , A( k k ) >=
n=0 k=0
X
X
X
X
< n n , k k k >= n n n = n |n |2 .
n=0 k=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
2017/9/11
quantum2013
page 70
2017/9/11
quantum2013
page 71
2017/9/11
quantum2013
page 72
a1000
|1 |2 .
1000
2017/9/11
quantum2013
page 73
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
d
m < Xj >t =< i~ >t =< Pj >t .
dt xj
d
mxj (t) = m xj (t) = pj (t).
dt
d d V
hPj it = ht , Pj (t )i = h i .
dt dt xj t
Assim recuperamos, via valor medio, tambem a expressao 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
2017/9/11
quantum2013
page 74
d i
hAit = h [H, A]it .
dt ~
Este resultado e conhecido como Teorema de Ehrenfest.
Demonstracao.
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/9/11
quantum2013
page 75
2017/9/11
quantum2013
page 76
entao B = A.
2
Por exemplo, dado g(x) = x2 , temos que Qx = X 2 . Sera importante
considerar tal expressao para funcoes que nao sao analticas nem mesmo
continuas, como por exemplo g(x) = I(,c)(x), onde c e um numero
real. A associacao para o caso de obervaveis da forma g(x) sera abordada
num exemplo na secao 2.1 apos a apresentacao do Teorema Espectral.
Observaveis classicos da forma g(x, p) tambem podem ser quantiza-
dos. A associacao ao operador quantizado OpW g a um dado observavel
classico da forma g(x, p) sera feita via a quantizacao de Weyl na secao
2.16.
Vamos ilustrar num exemplo simples (ver [206] and [93]) o proce-
dimento de quantizacao de observaveis classicos da forma g(x, p), onde
x [0, 2 ] (ou, o crculo unitario S 1 ). A cada funcao g(x, p) vamos
associar um operador L agindo em L2 .
2017/9/11
quantum2013
page 77
2017/9/11
quantum2013
page 78
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 ao
operador L = Op~ (g).
Existem observaveis que sao naturais na teoria mas que nao sao
obtidos via a associacao com uma g(x, p).
2017/9/11
quantum2013
page 79
O postulado acima possui uma versao mais geral que contempla qual-
quer operador autoadjunto mas nao vamos aqui tratar deste assunto (ver
[99]).
Se denotarmos
i i
A(t) = et ~ H A et ~ H ,
teremos que
< A >t =< A(t) >0 .
2017/9/11
quantum2013
page 80
i
Note que A(t) e autoadjunto porque et ~ H e unitario e A e autoad-
junto.
E usual denominar o ponto de vista de considerar a evolucao tempo-
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 Schrodinger (lado es-
querdo).
Por outro lado, e usual denominar o ponto de vista de considerar
a evolucao temporal A(t) do observavel de ponto de vista de Hei-
senberg (lado direito). De forma mais precisa, considere a evolucao do
observavel 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 Schrodinger no contexto de evolucao
temporal de observaveis (operadores).
A solucao A(t) da ultima 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 Schrodinger aos estados no espaco de Hilbert
(e sua evolucao temporal).
P P
Suponha agora que A = n n Pn e B = m m Pm sao dois
operadores autoadjuntos que nao 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 medicao sob B feita apos
P esta medicao vai ter probabilidade
2
|cm | 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/9/11
quantum2013
page 81
P
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 unitarios como acima e util em Informacao Quantica. 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 unitario U e assim obter U (). Pode-se assim preparar
o sistema quantico de acordo com convenienica e obter um U () que
eventualmente e util 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/9/11
quantum2013
page 82
2017/9/11
quantum2013
page 83
2017/9/11
quantum2013
page 84
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[278] (ver tambem [246], [247] ou [274]).
O topico e descrito de maneira mais elementar (mas suficiente boa para
o que precisamos aqui) em [38].
Vamos assumir que age numa variavel denotada por x Rn , e,
age numa variavel denotada por p Rn
2017/9/11
quantum2013
page 85
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
n2
(p) = (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 variancia a.
Ainda, vale que Z
(x) x dx = x0
e Z Z Z
2
(x) (x x0 ) dx = (x) (x [ (x) x dx] )2 dx = a2 .
2017/9/11
quantum2013
page 86
2017/9/11
quantum2013
page 87
\
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.
No caso n = 1, para (x) vale i~ c (p) = p (p).
b
No caso n dimensional temos a expressao equivalente: para todo j
\
\
Pj () (p) = i~
b
(p) = pj (p)
xj
2017/9/11
quantum2013
page 88
3) F((x) ea x ) = (p ~ a i).
R
Definicao 1.12. A funcao em x dada por (f g)(x) = Rn f (y)g(xy)dy
e denominada de convolucao de f e g.
7) d
= (2~)n/2 b b
2017/9/11
quantum2013
page 89
8) [
n
= (2~) (b )
2 b
b i.
h, i = h, b
1
< , > = ( | + |2 | |2 i | + i |2 + i | i |2 ).
4
2017/9/11
quantum2013
page 90
R
ou, unidimensional: h, Pi = h, [ = h,
b P()i b pi
b = p|(p)|
b 2 dp.
2017/9/11
quantum2013
page 91
2017/9/11
quantum2013
page 92
Figura 1.4: Um estado tal que e quase |(x)|2 = cos(x). No tom mais escuro
as regioes de maior probabilidade de encontrar a partcula na posicao x (Wikipedia).
2017/9/11
quantum2013
page 93
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).
2017/9/11
quantum2013
page 94
\
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) < , > .
De forma analoga, temos
2017/9/11
quantum2013
page 95
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
2017/9/11
quantum2013
page 96
p 2
Dado Hamiltoniano classico H(x, p) = 2m , e, sua quantizacao H0 =
2~m , e uma condicao inicial 0 , a equacao de evolucao satisfaz, para
2
todo t 0,
1
t (x) = et i~ H0 (0 ) = Kt (0 ).
Assim, obtivemos uma expressao via Operador Integral (usando Kt )
que permite descrever a evolucao temporal do Sistema Quantico quando
nao existe forca externa (V = 0, ou, constante).
Operadores integrais sao sempre mais faceis de lidar do que opera-
dores que envolvem a derivada, ou seja, os operadores diferenciais. O
kernel Kt e uma especie de versao quantica da distribuicao Gaussiana.
Suponhamos que a posicao inicial da partcula seja em x0 , ou seja,
0 = x0 .
A evolucao entao seria dada por
1 2 i ~ t n/2 i m |xx0 |2
t (x) = et i~ H0 (0 )(x) = ( ) e 2 ~t .
m
Neste caso, para cada t fixo, |t (x)|2 e constante, e, nao define assim
2017/9/11
quantum2013
page 97
2017/9/11
quantum2013
page 98
1/2
m i m
e 2~ sin(t) [
(x2 +y 2 ) cos(t)2xy ]
Kt (x, y) = .
2 i ~ sin(t)
1.6 Exemplos
2017/9/11
quantum2013
page 99
2017/9/11
quantum2013
page 100
Figura 1.6: Na Mecanica Classica num certo nvel de energia fixo E os valores
possveis de x estao somente na regiao classica exibida pela figura. Na Mecanica
Quantica existe probabilidade positiva de encontrar a partcula fora da regiao classica
(tunelamento)
O que queremos dizer com isto e o seguinte: fixe (x0 , p0 ) e para cada
p2 2
massa m considere o correspondente Hamiltoniano H(x, p) = 2m + x2 ;
considere ainda n N e o nvel de energia classico que passa por (x0 , p0 )
com energia E0 = H(x0 , p0 ) = n = (n + 21 ) ~ 1m . O espacamento entre
estes nveis de energia tende a zero com m e assim no cenario
classico se tem a ilusao de que os nveis de energia variam num contnuo.
2017/9/11
quantum2013
page 101
f(x)
x
Regio Clssica
2017/9/11
quantum2013
page 102
2017/9/11
quantum2013
page 103
2017/9/11
quantum2013
page 104
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 sao 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/9/11
quantum2013
page 105
~ d2 (x)
H() = + V (x)(x) = (x)
2 m d2 x
faz parte do assim chamado problema de Sturm-Liouville. Referimos o
leitor a [142] ou [179] para o estudo do espectro do operador Hamiltoni-
ano H neste caso.
2017/9/11
quantum2013
page 106
~ 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 L2 ([0, 2])(dx) de { : [0, 2] C de classe
C 2 tal que (0) = (2 )}.
Da mesma maneira como procedemos no exemplo anterior obtemos
que os autovalores, neste caso, sao da forma
n2 ~2
n = , n N.
m2
As autofuncoes n , n , n N, correspondentes, ja normalizadas, sao
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 Schrodinger sera
X
X
t t
t (x) = n ei ~ n n (x) + n ei ~ n n (x),
n=0 n=0
2017/9/11
quantum2013
page 107
2017/9/11
quantum2013
page 108
n=0
1
Figura 1.9: Seja 0 o ground state do oscilador harmonico. A esquerda seu grafico
e a direita o grafico de |0 |2
2017/9/11
quantum2013
page 109
d
xi L (x(t), x (t)) v L(x(t), x (t)) = 0,
dt i
i = 1, 2..., n.
O correspondente operador Laplaciano e
n
X
1 p F (x)
F (x1 , x2 , .., xn ) = p ( det A(x) aki (x) ).
det A(x) xi xk
k,i=1
~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~
2017/9/11
quantum2013
page 110
2 F (x, y) 2 F (x, y)
F (x, y) = y 2 ( 2
+ )
x 2y
descreve o operador de Schrodinger quando nao existe energia potencial
(ou seja, V = 0).
No caso de se considerar apenas a energia cinetica estaremos buscado
autovalores do operador de Schrodinger (que sao expressos usualmente
como = s (s 1), onde s e da forma s = 1/2 + i, R).
Sendo assim uma autofuncao deve satisfazer
2 (x, y) 2 (x, y)
y 2 ( + ) = s (s 1) (x, y).
2x 2y
n=1
1
2017/9/11
quantum2013
page 111
2017/9/11
quantum2013
page 112
Uma das questoes que vamos analisar nesta secao e a eventual relacao
entre fazer medicoes simultaneas da posicao e do momento de uma
partcula que se encontra num determinado estado.
Definicao 1.15. Suponhamos que em H nao esteja normalizada. Seja
A : H H um observavel, o valor esperado de A e dado por
h, Ai
E (A) =
kk2
Em Estatstica se esta muitas vezes interessado em como estao 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, variancia a. Desta forma, o valor esperado da posicao X e
Z
E(X) = xa (x)dx = x0 .
2017/9/11
quantum2013
page 113
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/9/11
quantum2013
page 114
f(x)
Figura 1.13: Densidade f (x) com dados que possuem forte concentracao em torno
da media.
2017/9/11
quantum2013
page 115
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 observavel A, entao, se a dispersao 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 dispersao fosse muito pequena, entao,
com alta probabilidade a partcula no estado estaria proxima 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/9/11
quantum2013
page 116
2017/9/11
quantum2013
page 117
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 () > =
2017/9/11
quantum2013
page 118
~
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/9/11
quantum2013
page 119
2017/9/11
quantum2013
page 120
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/9/11
quantum2013
page 121
2017/9/11
quantum2013
page 122
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/9/11
quantum2013
page 123
seja finita (o que poderia no caso geral nao acontecer). Denotamos por
Tr () (quando existe) o traco do operador . Os operadores trace
class(ver secao 2 cap IX [56] ou secao 3.5 em [14]) serao o objeto da
proxima secao e darao a classe de exemplos de operadores para os quais
se consegue calcular o traco.
Observe que se A e autoadjunto, possui traco e se escreve como
X
A= n Pn ,
n=0
2017/9/11
quantum2013
page 124
entao o somatorio
P acima e absolutamente convergente, isto e, vale a
propriedade |
n=0 n Pn | < (lembre que uma operador projecao
tem norma 1).
Fica assim descrito de maneira esquematica o que e o traco.
A definicao abaixo e mais apropriada para futuras generalizacoes.
Definicao 1.18. Suponha que o operador : H H autoadjunto
possua um conjunto ortonormal completo enumeravel de autovetores
n , n N, entao o traco e dado por
X
< n , n > .
n
e tambem que
< P () , > = << | > , > =
=< , > < | > = < | | >< | | >=< | > < , > ().
2017/9/11
quantum2013
page 125
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/9/11
quantum2013
page 126
P
Note que se 1 e 2 sao autoadjuntos entao n < n , (1 2 ) n >
e um numero real.
2017/9/11
quantum2013
page 127
2017/9/11
quantum2013
page 128
2017/9/11
quantum2013
page 129
Note tambem que 1/3 PF1 + 2/3 PF2 e, conceitualmente falando, dis-
tinto de = 1/3 F1 + 2/3 F2 , ou, mesmo de P1/3 F1 +2/3 F2 .
Como dissemos antes um operador densidade deve ser encarado como
a generalizacao natural ao sistema quantico (a nvel de operadores) do
conceito de probabilidade.
2017/9/11
quantum2013
page 130
P P
i Pvi i da seguinte maneira: suponha j = i cji vi onde {vi } e a
base ortonormal de autovetores de A.
P Entao 2podemos dizer que o observavel A associa a a probabilidade
j pj |cji | da medicao i ser obtida.
Note que a interpretacao acima e justificada pelo fato de que
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 expressoes j = i cji vi e j pj |cji |2 seria razoavel pen-
sar que |cji |2 descreve a probabilidade de j passar a vi .
2017/9/11
quantum2013
page 131
= a1 + (1 a) 2 ,
= aM1 + (1 a) M2 ,
a < M1 (), > a < M1 (), > +(1 a) < M2 (), >=
2017/9/11
quantum2013
page 132
Seja
P agora um operador densidade que e um estado puro. Seja
= n0 n Pn sua decomposicao 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 nao 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.
2017/9/11
quantum2013
page 133
4 | < A(), > |4 4 | < A(), > |2 < A(), > < A(), > 0.
2017/9/11
quantum2013
page 134
i i
Por outro lado como et ~ H |0 >= |et ~ H 0 >
i i
< |et ~ H P0 et ~ H () >=< |(t) >< (t)| > .
Como as duas expressoes sao as mesmas para todo e conclumos
que para todo t vale P(t) = t .
Desta forma fica mais uma vez natural pensar que a evolucao tem-
poral de operadores (formulacao de Heisenberg) generaliza a evolucao
temporal de estados (formulacao de Schrodinger).
2017/9/11
quantum2013
page 135
2017/9/11
quantum2013
page 136
P
Demonstracao. Supondo que a serie j f (Ej ) e absolutamente con-
vergente temos
X X X
hj , |f (A) |j i = hj , |f (Ej ) |j i = |f (Ej ) | <
j j j
Proposicao 1.14. Seja K : [a, b]2 C uma funcao contnua tal que
K(x, y) = K(y, x). O operador K : L2 ([a, b]) L2 ([a, b]) definido por
Z b
(Kf ) (x) = K (x, y) f (y) dy
a
Demonstracao.
O operador K e compacto (ver secao X.2 [290] e Teorema 3.4.4 em
[14]).
Seja n , n N, conjunto enumeravel completo de autovetores para
K. Sejam ainda, nP , n N, os respectivos autovalores.
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
Como os k , k N, geram o espaco de Hilbert, entao, K = B. Logo,
podemos assumir que K = B.
2017/9/11
quantum2013
page 137
Ora,
Z b Z b X X X
K(x, x)dx = n n (x) n (x)dx = n < n , n >= n = trK.
a a n n n
2017/9/11
quantum2013
page 138
definido um espaco vetorial completo (ver [37]). Note que mesmo que
u nao seja positivo, temos que u u esta 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 . Sao validas quase todas
a propriedades para que <, > seja produto interno. (ver secao 6 em
[114])
E natural considerar a seguinte analogia: os operadores trace class
(com a norma | . |1 ) correpondem ao espaco L1 e os operadores Hilbert-
Schmitd (com a norma | . |2 ) ao espaco L2 .
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
esta tambem em C.
O conjunto K de operadores positivos e um cone (ver [37]).
Proposicao 1.19. [65] Todo operador trace-class num espaco de Hilbert
e tipo Hilbert-Schmidt.
2017/9/11
quantum2013
page 139
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/9/11
quantum2013
page 140
S() = Tr ( log ),
2017/9/11
quantum2013
page 141
FT () = E() T S().
2017/9/11
quantum2013
page 142
2017/9/11
quantum2013
page 143
i i
Teorema 1.20. t = ae ~ S = at e ~ St , satisfaz a equacao de Schrondin-
ger, se e so se,
S |S|2 ~2 a
+ +V = , (1.5)
t 2m 2m a
e
(a2 ) a2 S
+ div ( ) = 0. (1.6)
t m
~2 a < a, S > i
= ( + i ~ S + 2i ~ 2 |S|2 ) .
a a ~
Substituindo estas expressoes na equacao de Schrodinger 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 expressoes 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 ultima expressao por i~ , obtemos
(a2 ) a2 S
= div ( ).
t m
Desta forma fica demonstrada a afirmacao acima.
2017/9/11
quantum2013
page 144
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 [279]). Na
secao 2.18 vamos considerar tal questao.
Este ponto de vista da Mecanica Quantica algumas vezes e denomi-
nado de interpretacao hidrodinamica (ver [128]). Esta relacionado com
a interpretacao estocastica de E. Nelson (ver [220] and [286])
Para determinar uma solucao S(x, t), a(x, t) eRnecessario - ao menos
- fixar uma condicao inicial S(0, x), a(0, x) onde a(0, x)2 dx = 1.
Note que vai seguir deste resultado que se assumirmos que t e es-
tacionaria, ou seja, esta na forma
i i
t (x) = a(x)e ~ [ S(x)E t ] = am (x)e ~ [ Sm (x)E t ] ,
~2 a(x)
E + V (x) = .
2 m a(x)
Esta equacao e equivalente a equacao linear de segunda ordem
d2 2m
a(x) 2 (V (x) E) a(x) = 0.
dx2 ~
2017/9/11
quantum2013
page 145
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 razoaveis
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.
Assim, no caso unidimensional, este procedimento mostra como cal-
cular autofuncoes de H. Na secao 1.6 ao fim do exemplo 3 analisamos
tal caso com detalhes.
a2 S
div ( ) = 0.
m
Faremos aqui um paralelo com cenario quantico. Lembre que na
Mecanica Quantica a(t, x)2 = at (x)2 vai descrever a probabilidade de
encontrar em x a partcula no tempo t numa certa regiao 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 Quantica. Vamos elaborar um
pouco mais sobre isto.
d Tt (x)
vt (Tt (x)) = ,
dt
2017/9/11
quantum2013
page 146
d d
t + (v t ) = 0.
dt dx
d d dTt (x) d
( Tt ) = [ (Tt (x))] = [ (Tt (x))] vt (Tt (x)).
dt dx dt dx
d d
t = ( t v ).
dt dx
2017/9/11
quantum2013
page 147
~2 a ~2 ( x21
+ ... + ( x2n ))
= .
2m a 2m a(t, x)
2017/9/11
quantum2013
page 148
S |S|2
+ + V (x) = 0, (1.7)
t 2m
e conhecida em Mecanica Classica como a equacao de Hamilton-Jacobi
para a acao S(t, x).
E natural supor que S(x, t) e da forma S(x, t) = E t + S(x) e isto
simplifica equacao acima: a equacao de Hamilton-Jacobi estacionaria e
|S(x)|2
+ V (x) = E. (1.8)
2m
Em geral nao existem funcoes diferenciaveis solucionando tal equacao.
Referimos o leitor a [7], [2] e a secao 3 em [188] para resultados gerais
sobre esta equacao e sua relacao com Mecanica Classica.
Alguns autores consideram a condicao ~ 0 como a aproximacao da
Mecanica Quantica ao cenario da Mecanica Classica (ver [122]). Mais
precisamente, para t fixo, a distribuicao de probabilidade de |t (x)|2
- onde t satisfaz a equacao de Schorodinger com ~ variavel - deveria
descrever, de alguma forma, um sistema mecanico classico.
Nao ha de nossa parte nenhum reparo a este formalismo do ponto
de vista matematico. Mas, na nossa opiniao, nao faz muito sentido
do ponto de vista da Fsica, pois em um momento ~ e uma constante
fundamental da teoria e em outro e uma variavel. No nosso modesto en-
tendimento, este ponto de vista nao e corroborado por algum princpio
fsico convincente conforme discussao em [159]. Na verdade uma cons-
tante dimensionless, como explicado por C. Sparber em [267], 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 matematicos tratam do assunto (ver [122], [165],
[71] e [293]). 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-classico) quando a massa vai
a infinito com ~ fixo. Como vimos na secao 1 deste captulo no caso do
ground state isto funciona perfeitamente.
2017/9/11
quantum2013
page 149
2017/9/11
quantum2013
page 150
S |S |2
+ + V = 0,
t 2m
e
(a2 ) a2 S
+ div ( ) = 0.
t m
Seja S a acao classica para o Hamiltoniano autonomo classico
2
H(x, p) = |p|2 m + V . Se assumirmos, via separacao de variaveis, 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 autonomo.
|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 existe
2
p tal que 2|p|m + V (x) = E.
Na figura 1.6 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.
2017/9/11
quantum2013
page 151
|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 diferenciavel. Algumas
vezes se chama tais pontos de pontos de dobra. A funcao W nao esta
assim (ao menos de maneira natural) definida de forma diferenciavel
em toda a reta real. As solucoes KAM fracas descrevem uma maneira
alternativa de tratar com tais patologias [55].
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) [91] [55]. 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 Schrodinger)
2
considere um novo potencial Vm (x) = V (x) 2~m a m (x)
am (x) .
2
Definicao 1.29. 2~m a(x)
a(x) e chamado de potencial quantico associado
i
S
a H e ao estado = a e ~ .
2017/9/11
quantum2013
page 152
2017/9/11
quantum2013
page 153
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 [188]). Assim, e natural identificar S(t, x, x ) = S (t, x, x ).
Note que sin(w T ) pode se anular quando w T for multiplo inteiro de
. Nestes pontos temos que S(x, y, T ) = .
Pode-se demonstrar da mesma forma, que o Sm (satisfazendo a
equacao classica de Hamilton-Jacobi) acima descrito tambem pode ser
obtido via criticalidade de
Z t
d
Sm (t, x) = [ < p(s) , x(s) > Hm (x(s), p(s)) ]ds,
0 ds
2017/9/11
quantum2013
page 154
a2 a2
+ div (S ) = 0.
t m
Vamos considerar (para simplificar) o caso em que x unidimensional
e explicar o sentido da afirmacao acima.
2 S (t, y, t , x )
a2 (t, x) = det ( )|(t,x,t ,x ) ,
yy
2017/9/11
quantum2013
page 155
2 [ 21m ( S (r,y,t
y
,y ) 2
) + V (y)]
)|(r=t,x,t ,x ) =
yy
1 S (r, y, t , y ) 2 S (r, y, t , y )
( )|(r=t,x,t ,x ) =
y m y y y
1 S (r, y, t , y ) 2
( a (r, y))|(r=t,x,t ,x ) .
m y y
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)
2 S (x, y, t) w
= .
x y sin(w t)
w
Assim, se t for pequeno, mas nao nulo, entao sin(w t) fica finito.
A secao 2.18 trata do assunto tratado acima de um ponto de vista
diferente.
2017/9/11
quantum2013
page 156
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.
i~
j(t, x) = (t t t t )
2m
2017/9/11
quantum2013
page 157
+ div j = 0
t
Pelo Teorema de Stokes, decorre da que
Z
d
t (x) dx,
dt K
K Rn , e o fluxo de j atraves da fronteira de K.
Se a condicao inicial 0 e estacionaria, entao, 2
t = t |(t, x)| = 0,
para todo x, e, todo t 0. Assim, div j(t, x) = 0.
i~
A expressao j(t, x) = 2m (t t t t ) pode tambem ser expressa
como j(t, x) = m Re ( t ~i t )= Re ( t m
1 P
t ). Se consideramos que
P
V = m (velocidade) podemos escrever a equacao acima como
+ div Re ( t V t ) = 0.
t
Esta igualdade e um versao quantica da equacao classica do trans-
porte. Uma analogia: podemos pensar que t t = |t |2 descreve uma
especie de densidade de massa (que vai evoluir com o tempo) e que
o divergente do valor medio de V descreve a direcao de deslocamento
infinitesimal desta massa.
Referimos o leitor a secao 5.3.6.2 de [62] para algumas consideracoes
gerais e referencias sobre o modelo da onda piloto de de Broglie-Bohm.
2017/9/11
quantum2013
page 158
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
2017/9/11
quantum2013
page 159
d d
F (Q(t)) = m (Q (t))) = P (t),
dt dt
entao o valor medio de q no tempo t satisfaria a Lei de Newton associada.
Desta forma se Q(0) = x0 , e, P (0) = p0 , entao o valor medio Q(t)
acompanharia a evolucao determinstica x(t), via equacao de Hamilton,
a partir desta condicao inicial (x0 , p0 ). A menos que o potencial V seja
quadratico isto nao vai ocorrer como veremos.
d
Vamos expandir dt P (t) na variavel Q em torno de Q(t) para um t
d
fixo. Para isto sera necessario expandir F (x) = dx V (x) em torno de
Q(t). O desenvolvimento abaixo e para integrais.
Ora,
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
2017/9/11
quantum2013
page 160
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
Z
1 d2 2
F (Q(t)) + F (Q(t)) (Q(t))t + ...
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 modulo 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 razoaveis sobre V , temos que 12 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 modulo de
d
dx V (x)
3
d
12 dx 3 V (x)
2017/9/11
quantum2013
page 161
que envolve uma delta Dirac em torno de (x0 , p0 ). Sendo assim, para
uma analise do problema semi-classico, vamos considerar um pacote de
ondas Gaussiano (ver secao 1.7), e, proceder de forma semelhante ao
que foi feito acima (no caso classico). Para se obter resultados rigoro-
sos no limite semi-classico devemos proceder da seguinte forma: fixar
um tempo T , um Hamiltoniano H(x, p), sua quantizacao H = Hm , e,
a seguir, analisar propriedades assintoticas das densidades associadas,
quando a massa vai a infinito. No momento o que sabemos mostra foi o
que exibimos acima.
Considere uma condicao inicial 0 e sua evolucao t segundo a
equacao de Schrodinger para a quantizacao H do Hamiltoniano H(x, p)
acima. Vamos considerar um condicao inicial (x0 , p0 ) para o problema
classico (evolucao temporal via a equacao de Hamilton).
Anteriormente havamos obtido as expressoes
d d V
m < X >t = < P >t , e hPit = h i .
dt dt x t
Note que nao e necessariamente verdade que
d2 V
m 2
< X >t = (< X >t ).
dt x
Seja um Hamiltoniano H com potencial V e o correspondente ope-
rador quantizado H. Se t evolui segundo a equacao de Schrodinger
para H temos que a evolucao temporal da media da posicao espacial e
descrita por < X >t . Ora,
d2 dV
2
m< 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 < X >0 = < P >0 = p0 .
dt
Se fosse verdade que
d2
m < X >t = F (< X >t )
dt2
2017/9/11
quantum2013
page 162
Desta forma, isto corresponde a uma exigencia forte sobre quao pe-
queno deve ser a dispersao (variancia) do estado incial 0 em relacao a
X.
2017/9/11
quantum2013
page 163
Lf : C0 (R) R
Z
Lf (g) = f (x)g(x)dx.
R
2017/9/11
quantum2013
page 164
Portanto T e injetiva.
2017/9/11
quantum2013
page 165
L (g) = L(g ).
2017/9/11
quantum2013
page 166
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.
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
1/2
p L ((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?
2017/9/11
quantum2013
page 167
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
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.
2017/9/11
quantum2013
page 168
R
Agora vamos dar um sentido mais formal a afirmacao f (s) 0 (ds) =
f (0).
Vamos descrever a acao 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
Observacoes:
1. Sequencias distintas {fn } podem definir o mesmo funcional linear L.
Essas sequencias sao chamadas sequencias equivalentes e definem
a mesma distribuicao.
2. Uma sequencia fracamente convergente pode ou nao ser pontual-
mente convergente, uniformemente convergente, etc.
3. Como na primeira definicao de distribuicao, fica bem definida a deri-
vada, e isto esta coerente com o fato de generalizarmos o conceito
de funcao desta forma. Entao, seja L = L para alguma funcao
usual . A definicao de derivada de uma distribuicao e consistente.
De fato, comprovamos isto via as expressoes
Z Z
(x)g(x)dx := lim fn (x)g(x)dx =
n
Z Z
lim fn (x)g (x)dx = (x)g (x)dx.
n
Pode-se mostrar que essa segunda definicao de distribuicao via este pro-
cedimento e equivalente a primeira. Mas ela ainda nao esta suficiente-
mente boa para definir a transformada de Fourier de uma distribuicao.
2017/9/11
quantum2013
page 169
dm
lim xn f (x) = 0 n, m N.
x dxm
Uma distribuicao cuja transformada de Fourier esta bem definida e
uma aplicacao obtida como limite fraco de uma sequencia de funcoes
de Schwartz. No presente texto nao vamos apresentar a formulacao
completa deste topico que e bem complexo.
Finalmente, apos 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
limite associada a sequencia de funcoes de Schwartz fn .
Observa-se que a transformada de Fourier de uma funcao de Schwartz
e de Schwartz e o mesmo ocorre com a inversa da transformada. Alem
disso, se uma sequencia de funcoes de Schwartz converge fracamente, a
sequencia de suas transformadas tambem converge fracamente.
A distribuicao x0 vai ser obtida via um procedimento limite envol-
vendo funcoes fn .
Como ilustracao do que desejamos estabelecer vamos considerar o
que seria a transformada de Fourier da distribuicao x0 . Tomando
n 2 2
fn (x) = en (xx0 ) ,
2017/9/11
quantum2013
page 170
2017/9/11
quantum2013
page 171
Captulo 2
Topicos Selecionados
de Mecanica Quantica
~2
i~ = H = + V (x)
t 2m
t |t=0 = 0 .
Desejamos saber, por exemplo, sob quais hipoteses sobre V existira
um conjunto ortonormal enumeravel completo para H.
Primeiro vamos relembrar o conceito de espectro de um operador.
Definicao 2.1. O resolvente de um operador A (eventualmente nao
limitado e definido apenas num domnio denso) agindo sobre um espaco
2017/9/11
quantum2013
page 172
2017/9/11
quantum2013
page 173
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/9/11
quantum2013
page 174
2017/9/11
quantum2013
page 175
0 1 2 ... n ...
2017/9/11
quantum2013
page 176
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/9/11
quantum2013
page 177
X
= | an |2 n .
n=1
Note que tal depende de e de A.
Observe que
Z
X
() = | an |2 n .
n=1
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/9/11
quantum2013
page 178
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/9/11
quantum2013
page 179
autoadjunto num espaco de Hilbert. Assim, ele pode ser nao limitado e
pode ainda ser definido apenas num domnio denso.
Note que existem restricoes (ver item 6) do proximo teorema) so-
Rbre as possveis funcoes f que se pode considerar na expressao f (A) =
f () d E().
Observe que E() (g, ou h, ) e definido a partir do espectro de
um operador autoadjunto nao limitado A definido densamente em H.
O procedimento geral que iremos utilizar na definicao de E() envolve
considerar operadores projecao P (como caso particular os PF acima),
indexados por R, que projetam numa sequencia crecente de su-
bespacos vetoriais S (os F acima), e que contem funcoes que estao
associados a parte do espectro que tem valores menores que . Na sua
maior generalidade isto ficara mais claramente descrito em breve. O an-
teriormente apresentado da um ideia preliminar do que se vai considerar
no proximo teorema.
Escolio Um ponto fundamental a ser destacado e que uma medida
de Stieldjes e obtida a partir de uma funcao crescente. Vamos considerar
uma famlia de projecoes g() sobre subespaco fechados S H.
Lembre que g, () =< , g()() > R.
Dizemos que g, e crescente se 1 2 implica S1 S2 .
Observe que dados E1 e E2 que sao respectivamente projecoes orto-
gonais sobre S1 e S2 , entao
2017/9/11
quantum2013
page 180
Desta forma S2 S1
esta definido no domnio D(f (A)) que e constitudo pelas funcoes tais
que Z
|f ()|2 d|E()()|2 < .
2017/9/11
quantum2013
page 181
E natural definir
Z
f (A) := f () dE().
2017/9/11
quantum2013
page 182
Assim,
Z b Z b
X
< [ dE() ()], >= |(x)|2 dx.
a a
A expressao Z
A= dE(),
2017/9/11
quantum2013
page 183
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 [211].
2017/9/11
quantum2013
page 184
Ainda,
Z b
d < E()(), >= |a3 |2 3 .
a
2017/9/11
quantum2013
page 185
Desta forma,
Z b Z b
P
< d E ()(), >= < I[a,b] (p) (p), (p) > = |(p) |2 dp.
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 observavel A, estar no resolvente de
A e nula. Ou seja, apenas valores no espectro de A serao obtidos via
uma medicao do observavel
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/9/11
quantum2013
page 186
2017/9/11
quantum2013
page 187
f (A) (z I A) = I = (z I A) f (A).
quantum2013
2017/9/11
page 188
Assim, (A).
2017/9/11
quantum2013
page 189
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/9/11
quantum2013
page 190
2017/9/11
quantum2013
page 191
quantum2013
2017/9/11
page 192
quando n .
Ora, isto implica que se denotamos por R() o operador inverso de
(I A), entao
2017/9/11
quantum2013
page 193
Proposicao
2.14. Considere o operador Xj , j {1, 2, ., n}, agindo em
L2 Rd definido por
Xj (x) = xj (x) .
Entao (Xj ) = c (Xj ) = R.
Demonstracao. Seja d = 1 por simplicidade. Ja mostramos que (X ) =
R. Desejamos mostrar que c (X ) = R. Resulta do teorema de Weyl que
X nao tem autovalores isolados de multiplicidade finita
Vamos encontrar para todo R uma sequencia de Weyl para X
e . Seja uma funcao nao negativa, normalizada e com suporte em
[1, 1], ou seja,
Z Z 1
2
| (x) | dx = | (x) |2 dx = 1
1
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
O ultimo termo claramente vai a zero quando n . Logo vemos
que k (X I) n k 0 com n . Desta forma, as duas primeiras
2017/9/11
quantum2013
page 194
(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/9/11
quantum2013
page 195
Vamos
R A separar em tresR 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/9/11
quantum2013
page 196
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 Schrodinger com
potencial real e limitado inferiormente entao
c (H) = { |existe uma spreading sequence para H e } .
2017/9/11
quantum2013
page 197
inf V (y) .
ysupport of n
Assim,
inf < , H() > = inf {p (H) {1 , 2 , ..., k } }.
{ | Fk D(H) , ||=1 }
2017/9/11
quantum2013
page 198
Z X 2 Z
~2
n n (x) dx + |n |2 V (x) dx =
2m 2 xj
j
2017/9/11
quantum2013
page 199
inf V (y) = .
Logo, .
2. (H) = p (H) = {n }
n=0 , com n , quando n .
2017/9/11
quantum2013
page 200
~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/9/11
quantum2013
page 201
~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/9/11
quantum2013
page 202
2017/9/11
quantum2013
page 203
Teorema 2.22. Se existem constantes a < 1, e, b real tal que para todo
D(H0 )
|V ()| a |H0 ()| + b||,
entao, 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)
esteja em [a, b] e nula. E neste sentido que se afirma que o observavel
toma apenas valores no espectro de A. Vamos elaborar sobre isto, mas
antes necessitamos recordar alguns fatos.
Lembre que pelo Postulado 3, para cada observavel classico g cor-
responde um operador autoadjunto Ag , tal que, para todo em D(A)
vale
g ||2 = < , Ag > .
2017/9/11
quantum2013
page 204
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/9/11
quantum2013
page 205
S () = C () e C() = 0
2017/9/11
quantum2013
page 206
2017/9/11
quantum2013
page 207
porque pelo Teorema 2.1 (1) tempos que < E()(), > e monotona
crescente.
Temos ainda que
Z Z
d < E()(), > = d < E()(), >= 1.
Desta forma
2017/9/11
quantum2013
page 208
Vn = span{1 , ..., n }
2017/9/11
quantum2013
page 209
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/9/11
quantum2013
page 210
Entao,
max h, Ai h, Ai inf h, Ai
{F |||=1} D(A)| ||=1}
{Vn1
n inf h, Ai.
D(A)| ||=1}
{Vn1
2017/9/11
quantum2013
page 211
Definicao 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
(para algum fixo R a expressao vale para todo A tal que |A| < R).
2017/9/11
quantum2013
page 212
Observe que para cada t temos que (t) = B((t)) (t) e uma curva
no espaco dos operadores. Ao fim desta secao (ver escolio) vamos apre-
sentar os detalhes da definicao de tal integral.
Acima afirmamos que para uma curva fechada (ou seja, (0) =
(1)), tal que
H da uma volta completa englobando todo o espectro de A,
1 1
vale que 2i f (z) (A zI) dz = f (A).
Uma otima referencia geral para o topico em analise e [78] secao VII.
9 Theorem 4 e [153].
De forma preliminar, e mais facil entender tal equacao da seguinte
maneira: , H,
I D E
1
h, f (A) ()i = f (z) , (A zI)1 dz
2i
2017/9/11
quantum2013
page 213
2017/9/11
quantum2013
page 214
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),
entao e limitado e esta bem definido
I
1
f (A) = f (z) (A zI)1 dz,
2i
2017/9/11
quantum2013
page 215
Como ||A|| < R, entao (A) esta contido no disco de raio R, o que
assegura a convergencia absoluta da serie.
Assim,
X
X
1 X k k
f (z) (A zI)1 = an z n (A zI)1 = an z n [ z A ].
z
n=0 n=0 k=0
Fixe o par , de quadrado integravel. Temos que estimar o valor
< , f (A)() > .
Ora,
X
1 X j
< , f (z) (A zI)1 () >= an z n [ z < , Aj () >].
z
n=0 j=0
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 sao 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 expressao 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 expressao que calculamos segue que
X
X n
< j , f (A)(j ) >= an < j , An (j ) >= an j = f (j ).
j=0 j=0
2017/9/11
quantum2013
page 216
Proposicao 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
sao funcoes analticas, e, g seja o observavel classico associado a A. Ou
seja, Qg = A. Entao
Z
f (g(x)) |(x)|2 dx =< , f (A)() > .
2017/9/11
quantum2013
page 217
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 [77].
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/9/11
quantum2013
page 218
2017/9/11
quantum2013
page 219
2017/9/11
quantum2013
page 220
2017/9/11
quantum2013
page 221
ou, ainda,
|0 0i, |0 1i, |1 0i, |1 1i.
2017/9/11
quantum2013
page 222
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 serao 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 razao de se assumir a relacao:
z y se z y R(V, W )
(0, v) e (0, 0) sao equivalentes. De fato, dados w1 , w2 , temos que
2017/9/11
quantum2013
page 223
= a1 v1 + a2 v2 ,
= a wa + b wb + c wc .
2017/9/11
quantum2013
page 224
1 1 , 1 2 , 2 1 , 2 2
2017/9/11
quantum2013
page 225
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/9/11
quantum2013
page 226
2017/9/11
quantum2013
page 227
v w := (v, w)
: V W V W
2017/9/11
quantum2013
page 228
2017/9/11
quantum2013
page 229
2017/9/11
quantum2013
page 230
ou seja, nao existem estados |ai e |bi tais que |i = |ai |bi.
Em particular, se {e1 , e2 , . . . , eN1 } e {f1 , f2 , . . . , fN2 } sao bases
para H1 e H2 , respectivamente, entao uma base para H1 H2
e o conjunto de vetores ei fj , i = 1, 2, . . . N1 , j = 1, 2, . . . , N2 .
Portanto, o vetor mais geral H1 H2 tem a forma
N1 X
X N2
= ij ei fj
i=1 j=1
Ou
PN1seja,
PNquando escrevemos o estado nao emaranhado na forma
i fj ) existem restricoes (que forma descritas
2
i=1
j=1 ij (e
acima) para os ij .
2017/9/11
quantum2013
page 231
h1 2 , 1 2 i := h1 , 1 iH1 h2 , 2 iH2
h1 2 , (1 2 + 3 4 )i
2017/9/11
quantum2013
page 232
2017/9/11
quantum2013
page 233
T r[ (A I) ] = T r(A 1 ).
T r[ (I B) ] = T r(B 2 ).
Q (Q) = Tr2 ( U (Q ) U )
2017/9/11
quantum2013
page 234
T r2 ( (I ) () ) = T r2 ( (I ) (1 2 ) ) = T r((2 )) 1 = 1 .
T r2 ( (1 2 ) ) = 1 .
Isto significa que 1 nao foi alterado pela acao de . E desta forma
que a localidade da Mecanica Quantica e descrita em termos matematicos.
Um dos objetivos do estudo dos canais quanticos e saber o que ocorre
com a repeticao da acao de sobre uma matriz densidade incialmente
fixada Q0 . Este procedimento e conhecido pelo nome de iteracoes
quanticas repetidas aleatorias. Dado uma matriz inicial Q0 nos pergun-
tamos se existe o limite n (Q0 ) Q , quando n . Esta questao
esta associada a uma pergunta natural que concerne a existencia ou nao
de um unico ponto fixo para a acao de .
2017/9/11
quantum2013
page 235
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/9/11
quantum2013
page 236
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
Se U e unitaria U U = I.
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/9/11
quantum2013
page 237
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 12 21 U22
11 + U 22 U 1 2 = 0,
1 2 22
21 22 22
8) U11 U 2211 + U11 U 2 1 + U 12 21 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/9/11
quantum2013
page 238
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 expressao
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
L(I) = I.
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
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/9/11
quantum2013
page 239
2
X
(Lij A) ( Lij A )
i.j=1
e positiva.
Logo, se Q e positiva entao L(Q) e positiva.
O operador L e uma especie de dual do operador L (ver [218])
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 )
L(Q) = p1 [ U 11 Q (U 11 ) +U 21 Q (U 21 ) ] +p2 [ U 12 Q (U 12 ) +U 22 Q (U 22 ) ].
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
2017/9/11
quantum2013
page 240
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 [196] onde sao descritos os
detalhes da prova de que e aberto e denso (no caso de matrizes Q dois
por dois) o conjunto das matrizes unitarias U que determinam canais
quanticos com apenas um ponto fixo unico.
Referimos o leitor a [152], [169], [37] [237] [71] [242] [243] [173] para mais
detalhes sobre o material apresentado na presente secao.
Em [295] o autor considera tambem Algebras de Von Neumann e
modulos de Hilbert.
1. kak 0, e kak = 0 a = 0
3. ka + bk kak + kbk,
4. kabk kakkbk
2017/9/11
quantum2013
page 241
1. (a + b) = a + b
2. (a) = a
3. (ab) = b a
4. (a ) = a
5. ka k = kak
ka ak = kak2 , a A.
2017/9/11
quantum2013
page 242
2017/9/11
quantum2013
page 243
Note que
(a 1) = (a 1).
2017/9/11
quantum2013
page 244
[294] que discute na secao 1.3 pagina 548 a questao de considerar ope-
radores limitados ou nao no setting de C -Algebras. Neste trabalho
tambem e discutida a questao: e natural considerar os problemas de
Mecanica Quantica 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 ).
2017/9/11
quantum2013
page 245
2017/9/11
quantum2013
page 246
Vamos explicar este fato num caso bem simples (em dimensao 2).
Seja = P e o estado C -dinamico : M2 C dado por
2017/9/11
quantum2013
page 247
2
Exemplo 2.5. Considere o operador Hamiltoniano H = 2Pm + 12 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/9/11
quantum2013
page 248
2017/9/11
quantum2013
page 249
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/9/11
quantum2013
page 250
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 [199].
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 Termodinamico.
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/9/11
quantum2013
page 251
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/9/11
quantum2013
page 252
2017/9/11
quantum2013
page 253
2017/9/11
quantum2013
page 254
T r1 (R S) = T r(R) S MN ,
onde T r(R) e o traco de R (para mais detalhes ver [236], [218] ou [221]).
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/9/11
quantum2013
page 255
Finalmente tome
1 0 0 0
K= P1 + P2 ,
0 0 0 1
e, considere
2017/9/11
quantum2013
page 256
... 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/9/11
quantum2013
page 257
H : (CN ) 3 (CN ) 3 .
2017/9/11
quantum2013
page 258
E natural considerar
2017/9/11
quantum2013
page 259
C(x1 x2 ) = [ (x x ) + (x I) ](x1 x2 ) =
x (x1 ) (x (x2 ) + x2 ) .
C(x1 x2 x3 ) =
[ (x x I) + (I y y ) ](x1 x2 x3 ) =
2017/9/11
quantum2013
page 260
(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
( + a) = a (()).
2017/9/11
quantum2013
page 261
H : (CN ) 3 (CN ) 3 ,
atraves da expressao
quantum2013
2017/9/11
page 262
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 , , sao numeros reais.
Podemos obter a partir do apresentado acima uma interacao invari-
ante por translacoes de forma analoga ao descrito anteriormente.
Este exemplo, que e bastante estudado na literatura, e denominado
de modelo XY quantico de Fukui and Origuchi (ver [102]). Este modelo
2017/9/11
quantum2013
page 263
2017/9/11
quantum2013
page 264
Por notacao
2017/9/11
quantum2013
page 265
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/9/11
quantum2013
page 266
|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.
E a mesma probabilidade de se obter |1 >.
Observe que neste caso |00>
2
esta associado a probabilidade 1/2. Va-
mos em breve voltar a tocar neste ponto ao falar de nao 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
Logo existe correlacao entre as variaveis x e x .
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
Logo as variaveis x e z nao estao correlacionadas.
2017/9/11
quantum2013
page 267
medir na primeira coordenada o |0 > (ou seja, via a analise 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
esta associado ao conceito de nao localidade. Para mais detalhes referi-
mos o leitor a [225].
2017/9/11
quantum2013
page 268
ou de forma sintetica
Assim dado o input que se deseja teleportar para Alice entao para
comecar o procedimento alguem no laboratorio 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 laboratorio para preparar o estado em uma certa
posicao desejada.
2017/9/11
quantum2013
page 269
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/9/11
quantum2013
page 270
Suponha que por acaso a medicao resultou em |01 >, assim, pela
expressao (2.6) acima, o estado 4 colapsa e passa a ser
2017/9/11
quantum2013
page 271
w = (.., w2 , w1 | w0 , w1 , w2 , ..).
e
y = (.., y2 , y1 |y0 , y1 , y2 , ..)
temos que d(x, y) = 2n ,
onde n e tal que e o indice j de menor modulo
onde as componentes xj e yj sao 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/9/11
quantum2013
page 272
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/9/11
quantum2013
page 273
Referimos o leitor para [20] e [193] onde sao analisadas questoes que
envolvem a existencia de estados de Gibbs para lattices de spins de
natureza mais geral.
2017/9/11
quantum2013
page 274
Z Z
P (U ) = S() + U d S() + U d, para todo T .
2017/9/11
quantum2013
page 275
= {1, , n}N .
A = a1 ak
2017/9/11
quantum2013
page 276
() = (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 estacionaria (ver [162] e [238]). A Mecanica Es-
tatstica de equilbrio considera apenas as medidas estacionarias (ver
[104] e [112]).
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/9/11
quantum2013
page 277
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/9/11
quantum2013
page 278
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/9/11
quantum2013
page 279
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
2017/9/11
quantum2013
page 280
2017/9/11
quantum2013
page 281
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 sao 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/9/11
quantum2013
page 282
(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 Quantica as interferencias de carater ondulatorio nao podem
ser negligenciadas, e, assim o produto tensorial aparece como ferramenta
fundamental para descrever tal fenomeno.
2017/9/11
quantum2013
page 283
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/9/11
quantum2013
page 284
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/9/11
quantum2013
page 285
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 somatorio (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
Apendice
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
2017/9/11
quantum2013
page 286
O teorema do ponto fixo de Brouwer [183] 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 numero positivo.
Alem disso,
o que implica = .
Proposicao 2.34. Se p1 , , pk e q1 , , qk sao distribuicoes de pro-
babilidade, com pi > 0, i = 1, , k, entao
k
X qi
qi log 0
pi
i=1
2017/9/11
quantum2013
page 287
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/9/11
quantum2013
page 288
R
Se T e ergodica para entao f = f d q.t.p.
2017/9/11
quantum2013
page 289
2017/9/11
quantum2013
page 290
Denote R := e(kAk+kBk) .
Agora, por uma especie de soma telescopica 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/9/11
quantum2013
page 291
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 Schrodinger
~2
H= + V. (2.21)
2m
Lembre que a dinamica 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/9/11
quantum2013
page 292
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 nucleo integral.
i ~t i ~t
Denote por e 2m n (x, y) o kernel integral do operador e 2m n .
iV t P 1
Note que o nucleo integral de A = e ~ n = n n! ( i~Vnt )n e A(x, y)
iV (x)t
= e ~ n y (x).
Vai seguir da proxima 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/9/11
quantum2013
page 293
onde
X
n1
|xk+1 xk |2 t
Sn := mn V (xk ) . (2.31)
2t n
k=0
2017/9/11
quantum2013
page 294
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,
n1
X
|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
A expressao m 2
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 diferenciaveis 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 numero e ~ , onde S(, t) =
Rt m 2
0 2 |(s)| V ((s)) ds. Assim, alguns caminhos vao ter um peso
2017/9/11
quantum2013
page 295
iS(,t)
relativo maior dependendo de S(, t) que os outros. Note que e ~ nao
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 sao 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/9/11
quantum2013
page 296
2017/9/11
quantum2013
page 297
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 nao e correto dizer que os
outros pontos sao proibidos, ou que nunca irao 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/9/11
quantum2013
page 298
2017/9/11
quantum2013
page 299
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 classico (~
pequeno) apenas observamos a luz gerando angulos de incidencia e reflexao iguais.
2017/9/11
quantum2013
page 300
= ,
P1 1 + ei ~1 m2c 0.03
que por razoes elementares de trigonometria e bem pequeno. Note que
1 mc 1 mc
1 + ei ~ 2 0 = 2, e o maximo valor possvel de 1 + ei ~ 2 x (para valores
pequenos positivos de x).
Figura 2.3: A cada caminho possvel e associado uma seta de um certo tamanho
fixado. A direcao da seta varia a medida que o tempo muda. Nesse sentido, somar
amplitudes esta associado a somar setas. Assim vemos que a maior contribuicao para
a soma total ocorre entre E e I, onde as direcoes sao quase as mesmas porque os
tempos dos caminhos naquela regiao sao quase os mesmos.
2017/9/11
quantum2013
page 301
n1
X m (xk+1 xk )2
Sn = .
2 (t/n)
k=0
2017/9/11
quantum2013
page 302
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/9/11
quantum2013
page 303
Exemplo 2.10.
O Oscilador Harmonico Simples (OHS) e um dos problemas classicos
de maior interesse estudados pela mecanica 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 fracoes 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
2017/9/11
quantum2013
page 304
+ 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 quadratico em x e x a mudanca de variaveis 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) sao 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/9/11
page 305
D Et
+ cl , var
| {z }0
=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/9/11
quantum2013
page 306
2017/9/11
quantum2013
page 307
m n n/2
, (2.56)
2 i ~t
onde Fn1 e uma funcao finita de um numero 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/9/11
quantum2013
page 308
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/9/11
quantum2013
page 309
1 2Q
Para todo t fixo, o operador et 2 x2 , e estocastico (leva densidades em
densidades). Na Mecanica Quantica os operadores unitarios (por exem-
2
1 Q
plo et i 2 x2 ) desempenham o papel dos operadores estocasticos (levando
elementos da bola unitaria do espaco de Hilbert no mesmo conjunto).
Os estados estacionarios da Mecanica Quantica sao os analogos dos
estados estacionarios da Teoria dos Processos de Difusao (ver [163] chap-
ter 15.5)
Os caminhos que trata a integral de Feymann desempenham um
papel similar aos caminhos amostrais do movimento Browniano (ver
[162]). O teorema de Feymann-Kac (ver [125] Theorem 20.3, [278] ou
[163] chapter 15) descreve um resultado de fundamental importancia
na Teoria dos Processos Estocasticos e possui forte analogia com o que
descrevemos na secao anterior. Referimos o leitor a [47], [154], [46], [165]
e [69] que sao 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/9/11
quantum2013
page 310
~ 2
Considere o sistema descrito pelo Hamiltoniano H = 2m +h V (x).i
Para obtermos uma representacao para o nucleo 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 imaginario, 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 nucleos
integrais sao K1 e K2 respectivamente, temos que o nucleo 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 nucleo integral de Kn . Como os nucleos de ei 2mn
t
e ei ~n V sao, respectivamente
d
2i~t 2 imn|x y|2 t
exp e exp i V (x) y (x) ,
mn 2~t ~n
2017/9/11
quantum2013
page 311
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 expressoes 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 imaginario ) e D
representa formalmente uma medida neste espaco.
2017/9/11
quantum2013
page 312
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/9/11
quantum2013
page 313
Nesta secao vamos apresentar brevemente varios calculos que serao ne-
cessarios nas secoes subsequentes. Referimos o leitor a [124] 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 podera denotar uma
variedade diferenciavel modelada em um espaco de Banach. Neste caso
T (X) nao sera isomorfo a X.
P
Abaixo, a = (a1 , a2 , .., ad ), ak N, e |a| = dk=1 ak . Vamos denotar
a por a = xa11 xa22 ... xadd .
Definicao 2.23. Seja B um domnio aberto em Rd e s N. O espaco
de Sobolev H s (B, Rm ) e o conjunto
2017/9/11
quantum2013
page 314
2017/9/11
quantum2013
page 315
S (, ) =
Z b
2 S [, ]
= S [] = f (x) (x) dx =0
==0 =0 a =0
S (, ) = 0.
2017/9/11
quantum2013
page 316
2017/9/11
quantum2013
page 317
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/9/11
quantum2013
page 318
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/9/11
page 319
Z T
= m D2 V , dt
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 sao i j
, ou seja a
matriz Hessiana do potencial V em .
quantum2013
2017/9/11
page 320
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=1
i j
! !#
m
X d m
X d
i 2L i 2L
j dt =
dt i j dt i j
i=1 i=1 =0
Z T
d h 2 i d h 2 i
D2 L + D2
L D L D L , dt
0 dt dt
Z T* h i
+
d d h 2 i
= D2 L + D
2
L D2 L D2 L D L D2 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
onde D2 L, 2 L e D 2 L sao matrizes mm cujos elementos sao,
D2 L,
D
2L
2L 2L 2L
respectivamente, i , , . Aqui
j
(,) i j (,) i j (,) i j (,)
usamos que D2 L = D2 L uma vez que L e duas vezes diferenciavel.
7. Sejam f, g H 1 Rd , Rm ,
n
X = H 1 Rd [0, T ] , Rm / (x, 0) = f (x) ,
2017/9/11
quantum2013
page 321
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
t2 + 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 sao 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 sao i j , ou seja a
matriz Hessiana do potencial V em .
2017/9/11
quantum2013
page 322
S (, ) = hB, i .
2017/9/11
quantum2013
page 323
1
m 2 mV ((t)),
2
onde V e um potencial fixo (que independe da massa).
2017/9/11
quantum2013
page 324
R
Desejamos estimar o comportamento assintotico de Rd ei S(x)/h dx
quando m . Isto nos dara (num certo sentido) no limite se-
miclassico o setting Newtoniano (classico). Ou seja, o princpio de
mnima acao vai aparecer de uma maneira natural.
E usual na literatura considerar, e faremos o mesmo aqui, que a
massa e igual a 1 (esta 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
Sera necessario considerar agora na analise assintotica da integral de
Feymann o Metodo da fase estacionaria (ver secao 6.5.2 em [48], Cap 3
secao 3 em [68] ou [210], [227], [214] [258] [124] [90] [189] [75] [293] [133]
[165]).
Observamos que nosso procedimento (talvez nao usual) de multipli-
car o potencial V pela massa, e entao fazer a massa ir a infinito, faz
sentido do ponto de vista matematico para o uso do Metodo da fase
estacionaria. Nao estamos afirmando nada sobre a validade fsica de tal
desenvolvimento. Nosso procedimento nao e standard na teoria.
A ideia basica e que quando h 0, o integrando e muito oscilatorio
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 oscilatoria do estado, um dos principais deter-
minantes do comportamento de uma partcula na Mecanica
Quantica, desaparece no limite semiclassico, determinando as-
sim, no mundo da Mecanica Classica, a sua ausencia. Este
desaparecimento segue do princpio de autocancelamento ine-
rente ao metodo da fase estacionaria (ver figura 2.4). Uma boa
referencia para o metodo da fase estacionaria em Mecanica Quantica e
[71].
2017/9/11
quantum2013
page 325
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 expressao
Z
lim eih,S ()i/2 d = (2i)d/2 [detS ()]1/2
R ||R
Obtemos que
I(h) = (2ih)d/2 [det S ()]1/2 f ()eiS()/h [1 + O( h)]. (2.69)
2017/9/11
quantum2013
page 326
A expressao
R acima descreve o resultado essencial no metodo da fase
estacionaria: eiS()/h d eh i inf {S()} , quando h 0.
2017/9/11
quantum2013
page 327
porque se P , P sao projecoes e P P = P P = 0, entao eaP +bP =
ea P + eb 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
n
X
A (s) = traco (A s
)= s
k .
k=1
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/9/11
quantum2013
page 328
det (A) = eA (0) .
2017/9/11
quantum2013
page 329
2017/9/11
quantum2013
page 330
V (y) = K y 2 + y 3 + ...,
mx (s) + 2 (K )x(s) = 0.
2017/9/11
quantum2013
page 331
2017/9/11
quantum2013
page 332
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/9/11
page 333
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/9/11
page 334
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/9/11
quantum2013
page 335
d/2 !1/2
2ith detS0
iHt/h
e (x, y) = eiS()/h 1 + O h .
m detS
2017/9/11
quantum2013
page 336
2017/9/11
quantum2013
page 337
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 Rd tal que v(0) = v, v (0) = w, entao existe um
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/9/11
quantum2013
page 338
2017/9/11
quantum2013
page 339
"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
ds (0) ds (T )
J(T ) ( |s=0 ) = |s=0 = w,
ds ds
2017/9/11
quantum2013
page 340
assim
(0) ds (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 da o seguinte resultado:
Proposicao 2.40. Se y e ponto conjugado a x, entao
2
S0 (x, y, T )
det = .
yx
2 S0 (x, y, T )
= .
yx sen T
Desta forma, segue que os pontos (n/) sao conjugados a (0) para
qualquer inteiro n.
2017/9/11
quantum2013
page 341
2017/9/11
quantum2013
page 342
O Hamiltoniano esta definido para (q, p) (ou, (x, p)) no espaco de fase.
Por sua vez, os estados da Mecanica Quantica estao 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 Quantica
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 [51], Lecture 13 em [71], chapter 7 in [278]
ou chapter 3 em [68] para um estudo mais completo do assunto.
2017/9/11
quantum2013
page 343
para todo 1 , 2 H.
A quantizacao 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 sao [168] [245], [234], [65], [64], [100] and [161].
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/9/11
quantum2013
page 344
< , 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/9/11
quantum2013
page 345
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/9/11
quantum2013
page 346
2
Chamando f (y) = exp (ya 2~
1)
(y), temos a seguinte expressao
para a transformada de Fourier inversa:
Z
1 i
f(a2 ) = exp a2 y f (y)dy.
2~ h
Substituindo na expressao 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/9/11
quantum2013
page 347
1
(q, p) = | < q,p , > |2 .
2h
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
proximo, 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 [161]. Acima, para cada valor de massa m tomamos o valor mais
proximo do fixado E.
Neste sentido embora nao totalmente satisfatoria a distribuicao de
Husimi (via esta associacao) se torna a classica no limite semiclassico
h 0. Observamos que o limite semi-classico 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/9/11
quantum2013
page 348
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 [65]).
.
Lembre que
i
U (a1 , a2 ) = exp ( ( a1 P a2 X ) ).
h
2017/9/11
quantum2013
page 349
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
define uma funcao que esta em S(R2 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 [65].
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 ) [65].2
2017/9/11
quantum2013
page 350
(mundo quantico na secao 1.2). Se pode mostrar (ver [68]) que dados
f (., .), g(., .) S(R2 )
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 expressao
i (zx)2
exp ( z ) e 4 ~/m .
~
2017/9/11
quantum2013
page 351
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/9/11
quantum2013
page 352
(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/9/11
quantum2013
page 353
and Z
W (q, p) dq = |(p)|2 ,
Demonstracao R i
Lembre que como funcao da variavel s, a expressao 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/9/11
quantum2013
page 354
2017/9/11
quantum2013
page 355
Demonstracao:
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 variavel.
2017/9/11
quantum2013
page 356
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/9/11
quantum2013
page 357
( 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
2017/9/11
quantum2013
page 358
S 1
+ |x (S)|2 + V = 0, (2.81)
t 2m
2
associada ao Hamiltoniano H(q, p) = 2pm + V (q), onde V e diferenciavel
infinitas vezes. Esta equacao esta ligada a Mecanica Classica e nao
Quantica.
Acima estamos considerando o toro com a metrica flat.
Ressaltamos que nem sempre este S pode ser definido em todo toro
de forma diferenciavel. A partir de condicoes iniciais fixadas se pode
definir localmente uma solucao infinitamente diferenciavel (ver [7], [209]
e [188]). Muitas vezes ocorrem singularidades (pontos de causticas) e
em certos casos se pode extender a solucao infinitamente diferenciavel 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 [92]. 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 nao 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/9/11
quantum2013
page 359
2017/9/11
quantum2013
page 360
(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 ultimo)
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 maximo. 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 sao 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/9/11
quantum2013
page 361
Lembre que na secao 1.11 mostramos que se (t, x) = a(t, x)ei S(t,x)/h ,
onde a e S sao 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 (a2x 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/9/11
quantum2013
page 362
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/9/11
quantum2013
page 363
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
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 [220]). 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). Entao S e P satisfazem as seguintes equacoes:
S 1
t + 2m |S|
2 + V (x) + c P12 |P |2 2c P
P = 0
P P S
t + div m = 0.
2017/9/11
quantum2013
page 364
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 t0 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 expressoes em (2.87), podemos reorganizar os ter-
mos e ficamos com
2017/9/11
quantum2013
page 365
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 expressao 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/9/11
quantum2013
page 366
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/9/11
quantum2013
page 367
2.19 Espalhamento
i~ = H
t
|t=0 = 0 (1).
quantum2013
2017/9/11
page 368
2017/9/11
quantum2013
page 369
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/9/11
quantum2013
page 370
Demonstracao. 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 expressao do primeiro termo acima vai a zero pela
hipotese de 0 X+ e o segundo termo vai a zero pela proposicao
anterior.
A propriedade analoga vale para 0 X .
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/9/11
quantum2013
page 371
Demonstracao. R
Sejam 0 L1 (R) = { tal que | (x) | dx < } e assumamos que
0 esta 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/9/11
quantum2013
page 372
Demonstracao.
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 sao os mesmos (podem ser identificados via a
isometria + ).
2017/9/11
quantum2013
page 373
||An A|| ||A||||n || < ||A|| =
||A||
2017/9/11
quantum2013
page 374
||A || ||A||||||
(A z I)1 : Im(A z I) H
0 = h, (A z I)i = h, Ai + h, zi =
2017/9/11
quantum2013
page 375
Ou seja, T () = .
2017/9/11
quantum2013
page 376
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 2 1
A = [(A+i)1 +(Ai)1 ] = 2 [(Ai)1 +(A+i)1 ] = A
2 2
Pela autoadjuntividade de A , temos ||eiA || = ||||.
2017/9/11
quantum2013
page 377
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/9/11
quantum2013
page 378
Bibliografia
378
2017/9/11
quantum2013
page 379
Bibliografia 379
2017/9/11
quantum2013
page 380
380 Bibliografia
2017/9/11
quantum2013
page 381
Bibliografia 381
2017/9/11
quantum2013
page 382
382 Bibliografia
2017/9/11
quantum2013
page 383
Bibliografia 383
2017/9/11
quantum2013
page 384
384 Bibliografia
2017/9/11
quantum2013
page 385
Bibliografia 385
[93] F. Faure, Semiclassical origin of the spectral gap for transfer ope-
rators of a partially expanding map, Nonlinearity 24, 1473-1498
(2011)
[98] 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/9/11
quantum2013
page 386
386 Bibliografia
2017/9/11
quantum2013
page 387
Bibliografia 387
2017/9/11
quantum2013
page 388
388 Bibliografia
2017/9/11
quantum2013
page 389
Bibliografia 389
2017/9/11
quantum2013
page 390
390 Bibliografia
2017/9/11
quantum2013
page 391
Bibliografia 391
[186] P. Lions and T. Paul, Sur les measures de Wigner, Rev. Mat.
Iberoamerican 9 (3), 553-618 (1993)
2017/9/11
quantum2013
page 392
392 Bibliografia
[195] A. Lopes, Jairo K. Mengue and Joana Mohr, Large Deviations for
Quantum Spin probabilities at temperature zero (2015)
[199] A. Lopes and G. Mantovani, The KMS Condition for the homo-
clinic equivalence relation and Gibbs probabilities, preprint (2017)
[200] Y-G Lu, Quantum Markov Chains and classical random sequences.
Nagoya Math. Journal. Vol. 139 (1995), pp. 173-183.
2017/9/11
quantum2013
page 393
Bibliografia 393
2017/9/11
quantum2013
page 394
394 Bibliografia
[226] M. Ohya and D. Petz, Quantum entropy and its use, Springer-
Verlag, Berlin. 1993.
2017/9/11
quantum2013
page 395
Bibliografia 395
[239] W. Parry and M. Pollicott, Zeta functions and the periodic orbit
structure of hyperbolic dynamics, Asterisque N. 187-188 (1990).
2017/9/11
quantum2013
page 396
396 Bibliografia
2017/9/11
quantum2013
page 397
Bibliografia 397
[273] W. Steeb and Y. Hardy, Bose, Spin and Fermi Systems, World
scientific (2015)
2017/9/11
quantum2013
page 398
398 Bibliografia
2017/9/11
quantum2013
page 399
Bibliografia 399
2017/9/11
quantum2013
page 400
Indice
400
2017/9/11
quantum2013
page 401
Bibliografia 401
2017/9/11
quantum2013
page 402
402 Bibliografia
2017/9/11
quantum2013
page 403
Bibliografia 403
2017/9/11
quantum2013
page 404
404 Bibliografia
2017/9/11
quantum2013
page 405
Bibliografia 405
2017/9/11
quantum2013
page 406
406 Bibliografia