Cap tulo 5 Mecnica Quntica e a Algebra a a Linear

Neste cap tulo faremos uma recordao de alguns fatos bsicos de Algebra ca a Linear, sem preocuparmos com o rigor matemtico. Tambm formulaa e remos os postulados da Mecnica Quntica de uma forma mais geral a a utilizando como base a Algebra Linear.

5.1

Espaos vetoriais c

u Consideremos um conjunto V e um corpo K, que pode ser (n meros reais) ou (n meros complexos). V um espao vetorial sobre K se u e c existirem duas operaes co

+ : V V V x y x + y e : K V V x x as quais satisfazem as seguintes propriedades, onde x e y pertencem a V e e a K, 1. x + y = y + x ; 79

80

Cap tulo 5.

Mecnica Quntica e a Algebra Linear a a

2. x + (y + z) = (x + y) + z ; 3. Existe um vetor nulo (0) tal que x + 0 = x ; 4. Para qualquer x em V , existe (x) tal que x + (x) = 0 ; 5. (x) = ()x ; 6. 1x = x ; 7. ( + )x = x + x ; 8. (x + y) = x + y .

Exemplos1 :
1. Seja V o conjunto das n-uplas (x1 , ..., xn ) de n meros complexos. u Denindo-se a soma de duas n-uplas e a sua multiplicao por ca um complexo atravs de e (x1 , ..., xn ) + (y1 , ..., yn ) (x + y1 , ..., x + yn ) , (x1 , ..., xn ) (x1 , ..., xn ) , (5.1) (5.2)

fcil vericar que V um espao vetorial sobre os complexos. e a e c Este espao vetorial chamado de n . c e 2. Consideremos o conjunto V de todas as funes cont co nuas de n quadrado integrvel, i.e. as que satisfazem d x|(x)|2 < . a Denindo as operaes de soma e multiplicao por um nmero co ca u complexo atravs de e (1 + 2 )(x) 1 (x) + 2 (x) e ()(x) (x) (5.3)

podemos vericar que V um espao vetorial sobre . Lembre-se e c que o palco da ao em Mecnica Quntica um espao vetorial ca a a e c j que o princ a pio da superposio implica que os estados de um ca sistema formam um espao vetorial. c
1

Mostre que estes exemplos so de espaos vetoriais. a c

5.2. Operadores lineares

81

5.2

Operadores lineares

Consideremos dois espaos vetoriais V e W sobre o corpo K. Uma c funo ca T : V W x T (x)

dita linear se e 1. T (x + y) = T (x) + T (y) , 2. T (x) = T (x) . Quando V coincide com W chamamos esta funo linear de operador ca linear .

Exemplos:
1. Mostre que se V = W = n , ento, o operador denido atravs a e de T ((x1 , ..., xn )) = (y1 , ..., yn ) (5.4) com yi =
j=1

linear se os Tij forem n meros complexos. e u 2. Para o caso de V e W serem o espao das funes de quadrado c co d ca a integrvel, temos que os operadores dx e multiplicao por x so a lineares.

5.2.1

Representao Matricial ca

