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












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

Na aula passada vimos, com o exemplo do experimento de Stern-
Gerlach em seqncia, que impossvel determinarmos (medirmos)
simultaneamente as componentes S
x
, S
y
ou S
z
do spin do eltron. Mais
precisamente, podemos dizer que a seleo do feixe S
x
(ver figura abaixo) pelo
segundo aparato SGx destruir completamente qualquer informao prvia a
respeito de S
z
. Deve ficar claro na cabea do estudante que a limitao
encontrada na determinao de duas componentes do spin ( S
x
e

S
z
por
exemplo) no devida incompetncia do Fsico experimental . Tal limitao
inerente ao prprio experimento e ao fenmeno microscpico.
S
x
+
2
S
z
+

S
z
+ SGz
SGx S
z
-

Forno SGz S
x
-

S
z
-
Fig.1. Experimento
SG em seqncia.

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 90
0
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 x-
polarizada), tem vetor campo eltrico oscilando na direo x dado por

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


3

E
r



**





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 ).


x



y



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 45
0
com a direo x no plano xy, temos a seguinte
representao (Fig. 5):
Luz no polarizada


Luz x-polarizada


4

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 S
z
Luz polarizada x , y

tomos S
x
Luz polarizada x , y


Y
Y
X y
y x

X x
Fig.6. Sistema de
coordenadas





Usando a figura acima, fcil ver que

+ = ) cos(
2
1
) cos(
2
1
) cos(
0 0
t kz y t kz x E t kz x E , (3)

+ = ) cos(
2
1
) cos(
2
1
) cos(
0 0
t kz y t kz x E t kz y E . (4)
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
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 y-
polarizada.
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 e so vetores bases unitrios usados para decompor o vetor
polarizao da luz x-polarizada, razovel representar o estado S
x y
x
x
+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 S
x
; + > e o representaremos como
uma combinao linear de dois vetores base S
z
; + > e S
z
; > fazendo a
seguinte conjectura

? S
x
; + > =
2
1
S
z
; + > +
2
1
S
z
; >, (5)

? S
x
; > =
2
1
S
z
; + > +
2
1
S
z
; >, (6)
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 S
z
+e S
z
no sentido expresso pelas
equaes (5) e (6). Matematicamente, por essa razo que as duas
componentes emergem do terceiro aparato (SGz).


ESPAO BIDIMENSIONAL (X,Y) ESPAO VETORIAL ABSTRATO 2D
5

1) Vetores da base: 1) vetores da base : S y x ,
z
; +>, S
z
; >
2) Qualquer vetor pode ser 2) Qualquer vetor nesse espao pode
escrito como combinao ser escrito como uma combinao
linear dos vetores da base. linear desses vetores da base.


Agora devemos saber como escrever S
y
; +> e S
y
; >. 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 x-
polarizada e outra y-polarizada, defasadas por 90
0
. O campo eltrico
resultante pode ser escrito como :

