Академический Документы
Профессиональный Документы
Культура Документы
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
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
**
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
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 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 ; + >
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
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 ; + > = 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 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:
CD CD CD
onde CD a abreviao de correspondncia dual. espao BRA a imagem no espelho do espao KET.
>
<
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 :
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
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
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
>< > 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 > .
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'
17
c
a'
a'
a > =
a'
a' c a ' =
a'
Logo um determinado KET pode ser escrito em termos dos autokets de um operador A como segue:
> =
a'
(5.9)
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)
a'
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.
(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 ''
< a >
a ''
< a >
< aX a >
matriz quadrada NxN
matriz linha 1x N
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