Uma propriedade util dos operadores lineares que podemos repre e sent-los atravs de uma matriz de dimenso igual ` dimenso do espao a e a a a c vetorial. Consideremos o operador linear O que atua no espao vetorial c

Tij xj

(5.5)

82

Cap tulo 5.

Mecnica Quntica e a Algebra Linear a a

V e seja {ei } uma base deste espao. Tendo em vista que Oei um c e vetor de V podemos escrev-lo na base {ej } como e Oei =
j

Ojiej ,

(5.6)

onde os coecientes da expanso denem uma matriz Oji. A ao de a ca O sobre qualquer vetor x = i xi ei de V ento dada por e a Ox = O
i

xi ei =
i

xi Oei =

xi
j

Ojiej =
j i

Ojixi

ej , (5.7)

ou seja, a componente j do vetor Ox dada por e Ojixi .

i

(5.8)

Note que dada uma base de V podemos representar os vetores de V por matrizes colunas (x1 , x2 , . . . ) enquanto que os operadores lineares so dados por matrizes Oji. Mais ainda, a operao dos operadores O a ca sobre os vetores x dada por (5.8) que exatamente a multiplicao e e ca matricial de Oji por xi . No caso em que a dimenso de V nita temos a e que este espao vetorial equivalente a n . E importante notar que as c e componentes xi dos vetores, bem como as matrizes Oji dependem da base escolhida para V .

5.3

Produto escalar

Seja V um espao vetorial sobre o corpo dos n meros complexos. Um c u produto escalar (ou interno) uma funo e ca | satisfazendo 1. x|y = y|x . : V V C x y x|y

5.3. Produto escalar

83

2. Para quaisquer x, y1 e y2 em V e dois n meros complexos aru bitrrios e tem-se a x|y1 + y2 = x|y1 + x|y2 .

3. x|x 0, sendo a igualdade vlida se e somente se x = 0. a Note que as propriedades acima implicam que y1 + y2 |x = y1 |x + y2 |x ,

i.e. o produto escalar anti-linear na sua primeira entrada enquanto e e linear na segunda.

Exemplos:

Deixamos para o leitor mostrar que a denio acima satisfaz ca todas as propriedades requeridas para um produtor escalar. 2. Para o espao vetorial das funes cont c co nuas de quadrado integrvel natural introduzirmos o produto escalar atravs de a e e 1 |2 dn x (x)2 (x) , 1 (5.10)

o qual uma generalizao natural do exemplo 1 acima para o e ca caso do ndice i tornar-se cont nuo. Note que este este tipo de integral apareceu com muita freqncia nos cap ue tulos anteriores. Mais ainda, dizemos que dois vetores x e y so ortogonais se a x|y = 0, o que coincide com a denio adotada anteriormente. ca

1. Para V = de

podemos denir o produto escalar de x por y atravs e

n

x|y = (x1 , ..., xn )|(y1, ..., yn )

x yi . i
i=1

(5.9)

84

Cap tulo 5.

Mecnica Quntica e a Algebra Linear a a

5.4

Operador hermitiano conjugado

Dado um operador linear A podemos associar a este um outro operador A , chamado conjugado hermitiano (ou adjunto) de A, o qual satisfaz a seguinte igualdade para quaisquer vetores x e y: x|Ay = A x|y . (5.11)

Se desejssemos ser mais cuidadosos dever a amos provar a existncia e de A bem como estudar o seu dom nio. Isto facilmente feito para e espaos de dimenso nita ou para operadores A limitados, todavia c a e necessrio um cuidado maior no caso de operadores no limitados. a a

Exemplos:

A((x1 , ..., xn )) = (y1 , ..., yn ) com yi =

j=1

temos que o operador hermitiano conjugado de A dado por e

n

A ((x1 , ..., xn )) = (y1 , ..., yn ) com yi =

j=1

e onde A T a matriz transposta e complexa conjugada de Aij . ij Isto pode ser visto a partir de
n n

1. Para V =

e para A denido atravs de e

n

Aij xj

(5.12)

A T xj , ij

(5.13)

x|Ay

=
i=1 n

x i
j=1

Aij yj

=
i,j=1 n

x Aij yj i xi A ij
i,j=1 n n

yj

=
j=1 i=1

A T xi ji .

yj

A x|y

5.4. Operador hermitiano conjugado

85

2. No espao das funes de quadrado integrvel temos que o adjunto c co a d d d e co de dx dado por dx = dx dependendo da escolha de condies de contorno. De fato d 2 1 dx
+

=
+

dx (x) 1 dx

d2 (x) dx

= = =

d d 1 [ (x)2 (x)] (x)2 (x) dx 1 dx + d1 (x)2 (x) dx dx d 1 2 , dx

onde utilizamos que o primeiro termo da segunda igualdade anulase uma vez que funes de quadrado integrvel devem anular-se co a em .

Propriedades teis u
As propriedades a seguir so muito uteis para a obteno do hera ca mitiano conjugado de operadores que so funes de p e x, os quais a co satisfazem p = p e x = x. 1. (A ) = A. Mostre este fato. 2. (A) = A , onde um n mero complexo. De fato: e u x|Ay = x|Ay = A x|y = A x|y 3. (A + B) = A + B . De fato x|(A + B)y = x|Ay + x|By = A x|y + B x|y = (A + B )x|y 4. (AB) = B A . De fato x|ABy = A x|By = B A x|y . . .

86

Cap tulo 5.

Mecnica Quntica e a Algebra Linear a a

Exemplos:
1. Podemos vericar facilmente que p = p =
d i dx

satisfaz p = p :

d i dx

d d = =p . = i dx i dx

2. Calculemos o adjunto do operador associado ` componente z do a momento angular orbital Lz = xpy ypx : L = (xpy ypx ) = p x p y = py x px y = Lz z y x pois x e py (y e px ) comutam. Note que tudo que necessitamos para obter o hermitiano conjugado de Lz foi a propriedade 4 acima e saber que x = x e p = p .

5.5

Operadores hermitianos

Um operador linear A dito hermitiano ou autoadjunto se A = A , e i.e. 1 |A2 = A1 |2 (5.14) para quaisquer 1 e 2 . Para o espao das funes cont c co nuas quadraticamente integrveis isto signica que a dn x (x)A2 (x) = 1 dn x (A1 ) (x)2 (x) ;

(5.15)

