Академический Документы
Профессиональный Документы
Культура Документы
Quantum Mechanics Concepts and Applications, cap. 3 Nouredini Zetilli 15 de novembro de 2011
1 Introduo
Lidamos aqui com o maquinrio matemtico necessrio ao estudo da mecnica quntica. Embora este captulo seja de escopo matemtico, nenhuma tentativa de ser matematicamente completo e rigoroso feita. Nos limitamos quelas questes prticas que so relevantes ao formalismo da mecnica quntica. A equao de Schrdinger uma das pedras angulares da teoria da mecnica quntica; ela tem a estrutura de uma equao
linear.
operadores que so lineares e funes de onda que pertencem a um espao abstrato de Hilbert. As propriedades matemticas e a estrutura dos espaos de Hilbert so essenciais para uma devida compreenso do formalismo da mecnica quntica. Por isso, revisaremos brevemente as propriedades dos espaos de Hilbert e desses operadores lineares. Depois consideraremos a notao
bra-ket
de Dirac.
A mecnica quntica foi formulada de dois modos diferentes por Schrdinger e Heisenberg. A mecnica ondulatria de Schrdinger e a mecnica matricial de Heisenberg so as representaes do formalismo geral da mecnica quntica em sistemas de bases de kets, bras, bra-kets e operadores em bases discretas e contnuas.
contnuas
discretas,
, , ,
. . . , e um conjunto de escalares
a, b, c;
escalar.
adio
multiplicao
Se
+ ,
tambm um vetor
do mesmo espao.
Comutatividade : + = + . Associatividade : ( + ) + = + ( + ).
1
Elemento neutro (ou vetor nulo) : para cada vetor , deve existir um vetor O, do mesmo espao, tal que: O + = + O = . Elemento simtrico (ou vetor inverso) : para cada vetor , deve existir um vetor simtrico ( ), do mesmo espao, tal que: + ( ) = ( ) + = O.
tem as seguintes
O produto de um escalar por um vetor d um outro vetor. Em geral, se e so dois vetores do espao, qualquer combinao linear a + b tambm um vetor do espao, sendo a e b escalares. Distributividade com relao adio : a ( + ) = a + a , (a + b) = a + b
. (1)
I = I =
o = o = o .
, , ,
. . . , e um conjunto
a, b, c,
quatro
propriedades:
por outro elemento , em geral, um nmero (, ) = nmero complexo . Nota: cuidado com a ordem! Como o produto escalar um nmero complexo, a quantidade (, ) geralmente no igual a (, ): (, ) = , enquanto que (, ) = . O produto escalar (, ),
onde satisfaz s seguintes propriedades:
O produto escalar de
:
e
(, ) = (, )
(4)
O produto escalar de
(, a2 + b2 ) = a (, 1 ) + b (, 2 )
e anti-linear com relao ao primeiro fator se
= a2 + b2 :
. (6)
(a1 + b2 , ) = a (1 , ) + b (2 , )
Escalares podem ser nmeros reais ou complexos
(, ) = 2 0 ,
onde a igualdade vale apenas para
= O.
(c) H separvel.
Existe uma sequncia de Cauchy existe pelo menos um
(d) H completo.
Toda sequncia de Cauchy qualquer
n H
H.
n ,
a relao
n,m
dene um nico elemento
lim n m = 0
de
tal que
lim n = 0 . (, ),
o segundo fator,
(10)
Nota:
no
pertence ao
H, enquanto o primeiro fator, , pertence a seu espao dual de Hilbert Hd . H e Hd devida ao fato de que, como mencionado acima, o produto escalar comutativo: (, ) = (, ); a ordem importa! Da lgebra linear, sabemos que todo
vetores no-nulos
1 , 2 ,
N i=1
...,
dito ser
linearmente independente
ai i = 0
(11)
a1 = a2 = . . . = aN = 0.
n )
n =
ento o conjunto
n 1 i=1
ai i +
N i=n+1
ai i
(12)
{i }
dito ser
linearmente dependente
(LD).
Dimenso:
dimenso
nmero mximo
de vetores LI vetorial
que o espao pode ter. Por exemplo, se o nmero mximo de vetores LI que um espao tem N (isto , 1 , 2 , . . . , N ), esse espao dito ser N -dimensional. Nesse espao N -dimensional, qualquer vetor pode ser expresso como uma combinao linear:
N i=1
3
ai i
(13)
Base:
1 , 2 ,
base
possvel de vetores LI pertencentes quele espao. O conjunto de vetores notado abreviadamente por ...,
1 , 2 ,
...,
{i },
N ,
de-
(j , j ) = ij ,
onde
ij = 1
se
ortonormais, isto , com produto escalar i = j , e ij = 0 se i = j . A base dita componentes do pelo vetor
um conjunto de vetores ortonormais. Alm disso, a base dita inteiro, isto , se no h necessidade de se introduzir qualquer
ai
aj = (j , ).
Vamos dar dois exemplos de espaos lineares
innita (contnua ).
j e k.
A = a1 i + a2 j + a3 k, onde a1 , a2
a3
so e
o produto escalar de
a3 = k A.
a1 = i A, a2 = j A
simtrico. A norma nesse espao o comprimento usual de vetores: tambm que sempre que vetores unitrios i,
a1 i + a2 j + a3 k = 0,
temos
j, k
escalar
por
dado por
integrais.
(, ) =
(x) (x) dx .
Se essa integral
diverge,
o produto escalar
no existe.
(x)
de funes tenha um produto escalar, devemos selecionar apenas aquelas funes para as quais
(, )
seja
escalar de
uma funo
dita ser
quadrado-integrvel
se o produto
(, ) = | (x)|2 dx ,
(15)
for
nito.
( (j , ) = j ,
N i=1
) ai i =
n i=1
ai (j , i ) =
n i=1
ai ij = aj
fcil vericar que o espao das funes quadrado-integrveis possui as propriedades de um espao de Hilbert. Por exemplo, qualquer combinao linear de funes quadrado-integrveis tambm uma funo quadrado-integrvel e (14) satisfaz a todas as propriedades do produto escalar de um espao de Hilbert. Note que a dimenso do espao de Hilbert das funes quadrado-integrveis innito, j que cada funo de onda pode ser expandida em termos de um nmero innito de funes LI. A dimenso de um espao dada pelo nmero mximo de vetores de base LI necessrios para gerar aquele espao. Um bom exemplo de funo quadrado-integrvel a tica, denotada por Max Born, a partcula em
funo de onda da mecnica qun (r, t). De acordo com a interpretao probabilstica de (r, t), dada por 2 3 quantidade | (r, t)| d r representa a probabilidade de encontrar, no tempo t, a 3 um volume d r , centrado no ponto r. A probabilidade de encontrar a partcula
| (r, t)| d r =
3 2
+ + +
| (r, t)|2 dx dy dz = 1 .
(16)
Portanto, as funes de onda da mecnica quntica so quadrado-integrveis. onda que satisfazem a (16)
Funes de
3 Notao de Dirac
O estado fsico de um sistema representado na mecnica quntica por elementos de um espao de Hilbert; esses elementos so chamados de
vetores de estado.
Podemos representar
os vetores de estado em diferentes bases por meio de expanses de funes. Isto anlogo a especicar um vetor ordinrio (Euclideano) por suas componentes em vrios sistemas de coordenadas. Por exemplo, podemos representar equivalentemente um vetor por suas componentes num sistema de coordenadas cartesianas, num sistema de coordenadas esfricas, ou num sis-
O signicado de um vetor, obviamente, independente do sistema de coordenadas escolhido para representar suas componentes. Similarmente, o estado
tema de coordenadas cilndricas. de um sistema microscpico tem um signicado independente da base na qual expandido. Dirac introduziu uma notao para vetores de estado extremamente valiosa na mecnica quntica; ela permite manipular o formalismo da mecnica quntica com facilidade e clareza. Ele introduziu os conceitos de
bras, kets
bra-kets,
pelo smbolo
| ,
H,
ket,
ou, sim-
ou, abreviadamente,
bra, ou simplesmente bra. Por exemplo, o elemento | representa um bra. Para cada ket | existe um nico bra | e vice-versa. Enquanto os kets pertencem ao espao de Hilbert H, os correspondentes bras pertencem a seu espao dual de
Hilbert
Hd . |, que | :
chamado de
bra-ket.
Por
(, )
(, ) | .
(17)
Nota:
ket (bra). Na mecnica quntica lidamos com funes de onda da mecnica quntica lidamos com kets abstratos
(r, t),
| .
elementos de um espao de Hilbert. Deve-se notar que, assim como uma funo de onda, um ket representa completamente o sistema, e portanto conhecer
suas amplitudes em todas as possveis representaes. Como foi dito, kets so independentes de qualquer representao particular. No h razo para particularizar uma base de representao tal como se faz no espao de posio. Obviamente, se quisermos saber a probabilidade de encontrar a partcula em alguma posio no espao, precisamos desenvolver o formalismo dentro da representao de coordenadas. O vetor de estado dessa partcula no tempo dado pela funo de onda espacial produto escalar
ser
r, t| = (r, t).
Na representao de coordenadas, o
dado por
| = |
(r, t) (r, t) d3 r
(18)
Similarmente, se estivermos considerando o momento tridimensional de uma partcula, o ket ter que ser expresso no espao de momento. Nesse caso, o estado da partcula ser descrito por uma funo de onda
(p, t),
onde
o momento da partcula.
ket |
corresponde um nico
bra |
e vice-versa:
| .
(19)
a| + b|
onde
a | + b | ,
(20)
a | = a | .
(21)
Como na mecnica quntica o produto escalar um nmero complexo, a ordem importa muito. Devemos distinguir com cuidado um produto escalar de seu complexo conjugado;
| : | = | .
6 (22)
| =
Se
(r, t) (r, t) d r
) =
(r, t) (r, t) d3 r = | .
(23)
| = | .
|a1 1 + a2 2 = a1 |1 + a2 |2 ,
a1 1 + a2 2 | = a 1 1 | + a2 2 | , a1 1 + a2 2 |b1 1 + b2 2 = a 1 b1 1 |1 + a1 b2 1 |2 + a 2 b1 2 |1 + a2 b2 2 |2 .
(24) (25)
(26)
do espao de Hilbert
normalizado, ento
| = 1. |
| = O,
H,
onde
Desigualdade de Schwarz
Para quaisquer dois estados e
| ||2 | | .
Se
| = |,
onde
um escalar), essa relao se torna uma igualdade. A desigualdade de Schwarz (27) anloga seguinte relao do espao real Euclideano:
(28)
+ | +
| +
| . | = |,
(29) onde
um escalar), a desigualdade triangular se torna uma igualdade. Sua contrapartida a seguinte desigualdade no espao real Euclideano:
|A + A| |B| + |B|.
Estados ortogonais
Dois
kets |
so ditos
ortogonais
| = 0 . Estados ortonormais
Dois
kets |
so ditos
ortonormais
unitria:
| = 0 ,
| = 1 ,
7
| = 1 .
(31)
Quantidades proibidas | e | pertencem ao mesmo espao vetorial (de Hilbert), produtos do tipo | | || so proibidos. Eles no fazem sentido, pois | | e || no so bras nem kets. Contudo se | e | pertencem a espaos vetoriais diferentes (por exemplo, | pertence a um espao de spin e | pertence a um espao de momento angular orbital), ento seu produto | |, escrito como | |, representa um produto tensorial de | e |. Apenas nesses casos tpicos esses produtos tem signicado.
Se e
AB representa a projeo de B sobre A, | sobre |. Segundo, no caso de estados normalizados e de acordo com a interpretao probabilstica de Max Born, a quantidade | representa a amplitude da probabilidade que o estado | do sistema ter, aps uma medio ser feita no sistema, seja outro estado |.
escalar de vetores comuns no espao Euclideano, onde o produto
4 Operadores
4.1 Denies Gerais
Denio de um operador:
ket | , o transforma em outro ket | do mesmo espao, e quando age sobre um bra transforma em outro bra |
Um operador
uma
regra matemtica
que, aplicada a um
|,
| = | , A
= | . |A
(32)
(r) = (r) , A
= (r) . (r)A
(33)
Exemplos de operadores
Operador unidade:
deixa qualquer ket inalterado,
| = | . I
Operador momento linear: P (r) = i (r). Operador Laplaciano: 2 (r) = 2 (r) 2 (r) 2 (r) + + . x2 y 2 z 2
Produtos de operadores
O produto de dois operadores , em geral, no comutativo:
B = B A . A
!
O smbolo
(34)
A
8
A.
( ) ( ) B C =A B C = A B C A
Podemos tambm escrever ordem importante!), o sobre o novo ket
(35)
| ): (B
n A m = A n+m . Quando o produto A B opera sobre um ket | (a A atua operador B atua primeiro sobre o ket | e ento o operador A ( ) | B | = A B A B C D A A
opera sobre um ket . (36) atua primeiro, depois
, C
em seguida
. A
| , o operador D |
e um ket
| |A
| ,
resulta em geral
Nota:
ao avaliar
bra; isto :
se o operador
Operadores lineares
Um operador
|1
|2 ,
a1
a2 ,
tivermos: (37)
(a1 |1 + a2 |2 ) = a1 A |1 + a2 A |2 , A
e
= a1 1 |A + a2 2 |A . (1 |a1 + 2 |a2 ) A
(38)
Observaes:
O valor esperado
de um operador
denido por
= A
A quantidade
| |A |
(39)
| |
| |
aplicado a um ket
| ,
| | = | | ,
j que
um nmero complexo.
Produtos do tipo
| A
| A
"
de um nmero complexo
o complexo conju-
, A
de um
= . (| ) = |
e
Substituir kets (bras) pelos correspondentes bras (kets): Substituir operadores por seus adjuntos.
( |) = | .
, =A
,
(42) (43)
( ) = a A aA
( ) ( )n n = A A
(44)
( ) +B +C +D =A + B + C + D A ( ) B C D =D C B A A
,
(45)
(46)
( ) C B A B C D | = |D A
O adjunto Hermitiano do operador
(47)
| |
(| |) = | | .
Operadores atuam dentro de kets e bras, respectivamente, da seguinte maneira:
= A | , |A
Note-se tambm que
| = |A A
(49)
| = |(A ) = |A . A
| = A | = |A . |A
dito ser
Hermitiano
=A A
: A
(51)
| = |A | |A
"
10
dito ser ou
anti-Hermitiano
se (52)
= B B
| = |B | |B
Nota:
gado:
= A . A
De (51) podemos inferir que o valor esperado de um operador Hermitiano um nmero real, pois satisfaz seguinte propriedade:
| = |A | = |A | |A
E de (52), o valor esperado de um operador anti-Hermitiano
(53)
| = |B | = |B | |B
(54)
dito ser um
operador de projeo
= P P
,
2 = P P
e I 2 I
. =I
1 e P 2 , tambm um operador P
(56)
( )2
1 P 2 P
P =P 2 1 = P2 P1 = P1 P2
.
1 P 2 P
2 2 1 P 2 P 1 P 2 = P 1 P 1 P 2 P 2 = P 1 1 P 2 =P P2 = P
(57)
A soma de dois operadores de projeo geralmente no um operador de projeo. Dois operadores de projeo so
ortogonais
1 + P 2 + P 3 + . . . P
seja um operador de
projeo, necessrio e suciente que esses operadores sejam mutuamente ortogonais (ou seja, os termos com produtos cruzados devem se anular). Vamos mostrar que
(| |)2 = (| |) (| |) = | | | . | for normalizado, ento | = 1 e conclumos que (| |)2 = | |, estado | normalizado, o produto | | um operador de projeo.
Se 11 ou seja, se o
comutador
de dois operadores
, B
denotado por
B ], [A,
denido como
B ] = A B B A [A,
e o
(58)
anticomutador
denido como
B } = A B +B A {A,
Dois operadores comutam se seu comutador for igual a zero, o que leva a operador comuta com ele mesmo:
(59)
B =B A . A
Qualquer (60)
A ] = 0 . [A,
Note que se dois operadores forem Hermitianos,
( ) B =B A = B A , A
e se seu produto for Hermitiano,
B A
B =A
ou seja, e esses operadores comutam. Como um exemplo, podemos mencionar os comutadores envolvendo a componente operador posio, componentes
do
, X
e a componente
do operador momento,
x = i x , P
bem como as
z: P x ] = i I , [X, ,P y ] = i I [Y
e
P z ] = i I , [Z,
(61)
onde
o operador unidade.
Anti-simetria:
B ] = [B, A ] . [A,
Linearidade:
(62)
(63)
B ] = [B , A ] . [A,
Distributividade:
(64)
(65) (66)
Identidade de Jacobi:
(67)
B n] = [A,
n 1 j =0 n 1 j =0
j [A, B ]B nj 1 B
(68)
n , B ] = [A
nj 1 [A, B ]A j A
(69)
b] = 0 . [A,
(70)
Uma importante propriedade dos operadores Hermitianos que seu comutador anti-Hermitiano, o que pode ser facilmente provado:
( ) B ] = A B B A =B A A B = B A A B = [A, B ] . [A,
(71)
eB . A
com relao
a um estado normalizado
= |A | | : A =A A A
e
= |B | . B =B B , B ( B )2
temos
( )2 =A 2 2A A + A 2 A
2 2B B + B 2 =B
(73)
Ento,
)2 = |(A )2 | (A 2 | 2 |A A | + |A 2 | = |A 2 2A A + A 2 = A 2 A 2 = A
e, semelhantemente, , (74)
)2 = B 2 B 2 (B
#
O quadrado da primeira das equaes (72) conter a soma pela propriedade (70), e temos que
.
Como
(75)
A ] = 0, [A,
A = A A . A
13
A A A . A
um nmero real, )2 . (B
As
incertezas A
A =
so denidas por
)2 = (A
2 A 2 A
B =
)2 = (B
2 B 2 B
(76)
qualquer: (77)
( ) | = A A | , | = A
A desigualdade de Schwarz para os estados
( ) | = B B | . | = B
e
. (78)
|| |||2
Como
so Hermitianos,
( ) = A A = A A = A A = A , A
e, da mesma forma,
= B B = B . B
Agora, e
= |A | = |A
de modo que
= |B | = |B
)2 | , | = |(B )2 | | = |(A
As equaes (79) fornecem os valores esperados de gualdade de Schwarz (78) se torna
B | . | = |A
e
(79)
)2 , (B )2 (A
2
.
B . A
Assim, a desi-
)2 (B )2 A B (A
(80)
B ] = A B B A [A,
nos do
B } = A B + B A {A,
(81)
Agora,
14
B = 1 [A, B ] + 1 {A, B } . A 2 2
O anti-comutador
(82)
B } {A,
B } {A,
B } + 2A B . {A,
O anti-comutador
Hermitiano, j que
( ) B } = A B +B A =B A + A B = B A +A B {A,
Como
B ] [A,
B } real. Portanto, o valor esperado A B de (82) se torna {A, real {A, B }/2 e de uma parte imaginria [A, B ]/2. Portanto, B A
2
a soma
2 1 B ] + 1 {A, B } [A, 4 4
2
. (83)
Como o ltimo termo do membro direito um nmero real positivo, podemos inferir a seguinte relao:
B A
1 B ] [A, 4
2
. (84)
)2 (B )2 1 [A, B ] (A 4
2
. (85)
AB
1 B ] [A, 2
(86)
Essa relao de incerteza desempenha um papel importante no formalismo da mecnica quntica. Sua aplicao aos operadores posio e momento leva s
senberg,
Para derivar as relaes de incerteza de Heisenberg, aplicamos (86) aos operadores denidos em (61). Utilizando a primeira relao em (61), temos
x p x
ou
xpx
y py
z pz
(87)
15
) F (A
. A
Se
) F (A
: A n an A
, (88)
) = F (A
onde
n=0
an
consideremos
eaA ,
onde
eaA =
an n=0
2 3 =I + aA + a A 2 + a A 3 + . . . A n! 2 3
(89)
, B
ento
dependa de
Em particular,
) F (A
comuta com
F (A )] , [A,
n , F (A )] , [A
), G(A )] . [F (A
) F (A
dado por
)] = F (A ) . [F (A ) F (A
(92)
Note que se
for Hermitiano,
for
(eA ) = eA = eA
onde
(eiA ) = ei
= ei
um nmero complexo.
admita expanso em srie de Taylor, como em (89), ser Hermitiana apenas se os coecientes
an
) F (A
no Hermitiana mesmo se
for
Hermitiano, j que
) = F (A
n=0
( )n a n A
(93)
1 A
de um operador linear
1 A =A A 1 = I , A | ).
(94)
onde
Nem todo operador possui inverso, assim como no caso das matrizes.
16
1 B
Dividir um operador
A
.
por A 1 : por B
outro operador
(desde que
A B 1 =A B
O lado em que o quociente tomado importante:
(95)
A I =A B 1 =A B B
Em geral, temos
A I =B 1 A . = A B B
(96)
. B 1 = B 1 A A )1
B C D A
1 C 1 B 1 A 1 =D U
(
e
n A
)1
( )n 1 = A
(97)
Operadores unitrios:
igual ao seu adjunto
: U
Um operador linear
dito ser
unitrio
se seu inverso
1 U
for
= U 1 U
O produto de dois operadores unitrios
ou
U = U U 1 = I . U
(98)
(99)
ou
V ) = (U V )1 . (U (
B C D ... A
)(
B C D ... A
B C D ( . . .) D C B A =A ( ) B C D D C B A =A ( ) B C C B A =A ( ) B B A = A A = I , =A
ou
B C D ... A
( )1 B C D ... = A
(100)
dito ser um
autovetor %
de um operador
se a aplicao de
| = a| , A
(101)
. Essa equao conhecida como a um nmero complexo, chamado de autovalor de A . Sua soluo fornece a equao de autovalor (ou o problema de autovalor ) do operador A . Mais adiante, na Seo 5.3, veremos como resolver o os autovalores e os autovetores de A
onde problema de autovalor numa base discreta.
Tambm chamado de
autoket
ou
autoestado
17
: I
(102)
| = | . I
Isso signica que todos os vetores so autovetores de
, I
| = a| A
Por exemplo, temos
n | = an | A
)| = F (a)| . F (A
(103)
| = a| = eiA A | = eia | . , se existir A 1 , ento os autovalores de A 1 so os Dado o operador linear A 1 . Para ver isso, notemos que A A =I , de modo que autovalores do operador A
inversos dos
1 A | = I | = | . A
Por outro lado,
(104)
( ) 1 A | = A 1 A | = A 1 (a| ) = aA 1 | . A 1 | = | , aA
(105)
e portanto,
tambm
1 | = 1 | . A a 1 , com autovetor de A =
(106) autovalor
1/a.
Logo, se
1 A
existe,
| = a| A
1 | = 1 | A a
(107)
Alguns teoremas teis relacionados ao problema de autovalor Teorema 1. Todos os autovalores de um operador Hermitiano so reais, e os autovetores
correspondentes a diferentes autovalores so ortogonais.
= A , A |n = an |n Se A
Prova: Note que
an R
e m |n = mn .
(108)
|n = an |n A
e
= =
(109)
= a m |A m m |
(110)
|n m |A |n = an m |n a m |A m m |n , A |n = (an a m |A m ) m |n ,
ou
(an a m ) m |n = 0 .
18
Caso
m = n: m = n:
como
|n
n |n = 0.
Resulta que
|m
estados mutuamente ortonormais uma autobase. O operador diagonal nessa autobase, com seus elementos diagonais iguais aos autovalores. Essa base nica se o operador no tiver autovalores degenerados; caso contrrio, h um nmero innito de autobases.
eB comutam, e se A no tem autovalor degenerado, ento Teorema 3. Se dois operadores A
tambm um autovetor de B . Alm disso, pode-se construir uma base cada autovetor de A e de B . comum ortonormal formada pelos autovetores de A
Sejam
|n
|m
com autovalores
am
an ,
m |U
)(
) |n = a U m an m |n ,
U =I , U ( )( ) U |n = m |U U |n = m |I |n = m |n , m |U (a m an 1) m |n = 0 .
2 a n an = |an | = 1.
de forma que
(111)
Caso Caso e
n = m:
como
n |n > 0,
ento
Resulta que
|an | = 1.
e resulta que
n |n = 0,
|n
19
4.9.1
Transformaes Unitrias
| , | = U | = |U
Vamos descobrir agora como operadores se transformam sob transformaes unitrias. Como a transformada de
| = | A
| = | , A
U | = U | = U A | , A
o que leva a de
que
=I , U = U U U
A U =U U A =I A =A , U
e
A U = A U U = A I = A U
| , | = U
e
| = |U | = |U
= U A U A =U A U A
(114)
| , | = U
(115)
Se um operador
( ) ( ) = U A U = U A U = U A U = U A U = A A
Os autovalores de
(116)
e de seu transformado
so os mesmos, ou seja,
|n = an |n A
A demonstrao simples:
| = an | . A n n
(117)
( )( ) ( ) ( ) |n A U U |n = U A U U |n = U A |n = an U |n = |n A = U .
Comutadores que so iguais a nmeros (complexos) permanecem inalterados sob transformaes unitrias, ou seja, dado
aC = , B ] = a = [A, B ] . [A
(118)
B ] = a [A,
Usando (115), temos:
( )( ) ( )( ) , B ] = [U A U , U B U ] = U A U U B U U B U U A U [A ( ) ( ) A B U U B A U = U [A, B ]U = U a U = a U U = a = [A, B ] . =U
20
= B + C A = B C D A
onde
= =
= B + C A = B C D A , B , C A
e ,
(119) (120)
, B , C A
so as transformadas de
. D
Como o resultado (118) vlido para qualquer nmero complexo, podemos armar que nmeros complexos tais como unitrias, pois
| |A
(121)
=I , A
| = |
estado conservada:
(122)
| = | . A U )n = U A n U , (U
pois
(123)
A U )n = (U A U )(U A U ) . . . (U A U ) (U A (U U )A (U U ) . . . (U U )A U = U (A A ...A )U = U A n U =U
. (124)
O resultado (124) pode ser generalizado para obter a transformao de qualquer funo de operador
): f (A
f (A )U = f (U A U ) = f (A ) . U
(125)
f (A, B, C, . . .)U = f (U A U , U B U , U C U , . . .) = f (A , B , C , . . .) . U
(126)
Uma transformao unitria no altera a fsica de um sistema; ela meramente transforma uma descrio do sistema em outra descrio sicamente equivalente. No que se segue, queremos considerar dois tipos de transformaes unitrias: as
transformaes nitas.
transformaes innitesimais
e as
4.9.2
Considere um operador
innitesimalmente pequeno
(127)
: I
(G ) = I + iG , U
onde
chamado de gerador G
pois
= G ), (G
for real (
= )
U + iG )(I iG ) I + i(G G ) = I , U = (I
21
. estado |
+ iG )| = | + | , | = (I
onde
| . | = iG
A transformao de um operador
(130)
dada por
= (I + iG )A (I iG ) = (I + iG )(A iA G ) A iA G + iA G , A
ou
= (I + iG )A (I iG ) A + i[G, A ] A
Se
(131)
comuta com
, A
inalterado: (132)
A ] = 0 [G,
= A = (I + iG )A (I iG ) = A . A
4.9.3
= /N ,
onde
N um inteiro e um parmetro nito, podemos N vezes. No limite em que n +, obtemos 1+i ( ) )N G = lim 1 + i G = eiG n+ N N
,
(G ) = lim U
onde
N ( k=1
(133)
for real
. (134)
(eiG ) = e
iG
= eiG = (eiG )1
de um operador
2 3 + i[G, A ] + (i) [G, [G, A ]] + (i) [G, [G, [G, A ]]] + . . . eiG eiG = A 2! 3!
Se
(135)
comuta com
, A
inalterado: (136)
A ] = 0 [G,
iG = eiG . A e =A
Algumas das aplicaes das transformaes unitrias innitesimais so o estudo de translaes espaciais e temporais, rotaes espaciais e leis de conservao.
mutuamente ortogonais.
22
|1 , |2 , |3 , n
{|n }.
e ainda assim contm um nmero innito de vetores unitrios. No limite ordenao dos vetores unitrios
|3 ,
|n
discreto
ou
contvel ;
os polinmios de Hermite, Legendre ou Laguerre, por um ndice discreto pode ser innito. Nesta seo a notao por de vetores do espao de Hilbert
{|n } ser usada para abreviar um conjunto innitamente contvel H. A condio de ortonormalidade dos kets da base expressa n |m = nm
, (137)
onde
nm
delta de Kronecker,
denido por
nm
{ 1, n=m = 0, n= m
(138)
n=1
onde
, |n n | = I
(139)
o operador unidade; quando o operador unidade atua sobre qualquer ket, ele o deixa
inalterado.
5.1.1
|n
{|n }. estado |
da base:
| = | = I
onde o coeciente
n=1
) |n n | | =
n=1
(n | ) |n =
n=1
an |n ,
(140)
an (= n | ) representa a projeo de | na direo de |n ; an o | ao longo do vetor |n . Lembre-se que os coeciente an so nmeros complexos. Assim, na base {|n }, o ket | representado pelo conjunto de suas componentes a1 , a2 , a3 , . . . ao longo dos vetores |1 , |2 , |3 , . . . , respectivamente. Logo, | pode ser representado por um vetor coluna que tem um nmero innitamente contvel de componentes: a1 1 | 2 | a2 . . . . (141) | . = . . n | an
componente de . . . . . .
23
O bra
( ) | |1 |2 . . . |n . . . ( ) = 1 | 2 | . . . n | . . . ( ) = a 1 a2 . . . an . . . . | |
vetor linha :
(142)
Usando essa representao, podemos ver que o bra-ket produto da matriz linha correspondente ao bra
|:
( | = a 1 a2 . . . an
a2 ) . . ... . = a n bn n=1 an
. . .
a1
(143)
onde
bn = n |. |
so adjuntas
Nota:
Um ket
normalizado se
| =
Se lo
|an |2 = 1 .
| no estiver normalizado e quisermos normaliza-lo, precisamos simplesmente multiplica2 por uma constante tal que | = || | = 1, e assim = 1 |
.
5.1.2
( =I A I = A
onde
n=1
) |n n | A nm
) |m m | : A =
nm
Anm |n m | ,
(144)
m=1
do operador
Anm
o elemento de matriz
|m . Anm = n |A
Vemos que o operador
representado, na base
{|n },
A,
que
(146)
24
matriz identidade multiplicada por outra matriz, esta ltima permanece inalterada:
1 0 0 ... 0 1 0 . . . I= 0 0 1 . . .
. . . . . . . . . .. .
(147)
kets so representados por vetores coluna, bras so representados por vetores linha e operadores so representados por matrizes quadradas.
Em resumo,
5.1.3
transposta
de uma matriz
A,
denotada por
AT ,
obtida
AT
)
nm
= Amn
ou
T A11 A12 A13 . . . A11 A21 A31 . . . A A 21 A22 A23 . . . 12 A22 A32 . . . A31 A32 A33 . . . = A13 A23 A33 . . .
. . . . . . . . . .. . . . . . . . . . . .. .
(148)
a2 . ( ) . . = a1 a2 . . . an . . . an
. . . Uma matriz quadrada
a1
a1 a2 . . . an
a2 )T . . ... = . an
. . .
a1
(149)
matriz anti-simtrica uma matriz quadrada cuja transposta igual ao negativo da matriz: AT = A. O complexo conjugado de uma matriz obtido simplesmente tomando-se o complexo conju gado de todos os seus elementos: (A )nm = (Anm ) . obtida tomando-se o complexo conjugado da A matriz que representa o operador A matriz transposta de A: ( ) ( ) |m = m |A |n = A ou A = n |A (150) A = AT nm .
simtrica
AT = A.
Uma
nm
Ou seja,
A11 A12 A13 . . . A11 A 21 A31 . . . A A A A . . . 21 A22 A23 . . . 22 32 = 12 A31 A32 A33 . . . A13 A23 A33 . . .
. . . . . . . . . .. . . . . . . . . . . .. .
(151)
25
Se um operador
AT
=A
ou
A mn = Anm
(152)
Os elementos diagonais de uma matriz Hermitiana devem, portanto, ser nmeros reais. Note que
singular.
Os elementos
1 A nm
no-singular
da matriz inversa
A1 ,
1 , A
1 A nm =
onde
cofator de
Amn A
determinante de
ou
1 A nm =
BT
determinante de
(153)
(1)m+n vezes o determinante da submatriz obtida de A pela supresso da m-sima linha e da n-sima coluna. B
a matriz dos cofatores. O cofator do elemento
Amn
igual a
Note que quando o determinante da matriz representando um operador tem determinante nulo, o operador no possui um inverso. O inverso do produto de matrizes obtido do seguinte modo:
(ABC . . . P Q)1 = Q1 P 1 . . . C 1 B 1 A1
A inversa da inversa de uma matriz igual prpria matriz: Um operador unitrio
(154)
A1
) 1
= A. U
unitria
U 1 = U
onde
ou
U U = I
(155)
a matriz identidade.
{|n }
| |
a1 a1 a1 a1 a 2 a1 a3 . . . a 2 ( ) a2 a1 a2 a2 a2 a3 . . . a a a ... = | | = a3 1 2 3 a3 a1 a3 a 2 a3 a3 . . .
. . . . . . . . . . . . .. .
(156)
) Tr(A
de um operador
{|n },
) = Tr(A
|n = n |A Ann
n n
26
Veremos mais tarde que o trao de um operador no depende da base. O trao de uma matriz igual soma dos elementos de sua diagonal principal, ou seja,
A11 A12 A13 . . . A 21 A22 A23 . . . Tr A31 A32 A33 . . . = A11 + A22 + A33 + . . .
. . . . . . . . . .. . valem as seguintes propriedades:
(158)
Dado um operador
, A
) = (Tr(A )) Tr(A
e
(159)
Uma
+ B + C + . . .) = Tr(A ) + Tr(B ) + Tr(C ) + . . . Tr(A B ) = Tr(B A ). De fato, propriedade fcil de demonstrar que Tr(A B ) = B |n Tr(A n |A
n
(160)
= = = = = =
nm nm nm nm n
( n |A
) |n |m m | B
) |m = |n n | A
A |m = Tr(B A ) . m |B
m
(161)
(162)
Alm disso, o trao de um produto de operadores invariante sob permutaes cclicas desses
(163)
5.1.4
| = I A I | , ou I ) ( ) ( ) |n n | | = |n n | A |m m | | ,
pode ser posta na forma algbrica
27
n
ou
(n |) |n =
n
(
nm
) |m (m | ) |n , n |A
bn |n =
e
nm
Anm am |n ,
(164)
onde
|m bn = n |, Anm = n |A
am = m | . Portanto, bn = Anm am
nm
| | = A
dada por
(166)
| = |I A I | = | |A = =
nm
) |n n | A
) |m m | |
( ) |m (m | ) (|n ) n |A ( ) |m (m | ) = (n | ) n |A b n Anm am
nm
. (167)
nm
( | b b b |A 1 2 3
(168)
Nota:
| |
| | |, ||, A
ou
| A
so
proibidos. Eles no fazem sentido, pois no podem ter representaes matriciais. Por exemplo, seria representado pelo produto de duas matrizes coluna:
1 | 1 | | | 2 2 | | 3 | 3 |
. . . . . .
(169)
28
Esse produto impossvel de ser executado, pois o produto de duas matrizes possvel apenas quando o nmero de colunas da primeira for igual ao nmero de linhas da segunda; em (169), a primeira matriz tem uma nica coluna e a segunda matriz tem um nmero innito de linhas.
5.1.5
A = A
ou
Amn = A mn
ou
Imaginria se Simtrica se
A = A
ou
Amn = A mn
A = AT
Amn = Anm
ou
Anti-simtrica se Hermitiana se
A = AT
ou
Amn = Anm
com
Amm = 0
A = A
Amn = A nm
ou
A = A
pode ser representado por suas componentes em A transformao de uma base As componentes de
mudana de base.
transformao.
matriz de
Similarmente, vetores de estado e operadores da mecnica quntica podem tambm ser representados em bases diferentes. Nesta seo vamos estudar como transformar de uma base
{|n }, como se determina os componentes correspondentes em uma base {|n } diferente? Admitindo que {|n } e {|n } sejam duas bases diferentes, podemos expandir cada ket |n da antiga base em termos da nova base {|n } como
para outra. Isto , conhecendo os componentes de bras, kets e operadores em uma base
|n =
onde
(
m
)
| m m | |n =
Umn | m ,
(170)
Umn = m |n . U,
que d a transformao da antiga base
A matriz por
{|n }
{| n },
dada
Umn
1 |1 1 |2 1 |3 . . . | | | . . . 2 1 2 2 2 3 = | | . . . | 1 2 3 3 3 3
. . . . . . . . . .. .
(172)
29
A matriz unitria.
completas
U |n = mn . m |U
U |n = m |U m |U = =
Agora, de acordo com (171), (173) como
(
l
l l
|l l |U |n m |U |l n |U |l = m |U
e
Uml Unl
(173)
Uml = m |l
l
Umn = l | n .
Uml Unl =
m |l l |n = m |n = mn
(174)
U |n = mn , m |U
ou
U = I , U
como queramos
5.2.1
n |
Essa relao, juntamente com sua complexa conjugada, podem ser generalizadas por
|velho , |novo = U
novo | = velho |U
(176)
A mn = m |A|n de um operador A na nova base podem expressos em termos dos antigos elementos matriciais, Ajl = j |A|l , do seguinte modo: ( ) Amn = m |I AI |n = m | |j j | A |l l | | n j l
Vamos examinar agora como os operadores se transformam quando passamos de uma base
=
isto ,
j l
m |j j |A|l l |n =
j,l
(177)
novo = U A velho U A
(178)
30
ou
Podemos resumir os resultados sobre mudana de base atravs das seguintes relaes:
|velho , |novo = U
ou
(180)
|novo , |velho = U
veja (114) e (115).
(181)
Essas relaes so similares s que foram derivadas no estudo das transformaes unitrias; Vamos agora mostrar que o operador
= U
| n n | um operador U = | n n | = I .
n
(182)
U = U
nl
| n n |l l | =
nl
| n l |nl
|m = U
| n n |m = U
| n nm = |m .
(184)
| U m =
|l l |m =
|l lm = |m .
(185)
Como o trao se transforma sob transformaes unitrias? Usando a propriedade cclica do trao,
Tr(|n m |) =
l |n m |l =
m |l l |n (
l
) |l l | |n = m |n = mn
, (187)
= m |
e podemos inferir que
Tr(| m n |) = n |m .
(188)
31
Vamos mostrar que o trao de um operador no depende da base em que ele expresso. Sejam:
um operador e
{|n }, {| n }
na base
{|n }
(189)
) = Tr(A
e na base
|n , n |A
{| n }
dado por
) = Tr(A
n |A|n .
ser completa, temos
(190)
) ) = |n = n | | Tr(A n |A m m | A|n
n
{| n }
= n | m m |A|n = m |A|n n |m
m n n m
=
ou seja,
m |A
) |n n | | m = n |A|n .
n
m |A|m ,
) = Tr(A
|n = n |A
(191)
e os autovetores
de um operador
, A
| = a| , A
onde por
(192)
a um nmero m |, temos
e multiplicando
I | = m |A m |A =
Por outro lado,
(
n
) |n n | |
n
|n n | = m |A
Amn n | .
(193)
| = am |I | = am | m |Ia =a
(
n
) |n n | |
(194)
m |n n | = amn n | .
n n
32
Ento,
Amn n | =
amn n | ,
[Amn amn ] n | = 0 ,
(195)
com
|n . Amn = m |A
j que a base
n | ,
{|n }
(196)
O problema que surge aqui que esse determinante corresponde a uma matriz com innitas linhas e innitas colunas. Para resolver (196) precisamos truncar a base ela contm apenas e admitir que
termos, onde
N:
A13 A23
. . .
... ...
..
A33 a . . .
.
=0.
(197)
AN 1
Essa equao conhecida como
AN 2
AN 3
ou
. . . AN N a
caracterstica. Suas solues fornecem os N autovalores a1 , a2 , . . . , aN , j que uma equao de N -simo grau em a. O conjunto desses . Conhecendo-se o conjunto de autovalores a1 , a2 , N autovalores chamado de espectro de A . . . , aN , pode-se facilmente determinar o correspondente conjunto de autovetores |1 , |2 , , pode-se obter a partir de (197) as N componentes . . . , |N . Para cada autovalor am de A 1 | , 2 | , . . . , N | do autovetor |m correspondente. Se vrios autovetores diferentes tm o mesmo autovalor, esse autovalor dito ser degenerado. A ordem de degenerescncia determinada pelo nmero de autovetores linearmente
independentes que tm o mesmo autovalor. Por exemplo, se um autovalor tem cinco autovetores diferentes, diz-se que ele tem degenerescncia quntupla. Quando o conjunto de autovetores
equao secular
{|n }
de
pode ser usado como base. Nessa base, a matriz que representa o operador
diagonal:
a1 0 0 . . . 0 a2 0 . . . A = 0 0 a . . . 3
. . . . . . . . . .. .
(198)
an
de .
, A
j que (199)
|n = an m |n = an mn m |A
33
O trao e o determinante so dados, respectivamente, pela soma e pelo produto dos autovalores:
Tr(A) = det(A) =
n n
an = a1 + a2 + . . . an = a1 a2 . . .
.
(200)
(201)
det(ABC . . .) = det(A) det(B ) det(C ) . . . det(A ) = (det A) det(A ) = (det A) det(AT ) = det A det(A) = eTr(ln A)
Para nalizar esta seo, apresentamos (sem demonstrao) alguns teoremas teis referentes ao problema de autovalor.
Teorema 6. Os autovalores de uma matriz simtrica so reais, e seus autovetores correspondentes formam uma base ortonormal.
Teorema 7. Os autovalores de uma matriz anti-simtrica so nulos ou imaginrios puros. Teorema 8. Os autovalores de uma matriz Hermitiana so reais, e seus autovetores correspondentes formam uma base ortonormal.
Teorema 9. Os autovalores de uma matriz anti-Hermitiana so nulos ou imaginrios puros. Teorema 10. Os autovalores de uma matriz unitria tem valor absoluto igual a um. Teorema 11. Se os autovalores de uma matriz quadrada no so degenerados, os autovetores
correspondentes formam uma base.
contnuas.
posio
momento.
Na seo anterior, vimos que as representaes de kets, bras e operadores em uma base discreta so dadas por matrizes discretas. Mostraremos aqui que essas quantidades so representadas numa base contnua por
no pelo usual
k |k = (k k ) ,
onde
so parmetros contnuos e
(208)
A condio de completeza dessa base contnua no dada por uma soma discreta como em (139), mas por uma integral sobre a varivel contnua,
onde
, dk |k k | = I
(209)
o operador unidade.
Todo vetor de estado pode ser expandido em termos do conjunto completo de kets da base
|k : | = | = I
onde
( k | ,
) dk |k k | | =
dk b(k ) |k ,
(210)
b(k ),
que igual a
representa a projeo de
k |k = (0) =
Isto implica que os kets
1 2
dx .
(211)
|k
espao de Hilbert (Lembre-se que o espao gerado por funes quadrado-integrveis um espao de Hilbert). Apesar da divergncia da norma de
|k ,
o conjunto de kets
|k constitui
uma base vlida de vetores que gera o espao de Hilbert, j que para qualquer vetor de estado
o produto escalar
k |
nito.
6.1.1
Antes de lidar com a representao de kets, bras e operadores, vamos fazer um breve desvio para listar algumas das propriedades mais importantes da funo delta de Dirac:
(212)
(213)
f (x)
(214)
x=a
(215)
(r r ) = (x x ) (y y ) (z z ) =
1 (r r ) ( ) ( ) . r2 sin
35
6.1.2
A representao de kets, bras e operadores pode ser facilmente inferida do estudo feito previamente para o caso de uma base discreta. Por exemplo, o ket matriz coluna que tem um nmero contnuo e innito de componentes (linhas)
k |
. . .
. . .
. (216)
O bra
representado por uma matriz linha que tem um nmero contnuo e innito de
componentes (colunas):
. . . |k . . .
(217)
Operadores so representados por matrizes quadradas contnuas cujas linhas e colunas possuem um nmero contnuo e innito de componentes:
. . . A(k, k ) . . .
.. . . . . .. .
..
. . .
..
. . (218)
: R |r = r|r , R
{|r}
que
(219)
onde
. R
As condies de orto-
r|r = (r r ) = (x x ) (y y ) (z z )
e
(220)
, d3 r |rr| = I
(221)
1 (r r ) = (2 )3
d3 k eik(rr )
(222)
| =
onde
d r |rr| =
3
d3 r (r) |r ,
(223)
(r)
denota a componente de
na base
{|r}:
(224)
r| = (r) .
36
funo de onda
|r| |
| .
d3 r representa a probabilidade de
pode ser expressa desta forma:
d3 r . | e |, ) 3 d r |rr| |
| = | | = |I = =
Como
|r = r|r, R
temos que
2 = R R aplicado a |r R ( ) |r = R 2 |r = R R (r|r) = rR |r = r2 |r , R n |r = rn |r . R
n |r = r |rn |r = rn r |r = rn (r r) . r |R R
Hermitiano, pois
(226)
| = |R | = |R I |R = = [ = [ =
) d r |rr| |
3
|rr| d r |R
3
[ ( ) ] | = |R d3 r |rr| | = |R
(227)
: P
onde
{|p}
|p = p|p , P p
o vetor momento.
(228)
|p
p|p = (p p )
37
(229)
. d3 p |pp| = I
(230)
Expandindo
d p |pp| =
3
d3 p (p) |p ,
(231)
| = | = I
onde o coeciente quantidade volume por
(p) da expanso representa a funo de onda no espao de momento. A |(p)|2 d3 p a probabilidade de encontrar o momento do sistema no elemento de d3 p localizado entre p e p + dp. ( | = | ) d p |pp| | = d3 p (p) (p) .
3
Por analogia com (225) o produto escalar entre dois estados no espao de momento dado
(232)
Como
|p = p|p, P
temos
n |p = pn (p p) . p |P
(233)
{|r}
para a base
{|p},
r| = r|
Portanto,
r|p
transformao r|p.
(234)
(235)
(p) = p| = p|
ou
Estas duas ltimas relaes implicam que mada de Fourier uma da outra. funo
(p)
f (r)
dada por
&
f (r) =
Portanto, a funo
1 (2 )
d3 p eipr/ g (p) .
(237)
r|p
dada por
r|p =
&
Note a presena da constante de Planck.
eipr/ (2 )3/2
(238)
38
Essa funo transforma da representao de momento para a representao de posio. funo correspondente transformao inversa,
p|r,
dada por
p|r = r|p =
A quantidade regio em
eipr/ (2 )3/2
(239)
Nota:
(r) =
'
1 (2 )
3/2
d3 p eipr/ (p)
(240)
(p) =
1 (2 )3/2
d3 r eipr/ (r)
(241)
d p (p) (p) = = =
Esse resultado conhecido como o
[ d p (p) [ d r (r)
3
1 (2 )3/2 1
d re
3
]
ipr/
(r) ]
(2 )3/2
d p (p) e
ipr/
d3 r (r) (r) = 1 .
(242)
teorema de Parseval.
6.4.1
calcular
(
3
) |pp| d p |
p eipr/ (p) d3 p .
(243)
'
Isto , se
d3 r (r) (r) = 1 .
39
Agora, como
p eipr/ = i eipr/
[ | = i r|P
= i r| .
Assim,
= i . P
Suas componentes cartesianas so
(245)
x = i P x
y = i P y
z = i P z
(246)
Note que a forma do operador momento (245) pode ser obtida simplesmente aplicando o operador gradiente a uma funo de onda plana
(r, t) = A ei(prEt)/
: (247)
= i , P
2 /2m + V =P H ) (r) +V
na repre-
= H
onde
2m
(r) = 2 + V
2m
2 2 2 + + x2 y 2 z 2
(248)
2 + 2 + 2. 2 = x y z
6.4.2
j = i R
ou
(j = x, y, z ) py
(249)
=i X
px
=i Z
pz
(250)
6.4.3
de onda
P x X
x X P
sobre a funo
(r)
so dadas por
(251)
(252)
P x ] = i [X,
temos:
(253)
z , de forma que
(254)
P x ] = i [X,
Note-se que
,P y ] = i [Y
P z ] = i [Z,
P y ] = 0. [X,
x, y
(256)
2 (r) + xy
2 (r) =0. yx
x , P y ] = [P x , P z ] = [P y , P z ] = [P z , P x ] = 0 . [P
As relaes em (254), (255), (256) e (257) podem ser agrupadas do seguinte modo:
(257)
j , R k ] = i jk [R
Essas relaes so chamadas de
j , R k ] = 0 , [R
j , P k ] = 0 [P
(258)
2, P x ] = [X X, P x ] = X [X, P x ] + [X, P x ]X =i X +i X = 2i X [X
que leva a
3, P x ] = [X 2 X, P x ] = X 2 [X, P x ] + [X 2, P x ]X =i X 2 + 2i X 2 = 3i X 2 [X
o que, por sua vez, leva a
4, P x ] = [X 3 X, P x ] = X 3 [X, P x ] + [X 3, P x ]X =i X 3 + 3i X 3 = 4i X 3 [X
Continuando dessa forma, pode-se obter qualquer potncia de resultados acima por
. X
n, P x ] = i nX n1 [X x : P
n n1 P x x [X, ] = i nP
(260)
Seguindo o mesmo procedimento que levou a (253), pode-se obter uma relao de comutao geral de
x P
) f (X
arbitrria:
), P x ] = i df (X ) [f (X dX
onde
, f (R )] = i F (R ) [P
(261)
. R P ] [X,
na representao do momento. O operador
= i (p) + i p = i (p) ,
de forma que, na representao do momento,
] [ ,P = i [X, P ] = i p
J vimos que na representao de posio,
(262)
] [ =i [X, P ] = X, i x
(263)
as relaes de co-
reexo espacial em torno da origem do sistema de coordenadas denominada uma inverso ou de paridade. Essa transformao discreta. O operador de paridade denido por sua ao nos kets |r do espao de posio:
r = | r , P| = r| , r|P
(264)
tal que
(r) = (r) . P
O operador de paridade Hermitiano,
(265)
= P , P
pois
d r (r) (r) =
[ ] (r) (r) . d3 r P
(266)
(267)
2 P
2 = I P
ou
=P 1 P
(268)
Logo, o operador de paridade unitrio, j que seu adjunto Hermitiano igual a seu inverso:
= P 1 P
Como
(269)
2 = I , P
os autovalores de
so
+1
1,
|+
denominado
operador de paridade tm
Logo, as autofunes do
d3 r + (r) (r) = + | ,
(271)
+ |
zero.
Os estados
j que qualquer
+ (r) =
Como
1 [ (r) + (r)] 2 { P n = P I
(r) =
1 [ (r) (r)] 2
(272)
2 = I , P
temos
quando quando
n n
mpar, par.
(273)
43
6.5.1
Um operador
par
se obedece condio
A P =A P
e um operador
(274)
mpar
se obedece a
B P = B P
Verica-se que:
(275)
( ) P = P A P P =P A P 2 = P A A ( ) P = P B P P = P B P 2 = P B B
.
(276)
(277)
O fato de que operadores pares comutam com o operador de paridade, de acordo com (276), tem vrias conseqncias teis. Vamos examinar dois casos importantes que dependem de um operador par ter autovalores no degenerados ou degenerados:
Se um operador par Hermitiano e nenhum de seus autovalores degenerado, ento este operador tem os mesmos autovetores que o operador de paridade. E como os autovetores do operador de paridade so pares ou mpares, os autovetores de um operador Hermitiano, par e no degenerado devem tambm ser pares ou mpares; diz-se que eles tm
paridade denida.
Se o operador par tem um espectro degenerado, seus autovetores no tm necessariamente uma paridade denida.
E quanto paridade dos operadores posio e momento, que ambos so mpares. No caso de
? P
, R
|r = rP| R r = r| r P
de modo que
P| r = R| r = r| r , R
. (278)
= R P R P
Pode-se mostrar tambm que
= P P P P
De (278) e (278), tem-se
(279)
visto que
P = 1. P
Se o
P , R = R P par e o operador A A n P =A n P
e
Essas relaes podem ser demonstradas facilmente. A primeira relao, por exemplo, vem de
discreta
e sistemas de base
contnua.
A teoria da mecnica
| = E | , H
onde
(283)
de coordenadas ou representao. Mas , para resolv-la precisamos represent-la em uma dado sistema de base. A complexidade associada resoluo dessa equao de autovalor ir variar de uma base para outra. No que se segue examinaremos a representao dessa equao de autovalor numa base
discreta
contnua.
discreta
produz um problema
{|n }
matricial
produz a seguinte
H13 H23
. . .
... ...
..
H1N H2N H3 N
. . .
H33 E . . .
.
=0.
(284)
HN 1
Esta uma equao de sistema:
HN 2
HN 3
. . . HN N E
N -simo grau em E ; suas solues fornecem o espectro de energia do EN . Conhecendo o conjunto de autovalores E1 , E2 , . . . , EN , podemos facilmente determinar o correspondente conjunto de autovetores |1 , |2 , . . . , |N . A diagonalizao da matriz Hamiltoniana 284 de um sistema fornece o espectro de energia E1 , E2 ,
...,
bem como os vetores de estado do sistema. Esse procedimento, que foi feito por Heisenberg, envolve apenas quantidades matriciais e equaes matriciais de autovalor. Essa formulao da mecnica quntica conhecida como
mecnica matricial.
O ponto de partida de Heisenberg, em sua tentativa de encontrar uma fundamentao terica para as idias de Bohr, foi a relao de transio atmica
nm =
Em En h
(285)
para a rbita
n.
As freqncias
nm
mn
m-simo
para o
n-simo
estado quntico.
Podemos tambm construir matrizes para outras quantidades dinmicas associadas tran-
m n.
Desta forma, toda quantidade fsica representada por uma matriz. Por exem-
plo, representamos nveis de energia por uma matriz de energia, a posio por uma matriz de posio, o momento por uma matriz de momento, o momento angular por uma matriz de momento angular, e assim por diante. Assim, o clculo de quantidades fsicas envolve o
45
trabalho com a lgebra de quantidades matriciais. No contexto da mecnica matricial, lida-se com quantidades que no comutam, pois o produto de matrizes no comuta. Esta uma caracterstica essencial que distingue a mecnica matricial da mecnica clssica, onde todas as quantidades comutam. As componentes da posio e do momento no comutam no contexto da mecnica matricial, sendo relacionadas pela relao de comutao
P x ] = i [X,
. A mesma
coisa se aplica s componentes do momento angular. O papel desempenhado pelas relaes de comutao dentro do contexto da mecnica matricial similar ao papel desempenhado pelas condies de quantizao de Bohr na teoria atmica. exige, portanto, a introduo de arsenal matemtico A mecnica matricial de Heisenberg
lgebra matricial
contnua
produz uma
espao de posio
equao diferencial.
fornece
| = E r| . r|H
Como mostrado em (248), o Hamiltoniano dado por
(286) na representao
(r) 2 2 /(2m) + V
de posio, de forma que podemos escrever (286) numa forma mais familiar:
onde
2m
(287)
r| = (r) a funo de onda do sistema. Essa equao diferencial conhecida como a equao de Schrdinger. Suas solues fornecem o espectro de energia do sistema bem como suas funes de onda. Essa formulao da mecnica quntica na representao de posio chamada de mecnica ondulatria.
Ao contrrio de Heisenberg, Schrdinger tomou um ponto de partida inteiramente diferente em sua busca de uma justicao terica para as idias de Bohr. Ele partiu da hiptese ondapartcula, formulada por de Broglie, e a estendeu aos eltrons em rbita do ncleo. Schrdinger queria encontrar uma equao que descrevesse o movimento do eltron dentro do tomo. Aqui o foco est no aspecto
ondulatrio
L=n
= 2 /p.
(a) o comprimento de onda da onda associada ao eltron em rbita est conectada ao momento linear do eltron por
= 2 /p;
(b) a rbita do eltron circular, e (c) a circunferncia da rbita do eltron um mltiplo inteiro do comprimento de onda do eltron, isto ,
2r = n.
2r = n (2 /p),
ou
n = np L.
Isso signica que para cada rbita existe apenas um comprimento de onda associado com o eltron orbitante. Assim a condio de quantizao de Bohr implica, em essncia, em uma unicidade da funo de onda para cada rbita do eltron.
46
8 Notas Finais
Historicamente, a formulao matricial da mecnica quntica foi feita por Heisenberg pouco antes de Schrdinger ter introduzido sua mecnica ondulatria. A equivalncia entre as duas formulaes foi provada alguns anos depois atravs da teoria das transformaes unitrias. Diferentes na forma, ainda que idnticas em contedo, a mecnica ondulatria e a mecnica matricial atingem o mesmo objetivo: encontrar o espectro de energia e os estados de sistemas qunticos. A formulao matricial tem a vantagem da maior generalidade (formal), ainda que sofra de vrias desvantagens. Do lado conceitual, no oferece qualquer idia visual sobre a estrutura do tomo; menos intuitiva que a mecnica ondulatria. Do lado tcnico, difcil de se usar em problemas de relativa facilidade, como o de encontrar estados estacionrios de tomos. Contudo, se torna poderosa e prtica na resoluo de problemas como o oscilador harmnico ou no tratamento do formalismo do momento angular. Mas a maioria dos esforos da mecnica quntica se concentram na resoluo da equao de Schrdinger, no no problema de autovalor matricial de Heisenberg. A mecnica matricial usada apenas em poucos problemas, como o oscilador harmnico, onde mais adequada que a mecnica ondulatria de Schrdinger. Na mecnica ondulatria, precisamos apenas especicar o potencial no qual a partcula se move, e a equao de Schrdinger toma conta do resto. Ou seja, conhecendo
(r), V
podemos,
em princpio, resolver a equao (287) para obter os vrios nveis de energia da partcula e suas correspondentes funes de onda. A complexidade que se encontra na soluo da equao diferencial depende inteiramente da forma do potencial; quanto mais simples o potencial, mais fcil a soluo. Solues exatas da equao de Schrdinger so possveis apenas para uns poucos sistemas idealizados. Sistemas reais, em geral, no se prestam a solues exatas. Nesses casos, deve-se recorrer a solues aproximadas.
47