+ = )
2
cos(
2
1
) cos(
2
1
0

t kz y t kz x E E
r
. (7)
Essa equao mais elegantemente escrita empregando a notao
complexa:

=
) ( ) (
0

2

2
1
Re
t kz i t kz i
e y
i
e x E E

r
, (8)
onde usamos .
2 / i
e i =
X



Y 1
2

3
4

5
6

7
x
y


1
2
3
4
5





6
7
8

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.
Podemos definir :

6







Luz circularmente polarizada Luz circularmente polarizada
direita esquerda
quando o fim do vetor campo quando o fim do vetor campo eltrico
eltrico (se a luz vem em nossa (se a luz vem em nossa direo)
direo) circula no sentido anti- circula no sentido horrio.
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 S
y
+ Feixe circularmente polarizado direita

tomos S
y
- Feixe circularmente polarizado esquerda,

Pois dessa forma temos mais uma maneira de escrever um vetor em termos de
, s que dessa vez os coeficientes so complexos. Assim, os vetores
S
y x ,
y
; > podem ser facilmente escritos usando a equao (8)

S
y
; > =
2
1
S
z
; + >
2
i
S
z
; > (9)
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 : S
z
; + > , S
z
; >
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.












7
8


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
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 > e c > , c 0 representam o mesmo estado
fsico.

9
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
partcula vale respectivamente h
2
1
, 1 etc, onde h a constante de Planck
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
componente-z desse spin, encontramos os valores
h
h
2
1
(o valor positivo se
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 S
z
deva ser zero e os
outros dois feixes carregam S
z
= h 1 . 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


S
z
+
11

S
z
=0
forno SGz

S
z
-


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 S
z
do spin, usando o aparato SGz encontramos os
valores (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 denot-
los por S
2 / h
z
; +> e S
z
; - >. 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 S
z
, S
x
,
S
y.
. 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 S
z
; +> , usamos novamente um aparato SGz
e notamos que apenas um feixe emergir desse segundo SGz, isto , ir
emergir exatamente um feixe no mesmo estado S
z
; +>. Assim, ao fazermos
uma medida do observvel componentez do spin representado pelo
operador S
z
sobre um estado previamente conhecido denotado por S
z
; +>,
notamos que a medida no alterou o estado S
z
; +> e obtivemos o valor
para S 2 / h
z
. Nesse sentido, dizemos que um autovalor e que S 2 / h
z
; +>
um autoket (auto-estado) do operador S
z
. O mesmo acontece com o estado
S
z
; - >, s que nesse caso o autovalor 2 / h . Em termos de nossa
linguagem matemtica podemos escrever para os sistemas de spin :


S
z
S
z
; + > = h
2
1
S
z
; +> S
z
S
z
; - > = - h
2
1
S
z
; - >
Operador Autoket Autovalor Autoket Operador Autoket Autovalor Autoket


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

12


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 .

S
x
e S
y
, relaes semelhantes sero vlidas:

S
x
S
x
; + > = h
2
1
S
x
; +> S
y
S
y
; + > = h
2
1
S
y
; +>

S
x
S
x
; - > = - h
2
1
S
x
; - > S
y
S
y
; - > = - h
2
1
S
y
; ->


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 N-
dimensional, qualquer ket poder ser escrito como

> =

a > , com a, a . a, ..., a

a
a
c
(N)
e c
a
so coeficientes complexos.
A questo da unicidade de tal expanso ser adiada at ser provado a
ortogonalidade dos autokets.

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 <

a > , a >, ... CD < a ,< a , ...

> + > CD < + <


onde CD a abreviao de correspondncia dual. Podemos dizer que o
espao BRA a imagem no espelho do espao KET.



13

> <



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 > c
*
< , (e no c < ). Assim, de
maneira geral, temos

c

> + c

> CD 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:


Postulado: O produto interno obedece s seguintes propriedades :
1
0
) < > = < >
*
2
0
) < > 0

Fica claro, usando a primeira propriedade acima que < > um nmero
real. A segunda propriedade algumas vezes conhecida como postulado da
mtrica definida positiva.
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
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

de um vetor a a
r r
. 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
4 2 2 2 2
) ( c m c p V E + = ,
isto ,

2
2
2
2
1

+ =

h h h
mc
r c
Ze
c
E

(a) J ustifique 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.




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

.
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

e portanto
( X Y )

=Y

.
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 >.
Lembrando que c > CD < c

, e 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)
< a A a > =a

< a a > . (5.3)

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:
> =

'
'
a
a
c a > . (5.6)
Isso semelhante a expanso de um vetor arbitrrio V
r
em termos dos vetores
unitrios e mutuamente ortogonais no espao Euclidiano. Consideremos o
KET abaixo
i
e
> =

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

'
'
a
a
c

'
'
a
a
c < a a > =

'
'
a
a
c
aa
e o segundo termo no nulo apenas quando a =a . Logo

c
a
=< a > . (5.8)

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

'
'
a
a
c 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)

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

,
i i
V V e =
r
.