note que isto est de acordo com a denio dada anteriormente. Mais a ca ainda, tambm sabemos que neste espao vetorial os seguintes operae c dores so hermitianos: multiplicao por x, p (= i ) e 2 . a ca

5.5.1

Propriedades

Os operadores hermitianos desempenham um papel central em Mecnica Quntica, por esse motivo interessante estud-los mais dea a e a talhadamente. Dentre as propriedades dos operadores hermitianos e conveniente ressaltar as seguintes:

5.5. Operadores hermitianos

87

1. Qualquer que seja o vetor x temos que x|Ax real. De fato: e x|Ax = A x|x = Ax|x = x|Ax

2. Todos os autovalores de operadores hermitianos so reais.2 Esa crevendo Avan = an van , onde an o autovalor associado ao autovetor van , fcil ver que e e a an real: e van |Avan = van |an van = an van |van onde utilizamos que van autovetor de A e que o produto escalar e e linear no segundo argumento. Uma vez que van |Avan e van |van so reais, temos que an tambm o pela igualdade acima. a e e 3. Autovetores associados a autovalores distintos so ortogonais. a Para ver isto calculemos vak |Avan vak |Avan = vak |an van = an vak |van ou Avak |van = ak vak |van = ak vak |van (ak an ) vak |van = 0 , o que nos permite concluir que se ak = an temos que vak |van = 0. 4. Consideremos o conjunto de todos os autovetores {van } do operador hermitiano A. Assumiremos sem demonstrao que este ca conjunto forma uma base do espao vetorial em questo.3 Sendo c a assim qualquer vetor no espao vetorial pode ser escrito como c uma superposio linear x dos autovetores de A ca x=
n

Logo, igualando os ultimos termos das duas linhas acima vem que

can van ,

(5.16)

onde os can so constantes complexas. a

Lembre-se do resultado do clculo do espectro e das autofunes do operador a co momento, part cula na caixa e oscilador harmnico. o 3 Isto pode ser provado em geral para espaos vetoriais de dimenso nita, todavia c a este no um fato trivial para espaos de dimenso innita. Em Mecnica Quntica a e c a a a assumimos que este teorema seja verdadeiro em todos os casos.
2

88

Cap tulo 5.

Mecnica Quntica e a Algebra Linear a a

Para autovalores distintos sabemos que os autovetores correspondentes so ortogonais. Entretanto, para os casos em que existe dea generescncia, i.e. quando h vrios autovetores associados ao mesmo e a a autovalor, a priori no garantido que autovetores diferentes sejam a e ortogonais entre si. Todavia, neste caso podemos escolher estes autovetores de modo que eles sejam ortogonais entre si. Isto poss j que e vel a uma combinao linear deste autovetores tambm um autovetor: ca e e
i i Ava = ava

para i = 1, .., m

(5.17)

ento a
m m i ci va i=1 m m

=
i=1

i Ava

=
i=1

i ava

=a
i=1

i ci va .

(5.18)

Este fato possibilita-nos usar os processos de ortogonalizao conhecica dos, com a vantagens de que os novos vetores ainda so autovetores de a A com autovalor a. Logo, podemos escolher uma base de autovetores {va } que seja ortogonal.

5.5.2

Normalizao dos autovetores dos operadores ca hermitianos

Como acabamos de ver operadores hermitianos do origem naturala mente a uma base ortogonal do espao vetorial. E interessante agora c normalizarmos esta base de modo que ela seja ortonormal, j que isto a nos conduz a uma maior facilidade nos clculos. A normalizao que a ca utilizaremos a seguinte: e Para autovalores do discreto, i.e. para autovalores an que so a isolados adotamos a seguinte normalizao ca van |van = 1 . (5.19)

Para autovalores do cont nuo, i.e. para autovalores a que possuem outros arbitrariamente prximos de si, adotamos que o va |va = (a a ) . (5.20)

5.5. Operadores hermitianos

89

Lembre-se que o espectro do operador momento linear, o qual j anaa lisamos no cap tulo anterior, cont e nuo e que demonstramos para este caso que a escolha desta normalizao ou o limite de volume innito ca deste sistema em uma caixa so equivalentes. a Esta escolha de normalizao, juntamente com a ortogonalidade de ca autovetores distintos, conduz-nos as seguintes relaes: co van |vak va |va van |va = n,k , = (a a ) , = 0 , (5.21) (5.22) (5.23)

onde na primeira linha temos um delta de Kronecker, enquanto na segunda aparece um delta de Dirac. A razo para esta escolha a a e simplicidade exibida nas relaes abaixo. co

5.5.3

Expanso em termos dos {va} a

Adotando-se a base gerada pelos autovetores de um operador hermitiano A e as normalizaes (5.21) e (5.22), a expanso de um vetor co a arbitrrio pode ser escrita como a =
n

