Escolar Documentos
Profissional Documentos
Cultura Documentos
(1)
(2)
(3)
O segundo termo do lado direito de (1) pode tambm ser escrito como :
CDAB = C { D, A} B CADB .
(4)
(5)
(6)
onde a um nmero com a dimenso de energia. Encontre os autovalores de energia e os autokets de energia correspondentes (como uma combinao linear de 1 e 2 ). Soluo: Escrevendo o operador H na forma matricial na base { 1 , 2 } temos :
a a H= a a
1 a a 1 2 = E 2 a a
ou
a a 1 0 1 =0 E 0 1 2 a a
2 E a2 a2 = 0
E = + 2a
Fornecendo assim os autovalores de H . Chamaremos esses autovalores de E+ e E e chamaremos os autokets associados a esses autovalores como E+ e E . Para achar os autokets em termos de 1 e 2 ns retornaremos a equao de autovalores.
H E+ = E+ E+
a ( 1 1 2 2 + 1 2 + 2 1 ) 1 E+ a 1 E+
1 + 2 E+
1 2 E+
2 + 2 E+
1 + 1 E+
) ( 2 )=E ( 1 E
+ +
2 = E+ 1 E+
1 + 2 E+ 2
1 + 2 E+
(a E ) 1 E
2 E+ =
= a 2 E+
( E+ a)
1 E+
( E+ + a ) = a 1 E+
Substituindo a equao
2 E+ = ( E+ a) 1 E+
na
2 E+
(E
+ a ) = a 1 E+ ,
temos
(E
a) a
(E
+ a ) 1 E+ = a 1 E+ .
Substituindo E+ = + 2a , temos
2 E+ a2 = a2
2a 2 a 2 = a 2
(E
a) a
(E
+ a ) 1 E+ = a 1 E+
Explicitamente
2 E+ 1 E+
+a 2 a = + 2 1. a
2 E+
+ 1 E+
= 1.
Se fizermos
1 E+ = C+
ento
2 E+ = C+ + 2 1 ,
e
2 2 1 + + 2 1 = 1 C+ 2 C+ 1 + 2 + 2 2 + 1 = 1 2 . 2 + 2 = 1 2C+
1 C+ = 2 2+ 2
1/ 2
Finalmente, temos
1 E+ = 2 E+ =
2 2+ 2
) ) (+
2 1
2 2+ 2
Os autokets de H so :
1 E+ = 2 2 2
1/ 2
1 + 1
( (
2 1 2 2 +1 2
1 E = 2 2+ 2
1/ 2
onde H11 , H 22 e H12 so nmeros reais com a dimenso de energia, e 1 e 2 so auto kets de alguma observvel ( H ). Encontre os autokets de energia e os correspondentes autovalores de energia. Esteja certo de que sua resposta faz sentido para H12 = 0 . (Voc no precisa resolver este problema completamente. O seguinte fato pode ser usado sem prova :
G = n ; + = n ; + , S .n 2
; + dado por com n
; + = cos n
+ + ei sen
Soluo :
Os kets da base
(1 , 2 )
observveis, como, por exemplo, S x , S y e S z , etc. Por uma questo de convenincia vamos admitir que os elementos 1 e 2 sejam autokets de S z
, } . Alm disso, possvel supor que o Hamiltoniano H possa ser G . Sendo a e b constantes a expresso como funo do operador de spin S .n
G + b.I , H = a.S n
{+
Atravs de (1) podemos expressar os elementos G da matriz que representa H . Para isso, vamos em como uma funo dos elementos da matriz S n G na base de S z . primeiro lugar determinar os elementos da matriz de S n Assim, temos :
G G G G = G = S .n ; + S .n ; + S .n ; S .n ; S .n 2
G
(2)
Fazendo os produtos
G = = = cos 2 sen 2 + + + e i cos sen + e i sen cos + + S n 2 2 2 2 2 2 2 2 i = i = 2 cos 2 e cos sen + e cos sen + + sen 2 2 2 2 2 2 2 2
temos finalmente,
G = = S n cos + + + e i sen + + ei sen + cos 2
(3)
Agora, H pode ser representado na forma abaixo, conforme a equao dada no enunciado :
H11 H= H12 H12 H 22
(4)
(5)
Como os elementos da matriz de H so reais, devemos fazer = 0 , para que a matriz do segundo membro de (5) seja real. Igualando os termos, obtemos
(6)
No sistema de equaes acima devemos determinar a e b . Assim, somando (6a) e (6c), obtemos :
b= 1 ( H11 + H 22 ) 2
(7)
(8)
(9)
H12 H H 22 2 + 11 H12 2
2
(10)
(11)
G = n ; = n ; S .n 2
por H na equao acima, logo : Mas por (1), podemos trocar S n G
G ( H bI ) = n ; = ; = n ; S .n n a 2
ou
a= ; = ; H n + b n 2
(12)
a=
; so os autovetores de H com autovalores de Vemos que n + b , 2 com as constantes a , b e determinadas pelas equaes (11), (9) e (7), e = 0 . Ento, se,
H E, = E E,
Vemos que
E = a= +b 2
(13)
E tambm
, E, = n
(14)
As equaes (13) e (14) s valem para as condies estabelecidas pelas equaes (11), (9) e (7) com = 0 . Portanto, na base de S z , os autovetores de H podem ser escritos com os resultados do exerccio (9), ou seja,
E + = cos
+ + sen
(15)
e
E = sen
+ + cos
(16)
com
= arctg
2 H12 . H11 H 22
H + H 22 + 11 , 2
(17)
que so os autovalores de H . Podemos testar se naturalmente as equaes (15) e (16) esto corretas. A equao (12) uma equao de autovalores escrita na base de S z . Se fizermos H12 = 0 , H ficar diagonal onde os elementos da diagonal principal so os autovalores. Estes elementos so H11 e H 22 . Assim, esperamos que fazendo H12 = 0 na equao (17), E+ ser igual a H11 , e E ser H 22 . Fazendo isso, temos:
H11 H 22 2 E = 0 + 2
1/ 2
H11 + H 22 H H 22 H11 + H 22 = 11 + 2 2 2
Problema 12
com Um sistema de spin 1/ 2 conhecido estar no autoestado de S .n um vetor unitrio que est no plano xz que faz autovalor = / 2 , em que n um ngulo com o eixo z positivo. G
a. Suponha que S x seja medido. Qual a probabilidade de obter + = / 2 ? b. Calcule a disperso em S x , isto ,
(S
Sx
Soluo :
(1)
(2)
1 ; + = cos + + sen = x ( + + ). 2 4 4
(3)
Ento
1 1 P ( S x , + = / 2 ) = cos + sen = (1 + sen ) 2 2 2 2
2
(4)
(S
Sx
= Sx2 Sx .
2
(5)
; + S x S x n ; + Sx2 = n
(6)
(7)
2 2 = + + + cos + + sen S x2 = cos + + sen 2 4 2 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
S x2 = S x2
=2 [1] 4 =2 = 4
. (9)
= sen 2
2
Para S x
Sx
2
temos: (10)
=2 sen 2 . 4
Finalmente, temos:
(S (S (S
Sx
) ) )
= Sx =
Sx
=2 =2 = sen 2 4 4
x Sx
Sx
=2 1 sen 2 4 =2 = cos 2 4
(S
x Sx
=2 4
(S
Sx
=0 =2 4
(S
x Sx
Problema 13 Um feixe de tomos de spin 1/ 2 passa atravs de uma srie de medidas do tipo Stern-Gerlach como segue : a. A primeira medida aceita tomos S z = = / 2 e rejeita tomos S z = = / 2 . b. A segunda medida aceita tomos Sn = = / 2 e rejeita tomos S n = = / 2 , G , com n fazendo um ngulo no onde Sn o autovalor do operador S .n plano xz com respeito ao eixo z . c. A terceira medida aceita tomos S z = = / 2 e rejeita tomos S z = = / 2 . Qual a intensidade do feixe final de S z = = / 2 , quando o feixe S z = = / 2 sobrevivente a primeira medida normalizada a unidade? Como ns devemos orientar o segundo aparato de medida se ns estamos interessados em maximizar a intensidade do feixe final S z = = / 2 ? Soluo :
Consideremos que a intensidade do feixe seja normalizada a unidade aps a primeira medida. Assim a intensidade final ( aps a 3a medida ) ser igual a probabilidade de obtermos S z = = / 2 . Temos :
Probabilidade de se obter S z ; = = / 2
PS z ; = S n ; +
Sn ; + +
G ; + = cos + + ei sen . S .n 2 2
Logo,
G ; + = cos + S .n 2
G ; + + S .n
= cos 2
e
G ; + = ei sen S .n 2 G ; + S .n
= ei
sen 2
= sen 2
Como
sen = 2 sen
cos
temos :
sen 2 . 4
PS z =
Tambm, 0 < sen 2 < 1 , ento PS mximo para = / 2 , pois neste ngulo sen = 1 , o que faz com que a probabilidade se torne
z
PS z max =
1 . 4
para = / 2
Problema 14 Uma certa observvel em mecnica quntica tem uma representao matricial 3x3 como segue :
0 1 0 1 1 0 1 . 2 0 1 0
a. Encontre os autovetores normalizados dessa observvel e os correspondentes autovalores. Existe alguma degenerescncia? b. De um exemplo fsico onde tudo isso relevante.
Soluo : a. Seja
0 1 0 1 L= 1 0 1, 2 0 1 0
( L lI ) l = 0 .
(1)
Como l no pode ser um ket nulo (no queremos uma soluo trivial), devemos ter,
det( L lI ) = 0
ou,
l 1/ 2 0 1/ 2 l 1/ 2 0 1/ 2 = 0 . l
Logo, obtemos :
l l + =0 2 2 l3 l = 0 l 3 + l (l 1) = 0
2
(2)
Como l1 l2 l3 , no h degenerescncia. Assim vamos obter os autovetores correspondentes. a) l1 = 0 Substituindo em (1) temos :
( L 0 I ) l 1 =0 0 1/ 2 0 x1 0 0 1/ 2 x2 = 0 1/ 2 x 0 0 1/ 2 0 3
e obtemos :
1 x2 = 0 2 1 1 x1 + x3 = 0 2 2 1 x2 = 0 2 x2 = 0 x1 = x3 x2 = 0
1 l1 = 0 , 1
onde
l1 = l 1
l 1 l1 = 1
(a)
1 l l
1
Mas,
1 l1 l1 = (1 0 1) 0 = 1 + 1 = 2 1
1 1/ 2 0 x1 0 1 1/ 2 x2 = 0 1/ 2 0 x3 0 1/ 2 1
temos
l2 l2 = 1
1 2 1 2 = 1+ 2 +1 = 4 1
(b)
l2
obtendo,
x1 + x2 =0 2 x x1 + x2 + 3 = 0 2 2 x2 + x3 = 0 2 x2 = x1 2 x x x2 = 3 1 2 2 x x3 = 1 2
l3 ,
1 1 l3 = 2 . 2 1
do momento angular b. A matriz do enunciado a componente na direo n escrito na base de S z . uma matriz que representa spin unitrio, S = 1 .
Problema 15
A e B so observveis. Suponha que os autokets simultneos de A e B { a ', b ' } formam um conjunto completo ortonormal de kets de base. Ns
[ A, B ] = 0 ?
Se a sua resposta sim, prove esta assero. Se sua resposta no, de um contra-exemplo.
Soluo : Vejamos qual o resultado da operao de [ A, B ] sobre um ket arbitrrio . Como o conjunto { a ', b ' } forma um conjunto completo de kets de base normalizados, escrevemos com o auxilio do operador identidade, isto ,
= a ', b ' a ', b ' .
a' b'
(1)
[ A, B ]
(2)
Logo, como
[ A, B ]
= 0,
[ A, B ] = 0 .
{ A, B} = AB + BA = 0 .
possvel ter autokets simultneos ( isto , comuns ) de A e B ? Prove ou ilustre a sua assero.
Soluo : Suponhamos que existe um ket a ', b ' no nulo simultneo a A e B . Ento :
A a ', b ' = a ' a ', b ' B a ', b ' = b ' a ', b '
(1)
= AB a ', b ' + BA a ', b ' = a ' b ' a ', b ' + b ' a ' a ', b ' = 2a ' b ' a ', b '
(2)
Mas como { A, B} = 0 , a equao (2) um absurdo! Logo, se A e B anticomutam, no existe nenhum ket no nulo que seja autoket de A e B ao mesmo tempo.
[ A1 , A2 ] 0 ,
ainda que ns tambm conhecemos que ambas A1 e A2 comutam com o Hamiltoniano :
[ A1 , H ] = 0 ,
[ A2 , H ] = 0 .
Prove que os autoestados de energia so, em geral, degenerados. Existem excees? Como um exemplo, voc pode pensar no problema de fora
G p2 central, H = + V (r ) , com A1 Lz , A2 Lx . 2m
[ A2 , H ] a1 , E
[ A2 , H ] = 0
=0
Sabendo que [ A1 , A2 ] 0 , teremos que quando A2 atuar no auto-ket de A1 , ir mudar de a1 , E para um novo estado denotado dado por . Assim, se
A2 a1 , E = ,
teremos
EA2 a1 , E HA2 a1 , E = 0 E H =0 H =E
Desta forma, percebemos que tambm um auto-estado de H . Vamos repetir o mesmo procedimento para o primeiro comutador.
[ A1 , H ] a2 , E [ A1 , H ] = 0
=0
Logo, vemos que o auto-valor E de H tem dois auto-kets e . Portanto, temos um estado degenerado. No caso em que temos [ Lx , Lz ] 0 e [ Lx , H ] = 0 , [ Lz , H ] = 0 , ocorre uma degenerescncia de ordem 2l + 1 , pois para cada l , existem l ,..., 0,... + l , autokets de Lz . Assim, quando l = 0 , mx = mz = 0 e Lx ml = 0; l = 0 = 0 e Lz ml = 0; l = 0 = 0 , desta forma no h a possibilidade de existncia de um estado novo, o que resulta na quebra da degenerescncia. Neste problema, a exceo ocorre (ou seja, quebra de degenerescncia) quando A1 = 0 (ou A2 = 0 ), onde pode ser , , a1 ou a2 , qualquer autoket simultneo de H .
Problema 18 a. O modo mais simples para derivar a desigualdade de Schwarz apresentado a seguir. Primeiro, observe
+ * ).( +
)0
para qualquer nmero complexo ; ento escolha de tal um modo que a desigualdade anterior se reduz desigualdade de Schwarz. b. Mostre que o sinal de igualdade na relao de incerteza generalizada se mantm se o estado em questo satisfaz
A = B
com puramente imaginrio c. Apresente em clculos que usam as regras habituais de ondas mecnicas, mostre que a funo de onda para um pacote de onda Gaussianas dada por
x = ( 2 d
2 1 4
i p x ( x x ) 2 exp 2 4 d =
( x )
prove que o requisito
( p )
= 2
x x = (nmero imginrio) x p
de fato satisfeito para tal pacote de onda Gaussiano, de acordo com (b)
Soluo :
+ *
)+(
+
2
)0
(2)
+ + * + * 0 + + * + 0
Se ns escolhermos agora
=
* =
0
2
+ +
0
2
0
2
(3)
0
2
0
2
(4)
( A )
( B )
1 4
[ A, B ]
(5)
Para provar esta relao ns usamos a desigualdade de Schwarz (3) para os vetores = A a e = B a os quais do
AB
a AA a a BB a AB a ( A) a a ( B ) a AB
2 2 2 2 2 2
(6)
( A)
( B )
AB
(7)
(8)
2
1 4
{A, B}
=0 =0
(7)
{A, B}
* 2
a AB + BA a = 0 a ( B ) a + a ( B ) a = 0
2
(9)
a ( B ) a + * a ( B ) a = 0
2 2
( + ) a ( B )
*
a =0
(10)
Com puramente imaginrio. c. Devemos computar os valores esperados de x, x2, p e p2. O valor esperado de x claramente zero por simetria
x =
dx x x x =
dx
x = 0
(11)
Para x2 obtemos
dxx
1 = dxx 1 4 d
2
2 x ) ( exp ikx 2 4 d 2
( x ) 1 2 exp x2 = dx x ikx 2 d d
(12)
x2 =
d2 2
O que nos d
( x )
= x2 x
d2 2
(13)
Para disperso do operador posio. O valor esperado para p e p2 tambm pode ser computado como se segue
p =
dx ( i= ) x
x x
2
p = i= dx
x x
p = i= dx x p = =k p 2 = = 2 dx
1 14 d
2 x ) ( exp ikx 2 4 d
2 x x2
2
(14)
2 ( x ) exp ikx 4d 2 2
p2
1 = = 2 dx 2 1 x 4 d
=2 + =2k 2 2 2d
p2 =
( p ) ( p ) ( p )
= p2 p =
=2 + =2 k 2 =2k 2 2d 2 =2 = 2 2d
(14)
( x )
( p )
=2 4
(15)
Assim um pacote de onda Gaussiana tem de fato uma relao de igualdade no lugar da mais geral relao de desigualdade, por essa razo chamada de pacote de onda de incerteza mnima. Tambm temos que
x x x ( x x x x = ( x x
)
(16)
x
x x = x x x x
x p x x
(17)
Mas
2 i p x ( x x ) x = x 4d 2 x x = i p 1 x = x 2 ( x x ) 2d x =
(18)
p x
p x
(19)
Problema 19 a. Compute
( S x )
S x2 S x ,
onde o valor esperado calculado para o estado S z + . Usando o seu resultado, verifique a relao de incerteza generalizada
( A)
( B )
1 4
[ A, B ] ,
2
(1)
Escrevendo S x como
Sx = = (+ + + 2
(2)
temos
Sx =
= + 2
(+
+ +
)+ =0,
o que leva a
Sx
2
=0.
(3)
(4)
Assim,
S x2 = + S x2 + =
=2 =2 +1+ = , 4 4
(5)
e consequentemente,
( S x )
= S
2 x
Sx
=2 = 4
(6)
( S )
y
no estado S z + :
Sy = + Sy + = 0
e e
Sy
=0
=2 =2 = +1+ = 4 4
(7)
S
2 y
Sy
=2 =2 = + + = 41 4
(8)
Ento,
( S )
y
2 = Sy Sy
=2 4
(9)
(10)
Logo Sx , S y = i= S z = i= + S z + = e
Sx , S y
2
i= 2 2
(11)
=4 4
2
(12)
Fazendo o produto ( S x )
( S y )
=4 . 16
Problema 2 Suponha que uma matriz X 2 x 2 ( no necessariamente Hermitiana, nem unitria ) seja escrita como
GG X = a0 + .a ,
(1)
onde a0 e a1,2,3 so nmeros. a. Como so a0 e ak (k = 1, 2,3) relacionados ao tr ( X ) e ao tr ( k X ) ? b. Obtenha a0 e ak em termos dos elementos da matriz X ij . Soluo : a. Consideraremos o vetor cujos componentes so as matrizes de Pauli :
1 =
0 1 1 0
G
2 = i
0 i 0
3 =
1 0 0 1
(2)
tr ( X ) = 2a0 .
(3)
a + ia
a a
(4)
tr ( 1 X ) = 2a1
1 2X = 2 ia0 + ia3
a ia
(5)
tr ( 2 X ) = 2a2
1 2 3X = 0 3 + a ia a a 2 0 3 1
a +a
a ia
(6)
tr ( 3 X ) = 2a3
tr ( X ) = 2a0
(7)
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 ) 2 2 1 1 a1 = tr ( 1 X ) = ( X 21 + X 12 ) 2 2 1 1 a2 = tr ( 2 X ) = (iX 21 + iX 12 ) 2 2 1 1 a3 = tr ( 3 X ) = ( X 11 X 22 ) 2 2
Problema 20 Encontre a combinao linear dos kets + e que maximize o produto de incerteza
( S x )
( S )
y
Verifique explicitamente que para a combinao linear encontrada, a relao de incerteza para S x e S y no violada. Soluo : A combinao linear mais geral, a menos de uma fase global (que no tem interesse em Mecnica Quntica), dada por
= a + + (1 a 2 )1/ 2 ei ,
(1)
(+
+ +
) )
(2) (3)
Sy =
i 2
(+
logo
S x2 = S x S x = ( + + + ) ( + + + ) 2 2 S x2 =
2
(+
+ + )=
(4)
i 2 Sy = SySy = 2 S =
2 y 2
(+
+
2
i ) 2 (+
+ )
(+
+ + )=
(5)
( S x )
y
= Sx2 Sx .
(6) (7)
( S )
= Sy2 Sy
1 =
(8)
(9)
1/ 2
e i S x a + + 1 a 2
1/ 2
ei
1/ 2
ei + S x + a 1 a 2
1/ 2
e i S x + +
(10)
(1 a ) S
2
Utilizando S x =
+ Sx + = 0 ;
(+
+ +
) temos que
2
+ Sx = Sx + =
Sx = 0
{a(1 a )
2 1/ 2 i
(11)
Usando
Sy = i 2
(+
Podemos calcular :
+ Sy + = 0 ;
+ Sy = Sy + =
i ; 2
Sy = 0
(13)
( S x )
e
a 2 (1 a 2 ) cos 2 =
1 4a 2 (1 a 2 ) cos 2 4
(14)
( S y )
a 2 (1 a 2 ) sen 2 =
1 4a 2 (1 a 2 ) sen 2 4
(15)
( S x ) ( S x )
( S )
y
= =
( S )
y
16
{1 4a (1 a ) + 4a (1 a ) sen (2 )}
2 2 4 2 2 2
Por inspeo vemos que o valor de que maximiza o produto de incerteza = / 4 . Substituindo qualquer um destes valores em (16), o lado direito desta expresso se torna :
16 {
2 2 2 1 2.2a 2 (1 a 2 ) + 2a (1 a ) 2
1 2a 2 (1 a 2 ) 16
(17)
O termo entre colchetes, considerado uma funo do parmetro a possui trs pontos crticos : a = 0 e a = 1/ 2 . Os pontos a = 1/ 2 so mnimos e o ponto a = 0 um mximo relativo. Vejamos qual o valor do termo entre colchetes nas extremidades do domnio de a ( a = 1 ):
2 2 1 2a (1 a ) a =1 = 1
(18)
(19)
Temos ento que, dentro do intervalo 0 a 1 o maior valor do produto de incerteza obtido quando a = 0 ou a = 1 . Ento, temos que as combinaes lineares que maximizam o produto de incerteza so as seguintes :
=+ =+ =
4
, , ,
a=0
= ei / 4
a = 1
= +
a=0
= e i / 4
a = 1
= +
De forma geral :
= +
(20a)
e
= e i / 4
(20b)
Verificamos agora se estas combinaes lineares no violam a relao de incerteza entre S x e S y . Vejamos qual o valor do produto de incerteza para combinaes do tipo (20a) e (20b) :
( S x )
( S )
y
16
(21)
( S x )
( S )
y
1 Sx , S y 4
(22)
Temos que
Sx , S y = i Sz
(23)
e
Sz = Sz .
(24)
Sz = + ( ) Sz + =
(25)
ou usando (20b) :
S z = e i / 4 S z e i / 4 = S z =
(26)
( S x ) ( S x )
( S )
y
1 i 4 2
4
( S )
y
16
Vemos ento que as combinaes lineares (20a) e (20b) no violam a relao de incerteza.
( x )
( p )
Soluo : Para uma partcula confinada em uma caixa, os autoestados do Hamiltoniano so dados por :
H =E
Logo,
x' H = E x'
Agora, dentro do poo, o potencial nulo. Ento, temos apenas energia cintica. Portanto,
x p2 =E x 2m
Como
x ' = ( x ')
x'
p2 = 2 d 2 = , 2m 2m dx '2
Temos :
d 2 2mE + 2 =0 dx '2 =
onde
k2 = 2mE =2
(1)
Como V = em x = 0 e x = a , devemos ter ( x ' = 0) e ( x = a) = 0 , pois nesses pontos a partcula no pode estar. Aplicando as condies de contorno, obtemos :
( x ' = 0) = 0
A + B.0 = 0 A = 0
0 xa
2
n a
dx = 1
2
B B
a =1 2 2 B = a
2
Logo,
n ( x ') = x ' =
2 senkn x ' a
(3)
Logo,
x 2 = x 2 2 x x + x
2
( x )
= x2 x
(4)
2 2
2 a2 a2 2 a cos 2 x = k x [ ] n 0 4 a (4kn ) 2 a 2 2 a2 a 4 a x = 2 x =
x2
Agora kn2 =
2
n 2 2 , logo a2
a3 1 a 2 1 1 = = a2 2 2 2 2 3 2n 3 2n
Portanto,
( x ) ( x ) ( x )
= x2 x = =
a2 a2 a2 1 1 1 2 2 = a2 2 2 3 2n 4 3 4 2n a2 1 1 2 2 2 6 n
2
Clculo de ( p ) Temos :
( p )
= p2 p
Devemos determinar p 2 e p .
* p = p = dx ' x ' x ' p = dx ' * ( x ') i= dx ' = i= x ' x ' 0 0 0
a a a
2 2 p = i= senkn x 'cos kn x ' dx ' = i= kn senkn x 'cos kn x 'dx ' a0 a 0 p = i= 2 ik a senkn x ' d ( senkn x ' ) = ( senkn x )0 = 0 a 0 a
a
Para p 2 , temos :
a a 2 p 2 = p 2 = dx ' x ' x ' p 2 = dx ' * ( x ') = 2 x '2 0 0
p2 = p2 =
2 = p 2 = = 2 kn
= 2 n 2 2 a2
p2 =
= 2 (n ) 2 a2
Temos ento :
( p ) ( p )
= p2 p =
= 2 (n ) 2 a2
= p2 0 = p2
( x ) ( x )
( p ) ( p )
a2 1 1 ( n ) = 2 2 =2 2 6 n a2
2 = 2 ( n ) = 1 2 6
( x )
( p )
=2 2 = 1 2 6
(fundamental)
( x )
( p )
2 = 2 ( n ) = 1 2 6
(excitado)
Problema 22 Estime a ordem de grandeza do intervalo de tempo que um picador de gelo pode ser equilibrado sobre sua ponta se a nica limitao imposta for o princpio da incerteza de Heisenberg. Assuma que a ponta seja afiada e que tanto a ponta quanto a superfcie, onde o picador de gelo est apoiado, so duros. Voc pode fazer aproximaes que no modificam a ordem de grandeza geral do resultado. Admita valores razoveis para as dimenses e massa do picador de gelo. Obtenha um resultado numrico aproximado e expresse-o em segundos.
Soluo: Inicialmente, assume-se que o picador de gelo seja equivalente a um ponto de massa m ligado a uma haste leve de comprimento L com a outra extremidade sendo equilibrada em uma superfcie dura e fixa. Para um deslocamento angular pequeno do picador de gelo em relao um eixo vertical, a equao de movimento :
mL2 d 2 mgL = 0 dt 2
+ be (
g / L )t
Em t = 0 temos:
x = L = (a + b) L
e
p = mL d g ( = mL ae dt L
g / L )t
+ be (
g / L )t
[2m(gL ) ]
3 12
O deslocamento em um tempo posterior t minimizado ao assegurar a e b to pequenos quanto possveis. Deste modo, fixando a e b:
a=
[2m(gL ) ],
3 12
b=0
f =
100
Temos:
f = ae
g Lt f
de acordo com m e . Para qualquer valor razovel de dimenses e massa de um picador de gelo, deve-se ter:
t ~3s.
Problema 23 Considere um ket de espao tridimensional. Se um certo conjunto de kets ortonormais digamos, 1 , 2 e 3 - so usados como kets de base, os operadores A e B so representados por
o a 0 A= 0 a o 0 0 a b 0 o B= 0 0 ib , 0 ib 0
com a e b ambos reais. a. Obviamente A exibe um espectro degenerado. B tambm exibe um espectro degenerado ? b. Mostre que A e B comutam. c. Encontre um novo conjunto de kets ortonormais que sejam autokets simultneos de ambos A e B . Especifique os autovalores de A e B para cada um dos trs autokets. Esta especificao de autovalores caracteriza completamente cada autoket ? Soluo : a. Para sabermos se B tem um espectro degenerado precisamos calcular os seus autovalores. Para isto estabelecemos a equao secular, cujas razes so os autovalores de B .
det( B I ) = 0 b det 0 0 0 ib 0 . ib = ( 2 b 2 )(b ) = 0
3 = b .
Vemos ento que o espectro de B tambm degenerado, pois possui dois autovalores iguais, +b .
b. Calcularemos o comutador [ A, B ] = AB BA .
0 0 ab 0 AB = iab 0 0 iab 0 0 0 ab 0 BA = iab 0 0 iab 0
Portanto,
[ A, B ] = 0 .
Podemos concluir que possvel encontrar um conjunto ortonormal completo de kets de base que sejam autokets simultneos de A e B . c. Temos que { 1 , 2 , 3 } forma um conjunto completo e ortonormal de kets de base. Estes kets so os autokets do operador A , pois A diagonal nesta base. O ket 1 , representado por
1 1 = 0 0
Os kets
0 2 = 1 0 0 3 = 0 1
no so autokets de B , pois
B 2 = ib 3
B 3 = ib 2 .
Como { 2 , 3 } um subespao dos operadores A e B , temos que os novos autokets simultneos a A e B devem ser combinaes lineares destes dois kets. Escrevemos estes autokets simultneos a A e B como:
2 2 ' = 2 2 + 1 2
3' = 3 2
( ) + (1 )
2 3
1/ 2
ei 2 3 e
i 3
1/ 2
em que e so reais. Como j vimos no exerccio anterior, isto a mais geral combinao linear de dois kets que interessa Mecnica Quntica. Ento, na base { 1 , 2 , 3 } , estes kets tem a seguinte representao matricial:
0 2' = 2 , (1 2 )1/ 2 ei2 2
0 . 3 3' = 1/ 2 i 3 1 32 e
Os parmetros das combinaes lineares ( 2 , 3 , 2 , 3 ) sero ento determinados atravs da condio que 2 ' e 3' sejam autokets de B . As equaes de autovalores, para os kets 2 ' e 3' , ficam:
B 2' = b 2'
B 3' = b 3' .
A primeira equao s pode ser satisfeita se cos 2 = 0 , pois se (1 22 )1/ 2 = 0 , a segunda equao no satisfeita. Ento:
2 = + / 2
Substituindo 2 = + / 2 , temos que 2 = +1/ 2 . A segunda equao, B 3' = b 3' , na forma matricial, se torna:
0 0 b 0 0 3 3 0 0 ib = b 0 ib 0 (1 2 )1/ 2 ei3 (1 2 )1/ 2 ei3 3 3
com as solues
3 = + / 2 3 = +1/ 2
A escolha conveniente dos sinais destes parmetros ser feita atravs da condio de ortogonalizacao de 2 ' e 3' . Isto , usando as equaes
2 2 ' = 2 2 + 1 2
3' = 3 2
( ) + (1 )
2 3
1/ 2
ei 2 3 ei 3 3
1/ 2
temos
2 ' 3' = 0 2 + 1 2 2 2
1/ 2
e i2 3 3 2 + 1 32
1/ 2
1/ 2
ei 3 3 = 0
2 2 2 3 2 2 + (1 2 )(1 3 )
ei ( 3 2 ) 3 3 = 0
2 3 + ei ( ) = 0
3 2
1 2
Logo, 2 = 3 (ambos devem ter o mesmo sinal) e 2 3 = 1/ 2 ( 2 e 3 devem ter sinais contrrios). Ento os autokets 2 ' e 3' , simultneos a A e B , so dados por:
2' = 1 1 i / 2 e 2 + 3 2 2 1 = { 2 +i 3 } 2
e
3' = 1 1 i / 2 2 + 3 e 2 2 1 = { 2 i 3 } 2
B 3' = b 3' .
Vemos ento que a especificao dos autovalores caracteriza completamente os autokets 1' , 2 ' e 3' .
Problema 24 a. Prove que (1/ 2 ) (1 + i x ) atuando sobre um spinor de duas componentes pode ser pensado como a representao matricial do operador rotao em o torno do eixo- x por um ngulo / 2 . (O sinal menos significa que sentido da rotao o mesmo do ponteiro do relgio.) b. Construa a representao matricial de S z quando os autokets de S y so usados como vetores de base. Soluo : a. O operador (1/ 2 ) (1 + i x ) possui a seguinte representao matricial na
base { + , } :
1 1 1 0 0 1 1 1 i (1 + i x ) = +i = 2 2 0 1 1 0 2 i 1
(1)
Vejamos agora qual a forma do operador de rotao do sistema fsico (no do sistema de coordenadas) de um ngulo / 2 no sentido horrio em torno do eixo x . Este operador transforma os autoestados de S z nos autoestados de S y , da seguinte forma :
+
Sy; +
Sy ;
(2)
(3)
e
Dx ( / 2) = S y ;
(4)
Figura 1: representao de uma rotao por um ngulo / 2 no sentido horrio em torno do eixo x .
{+
, } , podemos expandir
Sy; +
e Sy;
(5)
Sy; =
(6)
Multiplicando um ket por uma fase global no alteraremos o seu significado fsico. Ento, se multiplicarmos (6) por ei / 2 = i no alteramos o significado fsico de S y ; . O conjunto { S y ; + , i S y ; } continua sendo ortonormal. Ento procuraremos o operador transformao :
Dx ( / 2) + =
1 ( + +i 2
Dx ( / 2 )
(7)
e
2
Dx ( / 2) = i S y ; =
1 (i + + 2
(8)
(9)
e
d 21 =
1 i. 2
(11)
(12)
e
d 22 =
1 2
(12)
(13)
na base { + , } . Observamos que esta matriz idntica a do operador (1/ 2 ) (1 + i x ) na mesma base. Logo :
Dx ( / 2) =
1 (1 + i x ) 2
Embora tenha uma forma diferente este operador tem o mesmo significado fsico que o operador (13). Esta arbitrariedade se deve, como j foi comentado, ao fato que um ket no tem seu significado fsico alterado se o multiplicarmos por uma fase global. b. Na base { + , } o operador S z representado pela matriz
= = 1 0 Sz = z = 2 2 0 1
(16)
(17)
(k )
Onde { a ( k )
Bnovo = U BvelhoU
(18)
Observamos que o operador Dx ( / 2) unitrio, seja usada na forma (13) ou (15). Tambm, observamos que, associada a forma (13), as equaes (7) e (8) so as equaes da mudana de base
{+
,}
{ S ;+ ,i S ; }
y y
(19)
{+
,}
{ S ;+ , S ; }
y y
(20)
(21)
base { S y ; + , i S y ; }
(22)
(23)
Problema 25 Alguns autores definem um operador como real quando cada membro dos elementos matriciais deles b ' A b '' real em alguma representao (base neste caso). este conceito de representao independente, isto , os elementos matriciais permanecem reais mesmo se alguma outra base que { b ' } usado ? Verifique sua assero usando operadores familiares tais como S y e S z (veja problema 24) ou x e px .
{ b' }
Soluo : Considere
c ' A c '' = c '
b'
b'
ou seja,
b ' A b ''
b '' c ''
Temos ento
1 b' = = + 0 0 b '' = = 1
Sz
e
1/ 2 c' = = Sy; + i / 2 1/ 2 c '' = = Sy; i / 2
Sy
em que
Sz = = 2
e
Sy; = 1 1 i 2 + e . 2 2
e
i 1 c '' b '' = + 2 2 i c '' b '' = 2
e
i 1 c ' b '' = + + 2 2 . i c ' b '' = 2
Problema 26 Construa a matriz transformao que conecta a base diagonal S z a base diagonal de S x . Mostre que seu resultado consistente com a relao geral
U = b( r ) a ( r ) .
r
(1)
onde
1 S z ; + = S z ; + + 0. S z ; = 0
(a,b)
Para S x ; e S z ; , obtemos :
U11 U12 1/ 2 0 = U 21 U 22 1/ 2 1
Logo,
U11 U12 = 0 U 21 U 22 = 2
(c,d)
De (c), temos :
U12 = U11 = 1/ 2
(2)
1/ 2 U = 1/ 2
1/ 2 1/ 2
(3)
Logo,
1/ 2 U U = 1/ 2 1/ 2 1/ 2 1/ 2 1/ 2 1 1 + 1/ 2 2 2 = 1 1 1/ 2 22 1 1 2 2 1 0 = =1 1 1 0 1 2 2
Logo, vemos que U unitria, tambm pode ser mostrado que UU = 1 . Multiplicando (1) por (3), obtemos :
U U S x ; = U S z ;
Como U U = 1 , obtemos :
U Sz ; = Sx ;
(4)
E vemos que a transformao inversa obtida com (3). Agora resta mostrar que (2) e (3) so coerentes com a relao geral :
U geral = b r
r
ar
(5)
r
Sendo a r correspondente a S x ; e b
U geral = S z ; + S x ; + + S z ; S x ;
1/ 2
)
1/ 2 =U 1/ 2
0 1/ 2 1/ 2 1/ 2 0 U geral = + 0 = 0 1/ 2 1/ 2 1/ 2 U geral = U
Logo,
U geral =U
Problema 27 a. Suponha que f ( A) uma funo de um operador Hermitiano A com a b '' f ( A) b ' quando a matriz propriedade A a ' = a ' a ' . Calcule transformao da base a ' para a base b ' conhecida. b. Usando o anlogo contnuo do resultado obtido em (a), calcule
G G p '' F (r ) p ' .
Simplifique sua expresso at onde voc puder. Note que r onde x , y e z so operadores.
x2 + y 2 + z 2 ,
(1)
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 ' f ( A) a ' = tn a 'n a '
n n
(2)
Calcularemos agora b ' f ( A) b '' . Usando o fato que a base { a ' } completa aplicamos o operador identidade
a'
a'
(3)
(4)
(5)
(6)
G
(7)
e
G G 1 G G ip '.x x p' = exp 3/ 2 = (2 =)
(8)
(9)
Usando coordenadas esfricas, com o eixo z na direo do vetor ( p ' p '') , a integral nesta expresso se torna :
G G G 2 i ( p ' p '').x 2 d xF (r ) exp = drr F (r ) d d sen exp ( i r cos ) = 0 0 0
3
(10)
1
1
cos =1 cos =1
i r
e i r )
(11)
drF (r )rsen ( r )
0
(12)
(13)
Problema 28 a. Considere x e px serem as coordenadas e o momento linear em uma dimenso. Calcule o colchete de Poisson clssico,
[ x, F ( px )]classico .
b. Considere x e px os correspondentes operadores quanto-mecnico. Calcule o comutador
ipx a x, exp = .
(x x'
= x' x'
A B A B . qs ps ps qs
[ x, F ( p x ) ] =
x F ( px ) x F ( px ) . x px px x
Como F = F ( px ) somente,
F = 0 . Logo, x
[ x, F ( p x ) ] =
F ( px ) dF ( px ) . = px dpx
Temos ento:
[ x, F ( px )]classico =
dF dpx
b. Sabemos que :
I) Primeira maneira
, classico 1 , i= quantico
Logo,
1 i= = i= [ x, F ( px ) ]classico
ipx a , temos : =
ipx a ia d ipx a ipx a ipx a x, exp = = i= dp exp = = = i= exp = = a exp = x ipx a ipx a x, exp = = a exp =
II) Segunda maneira A segunda maneira de resolver o problema est baseada no conhecimento de [ x, px ] = i= . Ento, sabemos que:
2 x, p x = [ x, px ] px + px [ x, px ] = (i=)2 px 3 2 2 2 2 2 2 x, p x = x, p x p x = x, p x px + px [ x, px ] = i= 2 px + px i= = i=3 px 4 3 3 3 3 3 x, p x = x, p x px + px [ x, px ] = i=3 px + px i= = (i=)4 px
De um modo geral
n n 1 x, p x = i=npx
(1)
Agora
ip x a ipx a 2 2 ipx a i 2 px ipx a i 2 px 2 a 2 a ipx a = = x , exp = xe e x = x 1 + + + ... + + ... x 1 + 2 2 2!= 2!= = = =
A nica vantagem desta maneira que no precisa conhecer o colchete de Poisson clssico. 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 = =
operador
[ pi , F ( x )] = i=
F xi
pode ser facilmente derivado a partir das relaes de comutao fundamentais para todas as funes F e G que podem ser expressadas como sries de potncias em seus argumentos. Verifique sua declarao.
2 2 b. Calcule x , p . Compare seu resultado com o colchete de Poisson 2 2 clssico x , p classico .
Soluo :
G
(1)
Considerar G como uma funo escalar no limita nosso resultado, pois se G fosse vetor teramos
G G G G G xi , G ( p ) = x [ xi , Gz ( p ) ] xi , G y ( p ) +z [ xi , Gx ( p )] + y
(2)
onde Gx , G y e Gz so funes escalares de uma varivel vetorial. Ento, de acordo com (2), resolvendo o comutador para G escalar teremos resolvido o G problema para o vetor G . A expresso (1) nos diz que podemos considerar uma funo escalar de uma varivel vetorial como sendo uma funo escalar de trs variveis escalares (as trs componentes do operador momento linear). Assim, se G ( p1 , p2 , p3 ) puder ser expressa em srie de potncias, temos:
G ( p1 , p2 , p3 ) = t jn p n j
n = 0 j =1
(3)
[ A, cB ] = c [ A, B ] ,
xi , p j = i= ij
(5)
(6)
onde usamos
[ A, BC ] = [ A, B ] C + B [ A, C ] .
Mostraremos agora, por induo matemtica, que
n n 1 xi , p j = i= ij np j
(7)
Primeiro, observamos que esta frmula valida para n = 1 , como vemos em (5). Basta mostrar ento que, se (7) valida para n = (k 1) , deve ser vlida para n = k . Para isto usaremos a relao de recorrncia (6):
2
k 1 xi , p k k 1 + p j j = xi , p j p j xi , p j k k 1 k 2 xi , p j = i= ij p j + p j i= ij (k 1) p j k k 1 k 1 xi , p j = i= ij p j + (k 1) p j k k 1 xi , p j = i= ij kp j
(8)
Na segunda linha usamos a hiptese de que (7) vale para n = k 1 . Na ltima linha conclumos que (7) vale para n = k . Logo (7) est demonstrada. Substituindo (7) em (4), temos que:
[ xi , G ( p1 , p2 , p3 )] = t jn (i=) ij np nj 1
n = 0 j =1
[ xi , G ( p1 , p2 , p3 )] = i= t jn ij np nj 1
n = 0 j =1
(9)
3 n , ( , , ) = x G p p p i t jn ij pj = [i 1 2 3 ] n =0 j =1 p j
[ xi , G( p)] = i=
G pi
(10)
G [ pi , F ( x )] . O procedimento para o clculo
n n n 1 xi , p j = p j , xi e, consequentemente, pi , x j = i= ij nx j = i= x x j . Assim
i
temos:
[ pi , F ( x )] = i=
F . xi
(11)
p2 = p2 j . Ento
j
2 2 2 2 x , p = xi , p j i j
(12)
Mas
2 2 2 2 xi , p j = xi xi , p j + xi , p j xi
(13)
(14)
(15)
(16)
( ) ( )
( ) ( )
(17)
Quntico Clssico
Notamos aqui que existe um operador quntico Hermitiano associado a cada grandeza dinmica em mecnica clssica. grandeza clssica xi pi , temos associado o operador quntico Hermitiano anlogo quntico da expresso clssica.
1 ( xi pi + pi xi ) . Assim, (16) o 2
(0)
esta na direo positiva z e Encontre ak' em termos de ak quando n interprete o seu resultado.
Soluo :
G G i .n i .n Observamos que os operadores exp e exp so Hermitianos 2 2 adjuntos um do outro. Chamaremos estes operadores de U e U , 1 . Ento : respectivamente. Notamos que UU = 1 . Logo det U = det U
GG GG det( .a ') = det U det( .a ) det U GG GG det( .a ') = det U det( .a ) 1 GG = det ( .a ) det U
(1)
G
=z = 3 . . Neste caso, .n Calcularemos agora os ak ' em termos dos ak para n Faremos a expanso :
1 i i exp 3 = 3k 2 k k ! 2
k
(2)
Podemos escrever :
(3)
(4)
(5)
Usando as relaes entre as matrizes de Pauli i j = j i ( j i ), podemos formar o termo de (5) que envolve o 10 termo entre colchetes :
k k k k 1 i 1 i 1 i 1 i 1 3 a1 3 = k par k ! 2 k impar k ! 2 k par k ! 2 k impar k ! 2 i 3 i 3 1 exp a1 exp 2 2
(6)
De forma totalmente anloga o termo de (5) formado pelo segundo termo entre colchetes fica :
2 exp
i 3 i 3 a2 exp 2 2
(7)
Finalmente poderemos escrever o termo formado pelo terceiro termo entre colchetes de (5) :
3 exp
i 3 i 3 a3 exp 2 2
2
(8)
GG
(9)
Desenvolveremos agora ei :
3
e i 3 = I i 3 + e i 3 e i 3 e i 3
(10)
e i 3 = I cos i 3 sen
1 =
0 1 ; 1 0
2 =
0 i , i 0
Temos :
.a ' = 1a1 '+ 2 a2 '+ 3a3 ' =
GG 0
' 1 ' ' a3 a1' 0 ia2 + + 0 ia2 ' 0 0
0 ' a3
Logo,
' G G a3 .a ' = ' ' a1 + ia2 ' a1' ia2 ' a3
(11)
(12)
(13)
' a1' ia2 = (a1 ia2 )(cos + isen ) = a1 cos + ia1sen ia2 cos + a2 sen
Logo :
a1' = a1 cos + a2 sen ' a2 = a2 cos a1sen
(14)
Vemos ento que a transformao em questo uma rotao espacial do sistema de coordenadas do espao Euclidiano ordinrio, visto que as equaes (13) e (14) so as relaes de transformaes de um vetor quando o sistema de eixos cartesianos girado de um ngulo . Rotao de um sistema de coordenadas S ' em torno do eixo z :
x '1 = x1 cos + x2 sen x '2 = x2 cos x1sen x ' = x 3 3
b. Usando (a) (ou outra forma), demonstre como o valor esperado x muda sob uma translao. Soluo : a. Para resolver o comutador, vamos adotar a maneira usada no exerccio 28. Temos:
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 i xi , (l ) = li (i=) exp p j l j exp li pi = = = 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 )
G =T x
G G G G G = (l ) x (l ) = (l ) xi (l )
i
(1)
logo,
G G (l ) xi (l ) xi = li ; G G (l ) xi (l ) = xi + li
= xi + li = xi + li ,
i i i
pois, li um nmero,
G x
T
G G = x +l .
Problema 31 Dentro do texto principal ns discutimos o efeito de (dx ') sobre os autokets de posio e momento, e sobre o mais geral ket de estado . Ns podemos G G tambm estudar o comportamento dos valores esperados x e p sob uma G translao infinitesimal. Usando (1.6.25), (1.6.45), e (dx ') apenas, G G G G G prove x x + dx ' , p p sob translao infinitesimal. Soluo : As frmulas citadas so as seguintes :
G
(1.6.25)
[ p, (dx ')] = 0
G
(1.6.45)
G
G G
(2)
Como o operador (dx ') unitrio o segundo termo do lado direito de (2) G G simplesmente x = x . O primeiro termo do lado direito de (2), usando ( 1.6.25 ) fica:
(dx ')dx ' = dx ' (dx ')
G G G G
(3)
(4)
G x
G G dx '+ x
(5)
Observao : Esta expresso j havia sido demonstrada no exerccio 30 para translaes finitas, das quais as transformaes infinitesimais so um caso especial. O valor esperado do momento p varia sob transformaes infinitesimais da seguinte forma:
G p
G
G G
(6)
Usando (1.6.45), o primeiro termo do lado direito desta expresso se anula. Usando a propriedade de unitariedade do operador de translao, o segundo termo do lado direito se reduz a
p = p .
G G
Logo :
G p G p
(7)
Problema 32 a. Verifique (1.7.39a) e (1.7.39b) para o valor esperado de p e p 2 a partir do pacote de onda Gaussiano (1.7.35). b. Calcule o valor esperado de p e p 2 usando a funo de onda espaomomento (1.7.42). Soluo :
a. As respectivas equaes so :
p = =k
(1.7.39a) (1.7.39b)
p2 =
=2 + =2k 2 2d 2
(1.7.35)
Vamos definir
A
1
1/ 4
(1)
dx '
x' x' p =
(2)
Agora,
x '2 x '2 x' x = A exp ikx ' 2 = A exp ikx ' 2 ik 2 x x 2d 2d d
p = i = A
x '2 d2
2 +
x 'e
x '2 d2
dx '
A segunda integral zero pois o integrando uma funo mpar integrada em um intervalo anti-simtrico. Assim, resta a primeira integral:
+
p = =k A
x '2 d2
dx ' = 2k = A
e
0
2 x '2
dx '
onde escrevemos
2 = 1/ d 2 .
(3)
(4)
Com
+
I=
e
0
2 x '2
dx '
(5)
dxdy .
Essa integrao realizada em todo o meio plano xy . Vamos trocar as variveis ( x, y ) pelo par (r , ) em coordenadas polares. Lembrando que o Jacobiano neste caso e
/2
( x, y ) = r , obtemos: (r , )
2 r 2
I2 =
0 0
e r rdrd =
2 2
e 2
0
rdr
e du = 4
u 0
I=
. 2
d 1 = =k d = =k 2 d
(1.7.39a)
(1)
Agora
x '2 x ' ( x ') A ikx ik 2 = exp ' 2 d x ' x ' x ' 2d x ' x' x '2 1 x '2 ( x ') A ik ik ikx ikx = exp ' exp ' d 2 d2 x ' 2d 2 d 2 2d 2 x ' 2 2 ( x ') x' x '2 1 x '2 = A ik 2 exp ikx ' 2 2 exp ikx ' 2 d x '2 2d d 2d
== k A
2 2
x2 / d 2
dx '
=2 A d
4
2 +
x'
x '2 / d 2
dx '+
=2 A d
2
2 +
x' 2 / d 2
dx '
= 2= k A
2 2
e
0
x '2
dx '
2= 2 A d
4
2 +
x'
0
x '2
dx '+
2= 2 A d
2
2 +
e
0
x' 2
dx '
e
0
x '2
dx ' =
1 2
Logo
p
2 2 1 2= A = 2= k A 2 2d 4 2 2 2 2
2= 2 A 1 + d2 2 2 1 d3
Como = 1/ d 2 , ento,
p 2 = =2k 2 p 2 = =2k 2 p2
=2d 3 =2 + 2d 4 d d 2
=2 =2 + 2d 2 d 2 =2 = =2k 2 + 2 2d
b.
p ( p ') =
d 1/ 2
=1/ 2 1/ 4
( p ' =k ) 2 d 2 exp 2= 2
Vamos definir
B d 1/ 2 =1/ 2 1/ 4
Ento temos
p = p =
+ +
dp '
p p' p' =
2 2
p = B e
2
d 2k 2
p 'e
d p ' dk =
e d k dp '
2 2
p = B
p 'e
d p ' dk =
dp '
E fazendo u =
+
2 2 = 2 = = 2= = 2 2 p = B u + k = e u du = B ue u du + =k B e u du d d d d d
A 1a integral nula, pois temos uma funo mpar integrada em um intervalo anti-simtrico. Logo,
p =
2 =k = 2 B 2 e u du = =k d 0
dp ' p
'2 *
( p ') ( p ')
= B
p'
d p ' dk =
dp '
E fazendo a substituio =
= 2 = 2 = B + k = e d = d d
+
p2 = p
2
+ 2 = 2 = 2 2 =2 B 2 + 2 k + = 2 k 2 e d = d d + +
2 2 =3 2 = 2 = 3 B 2 e d + B k 2 = 2 e d d d
A integral do meio nula, pois o integrando uma funo impar. Usando os resultados anteriores, escrevemos :
p2 = p2 = p2
=3 2 = 2 2 2 B + B k = d3 d
= d 2 2 =3 d + k = 3 d = d = = = 2 + =2k 2 2d
(ii)
* x = dp ' ( p ')i=
e ( p ') = p '
onde x o operador posio e algum nmero com a dimenso de momento? Justifique sua resposta. Soluo : a. i) Usando a completeza dos autokets da posio podemos escrever a relao :
x = dx ' x x ' x ' = dx ' x ' x ' x '
(1)
(2)
(3)
(4)
(5)
(6)
Como x ' no depende de p ' e a integrao em x ' independente da derivao em p ' , temos :
p ' x = i= dx ' p ' x ' x ' p '
(7)
Logo :
p ' x = i= p' p '
(8)
ii) Usando o fato que os autokets de p formam um conjunto completo, podemos escrever a relao :
x = dp ' p ' p ' x
(9)
(10)
* x = dp ' ( p ')i=
( p ') p '
(11)
ix
b. Para encontrarmos o significado fsico da exp aplicaremos este = operador a um autoestado do momento linear, p ' . Ento : ix ix exp p ' = dx 'exp x' x' p' = =
(12)
(13)
(14)
(15)
Logo, o operador exp provoca um deslocamento no valor do momento = linear do sistema. O parmetro o valor deste deslocamento no nosso problema unidimensional. No caso tridimensional teramos, por generalizao :
GG ix. G G exp p ' = p '+ =
ix
(16)
Problema 4 Usando as regras da lgebra de bras e kets, prove ou calcule o seguinte : a. tr ( XY ) = tr (YX ) , onde X e Y so operadores; b. ( XY ) = Y X , onde X e Y so operadores; c. exp [if ( A)] = ? na forma de bra-ket, onde A um operador Hermitiano cujos autovalores so conhecidos; G G G G d. * a ' ( x ') a ' ( x '') , onde a ' ( x ') = x ' a ' .
a'
Assim, se C = XY , obtemos :
trC = tr ( XY ) = i XY i = i X 1Y i = i X j
i i i, j
jY i ,
tr ( XY ) = j Y i i X j ,
i, j
Pois,
i X j
jY i ,
temos que
tr ( XY ) = j YX j = tr (YX ) ,
j
logo,
1
tr ( XY ) = tr (YX ) .
b. Temos que
( XY )
( XY )
DC
XY = X (Y ) ( Y ) X = Y X
o que fornece
( XY )
= YX .
c. Uma funo de operador pode ser escrita na forma de srie de potncias. Assim, como
ex =
n =0
xn , n!
(1)
Para saber o efeito de f ( A) sobre a , vamos expandir f ( A) em serie de Taylor em torno do origem :
f ( A) = cn An
n =0
logo,
f ( A) a = cn A a = cn a n a
n n =0 n =0
f ( A) a = f (a ) a ,
logo, sendo f (a) um escalar, podemos determinar o efeito de aplicar f ( A) varias vezes sobre o autoket a , ou seja,
[ f ( A)]
(2)
(3)
Desde que A Hermitiano, podemos escrever o elemento da matriz para eif ( A) na forma :
a ' eif ( A) a = eif ( a ) a ' a = eif ( a ) a ',a a ' eif ( A) a = eif ( a ) a ',a
(4)
eif ( A)
eif ( a ) 0 = 0 . . .
0 e
if ( a ')
0 0 e
if ( a '') .
0
.
.
.
.
.
d. Temos que :
* a ' ( x ') = a ' x '
a'
* a'
G G G G G G G G ( x ') a ' ( x '') = a ' x ' x '' a ' = x '' a ' a ' x ' = x '' x '
a' a'
a'
* a'
Problema 5 a. Considere dois kets e . Suponha a ' , a '' ,... e a ' , a '' ,... so todos conhecidos, onde a ' , a '' , ... formam um conjunto completo de kets de base. Encontre a representao matricial do operador dentro daquela base. b. Ns agora consideraremos um sistema de spin 1/ 2 e fazemos e Sz = = / 2 e S x = = / 2 , respectivamente. Escreva abaixo serem explicitamente a matriz quadrada que corresponde a na base usual ( S z diagonal ).
(1)
O fator a ' a '' definido como o elemento na linha a ' e coluna a '' na representao matricial do operador . Ento :
a (1) a (1) = a (2) a (1) . . . a (1) a (2)
.
.
. .
.
.
(2)
b. A base usual formada pelos dois kets : S z ; + e S z ; . Em acordo com (2), temos :
Sz ; + Sz ; + Sx ; + Sz ; + Sz ; + Sx ; + = Sz ; Sz ; + Sx ; + Sz ; + Sz ; + Sz ; + Sx ; + Sz ; Sz ; Sz ; + Sx ; + Sz ;
(3)
Usando
Sz ; + Sz ; + = 1 Sz ; Sz ; + = 0 S x ; + S z ; + = S x ; + S z ; = S x ; + S z ; = 1/ 2
temos
Sz ; + Sx ; + = 1 1 1 2 0 0
Problema 6 Suponha i e j so autokets de algum operador Hermitiano A . Sob quais condies ns podemos concluir que i + j tambm um autoket de A ? Justifique sua resposta. Soluo : Se i e j so os autokets de A , ento
A i =i i
A j = j j
(1)
onde i e j so nmeros reais por causa da Hermiticidade de A . Agora, se i + j tambm autoket de A , tem-se
A( i + j ) = a '( i + j ) = a ' i + a ' j
(2)
(3)
Comparando esse resultado com (2) e relembrando o fato de que os autokets i e j so linearmente independentes conclui-se que :
i = j = a'.
Ento, pode-se dizer que se i e j so autokets do operador A , sua soma i + j ser tambm um autoket de A se os autovalores associados com eles so degenerados.
Problema 7 Considere um ket de espao expandido pelos autokets { a ' } de um operador Hermitiano A . No existe degenerescncia. a. Prove que
( A a' )
a'
a ' a "
(a'a" ) ?
( A a" )
c. Ilustre (a) e (b) usando o conjunto A igual a S z de um sistema de spin . Soluo : a. Vamos aplicar o operador
( A a' )
'
a'
( A a' ) ,
a'
( A a' )
a'
= 0.
( A a' )
a'
a' a'
(a'a" )
( A a" )
sobre um ket .
a ' a "
( A a" )
( A a" )
a ' a "
Os termos dentro do somatrio para os quais a' ' ' a ' so todos nulos. _____________________________________________________________ Exemplo: Vamos fazer a' = 1 e considerar tambm que a" = 1,2,3 e a' ' ' = 1,2,3 na expresso abaixo.
( A a" )
a ' a "
(1 2) (1 3) 1 1 + (1 2) (1 3) (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' . _____________________________________________________________ Para esse termo ns temos a seguinte expresso
( A a" ) (a'a" ) (a'a" ) = (a'a" ) a' a' = 1 a' a' = a ' a ' a " a ' a " a' .
a' a'
(a'a" )
( A a" )
( A a' )
a'
= = = S z S z [ + + + ] = 2 2 . = = = = = = = = + + + + + = 0 2 2 2 2 2 2 2 2
= temos : 2
a ' a "
(a'a" )
( A a" )
S z ( = / 2) [+ + + ]= [(= / 2 (= / 2)] (= / 2 + = / 2) + + + ( = / 2 + = / 2) = + + (= / 2 + = / 2) (= / 2 + = / 2)
[S , S ] = i
i j i j
ijk
=S k ,
= {S , S }=
ij , 2
2
onde
= ( + + + ), 2 i= S y = ( + + + ), 2 = S z = ( + + ). 2 Sx =
[S [S [S [S [S
] = ]= 2 ( + ] ] ]
[S x , S z ] = S x S z S z S x
= [S x , S z ] = (+ = + + ) ( + + ) 2 2 = = 2 ( + + ) 2 ( + + + ) 2 2 [S x , S z ] = = ( + + + ) = ( + + ) 4 4 2 [S x , S z ] = = ( + + + ) 2 [S x , S z ] = i=S y
[S [S [ [ [
, Sz = S ySz SzS y , Sz
= + + ) ( + + ) 2 = i= ( + + ) ( + + + ) 2 2 2 2 i= ( + + + ) i= ( + + ) S y , Sz = 4 4 2 i= (+ + + ) S y , Sz = 2 S y , S z = i=S x
y
] i= ]= 2 ( + ] ] ]
[A, B] = [B, A] ,
temos para as relaes
[S z , S x ] = i=S y .
[S
, S x = i=S z
[S , S ] = i=S
z y
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
ijk = 1 ijk = 1 ijk = 0
permutao par da seqncia 123, permutao mpar da seqncia 123, dois ndices repetidos.
Calculando o anticomutador {S i , S j }.
i= 2 i= 2 {S x , S y } = {S y , S x } = S x S y + S y S x = ( + + ) + ( + + + ) = 0 4 4
{S x , S z } = {S z , S x } = S x S z + S z S x
2 =2 ( + + + ) + = ( + + ) = 0 4 4
{S
S z , S y }= S y S z + S z S y = y , Sz }= {
2 i= 2 ( + + + ) + i= ( + + ) = 0 4 4
{S i , S i } = S i S i + S i S i
i =1
= 2S i
2S x
=2 =2 = 2 ( + + + )= 4 2
i=2
2 S y = 2(1)
2
2 =2 ( + + ) = = 4 2
i=3
2S z = 2
2
2 =2 (+ + + )= = 4 2
{S , S } = =
i j
ij .
Problema 9
;+ tal que Construa S .n G
G G = G S .n ;+ = S .n ;+ S .n 2
caracterizado pelos ngulos mostrados na figura. Expresse sua onde n resposta como uma combinao linear de + e . [ Nota : A resposta
cos + + sen e i . 2 2
No para verificar apenas que a resposta satisfaz a equao de autovalor acima. E sim, tratar o problema como um problema de autovalor. Tambm, no utilize operadores de rotao, o qual ns introduziremos mais tarde nesse livro.]
Soluo :
como Utilizando a notao vetorial, podemos escrever S e n
= sen . cos x + sen .sen y + cos z n
e
G + Sy y + Sz z S = Sx x
Sy =
= 0 i ; 2 i 0
Sz =
= 1 0 2 0 1
, temos Calculando S .n
ou ainda na forma
G ;+ = a + + + a . S .n
Esta equao satisfeita para algum valor de a + , como deve ser para uma equao de autovalor. Tambm, temos uma relao que deve ser satisfeita pelos valores de a + e a
a+ + a
2 2
= 1.
a = sen .e i. 2
a + = cos 2
ou
G ;+ = cos + + sen .e i. S .n 2 2