Anda di halaman 1dari 41

Fundamentos de Mecnica Quntica

Autor: Jos Renato Alcars


Sumrio
1. Considerao Inicial
2. Funes de Onda
a) Definio
b) como espao vetorial
c) Operadores Lineares
d) Bases ortonormais discretas em
e) Bases contnuas fora de
f) Resumo
3. Notao de Dirac
a) Kets
b) Bras
c) Produto Escalar
d) Operadores Lineares
e) Conjugao Hermitiana
f) Operadores Hermitianos
4. Representao no Espao de Estados
a) Relao de Ortonormalidade
b) Relao de Completeza
c) Representao de Kets e Bras
d) Representao de Operadores
e) Autovalores e Autovetores
5. Base de posio e base de momento
a) Produto Escalar
b) Mudando de | para |
c) Os operadores e
6. Equao de Schrdinger
a) Equao Independente do Tempo: Forma Diferencial
b) Equao Independente do Tempo: Forma Integral
c) Equao Independente do Tempo: Propriedade Temporal
d) Equaes Dependentes do Tempo
7. Apndice I: Trabalhando com Operadores
8. Apndice II: Exerccios Resolvidos
9. Consideraes Finais

1. Considerao Inicial
A maior parte desse trabalho encontra-se no livro Quantum Mechanics, dos autores
Claude Cohen-Tannoudji, Bernard Diu e Franck Lalo, traduzido para o ingls do francs por
Susan Reid Hemley, Nicole Ostrowsky e Dan Ostrowsky. Meu trabalho aqui foi de sumarizar as
informaes mais relevantes para o curso de Mecnica Quntica ministrado pelo professor
Alexandre Martinez no primeiro semestre de 2015, traduzir o texto para o portugus e adaptar
algumas aplicaes como vistas em aula.

2. Funes de Onda
a) Definio
Retomando os conceitos de fsica moderna, uma partcula quntica tem seu estado
fsico descrito por uma funo de onda, que denota seu estado em uma dada posio do
espao (usarei notaes em negrito para denotar vetores). Essa funo de onda pode
depender do tempo no caso mais geral, porm aqui iremos tratar inicialmente de estados
estacionrios, ou seja, que no dependem do tempo. Da, escrevemos:
(, ) = ()()
Onde denota a funo de onda completa, () denota sua dependncia temporal e
denota a poro independente do tempo. Posteriormente, explicaremos melhor esse
conceito. De agora em diante, iremos trabalhar apenas com a poro independente do tempo,
().
Para que uma funo () seja considerada uma funo de onda, ela deve ter norma
finita (e, para fins prticos, unitria). Ou seja, integrada em todo o espao:
|()|2 = 1
Esse conjunto de funes (onde a integral acima converge) forma um espao
matemtico que recebe o nome de 2 . No entanto, muitas funes no comportadas
satisfazem esse critrio de convergncia e no so teis fisicamente. Logo, vamos nos limitar a
um subespao de 2 , que denotaremos por , onde todas as funes () so bem
comportadas (continuas, infinitamente diferenciveis, entre outras propriedades).
Ressalva: existem funes que recebem o ttulo de funo de onda, porm a integral
acima no converge. No entanto, essas funes so originadas em problemas aberrao,
como o da partcula livre sem potencial, e podem ser compreendidas fisicamente como
funes de onda ao relacionar os parmetros delas com os parmetros fsicos reais do
problema (como considerar, por exemplo, que o comprimento de 1 metro algo infinito se
comparado s dimenses de um eltron e majorar a integral por coisas desse gnero).

b) como um espao vetorial


O espao que denotamos por onde vivem as funes de onda cumpre todos os
dez critrios de um espao vetorial. Dessa forma, podemos definir algumas grandezas de
interesse nesse espao. Uma delas o que chamamos de produto interno ou, como abuso de
linguagem, produto escalar entre duas funes.
Definio 1: Sejam duas funes () e () pertencentes a . Define-se o produto
escalar (, ) como o nmero complexo resultante da seguinte integral:
(, ) = ()()
Onde a integral tomada em todo o espao e () denota o complexo conjugado da
funo (). Dada essa definio, provam-se quatro propriedades fundamentais sobre
produtos escalares no espao , todas sumarizadas a seguir, onde :
(, ) = (, ) (1)
(, 1 1 + 2 2 ) = 1 (, 1 ) + 2 (, 2 ) (2)
(1 1 + 2 2 , ) = 1 (1 , ) + 2 (2 , ) (3)
(, ) = |()|2

(4)

Essas propriedades acima podem ser todas demonstradas usando a definio 1. Como
completeza, irei demonstrar a primeira propriedade:

(, ) = [ ()()] = () () = (, )
Ainda, vale ressaltar que, como est definido, o produto escalar dito anti-linear a
respeito do primeiro fator (como mostrado nas propriedades 2 e 3, onde a constante sai do
produto escalar como seu complexo conjugado caso esteja multiplicando o primeiro fator).
Quando (, ) = 0, as funes () e () so ditas ortogonais.

c) Operadores Lineares
Operadores lineares so definidos como entidades matemticas que associam funes
() com outras funes () de forma que
() = ()
[1 1 () + 2 2 ()] = 1 1 () + 2 2 ()
Um exemplo de operador o chamado operador paridade , que associa uma funo
(, , ) a sua simtrica (, , ):
(, , ) = (, , )
O produto de dois operadores lineares e definido como
()() = [()]

Ou seja, aplicamos o efeito de sobre () e, ento, aplicamos o efeito de sobre o


resultado. Em geral, , de forma que definimos o comutador entre e como o
operador [, ] de forma que
[, ] =
Dizemos que dois operadores comutam quando [, ] = 0.

d) Bases ortonormais discretas em


Tomemos um conjunto enumervel de funes pertencentes a , indexadas pelo
ndice ( = 1,2, , , ) que chamaremos de { ()}. Dizemos que esse conjunto
ortonormal se
( , ) = () () =
Onde denota o delta de Kronecker,
0,
= {
1, =
Iremos agora definir o que se chama de base do espao sem nos preocupar
momentaneamente com o fato desse conjunto de funes precisar ser completo (propriedade
que ser discutida posteriormente com a relao de completeza, tratada ao adotarmos a
notao de Dirac).
Definio 2: Um conjunto de funes { ()} constitui uma base do espao se toda
funo () puder ser escrita como uma combinao linear nica dos termos de { ()}.
Ou seja,
() = ()

Onde o ndice varia para todas as funes do conjunto { ()} e os coeficientes


. Dessa definio, fica claro que um coeficiente pode ser determinado pelo produto
escalar ( , ):
( , ) = ( , ()) = (
, ) =

Ou seja,
= ()()
Dizemos que os coeficientes de uma funo () numa dada base { ()} so as
componentes de () na base { ()}. Podemos escrever, ento, o produto escalar de duas
funes () e () ambas pertencentes a em funo das componentes de e .

() = ()

() = ()

(, ) = ( () , ()) = (
, ) =

Ou seja,
(, ) =

Em particular,
(, ) = | |2

e) Bases contnuas fora de


