Explorar E-books
Categorias
Explorar Audiolivros
Categorias
Explorar Revistas
Categorias
Explorar Documentos
Categorias
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