Você está na página 1de 132

O princpio de superposio

Seja o conjunto das coordenadas de um sistema quntico


3
, e o produto das
diferenciais dessas coordenadas
4
. Por exemplo, se , .
O estado de um sistema descrito por uma funo complexa das coordenadas. O
quadrado do mdulo dessa funo determina a distribuio de probabilidades dos
valores das coordenadas:



a probabilidade de que uma medida realizada sobre o sistema encontre os valores das
coordenadas entre e , e , e . A funo
denominada funo de onda do sistema.
O conhecimento da funo de onda permite, em princpio, calcular a probabilidade dos
vrios resultados de qualquer medida (no necessariamente das coordenadas). Essas
probabilidades so expresses bilineares em e (* representando a operao de
tomar o complexo conjugado), do tipo



ou



por exemplo.
O estado de um sistema varia, em geral, com o tempo. Em conseqncia, a funo de
onda uma funo tambm do tempo, . Se a funo de onda conhecida em
um instante inicial, segue, do conceito da descrio completa, que ela est, em princpio,
determinada em cada instante sucessivo. A dependncia precisa da funo de onda com
o tempo determinada por uma equao denominada equao de Schrdinger .
A probabilidade de que as coordenadas de um sistema tenham qualquer valor, 1.
Devemos, ento, ter



pois a integral acima exatamente esta probabilidade.
Seja a funo de onda de um sistema. Considere a funo



onde um nmero real. Como as probabilidades dos vrios resultados so
expresses da forma



e como



vemos que uma descrio da funo de onda do sistema to boa quanto .
Diz-se , por isso, que a funo de onda de um sistema est definida a menos de uma
fase, ou seja, que, se funo de onda de um sistema, tambm .
5

Seja um sistema fsico que pode existir tanto num estado de funo de onda
como no estado de funo de onda . A medida de uma quantidade fsica d,
por hiptese, o resultado , com probabilidade 1, se o sistema estiver em , e o
resultado , tambm com probabilidade 1, se o sistema estiver em . Postula-se
ento que:

(1)Toda funo da forma , onde e so nmeros complexos,
tambm um estado do sistema.
(2)Neste estado, uma medida de dar ou o resultado ou o resultado .

Este postulado denominado princpio de superposio. Segue dele que a equao de
Schrdinger deve ser linear em .
Considere um sistema composto de duas partes, e suponha que o estado do sistema seja
dado de uma maneira tal que cada uma de suas partes possui uma descrio completa.
6

Ento as probabilidades das coordenadas , da parte 1, so independentes das
probabilidades das coordenadas , da parte 2. Seja a funo de onda do
sistema todo, e e as funes de onda das partes 1 e 2, respectivamente.
Ento,



pois, ento,



o que significa que as probabilidades so independentes.
Se, alm disso, essas partes no interagirem, vale ainda a relao


Seja uma quantidade fsica que caracteriza o estado de um sistema quntico. Os
valores que uma dada quantidade fsica pode assumir so chamados de autovalores . O
conjunto dos autovalores o espectro. Na mecnica clssica as quantidades fsicas so
contnuas.
7
Na mecnica quntica, no necessariamente. Pode haver espectros discretos
ou espectros contnuos. Vamos supor, para simplificar, que o espectro de seja
discreto. Os autovalores de sero denotados por , . A funo de
onda do sistema, no estado em que tem o valor , ser denotada por . Essas
funes so chamadas autofunes de . Para cada uma delas,



Um dos princpios bsicos da mecnica quntica este:
(I) O conjunto das autofunes de uma quantidade fsica completo. Isto , dada
uma funo de onda qualquer do sistema, podemos expand-la em autofunes de
assim:



onde os so nmeros complexos.

(II)Fazendo-se uma medida de em , a probabilidade de se obter o valor dada
por .
Em conseqncia, devemos ter



pois a probabilidade de, medindo-se , obter-se qualquer um dos valores
possveis.
Temos, ento, o resultado



Por outro lado, temos



logo,





de onde se conclui que



Finalmente, usando , temos



de onde se conclui que



Diz-se ento que as autofunes so ortogonais.

Valor mdio
Vamos introduzir agora o conceito de valor mdio da quantidade fsica em um
dado estado. Sejam os valores possveis de , ou seja, seus autovalores . Sejam
as probabilidades de cada um dos autovalores , no estado em questo. Define-se
ento o valor mdio como



Usa-se tambm a notao , para a mesma quantidade. Queremos encontrar uma
expresso para em termos da funo de onda do estado considerado. Seja esta
funo. Para fazer isso vamos associar quantidade fsica um operador linear que
atua sobre as funes de onda. Seja a funo obtida quando atua sobre .
Queremos, de , que



para qualquer estado (lembre-se que estipulamos que as quantidades fsicas deveriam
ser expresses bilineares na funo de onda). Ento,



onde usamos , obtido anteriormente. Vemos, primeiramente, que



Ora,



de maneira que linear, e que



Sumarizando:


(1)



(2)


(3)


(4)


Os valores assumidos por uma quantidade fsica so reais. Portanto, os valores mdios
de uma quantidade fsica so tambm reais, como se v de .
Note-se (exerccio fcil), que, se o estado for uma autofuno de , o valor mdio
coincide com o autovalor de nesse estado.
Do fato de ser real segue uma propriedade importante dos operadores associados a
quantidades fsicas:

(5)


Ora,

(6)


onde definido assim: se , ento o operador tal que .
8

Ento,



Vamos definir o operador transposto do operador . Sejam e funes
arbitrias. Ento tal que



Por exemplo, para i,



Da condio de realidade de , Eq.(6), temos

(7)


Comparando os dois extremos vemos que



Operadores com esta propriedade so ditos hermiteanos. Logo, os operadores
associados a quantidades fsicas so operadores lineares hermiteanos.
Podemos, formalmente, considerar quantidades fsicas complexas, isto , cujos
autovalores so complexos. Por exemplo, dadas as coordenadas e ,podemos
considerar a quantidade . Seja uma quantidade desse tipo, e seja a
quantidade cujos autovalores so os complexo-conjugados dos autovalores de .
quantidade corresponde o operador . Denotemos por o operador
correspondente quantidade . Este operador denominado o adjunto de .
O valor mdio da quantidade dado por



onde apenas adaptamos a definio de mdia de um operador.
Ora,



logo,



Mas



Ou seja,



Comparando, temos



Em palavras, o adjunto o transposto do conjugado.
A condio de hermiticidade de um operador, escrita anteriormente como



pode agora ser escrita:



e os operadores hermiteanos so aqueles que coincidem com os adjuntos. Da serem
chamados tambm de auto-adjuntos.
Vamos agora mostrar que a ortogonalidade das autofunes de um operador hermiteano
pode ser demonstrada diretamente. Sejam e dois autovalores diferentes do
operador hermiteano . Sejam e as autofunes correspondentes. Ento,


(8)


(9)


Multiplicando a primeira por , temos



e

(10)


Tomando o complexo conjugado de (9) e multiplicando por , temos
. Integrando,

(11)




(12)


Mas



pois hermiteano. Logo, o primeiro termo de (12) zero. Conseqentemente,



e, como , segue que



Adio e subtrao de operadores
Sejam e duas quantidades fsicas que podem ter valores definidos
simultaneamente. Sejam e seus operadores. Os autovalores da soma so a
soma dos autovalores de e de . Considere o operador , e sejam as
autofunes comuns a e . Ento,





e, portanto,



Este resultado pode ser generalizado para funes de onda quaisquer, assim:



Neste caso, tem-se



A multiplicao de operadores definida assim:



Suponhamos que seja autofuno comum a e . Ento,



e



Logo, para as autofunes simultaneas, temos



Isto no suficiente para se concluir que o operador



Contudo, como o conjunto das autofunes completo, temos, dada uma funo de
onda arbitrria, que



e



Logo, o operador zero como operador, pois leva qualquer funo ao valor
zero. Note-se que isto foi demonstrado para dois operadores que possuem um conjunto
completo de autofunes comuns. No caso geral, esse comutador,
















A energia e a equao de Schrdinger
Subsections
Exerccios
A derivada no tempo de um operador
O comutador de e

A funo de onda determina completamente o estado fsico do sistema. Isto significa
que, dada a funo de onda de um sistema no instante , no somente todas as
propriedades do sistema naquele instante esto descritas, mas tambm as propriedades
em qualquer instante subseqente (tudo isso, naturalmente, em termos do conceito de
descrio completa admitido pela mecnica quntica). Matematicamente isto quer dizer
que a derivada primeira no tempo, no instante determinada pelo valor de no
mesmo instante. Como a teoria linear, essa relao tambm linear. Vamos escrev-la
assim:

(13)


onde um operador linear a ser determinado. A maneira mais direta de descobrir a
natureza de impr que, no limite clssico, as leis de Newton sejam obtidas.
Usando argumentos de mecnica avanada mostra-se que deve ser o hamiltoniano
do sistema, ou seja, a energia escrita em termos dos momento s e das coordenadas
do sistema, fazendo-se ainda a substituio

(14)


A equao (13) denominada equao de Schrdinger , e desempenha, na mecnica
quntica, papel semelhante ao da segunda lei de Newton na mecnica clssica.



Exemplos:
(2) A partcula livre unidimensional:





Equao de Schrdinger completa:

(15)


(2) A partcula livre tri-dimensional:





Equao de Schrdinger completa:

(16)


(3) Partcula sobre a ao de um potencial:
Seja a energia potencial da partcula. Na mecnica quntica o operador energia potencial,
definido por:



ou seja, a ao do operador sobre a funo consiste simplesmente em multiplic-la pelo
nmero . Exemplo:
Oscilador harmnico unidimensional:





Exerccios
1. Sejam e , respectivamente, autofunes de , com autovalores e
. . Seja .
Determinar para .
Soluo:
Temos

(17)


Portanto,

(18
)


(a) Mostre que, nas condies acima,