Existem duas bases muito convenientes de se expressar funes de onda. O fato do
termo bases estar entre aspas se d por conta de ambos os conjuntos de funes usados
como base no serem do quadrado integrvel e bem comportadas (pr-requisito das funes
de ), mas ainda assim conseguirem construir todo o espao : as ondas planas e as funes
delta.
) Ondas Planas
Para que possamos construir a base das ondas planas, que ser denotada por { ()},
precisamos nos lembrar de que podemos trabalhar, em clculos, no somente com a prpria
funo de onda (), mas tambm com sua transformada de Fourier (), em que
expressamos o estado da partcula no espectro de momentos (os vetores momento, em 3
dimenses). A relao entre () e () dada pelas seguintes equaes:
() =
() =

3 ()
(2)2

3
(2)2

()

Vamos chamar de base das ondas planas como a base das funes { ()} tais que:
() =

3
(2)2

Onde . denota o produto escalar entre os momentos e as posies (em 3


dimenses).

Vamos simplificar essa expresso para uma nica dimenso, para verificar claramente
que () : faamos = e = e obtenhamos a expresso unidimensional dessa base:
() =

1
2

Vamos calcular sua norma:

| ()| = = [

1
2

][

1
2

1

2

Essa integral claramente diverge, o que prova que () . Podemos estender esse
conceito para trs dimenses e verificar que () .
A diferena dessa base para as bases discretas que vimos anteriormente o fato de
ser uma varivel contnua (e no discreta como o ndice ). Na verdade, um vetor de
componentes contnuas. Isso vai implicar no fato do somatrio em
() = ()

Ser substitudo por uma integral ao inserir () na expresso de ():


() =

3 ()
(2)2

= () ()

Onde a integral efetuada em todas as 3 dimenses, para todos os valores possveis


de momento. Ou seja, () pode ser expandida sobre a base { ()} com os coeficientes
(), escritos como:
() = ( , ) = () ()
Essa base permite, claramente, que () tenha norma finita, justamente como
gostaramos. Alm disso, vamos calcular o produto escalar entre dois elementos distintos da
base, denotados por () e ():
( , ) =

1
.()

= ( )
(2)3 3

Expresso acima que a definio do delta de Dirac em 3 dimenses, generalizao da


delta de Kronecker para meios contnuos.

Ou seja, existe a seguinte relao entre as grandezas discretas e contnuas para usar-se
a base das ondas planas:

( )
Implicao fsica de se trabalhar sobre a base das ondas planas: Expressar a funo de
onda em termos de seus momentos implica que a funo de onda se comporta como uma
combinao infinita de ondas planas, ou seja, podemos tratar o objeto representado por
como uma onda. Mais adiante, veremos que isso ajuda a explicar a dualidade onda-partcula
da matria.
) Funes Delta
Apesar de no serem funes propriamente ditas, o conjunto de todas as deltas de
Dirac nas posies 0 , { ()}, tambm forma uma base de funes fora de que capaz de
expressar as funes de onda de . Definimos
0 () = ( 0 )
Como sendo a base formada pelas funes delta centradas nos infinitos pontos do
espao( 0 ). Como a integral de cada funo delta originaria o valor 1 e temos infinitas funes
delta na expresso de {0 ()}, vemos que 0 () . No entanto, podemos sempre escrever
que:
() = 0 (0 ) ( 0 )
Ou seja, para os coeficientes (0 ), a funo () pode ser expandida em:
() = 0 (0 ) 0 ()
E os coeficientes calculados por
(0 ) = (0 , ) = 0 0 ()()
O que mostra que qualquer funo () pode ser expandida de uma nica forma
na base dos deltas. Dessa forma, vemos que no caso discreto anlogo a (0 ) na
expanso sobre a base {0 }. Ou seja, os estados nas posies so os coeficientes de na
base das deltas. Dessa forma, ela pode ser associada a uma base das posies, enquanto a
base das ondas planas pode ser associada a uma base dos momentos.

A relao entre os ndices discretos e os contnuos sobre a base das posies so:
0
0

( 0 )
Implicao fsica de se trabalhar sobre a base dos deltas: Ao expandir () sobe a
base dos deltas, vemos que descreve um objeto que se comporta como algo discreto em
cada ponto do espao, ou seja, como uma partcula. Dito isso, escolher a base sobre a qual se
trabalha (se posio dos deltas ou momento das ondas planas) diz se o mesmo objeto uma
onda ou uma partcula. Da origina-se a dualidade onda-partcula, pois um mesmo ente fsico
pode ser visto tanto como onda quanto partcula, dependendo apenas da base usada em sua
representao.

f) Resumo
Sumarizando tudo o que foi visto no item 2 Funes de onda:
Bases Discretas
Ortonormalizao: ( , ) =
Expanso da funo de onda: () = ()
Expresso dos coeficientes de (): = ( , ) = () ()
Produto escalar entre duas funes de onda e : (, ) =
Quadrado da norma: (, ) = | |2
Bases Contnuas
Notao para uma base genrica com vetor de componentes contnuas : { ()}
Ortonormalizao: ( , ) = ( )
Expanso da funo de onda: () = () ()
Expresso dos coeficientes de (): () = ( , ) = () ()
Produto escalar entre duas funes de onda e : (, ) = ()()
Quadrado da norma: (, ) = |()|2

3. Notao de Dirac
Vamos ilustrar todas as bases tratadas at aqui com uma tabela, exibindo quais so os
componentes de () nessa dada base.

Base

Componentes de ()

()
()
0 ()
()

, = 1,2,3, , ,
()
(0 )
()

Agora, iremos introduzir a chamada notao de Dirac, em que iremos mudar o espao
de trabalho at ento utilizado: sairemos de e passaremos a trabalhar no espao de estados
de uma partcula, que denotaremos por . Cada estado quntico de uma partcula ser
caracterizado por um vetor de estado que existe dentro de . Da mesma forma que era um
subespao de 2 , o espao de estados um subespao do chamado espao de Hilbert, . A
notao que ser introduzida facilita os clculos e operaes dos vetores de estado e permite
uma generalizao do formalismo.

a) Kets
Os elementos do espao de estados so denominados de ket (analogamente s
funes de onda do espao ). Iremos associar a cada estado () um ket pertencente a
. A notao utilizada para kets a de | , dentro do qual se insere o estado da partcula. Ou
seja,
() |
Vale notar que os espaos e so anlogos (ou isomrficos), mas operar sobre eles
carrega sutilezas nicas, ento vlido que faamos a definio de outras entidades em
para que possamos trabalhar nesse novo espao.

b) Bras
Para cada elemento | , existe um elemento | , onde denota o espao
dual de , que recebe o nome de bra. Os bras no so estados propriamente ditos: eles, na
verdade, atuam sobre vetores de estado | da mesma forma que um funcional linear. Vamos
entender esse conceito, generalizando para todo ket do espao de Hilbert (no s para o
subespao das posies ):
Definio 3: Um funcional linear definido no espao atua sobre kets | de forma a
associar a cada ket um nmero (|) de acordo com a seguinte relao:

|
(|)
(1 |1 + 2 |2 ) = 1 |1 + 2 |2

No confunda operador linear com funcional linear. O primeiro atua sobre kets
(veremos a seguir) e associa a eles outros kets; o segundo atua sobre kets, associando a eles
um nmero (geralmente, um escalar complexo).
Dessa forma, entendendo que | atua da mesma forma que o funcional linear ,
podemos associar grandeza |, que um escalar, um significado. Ou ainda, de forma
mais geral, grandeza |, onde | , | e | o bra correspondente ao ket
|. Faamos isso.
Observao Importante: Apesar de ter dito que para cada ket | associa-se um bra
|, a recproca no verdadeira. Existem bras que no possuem kets anlogos. Digo isso
apenas por completeza, pois nesse curso (aparentemente) no iremos lidar com tais
anomalias, iremos sempre assumir que por mais que os kets anlogos no existam de fato, em
uma aproximao com o mundo real, eles existem e podemos operar com eles. Isso vai ser o
caso das bases de momento e posio, em que no nos preocuparemos com o fato de elas no
serem bases bem definidas e iremos ainda assim trabalhar sobre elas.

