MECNICA QUNTICA

FORMALISMO (Parte 1)
Parte de notas de aulas relacionadas disciplina FIS 660-Mecnica Quntica, do curso de Mestrado em Fsica da Universidade Federal de Viosa durante os anos de 2001 a 2005. O contedo equivalente a aproximadamente 6 aulas. O texto baseado no livro Modern Quantum Mechanics de J.J. Sakurai, adotado nessa disciplina durante o perodo acima mencionado.

Prof. Afrnio Rodrigues Pereira Departamento de Fsica, Universidade Federal de Viosa, Viosa, 36570-000, Minas Gerais. Email: apereira@ufv.br

MECNICA QUNTICA (Aulas 3 e 4: Introduo ao Formalismo Matemtico da Teoria)

Na aula passada vimos, com o exemplo do experimento de SternGerlach em seqncia, que impossvel determinarmos (medirmos) simultaneamente as componentes Sx , Sy ou Sz do spin do eltron. Mais precisamente, podemos dizer que a seleo do feixe Sx (ver figura abaixo) pelo segundo aparato SGx destruir completamente qualquer informao prvia a respeito de Sz . Deve ficar claro na cabea do estudante que a limitao encontrada na determinao de duas componentes do spin ( Sx e Sz por exemplo) no devida incompetncia do Fsico experimental . Tal limitao inerente ao prprio experimento e ao fenmeno microscpico. Sx+ Sz+ Sz+ SGx Forno SGz Sz Sx Fig.1. Experimento SG em seqncia.

SGz Sz -

Para tratar esse fenmeno (sem anlogo na Fsica clssica) de uma maneira quantitativa, o livro do Sakurai introduz uma matemtica bastante conhecida de soma vetorial aplicada polarizao da luz. Essa analogia entre o problema dos spins apresentado acima e a polarizao da luz apenas matemtica e servir para indicar o caminho a seguir para tratarmos de fenmenos qunticos. A teoria eletromagntica de Maxwell considera a luz , bem como todas as demais radiaes eletromagnticas, uma onda transversal ( isso significa que os campos eltricos e magnticos esto vibrando em uma direo perpendicular direo de propagao da luz ; ver figura 2).

Fig. 2. Fotografia instantnea de uma onda plano-polarizada mostrando os vetores campos eltrico (setas azuis) e magntico (setas vermelhas) ao longo de um raio.

Um feixe de luz polarizado pode ser obtido deixando-se passar luz no polarizada (ver figura 3) por um filtro polaride (placa polarizadora). Filtro que seleciona um feixe polarizado na direo x, chamado filtrox. Obviamente, se rodarmos o filtro-x por 900 sobre a direo de propagao z, ele se torna um filtro-y (para uma reviso desse assunto, consulte os seus livros de Fsica bsica). Consideremos uma onda de luz se propagando na direo z. Um feixe de luz linearmente polarizado com vetor polarizao na direo x (onda xpolarizada), tem vetor campo eltrico oscilando na direo x dado por
2

r cos(kz t ) , E = E0 x (1) e da mesma forma, uma onda de luz y-polarizada , tambm se propagando n direo z tem r cos(kz t ) . E = E0 y (2)

r E

**

Fig.3. Luz polarizada (esquerda) e luz no polarizada (direita)

Um fato bastante conhecido o seguinte : quando deixamos um feixe de luz no polarizada passar atravs de um filtro-x e subseqentemente ele atinge um filtro-y, nenhuma luz resultar atrs das placas, claro, se as placas polarizadoras tiverem 100% de eficincia ( ver fig. 4 ).

Polarizador 1 (filtro-x)

Polarizador 2 (filtro-y)
Fig. 4. A luz no polarizada no transmitida atravs de placas cruzadas

A situao mais interessante quando inserimos um terceiro filtro entre os filtros x e y . Se chamarmos esse polarizador de filtro-x e considerarmos que ele faz um angulo de 450 com a direo x no plano xy, temos a seguinte representao (Fig. 5):
3

Luz no polarizada

Luz x-polarizada

Luz x-polarizada

Luz y-polarizada Fig. 5. Um terceiro filtro-x destruir qualquer informao prvia sobre a polarizao da luz.

Podemos ento concluir que a seleo do feixe x-polarizado feita pelo segundo polarizador (filtro-x) destruir qualquer informao prvia sobre a polarizao da luz. Note que essa situao bastante parecida com a situao encontrada anteriormente com o experimento de Stern-Gerlach, se fizermos a seguinte correspondncia : tomos Sz tomos Sx Y Y
y y

Luz polarizada x , y Luz polarizada x , y

x x
X
Fig.6. Sistema de coordenadas

Usando a figura acima, fcil ver que 1 1 cos(kz t ) = E 0 cos(kz t ) + cos(kz t ) , E0 x x y 2 2 (3)

1 1 cos(kz t ) = E 0 cos(kz t ) + cos(kz t ) . E0 y x y (4) 2 2 Assim, no arranjo de trs polarizadores mostrado na figura 5, o feixe saindo do primeiro polarizador um feixe x-polarizado, que pode ser considerado como uma combinao linear de um feixe x-polarizado e um feixe y-polarizado . O
4

segundo polarizador seleciona um feixe x-polarizado , que novamente pode ser considerado como uma combinao linear de um feixe x-polarizado e um y-polarizado. Finalmente o terceiro polarizador seleciona uma componente ypolarizada. A aplicao da correspondncia para a experincia de Stern-Gerlach em seqncia sugere que podemos ser capazes de representar o estado-spin dos tomos de prata por algum tipo de vetor em um novo tipo de espao vetorial bidimensional, um espao vetorial abstrato. Assim, da mesma forma e y so vetores bases unitrios usados para decompor o vetor que x da luz x-polarizada, razovel representar o estado Sx + por polarizao x um vetor, que chamaremos ket. Tais vetores kets sero nossos instrumentos de trabalho dentro da notao de Dirac que ser desenvolvida mais tarde. Ns denotaremos esse vetor ket pelo smbolo Sx ; + > e o representaremos como uma combinao linear de dois vetores base Sz ; + > e Sz ; > fazendo a seguinte conjectura ? Sx ; + > =
1 2

Sz ; + > +
1

1 2

Sz ; >,
1

(5)

Sz ; >, (6) 2 2 em analogia com as equaes (3) e (4) para o campo eltrico. Assim, a componente no bloqueada que sai do segundo aparato (que sai de SGx) ser considerada como uma superposio de Sz + e Sz no sentido expresso pelas equaes (5) e (6). Matematicamente, por essa razo que as duas componentes emergem do terceiro aparato (SGz). ?

Sx ; > =

Sz ; + > +

ESPAO BIDIMENSIONAL (X,Y)

, y 1) Vetores da base: x 2) Qualquer vetor pode ser escrito como combinao linear dos vetores da base.

ESPAO VETORIAL ABSTRATO 2D 1) vetores da base : Sz ; +>, Sz ; > 2) Qualquer vetor nesse espao pode ser escrito como uma combinao linear desses vetores da base.

Agora devemos saber como escrever Sy ; +> e Sy ; >. Note que as possibilidades de combinao linear com uma base 2D j foram esgotadas nas equaes (5) e (6). Ser mesmo?! Na realidade, foram esgotadas apenas as possibilidades com coeficientes reais ! Aqui, Sakurai far outra analogia com a polarizao da luz. Vejamos!

Polarizao Circular
Matematicamente, como podemos representar uma luz circularmente polarizada? Veja a figura 7! Imagine duas ondas plano-polarizadas, uma xpolarizada e outra y-polarizada, defasadas por 900. O campo eltrico resultante pode ser escrito como :

r 1 1 cos(kz t ) + cos(kz t ) . E = E0 x y (7) 2 2 2 Essa equao mais elegantemente escrita empregando a notao complexa: r 1 i e i ( kz t ) e i ( kz t ) , E = Re E 0 x y (8) 2 2 onde usamos i = e i / 2 . X

1 2 3 4 5 6 7 x

1 2 3 4 5 Fig.7. Uma onda circularmente polarizada direita. Note o giro do vetor campo eltrico representado nos quadrados de 1 a 8 e compare com a figura. Considere que o feixe caminhe em sua direo. 6 7 8

Podemos definir :

Luz circularmente polarizada direita quando o fim do vetor campo eltrico (se a luz vem em nossa direo) circula no sentido antihorrio.

Luz circularmente polarizada esquerda quando o fim do vetor campo eltrico (se a luz vem em nossa direo) circula no sentido horrio.

(observao: no existe unanimidade na definio de luz circularmente polarizada esquerda e direita. A conveno adotada aqui segue o padro usado em fsica de partculas). Da equao (8) podemos fazer a seguinte analogia com os tomos de prata : tomos Sy + tomos Sy Feixe circularmente polarizado direita Feixe circularmente polarizado esquerda,

Pois dessa forma temos mais uma maneira de escrever um vetor em termos de , y , s que dessa vez os coeficientes so complexos. Assim, os vetores x Sy ; > podem ser facilmente escritos usando a equao (8) Sz ; > (9) 2 2 Logo, a analogia com um problema fsico concreto, nos deu um importante discernimento sobre como tratar matematicamente os incrveis resultados da experincia de Stern-Gerlach, e ainda mostrou que para descrevermos os estados de spin dos tomos de prata, devemos trabalhar em um espao vetorial complexo. ESPAO VETORIAL BIDIMENSIONAL ABSTRATO (ESPAO SPIN) 1- Vetores da base : Sz ; + > , Sz ; > 2- Qualquer vetor arbitrrio nesse espao vetorial escrito como uma combinao linear desses vetores da base com coeficientes complexos em geral. O fato de ser necessrio o uso de nmeros complexos nesse exemplo elementar bastante notvel e j demonstra que a nossa matemtica daqui para frente estar contida no conjunto dos nmeros complexos. Vocs devem estar lembrados do curso de estrutura da matria, que a equao de Schrdinger uma equao diferencial com a presena nmeros complexos e que apenas o quadrado da funo de onda (soluo da equao) tem um significado fsico, j que o quadrado de um nmero complexo um nmero real. Sy ; > =
1