(b) Demonstre a Eq.(17).
(c) As funes , e so
solues estacionrias da equao de Schrdinger de uma partcula livre. Escreva essa
equao de Schrdinger e mostre que isso verdade. A soma das trs uma soluo da
mesma equao, logo a funo de onda de um estado de partcula livre. Se o sistema
se encontra neste estado, quais os valores da energia que podem ser obtidos numa
medida da energia do sistema, e qual a probabilidade relativa deles. Por que eu estou
falando de probabilidades relativas, em vez de em probabilidades simplesmente?


2.A funo de onda de uma partcula livre de massa , em movimento ao longo do
eixo , , em , dada por

(19)


(a) Verifique se ela est normalizada.
(b)Usando

(20)


expanda (da Eq.19) em autofunes simultneas do momento e da energia ,
. Se a expanso for escrita



mostre que



e que, portanto,

(21)


(c) Agora, num esforo de reportagem, calcule a integral em Eq.(21). (Use a Eq.(20)
trivialmente modificada). Voc deve achar

(22)


(d)Verifique que a funo de onda da Eq.(22)satisfaz a equao de
Schrdinger para a partcula livre.
A derivada no tempo de um operador
Diremos que um operador a derivada no tempo do operador se, sendo o
valor mdio de num estado arbitrrio, e o valor mdio de nesse mesmo
estado, tivermos

(23)


Explicitando, devemos ter

(24)


Usando a equao de Schrdinger , obtemos





Usando esses resultados em (24), temos

(25)


O termo que contm a derivada parcial do operador s existe quando a expresso do operador contm
parmetros que dependam do tempo. Por exemplo, se tivssemos uma partcula livre de massa varivel,
seu hamiltoniano seria

(26)


e a derivada em questo seria dada por



Na grande maioria dos casos este termo inexistente.
Voltando Eq.(25), e usando o fato de que hermiteano, temos

(27)


e, conseqentemente,

(28)


Como, por definio,



temos que

(29)


Como dissemos, o caso mais importante aquele em que (diz-se ento que o
operador no tem dependncia explcita no tempo.) Neste caso,

(30)


Vemos ento que, se , , e

(31)


Na mecnica quntica, a constncia de uma quantidade fsica no tempo quer dizer isto:
que o valor mdio dessa quantidade independe do tempo. Considere o operador .
Temos, evidentemente, que , logo, se no depende explicitamente do
tempo,

(32)


e . A quantidade fsica associada ao hamiltoniano a energia . Logo, a
energia se conserva, na mecnica quntica.

Como , sendo a integral estendida a todo o espao, temos que

(33)


Eliminando as derivadas no tempo pelo uso da equao de Schrdinger , temos:





Segue ento que , ou seja, que hermiteano.

O comutador de e
Como , temos

(34)


que leva a

(35)


Logo, temos a igualdade entre operadores:

(36)


onde o operador unidade, definido por

(37)


qualquer que seja .
Obviamente isto vale tambm para as outras componentes. Numa forma geral. temos:


Na equao de Schrdinger

(39)


procuremos solues da forma

(40)


que so um produto de uma funo s de por uma funo s de . Explicitando a
forma do hamiltoniano,

(41)


reescrevemos a Eq.(39) assim:

(42)


que pode ser reescrita:

(43)


Dividindo por , temos

(44)


O primeiro membro no depende de , ou seja, s pode depender de . Ele igual ao
segundo membro, que no pode depender de . Logo, o primeiro membro no depende
nem de nem de : no dpende ento de nada: constante. O segundo membro, por
fora da equao, igual ao primeiro, e ento tambm constante. Designemos esta
constante por . Teremos ento

(45)


ou

(46)


que integrada facilmente, dando

(47)


Logo,

(48)


Note-se que



o que mostra duas coisas importantes:
1. Os da forma so autofunes do hamiltoniano.
2. o autovalor do hamiltoniano, e, portanto, a energia do sistema, quando neste
estado.
Estados da forma

(49)


so chamados estados estacionrios. O nome devido ao fato de que a densidade de
probabilidade de posio, , independente do tempo, pois

(50)


pois .
Os estados estacionrios so extremamente importantes na descrio quntica da
natureza, no s por representarem os estados que tm energia definida, mas tambm
porque o conjnto dos autoestados do hamiltoniano, que so os estados estacionrios,
completo. Isto significa que qualquer estado pode ser representado como uma
combinao linear de estados estacionrios.
A determinao dos estados estacionrios de um determinado hamiltoniano feita
normalmente resolvendo-se a equao, dita equao de Schrdinger independente do
tempo,

(51)


Resolver esta equao significa no s determinar , mas o par( ). O
nmero o autovalor de associado autofuno . Problemas desse tipo
so chamados, em matemtica, problems de autovalores .
Poo quadrado unidimensional infinito
Este o problema mais simples envolvendo um sistema localizado. Uma partcula
move-se livremente ao longo do eixo , exceto pelo fato de que, nas posies
e , existem paredes impenetrveis: exige-se, isto , que a probabilidade de a
partcula estar fora do intervalo seja estritamente . Formalmente isto se
realiza exigindo que a funo de onda da partcula seja nula nas paredes, que podem ser
consideradas infinitamente espessas. Portanto, para e para .
Procuremos os estados estacionrios. Na regio interna s paredes, temos

(52)


onde um nmero positivo ou nulo. (O ``fundo do poo'' o ponto de energia zero,
por definio). A Eq.(52) pode ser reescrita como

(53)


e, introduzindo

(54)


temos

(55)


Esta uma equao diferencial bem conhecida. Sua soluo geral :

(56)


Temos, adicionalmente, as condies de contorno

(57)


Para satisfazer , basta tomar , pois o seno se anula automaticamente
em . Ento, antes de usar a segunda condio de contorno, temos

(58)


A segunda condio de contorno exige que

(59)


e sabemos que o seno se anula em qualquer arco da forma , com inteiro
qualquer. Logo, devemos ter

(60)


ou seja, tem seus valores restritos aos da forma

(61)


onde acrescentamos um ndice a para maior clareza. Em suma, as solues da
equao de Schrdinger (52) que satisfazem as condies de contorno (57) so

(62)


com .
9

Note-se que a condio de a funo de onda se anular em que restringe os
valores de , e portanto os valores da energia , j que

(63)


Diferentemente do que acontece na fsica clssica, a energia no varia continuamente:
do valor passa-se, a seguir, ao valor , e

(64)


Temos, isto , um espectro discreto para a energia . Espectros discretos para a energia
esto sempre ligados ao fato de o sistema ser localizado, isto , ter localizao restrita a
uma parte finita do espao. Sistemas que podem estar em toda a parte, como partculas
livres, tm espectro contnuo.
til normalizar as funes de onda: os postulados interpretativos ficam mais simples,
quando isto feito. Para tanto, vamos exigir que

(65)


ou

(66)


Usando a relao



obtemos

(67
)


Logo, e podemos escolher , j que a fase da funo de onda
arbitrria. Assim,

(68)


leitor no ter dificuldades em mostrar o resultado mais geral:

(69)


que exibe a ortogonalidade das funes de onda correspondentes a energia s diferentes.
A funo de onda completa para esses estados estacionrios ento

(70)


com .
Estados no estacionrios, na realidade estados quaisquer, podem ser obtidos por
combinaes lineares desses .




















Poo quadrado unidimensional
Uma partcula de massa se move sob a ao de um campo de foras que confere
partcula uma energia potencial tal que

(71)


como descrito na figura.


Vamos considerar primeiro o caso , onde a energia total da partcula. No
caso clssico, a partcula no pode atingir as regies I e III. De fato, sua energia total
, ou seja, . Nas regies I e III temos
, o que daria . Mas , o que daria uma energia
cintica negativa, impossvel.
10

Na regio II no h problema, pois teramos

(72)


e possvel ter energia cintica positiva mesmo com .
A equao de Schrdinger para os estados estacionrios

(73)


Para ou , temos , e



(74)



(75)


Pondo

(76)


temos

(77)


cuja soluo geral

(78)


Para o termo em inadequado, pois daria uma probabilidade de
localizao da partcula tendendo a infinito para . Logo, temos de tomar
. Assim,

(79)


Por um raciocnio anlogo,

(80)


Nas solues acima e so constantes arbitrrias, a determinar posteriormente.
Na regio interna, , e a equao

(81)


ou

(82)


Pondo

(83)


temos a soluo geral

(84)


Conectando as solues
A energia potencial descrita acima uma funo descontnua, e portanto no-
diferencivel, nos pontos e . A equao diferencial deve ser, ento,
tratada como 3 equaes, uma para cada regio onde contnua e diferencivel.
Por isso a resolvemos separadamente para as regies I, II e III. O potencial descontnuo
uma idealizao de um potncial semelhante, mas de ``bordas arredondadas'', alguma
coisa assim:


A razo prtica para tratar o potencial idealizado, e no o ``real'', que assim muito
mais fcil resolver a equao diferencial.

Landau[3] trata, no exerccio 5 do 23, um problema do tipo acima, em que o potencial



possvel determinar os nveis de energia e as funes de onda dos estados estacionrios, mas o uso de
funes hipergeomtricas torna desaconselhvel seu tratamento em um curso introdutrio.
O preo que se paga pelo uso de um potencial descontnuo : como ``ligar'' entre si as
solues das trs regies? A matemtica nos d a chave: como a equao diferencial
de segunda ordem, sua soluo determinada dando-se, em um ponto, o valor da funo
e de sua derivada primeira. Ento, para conectar as regies, procedemos assim: em um
ponto comum s regies I e II (este ponto ) exigimos que e
, onde a soluo na regio I, e a soluo na regio
II. Para conectar as regies II e III, agimos da mesma forma:



Em ,

(85)




(86)


Em ,



(87)



(88)


uma questo de tcnica determinar as constantes. Dividindo (85) por (87) temos:

(89)


Pondo , temos

(90)


Dividindo (86) por (88) temos

(91)


ou

(92)


Combinando (90) e (92), temos

