FI001

Aula 5

Propriedades do Operador de Translao

Adotamos =(dx0 ) = 1

iK.dx0 . Esta escolha satisfaz as 3 primeiras propriedades:

1) = (dx0 )=(dx0 ) = 1
(1 + iK .dx0 )(1

iK.dx0 ) = 1 + i(K

2) =(dx0 )=(dx00 ) = =(dx0 + dx00 )

(1

iK.dx0 )(1

3) =( dx0 ) = =
(1

iK.dx00 ) = (1

K).dx0 + O2 (dx0 ) = 1 + O2 (dx0 )

iK.(dx0 + dx00 ) + O2 (dx0 )

(dx0 )

a
iK.( dx0 )) = (1 + iK.dx0 ) = (1

iK.dx0 ) = =

(dx0 )

Uma relacao interessante entre K e x, pode ser obtida a partir das equacoes:
(1) ! =(dx0 )x|x0 i = x0 =(dx0 )|x0 i = x0 |x0 + dx0 i

(2) ! x=(dx0 )|x0 i = x|x0 + dx0 i = (x0 + dx0 )|x0 + dx0 i

(2)-(1) ! [x, =(dx0 )]|x0 i = dx0 |x0 + dx0 i dx0 |x0 i + O2 (dx0 )
8 |x0 i ! [x, =(dx0 )] = dx0
) ! [x, i(K.dx0 )] =

ixK.dx0 + iK.dx0 x = dx0

temos [xi , Kj ] = i
Para dx0 = dx0i ou dy 0 j ou dz 0 k,
MAPLima

ij

FI001
Aula 5

Momento como um gerador de translao

Qual o significado fsico de K? Em mecanica cl
assica, uma translac
ao
infinitesimal pode ser vista como uma transformac
ao canonica do tipo
Xnovo X = x + dx e Pnovo P = p relacao que pode ser obtida
(
p = @F
@x = P
da funcao geratriz F (x, P ) = x.P + p.dx
@F
= x + dx
X = @P
A funcao geratriz F (x, P ) = x.P e a func
ao geratriz da transformac
ao
identidade X = x e P = p ) especula-se
que K esta de alguma
a
maneira relacionado com momento
P
K=
cte universal com dimensao de acao
=(dx0 ) = 1

dimenso de inverso de
comprimento
2
MAPLima

dimenso de momento
angular

iK.dx0

=(dx ) = 1

p.dx0
i
~

p
mesma que a de L. de Broglie
~

FI001
Aula 5

Momento como um gerador de translao

A relacao [xi , Kj ] = i

ij

fica [xi ,

pj
]=i
~

ij

e a relacao de incerteza h( A)2 ih( B)2 i

! [xi , pj ] = i~

ij

1
|h[A, B]i|2 , fica
4

~2
h( xi ) ih( pj ) i
ij
4
Ate agora translacoes infinitesimais. O que muda para translac
oes finitas?
2

Que tal constru-la como uma composicao sucessiva de translacoes infinitesimais?

a
=( x0 x
)|x0 i = |x0 +
0

=( x x
) = lim (1
N !1

x0 x
i, onde
ipx x0 N
ipx x0
) = exp(
)
N~
~

Aqui, a exponencial e funcao do operador X =

X2
por exp(X) = 1 + X +
+ ...
2!
MAPLima

ipx x0
e precisa ser entendida
~

Ateno: s px
operador

FI001
Aula 5

Momento como um gerador de translao

Uma propriedade fundamental das translaes que translaes sucessivas em
direes diferentes, digamos x e y, comutam.
B
y0 y

x0 x

y0 y

Cuidado!
A

x0 x
a

ipy y 0
ipx x0
py y 0 + px x 0
=( y y
)=( x x
) = exp(
)exp(
) = exp( i
)=
~
~
~
= =( y 0 y
+ x0 x
) = =( x0 x
)=( y 0 y
)
0

ipy y 0
ipx x0
[=( y y
), =( x x
)] = 0 s
o se [exp(
), exp(
)] = 0
~
~
p2y y 02
ipy y 0
ipx x0
p2x x02
[(1
+ . . . ), (1
+ . . . )] =
~
2~2
~
2~2
y 0 x0
=
[py , px ] + O( y 0 )2 ou O( x0 )2 ! [py , px ] = 0
~ ~
MAPLima
0