Sz ; + >

FSICA QUNTICA I (Aulas 5 e 6: Conceitos Fundamentais) 4. INTODUO

J vimos atravs de um exemplo simples relacionado ao sistema de spins que temos que mudar radicalmente nossa maneira de pensar se quisermos nos aventurar no mundo microscpico. A Fsica clssica no consegue dar conta desses novos fenmenos e necessariamente precisamos de uma nova teoria. Comearemos nessa aula o estudo detalhado da teoria quntica no relativstica. Como o prprio nome indica, essa teoria no pode tratar de fenmenos microscpico relativsticos e portanto seu alcance de aplicao limitado. Uma unio entre teoria quntica e relatividade leva a uma teoria muito mais satisfatria da natureza com um poder de previso fantstico de forma que podemos dizer que o todo (teoria quntica relativstica) maior que a soma das partes ( Fsica quntica e relatividade). Mas existem muitos fenmenos em que as partculas qunticas se movem a baixas velocidades e assim a teoria desenvolvida aqui se aplica e com grande preciso. Quando se fala em uma teoria, pensamos de inicio sobre os seus postulados (um postulado uma sentena aceita sem demonstrao. claro que ele pode ser testado atravs da comparao entre suas conseqncias e os fatos experimentais). Aqui, ns no colocaremos todos os postulados da mecnica quntica de uma s vez e depois apresentaremos os teoremas (proposio cientfica que pode ser demonstrada. Formulao fechada de uma teoria, que pode ser obtida a partir dos postulados desta teoria atravs de uma seqncia finita de aplicao das regras de deduo) e corolrios (proposio que se deduz imediatamente de outra j conhecida. Conseqncia necessria e evidente). Iremos apresentando os postulados e alguns teoremas medida que formos familiarizando com os novos conceitos e com a nova matemtica de espaos vetoriais abstratos.

4.2 KETS E OPERADORES

J vimos a necessidade de considerarmos um espao vetorial complexo. Agora vamos formular as bases matemticas de espaos vetoriais como so usadas na mecnica quntica. Usaremos a notao de Dirac. 4.2.1 ESPAO KET Consideraremos um espao vetorial complexo. Dessa forma, precisamos saber qual a dimenso desse espao e os tipos de vetores presentes. Com relao dimenso de nosso espao, podemos fazer algumas consideraes se lembrarmos do experimento de Stern-Gerlach discutido nas aulas passadas. Vimos naquele caso particular dos tomos de prata, que quando um feixe de tomos saindo de um forno passava atravs de um campo magntico, emergiam apenas dois feixes que denotamos de spin-up e spin-down. Um
8

breve raciocnio nos indica que o feixe original deva ser alguma combinao dos dois feixes emergentes. Assim, podemos escrever o feixe original como uma combinao linear dos feixes emergentes e devemos estabelecer as regras para essa combinao. Vimos que a idia de um espao vetorial se encaixa perfeitamente bem nessa histria dos spins. Logo, se o feixe original de tomos de prata, que deve ser o feixe mais geral possvel (pois apareceu de circunstncias onde no havia qualquer controle com relao aos spins), pode ser escrito como uma combinao linear de apenas dois feixes vetores (up e down), ento conclumos que esse espao vetorial deva ter dimenso 2. Mas experimentos com outros tipos de tomos ou partculas levam a apenas um feixe emergente, ou trs feixes emergentes etc, de maneira que fcil concluir que em cada situao a dimenso do espao vetorial deva ser diferente. De fato, a dimenso do espao vetorial complexo em mecnica quntica especificada de acordo com a natureza do sistema fsico em questo. Podemos ento fazer o seguinte resumo: ESPAO VETORIAL COMPLEXO EM MECNICA QUNTICA 1. DIMENSO : depende da natureza do sistema fsico em considerao. 2. UM VETOR NESSE ESPAO : representa um estado fsico (por exemplo, um tomo de prata com orientao de spin definida). chamado vetor estado e na notao de Dirac denominado KET e simbolizado por > .

Em nosso curso no iremos mais simbolizar um vetor por uma seta ou negrito. Estamos em um espao vetorial abstrato e o vetor ser simbolizado por um ket tal como > . Com as definies acima estamos pronto para enunciarmos o primeiro postulado. Primeiro Postulado: O estado KET contm toda a informao sobre o estado de um sistema fsico.

Mas, j que estamos tratando com um espao vetorial abstrato, precisamos estabelecer as regras que relacionam os diferentes vetores que formam esse espao, isto , precisamos de uma lgebra para esses vetores kets. LGEBRA a) soma : > + > = > b) produto por um nmero (complexo) : c > = > , c > = >c. Se c = 0, temos o KET NULO. Aqui cabe mais um postulado, relacionado ao primeiro e que concerne lgebra dos kets. Portanto, no acho conveniente enumera-lo e assim apenas o enunciarei e o sublinharei com cor diferente do que foi feito com o primeiro postulado. Postulado : Os KETS fsico. > e c > , c 0 representam o mesmo estado

Em outra palavras, somente a direo nesse espao vetorial de significado. Devido a essa falta de importncia do tamanho do vetor na teoria, e para distingui-los das situaes ordinrias, os matemticos preferem dizer que estamos tratando com raios em vez de vetores. Para continuarmos estabelecendo a lgebra dos kets, precisamos de mais algumas definies e postulados. Como estamos tratando de sistemas fsicos, precisamos encaixar os observveis (grandezas a serem medidas no laboratrio) dentro dessa nova notao. Aqui eu introduzo o segundo postulado da mecnica quntica. Segundo Postulado: Toda quantidade fsica mensurvel descrita por um operador, tal como A, atuando no espao vetorial em questo; esse operador um observvel. Devemos frisar aqui um pouco da notao a ser empregada. Um observvel (posio, momento, componentes do spin etc) ser sempre representado por um operador cujo smbolo , em geral, uma letra latina maiscula tal como A. Estamos prontos para continuarmos a lgebra do nosso espao vetorial introduzindo nas regras o operador. Podemos agora definir o produto de um operador e um ket. Em geral, o operador atua esquerda do ket. LGEBRA (continuao) c) produto ket e operador: A. (> ) = A >. Note que a atuao de um operador em um ket, levar a outro ket. Mais tarde consideraremos mais definies sobre operao de multiplicao. Por enquanto, temos que tecer alguns comentrios sobre o item (c) da lgebra do nosso espao vetorial. Em geral, A > a >, onde a um nmero complexo (em nossa notao, enquanto operadores so representados por letras latinas maisculas, nmeros sero representados por letras latinas minsculas). Entretanto, existem kets especiais de grande importncia na teoria, conhecidos por autokets do operador A, denotados por a > , a >, a > , ... , com a propriedade A a > = a a >, A a > = a a >, A a > = a a> , ..., onde a, a , ..., so apenas nmeros. Note que a aplicao de A em um autoket, apenas reproduz o mesmo ket aparte de um nmero multiplicativo. O conjunto de nmeros {a, a,...}, mais compactamente { a } chamado autovalores do operador A. Note que os kets so representados por letras gregas, enquanto os autokets por letras latinas minsculas com linhas. Os autovalores tambm so representados por letras latinas minsculas com linhas, mas quando for necessrio ordenar, melhor usar { a(1), a(2) , a(3) ,...}. O estado fsico correspondente a um autoket chamado autoestado. A discusso proposta neste pargrafo pode ser evitada pelo estudante sem o comprometimento do assunto (o contedo envolver algumas idias sobre spins j estudada em seu curso de estrutura da matria). Antes de continuarmos com a lgebra, vamos fazer uma associao das idias desenvolvidas at agora com o caso de sistemas de spin 1/ 2, relacionado com a experincia de Stern-Gerlach . Um experimento desse tipo pode ser usado para medirmos o spin de uma determinada partcula e quando falamos spin1/2, spin 1 etc, queremos dizer que o valor do spin de determinada
10

1 h , 1 h etc, onde h a constante de Planck 2 dividido por 2. No caso particular do experimento de Stern-Gerlach, podemos dizer que os tomos de prata tem spin e se quisermos determinar o valor da 1 componente-z desse spin, encontramos os valores h (o valor positivo se 2 refere ao feixe superior que emerge do campo magntico aplicado ao longo do eixo z, enquanto o valor negativo se refere ao feixe inferior). Visto que no existe uma direo preferencial no espao, Isso tambm verdadeiro para as componentes x e y. No caso de partculas de spin 1, devem emergir do campo magntico SGz trs feixes (ver figura 8 abaixo) , um dos quais no sofre nenhum desvio, indicando que sua componente de spin Sz deva ser zero e os outros dois feixes carregam Sz = 1h . Note que a dimenso do nosso espao vetorial para o sistema fsico de partculas de spin 1 trs. Concluses anlogas podem ser estabelecidas para outros valores de spin. bom lembrar
partcula vale respectivamente

Sz + Sz=0 forno SGz Sz Fig. 8. Experimento de Stern-Gerlach para partculas de spin 1.