Note que os autokets a> sendo normalizados, indicam apenas uma direo
no espao KET, da mesma forma que os vetores unitrios indicam as
direes x,y e z no espao Euclidiano. Voltando equao (5.9) e usando o
axioma associativo da multiplicao temos que
i
e
( 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
a a a ' ' ' '
'
, ou seja

< > =
2
'
'

a
a (5.11)

Aqui, vocs podem fazer uma analogia com a norma de um vetor no espao
Euclidiano,
2 2 2
2
z y x
V V V V + + =
v
.
A eq. (5.11) mostra que se > normalizado, ento os coeficientes c
a

dados pela expresso (5.8) devem satisfazer
1 =< > ==
2
'
'

a
a =
2
'
'
a
a
c , ou seja :

1
2
'
'
=

a
a
c . (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 >) =c
a
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 . (5.14)
Usando a relao de clausura, segue

1 . (5.15) =

'
'
a
a


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 X a ><a , (5.16)

' ' ' a a

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 N
2

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 NN como segue
<a X a >. (5.17)
linha coluna
Explicitamente:

=
O M M
K
K
&
) 2 ( ) 2 ( ) 1 ( ) 2 (
) 2 ( ) 1 ( ) 1 ( ) 1 (
a X a a X a
a X a a X a
X , (5.18)
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 > =

< aX a >< a Y a >, (5.19)

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.
' ' ' a
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 >< a > . (5.21)
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:

=
M
&

) 3 (
) 2 (
) 1 (
a
a
a
,

=
M
&

) 3 (
) 2 (
) 1 (
a
a
a
. (5.22)
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 :
[ ]

= =

K K &
) 3 ( ) 2 ( ) 1 ( ) 3 ( ) 2 ( ) 1 (
a a a a a a
(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 > =

' ' a
< X a > < a >
matriz coluna Nx1 matriz quadrada NxN matriz coluna Nx1

< a > =

' ' a
< a > < aX a >
matriz linha 1x N matriz linha 1xN matriz quadrada NxN
Fica claro que o produto interno < > pode ser escrito como o
produto de uma matriz linha, representando < , por uma matriz coluna,
representando > :

= =

M
K &

) 2 (
) 1 (
) 2 ( ) 1 (
'
' ' a
a
a a a a
a
, (5.24)
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
a a

, ou seja


20

=


O M M
K
K
&


) 2 ( ) 2 ( ) 1 ( ) 2 (
) 2 ( ) 1 ( ) 1 ( ) 1 (
a a a a
a a a a
. (5.25)
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
a

= . No entanto, obviamente a matriz ' ' ' 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 : S
z
; +>, S
z
; > ( espao vetorial de dimenso 2 )
3) Essa base formada pelos autokets do operador S
z
.
Por uma questo de simplicidade, representaremos os vetores da base de S
z

por +> , > ( isto , usamos S
z
; +> =+> e S
z
; - > => ). 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 S
z
em termos de seus
autokets como
S
z
=
2
h
( +><+ - >< ) . (5.28)

A relao autoket-autovalor segue imediatamente da propriedade de
ortonormalidade de +>, > . Exemplo: apliquemos S
z
dado por (5.28) no KET
+>. Assim, temos
S
z
+> =
2
h
( +><+ - >< ) +> =
2
h
+><++> -
2
h
><+> =
2
h
+>.
instrutivo considerar dois operadores no Hermitianos definidos por
S
+
h +>< , S

><+. (5.29) h

Exerccio: mostre que os operadores em (5.29) no so Hermitianos.

Note que da definio (5.29) temos S
+
> = +><> = +>, isto , o
operador S
h h
+
atuando sobre o ket spin-down ( > ) , o transforma em um ket
spin-up ( +> ) multiplicado por . Por outro lado S h
+
+ > = 0. A interpretao
fsica desse resultado, que S
+
levanta a componente de spin por uma
unidade de ; se a componente de spin no puder mais ser levantada,
automaticamente S
h
+
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
y x
iS S S =

.
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

= +
0
1
& ,

=
1
0
&

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

=
+
0 0
1 0
h & S

0 1
0 0
h & S








































22