Professional Documents
Culture Documents
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).
(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,
= ()()
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
3 ()
(2)2
3
(2)2
()
Vamos chamar de base das ondas planas como a base das funes { ()} tais que:
() =
3
(2)2
Vamos simplificar essa expresso para uma nica dimenso, para verificar claramente
que () : faamos = e = e obtenhamos a expresso unidimensional dessa base:
() =
1
2
| ()| = = [
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
() = ()
3 ()
(2)2
= () ()
1
.()
= ( )
(2)3 3
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 |
| = |
| = |
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:
|
| = |
| = |
|| = | |
( ) =
() =
( + ) = +
= ( ) . Usemos ():
| | = |( ) |
Mas
|| = | |
Portanto,
|| = |( ) |
= ( )
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.
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.
| = | | =
| =
| = | ()| = ()
| = ( )
=( )
| | =
| | =
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.
|
( )
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:
= | |
( ) = | | = || =
Logo, temos:
( ) =
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).
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.
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,
| = ()
| = ()
| = || = |
|
= ()()
= () =()
()
() =
=
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
|
=
()
() =
.
=(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:
|| = |
|| = () ()
() =()
| = |
| = |
| = |
| = () ()
()
() =
|
| = (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 (()),
:
(()) =
()
() = |
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
)
(
)=
(,
+ ()
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 2
() + ()() = ()
2
2 2
+ ()] () = ()
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 . () | |
(2)32 . () () = (2)3 . () . ( )
(2)32 . () () = (2)3 () ( ) ( )
Trocando de lugar ( ) com () e por , identificamos:
(2)32 . () () = ( ) (2)3 ( ) ()
()
Dessa forma, vamos aplicar sobre o vetor de estado estacionrio como o descrito
acima:
()| =
[()|]
2 2
+ ()] (, ) = (, )
2
()2
(, ) + (2)3 ( , ) ( ) = (, )
2
= || = || = |[| |] |
= | || = || | = || [| |]||
= ||
() =
=0
() =
=0
=
=0
=++
+ +
+
!
2!
!
= + 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):
= +
= ( + )()
= ( + )()
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:
= ( + + [, ])()
1
(+)+ [,] 2
2
= + 2
[,]
() =
=0
Isso implica que os autovalores iro se transformar da mesma forma que o operador,
()| = ()|
= [, ()]
= || | | |
= [ || + || ] |
Logo,
| = | [
|| + || ]
= ||
= [ || + || ]
(, ) = | |
(, ) = | |
Logo,
|
| | = | | = (, )
= | | = = =
|| | =
| |
= |
(,)
= (, )
= [ | |] | |
= |
| |
= | | = (, )
= | |
| =
| =
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.