c) Produto Escalar
Em , o produto escalar entre duas funes de onda () e () era
definido como:
(, ) = ()()
Agora, iremos definir o produto escalar entre | e | como sendo o anlogo
a (, ) no espao de Hilbert :
| = (|, |) = ()()
Ou seja, o formalismo matemtico de se trabalhar com integrais em se mantm em
, porm a notao simplificada. Vamos entender o motivo.
Se existe uma grandeza escalar, digamos 1 , multiplicando o ket |1 e outra
grandeza escalar, digamos 2 , multiplicando o ket |2 , e desejamos encontrar o
seguinte produto escalar:
(1 |1 + 2 |2 , |)
Onde | . Vamos tomar a notao de bras e kets:
(1 |1 + 2 |2 , |) = 1 (|1 , |) + 2 (|2 , |)
= 1 1 | + 2 2 |
= (1 1 | + 2 2 |)|
Ou seja, podemos associar ao ket 1 |1 + 2 |2 o bra 1 1 | + 2 2 |:

1 |1 + 2 |2
1 1 | + 2 2 |

De maneira simplificada, podemos resumir o que foi visto sobre as constantes no


seguinte esquema:

| = |
| = |
Ou seja, remover constantes que multiplicam bras implica na tomada de seus
complexos conjugados. Vamos reescrever as propriedades do produto escalar usando a
notao de Dirac, com | e | :
| = | (1)
|1 1 + 2 2 = 1 |1 + 2 |2 (2)
1 1 + 2 2 | = 1 1 | + 2 2 | (3)
| = ||2

(4)

d) Operadores Lineares
Os operadores lineares so definidos em da mesma forma que so definidos em :
entes matemticos que atuam (agora) sobre kets e associam, a eles, outros kets com
correspondncia linear:
| = |
[1 |1 + 2 |2 ] = 1 |1 + 2 |2
A notao usada acima, onde um operador, usual em mecnica quntica. Vamos
ver, como exemplo, um operador que no havia sido tratado em por ser algo dificultoso de
ser trabalhado nesse espao, porm trivial com a notao de Dirac: o operador projetor.
O operador projetor, , onde denota sobre qual base est se projetando, definido,
de forma mais fcil e geral possvel, para uma base unitria que irei generalizar como |. Ou
seja,
| = 1
Da define-se como sendo:
= ||
Em um primeiro momento, soa estranho o contraste entre as duas expresses acima:
inverter a ordem dos bras e kets transforma um nmero escalar (1) em um operador linear
( ). No entanto, ressalvo que importante se familiarizar com o fato de expresses como
| denotarem sempre grandezas escalares, uma vez que | implica em um funcional
linear que resulta em um nmero quando aplicado sobre | .
Vamos verificar o que de fato significa: tomemos um ket arbitrrio | e
apliquemos o projetor sobre ele:

| = ||
Invertendo a ordem entre a grandeza escalar | e o ket |:
|
| = |

Ou seja, | | aplicado sobre um ket retorna outro ket, o que torna , de fato, um
operador. Esse operador projeta o ket | genrico sobre a base |, usando como constante
de proporcionalidade o produto escalar |. Isso significa que projetar sobre uma base nada
mais do que tomar o produto escalar daquela base com o que se deseja projetar escrito em
funo da base. Voltarei a tratar desse operador ao falar da relao de completeza.

e) Conjugao Hermitiana
Um conceito importante de ser levado em conta surge da seguinte problemtica:
vimos que | = |, quando . E se tivssemos no , mas um operador linear no
interior do bra?
Nesse caso, ao retirar o operador linear de dentro do bra, devemos tomar seu
conjugado hermitiano, ou operador adjunto. Ou seja, quando um operador atua sobre um
ket |, temos:
|

| = |

Transpor o ket | no bra | implica no seguinte:


|

| = |

Onde o operador denota o conjugado hermitiano de . Portanto, definimos


pela seguinte expresso:
| = | | = |

Usando o fato de que transpor o produto escalar resulta em:


| = |
Inserir um operador atuando sobre | do lado esquerdo da expresso resulta,
imediatamente, em:

|| = | |

As relaes () e () so suficientemente fortes para demonstrar que

( ) =
() =
( + ) = +

Por completeza, irei demonstrar a primeira relao: Queremos demonstrar que

= ( ) . Usemos ():

| | = |( ) |
Mas
|| = | |
Portanto,

|| = |( ) |

= ( )

Por fim, vamos calcular a transposio de , ou seja, () : considere o ket


| = |. Faamos | = | um ket autiliar, de forma que:
| = |
Transpor a expresso acima significa:
| = |
Mas se | = |, sua transposio vale | = | . Substituindo acima, ficamos
com:
| = | | = |
Ou seja,
() =
Inverte-se a ordem dos operadores e toma-se o conjugado hermitiano de cada um
deles.
Resumindo: O procedimento de transposio (ou conjugao hermitiana) de uma
expresso na notao de Dirac de fundamental importncia, de forma que conhecer essa
propriedade das transformaes lineares facilita muito o trabalho. Para transpor qualquer
expresso, por maior que ela seja, na notao de Dirac, basta que se inverta a ordem de todos
os membros e tome-se complexo conjugado das constantes e conjugado hermitiano dos
operadores.
Vamos, por exemplo, tomar o conjugado hermitiano da expresso:
|| ||
Nota-se que essa expresso um operador (uma vez que || e so escalares).
Sua conjugao, seguindo a regra sublinhada acima, ||| |

f) Operadores Hermitianos
Por simplicidade, no curso de MQ que estamos estudando, todos os operadores de
interesse sero hermitianos, ou seja, qualquer operador tratado ser tal que:
=
E essa a definio de um operador hermitiano. Um exemplo claro o operador
projeo que tratamos anteriormente: vamos transp-lo usando sua definio,
= || =
Logo, hermitiano. Um comentrio importante: o produto de dois operadores
hermitianos e hermitiano se, e somente se, [, ] = 0. Em notao,
= () [, ] = 0
Dois operadores quaisquer e comutam se [, ] = 0.

4. Representao no Espao de Estados


A representao em bases do espao de estados anloga a tudo que vimos para
bases de funes no espao . Graas s bases, poderemos dar uma interpretao aos kets,
bras e operadores como, respectivamente, matrizes coluna, linha ou matrizes quadradas, uma
vez que os componentes de | em uma dada base so nmeros e podem, portanto, ser
dispostos de forma conveniente.
Iremos, novamente, tratar de bases discretas e contnuas (como { ()} e { ()} em
) da forma mais geral possvel e, posteriormente, partiremos para as aplicaes vistas em
sala: as bases de momento e de posio (exatamente como as bases { ()} e {0 ()} em ).
O trabalho aqui ser de introduzir os conceitos do item 2 para a notao de Dirac do
item 3. Esse trabalho ser, como pode ser observado, algo que simplifica a notao do item 2 e
generaliza os conceitos, facilitando os clculos.
Notao: Um conjunto discreto de kets ser denotado por {| }, onde = 1, 2, 3, , , ,
enquanto um conjunto contnuo de kets ser denotado por {| }, onde denota um vetor
qualquer de infinitas componentes que podem variar continuamente.