can van +

da ca va

(5.24)

onde os coecientes can e ca so dados por a can = ca = van | , va | . (5.25) (5.26)

Para vericarmos a validade das relaes (5.26) calculemos va | , co

90

Cap tulo 5.

Mecnica Quntica e a Algebra Linear a a

deixando para o leitor a vericao da relao (5.25). ca ca

va

= =

va
n

can van +

da ca va da ca va |va

can va |van + da ca (a a )

= ca ,

onde para passar da segunda para a terceira linha utilizamos as relaes co (5.22)(5.23). E importante ressaltar neste ponto que a normalizao (5.21)(5.22) ca permite-nos trabalhar com a base {va } do mesmo modo que trabalhamos com os versores i, j e k no espao 3 : para obtermos, por exemplo, c a componente x de um vetor fazemos o produto escalar de i com o vetor. Note que exatamente isto o que ocorre nas expresses (5.24)(5.26)! e o Mais ainda, a expanso (5.24) nada mais do que uma generalizao a e ca da relao ca x = i (i x) + j (j x) + k (k x) .

5.5.4

Clculo de produtos escalares a

A expanso de vetores na base gerada pelos autovetores de um operador a herminitano pode ser facilmente aplicada para o clculo de produtos esa calares | , resultando uma expresso simples para esta quantidade. a Escrevendo =
n

ban van +

da ba va

(5.27)

5.6. Operadores unitrios a temos que | =

k

91

bak vak + bk vak | + a bk cak + a

k

da ba va da b va | a (5.28)

=
k

da b ca , a

onde utilizamos as relaes (5.24), (5.25) e (5.26). Logo, temos que co a expresso para | em termos das componentes destes vetores a e n anloga ` do produto escalar entre dois vetores de a a . Mais ainda no caso particular | esta expresso reduz-se ` soma do mdulo ao a a o quadrado das componentes | =
k

|cak |2 +

da |ca |2 ,

em analogia com o modulo ao quadrado de um vetor em trs dimenses. e o

5.5.5

Expresso para |A a

E util tambm expressar |A em termos das componentes ca de . e Uma vez que a manipulao completamente anloga `s precedentes ca e a a vamos apenas dar o resultado, sugerindo ao leitor sua demonstrao. ca |A =
n

an |can |2 +

da a |ca |2

5.6

Operadores unitrios a

Um operador U dito unitrio caso satisfaa e a c

i.e. U = U 1 .

UU = U U =

(operador identidade)

(5.29)

(5.30)

92

Cap tulo 5.

Mecnica Quntica e a Algebra Linear a a

Como veremos em detalhes mais tarde, operadores unitrios esto a a associados a transformaes de simetria, bem como com ` evoluo co a ca temporal de um sistema.

Propriedades dos operadores unitrios a

1. Qualquer que sejam os estados e temos que U|U = |U U = | . 2. Se {va } um conjunto de vetores ortonormais, ento {Uva } tambm e a e o . De fato, da propriedade acima segue que e Uva |Uvb = va |vb = a,b .

5.7

Notao de Dirac ca

o qual recebe o nome de ket. Se este estado for autovetor de um ou mais operadores hermitianos usual substituir o s e mbolo pelos correspondentes autovalores. Por exemplo, sabemos que os autovalores de um oscilador harmnico simples so dados por (n + 1/2), e nesta o a notao os autovetores correspondentes so especicados atravs do ca a e n mero quntico n, sendo representados por u a |n .

Na notao de Dirac um estado de um sistema, i.e. o vetor que o ca representa denotado por e | , (5.31)

(5.32)

A representao do produto escalar entre dois estados | e | ca ca inalterada, sendo dada por | . (5.33) Contudo, modicamos a maneira de representar valores esperados e elementos de matriz de operadores. Dado um operador A e os estados | e | |A |velha ou |A| , (5.34) A | velha

5.7. Notao de Dirac ca

93

