Escolar Documentos
Profissional Documentos
Cultura Documentos
Prove
Solução :
Temos que :
O segundo termo do lado direito de (1) pode também ser escrito como :
1
E finalmente, fazendo ACDB + CADB = {C , A} DB , temos :
2
Problema 2
Solução :
G
a. Consideraremos σ o vetor cujos componentes são as matrizes de Pauli :
⎛0 1⎞ ⎛ 0 −i ⎞ ⎛1 0 ⎞
σ1 = ⎜ ⎟ σ2 = ⎜ ⎟ σ3 = ⎜ ⎟
⎝1 0⎠ ⎝i 0⎠ ⎝ 0 −1⎠
⎛a 0 ⎞ ⎛ 0 1 ⎞ ⎛ a1 0 ⎞ ⎛ 0 −i ⎞ ⎛ a2 0 ⎞ ⎛ 1 0 ⎞ ⎛ a3 0⎞
X =⎜ 0 ⎟+⎜ ⎟⎜ ⎟+ ⎜ ⎟+ ⎜ ⎟=
⎝ 0 a0 ⎠ ⎝ 1 0 ⎠ ⎝ 0 a1 ⎠ ⎜⎝ i 0 ⎟⎠ ⎝ 0 a2 ⎠ ⎜⎝ 0 −1⎟⎠ ⎝ 0 a3 ⎠
(2)
⎛ a + a a1 − ia2 ⎞
X =⎜ 0 3 ⎟
⎝ a1 + ia2 a0 − a3 ⎠
tr ( X ) = 2a0 . (3)
⎛ a + ia a −a ⎞
σ1 X = ⎜ 1 2 0 3
⎟
⎝ a0 + a3 a1 − ia2 ⎠ (4)
tr (σ 1 X ) = 2a1
1
⎛ a − ia −ia0 + ia3 ⎞
σ2X = ⎜ 2 1
⎟
⎝ ia0 + ia3 ia1 + a2 ⎠ (5)
tr (σ 2 X ) = 2a2
⎛ a +a a − ia ⎞
σ3X = ⎜ 0 3 1 2
⎟
−
⎝ 1a − ia2 − a 0 + a 3⎠ (6)
tr (σ 3 X ) = 2a3
b. Para escrever a0,1,2,3 em termos dos elementos X ij faremos uso do (3), (4),
(5) e (6), respectivamente :
1 1
a0 = trX = ( X 11 + X 22 ) (8)
2 2
1 1
a1 = tr (σ 1 X ) = ( X 21 + X 12 ) (9)
2 2
1 1
a2 = tr (σ 2 X ) = (−iX 21 + iX 12 ) (10)
2 2
1 1
a3 = tr (σ 3 X ) = ( X 11 − X 22 ) (11)
2 2
2
Problema 3
GG
Mostre que o determinante de uma matriz 2 x 2 σ .a é invariante sob
G G
GG GG ⎛ iσ .nˆφ ⎞ G G ⎛ −iσ .nˆφ ⎞
σ .a → σ .a ' ≡ exp ⎜ ⎟ σ .a exp ⎜ ⎟. (0)
⎝ 2 ⎠ ⎝ 2 ⎠
Solução :
G G
⎛ iσ .nˆφ ⎞ ⎛ −iσ .nˆφ ⎞
Observamos que os operadores exp ⎜ ⎟ e exp ⎜ ⎟ são Hermitianos
⎝ 2 ⎠ ⎝ 2 ⎠
adjuntos um do outro. Chamaremos estes operadores de U e U † ,
1
respectivamente. Notamos que UU † = 1 . Logo det U † = . Então :
det U
GG GG
det(σ .a ') = det U det(σ .a ) det U †
GG GG 1 GG (1)
det(σ .a ') = det U det(σ .a ) = det (σ .a )
det U
G
Calcularemos agora os ak ' em termos dos ak para nˆ = zˆ . Neste caso, σ .nˆ = σ 3 .
Faremos a expansão :
⎛ iσ φ ⎞ 1 ⎛ iφ ⎞
k
exp ⎜ 3 ⎟ = ∑ ⎜ ⎟ σ 3k (2)
⎝ 2 ⎠ k k !⎝ 2 ⎠
⎧ 1, se k e par
⎪
σ3 k
=⎨ ,
⎪σ 3 , se k e impar
⎩
Podemos escrever :
1
⎛ iσ φ ⎞ 1 ⎛ iφ ⎞ 1 ⎛ iφ ⎞
k k
exp ⎜ 3 ⎟ = ∑ ⎜ ⎟ + ∑ ⎜ ⎟ σ3 (3)
⎝ 2 ⎠ k par k ! ⎝ 2 ⎠ k impar k ! ⎝ 2 ⎠
⎛ iσ φ ⎞ 1 ⎛ iφ ⎞ 1 ⎛ iφ ⎞
k k
exp ⎜ − 3 ⎟ = ∑ ⎜ ⎟ − ∑ ⎜ ⎟ σ3 (4)
⎝ 2 ⎠ k par k ! ⎝ 2 ⎠ k impar k ! ⎝ 2 ⎠
⎧ ⎫
1 ⎛ iφ ⎞ 1 ⎛ iφ ⎞
k k
GG ⎪ ⎪
σ .a ' = ⎨ ∑ ⎜ ⎟ + ∑ ⎜ ⎟ σ 3 ⎬ [σ 1a1 + σ 2 a2 + σ 3 a3 ]
⎪⎩ k par k ! ⎝ 2 ⎠ k impar k ! ⎝ 2 ⎠ ⎪⎭
(5)
⎧ ⎫
1 ⎛ iφ ⎞ 1 ⎛ iφ ⎞
k k
⎪ ⎪
⎨∑ ⎜ ⎟ − ∑ ⎜ ⎟ 3⎬ σ
k par k ! ⎝ 2 ⎠ k impar k ! ⎝ 2 ⎠
⎩⎪ ⎭⎪
⎧ ⎫ ⎧ ⎫
1 ⎛ iφ ⎞ 1 ⎛ iφ ⎞ 1 ⎛ iφ ⎞ 1 ⎛ iφ ⎞
k k k k
⎪ ⎪ ⎪ ⎪
σ1 ⎨ ∑ ⎜ ⎟ − ∑ ⎜ ⎟ σ 3 ⎬ a1 ⎨ ∑ ⎜ ⎟ − ∑ ⎜ ⎟ σ3 ⎬ =
⎪⎩ k par k ! ⎝ 2 ⎠ k impar k ! ⎝ 2 ⎠ ⎪⎭ ⎪⎩ k par k ! ⎝ 2 ⎠ k impar k ! ⎝ 2 ⎠ ⎪⎭ (6)
⎛ −iσ 3φ ⎞ ⎛ −iσ 3φ ⎞
σ 1 exp ⎜ ⎟ a1 exp ⎜ ⎟
⎝ 2 ⎠ ⎝ 2 ⎠
⎛ −iσ 3φ ⎞ ⎛ −iσ 3φ ⎞
σ 2 exp ⎜ ⎟ a2 exp ⎜ ⎟ (7)
⎝ 2 ⎠ ⎝ 2 ⎠
⎛ iσ 3φ ⎞ ⎛ −iσ 3φ ⎞
σ 3 exp ⎜ ⎟ a3 exp ⎜ ⎟ (8)
⎝ 2 ⎠ ⎝ 2 ⎠
2
Assumindo que a1,2,3 são números escrevemos (5) como :
GG
σ .a ' = a1σ 1e−iσ φ + a2σ 2 e−iσ φ + a3σ 3
3 3
(9)
1 1 1
e − iσ 3φ = I − iσ 3φ + ( −iσ 3φ ) + (−iσ 3φ )3 + ( −iσ 3φ ) + ...
2 4
2! 3! 4!
I 1 I
e − iσ 3φ = I − iφσ 3 + ( −iφ ) + (−iφ )3 σ 3 + ( −iφ ) + ...
2 4
2! 3! 4!
I 1 I 1
e − iσ 3φ = I − iφσ 3 − φ 2 + iφ 3σ 3 + φ 4 − iφ 5σ 3 + ... (10)
2! 3! 4! 5!
⎡ 1 1 ⎤ ⎡ 1 1 ⎤
e − iσ 3φ = I ⎢1 − φ 2 + φ 4 + ...⎥ − iσ 3 ⎢φ − φ 3 + φ 5 + ...⎥
⎣ 2! 4! ⎦ ⎣ 3! 5 ⎦
e − iσ 3φ = I cos φ − iσ 3 senφ
⎛1 0 ⎞ ⎛0 1⎞ ⎛ 0 −i ⎞
σ3 = ⎜ ⎟; σ1 = ⎜ ⎟; σ2 = ⎜ ⎟,
⎝ 0 −1⎠ ⎝1 0⎠ ⎝i 0 ⎠
Temos :
Logo,
G G ⎛ a3 a1' − ia2' ⎞
'
σ .a ' = ⎜ ' ⎟ (11)
⎝ a1 + ia2 −a3' ⎠
'
3
a1σ 1e −iσ 3φ + a2σ 2 e − iσ 3φ + a3σ 3 = (a1σ 1 + a2σ 2 )e −iσ 3φ + a3σ 3 =
⎛ 0 a1 − ia2 ⎞ ⎡⎛ cos φ 0 ⎞ ⎛ senφ 0 ⎞ ⎤ ⎛ a3 0 ⎞
=⎜ ⎟ ⎢⎜ ⎟−i⎜ ⎟⎥ + ⎜ ⎟ (12)
⎝ a1 + ia2 0 ⎠ ⎣⎝ 0 cos φ ⎠ ⎝ 0 − senφ ⎠ ⎦ ⎝ 0 − a3 ⎠
⎛ a3 (a1 − ia2 )(cos φ + isenφ ) ⎞
=⎜ ⎟
⎝ (a1 + ia2 )(cos φ − isenφ ) − a3 ⎠
a3' = a3 (13)
a1' − ia2' = (a1 − ia2 )(cos φ + isenφ ) = a1 cos φ + ia1senφ − ia2 cos φ + a2 senφ
Logo :
4
Problema 4
Solução :
trC = ∑ i C i .
i
Assim, se C = XY , obtemos :
trC = tr ( XY ) = ∑ i XY i = ∑ i X 1Y i = ∑ i X j jY i ,
i i i, j
tr ( XY ) = ∑ j Y i i X j ,
i, j
Pois,
i X j e jY i ,
1= ∑ i i ,
i
temos que
tr ( XY ) = ∑ j YX j = tr (YX ) ,
j
logo,
1
tr ( XY ) = tr (YX ) .
b. Temos que
( XY ) α ↔ α ( XY )
†
XY α = X (Y α ) ↔ ( α Y † ) X † = α Y † X †
DC
o que fornece
( XY )
†
= Y†X † .
∞
xn
ex = ∑ ,
n =0 n!
∞
in 1 i
eif ( A) = ∑ [ f ( A)] = 1 + if ( A) − [ f ( A)] − [ f ( A)] + ...
n 2 3
n =0 n ! 2! 3!
1 i
[ f ( A)] a − [ f ( A)] a + ...
2 3
eif ( A) a = a + if ( A) a − (1)
2! 3!
2
logo,
∞ ∞
f ( A) a = ∑ cn A a = ∑ cn a n a
n
n =0 n =0
∞
Desde que f ( A) = ∑ cn a n , então :
n =0
f ( A) a = f (a ) a ,
1 i
[ f (a)] a − [ f (a)] a + ...
2 3
eif ( A) a = a + if (a) a −
2! 3!
(2)
⎛ 1 i ⎞
a = ⎜ 1 + if (a) − − [ f (a) ] − [ f (a) ] + ... ⎟ a
if ( A) 2 3
e
⎝ 2! 3! ⎠
3
⎛ eif ( a ) 0 0 ... ⎞
⎜ if ( a ') ⎟
⎜ 0 e 0 ... ⎟
eif ( A) = ⎜ 0 0 e if ( a '')
... ⎟ ,
⎜ . ⎟
⎜⎜ . ... ⎟⎟
. .
. .
⎝ . . . ⎠
d. Temos que :
G G G G
ψ a*' ( x ') = a ' x ' e ψ a ' ( x '') = x '' a '
G G G G G G
∑Ψ
a'
*
a' ( x ')Ψ a ' ( x '') = x '' x ' = δ ( x ''− x ')
4
Problema 5
Solução :
O fator a ' α β a '' é definido como o elemento na linha a ' e coluna a '' na
representação matricial do operador α β . Então :
⎛ S ; + Sz ; + Sx ; + Sz ; + Sz ; + Sz ; + Sx ; + Sz ; − ⎞
S z ; + S x ; + = ⎜ z ⎟ (3)
⎝ Sz ; − Sz ; + Sx ; + Sz ; + Sz ; − Sz ; + Sx ; + Sz ; − ⎠
Usando
1
Sz ; + Sz ; + = 1
Sz ; − Sz ; + = 0
S x ; + S z ; + = S x ; + S z ; − = S x ; + S z ; − = 1/ 2
temos
1 ⎛1 1⎞
S z ; + S x ; + = ⎜ ⎟
2 ⎝0 0⎠
2
Problema 6
Solução :
A i =i i e A j = j j (1)
A( i + j ) = A i + A j = i i + j j (3)
i = j = a'.
1
Problema 7
∏ ( A − a' )
a'
é o operador nulo.
b. Qual é o significado de
( A − a" )
∏ (a'−a" ) ?
a '≠ a "
Solução :
⎡ ⎤
∏ ( A − a' ) α = ∏ ( A − a' )∑ a"
a' a' a"
a" α = ∑ ⎢∏ ( A − a ' )⎥ a" a" α =
a" ⎣ a ' ⎦
⎡ ⎤
∑ ⎢⎣ ∏ ( A − a')⎥⎦( A − a" ) a"
a" a '≠ a "
a" α =
⎡ ⎤
∑ ⎢⎣ ∏ ( A − a' )⎥⎦(a"−a" ) a"
a" a '≠ a "
a" α = 0
∏ ( A − a' ) ,
a'
1
∏ ( A − a' ) α
a'
= 0.
( A − a" )
b. Vamos agora aplicar o operador ∏ (a'−a" ) sobre um ket α .
a' ≠a'
( A − a" ) ⎡ ( A − a" ) ⎤
∏ (a'−a" ) α = ∑ ⎢ ∏ (a'−a" ) ⎥ a' ' ' a' ' ' α
a '≠ a " a ''' ⎣ a '≠ a " ⎦
Os termos dentro do somatório para os quais a' ' ' ≠ a ' são todos nulos.
_____________________________________________________________
Exemplo:
Vamos fazer a' = 1 e considerar também que a"= 1,2,3 e a' ' ' = 1,2,3 na
expressão abaixo.
⎡ ( A − a" ) ⎤ (1 − 2) (1 − 3)
∑ ⎢ ∏ (1 − a" ) ⎥ a' ' ' a' ' ' α =
(1 − 2) (1 − 3)
1 1α +
a ''' ⎣ a '≠ a " ⎦
(2 − 2) (2 − 3)
2 2α +
(1 − 2) (1 − 3)
(3 − 2) (3 − 3)
3 3α
(1 − 2) (1 − 3)
Ou seja, sobrou apenas o termo para a' = 1 e a' ' ' = 1 , isto é, o único termo que
sobrevive é o termo a' ' ' = a' .
_____________________________________________________________
⎡ ( A − a" ) ⎤ ⎡ (a'−a" ) ⎤
⎢ ∏ (a'−a" ) ⎥ α = ⎢ ∏ (a'−a" ) ⎥ a' a' α = 1 a' a' α = a ' α a' .
⎣ a '≠ a " ⎦ ⎣ a '≠ a " ⎦
( A − a" )
Dessa forma, o operador ∏ (a'−a" ) é um projetor, ou seja, ele projeta o
a' ≠a'
2
c. Considerando o caso especifico em que A = S z e que o conjunto
{ a' } = { + , − }, temos :
= ⎤⎡ ⎛ = ⎞⎤
= ⎢ S z − ⎥ ⎢ S z − ⎜ − ⎟⎥[ + + α + − − α ] =
⎡
∏ ( A − a' ) α
a' ⎣ 2 ⎦⎣ ⎝ 2 ⎠⎦
.
⎛ = = ⎞⎛ = = ⎞ ⎛ = = ⎞⎛ = = ⎞
⎜ − ⎟⎜ + ⎟ + + α + ⎜ − − ⎟⎜ − + ⎟ − − α = 0
⎝ 2 2 ⎠⎝ 2 2 ⎠ ⎝ 2 2 ⎠⎝ 2 2 ⎠
=
Considerando agora que a' = temos :
2
( A − a" ) S z − ( − = / 2)
∏ (a'−a" ) α = [+ + α + − − α ]=
a '≠ a " [(= / 2 − (−= / 2)]
(= / 2 + = / 2) + + α + (− = / 2 + = / 2) − − α = + α +
(= / 2 + = / 2) (= / 2 + = / 2)
3
Problema 8
[S , S ] = iε
i j ijk =S k ,
{S , S }= ⎛⎜⎜ = ⎞ 2
i j ⎟⎟δ ij ,
⎝ 2⎠
onde
=
Sx = ( + − + − + ),
2
i=
S y = (− + − + − + ),
2
=
S z = ( + + − − − ).
2
Solução :
Calculando o comutador [S i , S j ].
[S x ]
, Sy = SxSy − SySx
[S x ,Sy ] = ⎡⎢ =2 ( + ⎤ ⎡ i= ⎤
− + − + )⎥ ⎢ (− + − + − + )⎥ −
⎣ ⎦⎣ 2 ⎦
⎡ i= ⎤⎡= ⎤
⎢ 2 (− + − + − + )⎥ ⎢ 2 ( + − + − + )⎥
⎣ ⎦⎣ ⎦
[S ] i=
( + + − − − ) − i= (− + + + − − )
2 2
x ,Sy =
4 4
[S ] i=
(+ + − − − )
2
x ,Sy =
2
[S x ,Sy ] = i=S z
1
[S x , S z ] = S x S z − S z S x
[S x , S z ] = ⎡⎢ = ( + ⎤⎡ = ⎤
− + − + )⎥ ⎢ ( + + − − − )⎥ −
⎣2 ⎦⎣ 2 ⎦
⎡= ⎤⎡ = ⎤
⎢ 2 ( + + − − − )⎥ ⎢ 2 ( + − + − + )⎥
⎣ ⎦⎣ ⎦
[S x , S z ] = = (− + − + − + ) − = ( + − − − + )
2 2
4 4
[S x , S z ] = = (− + − + − + )
2
2
[S x , S z ] = −i=S y
[S y ]
, Sz = S ySz − SzS y
[S y , Sz ] = ⎡⎢ i2= (− + ⎤⎡ = ⎤
− + − + )⎥ ⎢ ( + + − − − )⎥ −
⎣ ⎦⎣ 2 ⎦
⎡= ⎤ ⎡ i= ⎤
⎢⎣ 2 ( + + − − − )⎥ ⎢ 2 (− + − + − + )⎥
⎦⎣ ⎦
[ i=
]( + − + − + ) − i= (− + − − − + )
2 2
S y , Sz =
4 4
[ i=
](+ − + − + )
2
S y , Sz =
2
[
S y , S z = i=S x]
Usando uma das propriedades dos comutadores
[A, B] = −[B, A] ,
[S y ]
, S x = −i=S z
[S z , S x ] = i=S y .
[S , S ] = −i=S
z y x
⎡⎣ Si , S j ⎤⎦ = iε ijk =S k
2
em que S1 = S x , S 2 = S y e S 3 = S z . Temos ainda que ε ijk ( conhecido como
densidade de Levi-Civita ) possui a seguinte propriedade
Calculando o anticomutador {S i , S j }.
{S x , S y } = {S y , S x } = S x S y + S y S x = ( + + − − − ) + (− + + + − − ) = 0
i= 2 i= 2
4 4
=2
(− + − + − + ) + = ( + − − − + ) = 0
2
{S x , S z } = {S z , S x } = S x S z + S z S x =
4 4
{S y , S z } = {S z , S y } = S y S z + S z S y =
i= 2
( + − + − + ) + i= (− + − − − + ) = 0
2
4 4
{S i , S i } = S i S i + S i S i = 2S i
2
i =1
=2 =2
= 2 ( + + + − − )=
2
2S x
4 2
i=2
=2
(− + + − − − ) = =
2
2 S y = 2(−1)
2
4 2
i=3
=2
(+ + + − − )= =
2
2S z = 2
2
4 2
{S , S } = =
2
i j δ ij .
2
3
Problema 9
G
Construa S .nˆ;+ tal que
G G ⎛=⎞ G
S .nˆ S .nˆ;+ = ⎜ ⎟ S .nˆ;+
⎝2⎠
⎛β ⎞ ⎛β ⎞
cos⎜ ⎟ + + sen⎜ ⎟e iα − .
⎝2⎠ ⎝2⎠
1
Solução :
G
Utilizando a notação vetorial, podemos escrever S e n̂ como
e
G
S = S x xˆ + S y yˆ + S z zˆ
= ⎛0 1⎞ = ⎛0 − i⎞ = ⎛1 0 ⎞
S x = ⎜ ⎟; S y = ⎜ ⎟; S z = ⎜ ⎟
2 ⎜⎝ 1 0 ⎟⎠ 2 ⎜⎝ i 0 ⎟⎠ 2 ⎜⎝ 0 − 1⎟⎠
G
Calculando S .nˆ , temos
G
S .nˆ = senβ . cos α .S x + senβ .senα .S y + cos β .S z .
G ⎛a ⎞
S .nˆ;+ = ⎜⎜ + ⎟⎟ ,
⎝ a− ⎠
ou ainda na forma
G
S .nˆ;+ = a + + + a − − .
2
=⎛ cos β senβ . cos α − i.senβ .senα ⎞⎛ a + ⎞ = ⎛ a + ⎞
⎜⎜ ⎟⎟⎜⎜ ⎟⎟ = ⎜⎜ ⎟⎟ .
2 ⎝ senβ . cos α + i.senβ .senα − cos β ⎠⎝ a − ⎠ 2 ⎝ a − ⎠
(1 − cos β ) iα
a− = a+ e
senβ
(1 − cos β ) i.α
− (cos β + 1) .e .a + + a + .senβ .e i.α = 0
senβ
⎡ 1 + cos 2 β ⎤
a + .⎢− + senβ ⎥.e i.α = 0
⎣ senβ ⎦
a+
[− 1 + 1].e i.α = 0
senβ
Esta equação é satisfeita para algum valor de a + , como deve ser para uma
equação de autovalor. Também, temos uma relação que deve ser satisfeita
pelos valores de a + e a −
2
a+ + a−
2
= 1.
⎛β ⎞
sen ⎜ ⎟
a− 1 − cos β i.α ⎛β ⎞ ⎝ 2 ⎠ .ei.α .
= .e = tan ⎜ ⎟ .ei.α =
a+ senβ ⎝2⎠ ⎛β ⎞
cos ⎜ ⎟
⎝2⎠
3
⎛β ⎞ ⎛β ⎞
a − = sen⎜ ⎟.e i.α e a + = cos⎜ ⎟
⎝2⎠ ⎝2⎠
⎛ ⎛β ⎞ ⎞
G ⎜ cos⎜ ⎟ ⎟
S .nˆ;+ = ⎜ ⎝2⎠ ⎟
⎜ ⎛ β ⎞ i.α ⎟
⎜ sen⎜ ⎟.e ⎟
⎝ ⎝2⎠ ⎠
ou
G ⎛β ⎞ ⎛β ⎞
S .nˆ;+ = cos⎜ ⎟ + + sen⎜ ⎟.e i.α −
⎝2⎠ ⎝2⎠
4
Problema 10
H = a( 1 1 − 2 2 + 1 2 + 2 1 ) ,
Solução:
⎛a a ⎞
H = ⎜ ⎟
⎝ a −a ⎠
H α = Eα α
⎛ a a ⎞⎛ 1 α ⎞ ⎛ 1α ⎞
⎜ ⎟ ⎜ 2 α ⎟ = Eα ⎜ 2 α ⎟
⎝ a −a ⎠ ⎝ ⎠ ⎝ ⎠
ou
⎡⎛ a a ⎞ ⎛ 1 0 ⎞⎤ ⎛ 1 α ⎞
⎢⎜ ⎟ − Eα ⎜ ⎟⎥ ⎜ ⎟=0
⎣⎝ a − a ⎠ ⎝ 0 1 ⎠⎦ ⎝ 2 α ⎠
⎛ a − Eα a ⎞
det ⎜ ⎟ = 0.
⎝ a −a − Eα ⎠
1
Eα2 − a 2 − a 2 = 0
.
Eα = + 2a
H E+ = E+ E+
E+ = 1 E+ 1 + 2 E+ 2 .
H E+ = E+ E+
⎡ a ( 1 1 − 2 2 + 1 2 + 2 1 ) ⎤ 1 E+
⎣ ⎦ ( 1 + 2 E+ ) (
2 = E+ 1 E+ 1 + 2 E+ 2 )
(
a 1 E+ 1 − 2 E+ 2 + 2 E+ 1 + 1 E+ 2 )=E ( 1 E
+ + 1 + 2 E+ 2 )
Multiplicando a equação acima ( à esquerda ) pelo bra 1 temos
a ⎡⎣ 1 E+ + 2 E+ ⎤⎦ = E+ 1 E+
(a − E ) 1 E
+ + = −a 2 E+
.
( E+ − a)
2 E+ = 1 E+
a
a ⎡⎣ − 2 E+ + 1 E+ ⎤⎦ = E+ 2 E+
.
2 E+ ( E+ + a ) = a 1 E+
2
Substituindo a equação
( E+ − a)
2 E+ = 1 E+
a
na
2 E+ (E + + a ) = a 1 E+ ,
temos
(E − a)
+
a
(E + + a ) 1 E+ = a 1 E+ .
Substituindo E+ = + 2a , temos
E+2 − a 2 = a 2
.
2a 2 − a 2 = a 2
(E − a)
+
a
(E + + a ) 1 E+ = a 1 E+
( E+ − a)
2 E+ = 1 E+ .
a
Explicitamente
2 E+ +a 2 − a
= = + 2 −1.
1 E+ a
3
2 2
2 E+ + 1 E+ = 1.
Se fizermos
1 E+ = C+
então
2 E+ = C+ + 2 − 1 , ( )
e
(
C+2 ⎡1 + + 2 − 1 ⎤ = 1 )
2
⎢⎣ ⎥⎦
C+2 ⎡⎣1 + 2 + 2 2 + 1⎤⎦ = 1
2C+2 ⎡⎣ 2 + 2 ⎤⎦ = 1 .
1/ 2
⎡ ⎤
1
C+ = ⎢ ⎥
⎢2 2+ 2 ⎥
⎣ ⎦ ( )
Finalmente, temos
1
1 E+ =
(
2 2+ 2 )
.
2 E+ =
1
(+ 2 −1 )
(
2 2+ 2 )
Os autokets de H são :
1/ 2
⎡ ⎤
E+ =⎢
1 ⎥ ⎡1 + ( 2 −1 2 ⎤)
⎢2 2− 2 ⎥
⎣ ⎦ ( ) ⎣ ⎦
1/ 2
⎡ ⎤
E− =⎢
1 ⎥ ⎡1 − ( 2 +1 2 ⎤)
⎢2 2+ 2 ⎥
⎣ ⎦ ( ) ⎣ ⎦
4
Problema 11
H = H11 1 1 + H 22 2 2 + H12 ⎡⎣ 1 2 + 2 1 ⎤⎦
G =
S .nˆ nˆ; + = nˆ; + ,
2
β β
nˆ; + = cos + + eiα sen − ,
2 2
1
Solução :
G = G G G G
S .nˆ = ⎡ S .nˆ; + S .nˆ; + − S .nˆ; − S .nˆ; − ⎤ (2)
2⎣ ⎦
G
onde foi usado a relação (1.3.34) do livro texto, em que S .nˆ; ± são os
G
autovetores de S .nˆ e ±= /G2 são os autovalores. Do exercício 9 sabe-se como
escrever os autokets de S .nˆ na base S z . Assim, substituindo esses dados em
(2), obtemos :
G = ⎡⎛ β β ⎞⎛ β β ⎞⎤
S .nˆ = ⎢⎜ cos + + eiα sen − ⎟ ⎜ + cos + − e −iα sen ⎟ ⎥ −
2 ⎣⎝ 2 2 ⎠⎝ 2 2 ⎠⎦
.
= ⎡⎛ β −iα β ⎞⎛ iα β β ⎞⎤
⎢ ⎜ − sen e + + cos − ⎟ ⎜ + − e sen + − cos ⎟ ⎥
2 ⎣⎝ 2 2 ⎠⎝ 2 2 ⎠⎦
2
Fazendo os produtos
G =⎛ β β⎞ =⎛ β β β β⎞
S • nˆ = ⎜ cos 2 − sen 2 ⎟ + + + ⎜ e −iα cos sen + e −iα sen cos ⎟ + − +
2⎝ 2 2⎠ 2⎝ 2 2 2 2⎠
= ⎛ iα β β iα β β⎞ =⎛ 2 β β⎞
⎜ e cos sen + e cos sen ⎟ − + + ⎜ sen − cos 2 ⎟ − −
2⎝ 2 2 2 2⎠ 2⎝ 2 2⎠
temos finalmente,
G =
S • nˆ = ⎡⎣cos β + + + e − iα senβ + − + eiα senβ − + − cos β − − ⎤⎦
2
G = ⎛ cos β e − iα senβ ⎞
S • nˆ = ⎜ iα ⎟ (3)
2 ⎝ e senβ − cos β ⎠
⎛H H12 ⎞
H = ⎜ 11 ⎟ (4)
⎝ H12 H 22 ⎠
⎛= = −iα ⎞
⎜ a cos β + b e asenβ ⎟
⎛ H11 H12 ⎞ 2 2
⎜ ⎟=⎜ ⎟ (5)
H 22 ⎠ ⎜ = =
⎝ H12
⎜ asenβ e
iα
− a cos β + b ⎟⎟
⎝ 2 2 ⎠
3
⎧ =
⎪ H11 = a 2 cos β + b
⎪
⎪ =
⎨ H12 = asenβ (6)
⎪ 2
⎪ =
⎪ H 22 = − a cos β + b
⎩ 2
1
b= ( H11 + H 22 ) (7)
2
2H12
tg β = (9)
H11 − H 22
4
Assim, da figura acima, obtemos :
2 H12 H12
senβ = = (10)
4 H122 + ( H11 − H 22 ) 2 ⎛ H − H 22 ⎞
2
H122 + ⎜ 11 ⎟
⎝ 2 ⎠
a = ⎢ H12 + ⎜ ⎟ ⎥ (11)
= ⎣⎢ ⎝ 2 ⎠ ⎦⎥
G
Para o operador S • nˆ vale a equação de autovalor:
G =
S .nˆ nˆ; ± = ± nˆ; ±
2
G
Mas por (1), podemos trocar S • nˆ por H na equação acima, logo :
G ( H − bI ) =
S .nˆ nˆ; ± = nˆ; ± = ± nˆ; ±
a 2
ou
⎛ a= ⎞
H nˆ; ± = ⎜ ± + b ⎟ nˆ; ± (12)
⎝ 2 ⎠
H E, ± = ± E E, ±
Vemos que
a=
E± = ± +b (13)
2
5
E também
E , ± = nˆ , ± (14)
β β
E + = cos + + sen − , (15)
2 2
β β
E − = − sen + + cos − , (16)
2 2
com
⎛ 2 H12 ⎞
β = arctg ⎜ ⎟.
⎝ H11 − H 22 ⎠
6
1/ 2
⎡ ⎛ H11 − H 22 ⎞ 2 ⎤ H11 + H 22 ⎡ H − H 22 ⎤ H11 + H 22
E± = ± ⎢ 0 + ⎜ ⎟ ⎥ + = ± ⎢ 11 ⎥+
⎢⎣ ⎝ 2 ⎠ ⎥⎦ 2 ⎣ 2 ⎦ 2
H11 − H 22 H11 + H 22
E+ = + = H11
2 2 .
E+ = H11
⎛ H − H 22 ⎞ H11 + H 22 H H H H
E− = − ⎜ 11 ⎟+ = − 11 + 22 + 11 + 22 = H 22
⎝ 2 ⎠ 2 2 2 2 2
E− = H 22
7
Problema 12
G
Um sistema de spin 1/ 2 é conhecido estar no autoestado de S .nˆ com
autovalor = / 2 , em que n̂ é um vetor unitário que está no plano xz que faz
um ângulo γ com o eixo z positivo.
(S )
2
x − Sx .
Solução :
1
a. O autoestado do sistema expresso na base { + , − } está em acordo com o
exercício 9.
⎛γ ⎞ ⎛γ ⎞
nˆ; + = cos ⎜ ⎟ + + sen ⎜ ⎟ − (1)
⎝2⎠ ⎝2⎠
P ( S x , + = / 2 ) = xˆ; + nˆ; +
2
(2)
⎛π ⎞ ⎛π ⎞
xˆ; + = cos ⎜ ⎟ + + sen ⎜ ⎟ − =
1
( + + − ). (3)
⎝4⎠ ⎝4⎠ 2
Então
2
1 ⎛γ ⎞ ⎛γ ⎞ 1
P ( S x , + = / 2 ) = cos ⎜ ⎟ + sen ⎜ ⎟ = (1 + senγ ) (4)
2 ⎝2⎠ ⎝2⎠ 2
(S )
2
− Sx = Sx2 − Sx .
2
x (5)
=
Sx =
2
( + − + − + ), (7)
2
⎡ ⎛γ ⎞ ⎛γ ⎞ ⎤ =
2
2 ⎡ ⎛γ ⎞ ⎛γ ⎞ ⎤
S x2 = ⎢cos ⎜ ⎟ + + sen ⎜ ⎟ − ⎥ ⎡⎣ + − + − + ⎤⎦ ⎢ cos ⎜ ⎟ + + sen ⎜ ⎟ − ⎥
⎣ ⎝2⎠ ⎝2⎠ ⎦ 4 ⎣ ⎝2⎠ ⎝2⎠ ⎦
=2 ⎡ ⎛ γ ⎞ ⎛γ ⎞ ⎤ ⎡ ⎛γ ⎞ ⎛γ ⎞ ⎤
S x2 = ⎢cos ⎜ ⎟ + + sen ⎜ ⎟ − ⎥ ⎡⎣ + + + − − ⎤⎦ ⎢cos ⎜ ⎟ + + sen ⎜ ⎟ − ⎥
4 ⎣ ⎝2⎠ ⎝2⎠ ⎦ ⎣ ⎝2⎠ ⎝2⎠ ⎦
= ⎡ ⎛γ ⎞
2
⎛γ ⎞ ⎤⎡ ⎛γ ⎞ ⎛γ ⎞ ⎤
S x2 = ⎢cos ⎜ ⎟ + + sen ⎜ ⎟ − ⎥ ⎢ cos ⎜ ⎟ + + sen ⎜ ⎟ − ⎥
4 ⎣ ⎝2⎠ ⎝ 2⎠ ⎦⎣ ⎝ 2⎠ ⎝2⎠ ⎦ . (8)
= ⎡ ⎛γ ⎞ ⎛ γ ⎞⎤
2
S x2 = ⎢cos 2 ⎜ ⎟ + sen 2 ⎜ ⎟ ⎥
4 ⎣ ⎝2⎠ ⎝ 2 ⎠⎦
=2
S x2 = [1]
4
=2
S x2 =
4
⎡ ⎛γ ⎞ ⎛γ ⎞ ⎤ = ⎡ ⎛γ ⎞ ⎛γ ⎞ ⎤
S x = ⎢cos ⎜ ⎟ + + sen ⎜ ⎟ − ⎥ ⎣⎡ + − + − + ⎦⎤ ⎢cos ⎜ ⎟ + + sen ⎜ ⎟ − ⎥
⎣ ⎝2⎠ ⎝2⎠ ⎦2 ⎣ ⎝2⎠ ⎝2⎠ ⎦
= ⎡ ⎛γ ⎞ ⎛γ ⎞ ⎤⎡ ⎛γ ⎞ ⎛γ ⎞ ⎤
S x = ⎢cos ⎜ ⎟ + + sen ⎜ ⎟ − ⎥ ⎢ sen ⎜ ⎟ + + cos ⎜ ⎟ − ⎥
2 ⎣ ⎝2⎠ ⎝ 2⎠ ⎦⎣ ⎝ 2⎠ ⎝2⎠ ⎦
= ⎡ ⎛γ ⎞ ⎛γ ⎞ ⎛γ ⎞ ⎛ γ ⎞⎤
Sx = ⎢ sen ⎜ 2 ⎟ cos ⎜ 2 ⎟ + sen ⎜ 2 ⎟ cos ⎜ 2 ⎟ ⎥ . (9)
2 ⎣ ⎝ ⎠ ⎝ ⎠ ⎝ ⎠ ⎝ ⎠⎦
= ⎡ ⎛γ ⎞ ⎛ γ ⎞⎤
Sx = ⎢ 2sen ⎜ 2 ⎟ cos ⎜ 2 ⎟ ⎥
2 ⎣ ⎝ ⎠ ⎝ ⎠⎦
=
Sx = senγ
2
2
Para S x temos:
=2
= sen 2γ .
2
Sx (10)
4
Finalmente, temos:
3
=2 =2
(S )
2
− Sx = Sx − Sx = − sen 2γ
2 2
x
4 4
=2
(S ) ( )
2
x − Sx = 1 − sen 2γ
4
=2
(S )
2
x − Sx = cos 2 γ
4
=2
(S )
2
x − Sx = para γ = 0
4
(S )
2
x − Sx =0 para γ = π / 2
=2
(S )
2
x − Sx = para γ = π
4
4
Problema 13
Solução :
1
Figura 2: Intensidade dos feixes através dos diversos experimentos de SG.
2 2
Probabilidade de se obter S z ;− = −= / 2 ⇒ PS z ;− = − S n ; + Sn ; + +
G β β
S .nˆ; + = cos + + eiα sen − .
2 2
Logo,
G β G 2 β
+ S .nˆ; + = cos → + S .nˆ; + = cos 2 ,
2 2
2
e
G β G 2 2 β β
− S .nˆ; + = eiα sen → − S .nˆ; + = eiα sen 2 = sen 2 .
2 2 2
2
Consideramos acima que eiα = 1 . Substituindo os resultados, temos :
β β β⎞β
2
⎛
PS z = cos 2
sen = ⎜ cos sen ⎟ .
2
2 2 ⎝ 2 2⎠
Como
β β
senβ = 2 sen cos ,
2 2
temos :
sen 2 β
PS z = .
4
Também, 0 < sen 2 β < 1 , então PS é máximo para β = π / 2 , pois neste ângulo
z
1
PS z →max = . para β = π / 2
4
3
Problema 14
⎛0 1 0⎞
1 ⎜ ⎟
⎜ 1 0 1⎟ .
2⎜ ⎟
⎝0 1 0⎠
Solução :
a. Seja
⎛0 1 0⎞
1 ⎜ ⎟
L= ⎜ 1 0 1⎟,
2⎜ ⎟
⎝0 1 0⎠
L l =l l ⇒ ( L − lI ) l = 0 . (1)
Como l não pode ser um ket nulo (não queremos uma solução trivial),
devemos ter,
det( L − lI ) = 0
ou,
−l 1/ 2 0
1/ 2 −l 1/ 2 = 0 .
0 1/ 2 −l
1
Logo, obtemos :
l l
−l 3 + + =0
2 2
l3 − l = 0 (2)
l (l − 1) = 0
2
⎧l1 = 0
⎪
⎨l2 = 1
⎪l = −1
⎩3
a) l1 = 0
( L − 0 I ) l1 = 0
⎛ 0 1/ 2 0 ⎞ ⎛ x1 ⎞ ⎛ 0 ⎞
⎜ ⎟⎜ ⎟ ⎜ ⎟
⎜1/ 2 0 1/ 2 ⎟ ⎜ x2 ⎟ = ⎜ 0 ⎟
⎜ ⎟⎜ ⎟ ⎜ ⎟
⎜ 0 1/ 2 0 ⎟⎠ ⎝ x3 ⎠ ⎝ 0 ⎠
⎝
e obtemos :
1
x2 = 0 → x2 = 0
2
1 1
x1 + x3 = 0 → x1 = − x3
2 2
1
x2 = 0 → x2 = 0
2
2
⎛1⎞
l = ⎜ 0 ⎟ ,
1 ⎜ ⎟
⎜ −1⎟
⎝ ⎠
onde
l1 = α l1
l1 l1 = 1
α l1 l1 = 1
2
(a)
1
α =
l l
1 1
Mas,
⎛1⎞
l l = (1 0 −1) ⎜ 0 ⎟ = 1 + 1 = 2
1 1 ⎜ ⎟
⎜ −1⎟
⎝ ⎠
1
α =
2
⎛1⎞
1 ⎜ ⎟
l1 = 0
2 ⎜⎜ ⎟⎟
⎝ −1 ⎠
b) l2 = 1
3
⎛ −1 1/ 2 0 ⎞ ⎛ x1 ⎞ ⎛ 0 ⎞
⎜ ⎟⎜ ⎟ ⎜ ⎟
⎜1/ 2 −1 1/ 2 ⎟ ⎜ x2 ⎟ = ⎜ 0 ⎟
⎜ ⎟⎜ ⎟ ⎜ ⎟
⎜ 0 1/ 2 −1 ⎟ ⎝ x3 ⎠ ⎝ 0 ⎠
⎝ ⎠
x2 x2
− x1 + =0 → = x1
2 2
x1 x x x
− x2 + 3 = 0 → x2 = 1 + 3
2 2 2 2
x2 x
− x3 = 0 → x3 = 2
2 2
⎛ 1 ⎞
⎜ ⎟
l2 = ⎜ 2 ⎟
⎜ 1 ⎟
⎝ ⎠
temos
⎛ 1 ⎞
⎜ ⎟
(
l2 l2 = 1 )
2 1 ⎜ 2 ⎟ = 1+ 2 +1 = 4 (b)
⎜ 1 ⎟
⎝ ⎠
1
l2 = l2
l l
2 2
⎛ 1 ⎞
1⎜ ⎟
l2 = ⎜ 2 ⎟
2⎜ ⎟
⎝ 1 ⎠
4
c) l3 = −1
⎛ 1 1/ 2 0 ⎞ ⎛ x1 ⎞ ⎛ 0 ⎞
⎜ ⎟⎜ ⎟ ⎜ ⎟
⎜1/ 2 1 1/ 2 ⎟ ⎜ x2 ⎟ = ⎜ 0 ⎟
⎜ ⎟⎜ ⎟ ⎜ ⎟
⎜ 0 1/ 2 1 ⎟ ⎝ x3 ⎠ ⎝ 0 ⎠
⎝ ⎠
obtendo,
x2 x2
x1 + =0 → − = x1
2 2
x1 x x x
+ x2 + 3 = 0 → x2 = − 3 − 1
2 2 2 2
x2 x
+ x3 = 0 → x3 = − 1
2 2
⎛ 1 ⎞
⎜ ⎟
l3 = ⎜ − 2 ⎟
⎜ 1 ⎟
⎝ ⎠
⎛ 1 ⎞
⎜ ⎟
( )
l3 l3 = 1 − 2 1 ⎜ − 2 ⎟ = 1 + 2 + 1 = 4
⎜ 1 ⎟
⎝ ⎠
1
l3 = l3 ,
l l
3 3
5
⎛ 1 ⎞
1⎜ ⎟
l3 = ⎜ − 2 ⎟ .
2⎜ ⎟
⎝ 1 ⎠
6
Problema 15
[ A, B ] = 0 ?
Solução :
[ A, B ] α = ( AB − BA) α = ∑∑ (a ' b '− b ' a ') a ', b ' a ', b ' α . (2)
a' b'
Logo, como
[ A, B ] α = 0, (3)
[ A, B ] = 0 .
1
Problema 16
{ A, B} = AB + BA = 0 .
Solução :
Suponhamos que existe um ket a ', b ' não nulo simultâneo a A e B . Então :
1
Problema 17
[ A1 , A2 ] ≠ 0 ,
[ A1 , H ] = 0 , [ A2 , H ] = 0 .
Solução :
[ A2 , H ] a1 , E =0
[ A2 , H ] = 0 → A2 H a1 , E − HA2 a1 , E = 0
EA2 a1 E − HA2 a1 , E = 0
A2 a1 , E = α ,
teremos
EA2 a1 , E − HA2 a1 , E = 0
E α −H α =0 .
H α =E α
1
Desta forma, percebemos que α também é um auto-estado de H .
[ A1 , H ] a2 , E =0
[ A1 , H ] = 0 → A1 H a2 , E − HA1 a2 , E = 0
EA1 a2 E − HA1 a2 , E = 0
EA1 a2 , E − HA1 a2 , E = 0
E β −H β =0
H β =E β
2
Problema 18
(α + λ * β ).( α + λ β )≥0
ΔA α = λ ΔB α
⎡ i 〈 p 〉 x′ ( x′ − 〈 x〉 ) 2 ⎤
x′ α = ( 2π d )
2 −1 4
exp ⎢ − ⎥
⎢⎣ = 4d 2 ⎥⎦
=
( Δx ) ( Δp ) =
2 2
x′ Δx α = (número imginário) x′ Δp α
É de fato satisfeito para tal pacote de onda Gaussiano, de acordo com (b)
Solução :
1
a. Nós sabemos que para uma estado arbitrário c a seguinte relação se
matém
c c ≥0 (1)
(α + λ* β )+( α +λ β )≥0
α α + λ α β + λ * β α + λλ * β β ≥ 0 (2)
α α + λ α β + λ* β α + λ β β ≥0
2
β α α β
λ=− e λ* = −
β β β β
c = α + λ β = 0 ⇒ α = −λ β (4)
2
Isso é se α e β forem colineares.
b. A relação e incerteza é
1
( ΔA ) ( ΔB ) [ A, B ]
2
≥
2 2
(5)
4
Para provar esta relação nós usamos a desigualdade de Schwarz (3) para os
vetores α = ΔA a e β = ΔB a os quais dão
2
α α β β ≥ ΔAΔB
2
a ΔAΔA a a ΔBΔB a ≥ ΔAΔB
(6)
a ( ΔA) a a ( ΔB ) a ≥ ΔAΔB
2 2 2
( ΔA) ( ΔB )
2
≥ ΔAΔB
2 2
ΔA a = λΔB a (7)
1 1
ΔAΔB =[ ΔA, ΔB ] + {ΔA, ΔB}
2 2
1 1
ΔAΔB = [ A, B ] + {ΔA, ΔB} (8)
2 2
1 1
[ A, B ] + {ΔA, ΔB}
2 2 2
ΔAΔB =
4 4
3
1
{ΔA, ΔB}
2
=0
4
{ΔA, ΔB} =0
(7)
a ΔAΔB + ΔBΔA a = 0 ⇒
(9)
a λ ( ΔB ) a + a λ ( ΔB ) a = 0
2 * 2
λ a ( ΔB ) a + λ * a ( ΔB ) a = 0
2 2
( λ + λ ) a ( ΔB )
* 2
a =0
ΔA a = λΔB a (10)
∫ ∫ dx′
2
x = dx′ α x′ x′ x′ α = x′ α x′ = 0 (11)
−∞ −∞
Para x2 obtemos
∞
∫ dx′x′
2
x 2
= 2
x′ α
−∞
2
∞
⎛ 1 ⎞ ⎡ ( x′ ) ⎤
2
x 2
= ∫ dx′x′ ⎜ 1 2
⎟⎟ exp ⎢ikx′ − ⎥
⎜ 4 4d 2 ⎥⎦
−∞ ⎝π d ⎠ ⎢⎣
(12)
∞ ⎡ ( x′ ) ⎤
2
⎛ 1 ⎞
x2 = ⎜ ⎟∫ ′ ′ ⎢ikx′ − 2 ⎥
2
dx x exp
⎝ π d ⎠ −∞ ⎢⎣ d ⎥⎦
d2
x2 =
2
O que nos dá
4
d2
( Δx ) = x2 − x =
2 2
(13)
2
=2
p2 = 2
+ =2k 2
2d
( Δp ) = p2 − p
2 2
=2
( Δp ) = + =2 k 2 − =2k 2
2
2d 2
(14)
=2
( Δp ) = 2
2
2d
=2
( Δx ) ( Δp ) =
2 2
(15)
4
5
Assim um pacote de onda Gaussiana tem de fato uma relação de igualdade
no lugar da mais geral relação de desigualdade, por essa razão é chamada de
pacote de onda de incerteza mínima.
x′ Δx α ≡ x′ ( x − x )α
x′ Δx α = x′ x′ α − x x′ α (16)
x′ Δx α = ( x′ − x ) x′ α
x′ Δp α ≡ x′ ( p − p )α
∂ (17)
x′ Δp α = −i= x′ α − p x′ α
∂x′
Mas
∂ ⎡ i p x′ ( x′ − x ) ⎤
2
∂
x′ α = x′ α ⎢ − ⎥
∂x′ ∂x′ ⎢ = 4d 2 ⎥
⎣ ⎦ (18)
∂ ⎡i p ⎤
− 2 ( x′ − x ) ⎥
1
x′ α = x′ α ⎢
∂x′ ⎣ = 2d ⎦
⎛ ⎡i p ⎤⎞
− 2 ( x′ − x )⎥ ⎟⎟ −
1
x′ Δp α = −i= ⎜ x′ α ⎢ p x′ α
⎜
⎝ ⎣ = 2d ⎦⎠
i=
x′ Δp α = p x′ α + 2 ( x′ − x ) x′ α − p x′ α
2d
i=
x′ Δp α = 2 ( x′ − x ) x′ α (19)
2d
i=
x′ Δp α = 2 x′ Δx α
2d
i 2d 2
x′ Δx α = − x′ Δp α
=
Número imaginário
6
Problema 19
a. Compute
( ΔS x )
2
≡ S x2 − S x ,
2
1
( ΔA) ( ΔB ) [ A, B ] ,
2 2 2
≥
4
com A → S x , B → S y .
Solução :
a. e b. Calcularemos a quantidade S x .
Sx = + Sx + (1)
Escrevendo S x como
=
Sx =
2
(+ −+ − + ) (2)
temos
=
Sx =
2⎣
⎡+ (+ − + − + ) + ⎤⎦ = 0 ,
o que leva a
=0.
2
Sx (3)
1
Calcularemos agora S x 2 :
=2 =2
Sx2 = ⎡⎣ + + + − − ⎤⎦ = 1 (4)
4 4
Assim,
=2 =2
S x2 = + S x2 + = +1+ = , (5)
4 4
e consequentemente,
=2
( ΔS x )
2
= S − Sx =
2 2
x (6)
4
( ΔS )
2
Da mesma forma, podemos calcular y no estado S z + :
i=
Usando S y =
2
( − + − + − + ) , temos
2
Sy = + Sy + = 0 e Sy =0 (7)
=2 =2 =2 =2
Sy 2
= − ⎡⎣ − + + − − − ⎤⎦ = 1 e S 2
y = +1+ = (8)
4 4 4 4
Então,
=2
( ΔS )
2 2
y = S y2 − S y = (9)
4
⎡⎣ S x , S y ⎤⎦ = i=S z (10)
2
i= 2
Logo ⎡⎣ S x , S y ⎤⎦ = i= S z = i= + S z + = (11)
2
2 =4
Sx , S y = (12)
4
=4
Fazendo o produto ( ΔS x ) ( ΔS y )
2 2
= .
16
=4 1 =4
≥
16 4 4
3
Problema 20
( ΔS x ) ( ΔS )
2 2
y
Solução :
A combinação linear mais geral, a menos de uma fase global (que não tem
interesse em Mecânica Quântica), é dada por
Sx =
2
(+ − + − + ) (2)
−i
Sy =
2
(+ − − − + ) (3)
logo
⎡ ⎤
S x2 = S x S x = ⎢ ( + − + − + ) ( + − + − + ) ⎥
⎣2 2 ⎦ (4)
2 2
S x2 =
4
(+ + + − − )=
4
1
1
⎡ −i
S y2 = S y S y = ⎢ (+ − − − + ) −2i ( + ⎤
− − − + )⎥
⎣ 2 ⎦
2 2
(5)
S =
2
y
4
(+ + + − − )=
4
1
( ΔS x )
2
= Sx2 − Sx .
2
(6)
( ΔS )
2 2
y = Sy2 − Sy (7)
2 2 2
Sx2 = α Sx2 α = α 1α = αα = (8)
4 4 4
2
S y2 = Sx2 = (9)
4
S x = α S x α = ⎡a + + 1 − a 2 ( ) (
e − iβ − ⎤ S x ⎡ a + + 1 − a 2 ) ei β − ⎤
1/ 2 1/ 2
⎢⎣ ⎥⎦ ⎢⎣ ⎥⎦
( ) ( )
1/ 2 1/ 2
Sx = a2 + Sx + + a 1 − a2 ei β + S x − + a 1 − a 2 e − iβ − S x + + (10)
(1 − a ) − S
2
x −
Utilizando S x =
2
(+ − + − + ) temos que
+ Sx + = 0 ; + Sx − = − Sx + = ; − Sx − = 0
2
2
Assim, o valor esperado de S x é:
Sx =
2
{a(1 − a ) 2 1/ 2 i β
}
e + a (1 − a 2 )1/ 2 e −iβ = a (1 − a 2 )1/ 2 cos β (11)
Usando
−i
Sy =
2
(+ − − − + )
Podemos calcular :
−i
+ Sy + = 0 ; + Sy − = − − Sy + = ; − Sy − = 0
2
Sy =
i
2
{ }
a(1 − a 2 )1/ 2 e − iβ − a(1 − a 2 )1/ 2 eiβ = a(1 − a 2 )1/ 2 senβ (13)
e
2 2
( ΔS y )
2
= − 2
a 2 (1 − a 2 ) sen 2 β = ⎡⎣1 − 4a 2 (1 − a 2 ) sen 2 β ⎤⎦ (15)
4 4
3
{1 − 4a (1 − a ) ⎡⎣sen β − cos β ⎤⎦ + 16a (1 − a ) ( senβ cos β ) }
2
( ΔS x ) ( ΔS )
2 2 2
y = 2 2 2 2 4 2 2
16
2
( ΔS x ) ( ΔS ) {1 − 4a (1 − a ) + 4a (1 − a ) sen (2β )}
2 2
y = 2 2 4 2 2 2
16
16 { }
2 2
2 2
1 − 2.2a 2 (1 − a 2 ) + ⎡⎣ 2a 2 (1 − a 2 ) ⎤⎦ = ⎡⎣1 − 2a 2 (1 − a 2 ) ⎤⎦ (17)
16
⎡⎣1 − 2a 2 (1 − a 2 ) ⎤⎦ =1 (18)
a =±1
⎡⎣1 − 2a 2 (1 − a 2 ) ⎤⎦ = 1 (19)
a =0
π
β =+ , a=0 ⇒ α = eiπ / 4 −
4
π
β =+ , a = ±1 ⇒ α =± +
4
π
β =− , a=0 ⇒ α = e− iπ / 4 −
4
4
π
β =− , a = ±1 ⇒ α =± +
4
De forma geral :
α =± + (20a)
α = e± iπ / 4 − (20b)
( ΔS ) 1 2
( ΔS x )
2
⎡ S x , S y ⎤⎦
2
≥ (22)
4 ⎣
y
Temos que
⎡⎣ S x , S y ⎤⎦ = i S z (23)
Sz = α Sz α . (24)
5
Sz = + ( ± ) Sz + = (25)
2
ou usando (20b) :
S z = − e ∓ iπ / 4 S z e ± iπ / 4 − = − S z − = − (26)
2
( ΔS x ) ( ΔS ) 1
2
≥ ±i
2
y
4 2
4
( ΔS x ) ( ΔS )
2 2
y ≥
16
6
Problema 21
( Δx ) ( Δp )
2 2
Solução :
H ψ =Eψ
Logo,
x' H ψ = E x' ψ
p2
x ψ =E xψ
2m
Como
x ' ψ = ψ ( x ')
1
p2 = 2 d 2ψ
x' ψ =− ,
2m 2m dx '2
Temos :
d 2ψ 2mE
+ 2 ψ =0
dx '2 =
onde
2mE
k2 = (1)
=2
ψ ( x ' = 0) = 0 e A + B.0 = 0 → A = 0
ψ ( x ' = a) = 0 = Bsenka
ka = nπ ,
2
a
∫ψ dx = 1
2
n
0
a
a
=1
2
B
2
2
B =
a
Logo,
2
ψ n ( x ') = x ' ψ = senkn x ' (3)
a
Cálculo de ( Δx )
2
Temos que
Δx = x − x
Logo,
Δx 2 = x 2 − 2 x x + x
2
( Δx )
2
= x2 − x
2
(4)
x = ψ x ψ = ∫ ∫ dx '' dx ' ψ x '' x '' x x ' x ' ψ = ∫ ∫ dx '' dx ' x 'ψ * ( x '')ψ ( x ')δ ( x ''− x ')
3
a
2 ⎡ x2 ⎤ 1a
a a
2 x 1
x = ∫ xsen kn xdx = ⎢ − sen2kn x ⎥ − ∫ xdx +
4kn ∫0
2
sen 2kn dx
a0 a ⎣ 2 4k n ⎦0 2 0
2 ⎛ a2 a2 2 a⎞
x = ⎜ − − [ cos 2 k n x ]0 ⎟
a⎝ 2 4 a (4kn ) 2 ⎠
2 a2
x =
a 4
a
x =
2
2 ⎧⎪⎛ x3 x 2 ⎫⎪
a
a
2 2 2 ⎞ a 2 1
a
= ∫ x sen kn xdx = ⎨⎜ − sen 2kn x ⎟ − ∫ x dx +
2kn ∫0
2
x xsen 2 k n xdx ⎬
a0 a ⎪⎝ 2 4kn ⎠
⎩ 0 0 ⎭⎪
2 ⎛ a2 1 ⎛ a ⎞ ⎞ 1 ⎛ a3 a ⎞
x2 = ⎜ + ⎜− ⎟ ⎟⎟ = ⎜ − 2 ⎟
⎜
a ⎝ 6 2k n ⎝ 2k n ⎠ ⎠ a ⎝ 6 4k n ⎠
n 2π 2
Agora kn2 = , logo
a2
a3 1 a 2 ⎛1 1 ⎞
x 2
= − = a2 ⎜ − 2 2 ⎟
3 2nπ2 2
⎝ 3 2n π ⎠
Portanto,
( Δx )
2
= x2 − x
2
a2 a2 a2 ⎛1 1 1 ⎞
( Δx )
2
= − 2 2− = a2 ⎜ − − 2 2 ⎟
3 2n π 4 ⎝ 3 4 2n π ⎠
a2 ⎛ 1 1 ⎞
( Δx )
2
= ⎜ − 2 2⎟
2 ⎝6 n π ⎠
Cálculo de ( Δp )
2
Temos :
4
( Δp ) = p2 − p
2 2
2
Devemos determinar p 2 e p .
⎛ ∂ψ ⎞ * ∂ψ
a a a
p = ψ p ψ = ∫ dx ' ψ x ' x ' p ψ = ∫ dx 'ψ * ( x ') ⎜ −i= ⎟ = −i= ∫ψ dx '
0 0 ⎝ ∂x ' ⎠ 0
∂x '
a a
2 2
p = −i= ∫ senkn x 'cos kn x ' dx ' = −i= kn ∫ senkn x 'cos kn x 'dx '
a0 a 0
a
i= 2 ik
∫ senkn x ' d ( senkn x ' ) = − ( senkn x )0 = 0
a
p =−
a 0 a
Para p 2 , temos :
a a
⎛ ∂ 2ψ ⎞
p 2 = ψ p 2 ψ = ∫ dx ' ψ x ' x ' p 2 ψ = ∫ dx 'ψ * ( x ') ⎜ −= 2 ⎟
0 0 ⎝ ∂x '2 ⎠
2= 2 k n 2 ⎛ a ⎞
a a
2= 2 kn2 cos 2kn x '
p2 = ∫ = − ∫
2
sen k n x ' dx ' ⎜ dx ' ⎟
a 0 a ⎝2 0 2 ⎠
2= 2 kn2 ⎛ a 1 a⎞ 2= 2 kn2 ⎛ a ⎞
p2 = ⎜ − ( sen 2 k n x ) 0 ⎟
= ⎜ − 0⎟
a ⎝ 2 4kn ⎠ a ⎝2 ⎠
= 2 n 2π 2
p 2 = = 2 kn2 =
a2
= 2 (nπ ) 2
p2 =
a2
Temos então :
( Δp )
2
= p2 − p = p2 − 0 = p2
2
= 2 (nπ ) 2
( Δp )
2
=
a2
5
Cálculo da Relação de Incerteza
Logo,
1 ⎞ ( nπ )
2
a2 ⎛ 1
( Δx ) ( Δp )
2 2
= ⎜ − 2 2 ⎟ =2
2 ⎝6 n π ⎠ a2
= 2 ⎛ ( nπ ) ⎞
2
( Δx ) ( Δp ) = ⎜ − 1⎟
2 2
2 ⎜ 6 ⎟
⎝ ⎠
=2 ⎛ π 2 ⎞
( Δx ) ( Δp )
2 2
= ⎜ − 1⎟ (fundamental)
2 ⎝ 6 ⎠
= 2 ⎛ ( nπ ) ⎞
2
( Δx ) ( Δp ) = ⎜ − 1⎟
2 2
(excitado)
2 ⎜ 6 ⎟
⎝ ⎠
6
Problema 22
Solução:
d 2θ
mL2 − mgL = 0
dt 2
θ (t ) = ae ( g / L )t
+ be − ( g / L )t
Em t = 0 temos:
Δx = Lθ = (a + b) L
Δp = mL
dθ
dt
= mL
g (
L
ae ( g / L )t
+ be −( g / L )t
)
1
E a relação de incerteza deve ser tal que:
=
ΔxΔp ≈
2
=
a2 = b2 +
[2m(gL ) ] 3 12
=
a=±
[2m(gL ) ],3 12
b=0
Temos:
θ f = ae
g Lt f
L ⎧⎪ 1 ⎡ 2m(gL3 ) ⎤ ⎫⎪
12
tf = ⎨ln(θ f ) + ln ⎢ ⎥⎬
g⎪ 2 ⎢⎣ = ⎥⎦ ⎪⎭
⎩
t f = 3,4 s
2
de acordo com m e θ.
t ~3s.
3
Problema 23
⎛a 0 o ⎞ ⎛b 0 o ⎞
⎜ ⎟ ⎜ ⎟
A = ⎜ 0 − a o ⎟ B = ⎜ 0 0 −ib ⎟ ,
⎜ 0 0 −a ⎟ ⎜ 0 ib 0 ⎟
⎝ ⎠ ⎝ ⎠
Solução :
det( B − λ I ) = 0
⎛b − λ 0 0 ⎞
⎜ ⎟ .
det ⎜ 0 −λ −ib ⎟ = (λ 2 − b 2 )(b − λ ) = 0
⎜ 0 −λ ⎟⎠
⎝ ib
λ1 = b , λ2 = −b e λ3 = b .
1
b. Calcularemos o comutador [ A, B ] = AB − BA .
⎛ ab 0 0 ⎞ ⎛ ab 0 0 ⎞
⎜ ⎟ ⎜ ⎟
AB = ⎜ 0 0 iab ⎟ BA = ⎜ 0 0 iab ⎟
⎜ 0 −iab 0 ⎟ ⎜ 0 −iab 0 ⎟
⎝ ⎠ ⎝ ⎠
Portanto,
[ A, B ] = 0 .
⎛1⎞
⎜ ⎟
1 = ⎜ 0 ⎟
⎜0⎟
⎝ ⎠
B 1 =b 1
Os kets
⎛0⎞ ⎛0⎞
⎜ ⎟ ⎜ ⎟
2 = ⎜ 1 ⎟ e 3 = ⎜ 0 ⎟
⎜0⎟ ⎜1⎟
⎝ ⎠ ⎝ ⎠
B 2 = ib 3 e B 3 = −ib 2 .
2
Como { 2 , 3 } é um subespaço dos operadores A e B , temos que os novos
autokets simultâneos a A e B devem ser combinações lineares destes dois
kets. Escrevemos estes autokets simultâneos a A e B como:
( )
1/ 2
2 ' = α 2 2 + 1 − α 22 ei β 2 3
,
+ (1 − α )
1/ 2 i β3
3' = α 3 2 2
3 e 3
⎛ 0 ⎞
⎜ ⎟
2 ' = ⎜ α2 ⎟,
⎜ (1 − α 2 )1/ 2 eiβ2 ⎟
⎝ 2 ⎠
⎛ ⎞
⎜ 0 ⎟
3' = ⎜ α3 ⎟.
⎜ ⎟
(
⎜ 1 − α 32 ) 3 ⎟
1/ 2 i β
⎝ e ⎠
A 2 ' = −a 2 '
.
A 3' = −a 3'
3
Na forma matricial a primeira destas equações fica:
⎛b 0 0 ⎞⎛ 0 ⎞ ⎛ 0 ⎞
⎜ ⎟⎜ ⎟ ⎜ ⎟
⎜ 0 0 −ib ⎟ ⎜ α2 ⎟ = b⎜ α2 ⎟.
⎜ 0 ib 0 ⎟ ⎜ (1 − α ) e 2 ⎟
2 1/ 2 i β ⎜ (1 − α ) e 2 ⎟
2 1/ 2 i β
⎝ ⎠⎝ 2 ⎠ ⎝ 2 ⎠
(1 − α 22 )1/ 2 cos β 2 = 0
.
(1 − α 22 )1/ 2 senβ 2 = α 2
β 2 = +π / 2
2
⎛ α2 ⎞
(1 − α ) = ⎜
2
⎟ .
⎝ senβ 2 ⎠
2
⎛b 0 0 ⎞⎛ 0 ⎞ ⎛ 0 ⎞
⎜ ⎟⎜ ⎟ ⎜ ⎟
⎜ 0 0 −ib ⎟ ⎜ α3 ⎟ = −b ⎜ α3 ⎟
⎜ 0 ib 0 ⎟ ⎜ (1 − α 2 )1/ 2 eiβ3 ⎟ ⎜ (1 − α 2 )1/ 2 eiβ3 ⎟
⎝ ⎠⎝ 3 ⎠ ⎝ 3 ⎠
4
Isto nos leva as equações reais :
(1 − α 32 )1/ 2 cos β3 = 0
(1 − α 32 )1/ 2 senβ 3 = −α 3
com as soluções
β3 = +π / 2
.
α 3 = +1/ 2
( )
1/ 2
2 ' = α 2 2 + 1 − α 22 ei β 2 3
+ (1 − α )
1/ 2
3' = α 3 2 2
3 ei β3 3
temos
2 ' 3' = 0
(
⎡α 2 + 1 − α 2 ) e − iβ2 3 ⎤ ⎡α 3 2 + 1 − α 32 ( ) ei β3 3 ⎤ = 0
1/ 2 1/ 2
⎣⎢ 2 2
⎦⎥ ⎣⎢ ⎦⎥
α 2α 3 2 2 + ⎣⎡(1 − α 22 )(1 − α 32 ) ⎤⎦
1/ 2
ei ( β3 − β 2 ) 3 3 = 0
1
α 2α 3 + ei ( β − β ) = 0
3 2
1 1 iπ / 2
2' = 2 + e 3
2 2
=
1
2
{ 2 +i 3 }
5
e
1 1 iπ / 2
3' = − 2 + e 3
2 2
=−
1
2
{ 2 −i 3 }
1' = 1 = a, b
2 ' = − a, b ,
3' = −a, −b
6
Problema 24
Solução :
1 1 ⎡⎛ 1 0 ⎞ ⎛ 0 1 ⎞ ⎤ 1 ⎛ 1 i ⎞
(1 + iσ x ) = ⎢⎜ ⎟+i⎜ ⎟⎥ = ⎜ ⎟ (1)
2 2 ⎣⎝ 0 1 ⎠ ⎝ 1 0 ⎠ ⎦ 2 ⎝ i 1⎠
+ → Sy; + ; − → Sy ; − (2)
Dx (π / 2) + = S y ; + (3)
Dx (π / 2) − = S y ; − (4)
1
Figura 1: representação de uma rotação por um ângulo π / 2 no sentido
horário em torno do eixo x .
1 i
Sy; + = + + − (5)
2 2
1 i
Sy; − = + − − (6)
2 2
Multiplicando um ket por uma fase global não alteraremos o seu significado
físico. Então, se multiplicarmos (6) por eiπ / 2 = i não alteramos o significado
físico de S y ; − . O conjunto { S y ; + , i S y ; − } continua sendo ortonormal.
Então procuraremos o operador Dx (π / 2 ) que realize a seguinte
transformação :
Dx (π / 2) + =
1
2
( + +i − ) (7)
2
Dx (π / 2) − = i S y ; − =
1
2
(i + + − ) (8)
1
d11 =
2
1
d 21 = i.
2
⎛1/ 2 d12 ⎞ ⎛ 0 ⎞ 1 ⎛ i ⎞
⎜ ⎟⎜ ⎟ = ⎜ ⎟. (11)
⎜1/ 2 d 22 ⎟⎠ ⎝ 1 ⎠ 2 ⎝1⎠
⎝
1
d12 = i (12)
2
1
d 22 = (12)
2
3
Então o operador Dx (π / 2 ) pode ser representado pela matriz
1 ⎛1 i ⎞
Dx (π / 2) = ⎜ ⎟ (13)
2 ⎝ i 1⎠
na base { + , − } .
1
Dx (π / 2) = (1 + iσ x ) (14)
2
1 ⎛1 1 ⎞
Dx (π / 2) = ⎜ ⎟
2 ⎝ i −i ⎠
Embora tenha uma forma diferente este operador tem o mesmo significado
físico que o operador (13). Esta arbitrariedade se deve, como já foi
comentado, ao fato que um ket não tem seu significado físico alterado se o
multiplicarmos por uma fase global.
= = ⎛1 0 ⎞
S z = σ z = ⎜ ⎟ (16)
2 2 ⎝ 0 −1 ⎠
U a ( k ) = b( k ) (17)
4
Bnovo = U † BvelhoU (18)
{+ ,−} → { S ;+ ,i S ;− }
y y (19)
{+ ,−} → { S ;+ , S ;− }
y y (20)
= 1 ⎛ 1 −i ⎞⎛ 1 0 ⎞⎛1 i ⎞ = ⎛ 0 i ⎞
S z' = ⎜ ⎟⎜ ⎟⎜ ⎟= ⎜ ⎟ base { S y ; + , i S y ; − } (22)
2 2 ⎝ −i 1 ⎠⎝ 0 −1⎠⎝ i 1⎠ 2 ⎝ −i 0 ⎠
= 1 ⎛1 −i ⎞⎛ 1 0 ⎞⎛1 1 ⎞ = ⎛ 0 1 ⎞
S z' = ⎜ ⎟⎜ ⎟⎜ ⎟= ⎜ ⎟ (23)
2 2 ⎝1 i ⎠⎝ 0 −1⎠⎝ i −i ⎠ 2 ⎝ 1 0 ⎠
5
Problema 25
Alguns autores definem um operador como real quando cada membro dos
elementos matriciais deles b ' A b '' é real em alguma representação (base
{ b' } neste caso). É este conceito de representação independente, isto é, os
elementos matriciais permanecem reais mesmo se alguma outra base que
{ b ' } é usado ? Verifique sua asserção usando operadores familiares tais
como S y e S z (veja problema 24) ou x e px .
Solução :
Considere
ou seja,
b ' A b ''
sejam reais.
c → Sy
.
b → Sz
Temos então
1
⎛1⎞
b' = ⎜ ⎟ = +
⎝0⎠
Sz
⎛0⎞
b '' = ⎜ ⎟ = −
⎝1⎠
⎛ 1/ 2 ⎞
c' = ⎜ ⎟ = Sy; +
⎜i / 2 ⎟
⎝ ⎠
Sy
⎛ 1/ 2 ⎞
c '' = ⎜ ⎟ = Sy; −
⎜ −i / 2 ⎟
⎝ ⎠
em que
=
Sz ± = ± ±
2
1 1 iδ 2
Sy; ± = + ± e − .
2 2
⎛ 1 1 −iδ 2 ⎞
c' b' = ⎜ + + e −⎟+
⎝ 2 2 ⎠
1
c' b' =
2
2
⎛ 1 1 −iδ 2 ⎞
c '' b ' = ⎜ + − e −⎟+
⎝ 2 2 ⎠
1
c '' b ' =
2
⎛ 1 i ⎞
c '' b '' = ⎜ + − −⎟−
⎝ 2 2 ⎠
i
c '' b '' = −
2
⎛ 1 i ⎞
c ' b '' = ⎜ + + −⎟−
⎝ 2 2 ⎠ .
i
c ' b '' =
2
3
Problema 26
U = ∑ b( r ) a ( r ) .
r
Solução :
1 1
Sx ; ± = + ± −
2 2
U Sx ; ± = Sz ; ± (1)
onde
⎛1⎞
S z ; + = S z ; + + 0. S z ; − = ⎜ ⎟
⎝ 0⎠
⎧U11 + U12 = 2
⎪
⎨U + U = 0 (a,b)
⎪⎩ 21 22
Para S x ; − e S z ; − , obtemos :
1
⎛ U11 U12 ⎞ ⎛ 1/ 2 ⎞ ⎛ 0 ⎞
⎜ ⎟⎜ ⎟=⎜ ⎟
⎝ U 21 U 22 ⎠ ⎜⎝ −1/ 2 ⎟⎠ ⎝ −1⎠
Logo,
⎧ U11 − U12 = 0
⎪
⎨ (c,d)
⎪⎩U 21 − U 22 = 2
U11 + U11 = 2
2 1
U11 = =
2 2
De (c), temos :
U12 = U11 = 1/ 2
U 21 − (−U 21 ) = 2
U 21 = 1/ 2
U 22 = −U 21 = −1/ 2
U 22 = −1/ 2
⎛1/ 2 1/ 2 ⎞
U =⎜ ⎟ (2)
⎜1/ 2 −1/ 2 ⎟⎠
⎝
2
⎛ 1/ 2 1/ 2 ⎞
U† = ⎜ ⎟ (3)
⎜ 1/ 2 −1/ 2 ⎟⎠
⎝
Logo,
⎛1 1 1 1 ⎞
+ −
⎛1/ 2 1/ 2 ⎞ ⎛1/ 2 1/ 2 ⎞ ⎜ 2 2 2 2 ⎟ ⎛1 0⎞
U †U = ⎜ ⎟⎜ ⎟=⎜ ⎟= =1
⎜1/ 2 −1/ 2 ⎟⎠ ⎜⎝ 1/ 2 −1/ 2 ⎟⎠ ⎜ 1 − 1 1 ⎛ 1 ⎞ ⎟ ⎜⎝ 0 1 ⎟⎠
⎝ ⎜2 2 −⎜− ⎟
⎝ 2 ⎝ 2 ⎠ ⎟⎠
U †U S x ; ± = U † S z ; ±
Como U †U = 1 , obtemos :
U † Sz ; ± = Sx ; ± (4)
E vemos que a transformação inversa é obtida com (3). Agora resta mostrar
que (2) e (3) são coerentes com a relação geral :
U geral = ∑ b r ar (5)
r
U geral = S z ; + S x ; + + S z ; − S x ; − (6)
⎛1⎞ ⎛0⎞
( )
U geral = ⎜ ⎟ 1/ 2 1/ 2 + ⎜ ⎟ 1/ 2
⎝0⎠ ⎝1⎠
( −1/ 2 )
⎛ 1/ 2 1/ 2 ⎞ ⎛ 0 0 ⎞ ⎛ 1/ 2 1/ 2 ⎞
U geral = ⎜⎜ ⎟⎟ + ⎜⎜ ⎟=⎜ ⎟ =U
⎝ 0 0 ⎠ ⎝1/ 2 1/ 2 ⎟⎠ ⎜⎝1/ 2 −1/ 2 ⎟⎠
U geral = U
3
Considerando o adjunto de (6), obtemos :
†
U geral = Sx ; + Sz ; + + Sx ; − Sz ; −
⎛ 1/ 2 ⎞ ⎛ 1/ 2 ⎞
†
U geral =⎜ ⎟ (1 0 ) + ⎜ ⎟ ( 0 1)
⎜ 1/ 2 ⎟ ⎜ −1/ 2 ⎟
⎝ ⎠ ⎝ ⎠
⎛ 1/ 2 0 ⎞ ⎛ 0 1/ 2 ⎞ ⎛1/ 2 1/ 2 ⎞
†
U geral =⎜ ⎟+⎜ ⎟=⎜ ⎟ =U†
⎜ 1/ 2 0 ⎟⎠ ⎜⎝ 0 −1/ 2 ⎟⎠ ⎜⎝1/ 2 −1/ 2 ⎟⎠
⎝
Logo,
†
U geral =U†
4
Problema 27
Solução :
f ( A) = ∑ tn An (1)
n
⎛ 1 d n f ( A) ⎞
onde tn é o n -ésimo coeficiente da serie de Taylor ⎜ tn = ⎟ . Quando
⎝ n ! dAn ⎠
aplicamos o operador f ( A) sobre um ket a ' temos :
f ( A) a ' = ∑ tn An a '
n
Calcularemos agora b ' f ( A) b '' . Usando o fato que a base { a ' } é completa
aplicamos o operador identidade ∑ a'
a'
a ' da seguinte forma:
1
b ' f ( A) b '' = ∑ b ' f ( A) a ' a ' b '' (3)
a'
G G
Calcularemos então p '' F (r ) p ' usando (5).
G G G G G G
p '' F (r ) p ' = ∫ d 3 rF (r ) p '' x x p ' (6)
G
onde d 3r ≡ dxdydz e r = ( x 2 + y 2 + z 2 ) = r . Conhecemos os elementos da
1/ 2
e
G G
G G ⎡ 1 ⎤ ⎛ ip '.x ⎞
x p' = ⎢ 3/ 2 ⎥
exp ⎜ ⎟ (8)
⎣ (2π =) ⎦ ⎝ = ⎠
⎡ 1 ⎤ 3 G G G
G G ⎡ i ( p '− p '').x ⎤
3 ∫
p '' F (r ) p ' = ⎢ ⎥ d xF (r ) exp ⎢ ⎥ (9)
⎢⎣ ( 2π = ) ⎥⎦ ⎣ = ⎦
2
G G
Usando coordenadas esféricas, com o eixo z na direção do vetor ( p '− p '') , a
integral nesta expressão se torna :
G G G ∞ 2π π
⎡ i ( p '− p '').x ⎤
∫ d xF (r ) exp ⎢⎣ = ⎥⎦ = ∫0 drr F (r ) ∫0 dθ ∫0 dφ senφ exp ( iκ r cos φ )
3 2
(10)
G G
p '− p ''
onde κ ≡ .
=
1
1
∫ d (cos φ ) exp [iκ r cos φ ] = iκ r exp [iκ r cos φ ]
cos φ =1
cos φ =−1
−1
1
3
Problema 28
[ x, F ( px )]classico .
⎡ ⎛ ipx a ⎞ ⎤
⎢ x, exp ⎜ = ⎟ ⎥ .
⎣ ⎝ ⎠⎦
⎛ ip a ⎞
exp ⎜ x ⎟ x ' , (x x' = x' x' )
⎝ = ⎠
Solução :
⎛ ∂A ∂B ∂A ∂B ⎞
[ A(q, p); B(q, p)]classico = ∑ ⎜ − ⎟.
s ⎝ ∂qs ∂ps ∂ps ∂qs ⎠
∂x ∂F ( px ) ∂x ∂F ( px )
[ x, F ( p x ) ] = − .
∂x ∂px ∂px ∂x
1
∂F
Como F = F ( px ) somente, = 0 . Logo,
∂x
∂F ( px ) dF ( px )
[ x, F ( p x ) ] = = .
∂px dpx
Temos então:
dF
[ x, F ( px )]classico =
dpx
b. Sabemos que :
I) Primeira maneira
⎡ ⎤ 1⎡ ⎤
⎢ , ⎥ → ⎢ , ⎥
⎣ ⎦ classico i= ⎣ ⎦ quantico
Logo,
1
[ x, F ( px )]classico = [ x, F ( px )]quantico
i=
[ x, F ( px )]quantico = i= [ x, F ( px ) ]classico
2
II) Segunda maneira
⎡⎣ x, px 2 ⎤⎦ = [ x, px ] px + px [ x, px ] = (i=)2 px
⎡⎣ x, px 3 ⎤⎦ = ⎡⎣ x, px2 px ⎤⎦ = ⎡⎣ x, px2 ⎤⎦ px + px2 [ x, px ] = i= 2 px2 + px2i= = i=3 px2
⎡⎣ x, px4 ⎤⎦ = ⎡⎣ x, px3 ⎤⎦ px + px3 [ x, px ] = i=3 px3 + px3i= = (i=)4 px3
De um modo geral
Agora
⎡ ⎛ ipx a ⎞ ⎤
ip x a ipx a
⎛ ipx a i 2 px2 a 2 ⎞ ⎛ ipx a i 2 px 2 a 2 ⎞
⎢ x , exp ⎜ ⎟⎥ = xe =
− e =
x = x ⎜ 1 + + + ... ⎟ − ⎜1 + + + ... ⎟ x
⎝ = ⎠⎦ = 2!= = 2!=
2 2
⎣ ⎝ ⎠ ⎝ ⎠
⎡ ⎛ ipx a ⎞ ⎤ 2 ⎛ iapx i a ⎞
2 2
3
A única vantagem desta maneira é que não precisa conhecer o colchete de
Poisson clássico.
c. Temos,
⎡ ⎛ ipx a ⎞ ⎤ ⎛ iapx ⎞
⎢ x, exp ⎜ = ⎟ ⎥ x ' = − a exp ⎜ = ⎟ x '
⎣ ⎝ ⎠⎦ ⎝ ⎠
⎛ ip a ⎞ ⎛ ip a ⎞ ⎛ ip a ⎞
x exp ⎜ x ⎟ x ' − exp ⎜ x ⎟ x x ' = −a exp ⎜ x ⎟ x '
⎝ = ⎠ ⎝ = ⎠ ⎝ = ⎠
⎛ ip a ⎞ ⎛ ip a ⎞
x exp ⎜ x ⎟ x ' + (a − x ')e xp ⎜ x ⎟ x ' = 0
⎝ = ⎠ ⎝ = ⎠
⎛ ip a ⎞ ⎛ ip a ⎞
x exp ⎜ x ⎟ x ' = ( x '− a) exp ⎜ x ⎟ x '
operador ⎝ = ⎠ autovalor ⎝ = ⎠
autovetor autovetor
4
Problema 29
G ∂G G ∂F
⎡⎣ xi , G ( p ) ⎤⎦ = i= , [ pi , F ( x )] = −i=
∂p i ∂xi
Solução :
G
a. Escreveremos a função G ( p) (função escalar de uma variável vetorial)
como:
G
G ( p ) → G ( p1 , p2 , p3 ) (1)
Considerar G como uma função escalar não limita nosso resultado, pois se
G fosse vetor teríamos
G G G G G
⎡ xi , G ( p ) ⎤ = xˆ [ xi , Gx ( p )] + yˆ ⎡⎣ xi , G y ( p ) ⎤⎦ + zˆ [ xi , Gz ( p ) ] (2)
⎣ ⎦
A expressão (1) nos diz que podemos considerar uma função escalar de uma
variável vetorial como sendo uma função escalar de três variáveis escalares
(as três componentes do operador momento linear). Assim, se G ( p1 , p2 , p3 )
puder ser expressa em série de potências, temos:
1
∞ 3
G ( p1 , p2 , p3 ) = ∑∑ t jn p nj (3)
n = 0 j =1
∞ 3
[ xi , G ( p1 , p2 , p3 )] = ∑∑ t jn ⎡⎣ xi , p nj ⎤⎦ ,
n = 0 j =1
⎡ ⎤
⎢ A, ∑ Bi ⎥ = ∑ [ A, Bi ] e [ A, cB ] = c [ A, B ] ,
⎣ i ⎦ i
⎡⎣ xi , p j ⎤⎦ = i=δ ij (5)
⎡⎣ xi , p nj ⎤⎦ = ⎡⎣ xi , p j p j n −1 ⎤⎦ = ⎡⎣ xi , p j ⎤⎦ p nj −1 + p j ⎡⎣ xi , p nj −1 ⎤⎦ (6)
onde usamos
[ A, BC ] = [ A, B ] C + B [ A, C ] .
⎡⎣ xi , p nj ⎤⎦ = i=δ ij np nj −1 (7)
2
⎡⎣ xi , p kj ⎤⎦ = ⎡⎣ xi , p j ⎤⎦ p kj −1 + p j ⎡⎣ xi , p kj −1 ⎤⎦
{
⎡⎣ xi , p kj ⎤⎦ = i=δ ij p kj −1 + p j i=δ ij (k − 1) p kj − 2 }
(8)
{
⎡⎣ xi , p kj ⎤⎦ = i=δ ij p kj −1 + (k − 1) p kj −1 }
⎡⎣ xi , p kj ⎤⎦ = i=δ ij kp kj −1
⎛ ∞ 3 ∂ n⎞
[i
x , G ( p , p , p3 ]
) = i = ⎜⎜ ∑∑ t jnδ ij pj ⎟
⎟
∂
1 2
⎝ n = 0 j =1 p j ⎠
G ∂G
[ xi , G( p)] = i= (10)
∂pi
G
Calcularemos agora o comutador [ pi , F ( x )] . O procedimento para o cálculo
deste comutador é em todos os passos idêntico ao anterior. Basta então
G G
trocarmos xi → pi e G ( p) → F ( x ) em (4), observando que
∂ n
⎡⎣ xi , p j ⎤⎦ = − ⎡⎣ p j , xi ⎤⎦ e, consequentemente, ⎡⎣ pi , x nj ⎤⎦ = −i=δ ij nx nj −1 = −i= x j . Assim
∂x i
temos:
G ∂F
[ pi , F ( x )] = −i= . (11)
∂xi
3
b. Usaremos nossos resultados para calcular ⎡⎣ x 2 , p 2 ⎤⎦ , onde x 2 = ∑ xi 2 e
i
p 2 = ∑ p 2j . Então
j
⎡⎣ x 2 , p 2 ⎤⎦ = ∑∑ ⎡⎣ xi 2 , p j 2 ⎤⎦ (12)
i j
Mas
⎡⎣ xi2 , p j 2 ⎤⎦ = xi ⎡⎣ xi , p j 2 ⎤⎦ + ⎡⎣ xi , p j 2 ⎤⎦ xi (13)
i j
(
⎡⎣ x 2 , p 2 ⎤⎦ = ∑∑ xi ⎡⎣ xi , p 2j ⎤⎦ + ⎡⎣ xi , p 2j ⎤⎦ xi ) (14)
∂ 2
⎡⎣ xi , p j 2 ⎤⎦ = i= p j = 2i=δ ij p j . (15)
∂p i
em que { } é o anticomutador.
⎡⎣ x , p ⎤⎦ = ∑ ⎡⎣ x , p ⎤⎦ = ∑∑ ⎨
2 2 2
⎧⎪ ∂ xi 2 ∂ p j 2
2
−
( ) ( )
∂ xi 2 ∂ p j 2( ) ( ) ⎫⎪
⎬
k i , j ⎪ ∂xk ∂pk ∂pk ∂xk
i j
i, j
⎩ ⎭⎪
⎡⎣ x 2 , p 2 ⎤⎦ = ∑ 2δ ik xk 2δ jk pk (17)
i , j ,k
⎡⎣ x 2 , p 2 ⎤⎦ = ∑ 4 xi pi
i
4
Comparando as equações, temos:
GG
⎡⎣ x 2 , p 2 ⎤⎦ = 2i= { x. p} Quântico
⎡⎣ x 2 , p 2 ⎤⎦ = ∑ 4 xi pi Clássico
i
1
⎡⎣ x 2 , p 2 ⎤⎦ = ⎡⎣ x 2 , p 2 ⎤⎦ .
classico i=
5
Problema 30
G GG
⎛ −ip.l ⎞
ℑ(l ) = exp ⎜ ⎟,
⎝ = ⎠
G
em que p é o operador momento.
a. Calcule
G
⎡ xi , ℑ(l ) ⎤ .
⎣ ⎦
G
b. Usando (a) (ou outra forma), demonstre como o valor esperado x muda
sob uma translação.
Solução :
G ∂ ⎡ −i ⎤
⎡ xi , ℑ(l ) ⎤ = i=
⎣ ⎦ exp ⎢ ( p1l1 + p2l2 + p3l3 ) ⎥
∂pi ⎣= ⎦
G ⎛ −i ⎞ ∂ ⎛ −i ⎞
⎡ xi , ℑ(l ) ⎤ = i= exp ⎜ ∑ p j l j ⎟ exp ⎜ pi li ⎟
⎣ ⎦
⎝ = j ≠i ⎠ ∂pi ⎝= ⎠
G ⎛ −i ⎞ −i
⎡ xi , ℑ(l ) ⎤ = − li (i=) exp ⎜ ∑ p j l j ⎟ exp ⎛⎜ li pi ⎞⎟
i
⎣ ⎦ = ⎝ = i≠ j ⎠ ⎝= ⎠
G ⎡ −i ⎛ ⎞⎤
⎡ xi , ℑ(l ) ⎤ = li exp ⎢ ⎜ ∑ p j l j + li pi ⎟ ⎥
⎣ ⎦
⎢⎣ = ⎝ i ≠ j ⎠ ⎦⎥
G G
G ⎛ −ip.l ⎞
⎡ xi , ℑ(l ) ⎤ = li exp ⎜ ⎟
⎣ ⎦
⎝ = ⎠
G G
⎡ xi , ℑ(l ) ⎤ = li ℑ(l )
⎣ ⎦
1
G G
b. Seja um ket ψ arbitrário, tal que ψ T
= ℑ(l ) ψ . O valor médio de x após
G
a translação, x T , será:
G G G G G G G
x T
=T ψ xψ T
= ψ ℑ† (l ) x ℑ(l ) ψ = ∑ ψ ℑ† (l ) xi ℑ(l ) ψ (1)
i
G G
Multiplicando por ℑ(l )† , lembrando que ℑ(l ) é unitário, podemos escrever:
† G G G G G G G G
ℑ (l ) xi ℑ(l ) − ℑ† (l )ℑ(l )xi = ℑ† (l )li ℑ(l ) = li ℑ† (l )ℑ(l ) ,
=1 =1
logo,
G G
ℑ† (l ) xi ℑ(l ) − xi = li ;
G G
ℑ† (l ) xi ℑ(l ) = xi + li
x T
= ∑ ψ xi + li ψ = ∑ ψ xi ψ + ∑ li ψ ψ ,
i i i
pois, li é um número,
G G G
x T
= x +l .
2
Problema 31
G
Dentro do texto principal nós discutimos o efeito de ℑ(dx ') sobre os autokets
de posição e momento, e sobre o mais geral ket de estado α . Nós podemos
G G
também estudar o comportamento dos valores esperados x e p sob uma
G
translação infinitesimal. Usando (1.6.25), (1.6.45), e α → ℑ(dx ') α apenas,
G G G G G
prove x → x + dx ' , p → p sob translação infinitesimal.
Solução :
e
G G
[ p, ℑ(dx ')] = 0 (1.6.45)
G G
O valor esperado x varia da seguinte forma, quando α → ℑ(dx ') α :
G G G G G G G
x → α ℑ† (dx ') [ x , ℑ(dx ') ] α + α ℑ† (dx ')ℑ(dx ') x α (2)
G
Como o operador ℑ(dx ') é unitário o segundo termo do lado direito de (2) é
G G
simplesmente α x α = x .
G
Faremos a aproximação α ℑ† (dx ') α ≈ 1 , pois
G
lim
G
ℑ† (dx ') = 1 (4)
dx '→0
1
G G G
x → dx '+ x (5)
Logo :
G G
p → p (7)
2
Problema 32
Solução :
p = =k (1.7.39a)
=2
p2 = + =2k 2 (1.7.39b)
2d 2
⎛ 1 ⎞ ⎛ x '2 ⎞
x ' α = ⎜ 1/ 4 ⎟ exp ⎜ ikx '− 2d 2 ⎟ (1.7.35)
⎝π d⎠ ⎝ ⎠
Vamos definir
1
A≡ (1)
π 1/ 4
d
Calculo de p
Temos que
+∞ +∞
⎛ ∂ ⎞
p = α pα = ∫ dx ' α x' x' p α = ∫ dx 'ψ α ( x ') ⎜⎝ −i= ∂x 'ψ α ( x ') ⎟⎠
*
(2)
−∞ −∞
Agora,
1
Substituindo em (2) temos :
+∞
⎛ x '2 ⎞ ⎛ x '2 ⎞ ⎛ x' ⎞
p = −i= ∫ A* exp ⎜ −ikx '− 2 ⎟A exp ⎜ ikx '− 2 ⎟⎜ ik − 2 ⎟ dx '
−∞ ⎝ 2d ⎠ ⎝ 2d ⎠ ⎝ d ⎠
+∞ − x '2 ∞ 2 +∞ x '2
⎛ x' ⎞ A −
p = −i = A ∫e − = ∫ e − x ' / d dx ' + i= 2 ∫ x 'e
2 2 2 2
d2
⎜ ik 2 ⎟
dx ' k = A d2
dx '
−∞ ⎝ d ⎠ −∞
d −∞
+∞ − x '2 ∞
∫e ∫e
−α 2 x '2
p = =k A dx ' = 2k = A
2 2
d2
dx '
−∞ 0
onde escrevemos
α 2 = 1/ d 2 . (3)
p = =k 2 A I
2
(4)
Com
+∞
∫e
−α 2 x '2
I= dx ' (5)
0
Solução da Integral I
2
Essa integração é realizada em todo o meio plano xy . Vamos trocar as
variáveis ( x, y ) pelo par (r ,θ ) em coordenadas polares. Lembrando que o
∂ ( x, y )
Jacobiano neste caso e = r , obtemos:
∂(r ,θ )
∞ π /2 ∞
π
I2 = ∫ ∫ 2∫
e −α r rdrdθ = −α 2 r 2
2 2
e rdr
0 0 0
2 ⎝ 2α ⎠ 0
2
π
I= .
2α
d 1
p = =k 2 A π = =k π d = =k
2
2 πd (1.7.39a)
p = =k
Calculo de p 2
Temos que
+∞ +∞
⎛ 2 ∂ 2ψ α ( x ') ⎞
p2 = α p2 α = ∫ α x ' x ' p 2 α dx ' = ∫ ψ ⎜ −=
*
dx ' α ( x ') ⎟
−∞ −∞ ⎝ ∂x '2 ⎠
+∞
∂ 2ψ α
p 2
= − = ∫ ψ α ( x ')
2 *
dx ' (1)
−∞
∂x '2
Agora
3
∂ ⎛ ∂ψ α ( x ') ⎞ ∂ ⎡ ⎛ x '2 ⎞ ⎛ x ' ⎞⎤
⎜ ⎟ = A ⎢ exp ⎜ ikx '− 2 ⎟⎜
ik − 2 ⎟ ⎥
∂x ' ⎝ ∂x ' ⎠ ∂x ' ⎣ ⎝ 2d ⎠ ⎝ d ⎠⎦
∂ ⎛ ∂ψ α ( x ') ⎞ ⎡⎛ x ' ⎞⎛ x' ⎞ ⎛ x '2 ⎞ 1 ⎛ x '2 ⎞ ⎤
= ⎢⎜ − ⎟⎜ − ⎟ ⎜ − ⎟ − ⎜ − ⎟⎥
∂x ' ⎝⎜ ∂x ' ⎠⎟
A ik ik exp ikx ' exp ikx '
⎣⎝ d 2 ⎠⎝ d2 ⎠ ⎝ 2d 2 ⎠ d 2 ⎝ 2d 2 ⎠ ⎦
∂ 2ψ α ( x ') ⎡⎛ x' ⎞
2
⎛ x '2 ⎞ 1 ⎛ x '2 ⎞ ⎤
= A ⎢⎜ ik − 2 ⎟ exp ⎜ ikx '− 2 ⎟ − 2 exp ⎜ ikx '− 2 ⎟ ⎥
∂x '2 ⎣⎢⎝ d ⎠ ⎝ 2d ⎠ d ⎝ 2d ⎠ ⎦⎥
⎡⎛ x ⎞ − x2 / d 2 1 − x2 / d 2 ⎤
2 +∞
= −= A ∫ ⎢⎜ ik − 2 ⎟ e − 2e
2
⎥ dx '
2 2
p
−∞ ⎢
⎣ ⎝ d ⎠ d ⎥⎦
+∞ 2 +∞ 2 +∞
=2 A =2 A
∫e ∫ x' ∫e
− x2 / d 2 − x '2 / d 2 − x' 2 / d 2
== k A dx '− dx '+
2 2 2 2 2
p 4
e 2
dx '
−∞
d −∞
d −∞
+∞ 2 +∞ 2 +∞
2= 2 A 2= 2 A
∫e ∫ x' ∫e
−υ x '2 −υ x '2 −υ x' 2
= 2= k A dx '− dx '+
2 2 2 2 2
p 4
e 2
dx '
0
d 0
d 0
Logo
2 2
1 π 2= A π 12= 2 A 1 π
2
= 2= k A − +
2 2 2 2
p
2 υ 2d 4 2 1 d2 2 υ
d3
Como υ = 1/ d 2 , então,
4
1 =2d 3 =2 1
p 2 = =2k 2 d π− + πd
πd 2d 4 d d 2 πd
=2 =2
p 2 = =2k 2 − +
2d 2 d 2
=2
p2 = =2k 2 + 2
2d
b.
d 1/ 2 ⎛ −( p '− =k ) 2 d 2 ⎞
φ p ( p ') = exp ⎜ ⎟
=1/ 2π 1/ 4 ⎝ 2= 2 ⎠
Vamos definir
d 1/ 2
B≡
=1/ 2π 1/ 4
Então temos
+∞ +∞
p = α pα = ∫ dp ' α p p' p' α = ∫ dp ' p 'φα ( p ')φα ( p ')
*
−∞ −∞
⎛ ( p '− =k ) d ⎞
+∞ 2 2
p = B ∫ ⎜− ⎟dp '
2
p 'exp
⎜ =2 ⎟
−∞ ⎝ ⎠
+∞
⎛ d p ' 2 p ' kd 2
2 2
⎞
p = B ∫ p 'exp ⎜ − 2 + − d 2 k 2 ⎟dp '
2
−∞ ⎝ = = ⎠
+∞
⎛ d 2 p '2 2 p ' kd 2 ⎞
∫
− d 2k 2
p = B e ⎜− 2 +
2
p 'exp ⎟dp '
−∞ ⎝ = = ⎠
∫ p 'e
− d 2k 2
p = B e
2 ⎝= ⎠
2 2
e d k dp '
−∞
2
+∞ ⎛d ⎞
−⎜ p ' − dk ⎟
p = B ∫ p 'e
2 ⎝= ⎠
dp '
−∞
5
d d
E fazendo u = p '− dk , e du = dp ' , temos :
= =
+∞ +∞ +∞
= 2 ⎛= ⎞ 2 = 2= = 2
p = B ∫ ⎜ u + k = ⎟ e −u du = B ∫ ue −u du + =k B ∫ e − u du
2 2
−∞ ⎝ ⎠
d d d d −∞ d −∞
d 0
Calculo de p 2
Temos que
+∞ +∞
p2 = α p2 α = ∫ α p 2 p ' p ' α dp ' = ∫ dp ' p φα ( p ')φα ( p ')
'2 *
−∞ −∞
+∞ ⎛ ( p '− =k )2 d 2 ⎞
= B ∫ p ' exp ⎜ − ⎟dp '
2 2 2
p
⎜ = 2
⎟
−∞ ⎝ ⎠
d d
E fazendo a substituição υ = p − dk , com dυ = dp ' , temos :
= =
+∞
= 2 ⎛= ⎞ 2
p 2
= B ∫ ⎜ + k = ⎟e −υ dυ =
−∞ ⎝ ⎠
d d
+∞
= 2 ⎛ = 2υ 2 =2 ⎞ 2
p2 = B ∫ ⎜ 2 + 2 kυ + = 2 k 2 ⎟ e−υ dυ =
d −∞ ⎝
d α ⎠
+∞ +∞
=3 2 = 2
= 3 B ∫ υ 2 e−υ dυ + B k 2 = 2 ∫ e−υ dυ
2 2
2
p
d −∞
d −∞
6
A integral do “meio” é nula, pois o integrando é uma função impar. Usando
os resultados anteriores, escrevemos :
=3 2 π = 2 2 2
p2 = B + B k = π
d3 α d
=3 d π = d 2 2
p2 = + k = π
d π= α
3
d π=
=
p2 = 2 + =2k 2
2d
7
Problema 33
a. Prove o seguinte :
∂
(i) p ' x α = i= p' α ,
∂p '
∂
(ii) β x α = ∫ dp 'φβ* ( p ')i= φα ( p ') ,
∂p '
⎛ ixΞ ⎞
exp ⎜ ⎟,
⎝ = ⎠
Solução :
a.
1 ⎛ ip ' x ' ⎞
x' p' = p' x' =
†
exp ⎜ ⎟ (3)
2π = ⎝ = ⎠
1
E substituindo em (2) temos :
⎛ ∂ ⎞
p ' x α = ∫ dx ' ⎜ i= p' x' ⎟ x' α (6)
⎝ ∂p ' ⎠
∂
∂p ' ∫
p ' x α = i= dx ' p ' x ' x ' α (7)
Logo :
∂
p ' x α = i= p' α (8)
∂p '
∂
β x α = ∫ dp ' β p ' i= p' α (10)
∂p '
2
∂
β x α = ∫ dp 'φβ* ( p ')i= φα ( p ') (11)
∂p '
ixΞ
b. Para encontrarmos o significado físico da exp ⎛⎜ ⎞
⎟ aplicaremos este
⎝ = ⎠
operador a um autoestado do momento linear, p ' . Então :
⎛ ixΞ ⎞ ⎛ ixΞ ⎞
exp ⎜ ⎟ p ' = ∫ dx 'exp ⎜ ⎟ x' x' p' (12)
⎝ = ⎠ ⎝ = ⎠
⎛ ixΞ ⎞ ⎡ ⎛ ix ' Ξ ⎞ ⎤
exp ⎜ ⎟ p ' = ∫ dx ' ⎢exp ⎜ ⎟ x' p' ⎥ x' (13)
⎝ = ⎠ ⎣ ⎝ = ⎠ ⎦
⎛ ixΞ ⎞ 1 ⎡ ix ' ⎤
exp ⎜ ⎟ x' p' = exp ⎢ ( p '+ Ξ ) ⎥ = x ' p '+ Ξ (14)
⎝ = ⎠ 2π = ⎣= ⎦
⎛ ixΞ ⎞
exp ⎜ ⎟ p ' = ∫ dx ' x ' x ' p '+ Ξ = p '+ Ξ (15)
⎝ = ⎠
ixΞ
Logo, o operador exp ⎛⎜ ⎞
⎟ provoca um deslocamento no valor do momento
⎝ = ⎠
linear do sistema. O parâmetro Ξ é o valor deste deslocamento no nosso
problema unidimensional. No caso tridimensional teríamos, por
generalização :
GG
⎛ ix.Ξ ⎞ G G
exp ⎜ ⎟ p ' = p '+ Ξ (16)
⎝ = ⎠