a) Relao de Ortonormalidade
Um conjunto de kets (discretos ou contnuos) dito ortonormal se ele
satisfaz(respectivamente):
| =
| = ( )
Dessa definio, fica claro que | no existe (exploso da delta de Dirac), o que
implica na norma infinita de | , desqualificando-o como um ket bem definido (um ket bem

definido anlogo a uma funo () bem definida, ou seja, de norma finita e unitria). No
entanto, os vetores de estado podem ser expressos sobre a base de | , de forma que til
aceita-los como kets generalizados.

b) Relao de Completeza
Essa relao no foi tratada em por motivos de ser demasiadamente complicada de
ser entendida nesse espao. No entanto, no espao de Hilbert , ela uma relao trivial.
Um conjunto discreto {| }, ou um contnuo {| } constitui uma base se todo ket
| puder ser escrito como uma expanso nica em termos de | ou | . Ou seja,
| = |

| = ()|
Vamos assumir que essas bases so ortonormais, como ditas em 4. Dessa forma,
podemos calcular a componente do vetor de estado | ou a componente contnua ( )
como sendo a projeo de | sobre os elementos | ou | , respectivamente.
| = | | =
| =

| = | ()| = ()
| = ( )
=( )

Ou seja, podemos escrever que:


= |
() = |
Vamos substituir essas duas expresses na expanso de |: primeiramente, no caso
discreto,
| = | = || = | | = |

Ou seja, existe um operador, que damos o nome de operador identidade , que ao


atuar sobre um ket | retorna o prprio ket | no caso de uma base discreta. Na base
contnua,
| = ()| = || = | | = |

O operador identidade existe, portanto, no caso discreto e no caso contnuo. A


chamada relao de completeza que uma base ortonormal do espao de Hilbert deve
satisfazer , para o caso discreto e contnuo, respectivamente:

| | =

| | =
Dito isso, vale ressaltar que um conjunto de kets s considerado uma base quando
satisfaz tanto a relao de ortonormalidade quanto a relao de completeza.
Interpretao da relao de completeza: O operador uma soma de todos os
possveis operadores projeo que estudamos anteriormente. Observe que uma relao que
surge naturalmente, pois imagine somar todas as projees de | numa dada base, ou seja,
somar todos os componentes de | nessa dada base; esse procedimento originaria o prprio
ket |. Dessa forma, razovel interpretar a relao de completeza como algo intrnseco e
lgico a respeito de uma base.

c) Representao de Kets e Bras


Numa dada base {| }, o ket | pode ser representado como uma matriz coluna de
coeficientes de |:
1 |
| = 2 |

|
( )
Onde | representa a i-sima coordenada de | na base {| }. Numa base
contnua, a matriz coluna teria infinitos ndices contnuos e no ser representada.
Bras, no entanto, devem ser representados como matrizes linha de infinitas
componentes discretas. Seja um dado bra | expresso numa base {| }. Uma representao
pode ser ento:
(|1 |2 | )
Isso condiz com o seguinte: o produto escalar denotado por | pode ser visualizado
como o produto matricial das representaes acima descritas, ou seja,

1 |

| = (|1 |2 | )
2 |

|
( )
Vale ressaltar que, por mais que essa representao seja til para a visualizao, ela
ser pouquissimamente utilizada ao longo do curso, apenas em exerccios tericos em busca
de algum entendimento discreto.

d) Representao de Operadores
De forma anloga aos kets e bras, os operadores tambm podem ser representados
como matrizes. No caso discreto (o caso contnuo seria difcil de representar, verifique a
pgina 126 do Cohen para mais detalhes), poderamos associar os componentes do operador
numa base {| } como:
= ||
E, dessa forma, dispor os elementos na seguinte matriz:
11 12 1
21 22 2
=