onde o subscrito velhaindica que estamos utilizando a notao adoca tada anteriormente. Em outras palavras, a ao de um operador denca tro de um elemento de matriz ou em um valor esperado d-se pela sua a atuao no vetor ` sua direita ou pela ao de seu hermitiano conjugado ca a ca no vetor ` sua esquerda. Note que no caso de operadores hermitianos a ele pode atuar igualmente no estado a sua direita ou a sua esquerda. Podemos tornar a notao muito mais ex denindo uma funo ca vel ca linear |, chamada bra, que permite darmos uma interpretao dica ferente `s expresses (5.33) ou (5.34). Dado um vetor | que pertence a o ao espao vetorial V , associamos a ele a funo linear | tal que c ca

ou seja, a sua ao sobre qualquer vetor | V dada pelo produto ca e escalar de | por este vetor. O conjunto de todas as funes lineares co c c de V dene um espao vetorial, chamado de espao dual de V . Com esta denio podemos interpretar o elemento de matriz |A| ca como sendo dado pela ao do operador A no vetor | seguida pela ca aplicao da funo | ao resultado obtido, o que nos fornece como ca ca resultado um n mero complexo. u H duas propriedades interessantes dos bras: a 1. Se o estado | for uma combinao linear | = c1 |1 + c1 |2 , ca onde c1(2) so constantes complexas, ento a a j que o produto escalar anti-linear no primeiro argumento. a e 2. O bra associado ao vetor | = A| , onde A um operador, e e dado por | = |A . (5.38) Para mostrarmos isto, basta escrever a ao desta funo utilica ca zando a notao que adotamos anteriormente e ento passar o ca a resultado para a notao de Dirac. De fato, o produto escalar de ca | com qualquer vetor |X dado por e O resultado segue do fato do vetor |X ser arbitrrio. a |X = A|X = |A X |A |X . | = c 1 | + c 2 | 1 2 (5.37)

| : V | V

| ,

(5.35) (5.36)

(5.39)

94

Cap tulo 5.

Mecnica Quntica e a Algebra Linear a a

5.7.1

Operadores de projeo ca

Visando simplicar a notao, consideremos um espao vetorial V de ca c dimenso nita e uma base ortonormal {|i }. Na notao de Dirac o a ca operador que projeta um vetor | na direo |k dado por4 ca e Pk = |k k| uma vez que a projeo de | na direo |k . e ca ca Na notao de Dirac a expanso de um vetor arbitrrio | na base ca a a {|i }, expresso (5.25), dada por a e | =
i

(5.40)

Pk | = |k k|

i| |i =

|i i| =

Pi | .

(5.41)

Podemos inferir da expresso acima que a

Este resultado intuitivo j que se projetarmos em todas as direes e e a co somarmos os resultados devemos recuperar o vetor inicial.

5.7.2

Elementos de matriz de operadores

Consideremos um espao vetorial de dimenso nita e uma base ortonorc a mal {|i }. Na notao de Dirac temos que os elementos de matriz de ca um operador O so dados por, vide (5.6), a O|i =
j

onde Oji = j|O|i , (5.44) j que a base ortonormal. Portanto, a obteno dos elementos de a e ca matriz bastante direta no caso da base ser ortonormal. e
4

Verique que Pk leva vetores em vetores.

Pi =

|i i| =

(operador identidade) .

(5.42)

Oji|j

(5.43)

5.8. Postulados da Mecnica Quntica a a

95

Podemos reobter (5.8) utilizando uma base ortonormal e a notao ca de Dirac: O| = O = |i i| O |j j| | = |i i|O|j j|

(5.45) logo os coecientes da expanso do vetor O| na base adotada so a a dados por i|O|j j| , (5.46)
j

reproduzindo (5.8) uma vez que j| so os coecientes da expanso a a de | e os elementos de matriz de O so dados por (5.44). a

5.8

Postulados da Mecnica Quntica a a

Vamos agora expressar os postulados da Mecnica Quntica utilizando a a a linguagem da Algebra Linear. Isto no s permite entender melhor a o os postulados apresentados nos cap tulos anteriores, mas tambm serve e para generalizar os conceitos introduzidos.

5.8.1

O estado do sistema do sistema completamente especicado e por um elemento de um espao vetorial | que possui um c produto escalar, i.e. um estado um vetor. e No enunciado anterior, utilizando a representao das coordenadas, ca os vetores eram dados pelas funes de onda de quadrado integrvel co a (x, t). Alternativamente, poder amos tambm descrever este espao e c vetorial utilizando a representao dos momentos, na qual os estados ca so dados pelas funes de onda (p). a co O fato do conjunto dos estados de um sistema formar um espao c vetorial uma conseqncia do princ e ue pio da superposio i.e. do fato ca de que se |1 e |2 so estados, ento |1 + |2 , onde e so a a a constantes complexas, tambm o . e e

ij

Postulado I

96

Cap tulo 5.

Mecnica Quntica e a Algebra Linear a a

Observao: Existem sistemas na natureza que no possuem anlogos ca a a clssicos. Nestes casos devemos escolher tambm qual o espao vetoa e e c rial no qual os nossos modelos esto denidos. a

5.8.2

Postulado II

As variveis dinmicas (A) so representadas por operadores lia a a neares e hermitianos (Aop), sendo que mdias da varivel dinmica e a a A so dadas por a A |Aop| , (5.47) onde o estado | deve ser normalizado segundo | = 1. 5 O fato de Aop ser hermitiano garante, como foi demonstrado, que as mdias so n meros reais. e a u Na representao das coordenadas, por exemplo, temos que ca A d3 x (x, t) Aop (x, t) .

(5.48)

Note que faz parte da denio do modelo a escolha dos operadores ca que representam os observveis f a sicos. Caso a varivel dinmica A posa a sua uma expresso clssica Acl (x, p), somos naturalmente conduzidos a a a escolher, a menos de ambig idades de ordenamento, Aop = Acl (x, i x ). u Para interpretarmos o signicado dos autovalores an de um operador hermitiano Aop , bem como os coecientes da expanso (5.24) devemos a calcular a funo caracter ca stica da distribuio de probabilidades do ca observvel A. Deixamos como um exerc para o leitor mostrar que a cio eiA =
n

|can |2 eian +

da |ca |2 eia

(5.49)

o que nos permite concluir que a. Medidas precisas (ideais) da varivel dinmica A podem fornecer a a como resultado apenas os autovalores a do operador Aop (Aop |a = a|a ). Novamente, o fato de Aop ser hermitiano garante que seus autovalores so reais. a
5

Poder amos evitar esta restrio postulando que A |Aop | / | . ca

5.8. Postulados da Mecnica Quntica a a

97

b. A probabilidade de uma medida ideal fornecer como resultado an (do espectro discreto) dada por |can |2 , onde can o coeciente da e e expanso da estado | na base dos autovetores de Aop , normalizada a segundo (5.21)(5.22), i.e. can = van | c. Analogamente, |ca |2 a densidade de probabilidade de uma mee dida fornecer como resultado a , que um autovalor do cont e nuo. Como 2 um exemplo dos |ca | representando uma densidade de probabilidade, bom lembrar que mostramos anteriormente que (p) denida atravs e e de eipx/ (x, t) = d3 p (p) (2 )3/2 pode ser interpretada como uma densidade de probabilidade no espao c eipx/ dos momentos. Note que na expresso acima (2 )3/2 exatamente uma a e autofuno devidamente normalizada do operador momento. ca

5.8.3

Postulado III

A evoluo temporal do estado do sistema dada pela equao ca e ca de Schrdinger o i | = Hop| , (5.50) t onde Hop o operador hamiltoniana do sistema. e Nunca demais lembrar que a equao de Schrdinger detere ca o e min stica, i.e. o estado em qualquer instante est completamente dea terminado a partir do estado inicial. Mais ainda, a forma da equao ca de Schrdinger garante a conservao de probabilidade, i.e. de | o ca d | dt = | + | t t 1 1 = |H| + |H| = 0 , i i 1 | = |H t i

onde utilizamos que

98

Cap tulo 5.

Mecnica Quntica e a Algebra Linear a a

e que a hamiltoniana um operador hermitiano. e Conforme vimos anteriormente, podemos escrever uma expresso a formal para a soluo de (5.50) utilizando a base formada pelos autoveca tores |En de H. Dada a condio inicial |(t = 0) para o estado do ca sistema, podemos expand segundo -la |(t = 0) =
n

cn |En

(5.51)

com cn = En |(t = 0) quando adotamos a normalizao (5.21) para ca os autovetores de H. A soluo da equao de Schrdinger dependente ca ca o do tempo , ento, dada por e a |(t) = cn ei
n
EN

|En .

(5.52)

Esta de fato uma soluo de (5.50) j que ela a superposio linear e ca a e ca E i N t |En bem como satisfaz a condio inicial. ca de solues da forma e co

5.8.4

Postulado IV

O unico ponto que ainda no tratamos anteriormente o efeito de a e natural postularmos que medidas sobre um sistema. E Imediatamente aps uma medida ter fornecido como resulo tado a o estado do sistema passa a ser o autovetor correspondente |a . Por exemplo, consideremos um oscilador harmnico unidimensional o que no instante t = 0 se encontra no estado 1 = (|0 + |1 ) , 2

(5.53)

onde |n o autovetor correspondendo ao autovalor En = (n + 1/2) e da hamiltoniana do sistema. Se realizarmos uma medida da energia no instante t = 0 a probabilidade do resultado ser E0 ou E1 2 . Supone 1 hamos agora que esta medida teve como resultado E0 . Segundo este postulado o estado do sistema passa a ser |0 em lugar de (5.53) e conseq entemente qualquer medida da energia em instantes de tempo u t > 0 fornecer sempre no resultado E0 . a

5.9. Preciso de medidas a

99

5.9

Preciso de medidas a

Como uma aplicao do formalismo acima desenvolvido vamos deduzir ca as relaes de incerteza. Suponhamos que desejamos medir simultaneco amente dois observveis, os quais esto associados aos operadores A e a a B tais que [A, B] = iC . (5.54) O operador C acima denido hermitiano; mostre este fato. As varincias e a (quadrado dos erros) nas medidas de A e B so respectivamente a dadas por (A)2 = (B)2 = | (A A )2 | , | (B B )2 | , (5.55) (5.56)

onde | o estado do sistema e A ( B ) o valor mdio de A (B) e e e neste estado. Para obtermos as relaes de incerteza partimos do fato co que o mdulo ao quadrado de o | = [A A + i(B B )] | maior ou igual a zero, i.e. e | [A A i(B B )] [A A + i(B B )] | 0 . (5.57) Note que a desigualdade vale para qualquer valor da constante real . Esta expresso pode ser transformada em a | (A A )2 | + 2 | (B B )2 | |C| 0 , (5.58) onde usamos que A e B so hermitianos e que seu comutador iC. A a e igualdade vale para qualquer e em particular para o valor de que torna esta expresso m a nima, o qual dado por e = |C| 2 | (B B )2 | . (5.59)

Substituindo-se (5.59) em (5.58), e usando a denio das varincias ca a de A e B obtemos que (A)2 (B)2 1 |C| 2
2

(5.60)

100

Cap tulo 5.

Mecnica Quntica e a Algebra Linear a a

No caso particular de A = p e B = x, temos que p x 2 . (5.61)

A partir da relao (5.57) e das propriedades do produto escalar, ca podemos ver que a igualdade alcanada para os estados tais que e c [A A + i(B B )] | = 0 , (5.62)

qualquer que seja . Por exemplo, para A = x e B = p resolvendo a Eq. (5.62) obtemos que | = (x) = 2(x)2
1/4

exp

(x x )2 i p x + 4(x)2

(5.63)

onde eliminamos em favor de x. A relao de incerteza (5.60) implica que poss medir ao menos ca e vel A ou B com preciso absoluta se o comutador destes operadores for a nulo. Mas ser que podemos medir estes dois observveis simultanea a amente com preciso absoluta quando C = 0? E se isto for poss a vel para qual classe de estados isto ocorre? Para responder estas questes o devemos inicialmente lembrar que uma medida de um observvel tem a incerteza nula se e somente o estado for um autovetor deste observvel. a Logo, estas questes so equivalentes a procurarmos um conjunto de o a autovetores simultneos de A e B. a

Teorema
Podemos medir com preciso absoluta simultaneamente dois observveis a a A e B se e somente se [A, B] = 0. De fato, se a e B so medidos simultaneamente com preciso absoa a luta ento os autovetores de A so tambm autovetores de B e vice a a e versa. Aab = aab Bab = bab (5.64) (5.65)

5.9. Preciso de medidas a Logo, temos que [A, B]ab = (AB BA)ab = (ab ba)ab = 0 .

101

(5.66)

Como {ab } forma uma base temos que [A, B] = 0. Mostremos agora que a relao inversa tambm verdadeira. Para tanto consideremos ca e e os autovetores de B Bb = bb
(j) (j)

com j = 1, . . . , N

(5.67)

os quais podem ter um degenerescncia N. Para os autovetores no e a degenerados de B temos que B(Ab ) = A(Bb ) = b(Ab ) ,
(1) (1) (1) (1)

(5.68)

onde utilizamos que A e B comutam. Como o autovetor b no e a degenerado temos que (1) (1) Ab = ab (5.69) onde a constante de proporcionalidade nada mais do que o autovalor e de a associado a este estado. Portanto, s nos resta mostrar que podeo mos sempre escolher os autovetores degenerados tais que estes tambm e sejam autovetores de A. Para tanto basta notar que o operador A re(j) e strito ao sub-espao gerado pelos {b } hermitiano e portanto exibe c uma base de autovetores deste espao. c Aa = aa b b c Uma vez que {b } gera este sub-espao temos que
N (j)

(5.70)

a = b
j=1

d a b . j

(j)

(5.71)

e Como a uma superposio de autovetores de B com o mesmo autoca b e e valor b, ento a tambm um autovetor de B. Logo, os estados a a b b so autovetores de A e B completando a prova. a

102

Cap tulo 5.

Mecnica Quntica e a Algebra Linear a a

5.10

Sistema de dois n veis

Ilustraremos agora o formalismo da Mecnica Quntica considerando a a sistemas cujo espao vetorial de dimenso dois, os quais so os mais c e a a simples poss veis e no triviais. Isto permitir que foquemos nossa a a ateno nas bases da Mecnica Quntica sem termos que tratar de ca a a assuntos tcnicos. Apesar de toda a simplicidade dos sitemas de dois e n veis existem muitos fenmenos na natureza que so bem descritos por o a estes. Por exemplo, Polarizao dos ftons: a radiao eletromagntica possui dois ca o ca e graus de liberdade independentes no tratamento clssico do eletroa magnetismo. No tratamento quntico, o fton, que uma part a o e cula, apresenta dois estados de polarizao dadas sua freqncia e ca ue sua direo de propagao. ca ca Spin do eltron: o momento angular intr e nseco (ou spin) do eltron e tambm descrito por um sistema com dois estados indepene e dentes. Trataremos este caso em detalhe mais adiante no cap tulo 11. Molcula de amnia: muitas vezes simplicamos o estudo de sise o temas complexos considerando apenas a parte do seu espao de c Hilbert que d a contribuio mais importante para o fenmeno a ca o que desejamos analisar. Em geral, os n veis de energia da molcula e de amnia NH3 so bastante complexos. H, contudo, situaes o a a co em que suciente considerar apenas o estado fundamental e o e primeiro estado excitado j que a diferena de energia entre estes a c estados ( 0.1 eV) muito menor que a diferena de energia entre e c o estado fundamental e os demais estados excitados. Oscilaes de neutrinos: em F co sica de Part cula a oscilao de ca neutrinos pode ser descrita utilizando-se um sistema de dois n veis.

5.10.1

Estados e operadores

Consideremos um sistema descrito por um espao vetorial de dimenso c a dois. Dada uma base ortonormal {|1 , |2 }, a representao matrica

5.10. Sistema de dois n veis cial desta base e |1 1 | 1 0 1 0 , , |2 2 | 0 1 0 1

103

(5.72)

enquanto um estado qualquer | pode ser escrito como | = |1 + |2 (5.73)

| = 1 | + 2 |

onde e so n meros complexos. Impondo que | esteja normalia u zado, i.e. | = ||2 + ||2 = 1, temos que ||2 (||2) a probabilie dade de | ser encontrado no estado |1(2) . Operadores lineares neste espao so representados por matrizes c a complexas 2 2, logo, a forma geral de um operador linear O e O= (5.74)

onde , , e so n meros complexos. No caso do operador ser hera u mitiano, a matriz que o representa deve igual a sua transposta complexa conjugada, implicando que e devem ser reais bem como = . E conveniente denir trs matrizes hermitianas i , chamadas mae trizes de Pauli, as quais so dadas por a 1 = 0 1 1 0 , 2 = 0 i i 0 , 3 = 1 0 0 1 .

(5.75) Note que |1 e |2 so autovetores de 3 com autovalores +1 e 1 a respectivamente. Qualquer operador hermitiano A pode ser expresso em termos das matrizes de Pauli e da matriz identidade como

onde as constantes ai so reais.6 a

6

Mostre que isso verdade! e

A = a0

+ a1 1 + a2 2 + a3 3 ,

(5.76)

104

Cap tulo 5.

Mecnica Quntica e a Algebra Linear a a

5.10.2

Evoluo temporal ca

A representao matricial da equao de Scrdinger (5.50) para um ca ca o sistema de dois n veis dada por e i | = Hop | t i t (t) (t) =H (t) (t) (5.77)

onde H a matriz hermitiana 2 2 que representa a hamiltoniana do e sistema. Se H for independente do tempo podemos utilizar a soluo ca formal (5.52) para obter a evoluo temporal do sistema. Para tanto deca vemos inicialmente calcular os autovalores e autovetores de H. Visando simplicar a lgebra consideremos o caso em que a hamiltoniana do sisa tema dada por e E0 H= , (5.78) E0 onde E0 and so reais. a O primeiro passo para obter a evoluo temporal do sistema utilica zando (5.52) calcular os autovalores e autovetores de H. No caso em e questo estes so dados por a a E1 = E0 + |E1 = |E2 =
1 2

1 1 (5.79) 1 1

E2 = E0

1 2

Note que os vetores da base {|i } no so autovetores de H exceto a a para = 0. A seguir expandimos um estado inicial genrico e |(t = 0) = em termos dos |En , resultando em + |(t = 0) = |E1 + |E2 . 2 2 (5.81) (5.80)

5.11. Leitura adicional Finalmente a evoluo temporal do sistema dada por ca e

E1 E2 + |(t) = ei t |E1 + ei t |E2 . 2 2

105

(5.82)

Trabalhando esta expresso segue que a |(t) = ei

E0

cos cos

t t

i sin i sin

t t

(5.83)

5.11

Leitura adicional

Sugerimos aos interessados em aprofundar os seus conhecimentos as seguintes leituras: Cap tulo 3 do Griths (Introduction to Quantum Mechanics) que apresenta de maneira pedestre o material deste cap tulo. Cap tulo VII do Messiah (Mcanique Quantique) que possui um e tratamento mais avanados dos tpicos aqui tratados. Sugerimos c o fortemente esta leitura.