que a dimensionalidade do espao vetorial determinada pelo nmero de alternativas do experimento. Um espao de dimenso N ser expandido por N vetores que formam a sua base. Voltemos ao caso de spin . Quando medimos a componente Sz do spin, usando o aparato SGz encontramos os valores h / 2 (ver Fig. 1). Como associar esse experimento fsico com a matemtica da mecnica quntica introduzida at agora? Vimos que um Ket representa um estado fsico. Assim, cada um dos dois feixes que emergem do aparato SGz e que apresentam estados fsicos diferentes (um tem spin up e outro spin down) devem ser representados por kets diferentes. Iremos denotlos por Sz ; +> e Sz ; - >. E o que um operador nessa histria toda? Obviamente, o que se mede num experimento como esse, a componente de spin. Assim, esses observveis sero representados pelos operadores Sz, Sx, Sy.. Agora suponha que queiramos medir a componente-z do spin. Para isso usamos um aparato SGz do qual emergiro dois feixes, e ento bloqueamos o feixe de baixo (ver Fig. 9) . Para o feixe que sobrou (o feixe superior),representado pelo ket Sz ; +> , usamos novamente um aparato SGz e notamos que apenas um feixe emergir desse segundo SGz, isto , ir emergir exatamente um feixe no mesmo estado Sz ; +>. Assim, ao fazermos uma medida do observvel componentez do spin representado pelo operador Sz sobre um estado previamente conhecido denotado por Sz ; +>, notamos que a medida no alterou o estado Sz ; +> e obtivemos o valor h / 2 para Sz. Nesse sentido, dizemos que h / 2 um autovalor e que Sz ; +> um autoket (auto-estado) do operador Sz . O mesmo acontece com o estado
11

Sz ; - >, s que nesse caso o autovalor h / 2 . Em termos de nossa linguagem matemtica podemos escrever para os sistemas de spin :

Sz
Operador

Sz ; + > =
Autoket

1 h 2
Autovalor

Sz ; +>
Autoket

Sz

Sz ; - > = Autoket

1 h 2
Autovalor

Sz ; - >
Autoket

Operador

Sempre que uma medida de um observvel for realizada sem que se altere o estado fsico do sistema, dizemos que esse estado (que no foi alterado) um auto estado do operador correspondente ao observvel que est sendo medido. Se voc est achando isso um tanto confuso, espere mais um pouquinho que as coisas tendero a se encaixar. Com relao aos observveis

Estado selecionado

Forno

SGz 1

SGz 2

Fig.9. Dois aparatos SGz em seqncia. Essa figura tenta ilustrar o fato de que se voc mede um observvel sem alterao do estado fsico, ento o sistema se encontrava (antes da medida) em um autoestado (autoket) do operador representando o observvel que est sendo medido. Note que a segunda medida da componente-z do spin atravs de SGz 2, no alterou o estado inicial selecionado .

Sx e Sy, relaes semelhantes sero vlidas: Sx

Sx ; + > = Sx ; - > = -

1 h 2 1 h 2

Sx ; +> Sx ; - >

Sy

Sy ; + > = Sy ; - > = -

1 h 2 1 h 2

Sy ; +> Sy ; ->

Sx

Sy

J comentamos que a dimenso do espao vetorial determinada pelo nmero de alternativas do experimento. No caso de sistemas de spin s existem duas alternativas e consequentemente a dimenso dois. Sistemas de dois estados (dimenso 2) so muito importantes e se voc compreende bem tais sistemas no ter nenhum problema com sistemas de dimenses maiores (pois estes envolvem uma generalizao). Um espao vetorial de dimenso N expandido por N autokets de um determinado observvel A. Nesse espao Ndimensional, qualquer ket poder ser escrito como

>=

c
a

a > , com a, a . a, ..., a(N) e ca so coeficientes complexos.

A questo da unicidade de tal expanso ser adiada at ser provado a ortogonalidade dos autokets.
12

4.2.2 ESPAO BRA Para prosseguirmos com a nossa lgebra, precisamos definir um novo espao, chamado espao BRA, que dual ao espao KET. Assim, vamos enunciar mais um postulado relacionado ao nosso espao vetorial. Postulado: Para todo KET > existe um BRA, denotado por < , neste espao dual, ou espao BRA. A correspondncia de um para um entre o espao KET e o espao BRA. Com isso queremos dizer que:

> a > , a >, ... > + >

CD CD CD

< < a ,< a , ... <+<

onde CD a abreviao de correspondncia dual. espao BRA a imagem no espelho do espao KET.

Podemos dizer que o

>

<

Relacionado a essa correspondncia, enunciamos mais um postulado matemtico (at agora s enunciamos dois postulados da mecnica quntica, os quais foram coloridos de azul. Os demais so postulados relacionados lgebra e foram coloridos de amarelo). Postulado: O BRA dual a c > maneira geral, temos c > + c > CD c* < , (e no c < ). Assim, de c* < + c* <

4.2.3 PRODUTO INTERNO DE UM BRA E UM KET Por definio, num produto interno de um BRA por um KET, o BRA fica esquerda e o KET fica direita e assim temos o BRAKET :

< > = (< ) ( >)

Este produto em geral um nmero complexo. A seguir, postulamos mais duas propriedades do produto interno:

13

Postulado: O produto interno obedece s seguintes propriedades : 10) < > = < >* 0 2) < > 0 Fica claro, usando a primeira propriedade acima que < > um nmero real. A segunda propriedade algumas vezes conhecida como postulado da mtrica definida positiva. Dois KETS > , > so ditos ortogonais se < > = 0. Essa a condio de ortogonalidade. Com as definies acima, dado um ket no nulo ~ >, fazendo > , podemos formar um KET normalizado

~ > = [ 1 / (< >) 1/2 ] >.

O termo (< >) conhecido como a norma de >, anlogo ao modulo rr de um vetor a.a no espao Euclidiano. Visto que apenas a direo importante em nosso espao KET, conveniente requerer que todos KETs que usaremos para os estados fsicos sejam normalizados. Como estamos ainda no inicio do desenvolvimento de novos conceitos e nova matemtica, teremos que esperar um pouco mais para fazermos problemas relacionados e fixar essas novas idias. Enquanto isso, eu sugiro que os estudantes faam uma reviso da equao de Schrdinger aprendida no curso de Estrutura da Matria e particularmente aconselho os seguintes problemas (que sero teis em nosso estudo) :

4.3 PROBLEMAS (UMA REVISO)

PROBLEMA 1: Resolva a equao de Schrdinger para um oscilador harmnico encontrando as autofunes (autoestados) e autovalores da Hamiltoniana. PROBLEMA 2: Resolva a equao de Schrdinger para o tomo de hidrognio encontrando as autofunes e os autovalores da Hamiltoniana. PROBLEMA 3 (Desafio) : O anlogo relativstico da equao de Schrdinger para um eltron de spin 0 ( e portanto, no aplicvel ao eltron real) a verso de operadores da equao (E V ) 2 = p 2 c 2 + m 2 c 4 , isto ,

E Ze 2 1 mc 2 = + h hc hc r (a) Justifique as duas equaes acima (a segunda equao conhecida como equao de Klein-Gordon). (b) Determine a equao radial. (c) Determine o espectro de autovalores. (Sugesto: note a estreita conexo entre a equao radial obtida no item (a) e a equao radial do problema do tomo de hidrognio do problema 2.
2

14

FSICA QUNTICA I (Aula 7: Conceitos Fundamentais; continuao) 5.1 OPERADORES

Dois operadores so iguais, X = Y, se X > = Y > para todo KET >. Um operador chamado operador nulo se X > = 0 , com > arbitrrio. A adio de operadores comutativa e associativa, isto : X + Y = Y + X (propriedade comutativa) X + ( Y + Z ) = ( X + Y ) + Z (propriedade associativa ) . Dizemos que um operador linear quando X (c > + c > ) = c X > + c X > . Na aula passada, vimos que um operador atua num KET pela esquerda. Em um BRA, o operador atua pela direita , (< ).X = < X . O resultado outro BRA. Em geral, o KET X > e o BRA < X, no so duais. Definiremos o smbolo X tal que X> CD < X (5.1) onde X chamado de Adjunto Hermitiano ou Adjunto de X . No caso especial em que X = X , X denominado Operador Hermitiano.

5.2 MULTIPLICAO
Uma importante propriedade relacionada multiplicao de operadores que, em geral, ela no comutativa : XY YX. No entanto, ela associativa : X ( Y Z ) = ( X Y ) Z = X Y Z. Alm disso temos: X ( Y > ) = ( X Y ) >. ( < X ) Y = < ( X Y )= < XY . Com o que foi visto at agora podemos provar que ( X Y ) = Y X . Prova : Lembramos que o produto de dois operadores tambm um operador e portanto podemos escrever ( X Y ) = Z. Usando a propriedade (5.1) para Z temos: Z > CD < Z , segue: ( X Y) > = < ( X Y ). Mas X Y > = X ( Y > ) CD (< Y ) X = < Y X e portanto ( X Y ) = Y X. At agora definimos os produtos < >, X >, < X e X Y. Podemos ento perguntar: existem outros tipos de produtos? A resposta sim e vamos definir o chamado produto externo , onde o KET fica esquerda do BRA, isto : ( > ) (< ) = > < . Note que o produto externo um operador, pois ( > < ) > = > (< > ) = < > >
(produto externo) (KET) (KET) (nmero )

Abaixo ns consideramos alguns exemplos de produtos ilegais, ou seja, produtos que no so permitidos em nosso formalismo. Os ilegais tem as seguintes formas: > X , X > , no so nem BRA , nem KET e nem operador ; os produtos > > e < < so considerados ilegais quando os KETs ( BRAs ) pertencem ao mesmo espao vetorial.
15

5.3 O AXIOMA ASSOCIATIVO DA MULTIPLICAO

Quando estivermos tratando com multiplicaes legais entre BRAs , KETs e operadores, a propriedade associativa postulada ser vlida em geral. Como uma ilustrao, escrevemos : ( > < ) . > = > . (< >), onde (< >) apenas um nmero. Logo, o produto externo atuando sobre um KET s outro KET e portanto > < pode ser considerado um operador. Note que o operador > < gira > na direo de >. fcil ver que se o operador X = > < , ento X = > < . Prova : X > CD < X . Mas X = >< , de maneira que

>< > CD < ( >< ). Mas o primeiro membro pode ser escrito como (< >) . >, pois < > = c s um nmero e pode ser colocado em qualquer posio. Assim, (< >) . > = c >. CD < c , e que c = (< > ) = < > Lembrando que c > (ver postulado sobre o produto interno), segue que (< >) . > tem o seguinte correspondente dual: < . (< >) = (< >). < . Mas pelo axioma associativo, a ltima expresso (< >). < = < ( >< ) e portanto mostramos que ( >< ) = >< .
Com o axioma associativo podemos ver tambm que (< ). ( X >) = (< X ). ( >). Visto que os dois lados so iguais, podemos usar a forma compacta : < X >. Com essa notao segue ainda:

< X > = < ( X >) = { (< X ). >)} = < X > e se X Hermitiano < X > = < X > .