1 2

)
(
Para determinar os elementos do produto de dois operadores, basta que usemos a
relao de completeza. Relembremos:
= | |

Da, usando o produto de operadores , ficamos com:


|| = ||
= || ||

Ou seja, basta multiplicar matricialmente os operadores e para obter a matriz que


representa o operador .
Os operadores adjuntos ou conjugados hermitianos tambm so representados por
matrizes. Notemos que se o operador hermitiano, ento:
=
As componentes de na base {| } so:

( ) = | | = || =

Logo, temos:

( ) =

Ou seja, a conjugada hermitiana formada ao espelhar a matriz em sua diagonal


principal e tomar o complexo conjugado de suas componentes.


11

12

1
(

21 1
22 2

Isso implica que, sempre, = , o que prova que a diagonal principal de uma
matriz hermitiana sempre composta por nmeros reais.

e) Autovalores e Autovetores
Define-se como a equao de autovalores e autovetores de um operador como
sendo:
| = |
Onde dito o autovalor do operador e | so seus autovetores. Essa
equao resume muita informao em poucas notaes. Vamos analisa-la sobre a perspectiva
de operaes matriciais para que se compreenda bem:
O lado esquerdo da expresso denota uma matriz quadrada aplicada sobre uma matriz
coluna, enquanto o lado direito denota apenas uma matriz coluna de nmeros. Ou seja,
11 12 1
1 |
1 |
21 22 2

2
2 |
=

1 2

|
|

)
(
( ) ( )
Isso significa que existem infinitos autovalores de um operador infinito. Melhor
dizendo: uma matriz possui autovalores. Esses autovalores podem ser unvocos ou no
(eles so razes de um polinmio de ordem , da podem se repetir ou no). Para um dado
autovalor , existe um autovetor | associado. Dessa forma, podemos caracterizar qualquer
operador pelo conjunto de autovalores e autovetores que o forma.
O uso dessas grandezas pode parecer inicialmente complicado. No entanto,
importante que se ressalve o motivo de utiliz-los: um operador expresso em termos de
seus autovetores uma matriz diagonal com elementos iguais a ou 0. Isso significa, que
podemos sempre tomar um operador complicado (complicado em termos de elementos
matriciais) e torna-lo simples ao diagonaliz-lo, ou seja, mudar a base em que ele est sendo
trabalhado.
O que eu quero dizer com isso : o procedimento de diagonalizao, que faz com que a
matriz escrita sobre uma base qualquer {| } seja escrita sobre a base de seus autovetores
|,

11 12 1
21 22 2 1
(


0
1 2

)
(

0
)

Faz com que trabalhar com seja mais simples. Trabalhar com matrizes sempre
trabalhoso no processo de multiplicao. No entanto, multiplicar matrizes diagonais algo
trivial. Da o interesse nos autovalores e autovetores.
Mas isso realmente verdade? A diagonalizao , de fato, trabalhar sobre a base dos
autovetores? Veja que sim: tome uma matriz qualquer, de elementos () . Vamos calcular
os elementos na base dos autovetores |:
() = ||
Vamos agora fazer uso da equao de autovalores: | = | . Como uma
constante, ela pode sair do produto escalar e ficamos com:
() = |
Mas o fato desse conjunto de vetores ser ortonormal se o operador hermitiano
(vamos demonstrar isso mais afrente) faz com que | = , o que implica,
necessariamente, que somente os elementos () so diferentes de zero, e so iguais a ,
como se espera da matriz de diagonalizao, como queramos demonstrar.
Existem outros nomes que so usados, sem perda de sentido, para autovalores e
autovetores:
Autovalores Autofuno
Autovetores Autoestado
A determinao dessas entidades se d atravs do processo de diagonalizao da
matriz . A fim de simplificar a notao, vamos supor que ela tenha ordem (seja finita).
Ento, podemos dizer que a diagonalizao feita da seguinte forma:
| = |
| | = 0
Usando a notao matricial,
( )| = 0
Onde denota a matriz identidade de ordem . Esse sistema s possui soluo nica
se
det[ ] = 0

Onde det[ ] denota o determinante de uma matriz. Isso significa que os autovalores
so solues da seguinte equao:
11 12 13 1
21 22 23 2
|
|=0

1
2
Uma vez determinados as razes , substituir cada um desses valores em
( )| = 0
Usando | um vetor genrico de componentes 1 , 2 , , ir determinar as
componentes do autovetor | correspondente ao autovalor .
Antes de continuar, deixe-me provar duas propriedades importantes sobre os
autovalores e autovetores de operadores hermitianos.
Propriedade: Se um operador hermitiano do espao de Hilbert , ento seus autovalores
so reais.
Demonstrao: Vamos partir das duas informaes que sabemos: = e para o
conjunto de autovetores | , temos
| = | ()
Vamos tomar o prprio vetor | e projetar | sobre ele. Ou seja,
|| = | ()
Agora, tomemos a expresso transposta de () acima:
| = |
Aplicando esse funcional sobre |, ficamos com:
| | = |
Mas, se = , ento = e, portanto, , como gostaria de se demonstrar.
Propriedade: Se um operador hermitiano do espao de Hilbert , ento para dois
autovalores distintos 1 e 2 , os autovetores correspondentes |1 e |2 so ortogonais. (So
ortonormais a partir do momento que os dividimos por sua norma e tomamos o conjunto
normalizado, o que feito com naturalizade).

Demonstrao: Vamos agora tomar a equao de autovalores para |1 :


|1 = 1 |1
E, agora, projet-lo sobre |2 :

2 ||1 = 1 2 |1
Mas sabemos que
2 | = 2 |2 = 2 |2
De forma que
2 | |1 = 2 2 |1
Como = ,
1 2 |1 = 2 2 |1
Tomando a evidncia de 2 |1 :
(1 2 )2 |1 = 0
Como 1 2 por hiptese, 2 |1 = 0, como gostaria de se demonstrar.
Vamos, agora, estudar algumas consequncias importantes dos autovalores e
autovetores de operadores no espao de Hilbert .
Teorema: Se dois operadores e comutam e se | um autovetor de , ento |
tambm um autovetor de , com o mesmo autovalor. (Demonstrao: pgina 139)
O prximo teorema s vale para operadores que so ditos observveis. Um operador
dito um observvel quando seu sistema ortonormal de autovetores forma uma base no
espao. Para que no tenhamos mais complicaes, tenha em mente que os operadores de
posio e momento (que iremos trabalhar futuramente) so observveis e possuem bases
correspondentes de posio e momento.
Teorema: Se dois observveis e comutam, e se |1 e |2 so dois autovetores de com
autovalores diferentes, ento o elemento matricial 1 ||2 zero. (Demonstrao: pgina
140).
O prximo teorema pode ser considerado o de maior importncia entre os trs vistos
at aqui:
Teorema: Se dois observveis e comutam, pode-se construir uma base ortonormal do
espao de estados com autovetores comuns a e .
A implicao desse teorema poderosssima. Como no somos capazes de construir
uma base ortonormal com elementos de ambos os observveis posio e momento, ento eles
no comutam, o que implica que nunca poderemos determinar precisamente a posio e o
momento de uma partcula ao mesmo tempo.

5. Base de posio e base de momento


Em 4, transladamos os conceitos importantes que foram definidos no item 2 em
para o espao de estados usando a notao de Dirac (3). Agora, iremos aplicar todo esse

embasamento matemtico sobre duas bases importantes que so originadas de dois


observveis: as bases de posio e de momento.
No esprito de 4, as analogias que sero feitas so as seguintes: as bases de ondas
planas em , { ()}, sero anlogas base de momento, {|}, em ; enquanto a base das
deltas de Dirac, {0 ()} sero anlogas base de posio, {|}. Essas analogias nos permitem
escrever justamente as propriedades que caracterizam {|} e {|}, respectivamente, como
bases de :
| = ( )
|| =
E
| = ( )
|| =
Que so, respectivamente, as relaes de ortonormalidade e completeza das bases.

a) Produto Escalar
Vamos estudar uma caracterstica interessante que surge ao tomar o produto escalar
justamente nas bases de posio e momento: primeiramente, tomemos luz aos seguintes
fatos:
| = ()
| = ()
Isso decorre justamente da analogia que fazemos base de posies e momentos, a,
respectivamente, as bases de deltas de Dirac e de ondas planas de : representar a funo de
onda em termos das posies mesmo que projetar ela sobre a base das posies e
representa-la na base de momentos (ou seja, como a transformada de Fourier da
representao nas posies) o mesmo que projetar sobre a base dos momentos.
importante tambm notar que inverter a ordem das projees origina complexos
conjugados,
| = ()
| = ()

Vamos, ento, entender o produto escalar entre dois vetores de estado | e


| , que representam funes de onda e : inicialmente, usando que,
= ||

| = || = |
|
= ()()

= () =()

Que justamente o que havamos definido como o produto escalar (, ) em 2. Dessa


forma, justifica-se pela relao de identidade o que havia sido postulado como o produto
escalar | em ser anlogo a (, ) em .
Ainda, podemos usar a representao de momentos,
= ||
O que resulta em:
| = || = |
|
= ()()

()
() =
=

Isso mostra que as representaes sobre essas bases so anlogas a menos da


transformada de Fourier que deve operar sobre as funes de onda no caso da representao
de momentos.

b) Mudando de | para |
Da analogia a , a relao entre | e | deve surgir de uma transformada de Fourier.
De fato, a relao mais importante entre essas duas bases a seguinte:

| = | = (2)32 .
Onde . denota o produto escalar entre posio e momento; e o nmero 3 na
potncia de (2) denota a dimenso do problema. Essa expresso diz o seguinte: projetar os
momentos sobre a base das posies justamente a transformada de Fourier entre momento
e posio.
Vamos provar que isso verdade: projetemos a funo de estado | sobre a base das
posies e usemos a relao de completeza dos momentos:
|
=

()

() =

.
=(2)32

()

3 ()
(2)2

Exatamente como foi visto em 21 . De forma anloga, podemos expressar () em


funo de () ao projetar | sobre a base dos momentos e usar a relao de completeza
das posies:

|
=

()

() =

.
=(2)32

()

3
(2)2

()

Algo importante deve ser dito aqui: o que chamamos de funo de onda ()
justamente a projeo de | na base das posies. Sua projeo na base de momentos no
uma funo de onda, mas sim uma transformada de Fourier de uma funo de onda.