FI001
Aula 5

Momento como um gerador de translao: 3d

A hipotese de que as aplicacoes de operacoes de translacao, em diferentes

direcoes, comutam, implica em [pi , pj ] = 0 p/ i e j = x, y, z. Se as
componentes de p0 comutam entre si, e possvel construir |p0 i |p0x , p0y , p0z i,
de tal forma que px |p0 i = p0x |p0 i;

py |p0 i = p0y |p0 i;

pz |p0 i = p0z |p0 i

a
Note que |p0 i e autoket de =(dx0 ),

p.dx0 0
p0 .dx0 0
=(dx )|p i = (1 i
)|p i = (1 i
)|p i, pois [p, =(dx0 )] = 0
~
~
O autovalor, entretanto, e complexo ! =(dx0 ) n
ao e Hermiteano
0

MAPLima

FI001
Aula 5

Relaes Fundamentais de Comutao - I

8
>
<[xi , xj ] = 0;
Condicoes Quanticas Fundamentais (Dirac) [pi , pj ] = 0;
>
:
[xi , pj ] = i~

ij

Dirac observou uma relacao direta com a Mecanica Cl

assica
[, ]
onde [ , ]classica e o colchete de Poisson
i~
X @A @B
@A @B
[A(q, p), B(q, p)]classica =
(
)
@q
@p
@p
@q
s
s
s
a s s
[ , ]classica !

MAPLima

um primeiro exemplo disso e [xi , pj ]classica = ij

8
[A, A] = 0
>
>
>
>
>
[A, B] = [B, A]
>
>
>
<[A, c] = 0 ! c e um n
umero
Classico ou Quantico, vale o seguinte
>
[A + B, C] = [A, C] + [B, C]
>
>
>
>
>
[A, BC] = [A, B]C + B[A, C]
>
>
:
[A, [B, C]] + [B, [C, A]] + [C, [A, B]] = 0

FI001
Aula 5

Relaes Fundamentais de Comutao - II