5.4 BASE DE KETS E REPRESENTAO POR MATRIZES

5.4.1 AUTOKETS DE UM OBSERVVEL Consideremos os autokets e autovalores de um operador Hermitiano A. Aqui o smbolo A ,que foi reservado anteriormente para um observvel, ser usado para operadores Hermitianos, pois em mecnica quntica, operadores Hermitianos freqentemente representam algum observvel fsico. Com esse operador Hermitiano em mente e com as regras estabelecidas at agora, vamos demonstrar o primeiro teorema. TEOREMA: Os autovalores de um operador Hermitiano A so Reais; Os autokets de A correspondendo aos diferentes autovalores so ortogonais. PROVA: Lembrando que A a > = a a > , e sabendo que A Hermitiano (enunciado), temos o seguinte dual para a equao de autovalores acima : < a A = < a A = a < a ,
onde a, a , ... so os autovalores de A. Multiplicando ambos os lados de A a > = a a > por * < a pela esquerda, e ambos os lados de < a A = a < a por a > pela direita, temos :

16

< a A a > = a< a a >, (5.2) (5.3) < a A a > = a < a a > . Subtraindo as equaes ( 1 ) ( 2 ) segue (a a ) < a a > = 0. (5.4) Mas a e a podem ser considerados iguais ou diferentes. Primeiro, consideremos a situao em que eles so iguais. Neste caso, < a a > deve ser no nulo, pois estamos considerando os autokets no nulos e portanto, da equao ( 3 ) a a = 0, ou a = a e assim, os autovalores de A so Reais. Visto que esses autovalores so Reais, podemos escrever a equao ( 3 ) como (a a) < a a > = 0. Agora, se considerarmos que os autovalores so diferentes, segue da equao acima que < a a > = 0 ( se a a ). Logo, os autokets so ortogonais.

Ns esperamos do ponto de vista fsico que um observvel tenha autovalores Reais, um ponto que ficar mais claro na prxima aula, onde discutiremos o processo de medida em mecnica quntica. Este teorema garante que os autovalores so Reais se o operador Hermitiano. Esse o motivo de falarmos em observveis Hermitianos em mecnica quntica. conveniente normalizar os autokets a > de maneira que {a >} forme um CONJUNTO ORTONORMAL :

< a a > = a a .

(5. 5 )

Desde o inicio de nossa discusso sobre o espao KET, estamos dizendo que tal espao expandido pelos autokets de um operador Hermitiano A. Ento, por construo, os autokets de A formam um conjunto completo de nosso espao KET. 5.4.2 AUTOKETS COMO UMA BASE Vimos que os autokets normalizados de A formam um conjunto completo ortonormal (ver eq. (5.5)). Assim, um KET arbitrrio pode ser expandido em termos dos autokets de A como segue: > = c a ' a > . (5.6) a' r Isso semelhante a expanso de um vetor arbitrrio V em termos dos vetores i no espao Euclidiano. Consideremos o unitrios e mutuamente ortogonais e KET abaixo > = c a ' a >. (5.7)
a'

Multiplicando (5.7) por < a pela esquerda e usando a propriedade de ortonormalidade (4), podemos obter imediatamente os coeficientes da expanso, < a > = < a c a ' a > = c a ' < a a > = c a ' aa
a' a' a'

e o segundo termo no nulo apenas quando a = a . Logo ca = < a > . (5.8)

17

Inserindo (5.8) em (5.7) temos, > =

c
a'

a'

a > =

a'

a' c a ' =

a'

a' a' > .

Logo um determinado KET pode ser escrito em termos dos autokets de um operador A como segue:

> =

a'

a' a' >

(5.9)

r A expresso acima anloga expanso de um vetor V no espao Euclidiano Real r r r i V = Vi . i (e i V ) , e V = e

i

Note que os autokets a> sendo normalizados, indicam apenas uma direo i indicam as no espao KET, da mesma forma que os vetores unitrios e direes x,y e z no espao Euclidiano. Voltando equao (5.9) e usando o axioma associativo da multiplicao temos que ( a >) (< a > ) = (a > < a) >.
( KET ) (nmero ) (operador ) (KET)

Visto que > arbitrrio, segue > = (

a'

a ' a ' ) > e portanto, o termo

entre parntesis deve ser o operador identidade , isto

a'

a ' a ' = 1,

(5.10)

onde o 1 (em negrito) deve ser entendido como operador identidade. A relao (5.10) conhecida como relao de completeza ou relao de clausura. Essa relao muito til, pois dada uma cadeia de KETS, BRAS e operadores multiplicados de maneira legal, a eq. (5.10) pode ser inserida em qualquer posio nessa cadeia, conforme a nossa convenincia. Considere, por exemplo, o produto BRAKET < > , < > = < ( a ' a ' ) > = ( a' a ' ) = ' a' , ou seja

a'

a'

< > =

a'

a'

(5.11)

Aqui, vocs podem fazer uma analogia com a norma de um vetor no espao v2 2 2 2 Euclidiano, V = V x + V y + V z . A eq. (5.11) mostra que se > normalizado, ento os coeficientes ca dados pela expresso (5.8) devem satisfazer 1 = < > = =

a'

a'

c
a'

2 a'

, ou seja :
2 a'

c
a'

=1

(5.12)

18

Na eq. (5.10), existe um produto externo e portanto um operador a ><a, o qual daremos o nome de operador projeo pela razo que se apresenta a seguir. Deixemos esse operador atuar sobre um KET > qualquer. ( a >< a ) . > = a >(< a >) = ca a > . (5.13) Note que a eq.(5.13) indica ( a >< a ) seleciona aquela poro do KET > que paralelo a a >. Dessa forma, o operador a >< a conhecido como operador projeo na direo do ket da base a > e denotado por a.

a a >< a , operador projeo . Usando a relao de clausura, segue

(5.14)

a'

a'

= 1

(5.15)

5.4.3 REPRESENTAO POR MATRIZES Tendo especificado uma base de autokets { a > } do operador A, vamos agora mostrar como representar um operador qualquer, digamos X, por uma matriz quadrada nessa mesma base. Vejamos ! Na base { a > } , X pode ser escrito como X=

a '' a'

a ><a X a ><a ,

(5.16)

onde usamos a relao de clausura duas vezes. Note que se N a dimenso do nosso espao KET (isto , existem N autokets de A ), ento existiro N2 nmeros da forma <a X a >. Por exemplo, se N =2, teremos quatro nmeros do tipo : <a X a >, <a X a >, <a X a >, <a X a >. Obviamente, esses nmeros podem ser arranjados em uma matriz quadrada N N como segue <a X a >. (5.17)
linha coluna