c) Os operadores e
Vamos iniciar a abordagem aqui ao introduzir um operador: considere o operador
denotado por o operador que, ao atuar sobre um vetor de estado |, o multiplica pelo valor
de sua coordenada no espao. Ou seja,
|| = |
Isso significa que podemos definir (analogamente) operadores e que multiplicam o
ket | por, respectivamente, suas coordenadas e no espao de posies. Fica claro que
esses operadores devem ser definidos sobre a base de posies, uma vez que as componentes
, e s existem quando usamos | como representao de () = (, , ).
Dito isso, nota-se que de extrema facilidade trabalhar com , e sobre a base de
posies:
|| = | = ()
|| = | = ()
|| = | = ()
Vejamos que esses operadores so hermitianos. Consideremos, por exemplo, o
operador . Suas componentes numa dada base representada pelos kets | e |:
|| = || = ||| = ()() = [ ()()]

= [ |||] = ||
Logo, hermitiano (o termo igual ao termo , o que mostra que ele
hermitiano). Analogamente, prova-se que e tambm so hermitianos.
De uma forma simplificada, utilizando um abuso de notao, basta entender esses
operadores hermitianos como definidos da seguinte forma:

| = |
| = |
| = |

Isso , de fato, um abuso de notao, pois o ket | no bem definido para esse tipo
de clculo, mas us-lo dessa forma facilita muito o entendimento das expresses. No vamos
nos preocupar com esse tipo de abusos de agora em diante e vamos considerar as equaes
acima como equaes de autovalores e autovetores dos operadores , e .
Podemos sumarizar esses trs operadores em um nico vetor de operadores,
chamado operador posio , que produz a seguinte ao quando atua sobre a base das
posies:
| = |
Os componentes desse operador podem ser encontrados sobre uma base qualquer da
seguinte forma: Como ele uma sumarizao de 3 operadores hermitianos, ele tambm
hermitiano, e vale dizer que:
| = |
E, portanto, para um ket | que simboliza uma funo de onda:
|| = || = | = ()
Ento suas componentes numa base com elementos representados por | e | so:
|| = |
|| = () ()

() =()

De forma completamente anloga, para a base dos momentos, podemos definir os


operadores , e que atuam sobre kets | multiplicando eles pelos respectivos
momentos nas direes , e , chamados , e . Fica claro que, para que isso possa ser
feito, | deve estar representando a transformada de Fourier da funo de onda , ou seja,
() = ( , , ), para que possamos extrair os valores dos momentos. Ento, devemos
trabalhar sobre a base dos momentos:
| | = |
| | = |
| | = |
De forma anloga a , demonstra-se que tambm hermitiano, e assim
sucessivamente para os outros.
Exatamente como fizemos anteriormente, faremos uso de um abuso de linguagem e
definiremos esses operadores como hermitianos aplicados sobre a base dos momentos:

| = |
| = |
| = |

Sumarizando os trs operadores num nico vetor de operadores, obtemos o chamado


, que deve ser definido sobre a base dos momentos da seguinte forma:
operador momento
| = |

ser hermitiano, podemos


De forma anloga ao que foi visto acima, dado o fato de
escrever:
= |
|
Que, aplicado sobre um ket | que simboliza a transformada de Fourier de uma
funo de onda,
|
| = || = | = ()
E isso tambm nos permite calcular os componentes de numa base qualquer,
representada pelos kets | e | usando a relao de completeza para momentos:
|
|
| = |

| = () ()
()
() =

Vamos agora reconhecer o que aconteceria se aplicssemos o operador momento


sobre um ket | que estivesse simbolizando uma funo de onda, ou seja, na base das
posies. Para isso, usemos a relao de completeza dos momentos:
|
| =

|
| = (2)32 . ()

=(2)32

()
=

Essa integral a transformada de Fourier de (). Essa considerao que ser feita
est sendo imposta como um postulado, porm demonstrvel (vide apndice 1, relao
38-a do Cohen) que a transformada de Fourier dessa expresso, simbolizada por (()),
:
(()) =

()

Onde o vetor gradiente, = ( , , ). Dessa forma, podemos escrever que:


|
| =

() = |

Dessa informao, obtemos duas informaes importantes: o operador de momento

aplicado sobre vetores de estado coincide com o operador diferencial aplicado sobre
funes de onda; alm disso, podemos inferir da relao acima, usando um abuso de
linguagem, que:
| =

(visto que |
O ltimo assunto que nos resta cobrir a respeito dos operadores e
no de fundamental interesse at o momento do curso) o que diz respeito
comutabilidade desses operadores.
Vamos iniciar com a comutao entre e :
|[, ]| = | |

||
= | |



= |
|


= | [| + |]

= |
Logo, o comutador vale:
[, ] =
Esse procedimento pode ser repetido para todos os operadores de momento e posio
entre s. Usando a seguinte notao, o resultado dessas comutaes est sumarizado a seguir:
1 =
2 =
3 =
1 =
2 =
3 =
[ , ] = 0
[ , ] = 0
[ , ] =
Esse resultado nos diz que: os operadores de posio comutam entre si, os operadores
de momento tambm comutam entre si, e os operadores de posio e momento podem ou
no comutar entre si (os de mesmo ndice no comutam).
Pode no parecer relevante num primeiro momento, mas isso nos leva ao princpio da
incerteza: como eu no posso operar de forma arbitrria o operador posio e o operador
momento numa mesma direo, eu nunca saberei exatamente posio e momento ao mesmo
tempo, pois ao aplicar um operador sobre | j implica necessariamente que a aplicao do
prximo est deturpada. Isso tambm implica no fato de no podermos expressar a funo de
onda ao mesmo tempo em termos de e , por exemplo, mas podermos faz-lo livremente
em termos de , e , uma vez que os operadores , e comutam entre si.

6. Equao de Schrdinger
Vamos agora estudar uma partcula de massa que tem seu estado quntico descrito
pela funo de onda (). Para isso, vamos comear relacionando o momento da partcula, ,
com seu vetor de onda, , da seguinte forma:
=
com o operador do vetor de
Tambm podemos relacionar o operador momento

onda, , usando a mesma razo de proporcionalidade:

Isso implica que


| = |

um operador hermitiano, por ser proporcional a um hermitiano.

a) Equao Independente do Tempo: Forma Diferencial


Agora, vamos trabalhar com uma pequena sutileza: se a energia da partcula
constante ao longo do tempo, ou seja, estamos trabalhando em estados estacionrios, ento
o operador energia, tambm chamado operador hamiltoniano atua sobre a funo de
estado | multiplicando-a pela sua prpria energia . Ou seja,
| = |
Vamos lidar inicialmente com essa situao e deduzir a equao de Schrdinger
independente do tempo. Para isso, lembremos que o hamiltoniano de um sistema deve ser
escrito, em notao de operadores, como a soma da energia cintica e a energia potencial
da seguinte forma:
) = (
) + ()
(,
), mas estamos tratando o caso
Novamente ressalto: originalmente, = (, ,
independente do tempo. Sabemos ainda que uma partcula de massa tem energia cintica
dada pela expresso
)=
(

Usando a notao com o operador vetor de onda:


)
(
)=
(
2

) pode ser escrito como:


Dessa forma, o hamiltoniano (,
2

)
(
)=
(,
+ ()
2

E essa a expresso geral do hamiltoniano para o caso estacionrio. Vamos estudar,


ento, a equao de autovalores do hamiltoniano, ou seja,
| = |
Vamos projetar essa equao na base das posies, |:
|| = |
Sabemos que | = () a funo de onda da partcula. Ainda, vamos abrir o
hamiltoniano de acordo com o que foi visto anteriormente:
2

)
(
+ | = ()
|
2
Podemos quebrar essa soma de operadores em duas expresses:
2

)
(
|
| + |()| = ()
2
Algo que no foi dito anteriormente o que diz respeito sobre funes de operadores,
como, por exemplo, funo do operador . No entanto, no algo difcil de ser deduzido e
ser tratado em anexo. No momento, confiemos no fato de que, se:
| = |
Ento
()| = ()|
Ou seja, basta multiplicar a base | pelo valor do potencial em , (). Dito isso,
como hermitiano, () tambm , de forma que podemos escrever o termo |()|
como sendo:
|()| = |()| = ()| = ()()
E isso implica na expresso
2

)
(
|
| + ()() = ()
2
Vamos agora trabalhar com o outro termo de brakets que resta. Primeiramente,
expulsemos as constantes para fora:
2

)
2
(
2 |
|
|
| =
2
2

2 nada mais do que o operador


aplicado duas vezes. Como vimos
O operador
e obtm-se a expresso abaixo),
, basta trocar ele por
anteriormente (vimos para
| = |
De forma que
2 | = 2 |
Como hermitiano, 2 tambm , resultando em:
2 = |(2 )
|
Da, temos:
2
2 2
2 2
2 | =
|
| =
()
2
2
2
Dessa forma, obtm-se a equao de Schrdinger independente do tempo:

2 2
() + ()() = ()
2

Ou, exibindo o fator comum (),


[

2 2
+ ()] () = ()
2

De uma maneira extremamente simples, usando o formalismo de Dirac, fomos capazes


de deduzir a equao de Schrdinger independente do tempo.

b) Equao Independente do Tempo: Forma Integral


Vamos agora ver o que acontece se projetarmos o hamiltoniano sobre a base de
momentos (ou, nesse caso, de vetores de onda):
| = |
|| = |
Como vimos antes, | = () a transformada de Fourier da funo de onda
() no espectro de momentos. Dessa forma, | = () a transformada de Fourier da
funo de onda no espectro de vetores de onda.
2

)
(
+ ()| = ()
|
2
2 = |2 (em analogia
Quebrando em duas expresses e usando o fato de que |
ao que foi visto acima), temos:

()2
() + |()| = ()
2
Ns no vimos anteriormente como aplicar sobre a base dos momentos |, o que
implica que no sabemos trabalhar com ()|. Vamos utilizar a relao de completeza nas
posies para nos ajudar nesse aspecto:
= ||
|| = || = |||
Agora, temos duas coisas que conhecemos bem:
| = (2)32 .
E
| = |()
Logo, ficamos com:
|| = (2)32 . ()| = (2)32 . () ()
Da, podemos escrever ento:
()2
() + (2)32 . () () = ()
2
Claramente, o termo com () est gerando problemas na equao. Vamos elimin-lo
ao inserir outra relao de completeza, agora em momentos , de forma que:
= | |
Vamos trabalhar ento com a integral problemtica:
(2)32 . ()| = (2)32 . () ||
A insero de justamente naquela posio ir resolver o problema:
(2)32 . () () = (2)32 . () | |

Identificamos que | = (2)32 . e | = ( ), ficando com:

(2)32 . () () = (2)3 . () . ( )

Organizando os termos no interior da integral,

(2)32 . () () = (2)3 () ( ) ( )
Trocando de lugar ( ) com () e por , identificamos:

(2)32 . () () = ( ) (2)3 ( ) ()

()

Da, denotamos a transformada de Fourier de () no espectro de ( ) como


sendo ( ), o que permite que escrevamos, enfim, que a integral contendo ()
anloga a:
(2)32 . () () = (2)3 ( ) ( )
E, portanto, escrevemos a equao de Schrdinger independente do tempo na forma
integral como:
()2
() + (2)3 ( ) ( ) = ()
2
Essa nova notao til para casos em que o potencial () tenha transformada de
Fourier como uma delta de Dirac, pois de ( ) = ( ), a integrao se torna trivial
e obtm-se de cara qual () (bastando aplicar a transformada inversa de Fourier para
obter a funo de onda).

c) Equao Independente do Tempo: Propriedade Temporal


Existe uma particularidade em decorrncia de se trabalhar nos estados estacionrios.
Bem no incio desse trabalho, j exclui as dependncias temporais das funes de onda
completas (, ) dizendo que estvamos em um regime estacionrio. Vamos entender
melhor agora o que isso significa.
Suponha um vetor de estado | que possa ter dependncia temporal. A dependncia
temporal deve estar expressa em uma funo (), de tal forma que:
| = ()|
Onde | um estado independente do tempo, como os que trabalhamos at aqui e
| simboliza um estado estacionrio (ele estacionrio justamente pelo fato de podermos
separar as dependncias temporal e espacial (ou de momento) como um produto de duas
grandezas). A ao mais geral do operador hamiltoniano no multiplicar o objeto em que se
aplica pela sua energia, mas sim diferenci-lo no tempo, a menos de algumas constantes. Ou
seja,
| =

Dessa forma, vamos aplicar sobre o vetor de estado estacionrio como o descrito
acima:
()| =

[()|]

Como | no depende do tempo, vamos denotar = () e escrever:


()| = ()|
Separando tudo que depende do tempo do lado direito e tudo que depende de | do
lado esquerdo, ficamos com:
| ()
=
|
()
Note que esse procedimento s possvel porque | estacionrio, ou seja, pode ser
escrito como o produto ()|. Como um lado da equao independe do tempo e o outro
depende, para que eles sejam iguais, eles devem ser iguais a uma constante, que daremos o
nome de energia do estado estacionrio, . Dessa forma, o lado esquerdo fica:
| = |
E aqui se demonstra porque a hamiltoniana de um estado estacionrio multiplica esse
estado por sua energia (que foi algo postulado anteriormente). O lado direito :

=

Resolvendo essa equao diferencial,

Usando limites de integrao convenientes,


() =

Ou seja, em estados estacionrios, a dependncia temporal uma combinao


complexa de senos e cossenos dependentes da energia do estado. Essa energia muda de
acordo com o problema e deve ser calculada usando a equao de autovalores e autovetores
de , | = |.

d) Equaes dependentes do tempo


As equaes de Schrdinger mudam apenas o termo referente energia quando
passam a depender do tempo (vide a redefinio geral do operador ). A deduo
exatamente a mesma, ento no ser feita aqui. Apenas por completeza, as expresses dessas
equaes nas formas diferencial e integral, respectivamente, esto escritas a seguir.
[

2 2

+ ()] (, ) = (, )
2

()2

(, ) + (2)3 ( , ) ( ) = (, )
2

7. Apndice I: Trabalhando com operadores


Existem algumas propriedades teis no que diz respeito ao uso de operadores lineares.
Para maiores detalhes, verifique a pgina 166, complemento , do livro do Cohen. Vou listar
algumas propriedades que so teis (e que so motivos de exerccio por parte do Alexandre).
Definio: Dada um operador , define-se o trao de , , como sendo a soma de todos os
elementos da diagonal principal da matriz que o representa. Ou seja, numa dada base {| },
define-se:
= ||

Em uma base contnua {| },


= ||
Propriedade: O trao de um operador invariante com relao base em que se representa
um operador .
Demonstrao (caso discreto): Vamos supor que desejamos alterar a base em que
est representado, de {| } para {| }. Para isso, vamos usar a relao de completeza discreta
vlida para a base {| } dentro da definio do trao.
= | |

= || = || = |[| |] |

= | || = || | = || [| |]||

= ||

Exatamente como gostaria de se demonstrar. Para o caso contnuo, basta trabalhar


