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 E = E 0 x cos(kz t ) , (1) e da mesma forma, uma onda de luz y-polarizada , tambm se propagando n direo z tem r E = E 0 y cos(kz t ) . (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 E 0 x cos(kz t ) = E 0 x cos(kz t ) + y cos(kz t ) , 2 2 (3)

1 1 E 0 y cos(kz t ) = E 0 x cos(kz t ) + y cos(kz t ) . (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 que x e y so vetores bases unitrios usados para decompor o vetor polarizao x da luz x-polarizada, razovel representar o estado Sx + por 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)

1) Vetores da base: x, y 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 E = E0 x cos(kz t ) + y cos(kz t ) . (7) 2 2 2 Essa equao mais elegantemente escrita empregando a notao complexa: r 1 i E = Re E 0 xe i ( kz t ) ye i ( kz t ) , (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 x, y , s que dessa vez os coeficientes so complexos. Assim, os vetores 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 ~ > , podemos formar um KET normalizado >, fazendo

~ > = [ 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 hc hc r = + h (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 unitrios e mutuamente ortogonais ei no espao Euclidiano. Consideremos o 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 , e i V = Vi . V = e i (e i V )

i

Note que os autokets a> sendo normalizados, indicam apenas uma direo no espao KET, da mesma forma que os vetores unitrios ei indicam as 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 X a (1) a ( 2 ) X a ( 2 ) K , & 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) a ( 3) 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 (1) a ( 2) a (3) K = a (1) a ( 2) a ( 3) K & (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 ' a ' = a (1) a ( 2) & 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) ( 2) a ( 2 ) a (1) = a a (5.25) K . & 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 & 2 0 1 0 0

0 0 , S = h & 1 0

22