(93)


De onde se tira sem dificuldade que

(94)


Isto nos informa que temos ou ou . Para as funes so, na
regio , cosenos, ou seja, so funes pares de . Para , so
senos, ou seja, funes mpares de . Vamos tratar os dois casos separadamente.

(i) (funes mpares).



(95)


(96)



(97)


Note que , pois , j que a funo mpar.
Para temos as relaes:


(98)


(99)


desnecessrio fazer uso das relaes em , porque, sendo a funo mpar,
elas repetem as relaes em . Dividindo a de cima pela de baixo, obtm-se:

(100)


esta equo que ir determinar para que valores da energia existem estados
estacionrios nesse poo. Equaes deste tipo (que no so equaes algbricas
11
, e s
em raros casos podem ser resolvidas analiticamente. Este no , infelizmente, um desses
raros casos. Recorre-se ento a solues numricas. Neste particular caso, porm,
possvel usar um mtodo grfico que ilustra muito bem as caractersticas gerais da
soluo.
Em primeiro lugar, vamos escrever (100) de outra forma. Introduzo as variveis
e , que so tais que

(101)


ou

(102)


Nessas variveis, a equao (100) fica

(103)


Mas

(104)


logo,

(105)


e a equao (103) se escreve

(106)


Cada soluo desta equao d um valor de , e, portanto, um valor de , ou seja, de
. Esta , por isso, a equao para os autovalores da energia .
A idia a seguinte: trao os grficos da funo e da funo que est no segundo
membro de (106). Onde as curvas se cortem estaro os valores de que so as solues
de (106).
Para traar a curva da funo que est no segundo membro, vamos estudar um pouco
suas propriedades. Vamos analisar a funo

(107)


Sua derivada pode ser escrita, aps alguma lgebra,

(108)


e sempre negativa, tornando-se para , isto

(109)


O grfico abaixo contm as curvas e As solues da equao

(110)


so as intersees dessas duas curvas. Como e , os
valores de que satisfazem a equao acima permitem calcular os valores de
correspondentes. Esses sero os valores possveis para a energia do sistema.


Na figura, as curvas contnuas so a funo e a curva pontilhada a funo .
Os pontos e correspondem s solues da equao.


Vemos assim que o nmero de autovalores da energia para os estados mpares finito,
podendo ser nulo (se ).




(ii) (solues pares).
Neste caso as equaes ficam:


(111)



(112)



(113)



(114)


Comparando (111) com (113) vemos que . Dividindo (114) por (113) temos,
ento,

(115)


e, introduzindo de novo as variveis e ,

(116)


com

(117)


de maneira que a equao que determina os autovalores da energia

(118)


Seja

(119)


Temos que ( ) e , e, ainda,


(120)



(121)




A figura mostra algumas solues da equao para os autovalores da energia . So as intersees entre a
curva pontilhada e o grfico da tangente. Note-se que, por pequeno que seja , sempre haver ao
menos uma soluo.

Podemos concluir ento que o poo quadrado possui sempre solues de energia
negativa. Os autovalores da energia de tais estados so discretos e em nmero finito. O
menor valor, correspondente ao estado fundamental, ocorre para um estado cuja funo
de onda par.
A equao da continuidade
O interpretao probabilstica da mecnica quntica introduzida pelo postulado de
Born
12
, que diz que a probabilidade de a partcula, cuja
funo de onda , estar, em um determinado instante, num elemento de
volume em torno do ponto de coordenadas .
Queremos examinar o que ocorre com quando o movimento da partcula
levado em conta.
A equao de Schrdinger diz que

(122)


Tomando-se o complexo conjugado, termo a termo, temos

(123)


Multiplicando (122) direita por e (123) esquerda por e subtrando, obtemos

(124)


O segundo membro pode ser posto numa forma mais transparente, notando que

(125)


ou

(126)


Tomando o complexo conjugado desta relao:

(127)


Subtrando (127) de (126),

(128)


Levando (128) ao segundo membro de (124), chega-se a

(129)


Introduzindo as notaes


(130)



(131)


temos, ento,

(132)


que tem a forma da equao da continuidade, conhecida seja da mecnica dos fluidos,
onde explicita a conservao da massa do fluido, seja do eletromagnetismo, onde faz o
mesmo para a conservao da carga. Poderamos ento dizer que ela expressa, aqui, a
conservao de probabilidade.
Assim como, no eletromagnetismo, a equao da continuidade fornece detalhes sobre
como se d a conservao da carga
13
, na mecnica quntica ela faz o mesmo com a
probabilidade.
Aqui convm adotar uma linguagem que, embora eqivalente, mais familiar do que a
que usamos at agora. Suponhamos que, em vez de uma partcula, considerssemos um
conjunto de rplicas da partcula, idnticas, ou seja, com a mesma funo de onda, e
independentes, isto , que no interagem. Sejam essas rplicas. Se normalizarmos a
funo de onda de modo que

(133)


estendendo-se a integral a todo o espao, e considerarmos um volume delimitado por
uma superfcie fechada, a integral

(134)


dar, no a probabilidade de uma partcula estar em , mas o nmero de
partculas, das existentes, que esto dentro de . Seja o campo das normais
externas superfcie . Temos

(135)


onde, na ltima passagem, fizemos uso do teorema do divergente. Suponhamos que
decresa com o tempo. Ento , e

(136)


A Eq.(136) mede, portanto, o nmero de partculas que, na unidade de tempo, saem do
volume , atravessando a superfcie
14
(este saem, para ser mais preciso, o
nmero de partculas que saem menos o de partculas que entram, por unidade de
tempo). Depreende-se disso que, se um trecho infinitesimal de uma superfcie, e
se for uma normal a ela, ento



o nmero (resultante) de partculas que atravessam por unidade de tempo no
sentido indicado pela normal. Se o nmero for negativo, o fluxo majoritrio ser no
sentido de .
A barreira de potencial
Uma partcula de massa se move num campo de foras, com uma energia potencial
da forma




ou,



sendo sua energia total localizada entre e . Vamos procurar seus estados
estacionrios. Para especificar mais o problema, digamos que a partcula incide sobre a
barreira vindo da esquerda.
Se estivssemos tratando de estados localizados (pacotes de onda), a caracterizao
deste particular problema (incidncia da esquerda para a direita) seria trivial. Mas, para
estados estacionrios, isto , tais que a probabilidade de posio no depende do tempo,
isto mais sutil. Recorramos a uma imagem clssica. Para conseguir um fenmeno
anlogo (isto , sem dependncia temporal) na mecnica clssica, precisamos recorrer a
muitas partculas, incidindo sobre a barreira da esquerda para a direita. Imaginemos um
fluxo contnuo dessas partculas. Depois de um certo tempo, teremos uma figura que
no se altera mais, constituda por um certo nmero de partculas incidindo sobre a
barreira, superpostas a um fluxo de partculas refletidas por ela. Embora cada partcula
esteja se movendo, o conjunto todo parece parado, no regime estacionrio. O fato de as
partculas virem da esquerda pode ser descoberto, neste regime estacionrio, pelo fato
de que h partculas refletidas esquerda da barreira.
Passemos ao caso quntico. No regime estacionrio esperamos ter, como no caso
clssico, ondas incidentes e ondas refletidas, esquerda da barreira. Mas, e esta a
principal diferena introduzida pela mecnica quntica neste problema, pode haver
ondas saindo da barreira, no lado direito. O que caracteriza, ento, o problema
estacionrio como advindo de uma partcula incidente da esquerda para a direita que,
do lado direito da barreira, existem apenas partculas afastando-se da barreira.
Para temos as regies I e III, onde a partcula no est sujeita a nenhuma
fora. Nestes casos,

(137)


ou

(138)


onde usamos

(139)


A soluo geral de (138)

(140)


e um estado estacionrio, portanto, com dependncia temporal dada por uma
exponencial:

(141)


onde

(142)


A corrente de probabilidade



d, para a as parcelas que constituem a funo (140):
(i)Para ( ),

(143)


ou seja, representa uma partcula com velocidade positiva, movendo-se da
esquerda para a direita.

(ii) Para , temos , e a partcula se move da direita para a
esquerda.

Para fixar o nosso problema, diremos ento que, na regio I teremos

(144)


que inclui a partcula incidente ( ) e a refletida ( ).
Na regio III tenderamos a supor que a funo de onda fosse zero, baseando-se na
mecnica clssica, pois uma partcula clssica no pode atravessar a barreira: na zona II
ela teria uma energia cintica negativa! Porm, se fizessemos esta hiptese, no
encontraramos soluo. Pomos, ento,

(145)


que descreve uma partcula que, vindo da esquerda, ultrapassou a barreira.
Finalmente, dentro da barreira (regio II), a equao de Schrdinger

(146)


ou

(147)


com

(148)


A soluo geral desta equao de Schrdinger

(149)


Vamos denominar ``funo de onda incidente'' ao termo

(150)


``funo de onda refletida'' ao termo , e ``funo de onda transmitida'' ao
termo .
A densidade de corrente incidente

(151)


Definimos

(152)


como a densidade de corrente refletida, e

(153)


como a densidade de corrente transmitida. Ento, devemos ter (para que no
desapaream partculas),

(154)


Definido os coeficientes de reflexo e transmisso por


(155)


(156)


podemos ento escrever a relao entre as correntes como

(157)


Note que a densidade de corrente dentro da barreira zero (calcule!). Logo, usando

(158)


vemos que, dentro da barreira, , ou seja, constante. Logo, no h variao
no nmero de partculas, dentro da barreira.
Condies de contorno
A continuidade das funes de onda e suas derivadas em e d as
seguintes condies:
(i) Para :



(159)



(160)



(ii) Para :



(161)



(162)


Dividindo (161) por (162):

(163)


de onde se tira

(164)


Como a funo de onda dentro da barreira

(165)


temos, escrevendo em termos de ,

(166)


onde se v que o termo dominante a exponencial decrescente .
Voltando equao (161), obtm-se facilmente que

(167)


e

(168)


Vamos introduzir as quantidades

(169)


As equaes (159),(160),(161), (162) ento ficam:



(170)



(171)



(172)



(173)


Como ,temos

(174)


Introduzindo os smbolos auxiliares

(175)


e

(176)


podemos, aps alguma lgebra, obter

(177)




(178)


e

(179)


de onde se v que o comportamento assinttico de dado por

(180)


que revela, ao mesmo tempo, a inevitabilidade do tunelamento (a ausncia de
tunelamento seria ) e se trata de um efeito pequeno, para valores apreciveis
de .
Posteriormente, quando estudarmos a aproximao quase-clssica, seremos capazes de
obter expresses mais simples para o tunelamento.















A funo delta de Dirac
Considere a funo , definida assim:





Temos, claramente,

(181)


Seja uma funo contnua. Ento,

(182)


No limite para , esta ltima integral d



de forma que a Eq.(182) pode ser escrita

(183)


A funo delta de Dirac, definida, simbolicamente, como o limite, para ,
da funo . Suas propriedades, que podem ser motivadas por esse limite, podem
ser sintetizadas assim:





Nessas relaes a integral no precisa realmente ir de a . Basta que seja em
um intervalo que contenha o ponto em que o argumento da funo delta se anula.


Estritamente, tal funo no existe. Trata-se de um smbolo que abrevia muito os clculos. Atendo-se s
regras exibidas, nenhum dano causado, a no ser lgica, a vtima usual. A teoria que justifica essas
operaes e restitui a implacabilidade da lgica foi desenvolvida pelo grande matemtico francs Laurent
Schwartz, e se chama ``teoria das distribuies''. Para um tratamento adequado da ``funo delta''
recomendamos as notas que se encontram no site do professor Joo Carlos Alves Barata,no endereo:
http://denebola.if.usp.br/~jbarata/Notas_de_aula/arquivos/nc-cap12.pdf
Outras relaes importantes envolvendo a ``funo delta'' so as seguintes:



(184)



(185)



(186)



(187)



(188)


onde, nesta ltima, se tem .

Integral de Fourier
A integral de Fourier instrumento fundamental na mecnica quntica. Trata-se de uma
extenso das sries de Fourier que permite obter expanses de funes que no so
peridicas. Este no o lugar para se adquirir fluncia no uso, e uma boa compreenso
dos mtodos da anlise de Fourier. O leitor dever dedicar algum estudo a este tpico,
presente em todos os livros de fsica-matemtica. De minha parte recomendo o livro de
Arnold Sommerfeld, Partial Differential Equations of Physics. Um belssimo livro de
matemtica sobre este mesmo tema, Krner, Fourier Analysis, um dos livros mais
bonitos que j li.
A integral, ou transformada, de Fourier de uma funo , uma funo a ela
ligada pelas relaes



(189)



(190)


Pode-se verificar a consistncia dessas relaes com o uso da funao :





A transformada de Fourier de uma funo constante, , :



ou seja, a transformada de Fourier de uma constante um mltiplo de . Um outro
resultado importante a transformada de Fourier de uma gaussiana: seja
. Sua transformada de Fourier



ou seja, a transformada de Fourier de uma gaussiana outra gaussiana.



O espectro contnuo
A equao de Schrdinger de um sistema fsico de hamiltoniano



Suponhamos que seja um estado estacionrio, ou seja, que



Inserindo-se esta expresso na equao de Schrdinger , obtm-se uma equao para
, que

(191)


conhecida como equao de Schrdinger independente do tempo. Resolv-la
determinar o par , onde um nmero.
Para exemplificar, vamos tratar um caso muto simples: uma partcula livre, de massa
, que se move ao longo do eixo . Neste caso



e a Eq.(191)

(192)


Introduzindo



podemos reescrever a equao acima assim:

(193)


cuja soluo geral

(194)


com e arbitrrios. Existe soluo para todo , e, como



existe soluo para todo . Diz-se ento que o espectro contnuo.
Seja um operador associado a uma quantidade fsica de espectro contnuo.
Escreveremos a equao de autovalores assim:

(195)


onde o ndice agora varia continuamente. Como veremos mais tarde, as autofunes
associadas a um espectro contnuo no so normalizveis, isto , no possvel impor
para elas a condio



Exemplo: a funo de onda de um estado estacionrio de uma partcula livre, cuja parte
espacial vimos na Eq.(194),

(196)


onde usamos . Ento



e, por isso,



A seguir vamos descobrir uma maneira de normalizar adequadamente as autofunes
ligadas a um espectro contnuo.
Seja uma funo de onda normalizvel. A expanso dela em autofunes da
quantidade fsica , cujo espectro contnuo,

(197)


Queremos que seja a probabilidade de que, efetuada uma medida de , o
valor obtido esteja entre e . Logo, . Da mesma forma,
. Segue que

(198)


e, como

(199)


tambm que

(200)


Comparando o primeiro termo com o ltimo, temos

(201)


que permite calcular os coeficientes da expanso .
Rescrevendo a expanso acima como e usando-a na Eq.(656), temos

(202)


Mas

(203)


Comparando as duas ltimas, obtm-se

(204)


que a relao de ortogonalidade para autofunes do espectro contnuo.
Conseqentemente, as relaes bsicas para o espectro contnuo so:


(205)



(206)


(207)



(208)








O oscilador harmnico
Subsections
Exerccios

Uma partcula de massa executa movimento unidimensional sob a ao de uma fora
elstica . Isto um oscilador harmnico. Sua energia potencial
, e. portanto, a equao de Schrdinger para estados estacionrio

(209)


Note-se que .
A Eq.(209) pode ser escrita na forma

(210)


Daqui se v que

(211)


Considere os operadores

(212)


Um clculo simples mostra que

(213)


de maneira que, usando (211),

(214)


Um outro clculo simples resulta em

(215)


A Eq.(214) d








(216)



Lema 1: Seja um estado estacionrio do oscilador harmnico de energia . Ento
um estado estacionrio de energia .
Dem.:











Ou,

(217)


Analogamente se mostra que

(218)



Lema 2: A energia do oscilador harmnico .
Dem.: Esta demonstrao depende de um Lema, demonstrado mais adiante,
15
junto
Eq.(290). Como pode ser escrito como a soma de dois operadores hermiteanos ao
quadrado,



segue que . Como os autovalores de um operador so casos particulares de
seus valores mdios (quando os estados so as autofunes), a desigualdade acima
probe a existncia de autovalores negativos do hamiltoniano.
Em decorrncia disso, deve haver um estado tal que

(219)


De fato, se no fosse assim, dada qualquer autofuno do hamiltoniano do oscilador
harmnico, a aplicao a ela do operador geraria uma outra autofuno , de energia
menor, o processo podendo se repetir indefinidamente, at se chegar a energia s
negativas, o que proibido.
Explicitamente esta ltima equao

(220)














(221)


Esta a funo de onda do estado estacionrio do oscilador harmnico. A energia desse
estado obtida assim:

(222)


Logo, temos

(223)


O estado de energia imediatamente mais alta, chamado de primeiro estado excitado, tem
a funo de onda

(224)


ou

(225)


e possui energia

(226)


Mais geralmente,

(227)




(228)


e, com algum esforo, pode-se mostrar que

(229)




Vamos fazer o esforo mencionado acima. Seja a autofuno normalizada do estado
fundamental do oscilador harmnico. Ento,

(230)


e seja

(231)


Temos, obviamente,

(232)


de onde se deduz que

(233)


Considere a integral de normalizao de :

(23
4)


onde usamos o fato de que o adjunto de . Pela equao (214), temos

(235)


Logo, podemos escrever

(236)


Iterando este procedimento, teremos

(237)


ou

(238)


Prosseguindo, chegaremos a

(239)


ou seja,

(240)


Portanto,

(241)


Um oscilador harmnico que no oscila decepcionante. Se calcularmos o valor mdio
da posio, , nos estados estacionrios do oscilador harmnico, que vimos at
agora, encontraremos (e o leitor deve obter isso por conta prpria!)

(242)


ou seja, nenhuma oscilao! Estados estacionrios no so apropriados para comparar o
sistema quntico com o anlogo clssico. Para obter alguma coisa semelhante a um
pndulo, devemos estudar pacotes de onda. Os particulares pacotes de onda que vamos
estudar agora se chamam estados coerentes. Consideremos as autofunes do operador
, introduzido acima. Como no comuta com , as autofunes de no
sero, em geral, autofunes de , ou seja, no sero estados estacionrios. Sejam
ento funes tais que

(243)


Como o operador no hermiteano, os autovalores sero nmeros complexos
quaisquer.
Lembremos que os estados estacionrios podem ser escritos em termos do estado
fundamental assim:

(244)


Vai ser importante nos clculos que faremos a seguir a seguinte quantidade:





(245)


Vamos agora expandir em estados estacionrios. Para simplificar a notao,
vamos introduzir a abreviao























(246)




(247)


A constante determinada normalizando-se , como segue:





Logo,



Voltando expanso,

(248)


Para obter a dependncia temporal de precisamos demonstrar um resultado
geral:

Teorema: Seja o hamiltoniano de um sistema fsico, e sejam suas autofunes. Sabemos
que



onde os so os autovalores de , ou seja, satisfazem as equaes



Seja um estado qualquer desse sistema, e



sua expanso nas autofunes de no instante . Ento,

(249)


onde os so os mesmos da expanso em .
A demonstrao consiste em mostrar que satisfaz a equao de Schrdinger



com a condio inicial .
De fato,











A verificao da condio inicial trivial.


Aplicando este teorema Eq.(248), temos

(250)


ou







(251
)


Comparando com a Eq.(248), v-se que:

(252)


com

(253)


Podemos agora calcular no estado .

(254)


Da definio de e obtm-se facilmente que



logo,

(255)


Mas



e, como o adjunto de ,



Logo,

(256)


Pondo , temos



e

(257)


e surgiu finalmente a oscilao procurada! O valor mdio da posio, nesse estado,
oscila exatamente como no caso clssico.
Exerccios
Para uso nos exerccios subseqentes, apresentamos aqui uma tabela de funes de onda
de estados estacionrios do oscilador harmnico.





0


1


2


3


4



onde .



1.(a) Mostre que o parmetro que aparece na tabela igual ao deslocamento mximo
de um oscilador clssico de energia .
(b) Verifique que a expresso satisfaz a equao de Schrdinger
para o movimento harmnico simples com energia . Qual o valor para ?

2. Considere o meio-oscilador harmnico, isto , uma partcula cuja energia potencial








(a) Compareas funes de onda dos estados estacionrios deste sistema com as do
oscilador harmnico normal com os mesmos valores de e .
(b) Quais so as energia s permitidas para o meio-oscilador?
(c) Invente um sistema que seria o anlogo macroscpico deste sistema quntico.

3. Regies classicamente proibidas para o oscilador harmnico simples.
Usando a funo de onda normalizada para o estado fundamental do oscilador
harmnico, calcule a probabilidade de que uma observao da posio detete a partcula
numa regio classicamente proibida. A integral que voc obter no pode ser resolvida
analiticamente. Olhe o resultado numrico numa tabela da error function, ou nos
programas Maple ou Mathematica.

4. A tabela exibe as funes , denominadas polinmios de Hermite.
(a)Mostre que uma funo geratriz dos polinmios de Hermite, isto , que



ao menos at . Determine .
(b) Tomando a derivada desta expresso, demonstre as relaes de recorrncia







5. Valendo-se da expresso das funes de onda do oscilador harmnico, mostre que
devemos esperar que











Operadores unitrios e simetrias
Subsections
Exemplos de operadores unitrios
Exerccios

As quantidades observveis (resultados de medidas) aparecem, na mecnica quntica,
sob a forma de produtos escalares de estados,



Um caso particular importante um ``elemento de matriz'' de um operador :



Como toda teoria, a mecnica quntica admite transformaes ``de linguagem'': por
exemplo, quando eu descrevo o mesmo fenmeno usando dois sistemas de eixos
ortogonais, obtenho descries distintas do mesmo fenmeno. Essas descries devem
ser equivalentes, j que representam a mesma coisa de pontos-de-vista distintos. como
se eu descrevesse o mesmo fenmeno em ingls e em alemo: as descries so
diferentes, mas tm o mesmo contedo.
Como as quantidades fsicas so representadas pelos produtos escalares de estados,
importante o estudo dos operadores que conservam os produtos escalares, ou seja, dos
operadores que so tais que

(258)


ou, mais explicitamente,

(259)


Um operador linear unitrio, por definio, se

(260)


Seja um operador unitrio e considere as transformaes de funes de onda:





Ento,



o que mostra que uma transformao implementada por um operador unitrio conserva
os produtos escalares. Mais detalhadamente, considere o produto escalar



Sejam





Podemos escrever



Logo,



Podemos interpretar este resultado assim: considere as transformaes





Ento, temos:



onde a transformao de pela ao do operador linear . Diz-se
que um operador invariante por uma transformao unitria se



ou, equivalentemente, se

(261)


Exemplos de operadores unitrios
O leitor verificar sem dificuldade que o operador , definido por



unitrio. Para dar exemplos mais ricos, precisaremos definir a exponencial de um
operador.
Define-se assim:

(262)


onde, naturalmente, se pode escrever em vez de , etc. A idia usar a
expanso da funo exponencial numrica como modelo da expanso do operador.
Usando-se esta definio, pode-se demonstrar a importante relao de Baker-Hausdorff-
Campbell:

(263)


Uma aplicao imediata esta: para , temos



pois . Logo, o operador inverso de .
Considere um operador da forma , com , ou seja, hermiteano. Temos
ento,



Logo,



ou seja, unitrio se for hermiteano.
Exemplo: os seguintes operadores so unitrios:





Chama-se operadores unitrios infinitesimais operadores da forma



com . Note-se que um operador desse tipo o truncamento da srie que
define o operador unitrio que mantm apenas os dois primeiros termos. Ou seja,
um operador unitrio infinitesimal satisfaz a condio de unitaridade desde que se
desprezem termos que contenham potncias quadrticas de ou maiores.
Explicitamente, temos, se , , e



Seja um operador invariante por uma transformao implementada pelo operador
unitrio infinitesimal . Ento



Logo, devemos ter . Sumarizando:
Seja invariante pela transformao unitria . Ento, .
Define-se simetria de um sistema com hamiltoniano uma transformao unitria que
deixa o hamiltoniano invariante. Seja uma simetria. Ento, por definio,
. Ora, isto significa que o operador , ou, em outras palavras,que a
quantidade fsica associada ao operador hermiteano conservada. Desta forma
associamos simetrias a leis de conservao : a cada simetria corresponde uma
quantidade conservada. Este resultado, na fsica clssica, conhecido como o teorema
de Noether.
Exerccios
1.(a)Construa o adjunto do operador onde um nmero real.
(b) Mostre que .

2. Os trs operadores , e so dados por





(i)Calcule e .
(ii)Resolva o problema de autovalores



exigindo que seja normalizvel. Que restrio isto impe sobre ?

3. Determine o operador unitrio que efetua, sobre a funo de onda de um sistema, uma
translao espacial , onde um ``vetor infinitesimal''. Usando o
fato de que uma sucesso de translaes independe da ordem em que so realizadas,
demonstre que os operadores de momento , e comutam. Aproveite para
mostrar que esses operadores so hermiteanos, sem calcular qualquer integral.


















Rotaes e o momento angular
Uma partcula de massa est em um estado de funo de onda . Vamos
executar uma rotao infinitesimal sobre o sistema.
16
Em sua nova posio, a
funo de onda ser



desprezando-se os termos a partir dos quadrticos em . Como



podemos escrever











(264)




(265)


Denotando o operador por , temos

(266)


O operador denominado momento angular, e escrito, mais detalhadamente, como



Da Eq.(264) se tira a expresso

(267)


ou, para as componentes,



(268)



(269)



(270)


Como hermiteano (por que?),



unitrio, e a parte infinitesimal de



que, atuando sobre a funo de onda de um sistema, produz a funo de onda do
mesmo, rodado de .

Exemplo:
(1) Rotao em torno do eixo : usando coordenadas esfricas, uma rotao em torno do eixo muda o
valor da coordenada . A rotao que leva em caracterizada por ,
com . Logo,



Seja a funo de onda do sistema (explicitamos apenas o argumento que ser alterado. A funo
de onda normalmente depender de , e , quando o sistema descrito em termos de coordenadas
esfricas). A rotao considerada leva . Mas



para transformaes infinitesimais, e usando a frmula dos acrscimos finitos do Clculo. Outra maneira
de escrever isto



Comparando as duas expresses, tira-se facilmente que

(271)


A expresso explcita dos operadores , e em coordenadas esfricas pode
tambm ser obtida diretamente da Eq.(270) utilizando as frmulas de transformao





Trata-se de um clculo simples mas trabalhoso. Vamos seguir um caminho indireto mas
mais iluminante. Primeiro, conveniente medir o momento angular em unidades de ,
isto , introduzir o operador tal que



onde , de novo,



As expresses para as componentes de so, como segue de (270),



(272)



(273)



(274)


Por um clculo direto, ou pelo uso da regra de Dirac
17
obtm-se:

(275)


Como as componentes no comutam entre si, no h autofunes comuns dessas
componentes. Introduzindo o momento angular total



observamos que



Como

(276)




(277)




(278)


segue que



A direo no tendo nenhum privilgio, segue que:



Sendo assim, podemos construir autofunes comuns a e uma das componentes de
. Por causa da expresso simples de em coordenadas esfricas, escolhemos o par
, .























Autofunes do momento angular
Subsections
As autofunes da componente z do momento angular
Autofunes simultneas do momento angular total e da componente z
o Construo dos harmnicos esfricos

Exerccios

Por razes tcnicas conveniente introduzir os operadores no-hermiteanos



(279)



(280)


Seus principais comutadores so:

(281)




(282)




(283)


todas fceis de obter. Note-se ainda que

(284)




(285)



As autofunes da componente z do momento angular
As autofunes de so funes tais que

(286)


onde um nmero. Omitimos aqui, por simplicidade, as outras variveis, e , de
que a funo em geral depende porque so irrelevantes para este problema. Como



temos, para a Eq.(286),

(287)


cuja soluo



Devemos ainda ter



o que exige que



ou seja, que seja um nmero inteiro. Vamos denot-lo por . Ento,

(288)


que satisfeita para qualquer inteiro, . Normalizando, temos

(289)



Autofunes simultneas do momento angular total e
da componente z
Seja a autofuno de de autovalor . Calculemos





Logo, se , ento



Analogamente se mostra que



Assim, usando os operadores e , pode-se varrer todo o espectro do operador .
Considere o operador



Lema:Se hermiteano,

(290)


para qualquer estado.
Demonstrao:



Em particular, segue que , logo,

(291)


A construo das autofunes de facilitada pelo fato de que a expresso de um
operador diferencial familiar fsica clssica. De fato, um clculo direto leva a

(292)


e, como



obtm-se

(293)


Acontece que o laplaceano em coordenadas esfricas

(294)


ou seja,

(295)


Os fsicos do sculo XIX resolveram o problema de determinar as autofunes de :
18

essas funes so os harmnicos esfricos, , que satisfazem as equaes de
autovalores



(296)



(297)


Os harmnicos esfricos so muito bem conhecidos. Para um estudo deles no contexto
clssico as minhas referncias preferidas so Courant [6] e Sommerfeld [9]. Nessas
notas, usando tcnicas que introduziremos a seguir, construiremos explicitamente os
. Para o momento suficiente informar que



ou seja, o produto de uma funo de por uma autofuno de .
Uma observao importante: as autofunes de so as funes para
qualquer inteiro . Quando construirmos as autofunes comuns a e , veremos
que sofrer mais restries. De fato, como temos



segue que

(29
8)


Portanto, dado , no pode ser qualquer inteiro. O maior valor permitido tal que



V-se imediatamente que permitido, mas proibido. Logo, o
mximo valor permitido de para as autofunes . Um argumento
an'alogo mostra que o menor . Resumindo,



Neste intervalo,

(299)




(300)


Assim, para cada h valores distintos de .
Construo dos harmnicos esfricos
Chamaremos de operadores vetoriais operadores do tipo



e que satisfazem as seguintes relaes de comutao com as componentes do momento
angular:

(301)


onde a costumeira conveno indica uma soma sobre os valores do ndice , e, sendo
e dois operadores desse tipo,

(302)


Exemplos: , e so, todos, operadores vetoriais.
Das relaes acima segue, em particular, que, para qualquer operador vetorial ,

(303)


Seja um operador vetorial. Ser til introduzir um ``operador escada'', da seguinte
forma:

(304)


Facilmente se verifica que

(305)


bem como

(306)




(307)


Vamos agora calcular o comutador . Lembrando que



e usando as relaes acima, temos, aps um pouco de pacincia,

(308)


Sejam as autofunes de e, em particular, seja aquela com mximo valor
de , para um dado . Vamos mostrar que

(309)


onde uma constante.



De fato,

(310)




(311)


Ora, o operador pode ser escrito assim:

(312)


Logo,a Eq.(311) pode ser escrita

(313)


Usando a Eq.(308),

(314)


Como , obtemos sem dificuldade que

(315)


ou, finalmente,

(316)


que significa que autofuno de de autovalor . Logo,

(317)


Este resultado mostra que, se determinarmos , seremos capazes de construir para qualquer ,
sem ter de resolver equaes diferenciais.
Para determinar note-se que

(318)


e





Da segue facilmente que


(319)


(320)


Dessas duas e da Eq.(318), segue que

(321)


para . Isto quer dizer que invariante por rotaes infinitesimais em
torno dos eixos , , , ou seja, invariante por qualquer rotao infinitesimal.
Logo, esfericamente simtrica, no podendo depender de ou . Mas essas so as
suas nicas variveis. Portanto, constante. A menos de normalizao , podemos
ento tomar



Considere o operador vetorial , e vamos construir o operador associado a ele,
que seria o operador



Como os operadores e so multiplicativos, vamos cometer um ligeiro abuso de
notao, omitindo a ``casinha''(acento circunflexo, verso chinesa). Assim,
escreveremos, sem a menor cerimnia,



deixando claro que se trata de operadores. J que estamos com a mo na massa, vamos
estudar, em lugar de , o operador . O operador associado a ele

(322)


Temos, ento,

(323)


ou seja,

(324)


ou ainda,

(325)


De uma maneira geral, teremos:

(326)


Para obter basta fazer uso do operador .

(327)


A determinao de feita pela normalizao dos ,

(328)


Toma-se usualmente real, o que fornece a seguinte tabela de harmnicos esfricos:









(329)


e assim por diante.
Exerccios
1. Prove que
2. Prove que, se ento , com sendo
as componentes do operador de momento angular. De fato, o resultado vale para
qualquer operador que comute com o hamiltoniano , e, portanto, para o prprio .
Enuncie e comente este ltimo caso. Mais precisamente, mostre que sempre verdade
que .
3. Mostre que o operador ``roda'' o sistema de um ngulo infinitesimal
em torno do eixo . A generalizao para ngulos arbitrrios .
Seja . Vimos no exerccio anterior que, se , ento
. Seja tal que ,e considere . Mostre
que , com o mesmo anterior. Chegue a uma concluso anloga
usando o ltimo resultado do exerccio 2.
4. Mostre que se a energia potencial de um sistema , independente de e ,
ento , para .
5. Mostramos no curso que





que, trocado em midos, quer dizer que



(a) Escreva os demais elementos de matriz dessa forma.
(b)Considere o harmnico esfrico . Temos



Por outro lado, e, usando os elementos de matriz
acima,





Logo,





Verifique cuidadosamente o argumento acima (o professor j est meio velho...) e
depois teste-o no caso particular l=1. Neste caso os harmnicos esfricos so:











Potenciais com simetria central
Chamam-se assim os potenciais que, expressos em coordenadas esfricas, so funes
apenas da varivel radial . O caso mais importante, naturalmente, o do tomo de
Hidrognio. Vamos tratar primeiramente o caso geral.

(330)


a equao de Schrdinger para estados estacionrios de uma partcula de massa
cuja energia potencial depende apenas da distncia origem. Utilizando coordenadas
esfricas, temos

(331)


onde

(332)


o operador de momento angular total (veja Eq.(294) e anteriores).
Vamos procurar solues da Eq.(331) que sejam da forma



Como , tem-se





(333)


Cancelando ,

(334)


Introduzimos agora a funo



satisfazendo . Reescrevendo a Eq.(334) em termos de , obtm-se

(335)


Esta a chamada equao radial de Schrdinger, e contm toda a dinmica. Lembrando
a condio , decorrncia de que com regular na
origem (os casos interessantes fisicamente no so aqueles em que a partcula tem
probabilidade zero de estar em qualquer lugar que no a origem!), podemos interpretar a
equao acima como uma equao de Schrdinger de um movimento unidimensional
sujeito aos seguintes ``potenciais'':(a) Uma parede impenetrvel em , que
impede a passagem da partcula para valores negativos de . (b) Um potencial do tipo
repulsivo, chamado de potencial centrfugo. (c) O verdadeiro potencial, .
O potencial centrfugo vem do fato de que a eliminao das variveis e ,
formalmente eqivalente a colocar-se em um sistema de referncia que ``gira'' com o
sistema fsico, ou seja, em um sistema no-inercial. Surgem, ento, as chamadas foras
de inrcia, das quais a fora centrfuga a mais popular.
19









O tomo de Hidrognio
Subsections
Determinando o comportamento assinttico
As solues da equao radial
Algumas propriedades do tomo de hidrognio
Exerccios

O ncleo do tomo de hidrognio cerca de 2000 vezes mais pesado do que um eltron.
Por isso se pode ignorar o movimento do ncleo e descrever o tomo simplesmente
como um eltron movendo-se com energia potencial . A Eq.(335)
ento escrita

(336)


Note-se que esta equao descreve mais do que o tomo de hidrognio: a interao de
um eltron com um campo coulombiano possui tambm casos em que o eltron no
permanece nas proximidades do ncleo, mas afasta-se indefinidamente dele: trata-se do
espalhamento de um eltron por um campo coulombiano. Aqui vamos estudar apenas os
estados ligados do eltron: aqueles em que ele est preso ao ncleo, formando um
tomo. O que caracteriza esses estados, na Eq.(336), que eles possuem energia
negativa. Portanto, estudaremos as solues do problema de autovalores dado pela
Eq.(336), com , e, portanto, .
conveniente introduzir variveis adimensionais. Substituiremos por

(337)


e a energia , ou, antes, o seu inverso, por

(338)


Deixamos ao leitor a tarefa de verificar que, efetivamente, e so quantidades
adimensionais. Verifica-se facilmente que



e que a Eq.(336) pode ser reescrita como

(339)


ou, finalmente,

(340)


Resolver este problema de autovalores consiste em determinar os pares
submetidos condio de que



que corresponde ao fato de que o tomo tem dimenses finitas.
Para resolver este problema utilizaremos uma tcnica devida a Sommerfeld. Em
primeiro lugar, estudaremos que tipos de comportamento assinttico, para grande, as
solues de Eq.(340) podem ter. Note-se que a equao

(341)


coincide com a Eq.(340) para grandes valores de . Podemos, portanto, afirmar que as
solues de Eq.(341) devem coincidir com o limite, para grandes , das solues da
Eq.(340).
Determinando o comportamento assinttico
Considere a equao

(342)


e vamos multiplicar cada um de seus termos por , obtendo



O leitor verificar facilmente que esta equao a mesma que

(343)


ou

(344)


Portanto,



onde uma constante. Mas tanto quanto as suas derivadas tendem a zero no
infinito. Logo, a constante deve ser nula, pois, calculada no infinito nula, e tem o
mesmo valor em todos os pontos. Conseqentemente,

(345)


e

(346)


As solues dessas equaes so

(347)


das quais a que satisfaz os requisitos fsicos de se anular no infinito

(348)


Este , ento, o comportamento assinttico que as solues da Eq.(340) devem ter.
As solues da equao radial
Vamos ento procurar solues da Eq.(340) da forma

(349)


sendo um polinmio em . A razo de ser um polinmio que o
comportamento assinttico de (349) deve ainda ser dado pelo termo exponencial, o que
garantido se for um polinmio. Uma anlise mais fina mostraria que, se se
admitisse que fosse uma srie infinita, sua soma seria essencialmente uma
exponencial em , alterando o comportamento assinttico.
20

Seja uma expresso da forma

(350)


onde a potncia mais baixa a primeira para assegurar que



Derivando termo a termo, temos





Inserindo estas expresses na Eq.(350), temos

(351)


O coeficiente da potncia de dado por

(352)


para que a equao diferencial seja satisfeita termo a termo. Diminuindo o valorde de
uma unidade, temos uma relao mais conveniente:

(353)


ou, equivalentemente,

(354)


Para os ndices mais baixos temos as equaes

(355)




(356)


A equao (354) muito importante. Dela vemos que, para que a srie se interrompa em
algum ponto, tornando-se um polinmio, devemos ter que . Ora, os so
inteiros, logo, a condio para que a srie se interrompa que exista um inteiro tal
que

(357)


Como



temos

(358)


ou, eqivalentemente,

(359)


que a frmula de Bohr! Voltando ao clculo das autofunes, alm da condio
, devemos ter que , de outra forma, na equao (354), o denominador se
anularia ao mesmo tempo que o numerador, no garantindo o anulamento do coeficiente
. Portanto devemos ter .
Vamos construir as primeiras solues. Tomemos A este valor
corresponde a energia



que a energia do estado fundamental do tomo de hidrognio (o de energia mais
baixa). Para este valor de podemos ter , mas no . Ento, das equaes





temos Que indeterminado, e , assim como os coeficientes de ndice mais
alto. Temos ento, para a soluo,

(360)


e

(361)


Em termos de , usando



e introduzindo



denominado raio de Bohr, obtemos, aps clculos simples,



Para o estado fundamental, temos, ento,

(362)


que tambm a funo completa, pois constante.
Para temos as possibilidades e . Para o primeiro caso,
temos, novamente, indeterminado. Para , usamos a equao (353), que d



ou seja,



A soluo ento

(363)


e

(364)


Expressando em termos de , obtemos

(365)


onde usamos a notao tradicional para os autoestados do tomo de hidrognio:
. O leitor, neste ponto, deveria ser capaz de mostrar que

(366)


No segundo caso, ,vemos, da Eq.(355), que



enquanto indeterminado. , assim como os ndices mais altos. Logo,



A expresso em termos de vem a ser

(367)


Como vimos, a funo radial fica definida quando se do os valores de e . Por isso
ela denotada por . Para o caso de a dependncia angular no trivial,
pois temos

(368)


que, nesse caso d

(369)


com podendo tomar os valores 1, 0, e -1.
Note que a energia fica totalmente determinada por . Ento, exceto pelo estado
fundamental, a cada nvel de energia correspondem mais de um estado do sistema. O
espectro dito degenerado (no bom sentido!). Considere, por exemplo, o nvel de
energia com . Podemos ter , que d um nico estado, ou , que
admite 3 valores de . No total, ento, h 4 estados neste nvel de energia . Diz-se que
o grau de degenerescncia 4. fcil provar que o grau de degenerescncia do nvel
. O numero quntico denominado nmero quntico principal.
A seguir apresentamos uma lista das partes radiais de algumas funes de onda do
tomo de hidrognio.




(370)



(371)



(372)



(373)



(374)



(375)


Algumas propriedades do tomo de hidrognio
At agora escrevemos as funes de onda assim:



Como determinar a constante ? Uma vez que os harmnicos esfricos so
normalizados por conta prpria, pois



devemos ter

(376
)


Exemplo: para o estado ,



Usando



obtemos



confirmando o valor da tabela.
De posse da expresso detalhada da funo de onda, podemos fazer perguntas
interessantes. Qual a probabilidade de o eltron estar, no estado fundamental do tomo
de hidrognio, entre e ? Ela dada por

(377)


Para que valor de a probabilidade mxima (para idnticos )? No ponto de
mximo, teremos



ou



Logo, para o tomo de hidrognio ( ), temos que a probabilidade mxima para
, o raio de Bohr!
21

Vamos calcular agora a velocidade mdia do eltron no estado fundamental.

(378)


Usando e , obtemos

(379)


onde usamos . Como



temos que o valor mdio da componente da velocidade do eltron no estado
fundamental 0. Como o estado esfericamente simtrico, o mesmo resultado deve
valer para as outras componentes. Logo,



Isto posto, podemos dizer que e eltron est em repouso, no estado fundamental?
Certamente no! Em qualquer modlo clssico com rbita circular (qualquer rbita
fechada, de fato) o eltron est em movimento e sua velocidade mdia zero. Para obter
mais informaes sobre o que o eltron faz no estado fundamental do tomo de
hidrognio, vamos calcular sua energia cintica mdia. Ela dada por:






(38
0)







Usando as integrais



e



obtemos o resultado, para ,

(381)


Logo, o eltron no est parado. E nem poderia: se tivesse momento perfeitamente
definido (no caso, nulo), sua posio teria de ser totalmente indefinida, pelo princpio da
incerteza. Como a incerteza na posio da ordem de e, da Eq.(382), vemos que a
incerteza no momento da ordem de , vemos que o produto das incerteza da
ordem de . Ou seja, o eltron tem o mnimo movimento exigido pelo princpio de
incerteza. Est to parado quanto possvel!
Exerccios
1. Os estados estacionrios do tomo de Hidrognio so denotados por .
A seguinte superposio:



com , , , um estado do Hidrognio, que no um
estado estacionrio, e no autofuno nem de nem de . Dentro deste estilo,
construa
(a) Um estado do Hidrognio que seja autofuno simultanea de e , mas no de
.
(b) Um estado do Hidrognio que seja autofuno simultnea de e , mas no de
.


2. Uma partcula livre executa movimento unidimensional ao longo do eixo , e sua
funo de onda em



onde uma constante real. Determine .


3.(a) Um sistema fsico descrito por um hamiltoniano



onde hermiteano. Mostre que hermiteano, e que se um operador hermiteano,
seu quadrado tambm . Finalmente, mostre que os autovalores da energia do sistema
so positivos ou nulos.
(b) possvel um operador ser ao mesmo tempo unitrio e hermiteano? Exemplo!
(c) Demonstre que .
(d) Demonstre que, se e so hermiteanos, tambm .
(e) Sejam e nulos. Mostre que , onde , o operador ``zero'',
tal que, qualquer que seja a funo de onda ,



Sugesto: identidade de Jacobi.

4.(a) Determine e para o eltron no estado fundamental do tomo de
hidrognio. Expresse suas respostas em termos do raio de Bohr . Determine tambm
, que o raio da ``rbita de Bohr'' do estado de mais baixa energia , no modelo de
Bohr.
(b)Determine e no estado fundamental sem calcular mais integrais, usando o
resultado anterior e as simetrias do estado fundamental.
(c) Determine no estado . Note que este estado no
simtrico em .

5. Qual a probabilidade de que um eltron no estado fundamental do tomo de
hidrognio seja encontrado dentro do ncleo?
(a)Primeiro calcule a resposta exata. Denote o raio do ncleo por .
(b) Expanda o seu resultado como uma srie de potncias no nmero pequeno ,
e mostre que o termo de ordem mais baixa cbico: . Este termo
deveria j ser uma boa aproximao, pois .
(c) Alternativamente, poderamos pensar que a funo de onda do eltron
essencialmente constante sobre o pequeno volume do ncleo, de modo que
. Verifique que o resultado efetivamente bom.
(d) Use cm e cm para uma estimativa numrica de
. Grosso modo, isto representa a frao do tempo em que o eltron se encontra dentro do
ncleo.

6. Estime, a partir do princpio de incerteza, quanto tempo um lpis pode ficar em
equilbrio vertical sobre a sua ponta.

7. Uma bola perfeitamente elstica, localizada entre duas paredes paralelas, move-se
perpendicularmente a elas, sendo refletida de uma para outra. Perfeitamente elstica
quer dizer que a energia cintica no se altera.. Usando a mecnica clssica, calcule a
variao da energia da bola se as paredes passam a se aproximar, lenta e
uniformemente, uma da outra. Mostre que esta variao de energia exatamente o que
se obtm na mecnica quntica se o nmero quntico principal da bola permanece
constante.


A notao de Dirac
Neste nosso tratamento elementar de mecnica quntica, consideraremos o simbolismo
introduzido por Dirac, que tem um significado matemtico no-trivial, como uma
notao. Para fazer total justia ao mtodo, o leitor faria bem em consultar a obra
original de Dirac [1] . Para uma apresentao mais adaptada linguagem matemtica
contempornea, veja [2].
Um vetor do espao dos estados descrito por um smbolo , que se pronuncia ket .
Um elemento do dual desse espao denotado por , e denominado . O produto
escalar dos estados e denotado por , e se trata de um bra(c)ket ,
justificando os nomes.
Seja um operador. Denotaremos por seus autoestados, de modo que



onde os nmeros so os autovalores .
Os autoestados do operador de posio



so denotados por . O smbolo descreve o estado na representao das
coordenadas:



Alguns exemplos:

O hamiltoniano tem seus autoestados, , e autovalores , , ligados pela relao



A condio de ortonormalidade desses autoestados escrita



Os autoestados comuns a e so denotados por , e as seguintes equaes so satisfeitas:







Seja uma base do espao dos estados formada pelos kets , , , etc. e seja
um operador. Ento, os elementos de matriz de nessa base sero os nmeros
complexos



Note-se que:





Muito importante na notao de Dirac uma classe de operadores que se escrevem
assim:



e so definidos pela sua ao sobre um kets arbitrrio :



Sejam autoestados de um operador hermiteano. Ento, a relao de completude se
escreve



Quando o espectro contnuo, por exemplo, no caso do operador de posio, a soma
substituda por uma integral:



O principal uso dessas representaes do operador o seguinte: seja um
produto escalar. Ento,



e, como ,



mostrando que efetivamente se trata do produto escalar anteriormente introduzido.
Considere os operadores e e o seu produto, . Seja uma base. Os
elementos de matriz do operador produto nessa base so





que exibe a expresso correta para o produto clssico de matrizes.
Seja um estado qualquer. Sua funo de onda na representao das coordenadas ,
como vimos,



Sejam os autoestados do momento , e



sua relao de completude. Ento, a funo de onda de na representao do
momento



que pode ser escrita



Daqui, por comparao com um resultado anterior pode-se inferir que

(382)




Uma deduo direta deste resultado a seguinte:





Igualando os dois segundos membros, temos



ou



de onde segue que



Para determinar , note-se que



e, integrando em ,



Mas



Logo,



Logo,



e




O Spin
Subsections
Elementos de matriz
As matrizes de Pauli
Interao Eletromagntica: Formalismo Hamiltoniano
o Apndice: O teorema de Euler

Acoplamento do spin com o campo magntico

Para introduzir o spin vamos apresentar um tratamento mais geral do momento angular.
No tratamento anterior, tnhamos obtido que os autovalores de deviam ser
nmeros inteiros, sob o argumento de que as autofunes de ,



deviam ser peridicas, de perodo , na varivel . Este argumento no rigoroso,
pois a funo de onda determinada a menos de uma fase. Retomaremos o problema
agora. Descobriremos que h novas possibilidades para os valores de e .
Para comodidade do leitor, repetiremos aqui alguns dos resultados que obtivemos
anteriormente para o momento angular.



(383)



(384)


Da relao conclumos que existe um valor mximo para o
autovalor de . Seja este valor mximo, e a autofuno comum a e
correspondente. Temos



Logo,



Usando (385),



ou



Conclui-se que o autovalor de para a autofuno , onde o mximo
valor possvel para . Pasaremos a denotar por as autofunes comuns a e
. Vamos determinar agora o menor valor possvel para .
Em primeiro lugar, do fato de que , segue que



ou seja, o autovalor de o mesmo para todos os , com fixo.
Seja o mnimo valor de . Ento





Esta ltima tem duas solues, , que impossvel, pois o mximo valor de
, e , que o valor correto. Ento, est no intervalo ,
e seus valores sucessivos diferem de uma unidade: h, portanto, valores de ,
para dado. Em conseqncia, deve ser um nmero inteiro, e temos duas
possibilidades:(a) inteiro, que o caso que j havamos estudado. Costuma-se
chamar esses momento s angulares de momento angular orbital. (b) um mpar
dividido por dois (semi-inteiro, na gria dos fsicos). Este tipo de momento angular
denominado spin. Temos, ento, spins , , etc.


Na verdade essa nomenclatura no a usada na prtica, embora seja a prefervel, do ponto de vista da
matemtica. Chama-se spin de um sistema o momento angular desse sistema quando em repouso. Um
eltron em repouso tem momento angular tal que , um pion em repouso tem momento
angular tal que , e h mesons, ditos vetoriais, com momento angular em repouso tal que
. costume, por abuso de linguagem, dizer que essas partculas tm spin , spin , spin , etc.
Elementos de matriz
O caso mais importante do spin aquele em que . Neste caso, s pode ter
os valores e , e conveniente tratar os operadores de momento angular
utilizando suas representaes matriciais. Para tanto, vamos determinar os elementos de
matriz dos operadores , e . Temos, usando a notao de Dirac,

(385)


e, como







Como todos esses elementos de matriz contm o mesmo valor de , podemos omitir
este ndice, ou seja, podemos abreviar a notao para:



etc.
Obviamente , e . Logo,

(386)


ou

(387)


A completude dos autoestados de permite escrever



que, inserida em (388), d

(388)


e sabemos que s diferente de zero se for igual a . Logo,
(389) se escreve

(389)


Alm disso, e



o que permite escrever, de (390),

(390)


Da tiramos que

(391)


A escolha de est ligada definio precisa dos harmnicos esfricos .
Para a escolha feita anteriormente, Eq.(329), deve-se escolher . Logo,

(392)


e, como , temos

(393)


Estes so os nicos elementos de matriz no-nulos, de e . A partir deles,
podemos construir os elementos de matriz de e , pois



(394)



(395)


De fato,







(396)




(397)


Assim, os elementos de matriz de que no so nulos so

(398)


Por um clculo anlogo obtm-se os elementos de matriz no-nulos de :

(399)


Usando as expresses obtidas para os elementos de matriz, vamos construir as matrizes
que representam os operadores , e . Para este ltimo, temos que os elementos
de matriz no-nulos so:



(400)



(401)


Os valores possveis de sendo +1/2 e -1/2, as matrizes tero a forma genrica:

(402)


onde . Para , portanto,

(403)


onde introduzimos a matriz

(404)


que uma das matrizes de Pauli, que sero muito utilizadas no que segue.
Verifica-se facilmente que



(405)



(406)



(407)


onde introduzimos a matriz de Pauli ,

(408)


Por um clculo anlogo chega-se a

(409)


Temos, portanto,

(410)


para , sendo , como de costume. As matrizes de
Pauli so


(411)


(412)


(413)


Representaes matriciais de operadores so sempre em relao a uma base. Qual a
base usada nas representaes matriciais acima? Para descobri-la, basta notar que a
matriz que representa diagonal. Logo, a base a dos autoestados de .
Explicitamente, temos



(414)



(415)


Desta relao vemos que os autoestados de so representados pelas matrizes coluna
e , que formam uma base das matrizes coluna , com e
arbitrrios. Resta especificar o produto escalar de dois estados quaisquer, em termos de
suas representaes matriciais. Verifica-se facilmente que o produto escalar de
por dado por

(416)


De fato, em termos deste produto escalar, os elementos da base, e so
ortonormais, o que prova a questo.
As matrizes de Pauli
As matrizes


(417)


(418)


(419)


tm propriedades especiais que facilitam o clculo das propriedades dos estados de spin
1/2.
P1: . (Imediata).
P2: so hermiteanas. (Imediata)
P3: , onde



P4: , cuja demonstrao um exerccio simples. Esta
propriedade sintetiza a P3 e as seguintes relaes:

(420)

(421)

(422)

(423)


e assim por diante.
conveniente introduzir a notao



que descreve as como componentes de um ``vetor'' denotado por . Usando esta
conveno se escreve, por exemplo, se for um vetor ordinrio,



ou seja, uma matriz 2x2. Podemos ento enunciar a
P5: , onde o termo entre parnteses o produto
vetorial ordinrio. Demonstrao:







Teorema: Seja uma matriz 2x2 complexa qualquer. Ento existem nmeros ,
, e tais que

(424)


Estes nmeros so nicos. Ou seja, , , e so uma base do espao vetorial
das matrizes 2x2 complexas.
A demonstrao consiste em exibir esses nmeros. Suponhamos o problema resolvido,
isto :

(425)


Tomando o trao termo a termo, temos:

(426)


onde usamos , para qualquer nmero e qualquer matriz , temos,
levando em conta a P1,

(427)


ou

(428)


Para calcular procedemos assim: multiplicamos (426) termo a termo, esquerda, por , obtendo:

(429)


Ora, os produtos com , so matrizes de trao nulo. Logo, tomando, termo a termo, o trao
de (430), temos

(430)


Ou,

(431)


e, procedendo analogamente,

(432)


Demonstra-se facilmente, usando este mtodo, que e as trs matrizes de Pauli so linearmente
independentes. Alm disso, o espao vetorial das matrizes 2x2 complexas tem dimenso 4. Logo, o
conjunto considerado uma base, e portanto os coeficientes calculados acima so nicos.
Interao Eletromagntica: Formalismo Hamiltoniano
O problema que estudaremos aqui o seguinte: uma partcula de massa e carga
est sob ao de um campo eletromagntico descrito por e . Determinar o
Hamiltoniano da partcula.
No fosse pelo campo eletromagntico, o Hamiltoniano seria o de uma partcula livre,



A fora que age sobre uma partcula de carga , devida aos campos eltrico e
magntico, (fora de Lorentz):



Em termos dos potenciais, temos,










Logo,



Como bem sabido,
22




Como , temos







(433)


ou seja,

(434)


Seja . Vamos mostrar que a lagrangeana

(435)


descreve o movimento de uma partcula sob a ao da fora . Aqui, como de
costume, representa a energia cintica. De fato,











Logo, a equao de Lagrange, , d



de modo que



Mas



de maneira que



Logo,

(436)


Concluso: . Passemos agora construo do hamiltoniano.







e, ento,



Precisamos agora de uma propriedade importante das funes homogneas, o teorema
de Euler (ver Apndice):



Vamos us-lo para calcular o Hamiltoniano :






(437)


ou seja,

(438)


Ora, , pois . Logo,



e, finalmente,

(439)


Em palavras, no Hamiltoniano livre



substituo por , e adiciono . Esta a chamada substituio mnima, ou
acoplamento mnimo. Se o hamiltoniano for mais geral, do tipo



onde a energia potencial, a mesma regra vale. Adicione-se e substitua-se
por . Se houver vrias partculas, de momento s , faa-se a mesma
substituio para cada , adicionando-se termos de energia potencial para cada
partcula. Essas generalizaes so fceis de demonstrar, seguindo exatamente o padro
do caso de uma partcula livre.
Apndice: O teorema de Euler
Uma funo dita homognea de grau se

(440)


Por exemplo, homognea de grau 2;
homognea de grau 3.
O teorema de Euler diz que, se uma funo homognea de grau , ento

(441)


A demonstrao muito simples. Derive a Eq. 441 em relao a , e depois tome
.
Acoplamento do spin com o campo magntico
Seja

(442)


o hamiltoniano de uma partcula de spin 1/2 e carga . Note-se que

(443)


de maneira que o hamiltoniano acima pode tambm ser escrito

(444)


O acoplamento mnimo, estudado no pargrafo anterior, consiste na substituio de
por , onde o potencial vetor do campo eletromagntico que age sobre a
pertcula. Ora, se se realiza essa substituio em (443) ou em (445), obtm-se resultados
diferentes. Verifica-se que os resultados corretos so obtidos usando-se o hamiltoniano
em (445). Fica claro neste ponto, ento, que o acoplamento do spin com o campo
eletromagntico que vamos introduzir tem um carter emprico. s quando se utiliza a
equao de Dirac para descrever o spin do eltron que se obtm, diretamente da teoria e
sem a necessidade de fazer escolhas, um acoplamento definido (que corresponde quele
que, aqui, foi escolhido por razes empricas).
Devemos, ento, descrever as interaes eletromagnticas da partcula usando o
hamiltoniano

(445)


Como estamos interessados no campo magntico, vamos ignorar o ltimo termo.
Consideremos o termo . Temos


















(446)


Mas,







(447)


Escolhendo o gauge em que , temos

(448)


ou,

(449)


Temos ainda


















(450
)


Reunindo tudo, temos

(451)


O hamiltoniano obtido dividindo isso por :

(452)


Para o caso de um campo uniforme, temos

(453)


como o leitor verificar facilmente. Resulta ento que

(454)


Finalmente, usando e , temos

(455)


H ainda, claro, o termo , que omitimos porque, no tratamento perturbativo,
representa uma correo de ordem superior s que usualmente se calcula.