Escolar Documentos
Profissional Documentos
Cultura Documentos
Electro
Proto
y x
Outubro de 2007
Agradecimentos
O meu sincero agradecimento ao Professor Doutor Antnio Topa e ao Professor Doutor Carlos Paiva, Orientador e Co-Orientador deste projecto, respectivamente, por toda a ajuda prestada no desenvolver de todo o trabalho e constante disponibilidade oferecida, a qual foi determinante para a contnua motivao com que me empenhei neste trabalho. Aos meus pais por me terem proporcionado tudo o que precisei e no precisava, pela pacincia que tiveram durante todos estes anos, por terem sido um exemplo para mim e principalmente, por sempre acreditarem em mim. minha colega e namorada Ctia Marques, com quem partilhei muitos dos anos da minha formao, pelas opinies, conselhos e compreenso que sempre me ofereceu, e por continuar a meu lado. Aos meus amigos, por me terem apoiado em todos os momentos e sempre se lembrarem da nossa amizade.
ii
Resumo
Este trabalho tem como objectivo, a resoluo da equao de Schrdinger para o estudo do tomo de hidrognio e do oscilador harmnico. A Mecnica Quntica trata a interpretao da dualidade da matria, preocupando-se bastante com a interpretao matemtica do princpio de incerteza. As relaes de incertezas so encontradas com a utilizao das integrais de Fourier, sendo tambm exposto o princpio da incerteza de Heisenberg. Os operadores posio, momento, e energia so interpretados. A resoluo da equao de Schrdinger fez-se com recurso aos mtodos variacionais que permite derivar as equaes do movimento de sistemas mecnicos conservativos, com e sem ligaes, independentemente do sistema de coordenadas. A vantagem da abordagem variacional para a resoluo da equao de Schrdinger est na utilizao do formalismo Lagrangeano, e nas propriedades das equaes de Euler-Lagrange. O principal interesse deste estudo a descrio da estabilidade do tomo de hidrognio dada atravs dos estados estacionrios obtidos pela equao de Schrdinger e a anlise do oscilador harmnico atravs da mecnica quntica que envolve a determinao das solues da equao de Schrdinger. Neste trabalho tambm apresentada uma nova linguagem matemtica, a lgebra geomtrica, com vista aplicao na mecnica quntica. Atravs da lgebra de espao-tempo de Minkowski, o efeito fotoelctrico, efeito de Compton e o dualismo onda-corpsculo podem ser traduzidos para o formalismo da lgebra geomtrica.
Palavras-chave: Mecnica quntica, mtodos variacionais, equao de Schrdinger, tomo de hidrognio, oscilador harmnico e lgebra geomtrica.
iii
Abstract
The goal of this work is the resolution of the Schrdinger equation for the study of the hydrogen atom and the harmonic oscillator. The Quantum Mechanics deals with the interpretation of the matter duality, and is focused on the mathematical interpretation of the uncertainty principle. The uncertainty relations are found with the use of the Fourier integrals, leading to the uncertainty principle of Heisenberg. The position, moment, and energy operators are interpreted. The resolution of the Schrdinger equation was made through the use of the variational methods that allow deriving the motion equations in conservative mechanical systems, with and without links, independently of the coordinate system. The advantage of the variational approach in the resolution of the Schrdinger equation is in the use of the Lagrange formalism, and in the properties of the Euler-Lagrange equations. The main interest of this study is the description of the stability of the hydrogen atom given through the stationary states derived from the Schrdinger equation and the analysis of the harmonic oscillator through the quantum mechanics that involves the determination of the solutions of the Schrdinger equation. In this work a new mathematical language is also presented: the geometric algebra, which is intended to be applied to the quantum mechanics. Through the Minkowski space-time algebra, the photoelectric effect, the Compton effect and the wave-corpuscle dualism can be translated into the geometric algebra formalism.
Key-words: Quantum mechanics, variational methods, Schrdinger equation, hydrogen atom, harmonic oscillator and geometric algebra.
iv
ndice
Agradecimentos........................................................................................................................................ i Resumo................................................................................................................................................... iii Abstract .................................................................................................................................................. iv ndice........................................................................................................................................................v Lista de Tabelas..................................................................................................................................... vii Lista de Figuras ...................................................................................................................................... ix Lista de Smbolos ................................................................................................................................... xi Captulo 1. Introduo..............................................................................................................................1 1.1.Enquadramento....................................................................................................................1 1.2.Motivao............................................................................................................................3 1.3.Objectivos............................................................................................................................3 1.4.Descrio do trabalho ..........................................................................................................4 Captulo 2. lgebra geomtrica................................................................................................................7 2.1. Produto geomtrico ............................................................................................................7 2.1.1. Produto interno .............................................................................................................8 2.1.2. Produto exterior ............................................................................................................8 2.1.3. Adio de bivectores ..................................................................................................10 2.2. lgebra geomtrica do plano............................................................................................10 2.2.1. Produtos notveis .......................................................................................................11 2.2.2. lgebra geomtrica e os nmeros complexos ............................................................12 2.3. Anlise de resultados........................................................................................................13 2.3.1. Lminas ......................................................................................................................13 2.3.2. Produto entre vector e bivector...................................................................................14 2.3.3. Projeco de um vector ..............................................................................................16 2.3.4. Quadrado de um bivector ...........................................................................................17 2.4. lgebra geomtrica de espao..........................................................................................17 2.4.1. Trivectores .................................................................................................................18 2.4.2. lgebra geomtrica de Clifford..................................................................................19 2.4.3. Produto geomtrico ....................................................................................................20 2.5. lgebra geomtrica do espao-tempo de Minkowski ......................................................22 2.5.1. Bases de Cl1,3 .............................................................................................................23 2.5.2. Tempo prprio e velocidade prpria ..........................................................................24 2.5.3. Acelerao prpria......................................................................................................26 2.5.4. Momento linear ..........................................................................................................27 2.5.5. Efeito fotoelctrico .....................................................................................................27
2.5.6. Efeito de Compton......................................................................................................28 2.5.7. Dualismo onda-corpsculo.........................................................................................31 Captulo 3. Mecnica quntica ...............................................................................................................33 3.1. Dualismo onda-corpsculo...............................................................................................33 3.2. Feixes em mecnica ondulatria ......................................................................................35 3.3. Princpio de incerteza de Heisenberg ...............................................................................37 3.4. Evoluo dos feixes em mecnica ondulatria.................................................................39 Capitulo 4. Mtodos variacionais ...........................................................................................................41 4.1. Equao de Euler-Lagrange .............................................................................................41 4.2. Princpio da aco mnima ...............................................................................................45 4.3. Deduo da equao de Schrdinger................................................................................47 Captulo 5. Oscilador harmnico............................................................................................................49 5.1. Equao de Schrdinger ...................................................................................................49 5.2. Propriedades dos Polinmios de Hermite.........................................................................55 Captulo 6. tomo de hidrognio ...........................................................................................................57 6.1. Equao radial ..................................................................................................................58 Captulo 7. Concluses...........................................................................................................................63 7.1. Sntese ..............................................................................................................................63 7.2. Perspectivas de trabalho futuro ........................................................................................64 Anexos....................................................................................................................................................65 Anexo A. Corpo negro ...........................................................................................................................65 Anexo B. Efeito fotoelctrico ................................................................................................................67 Anexo C. Efeito de Compton .................................................................................................................69 Anexo D. Notao de Dirac ...................................................................................................................73 Anexo E. Operadores e valores expectveis ..........................................................................................75 Anexo F. Princpio da sobreposio.......................................................................................................77 Anexo G. tomo de hidrognio .............................................................................................................79 G.1. Mudana de coordenadas ...................................................................................................79 G.2. Equao de onda a trs dimenses .....................................................................................80 G.3. Momento angular................................................................................................................81 Referncias .............................................................................................................................................83
vi
Lista de tabelas
2.1 2.2 6.1 E.1 Produtos Correspondncia entre a lgebra de Clifford e a lgebra de Gibbs Algumas funes Rnl (r ) Alguns resultados da representao de operadores no espao de coordenadas e no espao do
momento
vii
viii
Lista de figuras
2.1 2.2 2.3 2.4 2.5 2.6 2.7 2.8 2.9 3.1 Representao de um bivector Soma de dois bivectores Exemplos de Lminas Produto de um vector por um bivector Projeco e rejeio de um bivector Representao de bivectores Representao de um trivector Representao do produto geomtrico Efeito de Compton Densidade de probabilidade P(x ) = 0 (x ) correspondente a 0 (x ) = 0 para x < 0 e a
2
0 ( x ) = 2 xe x para x > 0 4.1 5.1 B.1a) . B.1b) Efeito Fotoelctrico: A energia cintica dos electres ejectados, = Representao de y (x ) e uma das possveis curvas de Y (x ) Partcula de massa m , oscilante no eixo Efeito Fotoelctrico: Um raio de luz (hf ) incide sobre a superfcie de um metal. Parte da
energia absorvida no metal e a restante energia usada para arrancar um electro de energia cintica
1 me v 2 , varia 2
linearmente com a frequncia da luz incidente C.1 G.1 Efeito de Compton Coordenadas polares esfricas
ix
Lista de smbolos
a:
vectores acelerao prpria acelerao raio de Bohr amplitude espectral gaussiana bivector vector boost bivector vector velocidade da luz energia do foto permitividade do vcuo carga do electro energia prpria da partcula acelerao relativa constante de Planck constante de Planck reduzida operador hamiltoniano polinmios de Hermite pseudoescalar momento angular vector de onda relativo vector de onda constante Boltzmann massa inercial de uma partcula massa do electro massa do proto momento linear relativo momento linear
a:
a:
a0 :
A( kx ) : A:
b:
b:
B:
c:
c:
:
0 :
e:
:
g: h:
=:
:
Hn :
I: L: k:
k: kB :
m:
me :
mp :
p:
p:
xi
P ( x, t ) :
q:
densidade de probabilidade momento linear prprio constante de propagao energia cintica velocidade prpria acelerao prpria multivector energia potencial velocidade relativa velocidade velocidade de grupo velocidade da partcula energia potencial potencial de Coulomb frequncia angular nmero atmico massa reduzida funo de onda independente do tempo funo de onda dependente do tempo
2
q: :
u:
u:
u:
U:
v:
v:
vg : vp :
V:
V (r ) :
:
Z:
:
:
:
( x, t ) :
densidade de probabilidade comprimento de onda coeficiente de dilatao do tempo delta de Kronecker variao de fase posio mdia da partcula vector de estado Ket quantidade bra
: :
ij :
: x :
: :
xii
Captulo 1. Introduo
1.1. Enquadramento
A mecnica clssica ou newtoniana, que descreve de modo adequado o mundo macrofsico em que vivemos, j no explica satisfatoriamente o comportamento das partculas a altas velocidades (sendo a substituda pela mecnica relativstica) nem os fenmenos do mundo microfsico (escala atmica e molecular), sendo aqui necessrio recorrer mecnica quntica, sendo esta mais geral que a mecnica clssica. O aparecimento da mecnica quntica est intimamente associado evoluo histrica da natureza da luz. Primeiramente considerada de natureza corpuscular por Newton (1642-1727), enunciada em 1675, posteriormente e contrariando este, surge a teoria ondulatria de Huygens (16291695) e Young (1773-1829). Contudo, a fundao da estrutura terica da mecnica quntica situa-se entre os anos de 1923 e 1927 e resulta, em particular, dos trabalhos de Werner Heisenberg, Max Born, Pascual Jordan, Erwin Schrdinger e Paul Dirac. Esta estrutura terica no teria sido possvel sem algumas contribuies anteriores, nomeadamente: a lei da radiao de Max Planck (1900); a descoberta do efeito fotoelctrico por Heinrich Hertz (1887), a respectiva interpretao fsica por Albert Einstein (1905) e posterior confirmao experimental por Robert A. Millikan (1915); o modelo atmico proposto por Niels Bohr (1913); os coeficientes A e B de Einstein (1916) para explicar a interaco entre a radiao electromagntica (os fotes) e os tomos de um gs; o efeito Compton (1922); a experincia de O. Stern e W. Gerlach de 1922 revelando a quantificao do momento angular. Em 1925 Werner Heisenberg apresenta a mecnica matricial e em 1926 Erwin Schrdinger formula a mecnica ondulatria. Contudo, j em 1924, Louis de Broglie tinha apresentado a sua tese das ondas de matria que deu origem ao dualismo onda-corpsculo e que representa, de certa forma, o ponto de partida conceptual para esta nova mecnica. A descoberta da difraco dos electres atravs dos tomos de uma rede cristalina por C. J. Davisson e L. H. Germer em 1927 (e tambm, de forma independente, por G. P. Thomson) veio corroborar a teoria de Louis de Broglie. Mas foi ainda, em 1926, que Schrdinger mostrou a perfeita equivalncia entre o formalismo da mecnica das matrizes de Heisenberg e a sua prpria mecnica ondulatria. Deve-se porm a Paul Dirac o desenvolvimento,
em 1930, do formalismo geral da mecnica quntica. A interpretao fsica deve muito, tambm, s contribuies de Max Born, Werner Heisenberg e Niels Bohr. Nomeadamente foi Max Born quem avanou a interpretao fisicamente aceite da funo de onda (ou vector de estado). Werner Heisenberg, por sua vez, formulou as relaes de incerteza que desempenham um papel fundamental na concepo fsica associada mecnica quntica. A mecnica quntica toca a ptica em toda a sua teoria, mas quando se fala em Laser (cuja sigla em ingls significa Light Amplification by Stimulated Emission of Radiation), remete-se a fenmenos de absoro e emisso de luz pelos tomos. Em 1916, Albert Einstein deu inicio inveno do laser, maser a partir da lei de Max Planck (1858-1947). Este ltimo sugeriu que, a emisso e absoro de luz pela matria ocorre em quantidades discretas de energia, designadas por quanta. Em adio, Einstein avanou com a hiptese de que a prpria luz composta de quanta de energia e descobriu o efeito fsico por trs do laser, que se designa por emisso estimulada. Einstein atravs de consideraes tericas descobriu que um tomo absorve um foto (partcula de luz) incidente e, aps certo tempo (emisso espontnea), reemite o mesmo foto ao acaso. Alm disto, este mesmo tomo deve reemite o foto absorvido se um segundo foto interage com ele. O foto reemitido tem a mesma frequncia do foto que o estimulou (emisso estimulada) e, igualmente importante, tem a mesma fase (o chamado foto clone). A teoria ficou esquecida at o final da Segunda Guerra Mundial. Em 1953, Charles H. Townes (1915), James P.Gordon e Herbert J. Zeiger produziram o primeiro maser (Microwave Amplification by Stimulated Emission of Radiation), um dispositivo similar ao laser sendo que produz microondas em vez de luz visvel. O maser de Townes no tinha capacidade de emitir ondas de forma contnua. Nikolai Basov (1922) e Aleksander Prokhorov (1916) da Unio Sovitica trabalharam de forma independente em um oscilador quantum e resolveram o problema de emisso contnua utilizando duas fontes de energia com nveis diferentes. Posteriormente, surge a primeira discrio em papel de um laser, em 1958 por Townes e Arthur Schawlow (19211999). Gordon Gould (1920-2005) teve um desempenho importante no desenvolvimento do laser, tendo sido este quem o designou como tal. Contudo, no teve o devido reconhecimento e no recebeu juntamente com Townes, Basov e Prokhorov o prmio Nobel em 1964. Apenas em 1988 houve reconhecimento da patente pedida por este em 1959, sendo finalmente reconhecido como um dos criadores do laser. O primeiro dispositivo a funcionar correctamente, apareceu a 7 Julho de 1960, e foi desenvolvido por um investigador desconhecido at data, Theodore H. Maiman (1927), este dispositivo consistia numa laser de rubi. Posto isto, vrios laboratrios dedicaram-se ao desenvolvimento do laser, e surge em 1964 o primeiro laser de dixido de carbono, inventado por Kumar Patel. Mais recentemente, em 2000, surge o primeiro laser orgnico alimentado a electricidade e em 2002, tem-se o primeiro laser semicondutor do mundo que emite luz contnua e de modo fivel sobre um largo espectro de comprimentos de onda infravermelhos. Um computador quntico um dispositivo que executa clculos e faz uso directo de propriedades da mecnica quntica, tais como sobreposio e interferncia. Teoricamente,
computadores qunticos podem ser implementados e o mais desenvolvido actualmente trabalha com poucos qbits de informao. O principal ganho desses computadores a possibilidade de resolver em tempo eficiente, alguns problemas que na computao clssica levariam tempo impraticvel, como por exemplo: busca de informao em bancos no ordenados, etc. Richard Feynman em 1981 elaborou a primeira proposta de utilizar um fenmeno quntico para executar rotinas computacionais. Em 1985 David Deutsch, na Universidade de Oxford, descreveu o primeiro computador quntico universal. Exactamente como uma Maquina de Turing pode simular outra mquina de Turing eficientemente, um computador quntico universal capaz de simular o funcionamento de outro computador quntico com complexidade, no mximo, polinomial. Isso fez crescer a esperana de que um dispositivo simples seja capaz de executar muitos algoritmos qunticos diferentes. Em 1994 Peter Shor, no Bell Labs da AT&T em Nova Jersey, descobriu um excelente algoritmo que permite a um computador quntico facturar grandes inteiros rapidamente. Low Grover, 1996, no Bell Labs, descobriu o algoritmo de pesquisa em bases de dados qunticos.
1.2. Motivao
A mecnica quntica provocou uma revoluo que marcou de forma decisiva a Fsica do sculo XX. Sem ela, extraordinrios desenvolvimentos jamais teriam sido possveis. Sem compreender o comportamento dos electres nos meios materiais, no se teria assistido ao desenvolvimento da indstria de semicondutores, e sem a mecnica quntica no se seria capaz de fabricar estruturas cada vez mais pequenas. Mas, explorando as propriedades qunticas de confinamento conseguiu-se desenhar dispositivos com caractersticas optimizadas para aplicaes de dimenses cada vez mais reduzidas. Recentes desenvolvimentos na tecnologia de informao, na concepo e desenho de novos materiais e na nanoelectrnica, tm mostrado cada vez mais a importncia de conceitos qunticos na prpria descrio das capacidades destas novas e emergentes tecnologias. A Mecnica Quntica proporcionou uma melhor compreenso da natureza e descobertas tecnolgicas que esto na base de muitos equipamentos que no dispensamos no nosso quotidiano. O tomo de Hidrognio e o Oscilador Harmnico constituem dois produtos fundamentais para a compreenso dos fenmenos qunticos.
1.3. Objectivos
Este trabalho tem como objectivo, a resoluo da equao de Schrdinger para o estudo do tomo de hidrognio e do oscilador harmnico e para tal, necessrio compreender conceitos bsicos de mecnica quntica. O principal interesse deste estudo a descrio da estabilidade do tomo de hidrognio dada atravs dos estados estacionrios obtidos pela equao de Schrdinger e a anlise do oscilador harmnico atravs da mecnica quntica que envolve a determinao das solues da equao de Schrdinger. Outro objectivo deste trabalho apresentar uma nova linguagem matemtica, a lgebra geomtrica, com vista aplicao na mecnica quntica. Atravs da lgebra de espao-tempo de Minkowski, o efeito fotoelctrico, efeito de Compton e o dualismo onda-corpsculo podem ser traduzidos para o formalismo da lgebra geomtrica.
O Captulo 5 tem por objectivo o estudo do oscilador harmnico como modelo fsico das vibraes moleculares. Neste captulo so obtidos alguns grficos de simulao referentes funo de onda e densidade de probabilidade do oscilador harmnico. No Captulo 6 estuda-se o tomo de hidrognio, introduzindo-se a equao radial e realizando-se tambm algumas simulaes. Para a melhor compreenso dos temas apresentados ao longo dos vrios captulos, encontram-se em anexo seces dedicadas a vrios assuntos, como a radiao do corpo negro, para uma melhor compreenso das limitaes da mecnica clssica e o surgimento de novas teorias sobre a natureza da luz, o efeito fotoelctrico e efeito de Compton referidos no Captulo 2, os anexos sobre o princpio da sobreposio e operadores e valores expectveis bastante teis para um melhor entendimento do Capitulo 3 e o anexo sobre o tomo de hidrognio para complementar o Captulo 6. Por fim o Captulo 7 onde se apresentam as principais concluses sobre este trabalho.
2.
a ( b + c ) = ab + ac propriedade distributiva ( a + b ) c = ac + bc
(2.2)
3. a 2 = a \ propriedade da contraco.
(2.3)
Do produto geomtrico entre dois vectores define-se um termo simtrico e anti-simtrico em que no primeiro possvel trocar a ordem dos vectores e no segundo para se trocar a ordem dos vectores deve-se trocar o sinal do termo.
ab =
1 1 ( ab + ba ) + ( ab ba ) . 2 2
(2.4)
(2.5)
( a b ) = b a simtrico
a a > 0 para a 0 positivo.
(2.6)
(2.7)
Considere-se o seguinte exemplo uma base {e1 , e 2 , e3 } \ 3 onde se define o produto interno entre o vector a e
cos =
a b . a b
(2.9)
Em concluso pode-se dizer que a parte simtrica do produto geomtrico o produto interno,
a b =
1 ( ab + ba ) . 2
(2.10)
a b = ab b a .
(2.11)
1 a b = ( ab + ba ) ab = a b + a b 2 ba = a b a b a b = 1 ( ab ba ) 2
donde se infere que
(2.12)
ab = ba a || b a b = 0 ab = a b
(2.13)
ab = ba a b a b = 0 ab = a b
a a = 0.
(2.14) (2.15)
Pode-se dizer que o produto exterior de dois vectores representa uma direco bidimensional que se pode associar a um plano. Define-se assim um plano, um sentido de rotao (de a para b no caso de a b ) e uma magnitude que se pode interpretar como sendo a rea do paralelogramo formado pelos dois vectores.
b ab
ab
a
Figura 2.1 Representao de um bivector.
Assim conclui-se que o produto geomtrico de dois vectores (elementos de grau 1) se pode decompor na soma de um escalar com um bivector, objectos de grau 0 e 2.
ab
ac
b b+c
a (b + c)
Figura 2.2 Soma de dois bivectores.
)
1 escalar
10
e1 , e2 vectores
e12
bivector
(2.16)
= u
+ u 1 + u 2 Cl2
2
(2.17) (2.18)
= u0 , u 1 = u1e1 + u2e2 , u
= u12 e12
em que u
(2.19)
(2.20)
dado por
r = x2 + y 2 .
(2.21)
Introduz-se agora o produto de r por si prprio que se vai designar por r 2 = rr e que deve ser igual ao quadrado do seu comprimento,
r2 = r .
2
(2.22)
(2.23)
11
(2.24)
(2.25)
e1e 2 = e 2 e1 .
(2.26)
( e1e2 )
(2.27)
Visto que o quadrado de e1e 2 negativo, no pode ser nem um escalar nem um vector o que significa que se trata de um bivector. A lgebra geomtrica do plano obedece assim seguinte tabela multiplicativa:
Tabela 2.1 Produtos entre vectores.
e1 e1 e2
e2 e12
e12 e2 e1
1
e12
1
e1
e12
e 2
(2.28)
u = u0 + a + B, u0 \ , a \ 2 , B \ 2
u0 = u 0 escalar
12
B = u12e12 = u
bivector
Os nmeros complexos podem ser vistos assim como uma representao da sub-lgebra geomtrica par (lgebra constituda pelos elementos de grau par) de Cl2 . A sub-lgebra par de Cl2
+ representa-se por Cl2 , e composta por escalares e bivectores de Cl2 . Esta lgebra fechada em
x = ( z ) \ nmero real
ye12 = ( z ) e12 \ 2 bivector.
2
Ak = a1 a 2 ... a k .
(2.29)
Pode-se definir que uma lmina de grau 0 um escalar, de grau 1 um vector e de grau 2 um bivector. No caso de se ter o produto externo de uma lmina de grau k com um vector obtm-se um objecto de grau k+1. Utilizando o mesmo tipo de raciocnio sabe-se que o produto externo entre um bivector e um vector um trivector. Uma lmina pode ser construda recorrendo a diferentes vectores tal como se mostra na Figura 2.3 desde que estes formem sempre o mesmo sub-espao. Veja-se o seguinte exemplo se b ' = b + a a lmina a b ' tambm se pode escrever como
a b' = a ( b + a )
(2.30)
13
=ab+aa
=ab.
Como sempre possvel obter um vector b ' = b + a tal que a b ' = 0 qualquer lmina de grau 2 pode ser escrita como o produto geomtrico de dois vectores ortogonais,
a b = a b ' = ab ' .
(2.31)
b' = b + a ab ab
A equao 2.31 valida para lminas de qualquer grau, podendo estas ser escritas como o produto geomtrico de vectores ortogonais entre si.
(2.32)
(2.33)
= a||2b + a a||b
= a||2b + a a|| b .
14
Sendo que o primeiro termo um vector e o segundo termo um trivector. Conclui-se ento o produto entre um vector e um bivector desenvolve um ter de grau 1 e de grau 3. Tambm no produto geomtrico entre vector e bivector pretende-se que possa ser decomposto em produto interno e exterior tal como acontece quando se tem o produto geomtrico entre dois vectores. importante referir que o produto interno entre um vector e um bivector diminui o grau do bivector, e que o produto exterior aumenta o grau. Assim pode-se definir,
aB = a B + a B .
(2.34)
(2.35)
a B a a||b = a B = a B .
(2.36)
Conclui-se que o produto interno entre um vector e um bivector anti-simtrico e que o produto exterior simtrico como se demonstra nas seguintes equaes,
a B = a|| B = a||a||b = a||ba|| = Ba|| = B a
(2.37)
a B = a B = a a||b = a||ba = Ba = B a .
(2.38)
O que precisamente o contrario do que se passa com o produto interno e exterior entre vectores. O produto interno entre um vector e um bivector igual ao produto interno entre a componente paralela do vector e o bivector, que pe sua vez igual ao produto geomtrico de ambos,
a B = a|| B = a|| B .
(2.39)
No que diz respeito ao produto exterior passa-se o mesmo mas com a componente ortogonal do vector
a B = a B = a B .
(2.40)
Geometricamente o produto interno a B resulta num vector coplanar com B e que ortogonal projeco de a em B , e o produto exterior resulta nem trivector formado pela componente ortogonal de vector a e pelo bivector B . O resultado de ambos os produtos est exemplificado na Figura 2.4.
15
aB
aB
a
B = a||b
B
a||
Figura 2.4 Produto de um vector por um bivector.
(2.41)
aB=
(2.42)
(2.43)
(2.44)
(2.45)
Na Figura 2.5 est representada a decomposio do vector, obtida pelas frmulas anteriores. Deve-se notar que o bivector se pode expressar em funo de outros pares de vectores alm de a|| e b , no sendo 2.44 e 2.45 possveis apenas quando se sabe partida que B = a|| b = a||b . As frmulas da projeco e rejeio continuam vlidas caso o bivector seja substitudo por uma lmina de grau superior (ou inferior, caso em que se pretende a componente paralela e ortogonal a um vector).
16
a = a BB 1 a a
a|| = a BB 1
(a b )
= ( ab a b )( a b ba )
= a 2b 2 ( a b ) + ( a b )( ab + ba )
2
(2.46)
= ( a b ) a 2b 2 .
2
(a b )
= a 2 b 2 sin ( ) .
(2.47)
A = B A = B e A B .
(2.48)
O que significa que a forma no relevante, ou seja, o mesmo bivector pode ser representado por formas diferentes. Como o bivector pode ser expresso atravs do produto exterior importante realar o sentido de rotao.
17
A=ab a
A = b a
Os bivectores podem ser adicionados e multiplicados por escalares e constituem um espao linear designado por \ 3 . Seja {e1 , e 2 , e3 } a base ortonormada de \ 3 ento a base para o espao linear dos bivectores
2
e1 e2 , e1 e3 , e2 e3
(2.49)
2.4.1. Trivectores
Um trivector o produto exterior de trs vectores e vai ser representado por V pois corresponde a um volume orientado. O volume o paraleleppedo de arestas a , b e c .
a1 a2 a3 V = a b c = b1 b2 b3 e1 e 2 e3 c1 c2 c3
(2.50)
(2.51)
V = e1 e2 e3
(2.52)
Geometricamente o trivector pode ser interpretado como j foi referido anteriormente como sendo um paraleleppedo que se obtm quando se faz o bivector ( a b ) , por exemplo, percorrer o vector c . Na Figura 2.7 esta uma representao de um trivector. Caso os vectores sejam linearmente independentes o resultado dever ser nulo, e o contrrio tambm verdadeiro, se o produto exterior de um grupo de vectores for diferente de zero ento estes so linearmente independentes. Utilizando a propriedade associativa e a a b = b a tem-se que
(2.53)
18
ab c
a
3 3 dim \ =1
e a sua base e1 e 2 e3 . O produto exterior tambm para o trivector associativo e anti-simtrico.
1, i = j ei e j = ij = 0, i j
Sendo i e j ndices que representam elementos do conjunto {1,2,3}. Aplicando sucessivamente o produto geomtrico entre os versores obtm-se
Tabela 2.2 Correspondncia entre a lgebra de Clifford e a lgebra de Gibbs
Cl3
1
e1 , e 2 , e3
e12 = e1e 2, e13 = e1e3 , e 23 = e 2 e3
\3
1
e1 , e 2 , e3 e1 e 2 , e1 e3 , e 2 e3 e1 e 2 e3
19
ab = ba a || b a b = 0 ab = a b ab = ba a b a b = 0 ab = a b
1 a, b \ 3 6 a 1 \ 3 , a 1 = 2 a a
(2.54)
a
b b sin ( )
b cos ( )
a b = a b cos ( ) a b = a b sin ( ) ab + a b = a b
2 2 2 2
20
ab a b . Sendo que ab = a b
(2.58)
(2.60)
u= u
+ u 1+ u
u = + a + be123 + e123 , , \ , a, b \ 3
u
0
= \ escalar
u 1 = a \3 vector
u u
2
{e0 , e1 , e2 , e3 }
x = x0e0 + xi ei .
(2.61)
A forma quadrtica associada ao espao Cl1,3 , assume a forma (2.62), e deriva dos dois postulados de Einstein da teoria de relatividade restrita: 1) Princpio da relatividade de todas as leis fsicas; 2) Velocidade da luz no vcuo constante.
21
Q(t , x, y, z ) = (ct ) 2 x 2 y 2 z 2
(2.62)
Q(t , x, y, z ) = 0 define o ponto de vista do observador e0 . As componentes do vector x representam: x0 = ct a coordenada temporal multiplicada pela velocidade da luz no vcuo; x1 = x , x2 = y e x3 = z
as coordenadas espaciais. No referencial e o produto interno entre vrios versores
e0 e0 = 1 e ei e j = ij .
(2.63)
O versor
e0
xe0 = ct + xi ei e0 = ct + x .
(2.64)
A parte escalar ct a coordenada temporal do acontecimento, o bivector x de dimenso 3, e as suas componentes so as coordenadas espaciais do acontecimento. Atendendo ao facto que x invariante e independente do referencial considerado, pode-se dizer que no caso geral o produto de um vector por um versor temporal permite decompor um vector invariante de Cl1,3 nas componentes temporais e espaciais relativas a um dado referencial.
ct = x e0
x = x e0
(2.65)
(2.66)
A este mecanismo de decomposio de quantidades invariantes em quantidades relativas a um dado observador d-se o nome de vector espao-tempo. Este nico para um dado versor temporal, considerando-se que um referencial fica completamente definido pelo seu versor temporal. Usando este mtodo possvel derivar a magnitude invariante de um vector, atravs de (2.64)
e0 x = x e0 x e0
a magnitude de x ser
(2.67)
x 2 = ( xe0 )( e0 x ) = ( ct + x )( ct x ) = ( ct ) x 2 .
2
(2.68)
A magnitude de um vector invariante deve ser tambm um invariante, o que se verifica pelo facto de x 2 no depender de nenhum versor de nenhuma base.
22
2.5.1. Bases de
Cl1,3
A lgebra Cl1,3 composta por elementos de grau 0 a 4 (escalar, vector, bivector, trivector e pseudoescalar), tendo cada sub-espao as seguintes dimenses
1 2 3 4 dim (Cl1,3 ) = Cl10,3 + Cl1 , 3 + Cl1, 3 + Cl1, 3 + Cl1,3 = 1 + 4 + (3 + 3) + 4 + 1 = 16
(2.69)
assim, em Cl1,3 existem relaes de dualidade entre escalar e pseudoescalar, entre vectores e trivectores e entre os bivectores. O pseudoescalar I = e0e1e2 e3 , sendo o seu quadrado negativo
I 2 = e0 e1e 2 e3e3e 2 e1e0 = 1
(2.70)
(2.71)
O espao de bivectores divide-se em dois grupos {ei e0 ei e j } , o dos bivectores temporais composto por todos aqueles que tm como factor o versor temporal, e0e j , e o grupo dos bivectores espaciais, ei e j . Os bivectores espaciais quando elevados ao quadrado devolvem 1 , e os bivectores temporais 1. Conclui-se assim que os bivectores do tipo x tm magnitude positiva.
( ei e0 )
=1
=1
(2.72) (2.73)
(e e )
i j
Como a magnitude dos vectores relativos sempre positiva, a magnitude dos vectores prprios, calculada em (2.68), tanto pode ser positiva como negativa. Os vectores cujo quadrado positivo a 2 > 0 designam-se por vectores tipo tempo, os vectores com quadrado negativo a 2 < 0 so vectores tipo espao e os vectores com a 2 = 0 so do tipo luz. Os bivectores base temporais so duais dos bivectores espaciais, ou seja Ie1e0 = e3e2 , podendo assim a base para o espao dos bivectores ser representada por {ei e0 Iei e j } . A base para o espao dos trivectores pode ser { Ie } visto estes serem duais dos vectores.
base(Cl1,3 ) = { 1 e ei e0 , ei e j Ie I }
23
( cd )
= ( cdt ) ( da ) .
2 2
(2.74)
Ao parmetro d-se o nome de tempo prprio visto que corresponde ao tempo medido num referencial solidrio com a partcula, neste caso da = 0 . Com base neste parmetro define-se a velocidade prpria, que tambm um invariante visto que resulta da diferenciao de um vector invariante por um parmetro invariante.
u ( ) = a ( ) =
da d
(2.75)
Considerando o vector posio de uma partcula representado no seu prprio referencial e sabendo que neste caso t = , tem-se atravs de (2.61) que
u=
d ( c e0 ) = ce0 d
(2.76)
u2 = c2 .
.
(2.77)
Um referencial diz-se inercial se se verificar u = 0 . Considere-se agora a velocidade prpria de uma partcula em relao ao referencial inercial
u ( ) = a ( ) =
da = (t ) ce0 + v ( t ) . d
(2.78)
dt . d
(2.79)
v2 = 1 2 c
Introduzindo o parmetro 2 =
Definindo-se v = c v tal que v = 1 , o vector velocidade prpria da partcula pode escrever-se como
24
u = ( u + v ) = c e0 + v .
(2.80)
cosh ( ) =
sendo que
(2.81)
sinh ( ) = .
Obtm-se assim, a expresso da velocidade prpria atravs da funo exponencial
u=e
B 2
(2.82)
ve
B 2
(2.84)
= cosh + sinh B . 2 2
(2.85)
(2.86)
com
B b = 1 + B = e = cosh ( ) + sinh ( ) B . 2
(2.87)
As rotaes deste gnero, entre vectores de velocidade prpria, vectores do tipo tempo, que so geradas por rotors cujo plano de rotao definido por vector relativo e so designadas por rotaes do tipo boost.
25
u (t ) = a (t ) =
..
du d 2 a = . d d 2
(2.88)
Este vector tambm invariante pelas mesmas razes referidas anteriormente no caso da velocidade prpria. A acelerao prpria num referencial inercial realiza-se tambm do mesmo modo.
a (t ) = u (t ) = 2 (t ) g (t ) +
.. .
d u (t ) dt
(2.89)
(2.90)
(2.91)
Onde m representa a massa da partcula em repouso. Utilizando o mesmo processo da velocidade prpria e da acelerao prpria, obtm-se em relao a e0 ,
q = mu = m ( ce0 + v ) = ( mc ) e0 + p .
(2.92)
(2.93)
Tal como nos casos anteriores pode-se calcular a magnitude invariante do momento linear relativo,
p 2 = 2 m 2 v 2 = 2 m 2 v 2 < 0 .
(2.94)
Define-se, ainda, a energia total da partcula como sendo = mc 2 e que 0 = mc 2 a energia prpria.
26
Assim termina a apresentao das diversas grandezas prprias, velocidade, acelerao e momento linear prprios.
( ) p , em que = (v)mc
e p = ( v ) mv . Admitindo que a
radiao electromagntica constituda por fotes, e que a velocidade destas partculas elementares ser em qualquer referencial, dada por v = c , sabe-se assim que a energia de um foto = cp . O efeito fotoelctrico, em pormenor no anexo B, descoberto por Heinrich Hertz (1875-1894) em 1887, foi mais tarde interpretado por Albert Einstein em 1905. Nesta interpretao, a energia cintica dos electres que so separados do metal atravs da radiao incidente provocam uma corrente elctrica dada por = mv 2 / 2 = hf W , onde W representa a energia que no depende da frequncia e uma caracterstica do metal, h representa a constante de Planck e f a frequncia da radiao incidente. De acordo com a interpretao de Einstein, o efeito fotoelctrico explica-se pelo facto da radiao incidente ser constituda por fotes em que a energia do foto transporta um momento linear p = c , pelo que se pode inferir que = hf = cp . Pode-se assim concluir que o momento linear relativo do foto dado por,
p= hf h = . c
(2.95)
Sendo = c f o comprimento de onda da radiao electromagntica. Como = = h 2 , constante reduzida de Planck, e = 2f , frequncia angular, pode-se inferir que = = e p = =k , sendo k = 2 a constante de propagao da radiao incidente. Para que o efeito fotoelctrico acontea assim necessrio que a frequncia da radiao incidente seja superior a um limiar mnimo, limiar essa que precisamente o valor da energia de um foto,
f f min =
W . h
(2.96)
A variao electromagntica no varia continuamente uma vez se encontra discretizada em quanta, ou seja a sua variao discreta. Abordando o efeito fotoelctrica atravs da lgebra geomtrica de espao-tempo pode-se ver que,
q=
e0 + p q = =I q 2 = = 2 I 2 . c
(2.97)
27
Sendo q o momento linear prprio do foto. p = h = =k em que k = k k o vector de onda relativo e I = c e0 + k , o vector de onda prprio do foto sendo que para I 2 = 0 o vector do tipo luz.
k2
k1
Electro
v
Figura 2.9 Efeito de Compton.
Atravs da Figura 2.9 pode-se ver que um foto de onda 1 colide com um electro em repouso de massa m . Aps a coliso o foto passa a ter um comprimento de onda 2 e desviado com um ngulo . Em relao ao electro, este inicia um movimento ao longo de uma direco que faz um ngulo com a direco do foto incidente. A equao (2.98) representa o momento linear do foto antes da coliso j a equao (2.99) representa o momento linear aps a coliso.
=1 e k + 1 0 c
q1 =
(2.98)
q2 =
=2 e k + 2 0 c
(2.99)
28
q=
e0 . c
(2.100)
q' =
' e0 + p ' . c
(2.101)
q1 + q = q 2 + q ' .
(2.102)
sabe-se
que
q1 q 2 = q1 q q q 2
como
k1 = k 2 = 1 ,
k1 k 2 = cos ( ) ,
=2 12 1 cos ( ) = =1m =2 m . c2
(2.103)
O comprimento de onda de Compton c = h mc . Voltando equao (2.102), conservao do momento linear possvel retirar atravs desta a energia cintica do electro aps a coliso.
=2 =1 + mc = + ( v ) mc c c ' = = (1 2 ) q1 + q = q 2 + q =2 k 2 + ( v ) mv c
(2.104)
p ' = ( v ) mv . A energia cintica adquirida pelo electro, aps a coliso, corresponde diminuio de
energia retirada ao foto. Como =
1 = = 1 2 . 1 =1
Recorrendo s equaes anteriores, nomeadamente a equao (2.103) possvel exprimir a energia cintica em funo do ngulo .
29
( ) = ( =1 )
(1 + 2 ) tan 2 ( 2 ) + 1
2 tan 2 ( 2 )
(2.105)
( ) = ( =1 )
2 1 + 2 + (1 + ) tan 2 ( )
2
(2.106)
Igualando as expresses (2.105) e (2.106) da energia cintica, obtm-se a seguinte relao entre os dois ngulos.
cot ( ) = (1 + ) tan 2
(2.107)
Sendo que esta relao exprime o efeito de Compton. Atravs das expresses anteriores para a energia cintica verifica-se que para = 0 a energia cintica nula, ou seja o electro permanece imvel e que o valor mximo da energia cintica d-se para = .
mx =
=1 1 mc 2 1+ 2 =1
(2.108)
I = e0 + k I = + k 2 = 0 c c c
(2.109)
Sendo que I representa o vector de onda prprio. q tal como se apresentou anteriormente representa o momento linear prprio.
30
q=
e0 + p = = e0 + k c c
(2.110)
q = =I .
A concluso a que se pode chegar ao longo deste captulo sobre a lgebra geomtrica, que esta uma ferramenta poderosa para tratar temas da Fsica em geral. O que ficou demonstrado em especial no tratamento de temas da mecnica quntica como o efeito fotoelctrico, efeito de Compton e por ultimo o dualismo onda-corpsculo. Outra das grandes vantagens da lgebra geomtrica o facto desta no se limitar ao espao \ 3 , sendo que este factor bastante importante para a fsica, pois no espao-tempo quadridimensional, nomeadamente no espao-tempo de Minkowski que se aprofundam temas como os referidos anteriormente.
31
32
==
h = 1.054572 10 34 Js 2
em que = representa a constante de Planck reduzida. A ideia de introduzir uma, funo de onda, para descrever a mecnica de cada partcula implica que se deve considerar esta grandeza como um feixe de ondas planas e no como uma simples onda plana. Com efeito, uma onda plana tem uma amplitude que constante em todo o espao.
( x, t ) =
1 2
(k )e
[i ( kx t )]
(3.1)
A velocidade clssica da partcula dever, assim, ser identificada com a velocidade de grupo do feixe de ondas planas.
33
vg =
d c2k c2 k c2 = = = 2 dk vp a 2 + ( ck )
(3.2)
vp =
p = m p
(3.4)
1 v2 1 2 c
(3.5)
representa a energia de uma partcula livre e v p a velocidade da partcula e o coeficiente de dilatao do tempo. Da mecnica clssica sabe-se que a variao de energia d , por aco de uma fora exterior d = vdp , em que v a velocidade e p o momento linear. Da mecnica relativstica sabe-se tambm que, para um partcula, = mc 2 v 1 2 c expresses se pode concluir que p = v . c2 (3.6)
2
= mc 2 e p =
mv v2 1 2 c
2 = m = a 2 e = a 2 + ( ck ) equao de disperso c
(3.7)
p0 = 0
e assim p = =k ou p =
34
h . p
(3.8)
Fica assim relacionado o momento linear, que uma grandeza tpica de uma partcula, com o comprimento de uma onda. Com base em [2] tm interesse tambm mostrar como as relaes universais de de Broglie,
S ( x, t ) = 0 e
_
i ( kx t )
_ _
i w t _ _ S x, t = 0 e
(3.9)
0 mc 2 = = =
(3.10)
(3.11)
35
que p x = =k x e sabendo que no caso geral a funo = (k x ) no linear a relao entre (x, t ) e
0 ( x ) pode ser complicada. A probabilidade de uma partcula se encontrar entre x e x + dx dada
por P(x, t )dx = (x, t ) dx . Por sua vez a probabilidade do momento linear da partcula se encontrar
2
( x, t ) =
(3.12)
para t = 0 tem-se que 0 (x ) (x,0 ) . Tendo o par Fourier igual a 1 (ik x x ) dk x 0 ( x ) = 2 0 (k x )e (k ) = 1 0 ( x )e (ik x x )dx 0 x 2
(3.13)
E sabendo atravs das relaes universais de de Broglie que, = = e p = =k conclui-se que o primeiro par de Fourier constitudo por 0 (x ) e por 0 ( p x ) para t = 0 igual a
i px x 1 0 (x ) = 0 ( p x )e = dp x 2= i px x 1 = dx 0 (x )e 0 ( p x ) = 2=
(3.14)
i t =
e 0 ( p x ) ( p x ,0) .
Em relao ao segundo par Fourier constitudo por (x, t ) e ( p x , t ) para qualquer instante t . Tem-se que o feixe de ondas planas
i px x 1 = ( x , t ) = ( p x , t )e dp x 2= i px x 1 = (x, t )e dx ( p x , t ) = 2=
(3.15)
Um determinado estado quntico pode ser descrito tanto no espao das coordenadas, ou seja atravs de (x, t ) , como no espao do momento linear, atravs de ( p x , t ) .
36
(3.16)
que traduz um dos aspectos do princpio de incerteza de Heisenberg. Como ft 1 , f = c e t = x vem que (1 )x 1 . Da relao de de Broglie, p = e portanto p = h(1 ) , o que implica que px h e xp
= relao de incerteza de Heisenberg. 2
(3.17)
Para melhor compreender o princpio de incerteza de Heisenberg, considera-se o exemplo para a seguinte funo de onda para t = 0 dada por
2 xe x , x > 0 0 (x ) = 0, x < 0
Tem-se
assim
2
0 (x ) dx = 4 3
2
x 2 e 2x dx = 1 .
densidade
de
probabilidade
1 d 2 2x x e = 2 x(1 x )e 2x = 0 x = . A posio dx
xP( x )dx = 4 3
x 3 e 2x dx
(3.18)
37
Densidade de Probabilidade 1,2 1 0,8 | 0(x)|2 0,6 0,4 0,2 0 0 0,5 1 1,5 2 2,5 x 3 3,5 4 4,5 5 =0.5 =1 =2
0 ( x ) = 2 xe x para x > 0 .
analogamente, vem
x2 =
x 2 P( x )dx = 4 3
x 4 e 2x dx
(3.19)
x =
x2 x
(3.20)
(x )2 =
9 4
2
3 4
2
x =
3 2
(3.21)
2 px
e px
2 =
0 ( x ) e
i px x =
dx =
4 3 2 = 1 ( + ( i = ) px ) .
2
)(
38
px =
p x P( p x )dp x =
4 3 2=
px
2 2 px + 2 = 2
dp x = 0
(3.22)
2 px =
2 px P( p x )dp x =
4 3 2=
2 px 2 2 px + 2 =
dp x = 2
8 3 2=
2 px 2 2 px + 2 =
dp x
(3.23)
4 2 = 2
sin 2 ( )d = = 2 2 .
2 Finalmente tem-se (p x ) = p x px 2
= = 2 2 p x = = .
e (ik0 x ) .
( x, t ) = e
[( A(k )e
x
i k x x t )]
dk x (3.24)
0 (x, t ) =
( A(k )e
x
ik x x )
dk x
39
em
que
A(k x ) = e
e
2 2 ( k x k0 )
2 2 ( k x k0 )
amplitude
espectral
gaussiana.
Considerando
0 (x ) =
d = dk x . Obtm-se,
0 (x ) = e
(ik0 x )
2 + 2
e (ix )d .
(3.25)
0 = (k 0 ) 1 = 2 =
k x 2 k x
2 k x = k0
1 ( ) = 0 + 1 + 2 2 2
k x = k0
(3.26)
( x, t ) = U ( x , t )
2
A evoluo de (x, t ) revela, assim, que a funo de onda no pode ter um significado fsico directo e apenas (x, t )
2
deve-se a
2
Max Born e tem o significado de uma densidade de probabilidade de presena, P(x, t ) = (x, t ) . Ou seja, (x, t ) representa a densidade de probabilidade de encontrar uma partcula descrita pela funo
2
P(x, t )dx =
40
partcula leva a percorrer essa mesma trajectria. Consideremos o seguinte funcional: seja f ( x, Y , Y ') uma funo contnua de trs variveis qual corresponde o integral I = f ( x, Y , Y ')dx
x1 x2
(4.1)
e onde se designa por Y ' a derivada dYdx . Efectivamente, a correspondncia f I , de acordo com a definio, um funcional. Neste caso a funo f pertence classe das funes contnuas que unem os dois pontos (x1 , y1 = y (x1 )) e (x2 , y2 = y (x2 )) e que admitem segunda derivada contnua no intervalo real x1 x x2 . O primeiro problema do clculo variacional o seguinte: determinar a funo Y (x ) = y ( x ) que faz com que o funcional I seja estacionrio (tenha um mximo, um mnimo ou um ponto de inflexo). Assim, pode-se considerar uma infinidade de funes de teste Y (x ) e vai-se eleger, dessa infinidade de funes possveis, a verdadeira funo y ( x ) que transforma o funcional I num valor extremo (um mnimo). Para esse efeito vai definir-se a relao entre Y (x ) e y (x ) na forma: Y (x ) = y (x ) + (x ) (4.2)
41
onde um parmetro real bem determinado e (x ) uma funo arbitrria mas contnua e que admite, tambm, segunda derivada contnua. de realar que todas as funes Y (x ) so tais que Y (x1 ) = y (x1 ) = y1 (x1 ) Y (x2 ) = y ( x2 ) = y2 (x2 ) (4.3)
Y (x ) y2
( x0 )
y (x )
y1 x1 x0
x2
(4.4)
onde I ( ) =
x2
x1
(4.5)
(4.6)
(4.7)
42
x2
x2
(4.8)
x2
(4.9)
(4.10)
considerando o caso particular em que = 0 deve fazer-se a substituio Y y , pelo que dI d f d f = (x )dx . y dx y ' x1
x2
=0
(4.11)
Como a funo ( x ) arbitrria, a nica forma de satisfazer a equao (4.4) para todos os pontos do intervalo x [x1 , x2 ] , corresponde a impor f d f =0. y dx y ' Com efeito se f d f >0 y dx y ' para um subintervalo contido em x1 x x2 e nulo no resto desse intervalo, seria sempre possvel escolher uma funo (x ) que, nesse subintervalo, verificasse a condio (x ) > 0 , de modo que seria necessariamente falsa a equao (4.4). Um raciocnio anlogo poderia ser feito no caso de se considerar: f d f <0 y dx y ' Daqui se infere que a equao (4.12) verdadeira resultado conhecido como o lema fundamental do clculo das variaes. (4.12)
43
A equao (4.12) a soluo do primeiro problema do clculo variacional e conhecida por equao de Euler-Lagrange. Ou seja: a funo y ( x ) , com y (x1 ) = y1 e y (x2 ) = y2 , que transforma o integral
x1
I=
x1
f (x, y, y')dx
num valor estacionrio no intervalo x [x1 , x2 ] tal que observa a equao (4.12) ou equao de Euler-Lagrange. frequente aparecer a definio de variao do funcional I como sendo I tal que
I = ( f y + f y ' ')dx .
x1
x2
(4.13)
De acordo ento com esta notao, o extremo do funcional I observa-se quando se tiver
I = 0 , pelo que I = 0 f y
d f y' = 0 dx (4.14)
que uma forma equivalente de escrever a equao de Euler-Lagrange. Considerando, agora, dois casos particulares: um primeiro caso em que f s depende de x e de y ' e um segundo caso em que f s depende de y e de y ' . Considerando o primeiro caso particular em que f y = f y = 0 .
I=
x1
f (x, y ')dx I =
x2
x1
f ' dx
y'
pelo que
I = 0
ou
d f y ' = 0 f y ' = C1 dx
44
f f =0 = C1 . y y ' f = fx = 0 . x
(4.15)
f f dy f dy ' f f = = y '+ y ' ' = f y y '+ f y ' y ' ' + x y dx y ' dx y y ' e como
I = 0 f y =
d f y' dx
df y ' df = y' + y ' ' f y ' . Mas como dx dx df y ' d y' f y ' = y' + y' ' f y ' dx dx
dx dt
(4.17)
45
(4.18)
(4.19)
Em que f representa a fora. Nestas condies a energia potencial dado por U = U (x, t ) e admitindo que o campo conservativo tem-se que, f = U . x (4.20)
Substituindo T e U obtm-se, L = (1 2 ) m x 2 + ( U x ) .
Pode-se demonstrar ento que a equao newtoniana do movimento (4.19) corresponde ao princpio da aco mnima. E pode definir-se assim a aco S como o integral
. S := L t , x, x dt . t1
t2
(4.22)
( L
. x ) ( d dt ) L x = 0 , e como L x = U x e L x = x = m x
chega-se
seguinte equao: U d . m x = 0 . x dt
(4.23)
Prova-se assim o princpio da princpio da aco mnima, ou seja, atendendo equao (4.20), verifica-se que (4.23) equivalente a (4.19).
46
(4.24)
L d L dL . d L .. L d . L = . = x . + x . = x . dt dt x x dt x x dt x
(4.25)
(4.26)
L x
ou seja,
.
= m x T U x
L x
.
= T U m x 2 = T U = C
(4.27)
= T + U = C
em que a energia efectivamente constante. Assim tem-se,
1 S * S * S * + + 2m x y z
2 2 2
(4.28)
+ U ( x, y , z ) = 0
(4.29)
(4.30)
47
(4.31)
(4.32)
=2 2 + U = 2m
(4.33)
48
x
Figura 5.1 Partcula de massa m , oscilante no eixo x .
A evoluo no tempo dada pela equao de Schrdinger dependente do tempo: i= ( x, t ) = (x, t ) t (5.1)
em que o hamiltoniano e =
=2 2 + V (x ) 2m
(5.2)
49
(x, t ) a funo de onda dependente no tempo, a qual se separa a varivel tempo, pela resoluo da
equao (5.1) e recorrendo equao (5.3): (x, t ) = (x )e it com = E / = . (5.4)
No modelo clssico a posio da partcula oscila com a frequncia , ao longo do eixo x , tal que x = x0 e it (5.5)
em que x0 a amplitude mxima da oscilao, sendo = K O hamiltoniano pode ser escrito na forma = p2 1 2 + Kx 2m 2
, K = 2 m e V = (1 2 ) kx 2 .
(5.6)
p2 1 2 2 + mx . 2m 2
(5.7)
Voltando equao de Schrdinger e para buscar uma soluo analtica da equao conveniente express-la em termos da varivel adimensional y = m = x . Para o parmetro da energia usamos = / 0 com 0 = = 2 . Obtm-se assim d 2 ( y ) + y2 (y) = 0 2 dy
(5.8)
Esta equao embora possa parecer fcil de resolver, no assim to fcil. Considera-se, primeiro, o caso de valores muito grandes de y , ou seja de x . Pois para qualquer valor finito da energia total , pode-se sempre encontrar um valor de x , suficientemente grande, para tornar desprezvel = / 0 em comparao a y 2 . Assim (5.8) torna-se, d 2 ( y ) = y 2 ( y ), y . dy 2 (5.9)
50
( y ) = Ae( y
em que A e B so constantes arbitrrias.
/2
) + Be(y / 2 )
2
(5.10)
Calculando as derivadas ( d ( y ) dy ) e ( d 2 ( y ) dy 2 ) , pode-se verificar que a (5.10) uma soluo da (5.9). Obtm-se
2 2 d 2 ( y ) = A y 2 1 e ( y / 2 ) + B y 2 + 1 e ( y / 2 ) 2 dy
(5.11)
(5.12)
o que satisfaz (5.9) identicamente. J que as funes devem permanecerem finitas quando y , evidente que, em (5.10), B deve ser zero. Portanto, a forma das funes para y muito grande deve ser
( y ) = Ae( y
/2
), y .
(5.13)
Para estender esta soluo e incluir tambm pequenos valores de y , introduzimos a funo ( y ) , tal que,
( y ) = Ae( y
/2
) ( y ) .
(5.14)
Esta relao vai produzir funes de onda aceitveis sobre < y < + . Para determinar ( y ) , calcula-se
2 2 d ( y ) d ( y ) = Ae ( y / 2 ) ( y ) + Ae ( y / 2 ) dy dy
d 2 ( y ) d ( y ) d 2 ( y ) ( y 2 / 2 ) 2 ( ) ( ) Ae y y y y 2 = + + dy dy 2 dy 2 d 2 ( y ) em (5.8), obtm-se dy 2
2 2
(5.15)
substituindo ( y ) e Ae( y
2
/2
d ( y ) d 2 ( y ) ) ( y ) + y 2 ( y ) 2 y + Ae( y / 2 ) ( y ) Ay 2e ( y / 2 ) ( y ) = 0 . (5.16) + 2 dy dy
51
Esta equao pode ser simplificada, e d a seguinte equao diferencial para a determinao de ( y ) : d 2 ( y ) d ( y ) 2y + ( 1) ( y ) = 0 . 2 dy dy (5.17)
equao (5.17) chama-se de equao de Hermite (Charles H., 1822 - 1901). A anlise do oscilador reduz-se, ento, soluo de (5.17). Para resolv-la, utiliza-se a tcnica das sries de potncia na varivel independente y . Isto , supe-se que ( y ) =
m=0
my
= a0 + a1 y + a2 y 2 + ... + an y n .
(5.18)
Para determinar os coeficientes a0 , a1 , a2 , substitui-se (5.18) em (5.17). Nas derivadas calcula-se os termos um a um d ( y ) = dy d 2( y ) = dy 2
1
ma
my
m 1
(m 1)ma
2
my
m2
Aps a substituio, a equao (5.17) toma a seguinte forma 1.2a2 + 2.3a3 y + 3.4a4 y 2 + 4.5a5 y 3 + ... 2.1a1 y 2.2a2 y 2 2.3a3 y 3 ... .
2
+ ( 1)a0 + ( 1)a1 y + ( 1)a2 y + ... = 0 Como isto deve ser vlido para todos os valores de y , a soma dos coeficientes de cada potncia de y deve anular-se. Tem-se, ento, 1.2a2 + ( 1)a0 = 0 2.3a3 + ( 1 2.1)a1 = 0
(5.19)
52
ou am + 2 =
( 1 2m ) a (m + 1)(m + 2) m
(5.20)
A relao (5.20) uma relao de recorrncia que permite calcular, sucessivamente, os coeficientes pares a2 , a4 , a6 , em termos de a0 , e os coeficientes mpares a3 , a5 , a7 , em termos de a1 . A equao (5.20) nada diz sobre os coeficientes a0 e a1 pois eles so at agora, indeterminados. O que de esperar, pois a soluo geral da equao diferencial de segunda ordem (5.17) deve conter duas constantes arbitrrias. Isso significa que a soluo geral contm duas sries independentes. Se a0 for igual a zero, a equao (5.18) conter somente termos mpares, pois segundo esta tem-se a2 = a4 = a6 = ... = 0 . Se a for zero, a equao (5.17) conter apenas de termos pares, j que
1
a3 = a5 = ... = 0 . E em ambos os casos, permanecer um problema, pois ambas as equaes que resultam com
2 a0 ou a1 igual a zero comportam-se como e ( y ) para grandes valores de m . E isso verifica-se, 2 comparando (5.18) com a expanso da funo e ( y ) em srie de potncias:
( ) (
(5.21)
Para se poder fazer esta comparao, tem que se calcular para cada srie a razo entre os coeficientes de potncias sucessivas de y para m grande. Os coeficientes de (5.18) calculam-se a partir da relao (5.20):
m ! (m 2)! = 1 1 1 2 2 = = m +1 m ! m +1 m (m 2 + 1)! 1 m 2 2 2 2
( ) ( )( ) (
2 Sabe-se assim que os termos de alta potncia de y na srie de e ( y ) podem diferir dos termos
correspondentes na srie par de ( y ) por apenas uma constante multiplicativa C. Os termos podem diferir dos termos da srie mpar de ( y ) por y vezes outra constante C. Para y os termos de potncias baixas em y no so importantes na determinao do valor de qualquer dessas sries.
53
Conclui-se que
2 2 ( y ) = a0Ce ( y ) + a1C ' ye( y ), y
(5.22)
Isso significa que a funo de onda (5.14) se tornar infinita quando y , o que no aceitvel. Uma soluo para problema consiste em procurar que os coeficientes am se tornam zero a partir de um certo ndice mmax . Se para certo valor n = mmax o numerador da relao (5.20) zero, ou seja, quando = 2n + 1 , todos os coeficientes an + 2 , an + 4 ,... sero zero. Se isso ocorrer para n = par , toma-se a1 = 0 para eliminar todas as potncias mpares de y na equao (5.18). Por exemplo, supondo que o valor de for tal que 1 2m = 0 para n = 6 . Ento escolhese a1 = 0 e a equao (5.18) tomar a forma de um polinmio par de ordem seis 6 ( y ) = a0 + a2 y 2 + a4 y 4 + a6 y 6
(5.23)
os coeficientes a2 , a4 e a6 determinamos por meio de (5.20) em termos de a0 . Se o valor de for tal que 1 2m = 0 para n = impar , por exemplo mmax = n = 7 , tomase a0 = 0 e ( y ) ser um polinmio de potncias mpares de y : 7 ( y ) = a1 y + a3 y 3 + a5 y 5 + a7 y 7 (5.23) e (5.24) so chamados polinmios de Hermite de ordem n = mmax . V-se, ento, que se podem obter funes aceitveis para tais valores de que cumprem a relao (5.24)
= 2n + 1
n = potncia mais alta no polinmio n ( y ) .
(5.25)
a1 = 0, se n = 0,2,4,...
A escolha de far com que a srie ( y ) termine no n -simo termo. As funes correspondentes a so n ( y ) ,
n ( y ) = An e y
/2
n (y).
(5.26)
54
Utilizando a definio = 0 = 2 = , v-se que a restrio a possveis valores de equivalente a uma restrio a possveis valores da energia total: n = n + 1 hf , n = 0,1,2,3,... 2 E estes so os nveis de energia de uma partcula num potencial de oscilador harmnico simples.
f = (2 )
1
(5.27)
d n y2 e frmula de Rodrigues dy n
( )
(5.28)
(5.29)
Diferenciando (5.29) termo a termo, obtemos (n 1)(n 2)(2 y )n 3 ... d n 1 = 2n n 1 ( y ) para (n 1) n ( y ) = 2n (2 y ) 1 ! dy Diferenciando outra vez, resulta
d d2 n ( y ) = 2n n ( y ) = 2n(2(n 1)) n 2 ( y ) = 4n(n 1) n 2 ( y ) 2 dy dy
(5.30)
(5.31)
55
As funes n ( y )e ( y
/2
que
+
e y n ( y ) m ( y )dy .
2
(5.33)
Funes de Onda do Oscilador Harmnico Linear (y) 3 2,5 2 1,5 1 0,5 0 -6 -4 -2 -0,5 -1 -1,5 -2 -2,5 0 2 4 y 6 0 1 2
Figura 5.2 As primeiras trs funes de onda para o oscilador harmnico linear.
56
vizinhana, a uma distncia da ordem de 5 10 11 m , o raio de Bohr 5,29177 10 11 m , atrado pela fora electrosttica, derivada do potencial de Coulomb V ( r ) = e 2 4 0 r . Em que nesta expresso
(e = 1,602 10
19
e 0 a permitividade do vcuo
funes de onda associadas ao movimento relativo. Para o tomo de hidrognio define-se assim uma massa reduzida,
me m p me + m p
(6.1)
deste movimento relativo que resultam os nveis de energia do tomo de hidrognio. Os correspondentes valores da energia so os valores possveis de , dados pelas solues da equao. Para o caso do tomo de hidrognio dado o campo ser central ou de simetria esfrica, h vantagem em usar coordenadas polares esfricas cujo desenvolvimento se encontra no anexo G.
57
(6.3)
(6.4)
Fazendo
R=F r
(6.5)
d 2 2 d F 1 d 2F obtm-se simplificando e atendendo a que dr 2 + r dr r = r dr 2 , = 2 d 2 = 2 l (l + 1) + + V F = F . 2 2 2 r 2 dr Esta equao tem a mesma forma que a equao do oscilador harmnico mas com um potencial
= 2 l (l + 1) +V 2 r 2
(6.6)
(6.7)
o primeiro termo corresponde ao potencial L2 2mr 2 . O valor prprio de L2 L2 = l (l + 1)= 2 . este o potencial que mantm o electro afastado do ncleo. Para tomos hidrogenides, de nmero atmico Z e com apenas um electro, e considerando o caso do estado estacionrio, em que a energia negativa, ou por outras palavras, em que a energia e ligao:
V = Z 2e e = 4 0 r
(6.8)
58
e substitui-se na equao (6.6) para simplificar ainda mais conveniente tornar a equao adimensional, introduzindo um novo parmetro n tal que =
e 4 Z 2 1 2 2 = n2 32 2 0
(6.9)
= r 2 =
8 . =
2
(6.10)
A questo que se coloca agora a de determinar os valores de n para os quais as funes prprias so fisicamente aceitveis. As solues da equao (6.11) so do tipo
R=
F = u ( ) l e 2 r
(6.12)
d 2u du + (2l + 2 ) + (n l 1)u = 0 2 d d
(6.13)
acontece que esta equao, s tem solues satisfatrias se o termo (n l 1) for inteiro e positivo, isto , se
(n l 1) 0
(6.14)
l , nmero quntico orbital, s pode assumir os valores 0,1,2,... e n , nmero quntico principal, pode assumir os valores 1,2,3,...l + 1 . Sendo assim, os valores possveis de energia so dados por =
e 4 Z 2 1 com n = 1,2,3,... 2 2 32 2 0 = n2
(6.15)
59
Rnl (r ) =
2 2 l +1 2 n . Ln + l e n n
(6.16)
n
1
l 0
Rnl (r ) Z 2 R1s = 2 e a 1 Z R2 s = 2 2a R2 p
3 2 3
(2 )e
3
1 Z 2 2 = e 2 6a
0,1
0 0 -0,1 r 2 4 6 8 10
60
Figura 6.1 Funes 1s , 2s e 2 p em funo de r para o tomo de hidrognio, em unidades atmicas, para as quais a0 = 1 .
2 P 1s = 4 r 1s ,
e P2 p = 4 r 2 2 p
distncia r do ncleo para os estados 1s , 2s e 2 p , respectivamente. de realar que, para o estado 1s, a distncia qual mais provvel encontrar o electro o raio de Bohr, a0 .
Funes de distribuio radial 0,7 0,6 0,5 0,4 P 0,3 0,2 0,1 0 0 -0,1 r
2 2 Figura 6.2 Funes de distribuio radial P 1s = 4 r 1s , P 2 s = 4 r 2 s 2 2
1s 2s 2p
10
e P2 p = 4 r 2 2 p
que
61
62
Captulo 7. Concluso
7.1. Sntese
Um dos objectivos deste trabalho foi a aprendizagem da lgebra geomtrica para futura aplicao, tendo em conta as grandes vantagens da utilizao deste formalismo. Tentou-se focar as vantagens desta linguagem relativamente ao aspecto da manipulao algbrica de expresses. Com a vista realizao do posterior estudo sobre mecnica quntica, introduziram-se grandezas como a velocidade prpria, acelerao prpria e momento linear prprio. O tema da lgebra geomtrica e em especial a lgebra do espao-tempo de Minkowski no foi tratado com maior profundidade, pois para o fazer de modo satisfatrio seria necessrio uma extensa introduo ao tema. Este tpico merece assim ser tratado em trabalhos futuros, devido s grandes vantagens de aplicao deste formalismo. Aps o estudo inicial da lgebra geomtrica, fez-se uma introduo aos conceitos que constituem o formalismo da mecnica quntica salientando-se a importncia dos operadores nesse formalismo. A resoluo da equao de Schrdinger fez-se com recurso aos mtodos variacionais. Os mtodos variacionais permitem derivar as equaes do movimento de sistemas mecnicos conservativos, com e sem ligaes, independentemente do sistema de coordenadas. uma abordagem essencialmente geomtrica em que as equaes do movimento no dependem formalmente do sistema de coordenadas. A vantagem da abordagem variacional para a resoluo da equao de Schrdinger est na utilizao do formalismo Lagrangeano, e nas propriedades das equaes de Euler-Lagrange. O estudo do oscilador harmnico como modelo fsico das vibraes moleculares um exemplo bastante interessante pois a equao diferencial que necessria resolver no assim to trivial. E a aprendizagem de tcnicas para a resoluo desta equao por si s um motivo bastante importante para o estudo deste caso. Apresentou-se as funes prprias e os valores prprios da equao de Schrdinger. interessante notar que mesmo para o estado fundamental a energia do oscilador harmnico no nula e que uma vez que a halmitoniana hermitiana, os seus autovalores de energia so reais. de notar tambm que os autovalores so igualmente espaados e esta uma peculiaridade do oscilador harmnico que encontra muitas aplicaes em sistemas de muitos corpos. Em relao ao tomo de hidrognio, os seus correspondentes nveis de energia so dados pelas solues da equao de Schrdinger. A equao resolvida para a funo de onda radial onde n o
63
nmero quntico. Desde que n seja um nmero inteiro, a energia pode ser quantizada, mas apenas alguns valores so possveis. O fato de que n poder ter valores de um a infinito significa que existe um nmero infinito de nveis de energia e para valores positivos de energia o espectro contnuo.
64
4( , ) c
(A.1)
Em 1894 Wien mostrou que a densidade de energia teria de ser da forma u ( , ) = 5 y ( ) (A.2)
onde y uma funo desconhecida de uma nica varivel. Colocando a densidade de energia como funo da frequncia tem-se
u ( f , ) = u ( , ) d c = 2 u ( , ) df f
(A.3)
65
(A.4)
(A.5)
A forma em causa adapta-se muito bem para altas frequncias, no entanto para as baixas frequncias traz alguns problemas. Razo pela qual em 1900 Rayleigh derivou o seguinte resultado, tambm conhecido como a lei de Rayleigh-Jeans. u ( f , ) = 8f 2 k c3 (A.6)
Sendo k B = 1.38 10 16 erg / deg a constante de Boltzmann e c = 3.00 1010 cm / sec a velocidade da luz. Esta lei, ao contrrio de (A.5) no se ajusta s altas frequncias, no entanto de realar que ela no correcta uma vez que integrando na frequncia a energia total seria infinita. Deste modo em 1900 Max Planck a partir da interpolao entre as leis de Wien e de RayleighJeans, chegou seguinte expresso u ( f , ) = 8h f3 c 3 e hf k 1 (A.7)
sendo h = 6.63 10 27 erg . sec a constante de Planck. Como seria de prever f 0 existe uma aproximao lei de Rayleigh-Jeans u ( f , ) = 8h 3 hf f e c3
k
(1 e
hf k 1
8f 2 3 hf f e c3
(A.8)
Neste caso integrando na frequncia a densidade de energia deixa de ser infinita, o que leva a um resultado credvel.
66
em que a energia cintica dos electres, = (1 2 ) me v 2 , me , a massa do electro, e v a sua velocidade. f a frequncia da luz incidente, e W , a energia de ligao dos electres no metal.
hf
Electro
(Foto)
Metal a)
0 b)
f0 = W h
Figura B.1 Efeito Fotoelctrico: a) Um raio de luz (hf ) incide sobre a superfcie de um metal. Parte da energia absorvida no metal e a restante energia usada para arrancar um electro de energia cintica . b) A energia cintica dos electres ejectados, = 1
( 2) m v
e
incidente.
Verifica-se que: S so ejectados electres quando a frequncia da luz atinge um valor caracterstico do metal que designado por frequncia limiar. Este valor calculado como f 0 = W h , onde W a energia
de ligao ao metal.
A energia cintica dos electres ejectados varia linearmente com a frequncia da luz incidente mas independente da intensidade. O nmero de electres ejectados proporcional intensidade da luz.
67
Mesmo para intensidades mais baixas, so ejectados electres, desde que a frequncia da luz ultrapasse o seu valor limiar f 0 = W h . O quantum de luz era assim equiparado a uma partcula que transfere energia e momento para os electres do metal.
68
(C.1)
2 + ( pc )
12
(C.2)
12
(C.3)
Para um foto sempre c , doravante a massa do foto em repouso tem que ser nula. Da relao (C.2) vem que = pc . (C.4)
Que representa (C.1) quando se substitui = hf . (C.4) pode tambm derivar da considerao de energia e do momento de uma onda electromagntica.
69
Considera-se agora um foto com momento inicial p , incidente sobre um electro em descanso. Depois da coliso, o momento do foto p ' e o electro recua com momento P . Conservao do momento est representada na figura C.1. p = p '+ P (C.5)
(C.6)
Conservao da energia
hf + mc 2 = hf '+ m 2 c 4 + P 2 c 2
12
(C.7)
Foto dispersado
Foto incidente
Electro
Figura C.1 Efeito de Compton.
Por outro lado, (C.6) pode ser escrito na forma hf hf ' hf hf ' cos( ) p2 = + 2 c c c c ou seja p 2 c 2 = (hf hf ') + 2(hf )(hf ')(1 cos( ))
2 2 2
(C.8)
70
' =
h (1 cos( )) mc
(C.9)
As medidas do componente modificado concordam muito bem com esta predico. A linha no modificada e devido ao disperso do tomo; se m substitudo pela massa do tomo o deslocamento no comprimento de onda muito pequeno, pois um tomo tem uma massa muito superior do electro. A quantidade h mc tem as dimenses de um comprimento. denominado comprimento de onda Compton de um electro e a sua magnitude ( h mc ) 2.4 1010 cm . Medidas do electro recuado foram feitas tambm e estas esto de acordo com a teoria. Foi posteriormente determinado por uma boa coincidente resoluo de experincias que o aumento de velocidade do foto e o recuo do electro aparecem simultaneamente. No h qualquer questo sobre a correco na interpretao da coliso como uma coliso do tipo bola de bilhar. Como a radiao tambm tem propriedades de onda e exibe interferncia e difraco pode-se esperar algumas dificuldades conceptuais.
71
72
dx = |
*
(D.1)
donde se segue
= | .
(D.2)
A expresso para o integral envolvendo um operador pode ser escrita de duas maneiras equivalentes
dx
A = | A = | A | ,
(D.3)
se A um nmero em vez de um operador ento pode sair fora dos parnteses e tem-se
| a = a |
(D.5)
a | = a * | .
(D.6)
A condio ortonormalidade da notao de Dirac l-se a1 | a 2 = a1a2 o teorema da expanso l-se (D.8)
= Ca a
a
(D.9)
73
C
a
b|a =
C
a a
ab
= Cb
(D.10)
| = C a | a = | a a |
a a
(D.11)
como isto verdade para todo o e pode-se afastar esta relao e escrever a notao de Dirac como
a
a
a =1
(D.12)
conclui-se ilustrando o uso da notao de Dirac para provar a ortonormalidade dos operadores Hermitianos das funes que correspondem a diferentes valores de prprios. Considera-se b| A| a = a b| a (D.13)
como b um estado prprio de A com valor de b e as quantidades aparecem no bra. No entanto para um operador Hermitiano tem-se A = A + . Segue-se:
a b | a = b* b | a
(D.15)
se se escolhe b = a imediatamente se v que os valores prprios tm que ser reais para b * = b , por exemplo d-nos (a b ) b | a = 0 , que era o que se pretendia provar, pois para a b , b | a a relao tende a desaparecer.
74
(E.1)
p x x x p x (x, t ) = i= (x, t ) p x , x (x, t ) = i= (x, t ) a relao de comutao p x , x = i= . A representao do espao do momento linear dada por,
px =
(E.2)
* (x, t )( i= )
1 x 2=
( p x , t )e =
i px x =
i px x
dp x dx (E.3)
1 = ( p x , t ) p x 2=
(x, t )e
*
dx dp x
( p x , t ) p x * ( p x , t )dp x .
(E.4)
75
px =
* p x , t p x p x , t
+
(E.5)
De onde se infere que o espao do momento linear p x = p x . Em relao representao do operador x , no espao do momento linear tem-se que
x =
1 ( x, t )x 2=
+ + *
* ( p x , t )e
i px x =
dp x dx
i px x =
(E.6) dx dp x
1 = (x, t )( i= ) p x 2=
( p x , t )e
i= * ( p x , t ) p x
+
( p x , t )dp x
Assim tem-se que x = ( i= px ) . Na Tabela E.1 apresentam-se alguns resultados referentes representao das grandezas fsicas em termos de operadores quer no espao de coordenadas quer no espao do momento linear.
Tabela E.1 Alguns resultados da representao de operadores no espao de coordenadas e no espao do momento.
Grandeza fsica
Espao de coordenadas
Espao do momento
x= i= p x
posio x
x=x
p x = i= x =2 2 = 2m x 2
px = px =
2 px 2m
Energia potencial V
V = V (x )
V =V i= p x
Energia total
=2 2 = 2m x 2
+ V (x )
2 px +V i= 2m p x
76
+ 2
* + 2 1 2
)
(F.1)
Mostra-se assim que em fase relativa entre 1 (x, t ) e 2 ( x, t ) relevante para a determinao de P(x, t ) , no entanto esta informao de fase irrelevante para a determinao de P1 (x, t ) ou de P2 ( x, t ) . Em relao ao princpio da sobreposio importante tambm referir que, em geral a funo de onda que descreve o estado quntico de um sistema fsico uma grandeza complexa. Veja-se agora o seguinte exemplo atravs da equao de Schrdinger. (x, t ) = cos(kx t ) + sin (kx t ) = [sin (kx t ) cos(kx t )] t 2 = k 2 [cos(kx t ) + sin (kx t )] x 2 Pelo que da equao de Schrdinger de uma partcula livre,
i=
(F.2)
= 2 = 2m x 2 t
(F.3)
cuja soluo possvel = i . Analisando agora a evoluo para um estado quntico em t = 0 descrito por (x,0 ) = cos(kx ) ,
77
1 1 (x,0 ) = e (ikx ) 1 1 2 (x, t ) = e [i (kx t )] + e [i (kx t )] 2 2 (x,0) = 1 e (ikx ) 2 2 (x, t ) = cos(kx )e ( it ) cos(kx t )
(F.4)
(F.5)
Conclui-se assim que a funo de onda em t = 0 , ( x,0) , determina o andamento ( x, t ) , o que significa que a equao de Schrdinger tem de ser, uma equao diferencial de primeira ordem em relao ao tempo.
78
Electro
Proto
y x
x = rsen( ) cos( ) y = rsen( )sen( ) . z = r cos( ) De (G.1) pode-se obter as transformaes inversas: r 2 = x 2 + y 2 + z 2 ; cos( ) = z x +y +z
2 2 2
(G.1)
; tg ( ) =
y x
(G.2)
a partir (G.2) pode-se calcular as derivadas parciais: r r r sen( ) cos( )sen( ) = cos( ) ; = sen( )sen( ) ; = sen( ) cos( ) ; = = = 0; z x z r y r z y cos( ) = y rsen( )
79
(G.4) as solues desta equao, (r , , ) , produtos de trs funes, uma s de r , outra s de e outra s de .
(r , , ) = R(r )( ) ( ) .
(G.5)
Como no caso do tomo de hidrognio o problema a trs dimenses, a energia vai depender de trs nmeros qunticos, um para cada coordenada. As solues da equao de Schrdinger so da forma,
nlm (r , , ) = Rnl (r ) lm ( ) m ( )
(G.6)
A funo radial Rnl (r ) , depende dos nmeros qunticos n e l , a funo lm ( ) , dos nmeros qunticos l e m , e a funo m ( ) , do nmero quntico m . Os nmeros qunticos n , l e m so respectivamente o nmero quntico principal, o nmero quntico azimutal ou de momento angular orbital e o nmero quntico magntico. tambm comum escrever
(G.7)
80
= 2 1 d 2 dR =2 1 1 Y r R 2 2 2 r sen( ) 2 r dr dr
Separando a equao (G.7) em duas partes, uma em funo de r e outra em funo de e de , obtm-se 1 d 2 dR 2 2 1 r + 2 r ( V ) = R dr dr = Y 1 d dY 1 d 2Y ( ) sen + . d sen 2 ( ) d 2 sen( ) d (G.8)
A (G.9) equao designa-se equao radial. E uma constante que representa qualquer dos membros da equao (G.8). 1 d 2 dR 2 r + 2 ( V ) 2 R = 0 2 r dr dr = r Para o segundo membro de (G.8) vem 1 Y 1 2Y + Y = 0 sen( ) + sen( ) sen 2 ( ) 2 se considerar o operador = 2 1 1 sen( ) + sen( ) sen 2 ( ) 2 (G.11) (G.10) (G.9)
Y ( , ) = Y ( , )
(G.12) uma equao de valores prprios , sendo = .
(G.12)
81
L = Lx + L y + Lz i= 2 (r )
(G.13)
Lx = i= 2 y z y z L y = i= 2 z x z x L z = i= 2 x y x y
2 2 2
(G.14)
sendo tambm verdade que L2 = Lx + L y + Lz . Para obter L2 em coordenadas esfricas basta relacionar (G.1) e (G.14): 1 1 2 = = 2 . L2 = = 2 sen( ) + 2 2 sen ( ) sen( ) A equao de valores prprios L2Y ( , ) = Y ( , ) sendo = l (l + 1)= 2 , fica L2 = l (l + 1)= 2 . (G.17) (G.16) (G.15)
82
Referncias
[1] S. Gasiorowicz, Quantum Physics, Second Edition, University of Minnesota, John Wiley & Sons, Inc., EUA, 1995. [2] C. R. Paiva, Mecnica Quntica, Universidade Tcnica de Lisboa, Instituto Superior Tcnico, Lisboa, Portugal, Maio 2007. [3] C. R. Paiva, lgebra Geomtrica e Electromagnetismo, Universidade Tcnica de Lisboa, Instituto Superior Tcnico, Lisboa, Portugal, Setembro 2006. [4] C. Doran and A. Lasenby, Geometric Algebra for Physicists, Cambridge University Press, Cambridge, UK, 2003. [5] L. Alccer, Introduo Qumica Quntica Computacional, Ensino da Cincia e Tecnologia IST Press, Janeiro 2007. [6] C. R. Paiva, Introduo aos Mtodos Variacionais, Universidade Tcnica de Lisboa, Instituto Superior Tcnico, Lisboa, Portugal, Abril 2004. [7] Hestesnes,D., New Foundations for Classical Mechanics, Kluwer Academic Publishers, Dordrecht, KNL, 1984. [8] [9] Hestenes,D., Space-Time Algebra, Gordon & Breach Science Pub, New York, USA, 1966. Hestenes,D., Poper Dynamics of a Rigid Point Particle, Journal of Mathematical Physics, Vol. 15, Issue 10, Oct. 1974. [10] [11] [12] [13] P. J. E. Peebles, Quantum Mechanics, Princeton University Press, Princeton, N.J 1992. D. J. Griffiths., Introduction to Quantum Mechanics, Prentice Hall, Upper Saddle River, 1998. D. Park, Introduction to the Quantum Theory, 3rd edition McGraw-Hill, New York, 1984. F. Schwabl, Quantum Mechanics, Springer-Verlag, New York, 1992.
83
[14]
84