Explicitamente:
a (1) X a (1) a (1) X a ( 2 ) K ( 2) (5.18) X= a ( 2 ) X a ( 2 ) K , & a X a (1) M M O onde o smbolo = & significa representado por . J vimos que < aX a > = < aX a > . Logo, a operao adjunto Hermitiana, originalmente definida por X > CD < X, est relacionada ao conceito mais familiar de transposto conjugado complexo. Note que para um outro operador Hermitiano B temos < aB a > = < aB a > . A maneira de arranjarmos < aX a > em uma matriz quadrada est em acordo com a regra usual de multiplicao de matrizes. Veja o exemplo: se Z= XY, < aZ a > = < a XY a > = (5.19) < aX a >< a Y a >,
a '''

onde inserimos o operador identidade (dado pela relao de clausura (5.10) ) entre os operadores X e Y. Faa um teste e verifique que (5.19) obedece a mesma regra de multiplicao de matrizes.
19

Vejamos agora o seguinte produto de um operador e um KET: > = X > (5.20) Essa relao tambm pode ser escrita em termos dos nossos kets da base { a> } . A expanso dos coeficientes > pode ser obtida por multiplicar < a esquerda de (5.20) : < a > = < aX > , ou < a > = < a X a >< a > . (5.21)
a ''

A relao acima pode ser vista como uma aplicao da regra de multiplicar uma matriz quadrada < a X a > por uma matriz coluna < a >. Assim, os coeficientes da expanso de > e > podem se arranjados na forma de matrizes coluna como mostramos abaixo: a (1) a (1) ( 2) ( 2) a a , = . (5.22) = & ( 3) & ( 3) a a M M Assim, os coeficientes de expanso dos KETS em termos de uma base {a >} formam uma matriz coluna. Igualmente, o BRA < = < X pode ser representado por uma matriz linha como segue : = a ( 2) a ( 3) K = a (1) a ( 2) a ( 3) K & a (1) (5.23) Note o aparecimento da conjugao complexa quando os elementos da matriz coluna so escritos como (5.23). A idia de matriz pode ser vista mais claramente considerando <a > = < X a > < a >

a ''

matriz coluna Nx1

matriz quadrada NxN

matriz coluna Nx1

< a >

a ''

< a >

< aX a >
matriz quadrada NxN

matriz linha 1x N

matriz linha 1xN

Fica claro que o produto interno < > pode ser escrito como o produto de uma matriz linha, representando < , por uma matriz coluna, representando > : a (1) (5.24) K a ( 2) , = a (1) a ( 2) & a' a' = a' M Note que se multiplicarmos a matriz linha ,representando < pela matriz coluna, representando >, obtemos exatamente o conjugado complexo da expresso (5.24), o que consistente com a propriedade fundamental do produto interno < > = < > . Finalmente, consideremos o produto externo >< . Como podemos representa-lo por matrizes ? Vejamos! >< = a ' a a ' ' a ' ' , ou seja
a' a ''

20

 a (1) a (1) a (1) a ( 2) K ( 2) (1) ( 2) ( 2) = a a a (5.25) K . & a M M O A representao por matriz de um observvel A particularmente simples se os autokets de A so os prprios autokets usados como a base. Assim temos A = a ' ' a ' ' A a ' a ' . No entanto, obviamente a matriz a' ' A a' a ''

diagonal, a' ' A a' = a' ' A a' a 'a '' = a' a 'a '' . Assim,
A = a' a' a' = a' a ' .
a' a'

(5.26)

5.4.4 EXEMPLO COM SISTEMAS DE SPIN Aqui ser instrutivo darmos um exemplo de como toda essa matemtica se relaciona com problemas fsicos. Consideraremos mais uma vez o caso especial de sistemas de spin . Lembramos que 1) vetores da base : Sz ; +>, Sz ; > ( espao vetorial de dimenso 2 ) 3) Essa base formada pelos autokets do operador Sz . Por uma questo de simplicidade, representaremos os vetores da base de Sz por +> , > ( isto , usamos Sz ; + > = +> e Sz ; - > = > ). O operador mais simples no espao KET expandido pelos kets da base +> e > obviamente o operador identidade 1 = +><+ + >< . (5.27) De acordo com a expresso (5.26), podemos expandir Sz em termos de seus autokets como h Sz = ( +><+ - >< ) . (5.28) 2 A relao autoket-autovalor segue imediatamente da propriedade de ortonormalidade de +>, > . Exemplo: apliquemos Sz dado por (5.28) no KET +>. Assim, temos h h h h Sz +> = ( +><+ - >< ) +> = +><++> ><+> = +>. 2 2 2 2 instrutivo considerar dois operadores no Hermitianos definidos por S+ h +>< , S h ><+. (5.29)
Exerccio: mostre que os operadores em (5.29) no so Hermitianos.

Note que da definio (5.29) temos S+ > = h +><> = h +>, isto , o operador S+ atuando sobre o ket spin-down ( > ) , o transforma em um ket spin-up ( +> ) multiplicado por h . Por outro lado S+ + > = 0. A interpretao fsica desse resultado, que S+ levanta a componente de spin por uma unidade de h ; se a componente de spin no puder mais ser levantada, automaticamente S+ levar a um ket nulo. Da mesma forma, S pode ser interpretado como um operador que abaixa a componente de spin por uma
21

unidade. Mais tarde nesse curso, mostraremos que S = S x iS y . Para construirmos as representaes matriciais dos operadores de momento angular, costume indicar a coluna (linha) na ordem decrescente das componentes de momento angular. Assim, no caso de spin , temos 1 0 + = & , = & 0 1

Sz = &

0 1 h 1 0 = , S h & + 0 0 2 0 1

0 0 , S = & h 1 0

22

MECNICA QUNTICA
FORMALISMO (Parte 2)
Parte de notas de aulas relacionadas disciplina FIS 660-Mecnica Quntica do curso de Mestrado em Fsica da Universidade Federal de Viosa durante os anos de 2001 a 2005. O contedo equivalente a aproximadamente 6 aulas. O texto baseado no livro Modern Quantum Mechanics de J.J. Sakurai, adotado nessa disciplina durante o perodo acima mencionado.

Prof. Afrnio Rodrigues Pereira Departamento de Fsica, Universidade Federal de Viosa, Viosa, 36570-000, Minas Gerais. Email: apereira@ufv.br

FSICA QUNTICA I (Aulas 8 e 9: Medidas e Observveis )

6.1 MEDIDAS J desenvolvemos a matemtica do espao-ket e agora estamos prontos para discutir a teoria quntica dos processos de medida. Um dos objetivos primrios de um experimento determinar informao suficiente sobre o estado de um sistema, em um dado instante de tempo , para capacitar a previso do comportamento subseqente do sistema. Isto , ns gostaramos de medir observveis suficientes em um tempo tM para sermos capazes de prever a evoluo do sistema em t > tM . No entanto, em mecnica quntica, tais previses so impossveis, a no ser que saibamos o que a medida pode fazer com o estado KET (lembre-se do primeiro postulado: o estado KET contm toda a informao sobre o sistema fsico). Diferente do fsico clssico, o fsico quntico tem que conviver com uma inevitvel interao observador- observado que pode ser resumida na seguinte regra: impossvel realizar uma medida sobre um sistema microscpico que no perturbe o sistema de uma maneira significante, imprevisvel e incontrolvel. A definio de medida sobre um sistema microscpico to crucial para o nosso presente interesse que faremos uma discusso mais detalhada. Uma idia central para a interpretao da mecnica quntica o conceito de ensemble de sistemas microscpicos. A palavra inglesa ensemble significa conjunto. Um ensemble uma coleo contendo um nmero muito grande de sistemas idnticos e que no interagem, todos preparados no mesmo estado quntico. Sistemas individuais em um ensemble so denominados membros. Assim, de acordo com o primeiro postulado, qualquer estado do ensemble pode ser representado por um KET > . Aqui ns consideraremos apenas ensembles nos quais todos os membros podem ser caracterizados pelo mesmo KET >. Tal ensemble denominado ensemble puro. Para exemplificar um ensemble puro, podemos usar o j badalado experimento de Stern-Gerlach. Um feixe de tomos de prata que sobrevive ao primeiro aparato SG-z com a componente Sz bloqueada um bom exemplo de ensemble puro, pois todos os tomos do feixe (existem muitos tomos no feixe e cada tomo um membro ) so caracterizados pelo mesmo KET Sz ; + >. Quando falamos em uma medida de um observvel A no instante de tempo tA , queremos dizer que realizamos uma medida simultnea de A sobre todos os membros do ensemble. Sabemos que a medida deve mudar o estado do sistema. Agora podemos nos perguntar: o que muda em um sistema, quando realizamos uma medida de um observvel A? Seguindo Dirac, respondemos: Uma medida sempre far com que o sistema salte para um dos autoestados da varivel dinmica que est sendo medida. Assim, antes que uma medida de um observvel A seja feita, assumimos que o sistema seja representado por alguma combinao linear dos autokets de A, como segue

 = c a ' a' = a a' .

' a'

(6.1)

Quando a medida realizada, o sistema atirado em um dos autoestados (autokets), digamos a ' , do observvel A. Em smbolos, >
medida de A

a >

No experimento Stern-Gerlach, um tomo de prata do feixe que sai do forno com orientao de spin arbitrria (que um sistema fsico) mudar para Sz ; + > ou Sz ; - > quando passar por um aparato do tipo SG-z. Logo, a medida usualmente muda o estado. A nica exceo a essa regra aparece quando o estado j estava em dos autoestados do observvel que est sendo medido. Nesse caso a >
medida de A

a >

Quando a medida muda > em a >, dizemos que o resultado da medida de A a. Dado a expresso (6.1), que representa o estado KET de um sistema fsico antes da medida, no poderemos saber de antemo em qual dos vrios a > s o sistema ser atirado como resultado da medida. A teoria quntica poder nos dar uma resposta apenas probabilstica, isto , poderemos saber a probabilidade do sistema ser encontrado, aps a medida, em algum a > particular. Com isso em mente, introduzimos o terceiro e o quarto postulados da mecnica quntica: Terceiro Postulado: O nico resultado possvel de uma medida de um observvel fsico representado pelo operador A um dos autovalores desse operador.

Quarto Postulado: Quando um observvel fsico medido em um sistema descrito pelo KET normalizado >, a probabilidade de encontrarmos um autovalor a do correspondente operador A < a >2 , onde a > um autoket normalizado de A associado ao autovalor a . Agora fica claro porque definimos um ensemble contendo um grande nmero de sistemas fsicos idnticos. A razo est na interpretao probabilstica resumida no quarto postulado. Se estamos falando em probabilidade, ento temos que fazer muitos experimentos idnticos para testarmos as previses da teoria. Com isso em mente, fica surpreendentemente fcil ver que uma medida deve mudar o estado do sistema. Imagine que queremos medir um observvel representado por um operador A. Suponha que o arranjo experimental tal que o estado antes da medida no seja um auto-estado de A, i.e., existe uma incerteza com relao ao observvel A, que denotaremos por A (mais tarde definiremos tal incerteza). Em termos de um ensemble, essa condio significa que em um instante antes da medida, os membros do ensemble no tm um valor definido para o observvel; nessa situao, seus estados podem ser os vrios possveis valores do observvel, qualquer um dos quais pode aparecer na medida. Esses valores, agora sabemos, esto entre os autovalores do operador A. Agora pense

sobre o que acontece ao ensemble quando medimos o observvel A: cada membro exibe um dos possveis autovalores de A. Aps a medida, cada membro exibir um autovalor de A, o valor que ele exibe na medida, e assim estar em um auto-estado de A. Mais tarde faremos uma anlise crtica da estrutura da teoria apresentada at agora. Obviamente a probabilidade para o acontecimento de qualquer coisa deve ser no negativa. Mais ainda, as probabilidades para as vrias possibilidades alternativas devem ser adicionadas unidade. Ambas essas expectativas esto contidas no quarto postulado. Iremos agora definir o valor esperado de A tomado com respeito a > , como segue: < > < > . (6.2) A expresso acima uma definio. No entanto ela concorda com a nossa noo intuitiva de valor mdio, pois < > < > =

a' a ''

a' ' a' ' A a' a' = a' a'

a'

(6.3)

Note que no ltimo termo, temos o valor medido a, multiplicado pela probabilidade de obte-lo. Basicamente temos uma mdia ponderada, onde os coeficientes de ponderao so as probabilidades. Observao: no confundir autovalores com valor esperado. Para exemplificar todo esse formalismo, usaremos novamente o sistema de dois estados que temos analisado ao longo do curso, i.e., o sistema de spin . Nossa anlise anterior s nos levou expresso e autokets do operador Sz. Os resultados do experimento de Stern-Gerlach em seqncia combinados com os postulados da mecnica quntica discutidos at agora so suficientes para determinarmos tambm os autokets e expresses para os operadores Sx e Sy. Veja a figura abaixo! Sx ; +> SGx SGz Sz ; >
Fig. 6.1. Experimento de Stern-Gerlach em seqncia. O autoket Sx ; > foi bloqueado.

Sz ; + >
iguais intensidades

> Forno

Este resultado experimental mostra que a probabilidade do estado Sx ; +> ser atirado em Sz ; > ( que denotaremos por > como anteriormente) . Logo, usando o formalismo matemtico escrevemos esse resultado experimental como

+ S x ;+ = S x ; = 1 / 2

(6.4)

Lembrete: < > pode ser lido como a amplitude de probabilidade de um determinado sistema que est no estado > ser atirado (por algum aparato de medida) em um estado >. Com o experimento esquematizado na figura (6.1) e a expresso (6.4) em mos perguntamos: quais os autokets Sx ; +> e Sx ; > ? Se o feixe Sx ; +> se divide em dois feixes Sz ; +> e Sz ; > com iguais intensidades , ento podemos escrev-lo como uma combinao linear de Sz ; +> e Sz ; > (usaremos a representao +> e > para esses dois autokets de Sz ) da seguinte forma : Sx ; +> = a +> + b > , com (6.5) a =b. Mas a teoria nos diz que < Sx ; +Sx ; + > = 1, onde < Sx ; + = a + + b . Sendo os autokets +> e > ortonormais e usando (6.5) temos < Sx ; +Sx ; + > = aa + + + a b + + b a + + bb = 1 , ou a + b = 1 , ou
2 2

ainda 2 a = 1 a = b = 1 / 2 . Lembrando que a e b so nmeros complexos,

2

podemos ento escrever (6.6) 2 2 onde 1 um nmero Real. Usando o fato de que a fase no tem importncia fsica, escolhemos o coeficiente do autoket +> como sendo Real e positivo por conveno. Assim 1 1 i 1 + + e . Sx ; + > = (6.7) 2 2 O ket Sz ; -> deve ser ortogonal a Sz ; +>, visto que eles so mutualmente exclusivos. Esse requerimento nos leva a 1 1 i 1 + e , Sx ; - > = (6.8) 2 2 onde novamente o coeficiente de +> foi escolhido Real e positivo. Com (6.7) e (6.8) em mos podemos rapidamente construir uma expresso para o operador Sx bastando usar a equao (5.26). De (5.26) temos h S x = [ S x ;+ S x ;+ S x ; S x ; ] , e aps usarmos (6.7) e (6.8) obtemos : 2 h (6.9) S x = e i 1 + + e i 1 + . 2 Note que, como esperado, Sx Hermitiano. A prova j foi feita em sala de aula, mas seria interessante que voc demonstrasse isso novamente. Um argumento similar ao anterior com Sx trocado por Sy leva a 1 1 i 2 + e , Sy ; > = (6.10) 2 2 e

b=

e i 1 ou a =

e i 1 ,

h i 2 (6.11) e + + e i 2 + . 2 Nossa soluo ainda no est completa, pois no conhecemos os nmeros Reais 1, 2 que aparecem nas expresses (6.7) a (6.11). Para determinarmos tais constantes devemos usar uma informao ainda no explorada, a saber, a invarincia dos sistemas fsicos sob rotaes. Os resultados dos experimentos de Stern-Gerlach em seqncia seriam anlogos aos da figura (6.1) se giramos o campo magntico que aponta ao longo de z, por 900, fazendo-o apontar ao longo da direo y (ver fig. (6.2) ). Sy ; + > Sx ; +> > iguais intensidades Forno SGx SGy Sy ; > Sy =
Fig. 6.2: invarincia das leis fsicas com relao a rotaes.

Aqui tambm teremos: S y ; S x ;+ = S y ; S x ; = 1 / 2 . (6.12) Usando (6.8) e (6.10) e inserindo em (6.12) obtemos: 1 1 1 e i ( 1 2 ) = . (6.13) 2 2 A equao acima tem soluo somente se 1 2 = / 2 . Fica fcil ver ento que os elementos de matriz de Sx, Sy no podem ser Reais. Se um deles for Real, o outro deve ser puramente Imaginrio. Esse exemplo mostra novamente que a introduo de nmeros Complexos em mecnica quntica uma caracterstica essencial. Com o resultado (6.13), conveniente escolhermos Sx como Real e usar 1 = 0 . O segundo angulo de fase 2 deve ento ser / 2 . Mas ainda existe uma ambigidade e isso no surpresa. Quando escolhemos 1 = 0 , , i.e., no e z , mas no a direo y especificamos apenas as direes x especificamos o sistema de coordenadas. A escolha 2 = / 2 consistente com o sistema de coordenadas tradicionalmente usado, esquematizado abaixo.

Z
Fig.6.3: Sistema de coordenadas consistente com nossas convenes.

Y X

Abaixo fazemos um quadro resumindo o que deduzimos at agora, escrevendo as expresses para os operadores Sx e Sy , alm de seus autokets na base de Sz. Lembramos novamente que todos os resultados se basearam no experimento de Stern-Gerlach e nos postulados da mecnica quntica.

Resumo 1 1 + Sx ; > = 2 2 Sy ; > =

1 2

i 2

Sx = Sy =

h [ + + + ]. 2 h [ i + + i + ]. 2

Os operadores S definidos por S + h + e S h + podem tambm ser escritos em termos de Sx e Sy como segue (6.14) S S x iS y . Essas relaes podem ser facilmente verificadas usando o quadro acima. Agora iremos definir algumas relaes que sero extremamente importantes em nosso curso. Primeiro definiremos o comutador de dois operadores A e B: [A, B] AB BA. (6.15) O anticomutador definido como: {A, B} AB + BA . (6.16) Para o nosso sistema de Spin fcil checar que : (6.17) S i , S j = i ijk hS k ,

e (6.18) ij . 2 Para fecharmos todos os operadores que podemos trabalhar nesse sistema de dois estados, podemos definir mais um operador Hermitiano como segue r rr 2 2 2 S 2 = S .S S x + S y + S z . (6.19)
i j

{S , S } = 1 h
2

Esse operador associado ao quadrado do momento angular de spin. Usando a relao de anticomutao (6.18), vemos facilmente que r 3 (6.20) S 2 = h2, 4 r isso , para sistemas de spin o operador S 2 uma constante vezes o operador identidade. Sendo assim esse operador comuta com as trs componentes de spin Sx, Sy e Sz , ou seja r (6.21) S 2 , S i = 0. r2 No final do curso, mostraremos que para sistemas de spin maior que , S no ser mltiplo do operador identidade. Entretanto, a relao (6.21) continuar vlida. r Note que a equao (6.20) pode ser escrita como S 2 = s ( s + 1)h 2 , onde s=1/2 . Assim, embora classicamente pensaramos que o maior valor possvel da r componente-z (ou qualquer outra componente ) de S seja exatamente S _isto , rr S .S _ em mecnica quntica o mximo de Sz ser sempre um pouco menor que S , pois sh (ou seja, h / 2 ) sempre menor que s ( s + 1)h = 3h / 2 . O momento angular no est nunca apontando completamente ao longo da direo-z !

PROBLEMAS 1. Mostre que os operadores Sz, Sx e Sy, tm as seguintes representaes por h h h matrizes: S z = & z , Sx = & x,Sy = & y , onde as matrizes z , x , y so as 2 2 2 matrizes de Pauli dadas por: 1 0 0 1 0 i z = ; x = e y = . 0 1 1 0 i 0 Algumas vezes usaremos os ndices 1, 2 e 3 para x, y e z respectivamente. Obtenha as relaes de comutao entre esses operadores usando essa representao. 2. Vocs j podem fazer praticamente todos os problemas do livro envolvendo espaos KET discretos. Obs: nos problemas 2 e 3 aparecem as matrizes de Pauli. 3. Problema Resolvido ( Livro texto Sakurai , pagina 61, problema 9 )
Encontre | S . n ; + > tal que

|S. n ; + > = ( h / 2) | S . n ; + > S. n caracterizado pelos ngulos , ( mostrados na figura do livro , pag. 62 ) . Expresse sua onde n resposta como uma combinao linear de | + > e | > .

Soluo :

um vetor unitrio arbitrrio , apontando em certa direo do espao fsico tridimensional . Desta forma

, com n x = sen cos + ny =nx i j + nz k , n y = sen sen , n r r , temos : S . n + S y = sen cos Sx + sen sen S y + n z = cos . Sendo S = Sx i j+ Sz k ; + > tambm pode ser expandido em termos da base de S z , { | +> ,| > } , ou seja cos S z . Mas o ket | S . n ; + > = a | + > + b | > , onde | a | 2 + | b | 2 = 1 ( condio de normalizao ) . Assim , lembrando que Sx |S. n e = ( h / 2 ) ( | + >< | + | >< + | ) , S y = ( i h / 2 ) ( - | + >< | + | >< + | ) S z = ( h / 2 ) ( | + >< + | - | >< - | ) , temos
podemos escrever ou ( sen cos Sx + sen sen

|S. n ; + > = ( h / 2) | S . n ; + > S. n

S y + cos S z

) ( a|+> + b|> ) = (

h/2)( a|+>

+ b|> )

da qual obtemos as seguintes relaes : (1) ( sen cos - i sen sen ) b + ( cos ) a = a ( sen cos + i sen sen ) a - ( cos ) b = b (2) O complexo da primeira equao do sistema acima ( sen cos + i sen sen ) b* + ( cos ) a* = a* . Multiplicando essa equao por a e a equao (2) por b* , temos ( sen cos + i sen sen ) b* a + ( cos ) | a | 2 = | a | 2 (3) (4) ( sen cos + i sen sen ) a b* - ( cos ) | b | 2 = | b | 2 2 2 Subtrado ( 3 ) e ( 4 ) e usando a condio de normalizao , vem | a | - | b | = cos . Usando novamente a condio de normalizao, obtemos = ( cos + 1 ) / 2 , ou a = cos( / 2 ) e i . ( Aqui usamos a identidade cos( / 2 ) =[ ( cos + 1 ) / 2] e o fato de a ser complexo. Desta forma b = sen( / 2 ) e i .Precisamos determinar as fases , . fcil ver da equao ( 1 ) que a tambm pode ser escrito como

|a|

a = [ ( sen ) e- i ] b / ( 1 - cos ) . Usando os valores obtidos de a e b , isto , a = cos( / 2 ) e i , sen( / 2 ) e i , vem

b=

e i = e i ( - ) , isto , = - . Escolhendo = 0 segue = . Logo

; + > = cos( / 2 ) | + > + sen( / 2 ) e i | >. |S. n

Fim do problema 9 do livro texto.

4- Mostre que ,se L e M so operadores Hermitianos, ento os operadores F = (1/2) (LM + ML ) e G = (i/2) (LM ML ), tambm so Hermitianos. 5- Para os operadores L e M satisfazendo a condio LM ML = 1,encontre LM 2 M 2 L . 6- Para os operadores L e M satisfazendo a condio LM ML = 1,(ver problema 5), encontre f( L ) M M f (L) , onde f (L) uma funo qualquer do operador L .
7- PROBLEMA

RESOLVIDO: (mais uma colher de ch ! Livro texto Sakurai, pgina 62, problema 10).

O operador Hamiltoniano para um sistema de dois estados dado por H=a (|1><1| - |2><2| + |1><2| + |2 ><1| ),

onde a um nmero com unidade de energia. Encontre os autovalores e os correspondentes autokets de energia (como combinao linear de | 1 > e | 2 > ).
SOLUO : neste espao bidimensional , a base formada pelos autokets de algum operador Hermitiano sendo dada por { | 1 > , | 2 > }. Este conjunto ortonormal. Fica claro que esta base no a base de H (basta apenas

podemos expandir | > em uma combinao linear da base. Assim, escrevemos | > = c1 | 1 > + c2 | 2 > .

onde e representa os autovalores e | > representa os autokets. Pelo formalismo matemtico da Mecnica Quntica

olhar a expresso para o operador H ). Como queremos calcular os autovalores e autovetores de H , devemos considerar a seguinte equao: H | > = e | >,

(1)

Com a condio de que | > seja normalizado (< | > = 1 ) , temos | c1 | + | c2 | = 1. Vamos primeiro obter os autovalores e1 e e2 . Usando a definio do operador H dada no problema e as Eqs. ( 1 ) e ( 2 ), temos : (3) a ( | 1 > < 1 | - | 2 > < 2 | + | 1 > < 2 | + | 2 > < 1 | ) . ( c1 | 1 > + c2 | 2 > ) = e c1 | 1 > + e c2 | 2 > . Fazendo o produto explicitamente, obtemos duas equaes do tipo : a ( c1 + c 2 ) = e c1 , a ( c1 c2 ) = e c2 . (4) Lembrando que os nmeros a e e so Reais, pois esto relacionados com os autovalores da energia (o operador H Hermitiano), podemos escrever as equaes ( 4 ) tomando suas complexas conjugadas :
2 2

(2)

a ( c1* + c 2* ) = e c1* , a ( c1* c2*) = e c2* . Multiplicando a primeira das Eqs. (4) com a primeira das Eqs. (5) e a segunda das Eqs. (4) com a segunda das Eqs. (5) e usando | c1 | 2 + | c2 | 2 = 1 , obtemos outras duas equaes da forma : a2 [ 1 + c1 c2* + c2c1* ] = e2 | c1 |
2

(5)

, a2 [ 1 - c1 c2* - c2c1* ] = e2 | c2 |2

(6)

Somando as equaes ( 6 ) , obtemos os dois autovalores de H : e = 2 a . Para determinarmos os correspondentes autovetores , podemos usar qualquer uma das equaes ( 4 ). Usando a primeira , temos : a ( c1 + c 2 ) = e c1 c1 ( a e ) = - a c2 . Para o primeiro autovalor e = c1 = c2 / (

2 a ,segue c1 ( a 2 a) = - a c2 , ou

2 - 1 ) .Usando novamente | c1 | 2 ) 1/ 2 ( | 1 > +

(

+ | c2 |

= 1, podemos obter c1 e c2 que substitudos na Eq.(2) levam a para e=

| 1 > = ( 2 (2 -

2-1)|2>),

2a.

Da mesma forma

| 2 > = ( 2 (2 + 2 ) 1/ 2 ( | 1 > - ( usando a representao por Matrizes!

2 +1 ) | 2 > ) ,

para e = -

2a.

Tentem fazer este mesmo problema

Fim do problema 10 do livro texto.

8. Dado os operadores (matrizes de Pauli) 0 1 0 i 1 0 x = 1 0 , y = i 0 , z = 0 1 , prove as seguintes relaes: (a) sen ( x ) = x sen ; (b) cos ( z ) = cos . 9. Encontre as autofunes e autovalores para os operadores x e y .

Os problemas a seguir envolvem espaos contnuos que vocs comearo a estudar na aula de 09/04/2000 (isto , na aula em que essa lista ser entregue . Portanto, podem colocar a mo na massa! ) 10. Encontre as relaes de comutao para os seguintes operadores: r r r d (a) x e ; (b) ih e A ( r ) ; (c) e f (r , , ) . dx 11. Encontre a relao explcita para os seguintes operadores:
d (a) + x ; dx
2

d (b) x . dx

12. Ache o operador translao que mapeia ( x) em ( x + a) .

A Estrutura da Mecnica Quntica (resumos e comentrios)

Anteriormente, tivemos a oportunidade de ver quatro postulados da Mecnica Quntica. Falta ainda um postulado e o objetivo dessa seo ser coloc-los todos juntos e fazer uma analise crtica da teoria. O postulado que est faltando poderia ser colocado como o terceiro e ento mudaramos a ordem estabelecida no nosso raciocnio inicial. Trata-se do postulado que determina a evoluo temporal, isto , a dinmica do Ket, introduzido no primeiro postulado. Mas antes de apresentarmos definitivamente a estrutura da mecnica quntica, vamos rever alguns conceitos primitivos que so comuns em teorias fsicas. Em geral, o assunto de uma teoria denominado sistema fsico, o qual toma o lugar do que ordinariamente chamamos coisa. Um sistema pode consistir de muitas partes; sistemas de uma nica parte so chamados simples (individual). O estado de um sistema fsico nos d um resumo abstrato de todas as suas caractersticas num tempo especfico sem se comprometer com qualquer tipo especfico de caracterizao. Caracterizaes definidas so feitas pelas variveis dinmicas. Pode existir muitas variveis que descrevem o mesmo estado. O estado e as variveis dinmicas so igualmente importantes em teorias fsicas. Um sistema pode assumir diferentes estados em tempos diferentes. Todos os estados possveis do sistema esto englobados em seu espao de fase. Por exemplo, o espao de fase de uma partcula clssica (sistema simples) uma multiplicidade diferencivel de seis dimenses. Quando as variveis dinmicas especficas so escolhidas, o estado da partcula pode ser definitivamente descrito, digamos, em termos de sua posio e momentum. A partcula governada pela equao de movimento de Newton, e a variao temporal de seu estado traa uma curva no espao de fase.

A estrutura da mecnica quntica tem mais elementos. Mais especificamente, suas variveis dinmicas (como j vimos, chamadas observveis), tm uma estrutura conceitual mais complicada. Alm de descrever o estado, uma propriedade que ele divide com as variveis dinmicas clssicas, um observvel tambm nos d os possveis resultados de uma medida. Mecnica quntica prev a probabilidade de obter cada resultado. Nessa seo, consideraremos apenas estados puros de sistemas fsicos simples (individual) e observveis com espectros no degenerados. Com os conceitos primitivos expostos acima, consideremos agora os postulados da mecnica quntica. Vou escrev-los novamente, agora de uma maneira completa, introduzindo o que estava faltando e, portanto, mudando a ordem estabelecida nas sees anteriores. Abaixo de cada postulado faremos comentrios. Postulado 1. Um estado de um sistema quntico representado por um vetor (raio) unitrio em um espao de Hilbert complexo H. O assunto da mecnica quntica um sistema isolado, cujas interaes com o resto do mundo, incluindo instrumentos para a sua medida, so negligenciadas. Com muita freqncia, sistemas simples (individuais) so considerados. Tais sistemas no so meramente ideais; recentes experimentos tm produzido estados de um nico fton e capturado tomos individuais para registrar suas transies. Algumas vezes, um sistema pode tambm estar em um ensemble de itens tratados como uma unidade, tal como uma coleo de eltrons preparados em algum modo definido (por exemplo, em um estado de spin up). Sistemas qunticos so geralmente microscpicos, mas apenas a dimenso no um critrio suficiente. Por exemplo, o fenmeno da supercondutividade pode ser bem extenso, e a barra de Weber elaborada para experimentos com objetivo de detectar ondas gravitacionais pesa quase uma tonelada e mesmo assim ambos os sistemas podem ser representados por um vetor estado quntico (Ket). Em cosmologia quntica, todo o universo representado por um estado quntico. Podemos ento considerar o mundo quntico em regies onde a Fsica clssica falha. Tal qualificao impe um limite sobre a validade da mecnica quntica; no existe ainda evidencia de que ela se aplique diretamente a entidades clssicas. O limite embaado; no temos critrios satisfatrios que separam sistemas qunticos de clssicos. Um estado quntico o resumo mximo e completo das caractersticas do sistema quntico em um momento do tempo. Para efeito de comparao, a qualificao acima tem o mesmo significado que a frase em mecnica Newtoniana, a equao de movimento com condies iniciais nos d uma descrio completa e mxima da trajetria de uma partcula clssica. A descrio do estado consiste de constantes caractersticas tais como a massa e a carga do sistema, e as variveis caractersticas que mudam no tempo. A coleo de todos os estados permissveis para um sistema quntico representado teoricamente por seu espao-estado (ou espao de fase), o que um espao de Hilbert complexo. Um espao de Hilbert H uma

generalizao do espao Euclidiano familiar. Ele um espao linear cujos elementos > so chamados vetores (ou raios). Ele tambm equipado com um produto interno, que mapeia um par de vetores i > e j > em um nmero complexo < i j >. Dois vetores i > e j > so ortonormais se < i j > = ij e um conjunto ortonormal de vetores { i >} formam uma base de H se cada vetor em H pode ser escrito como uma combinao linear de seus membros. Uma base de H anloga a um sistema de coordenadas na geometria cartesiana. O nmero de vetores da base nos d a dimenso de H. Como j vimos, um estado quntico representado por um vetor unitrio , mas lembrando que um vetor unitrio aquele cuja a norma ou magnitude igual a 1, = 1 , segue que se representa um estado, ento e i , onde um nmero arbitrrio chamado fator de fase, tambm representa o mesmo estado. As caractersticas de um estado so mais obvias a partir de suas relaes com outros estados. Um vetor pode ser representado como uma combinao linear de outros vetores; similarmente, um estado pode ser expandido em uma superposio linear de outros estados. Este o princpio de superposio quntico. O princpio pode ser entendido da seguinte maneira: a adio ou subtrao de quantidades geralmente levam a uma quantidade do mesmo tipo; a soma de dois comprimentos um comprimento, a superposio de dois estados qunticos um estado quntico. Mecnica quntica peculiar no sentido que seu prprio espao de fase possui a estrutura requerida para suportar as operaes de adio e subtrao. Mais especificamente, pode ser escrito em termos de um conjunto de estados da base { i } como onde a soma ci complexos
2

= i i = ci i ;
i i

ci

= 1,

unitria quando so chamados

um vetor unitrio. Os nmeros amplitudes, ou amplitudes de

ci i

probabilidades para distinguirmos de outras amplitudes familiares na mecnica 2 clssica. No podemos fazer confuses: o quadrado absoluto c i uma probabilidade; c i no. A raiz quadrada de uma quantidade no , em geral, uma quantidade do mesmo tipo; a raiz quadrada de uma rea um comprimento, mas a raiz quadrada de um comprimento eu no sei o que . Assim, o significado de c i no precisa ser conferido. Postulado 2. Um observvel associado com um sistema quntico representado por um nico operador hermitiano A atuando sobre seu espao de Hilbert. Um observvel uma varivel dinmica. Exemplos familiares de observveis so energia, posio e momentum. Eles no devem ser confundidos com seus xars clssicos. O momentum quntico tem uma

estrutura mais rica que o momentum clssico. Alguns observveis, como o spin, no tem nem anlogo clssico. Um operador A uma transformao linear do espao de Hilbert H nele prprio. Muitos operadores so empregados em teorias qunticas, mas apenas os operadores hermitianos representam observveis. Os operadores hermitianos se distinguem por possurem um espectro consistindo somente de nmeros reais. Para um observvel A, o espectro ( A) do operador que o representa compreende o conjunto de todos os possveis valores obtidos em uma medida de A. Suponha que o observvel A tenha um espectro puro, sendo que ( A) = { a i } , onde os nmeros reais a i so chamados auto valores de A. Os auto valores podem ser resultados diretos de experimentos. A estipulao explicita de algumas quantidades que podem ser medidas justificam o nome observvel, embora os auto valores ou valores espectrais so somente parte da estrutura dos observveis. Como uma transformao, um operador geralmente muda (mapeia) um estado em outro. Entretanto, existem estados ai > tais que, para um observvel A, temos A ai > =ai ai >. Os estados ai > so denominados autoestados de A. Eles so invariantes sob a operao de A, visto que, tudo o que A faz multiplicar o estado ai > por um fator numrico ai . O conjunto de estados { ai > } constitui uma base de H : em termos da base, podemos expressar qualquer estado ket >. Para observveis com espectro no degenerado, cada autovalor associado com um autoestado. J vimos que muito direto derivar o valor esperado de um observvel A no estado >, <A> =< A >. Um estado > no est amarrado a um observvel ou uma base particular. Suponha que B seja outro observvel com um conjunto de autoestados { bi > }. J sabemos que sempre podemos encontrar um operador unitrio U que faz uma mudana de base de ai > para bi >. As diferentes bases associadas com os diferentes observveis formam representaes do estado, por exemplo, a representao das posies ou a dos momenta. A amplitude na representao das posies chamada funo de onda. Dois operadores A e B comutam se AB = BA. Operadores, em geral, no comutam. A ordem das operaes so importantes porque o estado final de uma operao o estado inicial da prxima. Para um conjunto de operadores que comutam mutualmente A,B,C,..., podemos encontrar uma representao cuja a base formada por autovetores simultneos de A,B,C,... . Dois observveis so compatveis se os operadores que os representam comutam, e incompatveis se eles no comutam. Observveis incompatveis no admitem autoestados simultneos e so peculiares em mecnica quntica. Exemplo famoso de observveis incompatveis so o momentum Px e o observvel posio X. Sua relao de comutao [X , Px ] = ih , foi denominada condio quntica fundamental por Dirac. Procurem rever um pouco mais as sees anteriores para fixar as idias aqui resumidas.

Postulado 3. A evoluo temporal do estado (ket) governada pela equao de Schrdinger ih = H , onde i = 1 , h a constante de t Planck dividida por 2 , e H o operador Hamiltoniano representando a energia total do sistema. A equao de Schrdinger uma equao diferencial do tipo das equaes de movimento clssicas. Se o estado (ket) do sistema dado em um instante de tempo inicial t = t0, ento ele determinado para todo t > t0. Assim, o estado quntico evolui deterministicamente no sentido que o movimento de uma partcula clssica determinstico. De fato, os estados qunticos so ainda bem mais comportados. Mecnica quntica no admite movimentos caticos como em mecnica clssica, por que a equao de Schrdinger linear e suas solues so peridicas ou quase peridicas. Postulado 4. O nico resultado possvel de uma medida de um observvel fsico representado por um operador A um dos autovalores desse operador. Postulado 5. Quando um observvel fsico medido em um sistema descrito pelo KET normalizado >, a probabilidade de encontrarmos um autovalor a do correspondente operador A < a >2 , onde a > um autoket normalizado de A associado ao autovalor a . Este o postulado de Born da mecnica quntica. Ele no diz absolutamente nada sobre a probabilidade que o estado tem ou sobre a probabilidade de que o observvel possui um certo autovalor ; a probabilidade e o autovalor pertencem aos dados observados ou resultados de experimentos. O conceito de probabilidade apropriado, pois estamos falando sobre o resultado observado de um estado puro simples, o qual pode ser apenas um click de um contador Geiger. Um evento nico nos diz muito pouco sobre o sistema quntico em estudo. Assim, o postulado de Born sempre complementado com explicaes que o converte em asseres estatsticas. Diz-se que experimentos envolvem observaes repetidas ou observaes sobre um ensemble de sistemas simples. Desta forma, o postulado 5 convertido para a seguinte forma: Postulado 5. Em um nmero muito grande de medidas de um observvel A, cada medida sendo feita em um ensemble de N sistemas todos no mesmo estado >, ento, se N grande, nos resultados de quase todas as medidas, uma frao < a >2 dos dados tem o valor a. Este um enunciado fenomenolgico que pode ser verificado empiricamente. Ele no nos diz nada sobre o resultado de um sistema simples. O resultado de cada medida sobre um ensemble constitui uma amostra, o qual

 uma distribuio de N dados entre os valores a. Ele no descreve nem o resultado de um sistema simples nem o resultado de uma amostra simples, mas sim, a estatstica de um grande nmero de amostras. Na pratica, fazemos apenas poucas medidas ou , como os estatsticos dizem, tomamos algumas poucas amostras. Em cada amostra, a frao de dados com um determinado a pode desviar de < a >2. Entretanto, este postulado nos assegura que se a quantidade de amostras ou a dimenso do ensemble for suficientemente grande, ento, mesmo que se fizermos somente uma medida sobre um ensemble, a probabilidade quase 1 de que teremos uma distribuio onde uma frao < a >2 dos dados tenha o valor a. O termo valor esperado < A > melhor entendido no contexto de um sistema simples, onde isto ocorre com probabilidade. Quando convertemos a situao para o enunciado estatstico, < A > mais apropriadamente interpretado como o valor mdio da distribuio de dados.

Comentrios A estrutura da mecnica quntica apresentada acima mostra uma peculiaridade: Os conceitos nos postulados 1 a 4 so completamente diferentes dos conceitos contidos no postulado 5, e pouca explicao dada para a mistura dos mesmos. Mecnica quntica nos d duas descries que diferem em natureza, assunto e tratamento. As caractersticas descritas pelo vetores estado (kets) so no-clssicas ; elas so extremamente complexas e estranhamente emaranhadas quando expressa em termos clssicos. Alm da sua no-classicalidade , a descrio do ket apropriada; ela essencialmente a descrio de um sistema simples evoluindo de acordo com uma equao de movimento. A descrio oferecida pela estatstica dos autovalores exatamente o oposto. As caractersticas que ela descreve so clssicas e familiares. Mas apesar de sua classicalidade, ela tem a aparncia de um bastardo; ela se aplica no a um sistema simples, mas somente a ensembles, e abruptamente atirada sem qualquer palavra sobre suas leis de movimento; ela meramente o resultado do colapso das caractersticas no clssicas. O ponto crucial que mecnica quntica no fornece nenhuma correlao substancial entre as duas descries. A nica relao entre elas formal e abstrata. Tal relao fornecida pelo observvel, cujos auto- estados contribuem para a descrio do estado e cujos autovalores para a descrio estatstica.

Bibliografia 1. J.J. Sakurai, Modern Quantum Mechanics, Addison-Wesley Publishing Company, New York, 1994. 2. S.Y. Auyang, How is Quantum Field Theory Possible? , Oxiford University Press, New York, 1995.