Ainda com respeito `as semelhancas apontadas por Dirac
[, ]
onde [ , ]classica e o colchete de Poisson
i~
X @A @B
@A @B
[A(q, p), B(q, p)]classica =
(
)
@qs @ps
@ps @qs
s
[ , ]classica !

Existem diferenas importantes. Destacam-se:

1. As unidades. Devido s derivadasaparciais com respeito p e q do
colchete de Poisson. Note que pq tem unidade de momento angular.
2. O colchete de Poisson de funes reais de p e q real, enquanto que
o comutador de dois operadores Hermiteano anti-Hermiteano
(valor mdio um imaginrio puro).
O i~ cuida destas duas diferencas

A semelhana entre o colchete de Poisson e o comutador da mecnica

quntica, apontada por Dirac, ficar mais evidente quando introduzirmos
o formalismo de Heisenberg.
MAPLima

FI001
Aula 5

Funes de onda no espao de momentos e de posies

Para simplificar
8
>
1)
>
>
>
>
>
<2)
onde 3)
>
>
>
4)
>
>
>
:

tomemos o espaco unidimensional de posicoes

x|x0 i = x0 |x0 i
hx0 |x00 i = (x0 x00 )
R 0 0 0
|i = dx |x ihx |i
|hx0 |i|2 dx0 e a probabilidade da partcula ser
encontrada no intervalo dx0 centrado em x0

a
hx |i e a funcao de onda de Schrodinger
0

(x

Considere a amplitude de probabilidade h |i interpretada por

amplitude de probabilidade para o estado |i ser encontrado em

| i. Com auxlio do operador unidade, ela pode ser escrita como

Z
Z
h |i = dx0 h |x0 ihx0 |i = dx0 (x0 ) (x0 )
um overlap entre duas funcoes de onda.
MAPLima

FI001
Aula 5

Funes de onda
no espao de posies
X

Como interpretar |i =

a0

|a0 iha0 |i?

Usando a linguagem de funcoes de onda, isso seria

X
X
0
0 0
0
0
0
hx |i =
hx |a iha |i ! (x ) =
c
a0 ua0 (x )
a0

a0

onde, introduzimos as auto-funcoes, ua0 (x0 ) = hx0 |a0 i,

do operador A com autovalor a0 .
Nesta representacao, o produto h |A|i fica
Z
Z
a
h |A|i = dx0 dx00 h |x0 ihx0 |A|x00 ihx00 |i
Z
Z
= dx0 dx00 (x0 )hx0 |A|x00 i (x00 )

Para calcula-lo precisamos conhecer hx0 |A|x00 i, uma funcao de x0 e x00 .

A vida fica facil se A for um operador em func
ao de x. Tome como

MAPLima

exemplo, A = x2 ! hx0 |A|x00 i = hx0 |x2 |x00 i = x002 (x0 x00 ). Neste
Z
caso h |A|i = dx0 (x0 )x02 (x0 ). Em geral, podemos escrever
Z
no
operador
h |f (x)|i = dx0 (x0 )f (x0 ) (x0 )
operador
9

FI001
Aula 5

Operador momento na base de posies

Considere o operador de translacao atuando em um ket |i
Z
px x 0
(1 i
)|i = =( x0 )|i = dx0 =( x0 )|x0 ihx0 |i =
~
Z
Z
= dx0 |x0 + x0 ihx0 |i = dx0 |x0 ihx0
x0 |i =
Z
Z
@
= dx0 |x0 i (x0
x0 ) = dx0 |x0 i( (x0 )
x0 0 (x0 )) =
@x
Z
@
= dx0 |x0 i(hx0 |i
x0 0 hx0 |i)
a
@x
Aplicando hx00 | em ambos os lados e pela esquerda, temos:
px x 0
i
)|i = hx00 |i
~

@
00
hx
|i
@x00
@
Comparacao direta fornece hx0 |px |i = i~ 0 hx0 |i troquei x00 por x0
@x
(
@
@
0 00
0
hx0 |px |x00 i = i~ @x
i~ @x
x00 )
0 hx |x i =
0 (x
R 0
R 0 0
ex.:
@
@
0
0
0
h |px |i = dx h |x i( i~ @x0 hx |i) = dx (x )( i~ @x
0
(x ))
00

hx |(1

MAPLima

x0

10

FI001
Aula 5

Operador momento na base de posies

Mostre que:

@
0
hx0 |pnx |i = ( i~)n @x
0n
(x )
R
@n
h |pnx |i = dx0 (x0 )( i~)n @x
0n

(x

Funo de onda no espao dos momentos

Para simplificar
8
>
1)
>
>
>
>
>
<2)
onde 3)
>
>
>
4)
>
>
>
:

tomemos o espaco unidimensional de momentos

p|p0 i = p0 |p0 i
a
hp0 |p00 i = (p0 p00 )
R 0 0 0
|i = dp |p ihp |i
|hp0 |i|2 dp0 e a probabilidade da partcula ter
momento p0 no intervalo estreito dp0

hp0 |i e a funcao de onda no espaco dos momentos

MAPLima

Se |i e normalizada, temos
Z
Z
Z
h|i = dp0 h|p0 ihp0 |i = dp0 |hp0 |i|2 = dp0 |

(p

(p

)|2 = 1

11

FI001
Aula 5

Conexo entre as representaes de momento e de posio

@
0
0
hx
|i
com
|i
=
|p
i
@x0
ip0 x0
@
0
0
0 0 0
0 0
0 0
Assim, hx |p|p i = p hx |p i = i~ 0 hx |p i ! hx |p i = N exp(
)
@x
~
Para obter a constante de normalizacao, considere
Z
Z
ip0 (x0 x00 )
0 00
0
00
0 0 0
0 00
2
0
hx |x i = (x
x ) = dp hx |p ihp |x i = |N |
dp exp[
]
~
1
(x0 x00 ) = |N |2 2~ (x0 x00 ) ! |Na |2 =
2~
1
ip0 x0
0 0
E assim, temos hx |p i = p
exp(
)
~
2~
Para fazer isso, considere hx0 |p|i =

i~

Duas relacoes interessantes

Z
Z
1
ip0 x0
0
0
0 0 0
0
0
hx |i = (x ) = dp hx |p ihp |i = p
dp exp(+
)
~
2~
Z
Z
1
ip0 x0
0
0
0 0 0
0
0
hp |i = (p ) = dx hp |x ihx |i = p
dx exp(
)
~
2~
MAPLima

(p

(x

A funo de onda no espao das posies a transformada de

Fourier da funo de onda no espao dos momentos (e vice-versa).

12