(1) O documento discute o princípio da superposição na mecânica quântica, que estabelece que uma função de onda pode ser uma combinação linear de outros estados do sistema. (2) Também aborda operadores hermiteanos associados a quantidades físicas e suas propriedades, como autovalores reais e autofunções ortogonais. (3) A equação de Schrödinger é introduzida, relacionando a derivada temporal da função de onda ao hamiltoniano do sistema.
(1) O documento discute o princípio da superposição na mecânica quântica, que estabelece que uma função de onda pode ser uma combinação linear de outros estados do sistema. (2) Também aborda operadores hermiteanos associados a quantidades físicas e suas propriedades, como autovalores reais e autofunções ortogonais. (3) A equação de Schrödinger é introduzida, relacionando a derivada temporal da função de onda ao hamiltoniano do sistema.
(1) O documento discute o princípio da superposição na mecânica quântica, que estabelece que uma função de onda pode ser uma combinação linear de outros estados do sistema. (2) Também aborda operadores hermiteanos associados a quantidades físicas e suas propriedades, como autovalores reais e autofunções ortogonais. (3) A equação de Schrödinger é introduzida, relacionando a derivada temporal da função de onda ao hamiltoniano do sistema.
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.