com o anlogo de integrais.
Agora, vamos trabalhar com as propriedades de um comutador. O comutador entre os
operadores e um operador definido como [, ] = .
Propriedades: A partir da definio, podem-se demonstrar as seguintes propriedades:
()[, ] = [, ]
()[, ( + )] = [, ] + [, ]
()[, ] = [, ] + [, ]
()[, [, ]] + [, [, ]] + [, [, ]] = 0
()[, ] = [ , ]
Essas propriedades sero teis em exerccios. Por fim, irei tratar de funes de
operadores. Dada uma funo qualquer na varivel , () (sem especificar domnio). Assuma
que possa ser expandida em srie de potncias,

() =
=0

Podemos fazer analogia a esse fato usando um operador ao invs da varivel :

() =
=0

(Claro que aqui no considero problemas a respeito da convergncia da srie, que


envolveria autovalores de e o raio de convergncia de (), suponho que essa srie sempre
converge para as funes bem comportadas que trabalhamos)
Por exemplo,

=
=0

=++
+ +
+
!
2!
!

Propriedade: Se o operador hermitiano, ento () tambm hermitiano.


Uma observao muito importante aqui: a ordem dos operadores importa em um
caso como , onde e so operadores genricos. Se e comutam, ento a ordem
no importa. Caso contrrio, se ao menos eles comutarem com seu comutador, temos a
frmula de Glauber,
1

= + 2

[,]

Essa relao pode ser demonstrada da seguinte forma: suponha uma funo ()
definida por:
() =
Vamos derivar essa expresso com relao varivel (nesse caso, basta supor e
constantes na derivao e manter a ordem na regra do produto):

= +

Colocando em evidncia () = , temos:

= ( + )()

No entanto, vamos modificar ligeiramente o termo por :

= ( + )()

E vamos descobrir quanto esse termo, de fato, vale. Vamos usar o fato de e
comutarem com seu comutador. Vamos usar a seguinte propriedade de dois comutadores e
que no comutam entre si, mas comutam com seu comutador:
[, ()] = [, ] ()
Ateno que no caso acima, a varivel de derivao . Como estamos trabalhando
com os operadores e que comutam com seu comutador,
[ , ] = [, ]
Alm disso, [ , ] = , de forma que:
= [, ]
Assim, determinamos :
= + [, ]
Aplicando dos dois lados o operador , ficamos com (podemos trocar de lugar
com pois eles comutam):
= + [, ]
Assim, temos:

= ( + + [, ])()

Resolvendo essa equao diferencial em , portanto, com os operadores atuando


como constantes,
() = (0)

1
(+)+ [,] 2
2

Com = 0, (0) = e, portanto, podemos impor = 1 e obter:


1

= + 2

[,]

Como gostaramos. Lembre-se de que essa relao s valida caso e comutarem


com seu comutador, ou seja, [, [, ]] = [, [, ]] = 0.

8. Apndice II: Exerccios Resolvidos


Vamos tomar alguns exerccios da lista do professor Alexandre e outros do prprio
Cohen e resolv-los.
1. (Lista-3) Obtenha o operador tal que || = |()|2 e || = |()|2 .
Soluo: Desejamos um operador que atue de formas distintas sobre a base das
posies e momentos. Relembremos:
() = |
Logo,
|()|2 = ||
Assim, desejamos:
|| = ||
Isso pode significar o seguinte: se um operador hermitiano, ento cada aplicao
dele sobre a base das posies retorna o quadrado da funo de onda. Isto ,
| = |()|2 |
Da, teramos a igualdade validada. No caso da base de momentos, deve ter como
autovalores o quadrado da transformada de Fourier:
| = |()|2 |
Portanto, basta dizer que tem dois autovalores, |()|2 e |()|2 , associados
respectivamente aos autovetores | e |.
2. (Lista-6) Se | = |, quanto vale |?
Soluo: Partimos do princpio de expanso de um operador em termos de sries de
potncia:

() =
=0

Isso implica que os autovalores iro se transformar da mesma forma que o operador,
()| = ()|

No caso da exponencial, temos:


| = |
3. (Lista-7) Considere = |()()| e mostre que

= [, ()]

Soluo: Vamos determinar, inicialmente, o comutador entre a hamiltoniana e ao


aplica-lo sobre um vetor de estado qualquer, |:
[, ]| = | |
= || |||

= || | | |

= [ || + || ] |

Observe que isso s foi possvel por conta de:


| =

Logo,
| = | [

Ento, conclui-se que:


[, ] = [

|| + || ]

Vamos agora exibir :

= ||

Usando a regra do produto,

= [ || + || ]

Que idntico a [, ]. Logo, est demonstrado.


4. (Cohen-1) | so os autovetores de um operador hermitiano ( , por exemplo, o
hamiltoniano de um sistema fsico arbitrrio). Assuma que os autoestados | formam uma
base discreta ortonormal. O operador (, ) definido por:
(, ) = | |

a) Calcule o operador adjunto (, ).


b) Calcule o comutador [, (, )].
c) Prove a relao:
(, ) (, ) = (, )
d) Calcule o trao do operador (, ).
e) Seja um operador com elementos de matriz na base | dados por
= || . Prove a relao:
= (, )

f) Mostre que = { (, )}.


Soluo:

a) Apliquemos (, ) sobre um de seus vetores de base, por exemplo, | :


| = | | = |
Dessa forma, vemos que projeta 1 ou 0 sobre no ket | , dependendo de qual foi o
ket em que se aplicou. O operador deve ser tal que:
| = |
| = | | = | |
Logo,
(, ) = | |
b) Buscamos agora a expresso do comutador [, (, )]. Apliquemos esse operador sobre
um ket genrico | da base ortonormal, levando em conta que | = | , onde o
autovalor correspondente ao autovetor | :
[, (, )]| = | |
= | | |
= | | |
= | |
= [ ]|
Se , ento [, (, )] = 0; se = , [, (, )]| = [ ]| . Dessa
forma, se o comutador for aplicado para qualquer integrante do espao formado pela base
ortonormal {| }, apenas a componente referente ao vetor | restar.

c) Queremos provar que


(, ) (, ) = (, )
verdadeira. Faamos isso usando as definies de (, ) e (, ):

(, ) = | |
(, ) = | |
Logo,
|
| | = | | = (, )

d) O trao do operador vale:


(, ) = ||

= | | = = =

e) de nosso interesse provar que


= (, )

uma relao verdadeira. Vamos usar a completeza do sistema ortonormal em nosso


favor: lembre-se que
= | |

Dessa forma, podemos escrever, para = :


= = | |

Nada nos impede de aplicar novamente a relao de completeza, com = :


= | | = | | | |

|| | =
| |
= |

(,)

= (, )

f) Queremos agora mostrar que = { (, )}. Vamos expressar como no item e e


calcular o operador (, ):
(, ) = [ (, )] (, )

= [ | |] | |

= |
| |

= | | = (, )

Ento, calculemos o trao desse operador:


{ (, )} = | | ||

= | |
| =
| =

Como gostaria de se demonstrar.

9. Consideraes Finais
Espero que o trabalho que foi exibido aqui tenha sido algo que ajudou o leitor a
compreender, mesmo que ainda pouco, o embasamento matemtico e algumas pequenas
aplicaes da mecnica quntica. Vale lembrar que todo o formalismo matemtico preciso
pode ser encontrado no livro de MQ do Cohen, base pra todo esse estudo.