Академический Документы
Профессиональный Документы
Культура Документы
Giovani L. Vasconcelos
Departamento de F sica Universidade Federal de Pernambuco 50670-901 Recife, Brasil
Sumrio a
Espaos Vetoriais de Dimenso Finita c a 1.1 1.2 1.3 1.4 1.5 1.6 Corpo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Espao Vetorial . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . c Independncia Linear, Base e Dimenso . . . . . . . . . . . . . . . . . . . . . e a Produto interno e notao de Dirac . . . . . . . . . . . . . . . . . . . . . . . ca Espao Dual . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . c Operadores Lineares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1.6.1 1.6.2 1.7 Algebra de Operadores . . . . . . . . . . . . . . . . . . . . . . . . . . Comutadores . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1 1 3 4 6 8 11 13 13 14 15 17 20 21 23 23
Matrizes como representaoes de operadores . . . . . . . . . . . . . . . . . . c 1.7.1 1.7.2 1.7.3 Operador Adjunto . . . . . . . . . . . . . . . . . . . . . . . . . . . . Operadores Hermiteanos e Unitrios . . . . . . . . . . . . . . . . . . a Mudana de base: . . . . . . . . . . . . . . . . . . . . . . . . . . . . . c
1.8
1.9
Funoes de operador . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . c i
ii
Espaos Vetoriais de Dimenso Innita c a 2.1 2.2 2.3 2.4 2.5 Espao de funoes e o espao L2 . . . . . . . . . . . . . . . . . . . . . . . . . c c c Espao de Hilbert . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . c Espaos das funoes testes e espao de Hilbert equipado . . . . . . . . . . . . c c c Bases cont nuas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Operadores em Espao de Hilbert . . . . . . . . . . . . . . . . . . . . . . . . c 2.5.1 2.6 Decomposio Espectral de Operadores . . . . . . . . . . . . . . . . . ca
27 27 27 30 34 37 40 42
Exerc cios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3 Postulados da Mecnica Quntica a a 3.1 3.2 Postulados . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Discusso sobre o Postulado II . . . . . . . . . . . . . . . . . . . . . . . . . . a 3.2.1 3.2.2 3.3 Equao de Schrdinger . . . . . . . . . . . . . . . . . . . . . . . . . ca o Sistemas Estacionrios . . . . . . . . . . . . . . . . . . . . . . . . . . a
47 47 51 51 53 54 55 56 57 58 59
Discusso sobre o Postulado da Medida . . . . . . . . . . . . . . . . . . . . . a 3.3.1 3.3.2 3.3.3 3.3.4 3.3.5 Precesso do Momento Angular (Clssico) . . . . . . . . . . . . . . . a a Valor Mdio de um Observvel . . . . . . . . . . . . . . . . . . . . . e a Varincia e Incerteza de . . . . . . . . . . . . . . . . . . . . . . . . a Preparao de Estados e Conjunto Completo de Observveis . . . . . ca a Variveis Compat a veis. . . . . . . . . . . . . . . . . . . . . . . . . . .
iii 59
4 Relaes de Incerteza co 4.1 4.2 4.3 Deduao das relaes de incerteza . . . . . . . . . . . . . . . . . . . . . . . . c co Pacote de m nima incerteza . . . . . . . . . . . . . . . . . . . . . . . . . . . Aplicaoes do Princ c pio da Incerteza . . . . . . . . . . . . . . . . . . . . . . 4.3.1 4.3.2 4.4 Estado fundamental do Oscilador Harmnico . . . . . . . . . . . . . . o Estado Fundamental do tomo de Hidrognio . . . . . . . . . . . . . a e
61 61 63 65 65 66 67
Exerc cios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
5 Problemas Unidimensionais Simples 5.1 5.2 Part cula Livre . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Part cula na Caixa . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5.2.1 5.3 5.4 5.5 5.6 Evoluao de um Pacote de Onda Gaussiano . . . . . . . . . . . . . . c
69 69 72 75 78 79 81 83
6 Oscilador Harmnico o 6.1 Soluao pelo Mtodo Algbrico . . . . . . . . . . . . . . . . . . . . . . . . . c e e 6.1.1 6.1.2 Algebra dos operadores de levantamento e abaixamento . . . . . . . . Clculo das Autofunes . . . . . . . . . . . . . . . . . . . . . . . . . a co
85 85 85 91
iv 6.2 6.3
103
Evoluo do Valor Mdio de uma Observvel . . . . . . . . . . . . . . . . . . 103 ca e a Teorema de Ehrenfest . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 104 Limite Clssico . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 106 a Exerc cios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 107
109
Simetria em Mecnica Clssica . . . . . . . . . . . . . . . . . . . . . . . . . . 109 a a 8.1.1 8.1.2 8.1.3 Evoluao Temporal e Variveis C c a clicas . . . . . . . . . . . . . . . . . 109 Transformaes Cannicas e seus Geradores . . . . . . . . . . . . . . 111 co o Teorema de Noether . . . . . . . . . . . . . . . . . . . . . . . . . . . 115
8.2
Transformaoes de Simetria em Mecnica Quntica . . . . . . . . . . . . . . 116 c a a 8.2.1 8.2.2 8.2.3 Tranformaes Ativas . . . . . . . . . . . . . . . . . . . . . . . . . . . 116 co Tranformaes Passivas . . . . . . . . . . . . . . . . . . . . . . . . . . 118 co Tranformaes Cannicas . . . . . . . . . . . . . . . . . . . . . . . . 119 co o
8.3
Transformaoes Espaciais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 121 c 8.3.1 8.3.2 Translaoes Espaciais . . . . . . . . . . . . . . . . . . . . . . . . . . . 122 c Rotaes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 123 co
8.4
SUMARIO 8.5
Evoluo Temporal como uma Transformao Unitria . . . . . . . . . . . . 126 ca ca a 8.5.1 8.5.2 Translaao Temporal . . . . . . . . . . . . . . . . . . . . . . . . . . . 126 c Representaoes de Schrdinger e Heisenberg . . . . . . . . . . . . . . 126 c o
8.6 8.7
Simetrias e Leis de Conservao . . . . . . . . . . . . . . . . . . . . . . . . . 127 ca Simetrias Discretas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 129 8.7.1 Paridade . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 129
8.8
137
Potencial Central . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 137 Algebra do Momento Angular . . . . . . . . . . . . . . . . . . . . . . . . . . 140 9.2.1 9.2.2 9.2.3 Autovetores e Autovalores de Lz . . . . . . . . . . . . . . . . . . . . . 140 Autovetores de L2 e Lz . . . . . . . . . . . . . . . . . . . . . . . . . . 142 Representaao Matricial . . . . . . . . . . . . . . . . . . . . . . . . . 145 c
Autofunoes de L2 e Lz na base de Coordenadas . . . . . . . . . . . . . . . . 146 c Equaao Diferencial de Autovalor para L2 . . . . . . . . . . . . . . . . . . . 151 c Exerc cios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 152
155
10.1 Separaao de Variveis e a Equao Radial . . . . . . . . . . . . . . . . . . . 155 c a ca 10.2 Propriedades Gerais da Funo Radial . . . . . . . . . . . . . . . . . . . . . 158 ca 10.2.1 Comportamento assinttico para r 0 . . . . . . . . . . . . . . . . . 159 o
vi
SUMARIO 10.2.2 Comportamento assinttico para r . . . . . . . . . . . . . . . . 160 o 10.3 Exerc cios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 162
167
11.1 Problema de Dois Corpos . . . . . . . . . . . . . . . . . . . . . . . . . . . . 167 11.2 Autovalores de Energia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 169 11.3 Funes de Onda . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 173 co 11.4 Exerc cios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 177
1.1
Corpo
Denio 1.1 (Corpo). Um corpo K um conjunto completo dotado das quatro operaes: ca e co soma, subtrao, multiplicao e diviso, com as propridades usuais. ca ca a
O ingrediente essencial na denio acima o requerimento de um corpo constituir um ca e conjunto completo. Denio 1.2 (Conjunto completo). Um conjunto completo aquele em que toda sequncia ca e e de Cauchy converge para um elemento do conjunto.
Relembremos a deniao de uma sequncia de Cauchy. c e Denio 1.3 (Sequncia de Cauchy). Uma sequncia {an } dito ser de Cauchy se para ca e e e todo > 0 existe um N , tal que |an am | < , para quaisquer 1 n, m > N.
CAP ITULO 1.
A deniao de sequncia de Cauchy corresponde a formulaao mais bsica da noao de c e ` c a c convergncia de uma sequncia. De fato, note que em uma sequncia de Cauchy os sucese e e sivos elementos cam arbitrariamente prximos uns dos outros (e no apenas dos vizinhos), o a sem entretanto ser exigido que essa sequncia possua um limite. Em um certo sentido, a e noao de convergncia contida no critrio de Cauchy pode ser vista como uma forma de c e e convergncia fraca, em que os elementos da sequncia cam arbitrariamente prximos uns e e o dos outros, mas o limite pode nem sequer existir, como veremos no exemplo abaixo. Exemplo 1.1. O conjunto dos nmeros racionais Q no forma um corpo, pois h sequncias u a a e de Cauchy Q que no convergem. Por exemplo, pode-se mostrar facilmente que {xn }, onde a x0 = 1, xn+1 = 1 2 xn + 2 xn
uma sequncia de Cauchy, mas seu limite no pertence a Q. e e a Exemplo 1.2. O corpo dos reais, R, formado completando os racionais com os limites e de todas as sequncias de Cauchy em Q, isto , e e
R=Q
Pn . Qn Cauchy
Note, em particular, que um nmero irracional r, denido como r R mas r Q, corresponde u / a uma sequncia cujo limite dene r. Nesse sentido, podemos representar r como uma e sequncia: e P 1 P2 Pn , , ..., , ... . r= Q1 Q2 Qn Note ainda que todas as sequncias {Pn /Qn } que possuem o mesmo limite correspondem e ao mesmo nmero irracional. Em outras palavras, um nmero irracional r corresponde, em u u verdade, ` classe de equivalncia formada por todas as sequncias em Q com o mesmo a e e limite r.
Outro conceito que ser util adiante, em conexo com nossa discusso de espaos de a a a c Hilbert, e que portanto merece ser revisto aqui, a noao de cardinalidade de um conjunto. e c Denio 1.4 (Cardinalidade). A cardinalidade de um conjunto C o nmero de elementos ca e u de C.
Os exemplos abaixo servem para ilustrar a deniao acima, tanto para o caso de conjuntos c com um nmero nito quanto para conjuntos com innitos elementos, sejam enumerveis ou u a no enumerveis. a a Exemplo 1.3. Alguns conjuntos e suas respectivas cardinalidades:
1.2. ESPACO VETORIAL C = N, card(C) = 0 innito enumervel; a C = Q, card(Q) = card(N); C = , card( ) = 1 innito no enumervel; a a C = [0, 1], card(C) = card( ).
1.2
Espao Vetorial c
De posse da deniao de corpo, podemos agora dar uma deniao formal de espao vetorial. c c c Denio 1.5 (Espao Vetorial). Um espao vetorial V sobre um corpo de escalares K ca c c e um conjunto dotado de duas operaes, adio e multiplicao por um escalar, as quais co ca ca possuem as seguintes propriedades
i) adio: associativa, comutativa, possui elemento neutro e elemento inverso. ca ii) multiplicao por escalar: distributiva (no escalar e no vetor) e associativa. ca Os elementos de um espao vetorial V so chamados de vetor e sero denotados por |V . c a a Os escalares sero denotados por letra minscula a, sendo que como j mencionado os corpos a u a de interesse so K = R ou K = C. a
Propriedades. Usando a notaao acima, temos que as propriedades que denem um c espao vetorial V sobre o corpo K so c a 1. fechamento da adio: ca |V + |W V, |V , |W V. 2. comutatividade da adio: ca |V + |W = |W + |V . 3. associativade da adiao: c |V + (|W + |Z ) = (|V + |W ) + |Z . 4. elemento neutro da adiao: c |0 V |0 + |V = |V , |V V.
para todo |V V, |V V |V + |V = |0 . 6. fechamento da multiplicaao por escalar: c a |V V, |V V e a K. 7. distributividade da multiplicao por escalar: ca a (|V + |W ) = a |V + a |W . (a + b) |V = a |V + b |V . 8. associatividade da multiplicaao por escalar: c a (b |V ) = ab |V . Um espao vetorial abstrato V uma generalizao dos espaos vetoriais mais usuais, c e ca c 2 3 como R ou R , em que os vetores so objetos com direao, sentido e magnitude, sendo a c poss vel dar-lhes uma representaao atravs de setas, v, e para os quais as operaes c e co acima so bem denidas e possuem uma clara interpretaao geomtrica. A notaao abstrata a c e c |V , conhecida como notaao de Dirac, contudo mais geral, visto que em muitos casos c e os elementos dos espaos vetoriais de interesse no admitem uma interpretao geomtrica c a ca e por meio de setas. Na notaao de Dirac, um vetor |V tambm chamamdo de ket, por c e e razes que caram claras em breve. Vale mencionar ainda que a notaao de Dirac muito o c e conveniente na realizaao de diversas operaes com vetores, de modo que o esforo inicial do c co c leitor para familiarizar-se com essa notaao ser, acreditamos, amplamente recompensado. c a
1.3
Denio 1.6 (Independncia linear). Um conjunto de vetores {|i }n so ditos serem ca e i=1 a linearmente independentes se a identidade
n
ai |i = 0
i=1
vericar-se apenas se todos ai = 0. Segue da deniao que em um conjunto de vetores linearmente independentes, nenhum c vetor pode ser escrito como combinaao linear dos outros. De maneira contrria, em um c a conjunto de vetores linearmente dependentes devem existir pelo menos dois coecientes ai no nulos. Digamos que aj = 0,, ento podemos expressar o vetor |j em funao dos outros, a a c isto e n ai |i , |j = aj i=1,i=j onde pelo menos um dos coecientes ai no nulo. e a
Denio 1.7 (Dimenso). A dimenso de um espao vetorial V o nmero mximo de ca a a c e u a vetores linearmente independentes. Assim, se dim(V) = n, ento h, no mximo, n vetores linearmente independentes; logo a a a qualquer vetor |V V pode ser escrito como uma combinao linear de (no mximo) n ca a outros vetores. Vamos, por convenincia, enunciar esse resultado como um teorema. e Teorema 1.1. Qualquer vetor |V em um espao vetorial de dimenso n pode ser escrito c a como uma combinao linear de n vetores linearmente independentes (l.i.). ca Demonstrao. Suponha que |V no pudesse ser escrito como combinao linear de n vetores ca a ca l.i. Ento poder a amos adicionar |V a outros n vetores l.i. e assim ter amos (n + 1) vetores l.i.; logo a dimenso seria n + 1 e no n. a a c Denio 1.8 (Base). Um conjunto B = {|i }n de n vetores l.i. em um espao de dica i=1 menso n dito uma base desse espao. a e c a Se B = {|i }n uma base de V, ento |V i=1 e
n
|V =
i=1
vi |i .
A expanso acima unica. Os nmeros vi so ditos as coordenadas (ou componentes) de |V a e u a na base B. Dessa forma, o vetor (abstrato) |V pode ser representado por um conjunto de n nmeros correspondendo as suas coordenadas em uma determinada base B. Em particular, u ` podemos escrever o vetor |V em notaao matricial c v1 v2 |V = . . . . vn E importante observar, contudo, que se mudarmos de base, e.g., B = {|i }n , as comi=1 ponentes de |V mudam: v1 v 2 |V = . . . . vn Mas obviemante o vetor permanece o mesmo. A adoao de uma base e a consequente c representao dos vetores em termos das suas componentes nessa base muito conveniente ca e (e prtico) para a manipulaao de vetores. Por exemplo, para a adiao de vetores basta a c c somar as respectivas componentes. Ou seja, se
n n
|V =
i=1
vi |i
e |W =
i=1
wi |i ,
6 ento a
CAP ITULO 1.
|V + |W =
i=1
(vi + wi ) |i
1.4
, denido por
A B = |A||B| cos = Ax Bx + Ay By + Az Bz , a partir das suas propriedades. Denio 1.9. O produto interno entre dois vetores |V e |W uma regra que produz um ca e nmero (no corpo K) e satisfaz as seguintes propriedades: u
i) V |W = W |V se K = , ou V |W = W |V
se K = C.
Observao 1. A notaao acima para denotar o produto vetorial entre os vetores |V e ca c |W um pouco confusa, uma vez que no denimos (ainda) o s e a mbolo V |. Dever amos na verdade usar algo do tipo (|V , |W ) ou |V |W . Entretanto, veremos adiante que a notao acima bastante conveniente, sendo poss ca e vel atribuir um signicado concreto ao s mbolo V | . Antecipamos aqui que vetores |V so a chamados de kets, ao passo que o s mbolo V | chamado de um bra. e
Observao 2. Decorre das propriedades (i) e (iii) acima que o produto interno semica e linear no argumento da esquerda do produto interno. Ou seja, usando temporariamente a notaao de para produto interno, temos que c (a |W + b |Z ) |V = {|V (a |W + b |Z )} = {a V |W + b V |Z } = a W |V + b Z|V .
1.4. PRODUTO INTERNO E NOTACAO DE DIRAC Assim somos tentados a escrever (a |W + b |Z ) |V = (|aW + |bZ ) |V = aW + bZ | V .
Mas para isso necessrio entender o que um bra. Antes, porm, uma pequena reviso de e a e e a bases ortonormais. Denio 1.10. Uma base B = {|i }n dita ortonormal se ca i=1 e i|j = ij , onde ij = o chamado delta de Kronecker. e 1, i = j 0, i = j
A escolha de uma base ortogonal muito util para realizar operaes com vetores. Por e co exemplo, o produto interno pode ser facilmente calculado em termos de uma base ortonormal. Seja B = {|i }n uma base ortonormal. Se i=1
n n
|V =
i=1
vi |i
e |W =
j=1
wj |j
ento a V |W =
i j vi wj ij i j vi w i . i vi wj i|j
= =
Consequentemente, a norma de um vetor pode ser facilmente obtida a partir de suas coordenasdas em uma base ortonormal:
n
|V |2 = V |V =
i=1
|vi |2
|V | =
i
|vi |2 .
CAP ITULO 1.
Alm disso, as componentes vi em uma base ortonormal so facilmente calculadas, tomandoe a se o produto interno de |V com o respectivo vetor |i da base. De fato, i|V =
j
vj i|j =
j
vj ij = vi ,
ou seja vi = i|V . Assim a decomposiao de |V em uma base ortogonal {|i }n pode ser escrita formalmente c i=1 como |V =
i
vi |i i|V |i
i
= ou alternativamente, |V =
i
|i i|V |i i| |V ,
i
Donde conclu mos que uma base ortogonal satisfaz a chamada relao de completeza: ca
n
|i i| = I,
i=1
0 0 . . .
. 0 1
1.5
Espao Dual c
Denio 1.11 (Funcional linear). Uma aplicao linear F : V K do espao vetorial V ca ca c para o prprio corpo K de escalares dita um funcional linear. o e Se F um funcional linear sobre V ento e a F (a |V + b |W ) = aF (|V ) + bF (|W ).
Teorema 1.2. O conjunto dos funcionais lineares sobre um espao vetorial V um espao c e c vetorial.
Demonstrao. Dena a adio e multiplicaao por escalar de forma natural ca ca c (F + G) |V = F (|V ) + G(|V ) e (aF )(|V ) = a [F (|V )]. a E fcil vericar que todas as propriedades de um espao vetorial so satisfeitas. c a Denio 1.12. O espao vetorial dos funcionais lineares em V dito o espao dual de V e ca c e c denotado por V . e Denio 1.13. Dois espaos vetoriais V e W so ditos isomorfos, denotados por V W, se ca c a = existir uma aplicao linear bijetiva T : V W entre eles (ou seja, se existir um isomorsmo ca T entre V e W). Dito de outro modo, se dois espaos vetoriais V e W so isomorfos, ento eles podem ser c a a colocados em correspondncia biun e voca um com o outro. Teorema 1.3. Dois espaos de dimenso nita so isomorfos se, e somente se, eles possuem c a a a mesma dimenso. a
Demonstrao. Suponha que eles so isomorfos. Claramente o isomorsmo T leva a base ca a V de V na base iW de W, e vice-versa, logo ambos espaos possuem a mesma dimenso. i c a Por outro lado, se V e W possuem a mesma dimenso, ento a transformao T iV = iW a a ca dene um isomorsmo entre eles.
Do teorema acima, concluimos que todos os espaos vetoriais de dimenso n so isomorfos c a a a R , ou seja, dim(V) = n V Rn . =
n
Vamos agora retornar ao caso o espao dual de um espao vetorial de dimenso nita. c c a Teorema 1.4. Se V um espao de dimenso nita n, ento V V. e c a a =
Observao. Em geral, a relao: V V no verdadeira para espaos de dimenso ca ca a e c a = innita (no enumervel). Nesse caso, veremos adiante que dim(V ) > dim(V). a a Pelo teorema acima, para cada vetor |V V podemos associar um dual V V . Para determinarmos o funcional linear V , basta saber como ele atua sobre vetores de V. Isso pode ser feito a partir da denio do produto interno. ca
10
CAP ITULO 1.
Ou seja, com |V xo, o produto interno de |V com os demais vetores V dene um funcional linear em V, visto que V |aW + bZ = a V |W + b V |Z . Sendo assim, podemos denotar o dual V de |V pelo bra V |: V de modo que V (|W ) = V |W . Assim vemos que um bra V | um elemento do espao dual V . e c V|
Operaes adjuntas. A operaao de tomar o dual, tambm dita tomar o adjunto, co c e de um vetor recebe um s mbolo especial, a adaga : (|V ) V | .
Demonstrao de i). Para obter o dual de a |V precisamos saber como o funcional aV | ca atua. Ora, temos que aV |W = W |aV Logo, (a |V ) = a V | = V | a . Deixamos a demonstrao ii) a cargo do leitor. ca Se introduzirmos uma base ortonormal, v1 . |V = . . . vn Ento quem o bra V | nessa base? Ora, como V |W = a e tarmos V | pelo vetor linha V | = (v1 vn ),
i vi wi , conveniente represene
= a W |V
= a V |W .
11
vi wi = V |W . i
|V =
i=1
vi |i ,
ento a
n n
V | = (|V ) =
i=1
vi |i
=
i=1
i| vi .
Temos que
|i i|V =
vi |i , logo (
vi |i ) =
|i i|V
i
=
i
V |i i| .
Podemos ento estabelecer a seguinte regra para o clculo do adjunto de expresses a a o envolvendo vetores: inverta a ordem dos fatores, troque kets por bras (e vice-versa) e tome o complexo conjugado de todos os escalares.
1.6
Operadores Lineares
Um operador atuando em um espao vetorial V uma regra para transformar qualquer c e vetor |V em outro vetor |V . Em outras palavras, se um operador, ento e a |V = |V , |V V.
12
CAP ITULO 1.
Exemplos de operadores
1. Operador identidade: I |V = |V , |V 2. Operador de rotaao em V = R3 : c x = R()x, onde R() representa a operao de rotaao por um angulo em torno do eixo denido ca c por = n. Por exemplo, para uma rotaao em torno do eixo z, = (/2)k, e se c denotarmos |1 = i, |2 = j e |3 = k, temos ento que a R R e R k |1 = |2 , 2 k |2 = |1 2 V
k |3 = |3 . 2 Claramente a aao da rotaao linear: c c e R[|1 + |2 ] = R |1 + R |2 . O exemplo acima ilustra um fato importante: para conhecermos um dado operador linear basta sabermos como ele atua nos elementos de uma base ortonormal. Mais precisamente, se B = {|i }n uma base de V e se i=1 e |i = |i ento a aao de em qualquer vetor |V est a c a |V =
i
vi |i
vi |i =
i
vi |i .
Exemplo. Se = R() ento 1 = R(). a a E fcil vericar ainda que, se e possuirem inverso, ento ()1 = 1 1 . a
13
Observao: nem todo operador possui um inverso, as condies para tais sero mencioca co a nadas adiante.
1.6.1
Algebra de Operadores
1. Adio: claramente se 1 e 2 so dois operadores lineares, ento a soma deles tambm ca a a e ser um operador linear: a = 1 + 2 ; |V = 1 |V + 2 |V . 2. Multiplicao: se e so operadores lineares em V, ento denimos o operador ca a a produto atravs da relao e ca () |V = ( |V ). Com essa denio, os parnteses tornam-se desnecessrios, ou seja, a expresso ca e a a |V ca bem denida (sem ambiguidade). Note que a ordem das operaes importante, co e pois em geral: = .
Um conjunto C dotado de duas operaes, adio e multiplicaao, com as propriedades co ca c usuais, dito ser uma lgebra. Se a multiplicaao for comutativa, a lgebra dita ser e a c a e comutativa; do contrrio, a lgebra ser no comutativa.. Temos, portanto, que o conjunto a a a a de operadores em um espao vetorial forma uma lgebra no commutativa, chamada de c a a algebra dos operadores lineares em V, denotada por L(V).
1.6.2
Comutadores
Em face da no comutatividade da multiplicao de operadores, torna-se importante consia ca derar o operador comutador entre dois operadores que mede Denio 1.14. O comutador dos operadores e denido pela relao ca e ca [, ]
14
CAP ITULO 1.
Identidades uteis envolvendo comutadores: [, ] = [, ] + [, ] [, ] = [, ] + [, ] A vericaao das identidades acima deixada como exerc para o leitor. c e cio
1.7
Um operador linear em um espao de dimenso nita V pode ter uma representaao c a c bastante concreta e conveniente por meio de matrizes. Suponha que saibamos como atua em uma base ortonormal, B = {|i }n , de modo que podemos determinar os vetores |i , i=1 onde |i = |i . Conhecer os novos vetores |i signica conhecer os seus componentes na base B, ou seja, j|i = j| |i ji . Os nmeros ji so ditos os elementos de matriz de na base B. Claramente h n n desses u a a elementos. Assim temos |i = ji |j .
j
Em particular se |V =
vi |i e |V
= |V , ento as componentes de |V a = = =
j
na base B so a
vi = i|V
i||V i|
j
vj |j i||j vj ij vj .
=
ij
A expresso acima corresponde exatamente ` regra usual de multiplicaao de matrizes. Assim a a c podemos representar o operador na base B pela matriz ji : 11 12 1n 21 22 2n = . . . = (|1 |2 |n ) .. . . . . . . . n1 n2 nn 1| |1 1| |2 1| |n 2| |1 2| |2 2| |n = . . . . ... . . . . . . n| |1 n| |2 n| |n
15
a E fcil vericar ainda que a representaao matricial da soma e multiplicaao de operadores c c pode ser obtida usando as regras usuais de soma e multiplicaao de matrizes. Por exemplo c 11 1n 11 1n . . . . . .. .. . . . = . . . . . . . n1 nn n1 nn Ou em notao de ca ndice ()ij =
k
ik kj .
1.7.1
Operador Adjunto
Para todo operador : V V atuando em um espao vetorial V podemos denir um c operador dual atuando no espao dual: c : V V . onde, V | ( V |) = V | , Ou seja V | = V | . Note que a notaao acima deve ser entendida de maneira apropriada. c V | V | : funcional linear. : funcional linear gerado pela aao de . c
V | = V | V | = ( V | ) = V ||
Entretanto, comum esquecermos a diferena entre um operador e o seu dual , e e c dizermos que o operador atua tanto em kets |V como em bras V | , ou seja, |V = |V
16
CAP ITULO 1.
As vezes dizemos que um operador pode atuar tanto ` direita, i.e., no ket, quanto ` a a esquerda, i.e., no bra. Se for um operador linear, sua atuaao nos bras ser da seguinte c a forma: V | a = V | a = a V | ( V | a + W | b) = a V | + b W | . Note que o bra V |, obtido pela ao de a esquerda de V |, no o dual do ket |V , ca ` a e obtido pela aao de a direita de |V , ou seja, c `
|V
= |V
o o Contudo, como |V s depende do operador e do prprio vetor V |, segue que deve existir um operador tal que |V = |V . Temos ento a seguinte denio. a ca Denio 1.15. O operador adjunto de , denotado por , denido pela relao ca e ca V | |W = W ||V
De forma mais sucinta podemos ento escrever a ( |V ) = V | . Por outro lado, se introduzirmos a notao ca |V |V | , obtemos a seguintes relaes co V | = V | , V = V | .
Representao matricial de : ca ( )ij = i| |j = i|j = j||i ou seja, = (t ) (conjugado hermiteano), onde t indica transposta e { }, complexo conjugado. a E fcil provar a seguintes propriedades de operadores adjuntos:
= , ji
17
1.7.2
Em mecnica quntica, certas classes especiais de operadores desempenham um papel a a fundamental, entre os quais destacamos os operadores hermiteanos e operadores unitrios. a Denio 1.16. Um operador dito ca e i) Hermiteano (ou auto-adjunto) se = . ii) Anti-hermiteano se = . iii) Unitrio se 1 = , ou = I = . a
Propriedades importantes:
1. Qualquer operador pode ser decomposto como a soma de uma parte hermiteana e uma anti-hermiteana: = H + A , onde 1 H = ( + ) 2 e 1 A = ( ), 2
pois obviamente 1 1 = ( + ) + ( ). 2 2 2. Um operador H hermiteano se e somente se V |H|V real para todo V V. e e Demonstrao. Se H = H V |H|V = V |H |V = V |H|V . Por outro lado, ca se V |H|V = V |H|V = V |H |V V |H H |V = 0 H H = 0. Em MQ, o elemento de matriz V |H|V representa o valor esperado do operador H no estado |V . Logo se H for associado a alguma grandeza f sica mensurvel, a e importante que o valor esperado seja real.
18
CAP ITULO 1.
V | = V | V |V = V |V
4. Os autovalores de um operador unitrio so nmeros complexos de mdulo unitrio. a a u o a Demonstrao. Partindo da relaao = I e usando a equaao de autovalor |V = ca c c |V , temos V | |V = V | |V Portanto, ||2 = 1 || = 1. V |V = V |V = V ||V
= V |V .
5. Um operador unitrio preserva produto interno. a a Demonstrao. Seja |V1 = U |V1 e |V2 = U |V2 . Ento V2 |V1 = V2 |U U |V1 = ca V2 |V1 . 6. Uma transformaao unitria preserva mdulo. c a o Para ver isso, basta fazer |V1 = |V2 = |V na propriedade anterior, donde ontemos |V |2 = |V |2 . 7. Uma transformaao unitria leva uma base ortonormal em outra base ortonormal, e c a vice-versa, ou seja, uma transformao que leva uma base ortonormal em outra base ca ortonormal uma transformaao unitria. e c a 8. As colunas de uma matriz unitria so vetores ortonormais. Da mesma forma, as linhas a a podem ser interpretadas como vetores (duais) ortonormais. Demonstrao. Vimos que ca U = ( |1 |2 |n )= 1| 2| . . . n| .
Como {|i } ortonormal, |j = U |j tambm o , logo k |j = k,j . Lembre ainda e e e que |i indica os componentes de |i na base {|j }. Temos ento a U = (|1 |2 |n ) = U 1 . Logo as colunas de U , que so as linhas de U (a menos de conjugaao complexa), so a c a mutuamente ortonormais.
19
9. Os autovetores de um operador hermiteano geram uma base ortonormal. Na base dos autovetores o operador diagonal, e os elementos da diagonal so os autovalores e a correspondentes. Demonstrao. Suponha inicialmente que os autovalores so no degenerados, ou seja, ca a a para cada autovalor existe apenas um unico autovetor. Nesse caso escrevemos |i = i |i , onde sem perda de generalidade supomos i |i = 1. Sejam agora i e j dois autovalores distintos, i.e., i = j. Ento a j ||i = i j |i , e portanto i j |i = i | |j Mas i = j , logo (i j ) j |i = 0 j |i = 0.
= i ||j
= j i |j
= j j |i .
A demonstraao acima pode ser facilmente estendida para o caso degenerado mas isso c no ser feito aqui. a a 10. Os autovetores de um operador unitrio so mutuamente ortogonais. a a Demonstrao. (Caso no degenerado). Seja ca a U |ui = ui |ui , Ento a uj |U U |ui = ui uj |U |ui Portanto, se i = j ui u = 1 i i = j e ui = uj uj |ui = 0 uj |ui = ui u uj |ui j (1 ui u ) uj |ui = 0. j
Exemplo 1.5. Diagonalizaao de matrizes hermiteanas. Em um espao vetorial real, c c t um operador hermiteano corresponde a uma matriz da forma = . Nesse caso a matriz dita ser hermiteana. Consideremos a seguinte matriz hermiteana e = 0 i i 0 , = 0 i i 0 = .
20
= 0 2 1 = 0 = 1.
Clculo dos autovetores: Para o autovalor 1 = 1, temos a 1 i i 1 que nos fornece o autovetor 1 |1 = 2 Fazendo o mesmo para 2 = 1, obtemos 1 |2 = 2 cheque da ortogonalidade: 1 1 2 |1 = (1 i) 2 2 1 i 1 = (1 + i2 ) = 0. 2 1 i . a b = 0 a = ib,
1 i
1.7.3
Mudana de base: c
Vimos que uma transformao unitria se, e somente se, leva uma base ortonormal em ca e a outra base ortonormal. Seja U a representao matricial de um operador unitrio na base ca a B = {|i } que leva os vetores dessa base nos vetores de uma nova base B = {|i }, ou seja, |i = U |i com transformaao inversa dada por c |i = U |i i |j = (U )ij = Uji . i|j = Uij
Da primeira equao acima, vemos que as colunas de U representam os vetores da nova ca base B escritos na base antiga. Da mesma forma, as linhas de U representam os vetores (duais) i| da base antiga escrita na nova base, ou seja 1| 2| U = (|1 , |2 |n ) = . . . . n|
21
Seja agora |V um vetor com coordenadas vi na base ortogonal {|i }. Ento fcil vericar a e a a que as coordenadas vi de |V na nova base {|i } so dadas por |V = U |V vi =
j Uji vj .
Da mesma forma, se representa um operador na base original, ento na nova base esse a operador representado pela matriz e = U U. No caso de um operador hermiteano, a nova base de interesse a base gerada pelos autovee tores de : i = |i . e nessa nova base B = {|i } a matriz diagonal. Ou seja, toda matriz hermiteana (em e um espao de dimenso nita) pode ser diagonalizada por uma transformaao unitria de c a c a bases. Isto , existe uma transformaao unitria U tal que e c a 1 0 0 0 2 0 = U U = . . .. . . . . . . . . 0 0 n e a transformao U dada por ca e U = (|1 |2 |n ).
1.8
Pi , i = j 0, i = j
22
CAP ITULO 1.
Exemplo 1.6. Seja |e um vetor normal, i.e., | |e | = 1. Ento a quantidade a Pe = |e e| dene um operador de projeo. A aao de Pe em um vetor |V qualquer denida por ca c e Pe |V = |e e|V = e|V |e V. Alm disso: e Pe2 |V = |e e|Pe |V = |e e|e e|V = e|V |e = Pe |V . Logo Pe2 = Pe . De maneira mais direta, poder amos ter feito a seguinte manipulaao: c Pe2 = Pe Pe = |e e|e e| = |e e| = Pe . a Proposio 1.1. Seja B = {|i }n uma base ortogonal. Ento o conjunto de operadores de ca i=1 projeo {Pi = |i i|} forma um conjunto de operadores mutuamente ortogonais e alm disso ca e temos a seguinte identidade:
n n
Pi =
i=1 i=1
|i i| = I.
(1.1)
Demonstrao. ca V|
i
Pi
|V
= =
V|
i
|i i| |V =
i
V |i i|
Vi Vi = V |V
i
V |I|V .
Vi |i =
|i i| |V = I |V ,
resultando na mesma relaao. c A igualdade (1.1) a relaao de completeza dos operadores Pi , a qual diz que os Pi e c formam um conjunto completo de operadores ortogonais. Dessa discusso sobre operadores a de projeao mutuamente ortogonais e do fato de que operadores hermiteanos (ou unitrios) c a so diagonalizveis, segue o teorema. a a Teorema 1.5 (Teorema da Decomposiao Espectral). Seja um operador hermiteano (ou c normal) sobre um espao vetorial de dimenso nita n e sejam 1 , 2 , . . . , r , seus autovac a lores distintos. Ento existem operadores de projeo Pi , i = 1, . . . , r, tais que a ca i) Pi Pj = 0, i = j ii) iii)
r i=1
Pi = I
r i=1
i Pi = 1 P1 + + r Pr
1.9. FUNCOES DE OPERADOR Observao. Em particular se os autovalores forem no degenerados, i.e., r = n, ento ca a a
n
23
Pi = |i i | e =
i=1
i |i i | . 0 i i 0
, temos 1 = 1,
1 i
e 2 = 1, |2 =
1 2
1 i 1 i 1 i
1 P1 = |1 1 | = 2 e 1 P2 = |2 2 | = 2
1.8.1
Dois operadores e so ditos simultaneamente diagonalizveis se eles podem ser decoma a postos em termos do mesmo conjunto de operadores de projeo. Ou seja, existe uma base ca ortonormal na qual os dois operadores so diagonais. a Teorema 1.6. Uma condio necessria e suciente para dois operadores hermiteanos e ca a serem simultaneamente diagonalizveis que a e [, ] = 0. Em outras palavras, se e comutam, ento existe uma base de autovetores comum que a diagonaliza tanto quanto .
1.9
Funes de operador co
= .
24
CAP ITULO 1.
Denimos ainda 0 = I. O operador inverso de , se existir, denotado por 1 e correse 1 1 ponde ao operador tal que = = I. Considere agora a funao f (x) que admite uma expanso em srie de Taylor: c a e
f (x) =
n=0
an x n .
f () =
n=0
an n .
n=0
n . n!
1.10
Exerc cios
= 5 3i 3i 5 .
1. Considere a matriz
a) Obtenha os operadores de projeao P1 e P2 associados aos autovalores 1 e 2 , e c verique a validade da decomposio espectral: = 1 P1 + 2 P2 . ca b) Obtenha a matriz = . Verique seu resultado mostrando que 2 = . Sugesto: use a relaao f () = i f (i )Pi . a c 2. Repita o problema anterior para a seguinte a matriz = 2 1+i 1i 3 .
Verique, em particular, que todas elas possuem os mesmos autovalores 1. 4. Considere as matrizes 1 0 0 = 0 1 0 , 0 0 1 1 0 0 = 0 0 1 . 0 1 0
Mostre que elas podem ser simultaneamente diagonalizveis e encontre uma base coa mum de autovetores. Obtenha a matriz nessa base.
1.10. EXERC ICIOS 5. Mostre as seguintes identidades entre comutadores: [, ] = [, ] + [, ], [, ] = [, ] + [, ]. 6. a) Mostre que se A e B so operadores que no comutam ento a a a eA+B = eA eB e 2 [A,B] .
1
25
b) Use a relao acima para mostrar que o operador U = eiH unitrio se, e somente ca e a se, H hermiteano. e 7. Algebra das Matrizes Geradoras das Rotaes (Muito Importante). co a) Considere a matrix 2 2 0 1 z = . 1 0 Mostre que z a a matriz geradora das rotaes em torno do eixo z no sentido de e co que cos sin ez = cos I + sin z = . sin cos Generalize o resultado acima (sem fazer muitos clculos adicionais) para o caso 3D, ou a seja, 0 1 0 cos sin 0 z = 1 0 0 ez = sin cos 0 . 0 0 0 0 0 1 b) Escreva as matrizes x e y geradoras das rotaes em torno dos eixos x e y, co respectivamente. (No necessrio deduzir as identidades equivalentes ` relaao do a e a a c item anterior.) c) As matrizes i , i = x, y, z, obviamente no so hermiteanas, entretanto as matrizes a a Li = ii claramente o so (verique isso). Determine agora as relaoes de comutaao (dois a a c c dois) entre as matrizes Lx , Ly e Lz . Em particular, verique que as mesmas denem uma lgebra, ou seja, o conjunto {Lx , Ly , Lz } fechado sob operao de comutaao. a e ca c d) Diagonalize a matriz Lz , ordenando os autovetores em ordem decrescente dos respectivos autovalores. Determine tambm a forma das matrizes Lx e Ly na base dos e autovalores de Lz . Sua resposta deve corresponder as matrizes dadas no Exerc 4.2.1 cio do livro-texto (Shankar). Em particular, vale observar que as matrizes Li , a menos de um fator de , correspondem `s respectivas componentes do operador momento a angular (para uma part cula com momento angular total J = 1). 8. Considere os trs operadores Li da questo acima agrupados como se fossem compoe a nentes de um vetor, ou seja, escreva L = (Lx , Ly , Lz ) L = i = i(x , y , z ).
26
CAP ITULO 1.
Seja n um vetor unitrio, mostre ento que a a einL = en = R(n), onde R(n) representa a matriz de rotaao de um ngulo em torno da direao denida c a c por n. 9. a) Sejam P1 e P2 dois operadores de projeao. Mostre que P1 + P2 um operador c e de projeao se, e somente se, P1 P2 = P2 P1 = 0. Sugesto: para provar a volta, c a mostre que se P1 + P2 um operador de projeao, ento [P1 , P2 ] = P1 P2 P2 P1 = 0 e e c a {P1 , P2 } = P1 P2 + P2 P1 = 1.
2.1 2.2
Como vimos anteriormente, o espao L2 tem a estrutura de . Da mesma forma que c generalizamos as propriedades de n para espaos vetoriais abstratos Vn ditos espaos euclic c 2 deanos natural perguntar se generalizaao semelhante existe pra e c , i.e, L . A resposta e sim e os espaos com as propriedades de c so ditos espaos de Hilbert. Relembremos a a c noao de espao completo. c c Denio 2.1. Um espao vetorial (dotado de uma norma) dito completo se toda seqencia ca c e u de Cauchy for convergente i.e o limite um elemento do respectivo espao. Note que uma e c seqencia de Cauchy {|Vi } em um e.v. tal que para qualquer > 0 existe um N tal que u e i=1 |Vn Vm | < , n, m > N.
Como j mencionado, as normas de maior interesse so aquelas derivadas de um produto a a interno | . Isso sugere que devemos considerar espaos vetoriais com produto interno. c Denio 2.2. Um espao de Hilbert um espao vetorial com produto interno e que ca c e c e completo.
27
28
CAP ITULO 2.
Da denio acima, claro que todo espao euclideano, isto , de dimenso nita, um ca e c e a e espao de Hilbert. Nosso interesse, contudo, ser nos espaos de Hilbert de dimenso innito. c a c a Por isso, sempre que falarmos espaos de Hilbert, teremos em mente espaos de Hilbert c c de dimenso innita. a Exemplo 2.1. L2 obviamente um espao de Hilbert, cuja dimenso a cardinalidade dos e c a e naturais.
Todo espao vetorial possui uma base. (Esse um resultado bsico que decorre dos c e a axiomas de teoria dos conjuntos). Os espaos e Hilbert que interessam na f c sica so aqueles a que admitem uma base enumervel, ou seja, os chamados espaos de Hilbert separveis. a c a Denio 2.3. Um espao de Hilbert dito separvel se possuir uma base ortonormal enuca c e a mervel. a Ou seja, um espao de Hilbert H separvel se existir um conjunto enumervel de vetores c e a a ortonormais B = {|i } , com i|j = ij i=1 tal que para qualquer vetor |f H temos
|f =
i=1
fi |i .
Nesse sentido os coecientes fi so as coordenadas (ou componentes) de |f na base {|i } . a i=1 Nessa base, podemos escrever |f como um vetor coluna com innitos elementos: f1 f2 . . |f = . . fn . . . O mdulo de |f em termos das coordenadas fi , ser o a
|f | = f |f =
1
|fi |2 .
A caracterizaao acima permite construirmos um outro exemplo de espao de Hilbert. c c Exemplo 2.2 ( ). Considere o espao de seqncias da forma {fi } com c ue i=1 Se denotarmos por |f um elemento desse espao e escrevermos c f1 f2 . . |f = . . fn . . .
1
|fi |2 < .
29
f |g =
1
fi gi
bem como a soma |f + |g e a multiplicao por escalar a |f de maneira usual, ento ca a podemos facilmente mostrar que o espao desses vetores innitos (com mdulo nito) um c o e espao de Hilbert. Para vericar isso, basta perceber que o espao acima isomorfo ao c c e L2 . De fato, os coecientes fi podem ser vistos como os coecientes de Fourier de f (x) em alguma base ortonormal apropriada. Note que se {|i } uma base de um espao de Hilbert, ento vale a relaao de comc a c i=1 e pleteza
|i i| = I.
1
Da discusso acima, v-se que o conceito de espao de Hilbert uma generalizaao de a e c e c espaos euclideanos para dimenso innita. Muitas das propriedades e relaoes da lgebra c a c a linear de e.v. de dimenso nita permanece vlida para espaos de Hilbert (separveis). Por a a c a exemplo, pode-se mostrar que dois espaos de Hilbert (separveis) H1 e H2 so isomorfos c a a entre si, ou seja, H1 H2 . Esse resultado uma extenso do fato de que dois espaos e a c vetoriais de dimenso nita so isomorfos se eles possuem a mesma dimenso, para o caso a a a de dimenso innita enumervel. Ou seja, se H1 e H2 so dois espaos de Hilbert separveis a a a c a eles tem, por deniao, a mesma dimenso, qual seja, a cardinalidade dos naturais, logo so c a a isomorfos. Podemos assim enunciar o seguinte teorema. Teorema 2.1. Todos os espaos de Hilbert separveis so isomorfos a L2 . c a a Corolrio 2.1. Todos os espaos de Hilbert (separveis) so isomorfos a a c a a que os espaos de Hilbert prototpicos so: c a
. Vemos ento a
i) espao L2 de funes (x) de quadrado integrvel. c co a ii) espao R de vetores innitos da forma c 1 2 . . . .
| = n . . . com
1
|i |2 < .
Em mecnica quntica, a escolha de representarmos o estado de uma part a a cula por uma funao (x) corresponde a mecnica ondulatria de Schrdinger. c ` a o o
30
CAP ITULO 2.
A escolha do estado da part cula como um vetor innito | corresponde a mecnica ` a matricial de Heisenberg. Os dois formalismos so obviamente equivalentes. Tal como em a e.v. de dimenso nita, tambm para cada ket de |f H podemos associar um vetor dual, a e ou bra f | H , pertencente ao dual H . Em outras palavras, se |f H ento podemos a denir o funcional linear ou bra f | pela relao ca f | (|g ) = f |g , |g H
Da mesma forma (como no caso de dimenso nita) todo funcional linear f | corresa ponde a um ket |f . Isso garantido pelo teorema abaixo. e Teorema 2.2 (Teorema de Riesz-Frchet). Seja F um funcional linear em um espao de e c Hilbert H. Ento existe um |f H tal que a F (|g ) = f |g , |g H.
Isso garante que o funcional F pode ser identicado com o ket |f via a seguinte relaao c F f | . Em outras palavras, o teorema de Riesz-Frchet garante que H e o seu dual H so isomorfos: e a H H . = Nesse sentido, ca ainda mais evidente a noao de um espao de Hilbert com uma generac c lizaao de n para n . c Teorema 2.3. Todo espao de Hilbert (separvel ou no) possui (pelo menos) uma base c a a ortonormal.
2.3
Do ponto de vista f sico, claro que o espao L2 muito amplo em escopo: as funes de e c e co 2 onda (x) alm de serem de quadrado integrvel, visto que |(x)| possui interpretaao de e a c densidade de probabilidade, devem tambm possuir certas propriedades de regularidade. Ns e o 2 devemos reter, entre todas as funes de L , apenas aquelas que so denidas em todos os co a pontos, cont nuas e innitamente diferenciveis. Alm disso, essas funes devem ser bem a e co comportadas tambm no innito. Aqui h duas classes principais de funes sicamente e a co razoveis. a
i) CF : funes innitamente diferenciveis com suporte composto (ou seja, (x) = 0 se co a |x| >, a para algum a > 0).
31
ii) S : funoes innitamente diferenciveis que vo a zero no innito de maneira mais rpida c a a a n que qualquer lei de potncia 1/x . Esse o chamado espao de Schwartz. e e c
Por razes que caro obvias em breve, as funes sicamente admiss o a co veis so chamadas a de funoes teste. O conjunto das funes teste, seja ele CF ou S, ser denotado aqui por c co a um s mbolo genrico, qual seja, e : espao de funoes teste. c c E claro que um subspao de L2 , ou mais propriamente, do espao de Hilbert H, ou seja e c c H. (Obs: O livro do Cohen-Tannoudji denota por F L2 o espao das funes sicamente c co razoveis.) a Mencionamos acima sem maiores justicativas que o espao de Hilbert L2 muito c e amplo para as aplicaes da mecnica quntica. Uma razo para isso que certos operadores co a a a e de interesse para a MQ podem atuar em L2 . A discusso sobre operadores no espao de a c Hilbert ser postergada para mais adiante, mas por enquanto vale a pena fazer uma discusso a a 2 qualitativa dos problemas com L mencionados acima. Por exemplo, considere o ooperador posio X denido por: ca X |f (x) = |Xf (x) . E claro que haver funoes f L2 para as quais Xf L2 . Por exemplo, considere a c / f (x) = Claramente f (x) L2 (verique isso), mas g(x) = Xf (x) = x L2 . / x+i 1 . x+i
O dom nio de X, denotado por D(X), denido como o conjunto das funes f (x) L2 e co para as quais Xf permanee de quadrado integrvel, ou seja, c a
D(x) =
f (x) L2 /
Da mesma forma, o prprio D(X) no invariante pela ao de X; ou seja, se aplicarmos o a e ca X a funoes do conjunto D(X) podemos obter funoes fora de D(X). Por exemplo c c h(x) = mas Xh(x) = x2 1 D(X) x2 + 1 x D(X). / +1
32
CAP ITULO 2.
Assim se for relevante para o problema f sico em questo considerar potenciais X n do a n operador X, devemos exigir que as funoes resultantes X f permaneam em L2 . Ou seja, o c c subespao H das funes sicamente invariante pela aplicao de X n , para quaisquer c co ca potncias n. e O fato de restringirmos as funoes de onda (x) a um subespao H apropriado nos c c garante que a ao de operadores relevantes no nos levar para fora de L2 (logo permanece ca a a vlida a interpretaao probabil a c stica de funo de onda). Por outro lado, isso cria um grave ca problema como veremos adiante. Da nossa discusso anterior, sabemos que para todo ket |f podemos associar um a bra (vetor dual) f | (ou seja, o espao de funcionais lineares atuando em ), a partir c do produto interno |f f | , onde f | representa o funcional f | , ou seja, f | (|g ) = f |g , |g .
Entretanto, poss denirmos um bra | para o qual no existe nenhum ket | e vel a em correspondente. Para ver isso considere a seguinte sequncia de funoes e c
n (n) =
n (x)dx =
1/n
n dx = 1, n. 2
Claramente o limite limn n (x) no sequer uma funao (logo CF ). Entretanto a a e c / 0 sequncia n (x) converge no chamado sentido de distribuiao, a saber e c n lim n (x)f (x)dx = lim n n 2
1/n
f (x)dx = f (0).
1/n
Ou seja, podemos denir o seguinte funcional linear | como o limite dos bras n | no seguinte sentido | = lim n |
n
ou |f = lim n |f = lim
n n
33
Como mostrado acima, ao bra | no est associado nenhum ket | , ou seja, nenhuma a a funao n (x) , a partir da qual possamos denir o funcional | . c A denio () do funcional | obtido com a sequncia das funoes n (x) exatamente ca e c e a deniao da funao delta de Dirac: c c
Isto , o funcional | acima precisamente a chamada delta de Dirac. Assim podemos dizer: e e | | . Em face dessa associaao conveniente denotarmos o limite da sequncia n (x) pelo s c e e mbolo (x) e trat-lo como se fosse uma funo ordinria, embora seja uma distribuiao ou funao a ca a c c generalizada. Assim escrevemos lim n (x) = (x)
n
signicando
n
lim n | = | .
De uma maneira geral, funcionais lineares em so chamados de distribuies. a co Denio 2.4 (Distribuiao). Uma distribuio | um funcional linear sobre o ca c ca e espao das funes teste. c co Pode-se mostrar agora que toda distribuiao | pode ser denida atravs de uma c e sequncia de funoes n (x) . Ou seja, se | ento existe n (x) tal que e c a
|f = lim
n (x)f (x)dx, f .
Nesse sentido, denimos a funao generalizada n como o limite da sequncia c e (x) = lim n (x)
n
n (x)f (x)dx.
1 , x 0 0 , x < 0, n = 1, 2, 3, . . .
Claramente no de quadrado integrvel, ou seja, (x) L2 . Entretanto poss intera e a / e vel pretarmos (x) como uma funo generalizada, ou seja, como um elemento de denida ca por
|f =
(x)f (x)dx =
0
f (x)dx.
0 Obs.: nesse caso podemos tomar = CF para garantir que a integral acima converge.
34
CAP ITULO 2.
A discusso acima mostrou que um espao maior do que L2 , uma vez que h a e c a elementos no primeiro ao qual no h correspondente no segundo, mas o contrrio sempre a a a e 2 2 verdadeiro, ou seja, L (e L ). De uma maneira geral, temos o seguinte tripleto de espaos vetoriais c H H . =
O conjunto dos trs espaos (, H, ) chamado de tripleto de Gelfand ou um espao e c e c de Hilbert equipado. Da desigualdade acima decorre que dim( ) > dim(H) = card(N). Tem-se ento que a dim( ) = card( ), logo uma base B de deve conter uma quantidade innita e no enumervel de elementos. a a
2.4
Seja o espao das distribuioes denidas em um certo espao de funoes teste . c c c c Como discutido na seo anterior, podemos representar uma distribuio | pela funo ca ca ca generalizada (x) denida por
(x)f (x)dx. n
Aqui voltamos a considerr que (x) pode assumir valores complexos. Se = S, podemos denir naturalmente um produto interno em da seguinte maneira. Sejam | e | duas distribuioes, ento o produto interno entre elas c a e
| =
(x)(x)dx lim =
|| = | | | = lim
| (x)|2 dx. n
Pode-se mostrar ainda que o espao das distribuioes equipado com o produto interno c c acima complexo, logo um espao de Hilbert. Esse espao as vezes chamado de espao e e c c e c
35
das funes generalizadas de quadrado integrvel ou L2 . Dessa forma podemos escrever o co a tripleto de Gelfond L2 L2 . Temos ento que L2 um espao de Hilbert no-separve, logo com a dimenso igual a e c a a a a cardinalidade dos reais. ` Vimos acima que podemos associar um bra | com uma funao generalizada (x). c Nesse sentido podemos pensar na funo generalizada (x) como o ket | associada ao bra ca | . Com essa interpretaao, temos que a cada bra | corresponde um ket | e vice versa. c (Em outras palavras, com a construao do espao de Hilbert equipado sanamos a decincia c c e anterior em , onde se tinha bra que no estava associado a nenhum ket em ). a Vimos ainda que o espao das funoes generalizadas (x) (ou ) possui dimenso igual c c a a cardinalidade dos reais. Em analogia com o espao de Hilbert separveis cuja base ` c a e denotada por {|i }i=1 , denotaremos por B = {|x }xR uma base de . Ento se | uma funao generalizada, nessa base teremos a e c x| (x). = Dizemos ento que (x) so as coordenadas de | na base {|x }xR . a a Obs.: rigorosamente deveramos falar da base {|x }xR do espao . Entretanto, como c vimos acima, podemos associar a cada bra x| um ket |x . A decomposiao de um ket | na base {|x } pode ser facilmente obtida. Seja {|f } , c ento a |(f ) = |f = = = = Donde podemos escrever: x| = ou alternativamente |x = Compare com o caso separvel a |f =
i
(x)f (x)dx x| |x
x|f dx x|f dx
|x
x| dx |f .
dx |x x|
dx x| |x =
(x) |x dx.
i|f |i =
i
fi |i .
36
CAP ITULO 2.
(x)(x)dx |x x| dx
= = Donde
| x| dx.
|x x| dx = I
a relaao de completeza da base cont e c nua. Tomando agora o produto interno de | com outro elemento da base |x , temos
x | =
x | ((x) |x )dx
ou (x ) =
(x) x |x dx,
Dizemos ento que a base {|x } normalizada a uma delta de Dirac. (Compare com o caso a e discreto i|j = ij ). Em particular podemos escrever o ket |x na prpria base {|x } : o |x = Compare com |i =
j
dx |x x |x =
(x x ) |x dx .
ij |j .
Observao. Tecnicamente h uma diferena entre os kets |x e os bras x| . Como menca a c sionado x| , ou seja, x| um funcional linear x| denido por e x|f = f (x), |f . Por outro lado |x representa um funcional antilinear |x denido por f |x = f (x), |f . A antilinearidade de |x decorre da antilinearidade do produto interno: f + g|x = f (x) + g (x) = f |x + g|x .
2.5. OPERADORES EM ESPACOS DE HILBERT O espao dos funcionais antilineares denidos em denotado por . Ou seja, c e : espao dos funcionais lineares c : espao dos funcionais antilineares c Assim rigorosamente temos x| e |x . O mesmo valendo para distribuies genricas | co e | e | . Entretanto, claramente temos que . =
37
Em fae desse isomorsmo vamos nos referir tanto aos bras x| quanto aos kets |x como c distribuioes. Em particular vamos considerar os kets generalizados |x como elementos do c mesmo espao dos bras x| , ou seja, , quando na verdade os kets |x so elementos do c a espao . c
2.5
Vimos que em um espao de Hilbert separvel, i.e., com uma base discreta {|i } c a i=1 um operador A pode ser denido (representado) por uma matriz cujos elementos da base especicam a aao de A sobre os elementos da base, ou seja, se c |v A |u ento contraindo com i| e inserindo a relaao a c
|j j| = I
j=1
Aij vj = u;
38
CAP ITULO 2.
Consideremos agora um operador K atuando em um espao de Hilbert no separvel, ou c a a seja, com uma base cont nua. Seja ento a |g = K |f . Vamos encontrar as coordenadas de |g na base {|x }. Repetindo o procedimento anterior, ter amos x|g = = g(x) =
a
x| K
a
|x x | dx
|f
Kxx f (x )dx ,
()
onde Kxx x|K|x representam os elementos de matriz do operador K na base cont nua {|x }x .
Obs.: poder amos introduzir uma notao matricial com ca ndices cont nuos para representar um vetor |f e um operador K : | |f = f (x) : vetor coluna com ndice cont nuo |f = f (x) : vetor linha com ndice cont nuo | |f = Kxx : matriz com ndices cont nuos
A notao acima no nos ajuda muito do ponto de vista prtico, mas ilustra a passagem da ca a a base discreta para a base cont nua. Se o operador local ento o valor dele j depende do ponto x considerado (e no da sua e a a a vizinhana). Nesse caso devemos ter c Kxx = 0, x = x . Logo a contribuiao de Kxx para a integral em () provm apenas do ponto x = x. Portanto c e Kxx deve ter um valor innito para que essa contribuio seja no nula: ca a Kxx = 0 , x=x , x=x
Em resumo os elementos de matriz de K devem ter a forma de funes delta de Dirac: co Kxx L(x)(x x ),
39
onde L(x) as vezes dito a representaao do operador K na base |x . Inserindo a expresso e c a acima em (), temos g(x) = ou g(x) = L(x)f (x). Em geral L(x) ser um operador diferencial envolvendo o operador derivada d/dx e suas a potncias. Nesse contexto a equaao L(x)f (x) = g(x) representa uma equaao diferencial a e c c ser resolvida (se L e g forem conhecidos). Quando lidamos com operadores (diferenciais) atuando em um espao de Hilbert, uma c grande classe de novos problemas surgem. POr exemplo, pode ser que a funao Lf (x) no c a seja de quadrado integrvel, ou seja a |Lf (x)|2 = g|g = . Nesse caso dizemos que o operador no limitado, no sentido de que sua aao em um vetor a e c |f de norma nita (|f H) produz um vetor de norma innita. Da mesma forma, a questo do clculo dos autovalores e autovetores de um operador uma quasto delicada, a a e a particularmente se o operador for ilimitado. Aps a introduao acima, passamos a algumas denies e resultados sobre operadores o c co limitados em um espao de Hilbert. c Denio 2.5 (Operadores limitados). Um operador A em um espao de Hilbert H dito ca c e limitado se existir um nmero C 0 tal que u |A |f | < C|f |, |f H. Denimos ento a norma |A| do operador como o menor dos C acima, ou seja, a |A| = sup
|f =0
L(x)(x x )f (x )dx
A |f |f |
Uma caracterizaao de operadores limitados vem do seguinte resultado. c Teorema 2.4. Um operador A limitado se, e somente se, ele leva vetores de norma nita e em vetores de norma nita.
40
CAP ITULO 2.
|V = vn . . .
|vi |2 < .
i=1
0 . . . , , |n = 1 , 0 . . .
vi |i =
i=1
vi |i + 1 ,
a E fcil vericar que esse operador linear. Alm disso, A obviamente limitado, de fato A e e e preserva a norma: |A |V | = |V |, logo |A| = 1.
2.5.1
Em mecnica quntica fundamental conhecermos o espectro de autovalores de certos a a e operadores atuando em um espao de Hilbert). Em particular, gostar c amos de saber se os autovetores de um dado operador hermiteano dene uma base de espao, e se essa base disc e creta ou cont nua. Essas so questes complicadas de anlise funcional que no abordaremos a o a a aqui. Tentaremos, contudo, apresental alguns resultados importantes de mdo resumido. Teorema 2.5. O espectro de autovalores de um operador limitado um subconjunto e compacto (i.e., fechado e limitado) de C.
41
Isso garante que os autovalores dos operadores limitados so nmeros nitos. De maa u neira reversa, operadores no limitados frequentemente possuem um espectro ilimitado de a autovalores. Como exemplo desse ultimo caso considere o operador posiao X atuando em c um espao apropriado. A equaao de autovalor c c e X |x = x |x . Logo os autovalores x de X ocupam toda a reta real: x (, ). Um resultado importante pode ser obtido para operadores hermiteanos limitados e que satisfazem uma condio a mais de regularidade, qual seja, ca
T r(A A) =
i=1
i|A A|i =
i=1
Ai|Ai =
i=1
|A |i |2 < .
Operadores com essa propriedade so ditos operadores de Hilbert-Schmidt e tambm so a e a ditos operadores compactos. Teorema 2.6. Seja um operador hermiteano compacto em um espao de Hilbert H. Ento c a possui um conjunto discreto de autovalores i que pode ser ordenado em ordem decrescente de mdulo, ou seja o |1 | > |2 | > |3 | > > |i | > |i+1 | > , e
i
lim i = 0.
=
i=1
i Pi ,
Pi = |i i | .
Exemplo 2.5. O operador hamiltoniano do tomo de hidrognio. a e Corolrio 2.2. Se um operador hermiteano compacto em um espao de Hilbert H, ento a e c a os autovetores de constituem uma base ortonormal de H.
Observao. Se eliminarmos a exigncia de capacidade (mas mantermos a exigncia de ca e e ser limitado), ento em geral os autovalores do operador sero cont a a nuos (e no discretos) a mas estaro limitados dentro de um subconjunto de C. No caso de operadores innitos, ento a a os autovalores tero uma parte cont a nua que no ser, em geral, limitado. Por exemplo, se a a considerarmos o hamiltoniano do tomo de hidrognio, mas permitirmos funes de onda a e co que no decaiam sucientemente rpido no innito, ou seja, permitirmos o caso de estados a a no ligados, ento o espectro de energia possui uma parte cont a a nua: H | = E | , E>0
42
CAP ITULO 2.
O teorema da decomposio espectral vale para operadores no compactos. Entretanto ca a vamos assumir que os operadores relevantes da mecnica quantica que possuem espectros a cont nuos admitem uma decomposiao espectral onde somatria substitu por uma intec o e da gral. Ou seja, se um operador hermiteano com espectro cont e nuo: | = | , ento admite a decomposio a ca = ou = | | d, P d
onde a integral d-se sobre o poss intervalo para os autovalores . a vel Em particular, se possuir um espectro com parte discreta (que se acumula em 0) e uma parte cont nua, teremos
=
i=1
i |i i | +
| | d.
2.6
Exerc cios
1. Seja = P C [x] o espao de polinmios com coecientes complexos na varivel real x, c o a restrita ao intervalo x [1, 1], e dena o produto interno da maneira usual
1
p(x)|q(x) =
1
p (x)q(x)dx.
Aplicando o processo de ortogonalizaao de Gram-Schimdt ` base cannica B = {xn }, c a o n = 0, 1, 2, ..., obtenha explicitamente os trs primeiros elementos p0 (x), p1 (x) e p3 (x) e da base ortonormal correspondente. A que fam de polinmios ortogonais correslia o ponde essa base? 2. Operadores posio e momento linear na representao de Schrdinger. Considere os ca ca o operadores X e P = i D, denidos na base |x por X[(x)] x|X| = x x| = x(x), d d x| = (x). dx dx a) Mostre que [D, X] = 1 e que, portanto, [X, P ] = i . b) Mostre que o momento linear P o gerador das translaoes no sentido de que e c D[(x)] x|D| = eiaP/ (x) = eaD (x) = (x + a). c) Generalize a relaao acima para o caso tridimensional, ou seja, mostre que c eiaP / (x) = eaD (x) = (x + a).
43
3. O objetivo desse exerc mostrar o resultado inverso daquele obtido na questo cio e a anterior, ou seja, que a relao de comutaao [X, P ] = i implica que P o gerador ca c e d das rotaoes e que o mesmo pode ser escrito da forma P = i dx na base |x . c a) Mostre por induao que [P n , X] = i nP n1 . c b) Considere agora o operador unitrio Ua = eiaP/ . Mostre que [Ua , X] = aX. Sua gesto: expanda a exponencial em srie de Taylor. a e c) Usando o resultado do item anterior, mostre que a ao de Ua sobre os autovetores ca |x do operador X tal que e X [Ua |x ] = (x a)Ua |x .
Conclua ento que Ua |x = |x a . Sem clculos adicionais, verique que Ua |x = a a |x + a , onde Ua = eiaP/ . d) Obtenha agora a aao de Ua sobre um vetor | na base |x , ou seja, calcule c
Ua [(x)] x|Ua | . e) Mostre, por m, que a aao do operador P na base |x denida por c e P [(x)] = d (x). i dx
Sugesto: expanda ambos os lados da equao obtida no item anterior para a pequeno. a ca 4. a) Refaa o problema anterior considerando agora a ao de X na base dos autovetores c ca |p de P . Em particular, conclua que Upo |p = |p + p0 , onde Up0 = eip0 X/ . b) Mostre que os operadores X e P so conjugados um do outro no sentido de que a a aao de um deles sobre vetores expressos na base do outro essencialmente a mesma, c e ou seja, d d x|f e X p|f = i p|f . P x|f = i dx dp 5. Generalize o resultado do problema anterior para o caso de dois operadores arbitrrios a e que satisfazem a relao [, ] = 1, ou seja, obtenha [f ()] |f e ca [f ()] |f . 6. Operador posio e momento na representao de Heisenberg (notao matricial). ca ca ca Mostre que na base cannica B = {xn } os operadores X e D so dados pelas mao a trizes innitas 0 0 0 ... 0 1 0 0 ... 1 0 0 ... 0 0 2 0 ... X = 0 1 0 ... D= 0 0 0 3 ... 0 0 1 ... ... ... Verique explicitamente a relaao de comutao entre as matrizes abaixo [D, X] = 1. c ca
44
CAP ITULO 2.
7. Seja = S o espao de Schwartz, constitu das funoes que vo a zero no innito mais c do c a rpido que qualquer lei de potncia, e considere o operador vetor de onda K = iD a e (ou alternativamente K = P/ ) e seus autovetores K |k = k |k . a) Obtenha as autofunoes k (x) x|k correspondendo aos autovetores |k de K c expressos na base {|x }. Mostre que para satisfazer a condi de ortonormalidade, cao k |k = (k k ), devemos escolher a normalizaao k (0) = 1/ 2. c b) Em que espao vivem as autofunes k (x)? c co c) Seja f (x) = x|f e f (k) = k|f as componentes de |f nas bases {|x } e {|k }, respectivamente. Expresse f (k) em termos de f (x), e vice-versa. Comente sobre a relao entre essas duas funoes. ca c d) Em particular, mostre, sem calcular nenhuma integral, a relaao de Parseval c
|f (x)|2 dx =
|f (k)|2 dk.
8. A partir do resultado do problema anterior obtenha as autofunoes p (x) = x|p do c operador momento linear P na base {|x }, onde P |p = p |p . Determine a normalizaao apropriada de modo a satisfazer a relao de ortonormalidade p |p = (pp ). c ca 9. Como mencionado em sala, o oscilador harmnico o sistema f o e sico representado pelos operadores X, P e H, onde 1 P2 + m 2 X 2 . H= 2m 2 Determine as relaes de comutaao [X, H] e [P, H] e mostre que os trs operadores co c e acima (acrescido do operador identidade I) denem uma algebra (ou seja, o conjunto fechado sob operao de comutaao). e ca c 10. Em uma certa base, os operadores matrizes innitas abaixo 0 1 0 0 1 0 2 0 0 2 0 3 X= 2m 0 0 3 0 . . . . . . . . . . . . X e P para o oscilador harmnico so dados pelas o a ... ... ... ... ... , P = i m 2 0 1 0 0 1 0 2 0 0 2 0 3 0 0 3 0 . . . . . . . . . . . . ... ... ... ... ...
a) Verique que matrizes acima satisfazem a relao de comutaao [P, X] = i . ca c 2 2 b) Calcule X e P , e mostre que o operador hamiltoniano H= 1 P2 + m 2 X 2 2m 2
45
11. Seqncias de funes. Mostre que as seqncias de funes n (x) abaixo convergem ue co ue co fracamente (ou seja, no sentido de distribuies) para a funao generalizada delta de co c Dirac (x), ou seja, n (x) (x)
f rac.
lim
n 2 2 a) n (x) = en x .
b) n (x) =
Sugesto: Faa uma mudana de coordenadas apropriada, tome o limite n dentro a c c da integral e depois calcule a integral resultante. 12. Mostre as seguintes identidades (no sentido de distribuioes) c d 1, x > 0 (x) = (x), onde (x) a funo de Heaviside: (x) = e ca a) 0, x < 0 dx d 1, x > 0 b) (x) = sgn(x), onde (x) = |x| e sgn(x) a funao sinal: sgn(x) = e c 1, x < 0 dx 13. Operador de Deslocamento ` Direita. Seja o espao C formado por seqncias |V = a c ue (v1 , v2 , ..., vn , ...) de quadrado somvel, ou seja, |vi |2 < . Como vimos em a i=1 e c sala, C dotado do produto interno U |V = u vi um espao de Hilbert, com i=1 i uma base cannica dada por {|ei }i=1 , com |e1 = (1, 0, 0, ...), |e2 = (0, 1, 0, ...), etc. o Considere agora o operador denido por |V = (0, v1 , v2 , ..., vn , ...), ou seja, desloca as coordenadas do vetor original para a direita e insere um zero na posiao inicial. c a) Verique que um operador linear. e b) Mostre que o operador limitado. Mais exatamente, mostre que a norma de e e unitria, ou seja, || = 1. a c) Mostre que no possui autovalores. Sugesto: suponha o contrrio e chegue a a a a uma contradiao. c d ) Nesse caso denimos o espectro de como o conjunto de valores para os quais o operador I no invers a e vel, ou seja, isso o quivalente a dizer em espao de e c dimenso nita que det( I) = 0. Mostre que o operador I no invers a a e vel para para 0 < || < 1. (Sugesto: suponha o contrrio, logo deve existir um vetor |V a a tal que ( I) |V = |e1 ; mostre ento que isso leva a uma contradiao pois, para a c || < 1, tal vetor |V no seria de quadrado somvel.) Isso demonstra que, mesmo a a no possuindo autovalor, o espectro de existe, cont a e nuo, mas limitado (de fato, corresponde ao interior do c rculo unitrio) como deveria ser para um operador limia tado. [Operadores no limitados, por outro lado, como os operadores X e P , em geral a possuem espectro cont nuo no limitado.] a
46
CAP ITULO 2.
3.1
Postulados
Antes de passar aos postulados, um pouco de terminologia. Uma quantidade f sica dinmica a que pode ser medida experimentalmente chamada, no contexto da Mecnica Quntica, e a a de uma observvel f a sica ou simplesmente observvel. Assim podemos enunciar o primeiro a postulado. Postulado I (Postulado da Descrio das Grandezas F ca sicas): Toda observvel a fsica descrita por um operador linear hermiteano atuando em um espao de Hilbert H. e c Por outro lado, certos atributos inerentes ao sistema, como por exemplo, a massa ou a carga eltrica de uma part e cula, so grandezas escalares que entram na denio de outras a ca grandezas relevantes do sistema e, portanto, no so considerados observveis. Em outras paa a a lavras, os valores dessas grandezas so consideradas conhecidas a priori, no sendo necessrio a a a (em princ pio) realizar qualquer medida sobre o sistema em questo para determin-los. a a Postulado II (Postulado da Descrio de Sistemas F ca sicos): Um sistema fsico e descrito matematicamente por uma lgebra de operadores hermiteanos em H, ou seja, por um a conjunto de operadores e as respectivas relaes de comutao entre eles. Em particular, os co ca operadores posio X, momento linear P , tempo T e hamiltoniano H (associado ` observvel ca a a energia) satisfazem as seguintes relaes de comutao fundamentais: co ca [X, T ] = 0, [X, P ] = i , [T, H] = i . (3.1) (3.2) (3.3)
47
48
Exemplo 3.1. O oscilador harmnico o sistema f o e sico representado pela algebra formada pelos operadores {X, P, H}, onde 1 P2 + m 2 X 2 . H= 2m 2 A partir de (3.2) podemos obter as relaes de comutaao de H com X e P , e assim denir co c completamente a lgebra do oscilador harmnico: a o [H, X] =?, [H, P ] =??.
Pode-se mostrar ento que os oscilador harmnico corresponde a algebra formado por {a, a , H} a o ` denida por [a, a ] = 1, [a, H] = a, [a , H] = a . Se (x, p) uma grandeza f e sica clssica, ento o operador correspondendo a essa a a observvel f a sica obtida a partir da seguinte relaao e c (X, P ) = (x X, p P ). Assim, se identicarmos todas as grandezas f sicas clssicas de um sistema f a sico, teremos a descriao quntica desse sistema. Por exemplo, se classicamente o sistema for descrito por c a uma funao hamiltoniana H(x, p) da forma c H(x, p) = T + V = p2 + V (x) 2m
Entretanto se H contiver termos envolvendo o produto xp, a regra de quantizaao acima c deve ser tratada com cuidado, uma vez que X e P no comutam, no cando claro a princ a a pio qual a ordem que devemos tomar nos produtos desses operadores (se XP ou P X). A resposta ambos! Como H deve ser um operador hamiltoniano, podemos obter isso tomando a verso e a simetrizada de H : H = [H(x X, p P )]simetrizado 1 = H(x X, p P ) + H (x X, p P ). 2 Isso garante que H hermiteano: H = H. e
3.1. POSTULADOS
49
Exemplo 3.2 (Part cula carregada em um campo eletromagntico). Sabemos da mecnica e a clssica que a funo hamiltoniana de uma part a ca cula de carga q, sujeita a um potencial vetor A(x, t) e potencial escalar (x, t), dada por e H(x, p) = 1 [p q A(x, t)]2 + q(x, t), 2m
onde p = mv + q A. A substituio direta de x e p por X e P , dar-nos-ia o operador ca hamiltoniano 1 [P q A(X, t)]2 + q(X, t). H= 2m Note que se A depende de x ento o produto dos operadores P e A(X, T ) no comuta, assim a a devemos escolher H na forma simetrizada acima H= 1 [P P q P A q A P + q 2 A A] + q. 2m
Deve-se observar, entretanto, que h certas observveis f a a sicas representados por operadores que no possuem anlogo clssico, como por exemplo, o spin do eltron. a a a e Postulado III (Postulado da Descrio dos Estados): O estado de uma partcula ca e representado por um vetor | em um subspao H do espao de Hilbert H. c c Comentrios: a
i) vimos no cap tulo anterior que os estados sicamente aceitveis so, em geral, elementos a a de um subspao H e no de todo o espao de Hilbert H. O subspao depende c a c c do sistema f sico em questo, sendo denido como o subspao que invariante sob ao a c e ca dos operadores que compem a algebra do sistema. o ii) estados de espalhamento, por outro lado, cujas funoes de onda no so normalizadas no c a a sentido usual de | | | = 1, so descritos por kets | generalizados (ou distribuies) a co que so elementos de (o espao dos funcionais semilineares associadas a ). a c
Postulado IV (Postulado da Medida): Os possveis resultados obtidos em uma medida de uma grandeza fsica so os autovalores do observvel correspondente. Alm disso, a a e se o sistema estiver em um estado |(t) normalizado, a probabilidade de obtermos um determinado valor como descrito abaixo: e
50
ii) se um determinado autovalor i for degenerado com multiplicidade gi , ento a probabia lidade de obtermos o valor i e
gi
P(i ) =
j=1
| i j | |2 ,
onde |i j , j = 1, , gi so os autovetores associados ao autovalor i . a iii) Se possuir um espectro cont nuo de autovalores com autovetores | , ento a proa babilidade de obtermos uma medida entre e + d e dP() = | | |2 d. Ou seja, a funao densidade de probabilidade p() de obtermos o valor c e p() = | | |2 . Alm disso, se aps a medida obtivermos o valor i (suponha no degenerado), ento o e o a a estado do sistema ter mudado de | para o autoestado |i associado a i . No caso a geral, temos que aps a medida de o estado do sistema ser a projaao de | no o a c autoespao associado ao autovalor observado. c
Comentrios. a
i) Note que a relao de completeza da base de autovetores {|i } (ou {| } na verso ca a cont nua) implica que a deniao de probabilidade acima consistente, pois c e
P(i ) =
i=1 i
i |
i |
=
i
|i i | |
i
|i i | |
| = 1.
dP() =
p()d =
| | |2 d
| | d
= =
| | d |
| = 1.
51
ii) Podemos expressar a probabilidade de obtermos um valor em termos do operador projeao c Pi = |i i | se denotarmos por |i a projeo de | no subespao gerado por |i , ca c |i = Pi | = |i i | = i | |i . Ento a P(i ) = | i | |2 = |i i | = |Pi | , mas P 2 = P, logo P(i ) = |Pi Pi | = |Pi | |2 . iii) Se aps a medida obtivermos i ento o estado do sistema imediatamente aps a medida o a o e medida de | |i = Pi | . Dizemos ento que aps a medida o estado foi projetado no autoespao associado a o c ao autovalor i . Note que natural esperar (exigir) que, aps a medida de com e o valor obtido i , o sistema esteja projetado no autoespao associado a esse autovalor, c pois se realizarmos nova medida de imediatamente aps a primeira, devemos obter o novamente o valor i , uma vez que o sistema no teve tempo para evoluir. Nesse sentido, a uma segunda medida de no altera o estado do sistema: a
2 Pi |i = Pi | = Pi | = |i .
iv) Se o estado original | no for normalizado, ento a probabilidade de obtermos o valor a a i ser dada por a | i | |2 | i | |2 = P(i ) = ||2 | e de forma anloga para as outras expresses correspondentes para o caso degenerado a o ou de espectro cont nuo. Aps a medida: o |
medida de
| =
P | |P |
3.2
3.2.1
Como os operadores X e T naturalmente comutam entre si, existe uma base de autovetores generalizados |xt comuns a esses dois operadores: X |xt = x |xt , T |xt = t |xt .
52
Na base {|xt } o estado de um sistema representado por uma funao das variveis x e t: e c a (x, t) xt| . A partir de (3.2), poss mostrar que o operador P na base {|xt } atua da seguinte forma: e vel xt|P | = i ou alternativamente, (x, t). i x Dizemos ento que na base {|xt } o operador P representado pelo operador diferencial: a e P (x, t) = P = . i x xt| , x
De modo anlogo, a partir de (3.3) ter a amos que o operador hamiltoniano na base {|xt } e 1 da forma xt|H| = i xt| , t ou seja, H(x, t) = i (x, t), t que corresponde formalmente ` equao de Schrdinger. Note, contudo, que no lado esa ca o querdo, o operador H deve ser expresso em termos dos operadores dinmicos do sistema, a e.g., posio X e momento P , etc. ca Se um sistema quntico possuir um anlogo clssico descrito por uma funo hamiltoniana a a a ca H(x, p) = p2 + V (x). 2m
vimos que a quantizao do sistema feita pela regra ca e H(X, P ) = H(x X, p P ), onde ou P = . i xi i Assim, a equao de Schrdinger dependente do tempo obtida acima ca o Pi = H(x, t) = i (x, t), t
2m
+ V (x) (x, t) = i
(x, t). t
1 O fato de que H um operador semi-limitado, j que a energia de um sistema deve ter um valor m e a nimo, causa um srio problema sobre a possibilidade de denirmos formalmente um operador tempo T . Entretanto, e vamos ignorar esse problema aqui e supor a existncia de um operador T canonicamente conjugado com H. e
53
3.2.2
Sistemas Estacionrios a
De uma maneira geral podemos escrever a soluao da equaao de Schrdinger c c o H |(t) = i na forma |(t) = U |(0) , onde U dito o operador evoluao temporal ou propagador. e c No caso de sistemas em que H no dependente do tempo podemos facilmente obter a e uma formula expl cita para U. Para tanto, vamos aplicar o mtodo de separaao de variveis e c a a equao de Schrdinger. Faamos ` ca o c |(t) = A(t) | , A(t) C. Assim i d |(t) dt = i A | = H |(t) = HA(t) | = A(t)H | , onde usamos que HA(t) = A(t)H uma vez que H no depende do tempo. Da equaao acima a c resulta que A H | = i | , A donde concluimos que | deve ser um autoestado |E do operador H, H |E = E |E , ou seja | = |E e i Logo |E (t) = A(0)eiEt/ |E . Se supusermos que |(0) normalizado e (0)|(0) = |A(0)|2 E|E = |A(0)|2 = 1, assim faamos A(0) = 1, logo c |E (t) = eiEt/ |E . A =E A iE A= A d |(t) , dt
A(t) = A(0)eiEt/ .
54
CAP ITULO 3. POSTULADOS DA MECANICA QUANTICA A soluo geral ser a superposio das solues genricas acima, ou seja ca a ca co e |(t) =
E
aE |E (t) =
E
aE eiEt/ |E ,
E|(0) eiEt/ |E
ou |(t) =
E
Note que como H Hermiteano, U unitrio, logo e e a (t)|(t) = (0)|(0) . Logo podemos pensar na evoluo temporal |(0) |(t) como uma rotao no espao ca ca c de Hilbert.
U
3.3
Sem dvida alguma, o postulado que causa maior espcie o postulado da medida. O fato de u e e que o resultado da medida de uma grandeza tenha de ser descrito de maneira probabi listica causa realmente alguma estranheza. Entretanto, esperamos que com o tempo o estudante chegue a concluso de que esse comportamento no to estranho assim como aparenta a ` a a e a ` primeira vista. O ponto a se ter em mente aqui que se um sistema f e sico est em um estado a em que uma determinada grandeza no assume um valor bem denido, ento a medida a a a medida dessa grandeza no pode resultar em um mesmo valor (para sucessivas repeties a co da medida em condioes idnticas). Como veremos adiante, um comportamento semelhante c e existe mesmo em sistemas clssicos. a Antes porm, vamos notar que a natureza probabil e stica do resultado da medida de um observvel tem o seguinte signicado. Suponha que preparemos N cpias de um dado a o sistema f sico, todos preparados exatamente da mesma forma, representando um certo estado | . Se medirmos a observvel em cada um desses sistemas idnticos, em cada uma dessas a e medidas podemos obter qualquer um dos autovalores i do operador . Aps um nmero N o u grande dessas medidas, a freqncia relativa com que um determinado i aparecer dado ue ae pelo postulado III: Ni = P(i ) = | i | |2 , lim N N onde Ni = nmero de vezes que se obteve o valor i . u
55
A diculdade maior est em aceitar (entender) como sistemas idnticos podem fornecer a e valores distintos para a mesma medida. A questo que o valor do observvel pode no a e a a estar bem denida no estado | em questo, logo a cada vez que ela mdida, pode-se obter a e um vetor diferente. Para tentar explicar melhor esse ponto, considere a seguinte situao ca clssica. a
3.3.1
Suponha que tenhamos um sistema f sico (e.g. um pio) em que o momento angular L a precessiona em torno de um eixo (digamos eixo z). Nesse caso, a componente Lz bem e denida e tem o valor Lz = L cos , onde o angulo entre L e o eixo de presso. A componente x (e da mesma forma a e a componente y) de L varia da forma Lx = L cos(t + 0 ), onde 0 a posio angular inicial do vetor L. e ca Agora se dizermos que o sistema foi preparado em um estado com valor Lz dado pela expresso acima, tudo que sabemos o valor de L e o ngulo . Em particular, no conhecea e a a mos em princ o ngulo inicial 0 . Assim, um ensemble de sistemas idnticos nesse mesmo pio a e estado (i.e., com Lz bem denido e idntico) conter, em princ e a pio, qualquer valor de Angulo inicial 0 [0, 2]. (Classicamente ser poss preparar todos os sistemas com o mesmo a vel valor de 0 , mas esse no o estado descrito acima, onde especicamos apenas o valor de a e Lz .) Assim, se fossemos medir Lx em um dado tempo dever amos levar em conta a indeterminaao da posio inicial. Se assumirmos que 0 pode estar entre qualquer valor com igual c ca probabilidade de encontrarmos um valor Lx = l dada por e p(l)dl = p(0 )d0 = p(l) = onde l = L cos(t + 0 ). Assim dl = L sin(t + 0 ) = L d0 Ou seja, p(l) = 1 2 1 L2 l2 . 1 cos2 (t + 0 ) = L2 l2 . 1 d0 2
1 1 , 2 dl/d0
56
onde tomamos o mdulo de dl/d0 j que p(l) deve ser uma grandeza positiva. Ou seja, o a a densidade de probabilidade de obtermos um valor l para Lx representada pelo grco e a abaixo. V-se assim que, embora l possa assumir todos os valores no intervalo [L , L ], os e valores mais provveis esto nos extremos desse intervalo. a a No caso quntico veremos que uma dada componente Lx , Ly ou Lz s podem assumir a o certos valores discretos m , onde m = L, L + 1, . . . , 0, 1, L 1, L. Se prepararmos o sistema com um dado valor de Lz , da mesma forma como no anlogo clssico acima, a a a observvel Lx poder, (quando medida) apresentar um dos poss a a veis valores acima com uma dada probabilidade que depender do valor xado para Lz . a Exemplo 3.3 (Matrizes de Pauli: Operadores de spin 1/2). x = Se | = |Sz = 1 = 1 0 . 0 1 1 0 , y = 0 i i 0 , z = 1 0 0 1 .
3.3.2
Se realizarmos um nmero N grande de medidas de um observvel em um sistema u a no estado | (ou seja, fazemos N realizaoes do sistema no mesmo estado | e fazemos a c medida de ), ento o valor mdio das medidas i obtidas ser, por denio a e a ca =
i
i P(i ).
3.3. DISCUSSAO SOBRE O POSTULADO DA MEDIDA Usando o postulado da Medida segue ento que a =
i
57
i | i | |2 =
i
i i |
i |
=
i
i |i i | |
i
= =
i |i i | |
|| ,
i |i i | .
Em resumo temos que, para saber (apenas) o valor mdio de no necessrio calcular seus e a e a autovalores e autovetores, basta calcular o sanduiche de no estado | em questo: a = || .
3.3.3
Varincia e Incerteza de a
A varincia ()2 dos valores i observados , por deniao, calculada pela relaao a e c c ()2 =
i
(i )2 P (i ).
(i )2 |i i | | .
f (i ) |i i | ,
segue que ()2 = | ( )2 | . A incerteza da medida de denida como o respectivo desvio quadrtico mdio: e a e = ou alternativamente = | 2 | | | | 2 . | ( )2 | ,
58
3.3.4
Suponha que dois operadores e comutem: [, ] = 0. Ento existe uma base comum de autovetores | com respsctivos autovalores e : a | = | , | = | . Suponha que autovalor degenerado de , ento a medida de em um estado | resulta e a em medida de | | = P | . Ou seja, aps a medida o sistema encontra-se em um estado | que pertence ao subspao o c j gerado pelos autovetores | associado ao autovalor degenerado . Dessa forma, aps a o medida, e tendo obtido o valor , no temos certeza de qual o estado em que se encontra o a sistema, uma vez que pode ser qualquer vetor do subspao correspondente. c Se agora zermos uma medida de teremos |
medida de
| = P | = P P | .
Se s houver um autovetor comum | associado ao par de autovalores (), ento temos o a certeza de que aps a segunda medida o estado do sistema ser o a | = | . Dizemos ento que a medida de e preparam o sistema em um dado estado unico | . a Se, por outro lado, o par de autovalores () for degenerado, as medidas de e nao prepara o sistema em um unico estado. Nesse caso, precisamos de um terceiro observvel , a com [, ] = [, ] = 0, tal que | = | (e analogamente para os demais observveis e ). a Se o tripleto de autovalores (, , ) for no degenerado, a medida de , e preparar a a o sistema em um estado unico | . Se (, , ) for degenerado, precisaremos de um quarto observvel, e assim sucessivaa mente. Temos ento a seguinte denio. a ca
59
Denio 3.1. Um conjunto de operadores , , , , dito um conjunto completo de ca e operadores que comutam (CCOC) se existir uma base comum de autovetores | com autovalores (, , , ) no degenerados. a A partir de um CCOC podemos preparar um sistema em um estado conhecido, bastando fazer a medida seqencial (ltragem) em um estudo arbitrrio dos operadores desse u a conjunto.
3.3.5
i) Em particular note que se [, ] = 0, ento existe uma base comum de autovetores | , a logo podemos preparar o sistema em um estado (pode haver vrios) em que os valores a (, ) das medidas dos observveis f a sicos e so simultaneamente conhecidos. Nesse a caso, dizemos que as grandezas e so compat a veis. ii) Se [, ] = 0 e [, ] = 0 no possui autovetor com autovalor nulo, ento os operadores a a e no possuem qualquer autovetor comum. Logo no h nenhum estado em que os a a a valores de e possam ser determinados simultaneamente. Os operadores nesse caso so ditos incompat a veis. Exemplo 3.4. [X, P ] = i = 0. Obviamente no existe vetor no trivial | com a a i | = 0 | , logo X e P so incompatveis. a iii) Se [, ] = 0 mas possuir (pelo menos) um autovetor | com autovalor nulo, ento a no autoespao gerado por esses autovetores, os observveis podem ser determinados c a simultaneamente. Entretanto os autovetores de autovalor nulo no formam uma base, a logo em geral e no podem ser determinados simultaneamente (exceto no subspao a c mencionado acima). Em particular, se [, ] = 0, as medidas de e podem ser feitas em qualquer ordem, ou seja, P | = | , mas | = | . Nesse caso a probabilidade de obter depois ainda dada pela expresso anterior e a P(, ) = | | |2 , mas agora a ordem das medidas importante: e P(, ) = P(, ).
3.4
Exerc cios
0 1 1 0 0 i i 0 1 0 0 1
60
CAP ITULO 3. POSTULADOS DA MECANICA QUANTICA que correspondem aos operadores de spin de uma part cula com spin 1/2. a) Verique que todas elas possuem os mesmos autovalores /2. b) Calcule o comutador [Sx , Sy ]. c) Suponha que inicialmente o sistema estava no estado | correspondendo ao autovetor associado ao autovalor Sz = /2. Se medirmos o observvel Sx , quais os poss a veis valores dessa medida e suas respectivas probabilidades? d) Suponha que aps a medida de Sx obteve-se o valor Sx = /2 e que imediatamente o em seguida fazemos a medida de Sy . Calcule a probabilidade de obtermos Sy = /2. 2. O hamiltoniano de uma part cula de spin 1/2 na presena de um campo magntico c e B = B z constante dado por e H = B S = BSz , onde uma constante positiva e S o operador momento angular de spin denido e e no problema anterior. a) Calcule as poss veis energias E e respectivos autoestados |E do sistema. Expresse as energias em funao da quantidade 0 = B. c b) Suponha que em t = 0 o sistema foi preparado no estado |(0) = a |Sz = /2 + b |Sz = /2 , onde a e b so constantes reais com a2 + b2 = 1. Determine a forma do estado |(t) a para tempos posteriores. c) Em algum tempo t > 0 realiza-se uma medida de Sx . Calcule separadamente as probabilidades P (t) de obtermos os valores Sx = /2, respectivamente, e verique que P+ (t) + P (t) = 1. Esboce os grcos de P (t) em funo de t. a ca 3. Exerc 4.2.1 (Shankar). cio
4.1
Considere dois operadores hermiteanos e que satisfazem a relaao de comutao c ca [, ] = i, onde um operador. Pode-se vericar facilmente que tembm hermiteano: e e e i = [, ] = [, ] = i = .
Nosso objetivo obter uma relao entre as incertezas () e () em um estado e ca normalizado arbitrrio | . Lembremos que a 2 = ( )2 = | ( )2 | e similarmente para . Por convenincia denimos operadores com mdia nula: e e = , = . Ento a ()2 = | 2 | = | | = | | = e analogamente para : ()2 =
2 2 2 2
= .
Por outro lado, a desigualdade de Schwartz para produto interno nos diz que |V1 |2 |V2 |2 | V1 |V2 |2 .
62
CAP ITULO 4. RELACOES DE INCERTEZA Se zermos |V1 = | e |V2 = | , temos ||2 ||2 ()2 ()2 | | |2 | | | |2 .
Mas como [, ] = e [, ]t = + ento [, ] + [, ]t = 2. a 1 1 = [, ] + [, ]t , 2 2 onde [, ]t o anticomutador entre e . e Note que se e so hermiteanos, ento o anticomutador [, ]t tambm hermiteano. a a e e Temos agora que ()2 ()2 = 1 1 | [, ] | + | [, ]t | 2 2 1 1 i | | + | [, ]t | 2 2
2 2
Lembre-se agora que se um operador hermiteano qualquer, ento = || e a e puramente real e no negativo: || a 0. Ento, a expresso anterior da forma a a e () () onde a= logo temos a seguinte desigualdade ()2 ()2 1 4
2 2 2
1 1 ib + a 2 2
1 2 (a + b2 ), 4
e b = [, ]t ,
+ [, ]t
1 2 ( + [, ] 2 ). 4 Como o segundo termo sempre positivo, podemos escrever e ()2 ()2 ()2 ()2 1 4
2
i) | = |
63
nos diz que (para H no dependente do tempo): a Hi Das relaoes acima concluimos que c [T, H] = i logo E t /2. [H, T ] = i , d d = . dt i dt
4.2
A funo de onda (x) de m ca nima incerteza para X e P aquela para a qual a igualdade e na desigualdade de Heisenberg satisfeita e P X = /2.
Vimos que isso acontece se P | = cX | (P P ) | = c(X X ) | d (x) P (x) = c x(x) c X (x) i dx d (x) = c x(x) + [ P c X ](x) i dx d i i (x) = cx(x) + (x), dx onde = [ P c X ] uma constante. A soluao da equao acima pode ser procurada e c ca na forma i 2 (x) = u(x) exp{icx2 /2 } = cx + u eicx /2 ou
64
Se queremos uma funao (x) L2 , ento devemos escolher c puramente imaginrio: c a a c = i|c|. Entretanto, isso decorre naturalmente da segunda condiao necessria para a incerteza c a m nima; vide Shancar p. 240. Usando o fato acima, obtemos (x) = (0)ei P (x) = (0)ei P (x) = ( X )ei P
(x X )/ x/hbar x/hbar |c| X x/
ecx
2 /2
exp
|c| (x X )2 ec X 2 (x X )2 2(x)2
/2
exp
(x)eipx/ dx
(P P )2 (p) = (p) exp {i X (P P )/ } exp 2 4 (1/4X 2 ) Ento a incerteza P 2 ser a varincia da gaussiana a a a
2 2
1 2
(x)eipx/ dx
P 2 =
4X 2
X 2 P 2 =
P X = /2.
Em outras palavras, o pacote de onda de m nima incerteza aquele que tem a mesma e forma funcional, tanto na base de coodrenadas como na base dos momentos, sendo a funo ca gaussiana a unica a satisfazer esse critrio. e
65
4.3
4.3.1
Considere a mdia H do hamiltoniano H = P 2 /2m + m 2 X 2 /2 em um estado normae lizado | arbitrrio: a P 2 1 + m 2 X 2 . H = |H| = 2m 2 Assumindo sem perda de generalidade que P = X = 0, ento a (P )2 = (P P )2 = P 2 (X)2 = (X X )2 = X 2 Assim H = Usando a relao de incerteza ca P X podemos escrever H 1 + m 2 (X)2 . 8m(X)2 2
2
(P )2 1 + m 2 (X)2 . 2m 2 ,
Uma estimativa do m nimo de energia obtido em pacote gaussiano, onde (X)2 a e e varincia; nesse caso a 2 1 H gauss = + m 2 (X)2 . 8m(X)2 2 Podemos agora escolher a largura X do pacote de modo a minimizar a energia:
2 d H 1 = + m 2 = 0 2 4 d(X) 8m(X) 2 2
(X)4 = (X)2 =
4m2 2
2
2m
Assim o pacote (gaussiano) de m nima energia e (x) = A exp{x2 /2[2(X)2 ]} = A exp{mx2 /2 } com energia H
min
1 . 2
66
Ou seja, pela aplicaao do princ c pio da incerteza de Heisenberg, conseguimosdeterminar exatamente a energia e a funao de onda do estado fundamental do oscilador harmnico. c o Esse resultado s foi poss o vel, claro, porque o hamiltoniano quadrtico em P e X. No e e a caso geral, a aplicaao do princ c pio da incerteza nos dar apenas uma estimativa da energia a do estado fundamental. Quanto ` funao de onda, poderemos obter somente uma estimativa a c para sua largura X.
4.3.2
H= ou
2 2 Px Py Pz2 e2 . 2m X2 + Y 2 + Z2 2 Py Pz2 2m
Ento a H =
2 Px
e2 X2 + Y 2 + Z2
X2
No podemos proceder alm daqui de maneira exata, por isso faremos algumas aproximaoes: a e c 1 + Y 2 + Z2 1
1 X 2 +Y 2 +Z 2
1 X2 + Y 2 + Z2
X2
onde representa da mesma ordem de magnitude. Considerando mais uma vez estados com X = Y = Z = 0, temos H = (Px )2 + (Py )2 + (Pz )2 e2 2m 1 (X)2 + (Y )2 + (Z)2 .
E razovel (e intuitivo) supor que o estado de m a nima energia deva estar entre aqueles que possuem simetria esfrica: e (X)2 = (Y )2 = (Z)2 (Px )2 = (Py )2 = (Pz )2 Assim temos H Usando agora a relaao de incerteza c Px X /2. 3(Px )2 e2 2m 1 3(X)2 .
4.4. EXERC ICIOS Temos H Minimizando com relao a X : ca d H 3 2 e2 = 2 + =0 d 8m(X)3 3(X)2 Substituindo em H : H 2me4 9 2 2 3 3 2 X = 1 3 2. 4me2 me
67
3 2 e2 1 . 8m(X)2 3 X
Alm disso, veremos que o estado fundamental no ser um pacote gaussiano, mas uma e a a exponencial da forma (x) = A exp{r/a0 } = A exp x2 + y 2 + z 2 /a0 , onde a0 = 2 /me o raio de Bohr. Para essa funo: x = 2 /me2 . Vemos assim que nossa e ca estimativa para o estado fundamental e a largura da funao de onda correspondente difere c de um fator da ordem de 2 dos valores exatos.
4.4
Exerc cios
1. Considere o problema da difraao de eltrons por uma dupla fenda de separaao d. Suc e c ponha que tentemos determinar por onde passa o eltron, jogando um feixe de luz de e comprimento de onda luz e observando a luz reetida pelo eltron. O espalhamento e da luz pelo eltron vai causar uma variao py no momento do eltron. Suponha e ca e que, para minimizar esse efeito, a intensidade do feixe de luz seja to baixa que esa sencialmente temos o espalhamento de um unico fton pelo eltron. A variaao py o e c certamente ser proporcional ao momento pluz do fton, e podemos supor por simplia o cidade que a constante de proporcionalidade um. e a) A condio para que o padro de inteferncia no seja destru que a variao ca a e a do e ca angular na direao do momento do eltron seja menor que a variaao angular corc e c respondente ao primeiro m nimo da gura de inteferncia. Mostre que essa condiao e c pode ser escrita na forma py e < , px d
68
CAP ITULO 4. RELACOES DE INCERTEZA onde px o momento do eltron incidente e e o comprimento de onda de de Broglie e e e do eltron. e b) Mostre ento que a condiao acima implica que a c luz > d. c) Por outro lado, a preciso com que podemos determinar a posiao do eltron a partir a c e da luz espalhada est certamente limitada pelo comprimento de onda da luz utilizada. a Conclua ento, a partir do resultado acima, que no poss determinar por qual a a e vel fenda o eltron passa sem destruir a gura de interferncia. e e
5.1
O problema mais simples em Mecnica Quntica corresponde ao movimento de uma a a part cula livre. Nesse caso as equaoes de Heisenberg-Schrdinger so c o a i e (x, t) = P (x, t) x
P2 (x, t) = H(x, t) = (x, t). t 2m Para soluoes estacionrias, escrevemos c a i (x, t) = eiEt/ E (x), onde E (x) so autofunoes do hamiltoniano a c HE (x) = EE (x). Em face dessa equaao, conveniente trabalhar na base |E dos autovetores do hamiltoniano c e H, H |E = E |E , sem necessariamente projet-los na base de coordenadas |x (ou em qualquer outra base que a seja). A equao acima conhecida como equao de Schrdinger independente do tempo. ca e ca o Para o caso da part cula livre temos H |E = P2 |E = E |E . 2m 69
70
Como os autovetores de P so tambm os autovetores de P 2 , segue que os autoestados a e |E so autovetores tambm de P, ou seja, a e P |E = pE |E . Para descobrirmos os autovalores pE associados a uma dada energia E, notemos da equaao c acima que p2 P2 |E = E |E = E |E , 2m 2m logo p2 = 2mE pE = 2mE. E
Ou seja, para uma dada energia E existem dois poss veis momentos 2mE. Como as autofunoes de P na base {|x } so c a 1 1 p (x) = eipx/ = eikx , 2 2 com p = k, temos que a soluao mais geral para o estado |E na base {|x } c e E (x) = x|E = Aeikx + Beikx , k = Em termos gerais, sem usarmos a base {|x }, temos |E = A P = 2mE + B P = 2mE . 2mE
2
Note que a soluao E (x) representa a superposiao de uma onda plana para a direita, c c com amplitude A, e uma onda plana para a esquerda, de amplitude B. De fato, a soluo ca dependente do tempo e (x, t) = eiEt/ (x) k2L = exp i 2m = A exp ik x
Os termos acima representam ondas planas movendo-se para a direita e para a esquerda, respectivamente, com velocidade de fase: v(x) = k |P | = . 2m 2m
Note que a velocidade (de fase) de uma funo de onda de movimento p diferente da ca e velocidade correspondente de uma part cula clssica em que v = p/m. a
5.1. PART ICULA LIVRE Propagador: U (t) = eiHt/ I = Na base {|x } temos: U (x, t; x ) = |U (t)| = Mas os kets |p na base {|x } so a p (x) = logo U (x, t; x ) = 1 2 1 = 2
71
eiHt/ |p p| dp =
eiE(p)t/ |p p| dp.
1 eipx/ , 2
exp i
p2 t 2m
exp i
px
exp i .
px
p p2 t exp i (x x ) exp i 2m
ex/2 dx = 1,
podemos facilmente calcular a integral para U (x, t; x ) acima U (x, t; x ) = m exp im(x x )2 /2 t 2 it
Fato importante: o propagador de uma partcula livre uma gaussiana. e Temos ento a |(t) = U (t) |(0) ou (x, t) = =
x|U (t)|(0)
72
Exemplo 5.1. Suponha que em t = 0 a part cula est na posiao x0 , i.e., (x , 0) = (x x0 ). a c Ento em um tempo posterior a
(x, t) =
ou seja U (x, t; x , t ) a funao de Green associada com a EDP correspondente. No caso da e c part cula livre, se (x , 0) = (x x0 ), ento a (x, t) = m exp im(x x0 )2 /2 t , 2i t
5.2
Considere uma part cula livre, mas connada em uma caixa unidimensional de dimenso L. Ou seja, imaginamos a part a cula sujeita ao potencial: V (x) = como esquematicamente ilustrado abaixo. A regio de interesse portanto x [L/2, L/2], logo as funoes sicamente aceitveis a e c a so as funes denidas no intervalo x [L/2, L/2] e zero fora desse intervalo, e que a co sejam funoes suaves, ou seja c
= CF (L/2, L/2) = {funoes suveis de suporte compacto [-L/2,L/2]}. c a
Como H no depende do tempo, as funoes de onda so estacionrias a c a a |(t) = exp{iEt/ } |E , onde H |E = E |E . Seja E (x) a autofuno |E na base {|x }, ca E (x) = x|E .
73
Tal como no caso da part cula livre, os autovetores de H so autovetores de P, sendo que a para uma dada autoenergia E existem dois poss veis automomentos p+ = + 2mE e p = 2mE. Assim a forma geral da autofuno E (x) ca e E (x) = A exp{ip+ x/ } + B exp{ip x/ } = Aeikx + Beikx , onde k = |p|/ = 2mE/ ou k = 2mE/
2
Devemos exigir que E (x) = 0, |x| > L/2, e em particular devemos ter E (x = L/2) = 0. Isso nos d a AeikL/2 + BeikL/2 = 0 ou AeikL/2 + BeikL/2 = 0 Dividindo uma pela outra: eikL = eikL ei2kL = 1. n , n = 0, 1, 2, . . . L Inserindo esse valor de k nas equaoes acima, temos c 2kL = 2n k = kn = B = ein A Ou seja n (x) = A sin(kn x) = A sin A cos(kn x) = A cos
nx L nx L
Logo,
, n par , n mpar
Normalizaao: c
L/2 L/2
|n | =
L/2
|n (x)| dx = A
2 L/2
sin2
nx dx L
|n | = A
21
L/2
1 cos
L/2
2n x L 2 . L
1 dx = A2 L = 1 2
A=
74 Ou seja,
2 2 L 2 2 L
sin cos
nx L nx L
, n par , n mpar
2m
2m
n2 2 L2
En =
n . 2mL2
2 2 2
Note que o espectro discreto mas no limitado: e a Obs.: quantizao da energia imposta pelas condies de contorno nos extremos do inca co tervalo [L/2, L/2]. O estado fundamental, ou seja, de mais baixa energia n = 1 : e E1 = =0 2mL2
2 2
(Classicamente ter amos v = 0 p = 0 E = 0, como o estado de mais baixa energia.) Isso uma consequncia do princ e e pio de incerteza de Heizenberg. No caso em questo, a part a cula tem uma incerteza x = L na posio, o que leva a uma incerteza no ca momento e, portanto, na energia. Para ver isso, note que H= Mas por outro lado: (P )2 = (P P )2 = P 2 , pois P = 0, como pode ser vericado. Assim temos H = Mas P X Logo
2
P2 2m
H =
P2 . 2m
P2 (P )2 = 2m 2m /2
2m H .
2m H L
/2
8mL2
Como a mdia tem que ser maior que o menor dos valores, ento e a E1 . 2mL2
2 2
75
Propagador. Se denotarmos por |n o ket correspondente a n (x), ento o propagador a ser dado por a
U = exp{iHt/ } =
n=1
exp{iHt/ } |n n| ,
=
n=1
n (x)n (x ) exp
n . 2mL2
2 2 2
5.2.1
ex /2 . (2 )1/4
x =
x (x , 0)dx = 0
exp{im(x x )2 /2 t} exp{ip0 x / }
exp i
p0
p0 t 2m
exp
(x p0 t/m)2 22 (1 + i t/m2 )
exp
(x p0 t/m)2 . 2 + 2 t2 /m2 2
76 (ii)
X =
1 2
2 +
2 t2
m2 2
= 2
1+
2 t2
m2 4
Para t
1: X 2 X 1
1 2 t2 2 m2 4
Para t
1:
t . 2m
O crescimento da incerteza X relativo a localozaao da part ` c cula um reexo do fato e de que qualquer incerteza na velocidade inicial da part cula resultar numa incerteza futura a sobre a localizaao da part c cula. Pelo princ pio da incerteza de Heisenberg temos que t=0:
px = mv 2
/2 v
2m
t , 2m que est de acordo com o compotamento obtido anteriormente para x para tempos longos. a x = vt x(t) = vt Exemplo 5.2 (Poo quadrado). Considere uma part c cula sujeita ao potencial V (x) = V0 , |x| < L/2 0 , |x| > L/2
t>0:
Nas regies I e III a part o cula est livre, logo as funes de onda so da forma a co a I (x) = Aeikx + Beikx , x < L/2 e III (x) = Eeikx + F eikx , x > L/2, com k = 2mE/ 2 .
Na regio II a equaao de Schrdinger na base {|x } : a c o e d2 + V (x)(x) = E(x) 2m dx2 d2 V0 (x) = E(x) 2m dx2 2 2 d = (E + V0 )(x). 2m dx2
2 2
5.2. PART ICULA NA CAIXA Logo, as solues so da forma co a (x) = exp i onde k = 2m(E + V0 )/
2
77
2m(E + V0 )
= exp{ik x},
Temos dois casos de interesse: i) E < 0 e ii) E > 0. Vamos analisar aqui apenas o caso E < 0, deixando o outro como exerc cio.
=i k=
2m|E|
2
k,
2m|E|/ 2 .
Ento as soluoes nas regies I e III so a c o a I (x) = Aekx + Bekx , x < L/2 e III (x) = Eekx + F ekx , x > L/2. Como queremos que (x) seja de quadrado integrvel, devemos evitar o crescimento expoa nencial em , logo devemos ter A = 0 e F = 0, ou seja I (x) = Bekx , x < L/2 III (x) = Eekx , x < L/2 e II (x) = Ceik x + Deik x , x > L/2. A continuidade de em x = L/2 impe as seguintes condies de contorno o co II (L/2) = I (L/2) II (L/2) = III (L/2) Ceik L/2 + Deik L/2 = BekL/2 Ceik L/2 + Deik L/2 = EekL/2 i) Funoes pares: (x) = (x) c B = E e C = D.
78
Para as derivadas temos as condioes de contorno c I (x = L/2) = II (x = L/2) Ou seja 2C cos (k L/2) = BekL/2 2k C sin (k L/2) = kBekL/2 k tan kL 2 =k (I) ik C(eik L/2 eik L/2 ) = kBekL/2 .
I e II so as condioes de quantizao. a c ca
5.3
Equao da Continuidade ca
+ V (x) .
+ V .
+ V (x) + V (x)
] =
2m
[ ]
Ou seja, P (x, t) + t
( ) + t 2mi J = 0,
[ ] = 0.
(equao da continuidade) ca
79
Lembre-se que a equaao da continuidade implica a conservao da grandeza cuja densidade c ca P e P (x, t)d3 x = Jd3 x = J dS t V V S P (x, t)d3 x + J dS = 0 (equao da conservao) ca ca t V S Se a superf S uma superf no innito e J vai a zero nessa superf cie e cie cie, ento a t
V
P (x, t)d3 x = 0
V
5.4
Potencial Degrau
A soluo da equaao de Schrdinger nas regies I e II so ca c o o a I (x) = Aeik1 x + Beik1 x , II (x) = Ceik2 x + Beik2 x , k1 = k1 = 2mE/
2 2
2m(E V0 )/
Nosso interesse so solues para o caso E > V0 e com D = 0 (temos apenas onda reetida a co em II). A continuidade de e em x = 0 resulta em A+B =C
2 2 Obs.: k1 k2 = 2mV0 / 2
ik1 (A B) = ik2 C.
2
k2 =
2 k1 2mV0 /
2k1 A k1 + k2 k1 k2 A. k1 + k2
B=
80
Logo podemos escrever a soluo ca E (x) = A eik1 x + B eik1 x , A A C eik2 x , x > 0 A 2mE/
2
x<0
onde (x) a funo de Heavside. e ca Nosso interesse estudar a incidncia de um pacote de onda gaussiano (e no de uma e e a onda plana, que no possui signicado f a sico), dado por I (x, 0) = I (x) = 1 exp{ik0 (x + a)} exp{(x + a)2 /22 }, (2 )1/4
E |I |E dE aE E (x)dE,
I (x) =
aE = a(k1 ) = A
ik1 x
B A
ik1 x
(x)I (x)dx +
C A
Ento a aE A
eik1 x I (x)dx
eik1 x I (x)dx.
eik1 x I (x)dx.
exp (k1 k0 )2
2 2
ei k1 a.
5.5. ALGUNS TEOREMAS Para tempos posteriores, podemos evoluir cada onda plana individualmente, ou seja
81
2 4 3
1/4
B A
eik1 x (x) +
C A
1. produz contribuio aproximadamente nula: o pacote de onda inicial desaparece. ca 2. onda reetida R = (x)G(a, k0 , t)(B/A)0 temos que 2 E0 E0 V0 B 2 = , R = |R | dx = A 0 E0 + E0 + V0 onde E0 =
2 2 k0 /2m.
3. onda reetida.
5.5
Alguns Teoremas
Teorema 5.1. Todo potencial atrativo em 1D possui pelo menos um estado ligado.
Demonstrao. Se V atrativo, ento podemos denir V () = 0 e V (x) < 0, x ca e a logo podemos fazer V (x) = |V (x)|. Considere um pacote de onda gaussiano (x) = Ento a E() = |H| = mas d (x) = dx
1/4
1/4
exp{x2 /2}.
2m
exp{x2 /2}
1/4
exp{x2 /2}(1x2 )
82 Logo E() = 2 2m 2 = 2m 2 = 2m 2 = 2m
1/2
1/2
(1 x2 ) exp{x2 }dx
1/2
2/2
/2 > 1
Como |H|
Demonstrao. Suponha que haja. Ento sejam 1 e 2 duas solues com a mesma ca a co energia E < 0. Ento a 2 2 d 1 + V 1 = E1 2m dx2 podemos chegar a d dx 1 d2 d1 2 dx dx =0 1 d2 d1 2 = C = const. dx dx d2 2 + V 2 = E2 2m dx2
2
Teorema 5.3. As autofunes de H = P 2 /2m + V (x) podem sempre ser escolhidas funes co co reais puras na base de coordenadas.
83
Demonstrao. Se (x) soluao da eq. de Schrdinger, ento (x) tambm o , logo ca e c o a e e podemos escolher + r = 2 como soluao com mesma autoenergia. Em 1D, como no h degenerescncia, i = cr . c a a e = r + ii = (1 + ir)r = cr .
5.6
Exerc cios
1. Considere uma part cula de massa m movendo-se em uma caixa unidimensional, com paredes em x = a, na presena de um potencial delta repulsivo na origem, V (x) = c V0 (x), com V0 > 0. a) Escreva de forma genrica as quatro condies de contorno que devem ser satisfeitas e co pela funao de onda (x). Mostre, sem resolver o problema, que as soluoes c c mpares do problema original (i.e., sem a delta) permanecem solues do sistema. co b) Calcule as autofunoes pares do problema modicado (com a delta) e obtenha a c equaao transcendental que determina as energias do sistema. Esboce uma soluao c c grca da mesma. Em particular, discuta se a energia do estado fundamental maior a e ou menor do que no caso original. c) Analise os limites V0 0 e V0 e discuta se os resultados obtidos esto de a acordo com o esperado para esses casos. 2. Considere agora o problema de estados ligados, isto , com E < 0, para o caso de e uma part cula de massa m movendo-se em uma caixa unidimensional, com paredes em x = a, na presena de um potencial delta atrativo na origem, V (x) = V0 (x), V0 > c 0. a) Mostre que a energia E dada pela soluo da seguinte equao transcendental: e ca ca tanh(a) = , e onde = 2m|E|/ e uma constante positiva a ser determinada. b) Esboce uma soluao grca da equao acima e verique que, de fato, existe apenas c a ca um unico estado ligado. 3. Considere o problema discutido no texto de uma part cula de massa m movendo-se na presena de um potencial delta atrativo na origem, V (x) = V0 (x), com V0 > 0. c a) Escreve a equao de Schrdinger na base dos momentos p. Isso corresponde a ca o tomar a transformada de Fourier da equaao usual na base x. Resolva essa equao e c ca obtenha (p) em funo de V0 , E e (0). ca b) Calcule a transformada inversa e obtenha (x) em funo dos parmetros acima. ca a Mostre ento que somente um valor de E poss a e vel: o valor EL do estado ligado determinado acima. Por que as soluoes que se propagam (E > 0) no so obtidas c a a pelo mtodo de Fourier? Determine a expresso nal para (x) e compare com soluo e a ca obtida no texto. c) Faa um esboo de (x) e da densidade de probabilidade de se encontrar a part c c cula
84
CAP ITULO 5. PROBLEMAS UNIDIMENSIONAIS SIMPLES na posiao x, e obtenha uma estimativa para a incerteza X. Repita a anlise para c a as funes de onda (p) e estime P . Qual sua estimativa para o produto X X? co 4. Considere uma part cula movendo-se em um potencial da forma a a V (x) = aV0 (x + ) + (x ) . 2 2 a) Mostre que h dois estados ligados com energias determinadas pela equao transa ca cendental 2 ea = 1 , onde E = 2 2 /2m e = 2maV0 / 2 . D uma soluao grca dessa equao. e c a ca b) Mostre que o estado fundamental (excitado) descrito por uma funo de onda par e ca ( mpar) e esboce essas funoes de onda. Justique com argumentos f c sicos por que o estado fundamental deve ser o estado par. c) Explique por que o potencial acima pode ser considerado um modelo para uma + molcula diatmica ionizada (por exemplo H2 ), cujos ncleos esto separados por e o u a uma distncia a. Em particular, estude como a energia dos dois n a veis varia com a, e analise os casos a 0 e a 5. Estude o problema de espalhamento de uma onda plana pelo potencial de duas deltas do problema anterior. Calcule os coecientes de transmisso T e reexo R, e estude a a suas variaoes com a distncia a entre as deltas. Obtenha as ressonncias (divergncias) c a a e de T e discuta sua origem f sica.
6.1
Considere o oscilador harmnico quntico que corresponde ao Hamiltoniano: o a H= onde [X, P ] = i . O problema com o hamiltoniano acima que ele no comuta nem com P, nem com X : e a [X, H] = 0 e [P, H] = 0. Logo, nem os autokets |x de X nem os autokets |p de P so autokets de H, no sendo obvio a a como construir os autoestados |E do operador H e obter os autoenergias E correspondentes. Para resolver o problema vamos reescrever o hamiltoniano H em termos de novos operadores mais convenientes. P2 1 + m 2 X 2 , 2m 2
6.1.1
A idia aqui, essencialmente, completar os quadrados na expresso de H de modo a e e a reduzi-lo a um produto de dois operadores. Para isso vamos introduzir os operadores a = a+ = m X +i 2 m X i 2 85 1 P 2m 1 P. 2m
86
(A justicativa para a escolha dos subscritos car evidente mais adiante.) Note que os a operadores a so conjugados hermiteanos um do outro: (a ) = a+ . Considere agora o a seguinte operador N = a+ a , que obviamente hermiteano, pois e N = (a+ a ) = (a ) (a+ ) = a+ a = N. Em termos de X e P, o operador N e N = = m X i 2 1 P 2m m X +i 2 1 P 2m
m 2 1 i X + P 2 + (XP P X) 2 2m 2 1 P2 1 i = + m 2 X 2 + [X, P ] 2m 2 2 1 1 = H . 2 1 2 1 2
Logo H= ou H= a+ a + N+
E conveniente denir um operador hamiltoniano adimensional da forma H= logo 1 H=N+ . 2 Vemos assim que podemos descrever o oscilador harmnico quntico tanto atravs da o a e algebra denida pelos operadores {X, P, H} quanto pelos operadores {a , a+ , N }. Para completar a especicaao do problema em termos desses novos operadores devemos encontrar c as relaoes de comutaao entre eles. Primeiramente temos c c [a , a+ ] = Alm disso e [a , N ] = [a , a+ a ] = [a , a+ ]a = a [a+ , N ] = [a+ , a+ a ] = a+ [a+ , a ] = a+ . Vamos agora denotar por |n os autovetores do operador N : N |n = n |n . i i [P, X] [X, P ] = 1. 2 2 H ,
6.1. SOLUCAO PELO METODO ALGEBRICO Da relaao entre H e N , vemos que os autovetores de N tambm so autovetores de H: c e a H |n = N+ 1 2 |n = (n + 1/2) |n .
87
Assim denindo a energia adimensional atravs da relaao e c = temos H |n = n |n , com n = n + 1/2. Logo para conhecer as autonergias n e autoestados |n do hamiltoniano H, basta determinar o espectro e respectivos autovetores do operador N . Para resolver esse problema, precisamos saber como a e a+ atuam sobre os autovetores |n de N . Considere o ket a | e vejamos a ao de N sobre ele. Usando a relao de ca ca comutao entre a e N , obtemos ca N (a |n ) = (a N a ) |n = a N |n a |n = (n 1)a |n . Logo a |n um autovetor de N com autovalor n 1, ou seja e a |n = Cn |n 1 , onde Cn uma constante a ser determinada. Da mesma forma, temos e N (a+ |n ) = (a+ N + a+ ) |n = a+ N |n + a+ |n = (n + 1) |n Logo a+ |n um autovetor de N com autovalor n + 1, ou seja, e a+ |n = Cn+1 |n + 1 . Assim, se aplicarmos sucessivamente o operador a a um autovetor |n com autovalor n, obtemos uma sucesso de autovetores de N , e portanto de H, com autovalores decrescentes a de uma unidade, ou seja 1 a |n |n 1 , = n 2 3 a2 |n a |n 1 |n 2 , = n 2 . . . 2m + 1 am |n a |n m |n 2 , = n 2 Entretanto, como veremos a seguir os autovalores de H so sempre positivos, logo para a algum m devemos ter am |n = 0, ou seja existe um vetor |n0 tal que a |n0 = 0. Antes porm vamos mostrar que E e 0. Lema 6.1. Os autovalores E de H = P 2 /2m + m 2 X/2 no podem ser negativos. a E ,
1 1 |P 2 | + m 2 |X 2 | 2m 2 1 1 = |P P | + m 2 |X X| 2m 2 1 1 = |P |2 + m 2 |X|2 0. 2m 2 = |H| =
E
Em particular, se | = |E H
=E
0.
Retomando a discusso anterior, vimos que em face do lema acima concluimos que deve a haver um estado |n0 tal que aplicaes sucessivas de a nada resultam: co a |n0 = 0. Para obter o valor de n0 , apliquemos N a |n0 : N |n0 = a+ a |n0 = a+ (a |n0 ) = 0 logo n0 = 0. Donde concluimos que a energia do estado fundamental 0 = 1/2 ou em forma e dimensional E0 = 1 . 2 Por aplicaoes sucessivas de a+ obtemos as demais autoenergias n : c a+ |0 |1 , a+ 2 |0 |2 , . . . (a+ )n |0 |n , n = n + 1/2 1 = 1 + 1/2 2 = 2 + 1/2
Concluimos ento que os poss a veis autovalores de H so a 1 n = n + , 2 logo as poss veis autoenergias so a En = n+ 1 2 , n = 0, 1, 2, . . . n = 0, 1, 2, . . .
Para obter os respectivos autoestados |n basta aplicar a+ n vezes ao estado fundamental |0 . Vimos acima que a |n = Cn |n 1 e a+ |n = Cn |n + 1
n| a = a+ n + 1| Cn+1 .
n| a+ = n 1| Cn
89
che de N em um estado |n : Para determinar a constante Cn e Cn , consideremos o sandu n|N |n = n n|n n|a+ a |n = n, pois assumimos n|n = 1. |Cn |2 = n Cn = nei , tome = 0. a |n = Da mesma forma n|a a+ |n = n|a+ a + 1|n = n|N |n + 1
Cn+1 Cn+1 n + 1|n + 1 = n + 1
Cn Cn n 1|n 1 = n
Logo
n |n 1 .
|Cn+1 |2 = n + 1
Cn+1 =
n + 1.
Logo a+ |n = Ou seja,
n + 1 |n + 1 . 1 a+ |n . n+1
|n + 1 = Assim temos
|1 = a+ |0 a+ 2 1 |2 = a+ |1 = |0 2 2 1 1 |3 = a+ |2 = (a+ )3 |0 3 32 . . . 1 |n = (a+ )n |0 n! Alm disso: e a |0 = 0 Vimos tambm que e H |n = n+ 1 2 |n e H |n = n + 1 2 |n . (lembre-se que |0 = 0).
Na base B = {|n }n=0,1,2,... os operadores a+ e a so representados por matrizes innitas, a as quais podem ser facilmente obtidas. Por exemplo, os elementos de matriz de a+ nessa base so a (a+ )n n = n |a+ |n = n + 1 n |n + 1 = n + 1n ,n+1 = n n ,n+1 , donde concluimos que a+ = 0 0 0 1 0 0 0 2 0 . . . . . . . . . .. .
n 1 n |n 1 = n n ,n1 , 1 0 0 0 2 0 3 0 0 . . . .. . . . . . . . .
E como H = (a+ a + 1/2), podemos facilmente mostrar que 1/2 0 0 0 0 3/2 0 0 0 0 5/2 0 , H = 0 0 0 7/2 . . . . .. . . . . . . . . . conrmando o resultado de que na base dos seus autovetores o operador H representado e por uma matriz diagonal, com os respectivos autovalores En = (n + 1/2) na diagonal. Os operadores X e P por sua vez so dados em termos de a e a+ por a X= P =i logo X= 2m P =i m 2 (a + a+ ),
2m
m (a+ a ), 2 0 1 0 0 1 0 2 0 0 2 0 3 0 0 3 0 . . . . . . . . . . . . ... .
0 1 0 0 1 0 2 0 0 2 0 3 0 0 3 0 . . . . . . . . . . . .
.. .
Pode-se vericar ainda que as matrizes acima satisfazem a relao de comutaao [X, P ] = i , ca c como deveria ser. Considere agora o espao de Hilbert H gerado pelos vetores |n , ou seja | H se c
| =
n=0
n |n ,
n=0
|n |2 < .
91
Um vetor | assim arbitrrio pode no representar um estado f a a sico, pois a ao de um ca operador da algebra do oscilador harmnico {a , a+ , N } pode produzir um vetor fora de H. o Por exemplo a+ | = n n + 1 |n + 1 .
n=0
Contudo, se |n |2 (n + 1) no convergir o estado acima no ter mdulo nito, logo no a a a o a ser elemento de H. Concluimos ento que o espao dos estados sicamente aceitveis a a c a e aquele formado por vetores | da forma acima, onde as constantes n satisfazem a condio ca
n=0
|n |2 (n + 1)p < , p = 0, 1, 2, 3, . . .
n=0
6.1.2
Nosso objetivo agora obter as autofunes n (x) correspondendo ` projeo dos autoe co a ca estados |n na base de coordenadas |x : n (x) x|n . Nossa estratgia ser obter inicialmente o estado fundamental 0 (x) e em seguida usar o e a operador de levantamento a+ para gerar as demais funes de onda. Vimos acima que o co estado fundamental |0 denido pela equao e ca a |0 = 0, que projetada na base |x resukta x|a|0 = 0 m 1 x|X|0 + i x|P |0 = 0 2 2m m 1 d x x|0 + i x|0 = 0 2 2m i dx d m x0 (x) + i 0 (x) = 0 2 2m dx ou d0 m = x(x), dx d0 m = xdx 0
92 d0 m = 0 xdx
||0 ||2 =
|0 (x)|2 dx = 1 emx
2/
A2
dx = 1 m
2 /2
A2
=1 m 0 (x) =
1/4
A= m
1/4
emx
Para o clculo das autofunes dos estados excitados n = 1, 2, . . . , usamos a relao a co ca 1 |n = a+ |n 1 n que na base |x l-se e 1 = x|a+ |n 1 n 1 m 1 n (x) = x|P |n 1 x|X|n 1 i n 2 2m x|n 1 = n m xn1 (x) 2 d n1 (x) . 2m dx
Temos ento a seguinte relao de recorrncia: a ca e m nn = xn1 2 Em particular, para n = 1 temos 1 (x) = m x0 2 2m 0 m m = x0 x 0 2 2m 2m = x0 . n1 .
2m
Ou seja 1 (x) = 2m x0 = 2 m
3/4
x exp
m 2 x 2
93
Continuando esse processo, podemos determinar 2 (x), 3 (x), etc. Entretanto, h uma a frmula mais direta para o clculo recursivo dessas funes de onda. Para isso, lembre que o a co X= (a + a+ ) ,
2m
e fazendo o sanduiche com |n e |x , temos x|X|n = x x|n = logo 2m Fazendo agora n + 1 = m e depois m n, obtemos nn (x) = 2m xn1 (x) xn (x) = nn1 (x) + n + 1n+1 (x) . ( x|a |n + x|a+ |n ) n + 1 x|n + 1 ,
2m
2m
n x|n 1 +
n 1n2 (x),
n = 2, 3, 4, . . .
Assim, com 0 (x) e 1 (x) conhecidos, podemos determinar os demais n (x). Por exemplo, para n = 2: donde 22 (x) = 2m x1 (x) 0 (x) = 2m 2m x2 0 0 ,
temos que 1 (y) e 2 (y) podem ser escritos como 1 (y) = 2y0 (y) 2 (y) = 2(2y 2 1)0 (y). Alm disso a relao de recorrncia acima torna-se e ca e nn (y) = 2yn1 (y) n 1n2 (y). Em face do resultado acima, podemos prever que a soluao para n (y) ser da forma c a n (y) = un (y)0 (y), onde un (y) ser um polinmio de ordem n. Torna-se conveniente, portanto, denirmos a a o funao c n (y) fn (y) = 2n n! . 0 (y)
94
(A escolha do pr-fator acima uma questo de convenincia.) A relao de recorrncia para e e a e ca e n (y) resulta na seguinte relaao para fn (y): c n 2 n1 fn (y) = yfn1 (y) fn2 (y) n n! n1 (n 1)! n2 (n 2)! 2 2 2 fn (y) = 2yfn1 (y) 2(n 1)fn2 (y). Pela deniao de fn (y) acima, temos que c f0 (y) = 1 f1 (y) = 1 (x) 2 = 2 2y 0 (x) f1 (y) = 2y.
A partir de f0 (y) e f1 (y) podemos determinar todas as demais funoes fn (y). A soluao da c c recorrncia acima dada pelos polinmios de Hermite e e o fn (y) = Hn (y) = (1)n ey cujos primeiros termos so a H0 (y) = 1 H1 (y) = 2y H2 (y) = 2(1 2y 2 ) H3 (y) = 12(y 2y 3 /3) Substituindo fn (y) de volta, obtemos as funes de onda n (y) co 0 (y) n (y) = Hn (y), 2n n! e retornando para a varivel x temos nalmente a n (x) = m 22n (n!)2
1/4
2
dn y2 e , dy n
emx
2 /2
Hn
6.2
6.2. SOLUCAO DA EQUACAO DE SCHRODINGER Projetando na base |x obtemos x| P 2 /2m + m 2 X 2 /2 |E = E x|E . P2 1 + m 2 x2 E (x) = EE (x). 2m 2 onde
95
d , i dx Logo a equao de autovalor acima resulta na equaao de Schrdinger para o oscilador ca c o harmnico: o 2 2 d 1 + m 2 x2 = E 2 2m dx 2 que pode ser rearranjada da forma E (x) x|E e P = d2 2m + 2 dx2 1 E m 2 x2 = 0. 2
Temos, portanto, uma equao diferencial ordinria (EDO) de segunda ordem com coecica a entes no constantes. a Para simplicar a EDO acima conveniente introduzir variveis adimensionais. Primeie a ramente introduzimos uma varivel adimensional y associada ` posio x: a a ca y= x , b
onde b um parmetro com dimenso de comprimento, a ser determinado de forma a sime a a plicar a EDO o mximo poss a vel. Em funo de y temos: ca x = by Assim d2 2m + 2 dx2 1 1 d2 2m E m 2 x2 = 2 2 + 2 2 b dy d2 m2 2 4 + b 2 dy 2 1 E m 2 b2 y 2 = 0. 2 e dx = bdy.
2E y2 = 0 m 2 b2
Como e y so adimensionais, ento naturalmente o pr-fator antes do segundo termo acima a a e deve ser adimensional. Por convenincia vamos faz-lo igual a 1 : e e m2 2
2
b4 = 1
b=
d2 + (2 y 2 ) = 0. 2 dy
(6.1)
Podemos simplicar essa EDO ainda mais introduzindo um espcie de fator integrante e 2 para eliminar o termo y . Para tanto, fazemos a seguinte mudana de varivel c a (y) = ey Agora = y + ey = y 2 yey ou seja u u = 1 y 2 2y + u u que substituida em (6.1) nos d a u u = 1 y 2 2 1 y 2 2y + = y 2 2, u u e aps simplicaoes o c u 2yu + (2 1)u = 0. A EDO acima possui coecientes anal ticos (em todo plano exceto o innito) logo admite uma soluao em srie de potncia: c e e
2 /2 2 /2
u(y). u
2 /2
2 /2
u + ey
u ,
u(y) =
n=0
Cn y n .
Ento a u =
nCn y
n=0
n1
=
n=1
u =
n=0
n(n 1)Cn y
n2
n(n 1)Cn y
n=2
n2
2
n=0
nCn y +
n=0
(2 1)Cn y n = 0.
6.2. SOLUCAO DA EQUACAO DE SCHRODINGER que resulta na seguinte relaao de recorrncia para os coecientes Cn : c e Cn+2 = 2n + 1 2 Cn . (n + 1)(n + 2)
97
(6.2)
Note que se C0 = 0 e C1 = 0 ento todos os coecientes a mpares se anulam, restando apenas coecientes pares. De modo anlogo, se C0 = 0 e C1 = 0 ento todos os coecientes a a pares se anulam e a recorrncia comea em n = 1, gerando apenas coecientes e c mpares. Ou seja, para um dado , ter amos em princ pio duas poss veis soluoes independentes: i) c uma soluao par correspondendo a C0 = 0 e C1 = 0, e ii) uma soluao c c mpar com C0 = 0 e C1 = 0. Veremos, contudo, que a grandeza no pode assumir valores arbitrrios, caso a a queiramos que a funao de onda (x) seja normalizvel. Como consequncia, veremos que c a e para um dado existir apenas uma soluo possivel, ou par ou a ca mpar. Para ver isso observe inicialmente que no limite n temos 2 2n Cn+2 2 = , Cn n n comportamento esse que semelhante ao da srie de Taylor da funao ex : e e c e
x2
2
x4 x6 + + = =1+x + 2! 3!
2
an x n ,
n=0
com an =
1 , (n/2)!
n par,
1 2 , n +1
para n .
2
Logo, se a srie de u(y) no terminasse, ela divergeria da forma ey . Isso, por sua vez, faria e a 2 2 com que (y) divergisse no innito, pois ter amos (y) = ey /2 u(y) ey /2 . Para evitar o crescimento exponencial no innito e garantir que (x) seja de quadrado integrvel, devemos a fazer com que a srie para u(y) termine. Ou seja, deve existir um m tal que e Cm+2 = 2m + 1 2 Cm = 0, Cm = 0. (m + 1)(m + 2)
Isso impe que a energia deve ser da forma o = ou seja, 1 = m + , m = 0, 1, 2, . 2 Passando de m n temos 1 = n + , n = 0, 1, 2, , 2 e em forma dimensional E= = n+ 1 2 , n = 0, 1, 2, . (6.3) 2m + 1 , 2
98
Inserindo a forma de dada em (6.3) na relaao de recorrncia (6.2), obtemos c e Cj+2 = 2(j n) Cj , (j + 1)(j + 2) (6.4)
onde usamos j como ndice mudo para evitar confuso com o valor de n que xo. Note a e que o valor de n determinado pela energia , vide (6.3), sendo que n corresponde tambm e e a ordem do polinmio resultante para un (y). A partir de (6.4) podemos facilmente gerar os ` o polinmios un (y), como indicado abaixo. o n = 0 : u0 (y) = C0 . n = 1 : u1 (y) = C1 y. n = 2 : u2 (y) = C0 (1 2y 2 ).
2 n = 3 : u3 (y) = C1 (y 3 y 3 ). 4 n = 4 : u4 (y) = C0 (1 4y 2 3 y 4 ).
Os polinmios un (y) acima so conhecidos como os polinmios de Hermite, denotados o a o por Hn (y). A padronizaao feita escolhendo-se o coeciente Cn = 2n (para o coeciente do c e maior termo). Com essa escolha obtemos os primeiros polinmios de Hermite: o H0 (y) = 1 H1 (y) = 2y H2 (y) = (2 4y 2 ) H3 (y) = (12 8y 3 ) H4 (y) = (12 48y 2 + 16y 4 ) A soluo para (y) ser agora ca a n (y) = An ey e retornando a varivel x : ` a n (x) = An exp{mx2 /2 }Hn onde a constante An deve ser escolhida de modo que
2 /2
Hn (y)
x ,
|n |2 dx = 1
99
O clculo de An a partir da expresso acima seria bastante complicado. Entretanto, vimos a a na seao anterior como encontrar An a partir da constante de normalizao A0 (para n = 0) c ca que bastante simples de obter. Vimos ento que e a An = m 22n (n!)2
1/4
A partir da EDO que dene os polinmios de Hermite poss mostrar as seguintes o e vel relaoes de recorrncia: c e Hn = 2nHn1 Hn = 2yHn1 2(n 1)Hn2 Podemos vericar tambm a seguinte relaao de ortogonalidade: e c
Hn |Hn
6.3
Exerc cios
1. a) Suponha que dois operadores e satisfaam a seguinte relaao de comutao c c ca [, ] = c. Denote por | os autovetores de , ou seja, | = | . Mostre ento que a atuando em um autovetor | de gera um novo autovetor com autovalor + c, ou seja, | | + c . b) Use o resultado acima para vericar, sem ter de repetir os clculos, que os operadores a a so operadores de levantamento e abaixamento do nmero quntico n, ou seja, a u a a |n |n 1 . 2. a) Mostre que os operadores X e P em termos dos operadores a so da forma a X= (a+ + a ), P =i m (a+ a ) 2
2m
b) Mostre que na base de energia {|n }, os operadores X e P so representados pelas a matrizes innitas abaixo 0 1 0 0 ... 0 1 0 0 1 0 1 2 ... 0 0 2 0 m 0 2 0 0 3 ... , P = i 2 0 3 X= 2m 0 2 0 0 3 0 ... 0 3 0 . . . . .. . . . . . . . . . . . . . . . . . . . . .
100
CAP ITULO 6. OSCILADOR HARMONICO c) Verique que matrizes acima satisfazem a relao de comutaao [X, P ] = i . ca c 1 1 2 2 d) Calcule X e P , e mostre que o operador hamiltoniano H = 2m P 2 + 2 m 2 X 2 corresponde a uma matriz diagonal, cujos elementos da diagonal so exatamente as a autoenergias En do sistema.
3. Exerc 7.3.5 (Shankar). cio 4. Exerc 7.3.6 (Shankar). cio 5. a) Escreva a equao de Schrdinger na base {|p } para o oscilador harmnico. Compareca o o a com a equaao equivalente na base {|x } e mostre que a primeira pode ser obtida da c segunda atravs das substituies: x p e m 1/m. Em particular, obtenha por e co essa via o estado fundamental 0 (p) na base dos momentos. Determine ainda por esse mtodo a incerteza P no estado fundamental a partir de X. e b) Calcule a transformada de Fourier do estado fundamental 0 (x) e determine assim, por via direta, a funo de onda 0 (p) correspondente na base dos momentos. Compare ca com a soluo obtida no item anterior. ca 6. Distribuio normal ou gaussiana. Considere uma varivel aleatria X com districa a o buiao normal (ou gaussiana) com mdia e desvio padro , denotada por N (, ), c e a e cuja densidade de probabilidade e p(x) = 1 2 2 e
(x)2 2 2
a) Mostre que a varincia dessa distribuiao dada por a c e var[X] = (X)2 = (X X )2 = 2 . Obs.: Sem perda de generalidade pode-se fazer = 0. b) Generalize o resultado acima e mostre que os momentos de ordem mpar da distribuiao so nulos ao passo que os momentos de ordem par so dados por c a a X 2n = 1 3 5 ... (2n 1) 2n . 7. a) Exerc 7.4.2 (Shankar). cio b) Calcule os valores mdios T e V no estado |n do oscilador harmnico e verique e o diretamente o teorema do virial. 8. Considere os autovetores do operador de abaixamento a : a | = | , onde C e | = 1. a) Partindo da expanso de | na base dos autoestados |n , | = a os coecientes Cn e mostre que | da forma e
n=0
Cn |n , calcule
| = e
||2 /2 n=0
n |n . n!
b) Por completeza, aplique operador a no estado | acima e mostre que o mesmo , e de fato, um autovetor do operador de abaixamento a com autovalor .
101
9. Alternativamente, o estado | denido na questo anterior pode ser obtido pela ao a ca do operador de deslocamento D() sobre o estado fundamental |0 : | = D() |0 , onde D() = e(a
a)
Para mostrar isso considere os passos abaixo. 1 a) Mostre que D() unitrio, logo | = 0|0 = 1. Dado: eA+B = eA eB e 2 [A,B] . e a b) Verique que e a |0 = |0 e use esse resultado para mostrar que
2 /2
n=0
n |n , n!
10. Considere os estados | discutidos nas duas questes anteriores. Suponha que em o t = 0 o sistema foi preparado no estado |(0) = | , para um dado . a) Determine o estado |(t) , para t > 0, e mostre que ele permanece um autovetor do operador a com autovalor (t) = eit , ou seja, podemos escrever |(t) = |(t) = |eit . b) Calcule o valor mdio do operador X no estado |(t) e mostre que e X = 2 || cos(t ), m
onde = ||ei . Note que o centro do pacote de onda nesse caso move-se como se fosse uma part cula clssica. Por essa e outras razes o estado |z chamado de um estado a o e coerente. 11. Considere um oscilador harmnico em que a part o cula de massa m possui carga eltrica e q e move-se na presena de um campo eltrico E(t) espacialmente uniforme na direao c e c x (mas que pode variar no tempo), o qual prov um potencial adicional e VE = qE(t)X. a) Calcule o comutador dos operadores a e a+ com o hamiltoniano H(t) do sistema. b) Considere o valor mdio de a e (t) a = (t)|a|(t) , onde |(t) um estado normalizado do sistema acima. Mostre que e d (t) = i(t) + i(t), dt
102
CAP ITULO 6. OSCILADOR HARMONICO e onde (t) = qE(t)/ 2m . Resolva essa EDO e determine os valores mdios de X e P em funao do tempo t. c c) Considere o ket |(t) denido por |(t) = [a a ] |(t) . Obtenha a equao para a evoluao temporal de |(t) e discuta como a norma de ca c |(t) varia com o tempo. d) Assuma que para t < 0 o oscilador hamnico estava no estado fundamental, sendo o o campo eltrico ligado em t = 0 e desligado em t = T . Para t > T qual a evoluo e e ca do valores mdios X (t) e P (t)? e e) Considere que no item anterior o campo eltrico da forma E(t) = Eo cos( t). e e Discuta o fenmeno de ressonncia que observado em funao do parmetro = o a e c a . Se para t > T a energia for medida, que resultados podem ser obtidos e com que probabilidades?
12. Vimos na nossa discusso do postulado da medida que a probabilidade de encontrarmos a um oscilador entre x e x + dx dada por e pclass (x) = 1 2 1 x2 x2 0 ,
onde x0 a amplitude mxima do oscilador que possui um m e a nimo na origem e mximo a nas extremidades x = x0 . Vimos que para os primeiros modos do oscilador quntico, a a densidade de probabilidade tem picos prximo da origem e decai a zero rapidamente. o Mostre entretanto que para n grande a densidade de probabilidade tende a se assemelhar com o resultado clssico, com os mximos globais nas extremidades; vide a a livro-texto p. 202. 13. (Opcional) Em conexo com o exerc anterior tente provar que a densidade de proa cio babilidade do oscilador qntico converge para o resultado clssico no limite n . a a Para isso reescale o eixo horizontal fazendo: y= x , x0n
onde x0n o maior mximo de n (x). Faa um grco de Pn (x) = |n (x)|2 em termo e a c a dessas variveis reescaladas e analise o comportamento para n grande. a
7.1
Seja (t) um observvel que pode eventualmente depender explicitamente do tempo. Se a o estado |(t) normalizado, ento o valor mdio de no estado |(t) : e a e e
(t)||(t) .
104 Ou seja
i d = [, H] + dt
(7.1)
E interessante comparar a equaao acima com a correspondente equaao de evoluo clssica. c c ca a Seja (x, p, t) uma grandeza de um sistema descrito pela funo hamiltoniana H(p, x), ento ca a d d = + {, H}, dt dt onde { , } o colchete de Poisson e {, H} = H H , xi pi pi xi
7.2
Teorema de Ehrenfest
d i P = [P, H] . (7.4) dt Consideremos agora o caso de uma part cula sem spin e cujo hamiltoniano da forma e H= Temos ento a [X, H] = [X, P 2 /2m] + [X, V (X)] 1 = {P [X, P ] + [X, P ]P } + 0 2m i = P. m P2 + V (X). 2m
7.2. TEOREMA DE EHRENFEST E de modo anlogo, a [P, H] = [P, P 2 /2m] + [P, V (X)] = [P, V (X)], mas
105
an X n ] an [P, X n ]
=
n=0
= i
n
an nX n1 d dx an nX n
n
d V (X), dx dV dx P . m
i i d X = [X, H] = i dt m e
P =
i i dV d dV P = [P, H] = (i ) = . dt dX dX As equaoes acima correspondem ao teorema de Ehrenfest para o caso unidimensional. No c caso tridimensional, o teorema de Ehrenfest torna-se P d X = dt m d P = V dt Podemos ainda reescrever as equaoes acima como c d Xi = dt H Pi
d H Pi = dt Xi Compare com as equaoes de Hamilton mencionadas acima. c Podemos ento enunciar o teorema de Ehrenfest do seguinte modo. a Teorema 7.1 (Teorema de Ehrenfest). Para um sistema quntico com hamiltoniano H = a 2 P /2m + V (X), as equaes da mecnica clssica valem no sentido de mdia (em um dado co a a e estado normalizado).
106
7.3
Limite Clssico a
Considere um estado |(t) que se parece com um estado clssico: ou seja, as incertezas a na posio x e no momento p so relativamente pequenas, de modo que podemos pensar ca a em uma part cula localizada no espao e com um momento relativamente bem denido. Esse c seria o caso de, por exemplo, um pacote gaussiano da forma (x, 0) = 1 2
1/4
Vamos chamar de xcm a posiao mdia do pacote de onda, ou seja, a posiao do seu centro c e c de massa: xcm X . Logo em t = 0 temos xcm (0) = x0 . Da mesma forma, denimos o momento do centro de massa atravs da relaao e c pcm P com pcm (0) = p0 . A pergunta ento que se coloca a seguinte: o centro de massa xcm obedece `s equaes a e a co de Hamilton da mecnica clssica? Da primeira equaao do teorema de Ehrenfest obviamente a a c temos pcm = dxcm /dt. Entretanto, em que condies podemos ter tambm co e pcm dV dx ?
x=xcm
Para responder, note que expandindo o lado esquerdo da equaao acima em uma srie de c e Taylor em torno de xcm resulta V x V 2V 1 3V = (xcm ) + (xcm )(x xcm ) + (xcm )(x xcm )2 + 2 3 x x 2 x 2 V V 1 3V = (xcm ) + (xcm ) x xcm + (xcm ) (x xcm )2 + x x2 2 x3 V 1 3V = (xcm ) + (xcm )X 2 + x 2 x3 1, ento a V x V V (xcm ) = ( x ). x x
107
Ento nessas condies (suciente localizaao no espao e no momento), recuperamos no a co c c chamado limite clssico as equaoes da mecnica hamiltoniana a c a d x dt d p dt H (x , p) p H (x , p) x
Se, por convenincia de notaao, denotarmos por x0 e p0 o centro do pacote e seu respece c tivo momento (evitando assim a terminologia centro de massa), ento as equaoes acima a c leem-se H H x0 (x0 , p0 ) = (x0 , p0 ) p p H H (x0 , p0 ) = (x0 , p0 ) p0 x x que outra verso do limite clssico. e a a
7.4
Exerc cios
1. Mostre que, para hamiltonianos que so no mximo quadrtico em X e P , o teorema de a a a Ehrenfest implica que os valores mdios X e P evoluem como se fossem grandezas e clssicas, ou seja, satisfazem as equaoes de Hamilton para as variveis clssicas x e p. a c a a 2. Como um exemplo do fato acima, considere uma part cula livre. a) Mostre pela aplicaao do teorema de Ehrenfest que X uma funao linear do c e c tempo, ao passo que P permanece constante, como acontece no caso clssico. a 2 b) Obtenha as equaes de movimento para X e XP + P X . Resolva essas equaes. co co c) Mostre que, com uma escolha apropriada da origem do tempo, a incerteza X pode ser escrita como 1 (X)2 = 2 (P )2 t2 + (X)2 , 0 0 m onde (X)0 e (P )0 so as respectivas incertezas iniciais. Compare esse resultado a com a anlise feita para evoluo da largura de um pacote de onda gaussiano. a ca 3. Considere em seguida o caso de uma part cula movendo-se em um potencial V (X) = aX, onde a uma constante positiva. e a) Integre as equaoes do teorema de Ehrenfest e compare a soluo obtida para X (t) c ca e P (t) com o movimento clssico. a b) Mostre que P no varia no tempo. a c) Escreva a equaao de Schrdinger na base {|p } dos momentos e deduza a partir c o dela uma relaao entre c | p|(t) |2 e | p|(t) |2 . Integre essa equaao e d uma c e t p interpretao f ca sica para o resultado.
108
4. Repita a anlise feita no problema anterior para o caso do oscilador harmnico. a o 5. Considere o oscilador harmnico unidimensional. o a) Calcule X e P em um estado estacionrio arbitrrio |n . a a b) Suponha que a part cula possui carga eltrica q e que em t = 0 liga-se um campo e eltrico E constante (no tempo e no espao) que prov um potencial adicional e c e VE (X) = qEX, t>0
Considere que para t < 0 o oscilador hamnico estava em um estado estacionrio |n . o a Usando o teorema de Ehrenfest, determine e resolva a equao que governa evoluao ca c temporal do valores mdios X (t) e P (t) para t > 0. e c) Compare a soluao obtida no item anterior com o movimento que se teria no caso c de uma part cula clssica em condioes anlogas. a c a 6. Teorema do Virial. Considere uma part cula movendo-se em um potencial da forma V (X) = aX n , onde a uma constante. e a) Calcule o comutador [H, XP ]. b) Suponha que exista um (ou mais) estado(s) | estacionrio(s) para esse potencial. a Mostre que os valores mdios T e V das energias cintica e potencial, respectivae e mente, nesse estado satisfazem o teorema do virial: 2 T =n V . Em particular analise os casos n = 2 e n = 1, e expresse a energia mdia E = e T + V em termos da energia potencial mdia. e
8.1
8.1.1
Na formulao hamiltoniana da mecnica clssica a descrio da dinmica feita a partir da ca a a ca a e funao hamiltoniana H = H(pi , qi ), onde qi , i = 1, 2, ..., N, so as coordenadas generalizadas c a e pi , os respectivos momentos conjugados a qi . A evoluo temporal das grandezas qi e pi ca e governada pelas equaoes de Hamilton: c H , pi H pi = ,. qi qi = (8.1) (8.2)
Seja agora = (qi , pi , t) uma grandeza dinmica qualquer. Ento a partir das Eqs. (8.1) a a e (8.2) podemos facilmente obter a evoluao temporal de . De fato se denotarmos (t) = c (qi (t), pi (t), t), ento a d = qi + pi + dt qi pi t H H = + , qi pi pi qi t ou seja = {, H} + 109 , t (8.3)
110
onde {, H} denota o colchete de Poisson entre e H. Lembremos que o colchete de Poisson entre duas grandezas f e g quaisquer denido pela relao e ca {f, g} = f g f g , qi pi pi qi (8.4)
onde se subtende a soma sobre ndices repetidos. De particular interesse o caso em que a e grandeza no depende explicitamente do tempo, ou seja, = (qi , pi ). Nesse caso a taxa a de variaao temporal de reduz-se simplesmente a c = {, H}. (8.5)
Podemos considerar a Eq. (8.5) como uma espcie de equaao generalizada de Hamilton, da e c qual (8.1) e (8.2) so casos especiais. a Suponha que uma dada coordenada generalizada qj no esteja presente na hamiltoniana a H, ento tal coordenada dita cclica. Nesse caso, obviamente temos que o momento pj a e canonicamente conjugado a qj uma constante de movimento: e pj = H = 0, qj
visto que, por hiptese, H no depende de qj . o a O fato de qj ser uma coordenada c clica nos diz ainda que a hamiltoniana invariante e por translaes ao longo da direao qj : co c H(pi , q1 , . . . , qj + , . . . , qN ) = H(pi , q1 , . . . , qj , . . . , qN ). A igualdade acima trivialmente satisfeita uma vez que H no depende de qj . A invarincia e a a de H por uma translaao da coordenada c c clica qj representa, portanto, uma simetria do sistema. Por outro lado, vimos que essa simetria implica uma lei de conservao, a saber: ca pj = 0. A generalizao desse resultado, simetria conservao, dada pelo teorema de ca ca e Noether que veremos adiante. Exemplo 8.1 (Potencial Central). Considere uma part cula de massa m movendo sob ao ca de um potencial central V (r). A lagrangeana em coordenadas cartesianas e L=T V 1 = mv 2 V (r) 2 3 1 = m x2 V (r), 2 i=1 i
r=
x1 2 + x2 2 + x3 2 .
Nesse caso no h variveis c a a a clicas, uma vez que todas as coordenadas xi aparecem na deniao de r. Entretanto, existiro variveis c c a a clicas se escolhermos um sistema de coordenadas mais apropriado. De fato, como V (r) s depende de r conveniente trabalharmos em o e coordenadas esfricas (r, , ). Nesse caso a langangeana torna-se e 1 L = (r2 + r2 2 + r2 sin22 ) V (r). 2
8.1. SIMETRIA EM MECANICA CLASSICA Os momentos canonicamente conjugados a (r, , ) so respectivamente a L = mr, r L p = = mr2 , L p = = mr2 sin2 . pr = Da relaao H = pi qi L, obtemos a hamiltoniana em coordenadas esfricas: c e H= 1 2m p2 + r p2 p2 + 2 2 r2 r sin + V (r).
111
Vemos ento que varivel c a e a clica, logo p = 0, ou seja, p conservado. e Na verdade, sabemos que no movimento sob aao de um potencial central no apenas p c a mas o prprio vetor momento angular L = x p conservado. Entretanto, a conservao de o e ca L no pode ser vista to simplesmente como consequncia da existncia de variveis c a a e e a clicas, sendo necessrio considerar simetrias mais gerais. a
8.1.2
Considere transformaoes cannicas innitesimais da forma c o g , pi g , pi pi = p i qi qi qi = q i + onde um parmetro cont e a nuo innitesimal: cannica, pois o {qi , pi } = {qi , pi } + g , pi pi = {qi , pi } + O( 2 ), (8.6) (8.7)
gi ,
visto que os termos entre colchetes se cancelam. Dizemos ento que a grandeza g(qi , pi ) a a e geradora da transformao. A razo dessa terminologia car clara adiante. ca a a Isso signica que uma transformaao por uma variaao nita do parmetro c c a conseguida por sucessivas (innitas) aplicaoes da transformao innitesimal. c ca pode ser
Seja (qi , pi ) uma grandeza f sica arbitrria. Vamos denotar por a variaao de aps a c o a transformaao (8.6) e (8.7). Ou seja, formalmente temos c (qi (qi , pi ), pi (qi , pi )) (qi , pi ) = (qi + qi , pi + pi ) (qi , pi ),
112
onde temos qi = g/pi e pi = g/qi , de acordo com (8.6) e (8.7). Da deniao acima c para segue que = qi + pi qi pi g g = . qi pi pi qi
Por convenincia de notao vamos denotar por a nova forma da grandeza aps a e ca o transformaao innitesimal acima, ou seja, c = + = + {, g}. Isso pode ser escrito de forma mais compacta em notaao de operador c = [1 + {, g}], (8.9)
onde 1 denota o operador identidade e {, g} o operador colchete de Poisson denido por e {, g}f = {f, g}. Se aplicarmos n vezes a transformao (8.9) temos ca n = (1 + {, g})n . (8.10)
Vamos agora tomarmos o limite duplo n e 0, de tal forma que =n resulta nito. Nesse caso podemos reescrever (8.10) como = 1 + Usando a identidade
n
{, g} n a b n
n
lim
1+
= eab
Vemos assim que uma transformao nita pode ser gerada pela funao g usada para denir ca c a transformaao innitesimal (8.6) e (8.7). Por essa razo, como antecipado, a funao g c a c e dita a geradora da respectiva transformaao. c
113
g c Mais formalmente, vamos representar pelo operador T a transformaao gerada por g em que o parmetro da transformao varia de um valor nito , isto , a ca e g g T [] (qi , pi ) = (T (qi , pi )). g e Como mostramos acima o operador T dado por g T [] = e{,g} .
(8.12)
(8.13)
A identidade acima nos mostra como obter formalmente a nova forma da grandeza atravs e da atuaao de um operador na funao original, isto , sem necessariamente implementar c c e diretamente a mudana de coordenada indicada em (8.12). Alguns exemplo ilustram melhor c esse ponto. Exemplo 8.2 (Translao Espacial). Considere uma translao innitesimal descrita pela ca ca transformaao c xx =x+ pp =p Da comparaao com (8.6) e (8.7) temos c g/p = 1 g/x = 0 g(x, p) = p.
Donde conclu mos que o gerador da translaoes espaciais o momento linear p. Vamos agora c e denotar por TR uma translaao nita de R. De acordo com (8.12) e (8.13) temos c TR [(x, p)] = eR{,p} (x, p) Mas {, p} = () p () p x p p x = , x x
logo TR [(x, p)] = exp R ou seja, eR x (x, p) = (x + R, p). No Cap. 2 essa identidade havia sido demonstrada pelo mtodo direto, qual seja, expandindo e ambos os lados em srie de Taylor e vericando a igualdade termo a termo. O mtodo e e descrito acima, alm de ser mais simples, mostra-se bem mais geral pois aplica-se a qualquer e transformaao obtida a partir de uma dada funao geradora g. c c Exemplo 8.3 (Rotaoes). Considere uma rotao em torno do eixo z denida por c ca x x = R()x, z
(x, p),
114
onde R() a matriz de rotaao em torno do eixo z z e c R() = z cos sin sin cos . (8.14)
Se zermos uma rotaao de um angulo innitesimal , teremos c x = R( z )x = ou seja, x =x y y = y + x. Da comparaao com a TCI denida em (8.6), concluimos que c g = y, px que aps integrao nos d o ca a g = xpy ypx = Lz . onde Lz denota a componente z do momento angular L. Vemos portanto que o momento angular o gerador das rotaes. Note ainda que os momentos px e py devem mudar de e co acordo com (8.7), logo p x = p x py p y = p y + px . Em outras palavras, ao aplicarmos uma rotao nas coordenadas x, o momento deve variar ca da mesma forma que o vetor x. Esse resultado era esperado, j que p uma grandeza vetorial. a e Vamos agora denotar por T a operao de rotaao em torno do eixo z de um angulo : ca c T [(x)] = (R()x). z Como o gerador das rotaoes (em torno do eixo z) o momento angular Lz , segue ento que c e a T [(x)] = e{ ,Lz } (x). Mas { , Lz } = () Lz () Lz () Lz () Lz + x px y py px x py y = y +x py + px . x y px py g = x, py (8.15) (8.16) 1 1 x y
Como a funao (x) de interesse no depende de p, basta considerar as derivadas em x e y, c a donde conclu mos que { , Lz } = x y = (x )z , y x
115
(8.17)
Como a escolha do eixo z acima foi completamente arbitrria, segue que o resultado a acima vale para qualquer direao. Assim, conclu c mos que as rotaes em torno de uma co direao denida pelo versor n tem como funao geradora a componente de momento angular c c L na direao de n, isto , c e g = Ln n L. E por analogia com o caso anterior temos { , Ln } = (x )n = n (x ),
donde segue que as rotaoes nitas em torno do eixo n so dadas por c a T [(x)] = exp{ (x ou seja, e(x ) (x) = (R()x), onde introduzimos a notaao = n. c Exemplo 8.4 (Translao Temporal). Consideremos agora uma translao temporal, ca ca onde temos a seguinte transformaao: qi (0) qi (t) e pi (0) pi (t). Para obter a funo c ca geradora dessa transformao analisemos sua verso innitesimal: ca a qi (0) qi = qi (0) + dq, pi (0) pi = qi (0) + dq, H p H dp = pdt = dt q dq = qdt = dt (8.19) )}(x), (8.18)
Comparando com (8.6) e (8.7) vemos ento que a hamiltoniana H a geradora das translaoes a e c temporais. De acordo com (8.8), a variaao d de uma grandeza (qi , pi ) sob essa transc formaao innitesimal dt ser c a d = dt{, H}, recuperando assim a equao de Hamilton generalizada (8.5). Denotando (t) = (qi (t), pi (t)), ca segue de (8.13) que uma translao nita de um tempo t ser dada por ca a Tt [(0)] = et{ ,H} ((qi , pi )) = (t).
8.1.3
Teorema de Noether
Teorema 8.1 (Teorema de Noether). Suponha que a hamiltoniana H seja invariante pela transformao gerada por g, ou seja, ca H = {H, g} = 0. (8.20)
116
Ento segue que g uma grandeza conservada: a e dg = 0. dt O inverso tambm verdade: se g uma grandeza conservada ento a hamiltoniana e e e a e invariante pelas transformaes geradas por g. co
Demonstrao. Basta fazer = g em (8.5) e usar (8.20) para vericar que g = 0. De modo ca anlogo, se g = 0 ento concluimos de (8.5) que {H, g} = 0, logo H = 0. a a
8.2
8.2.1
Considere uma transformaao ativa em que que os vetores |V so levados em novos vetores c a |V : |V = U |V , (8.21)
onde U um operador unitrio: U U = 1. Na transformaao acima, supomos que os os e a c vetores |ei da base no so alterados. Denotando por v a representao do vetor |V na base a a ca |ei , ou seja, vi = ei |V , temos que em termos das componentes do vetor a transformao ca (8.21) l-se e v = Uv, onde a matriz U a representaao do operador U na base |ei : e c Uij = ei |U |ej . (Por questo de clareza da notaao, conveniente aqui diferenciarmos vetores e operadores a c e da suas representaes na base dada.) co Como um exemplo, suponha que U corresponda a uma rotaao uma rotao ativa de um c ca angulo em torno do eixo z. Nesse caso, escrevemos U = R(), z (8.23) (8.22)
onde R() denota o operador de rotao ativa de um ngulo em torno do eixo z, cuja z ca a representao R() dada pela matriz de rotao (8.14). ca z e ca
117
Vamos agora analisar como mudam os operadores sob uma transformaao ativa. Seja c uma operador denido por: |W = |V . Ento sob a transformaao (8.21), temos a c |W ou seja, |W = U U |V . (8.26) = U |W = U |V = U U U |V , (8.25) (8.24)
Vamos considerar que U seja uma transformao de simetria, signicando que essa transca formaao atuando nos vetores deixa as relaes entre eles inalterada. Ento devemos ter c co a |W onde = U U . (8.28) = |V , (8.27)
A relao acima nos diz como o operador muda sob a transformaao U . Em particular, ca c os operadores e possuem, por construao o mesmo espectro de autovalores. De fato, c sejam |i os autovetores de com respectivos autovalores i : |i = i |i . Sob a transformao U os autovetores |i so levados em ca a |i = U |i . Ento a |i = U U |i = U U U |i = U |i = i U |i = i |i . (8.31) (8.32) (8.33) (8.34) (8.35) (8.30) (8.29)
Em mecnica quntica, uma observvel f a a a sica representada por um operador e os e poss veis valores obtidos em uma medida dessa observvel so os autovalores de . Nesse a a contexto, uma transformao ativa representaria uma mudana do sistema f ca c sico em questo. a Por exemplo se U representa uma rotao, ento a transformao ativa corresponderia a ca a ca rotacionar o sistema e os equipamentos usados para realizar a medida da observvel. O a operador corresponderia ` mesma observvel f a a sica aps a rotaao. Se antes da rotaao o c c for medido um valor i para a observvel, ento aps a rotao do sistema o mesmo deve a a o ca encontrar-se em um autoestado |i de com o mesmo autovalor i . (Aqui estamos supondo
118
que a transformao do sistema em nada interfere com seu estado, logo uma medida da ca observvel antes e depois da transformaao deve reproduzir o mesmo valor i .) a c Em resumo, uma transformaao ativa pode ser descrita pelas seguintes relaoes: c c |ei = |ei |V = U |V = U U , onde deixamos claro que os vetores da base no so afetados pela transformao. a a ca (8.36a) (8.36b) (8.36c)
8.2.2
Tranformaes Passivas co
Em uma transformao passiva os vetores e operadores permanecem inalterados, havendo ca apenas uma transformao dos vetores da base. Fisicamente, isso signica que o sistema ca f sico no sofre qualquer transformao de fato, mudando apenas o referencial usado para a ca descrev-lo. Mais especicamente, uma transformaao passiva descrita pelas equaoes e c e c |ei = U |ei |V = |V = . (8.37) (8.38) (8.39)
Embora os vetores e operadores no sejam afetados pela transformaao, obviamente mudam a c as suas representaes (pois mudou a base). Por exemplo, se denotarmos por v e v as co representaes do vetor |V nas bases antiga e nova, respectivamente, ento temos co a v = U v. (8.40)
Da mesma forma, se M for a representao matricial do operador na base |ei , isto , ca e Mij = ei ||ej , ento na nova base |ei o operador ser representado pela matriz M , onde a a M = U M U. (8.41)
Isso signica, em particular, que se w = M v, ento w = M v , mostrando que uma mudana a c de base uma transformao de simetria. e ca Os dois tipos de transformao, ativa e passiva, so completamente equivalentes, no ca a sentido de que uma o inverso da outra. Isso pode ser facilmente ilustrado no caso de e rotaoes: rotacionar os vetores de no sentido anti-horrio corresponde a rotacionar os c a eixos coordenados de no sentido horrio. Em outras palavras, uma transformaao ativa a c U equivalente a uma transforma passiva U . Fazendo U U em (8.40), vemos que as e componentes de |V na nova base so dadas por a v = Uv, (8.42)
119
que idntica a (8.22). Em outras palavras, as componentes do novo vetor |V na base e e original aps uma transformaao ativa so as mesmas componentes do vetor original |V o c a na nova base da transformao passiva equivalente. O mesmo valendo para operadores. ca Em mecnica quntica, um terceiro tipo de transformaao tambm desempenha um papel a a c e importante, so as chamadas transformaoes cannicas. a c o
8.2.3
Tranformaes Cannicas co o
Considere uma transformaao U que atua sobre todos os vetores do espao, incluindo os c c vetores da base: |Vn = U |Vo |ei = U |ei . (8.43) (8.44)
Por convenincia, usamos subscritos o e n para indicar os vetores originais e novos, respece tivamente, ao passo que os novos vetores da base so denotados por linha. Observe que a no contexto de rotaoes, a transformao acima corresponderia a rotacionar os vetores e os c ca eixos de coordenadas ambos no mesmo sentido. Temos agora a possibilidade de representar a aao da transformao U no apenas em termos da base original, como feito no caso de c ca a uma transformaao ativa pura, mas tambm em termos da base co-transformada, como se c e faz em uma transformao passiva. Especicamente, nosso interesse comparar a descrio ca e ca do vetor transformado na base original com a sua descrio na base co-transformada. Como ca a base transforma-se juntamente com os vetores, natural esperar que as coordenadas do e novo vetor na nova base sejam as mesmas do vetor original na base original. Para ver isso, denotemos por vn e vn as componentes do novo vetor |Vn nas bases original e nova, respectivamente. Da mesma forma, denotamos por vo a componentes do vetor original |Vo na base original. As novas coordenadas vn de |Vn relacionam-se com as suas coordenadas vn na base original de acordo com a relao (8.40) para uma transformaao ca c passiva, ou seja, vn = U vn . (8.45)
Por outro lado, as coordenadas vn do vetor transformado |Vn relacionam-se com as coordenadas vo do vetor original |Vo (ambas na base original) de acordo com a relaao (8.22) para c transformaoes ativas: c vn = Uvo . Combinado (8.45) e (8.46), obtemos vn = U Uvo = vo , (8.46)
(8.47)
conrmando o resultado antecipado acima: as coordenadas do vetor transformado na base co-transformada so as mesmas do vetor original na base original. a
120
Em resumo, ns temos duas representaes alternativas para a descrio da transformao o co ca ca U sobre vetores, uma na base original e a outra na base co-transformada, sendo a mudana c entre essas representaes obtida via (8.45). Podemos expressar as relaes acima em termos co co de vetores abstratos sem fazer referncia a uma base. Para tanto, vamos denotar por |Vn a e representao co-transformada do vetor |Vn . Assim podemos reescrever (8.45) e (8.47) na ca forma |Vn = U |Vn , |Vn = |Vo . (8.48) (8.49)
A notaao nesse caso torna-se um pouco confusa e merece explicaao: kets com mesmo subsc c crito representam o mesmo vetor, ao passo que kets com subscritos distintos correspondem a vetores distintos (sendo um o transformado do outro). Por exemplo, os kets |Vn e |Vn denotam o mesmo vetor em representaes (bases) diferentes. Sendo assim, a igualdade co (8.49), por envolver kets com subscritos distintos, deve ser entendida no contexto de coordenadas: os vetores |Vn e |Vo , quando expressos nas respectivas bases, possuem as mesmas coordenadas. Calculemos agora os elementos de matriz de um operador entre vetores transformados na representaao original c Wn ||Vn = Wo |U U |V0 = Wn |U U |Vn = Wn | |Vn , onde = U U. (8.51) (8.50)
A relaao (8.51) nos d a regra de transformaao entre operadores nas duas representaoes. c a c c Mais corretamente, essa relao deve ser entendida como uma equaao vetorial anloga a ca c a Eq. (8.41). Note ainda que a relao (8.51) implica que comutadores so preservados: ca a [ , ] = [, ] . (8.52)
Por isso, a transformao denida em (8.48), (8.49) e (8.51) dita ser uma transformaao ca e c cannica. o Vimos que os elementos de matriz na nova representaao podem ser calculados da mesma c forma que na representaao original, desde que usemos tanto os vetores quanto os operadoc res na nova representao. Em outras palavras, uma transformaao cannica uma transca c o e formaao de simetria. De fato, a transformaao cannica denida acima representa uma c c o mera mudana do sistema de coordenadas escolhido para realizar o clculo dos elementos c a de matriz. Algo semelhante ao que acontece em mecnica clssica quando optamos por um a a ou outro sistema de coordenadas (por exemplo, esfrico ou cartesiano). Se os clculos so e a a feitos corretamente os resultados independem da escolha do sistema de coordenadas. Veremos adiante que a evoluao temporal em mecnica quntica pode ser formulada como uma c a a transformaao cannica, correspondendo `s representaes de Schrdinger e Heisenberg. c o a co o
121
8.3
Transformaes Espaciais co
As transformaoes espaciais de simetria que nos interessam so translaoes e rotaes. Enc a c co tretanto, vamos fazer primeiramente uma discusso geral, para depois particularizar para a esses dois casos. Considere uma transformaao do sistema de coordenadas espaciais em que c x x = U(x). (8.53)
Aqui vamos adotar o ponto de vista ativa em que a transformaao atua sobre o sistema f c sico. Se o sistema encontrava-se no estado | , ento aps a transformaao o mesmo ser descrito a o c a por um novo vetor | . Por deniao, o valor da funao de onda (x) = x| no ponto x c c ser transportado para o ponto x . Em outras palavras, a funo de onda (x ) = x | a ca no ponto x ser a (x ) = (x), ou seja, (x ) = (U 1 x ). Como a expresso acima vale para qualquer ponto x , podemos reescrev-la como a e (x) = (U 1 x). (8.56) (8.55) (8.54)
Denimos agora o operador U que efetua a transformao acima de tal modo que o mesmo ca atuando em resulta no novo vetor : | = U | , (8.57)
Vamos agora analisar a atuaao do operador U na base de coordenadas |x . Projetando c (8.57) na base |x obtemos (x) = x| = x|U | , que comparada com (10.1) resulta x|U | = U 1 x| , ou seja U [(x)] = (U 1 x), onde por U [(x)] entenda-se a aao do operador U na base |x : c U [(x)] x|U | (8.60) (8.59) (8.58)
Como (8.58) vale em geral, segue que a atuaao de U sobre um bra x| tal que c e x|U = U 1 x|, (8.61)
122 ou seja,
U |x = |U 1 x , ou ainda, U |x = |Ux ,
(8.62)
(8.63)
onde usamos a unitariedade de U . A Eq. (8.63) , portanto, equivalente a (8.56) e dene e a transformaao U em termos da sua ao nos kets x. Em outras palavras, poder c ca amos ter partido de (8.63) e, revertendo a ordem dos passos acima, chegar a (8.54). Dada ento a uma transformaao U, denida atravs de (8.54) ou (8.63), precisamos encontrar a forma c e do operador U que efetua esta transformaao, para assim estudar sua ao sobre operadores c ca como mostrado em (8.28). Para prosseguir, precisamos especicar a transformaao desejada. c Iniciaremos com translaes espaciais. co
8.3.1
Translaes Espaciais co
Como primeiro exemplo de uma transformaao de simetria relevante em mecnica quntica, c a a vamos considerar as translaes espaciais. Primeiramente precisamos denir o que se enco tende por uma translao nesse contexto. Adotando o ponto de vista ativo, ter ca amos uma translaao do sistema (e de todo o aparato para realizar medidas no sistema) para uma nova c posiao, de modo que cada ponto do espao x levado em um novo ponto x tal que: c c e x x = TR x = x + R. (8.64)
Podemos ento denir o operador U associado a essa translaao atravs de (8.63) que nesse a c e caso resulta TR |x = |TR x = |x + R . Alternativamente, temos que a ao de U sobre vetores | , ca |R = U | , deve ser como dado em (8.56): R (x) = (T 1 x) = (x R), ou seja, TR [(x)] = (x R). (8.67) (8.66) (8.65)
Para obtermos a forma do operador TR consideremos inicialmente uma translaao innic tesimal: T [(x)] = (x ) = (x) d (x) + O( 2 ) dx i d (x). (x) i dx
8.3. TRANSFORMACOES ESPACIAIS Vemos ento que a T =1 onde P o operador momento linear e P = d . i dx i P,
123
(8.68)
Em face de (8.68), o momento linear P dito ser o gerador das translaoes espaciais, e cc conforme discutiremos na prxima seo. Sob essa transformaao innitesimal um operador o ca c transforma-se como descrito em (8.28), logo = T T i = 1 P + donde concluimos que = Em particular, fazendo = X, temos X = 1, ou seja, sob uma translaao innitesimal o operador posiao X muda para c c X X = X 1. (8.74) (8.73) i [, P ], (8.72) i (8.69) 1+ i P (8.70) (8.71)
[, P ],
8.3.2
Rotaoes c
Conforme discutimos anteriormente, uma rotaao ativa em torno do eixo z corresponde ` c a seguinte mudana de coordenadas: c x x = R()x, z (8.75)
onde R() a matriz de rotao em torno do eixo z dada em (8.14). Repetindo os passos z e ca realizados acima para o caso das translaoes, podemos facilmente obter a forma do operador c de rotaao, a ser denotado por R(). O leitor pode facilmente vericar que a aao de R c z c sobre uma funo de onda (x) tal que ca e (x) = R[(x)] = (R1 ()x), z z onde R1 () = R(). z z (8.77) (8.76)
124
CAP ITULO 8. SIMETRIAS E LEIS DE CONSERVACAO Considerando agora uma rotao innitesimal de um ngulo em torno do eixo z, temos ca a R( z )x = x + ( x), z (8.78)
como pode ser facilmente vericado. Como z uma direo arbitrria, segue que a relaao e ca a c acima vale em geral. Ou seja, em uma rotao innitesimal de um angulo em torno do ca eixo denido pelo versor n, temos R( n)x = x + ( x), n donde segue de (8.76) que R n [(x)] = (x n x), Expandindo em srie de Taylor o lado direito de (8.80), obtemos e R n [(x)] = (x) [ (x n donde conclu mos que Rn =1 i ( L), n (8.82) )](x), (8.81) (8.80) (8.79)
onde L = X P o operador momento angular. Isso indica que L o gerador das rotaes. e e co
8.4
Vamos agora generalizar o resultado da seo anterior para transformaoes unitrias arca c a bitrrias. Seja ento S uma transformao unitria parametrizada por um parmetro a a ca a a cont nuo , sujeita a condio S0 = 1. Na verso ativa, essa transformaao atuando so` ca a c bre um vetor | gera um novo vetor | : | = S | . (8.83)
onde G dito o gerador da transformaao e deve ser hermitiano para S ser unitrio: e c a G = G S S = 1 + O( 2 ). Ento sob essa transformaao um operador altera-se segundo a regra a c = S S =
G 1+
=+
[, G],
125
(8.85)
Uma transformaao por um valor nito do parmetro pode ser obtido como discutido c a anteriormente para o caso clssico, basta exponenciar (8.84): a S = lim ou seja S = eiG/ . Um operador sob essa transformao nita levado em ca e
= S S ,
= lim
i 1 G n
(8.86)
Exemplo 8.5. Consideremos novamente as translaoes espaciais. Nesse caso o operador c de translaao intesimal T dado (8.68), donde concluimos, por comparao com (8.84), c e ca que G = P , mostrando que o momento linear P de fato o gerador das translaoes, como e c antecipado. O operador TR correspondendo a uma translaao nita de R ser, portanto, da c a forma i TR = e RP . Sob essa translao, um operador transforma-se como ca
R = TR TR = eiRP/ eiRP/ .
Em particular se (X, P ), pode-se mostrar que R = (X R1, P ). Exemplo 8.6. Considere agora o caso de rotaes. Como o gerador das rotaes o moco co e mento angular, vide (8.82), segue que o operador de rotao de um ngulo em torno da ca a direao denida pelo versor n c e Rn = e de modo que Rn (x) = e
i i
nL
(8.88)
nL
(x) = (R(n)x),
(8.89)
126
8.5
8.5.1
A evoluao temporal de um estado quntico |(t) descrito pela equao de Schrdinger: c a e ca o i | = H| | |t=0 = |(0) Considere agora uma evoluo temporal por um per ca odo innitesimal operador responsvel por essa transformaao deve ser tal que a c |(0) |(dt) = U (dt)|(0) = |(0 + dt) . Expandindo em primeira ordem em dt e usando a equaao de Schrdinger, encontramos c o facilmente que U (dt) = 1 idt H, (8.90) = dt. Ento o a
donde concluimos que G = H, ou seja, o hamiltoniano H o gerador das translaoes teme c porais. De (8.86), obtem-se imediatamente que o operador de translaes temporais nitas co e U (t) = eitH/ . (8.91)
Assim podemos expressar o ket |(t) em termos do ket inicial atravs da transformao e ca unitria a |(t) = U (t)|(0) . (8.92)
8.5.2
Vimos acima que a evoluo temporal |(t) pode ser interpretada como uma transformao ca ca ativa do estado |(0) para o estado |(t) , transformaao essa que obtida pela aplicao c e ca do operador evoluao temporal ou propagador U (t) dado em (8.91). Essa representaao, usuc c almente adotada, conhecida como a representao de Schrodinger da mecnica quntica. e ca o a a Outra representaao alternativa para evoluo temporal, chamada de representao de c ca ca Heisenberg, consiste em considerar uma transformao cannica em que tanto o vetor como ca o a base so afetados por U (t). Vimos em (8.49) que nesse caso o vetor | no se altera pela a a transformaao, logo c | (t) = |(0) .
127
Os operadores, contudo, passam a depender do tempo, tendo sua evoluo temporal deterca minada por (8.51), ou seja, (t) = U (t)U (t) = U (t) (0)U (t),
(8.93) (8.94)
onde usamos que (0) = , uma vez que em t = 0 as duas representaoes coincidem, c pois U (0) = 1. Aqui consideramos por simplicidade que o operador original no depende a explicitamente do tempo. Mais geralmente, podemos representar a evoluo temporal a ca partir de um tempo t0 qualquer (no necessariamente igual a zero): a |(t) = U (t, t0 )|(t0 ) , (t) = U (t, t0 ) (t0 )U (t, t0 ),
(8.95) (8.96)
e ca onde (t0 ) = . Por convenincia de notao, vamos eliminar a linha daqui para frente, cando subtendido que ao escrevermos (t) estamos nos referindo ` representao de Heia ca senberg. Nessa representaao, o operador (t) vai evoluir no tempo de acordo com c = U (0)U + U (0) 1 = {H U (0)U + U (0)U H} i 1 = {H(t) + (t)H}, i onde da primeira para a segunda linha usamos a equao ca i U = U H, a qual pode ser facilmente obtida da equaao de Schrdinger. Temos ento que (8.99) pode c o a ser escrita mais compactamente como 1 = [, H], i (8.100) (8.97) (8.98) (8.99)
que nos d a equaao de movimento para operadores na representaao de Heisenberg. Coma c c pare com a evoluo temporal de uma grandeza (xi , pi ) clssica: ca a = {, H}.
8.6
Considere uma transformaao ativa cont c nua S com gerador G, de modo que para uma transformaao innitesimal S temos c S =1 i G, (8.101)
128
Suponha que o hamiltoniano H seja invariante por essa transformao ou seja, ca H = 0. Mas como H = [G, H], conclu mos que [G, H] = 0. (8.104) (8.103) (8.102)
Temos, portanto, que se H for invariante pela transformaao ele comuta com o gerador e c vice-versa: H = 0 [G, H] = 0. Dizemos ento que o o operador G o gerador de uma a e simetria de H. Inserindo (8.104) na equaao de movimento de Heisenberg (8.100) resulta c 1 G = [G, H] = 0 i logo G = 0, ou seja, a observvel G uma grandeza conservada ou uma constante de movimento. Temos a e ento um importante resultado: se o hamiltoniano for invariante por uma transformao a ca gerada pelo operador G, ento G uma constante de movimento. O contrrio tambm a e a e e verdadeiro: toda grandeza conservada gera uma transformao que deixa o hamiltoniano ca invariante. Exemplo 8.7. Se H for invariante por translao, ento o momento linear P uma constante ca a e de movimento, pois vimos que P o gerador das translaes espaciais. Por exemplo, o e co hamiltoniano de uma part cula livre obviamente invariante por translaoes, no sendo pois e c a surpresa que a part cula nesse caso tenha um valor bem denido (constante) do momento linear p, como vimos no Cap. 5. Por outro lado, no caso em que H for invariante por rotaoes c em torno de um eixo n, ento a componente de momento angular Ln = n L ao longo dessa a direao conservada pela dinmica, dado que Ln o gerador das rotaes em torno de n. c e a e co Problemas com invarincia rotacional sero discutidos em detalhe no prximo cap a a o tulo no contexto de potenciais centrais.
Uma consequncia importante da lei de conservaao acima que se em t = 0 o sistema e c e estiver em um autoestado |g do operador G, isto , e |(0) = |g , onde G|g = g|g ento o estado |(t) permanece um autoestado de |g com o mesmo autovalor g. De fato, a G|(t) = GU (t)|(0) = U (t)G|(0) = gU (t)|(0) = g|(t) , onde usamos que G comuta com U (t), uma vez que G comuta com H.
8.7. SIMETRIAS DISCRETAS Note ainda que se |n for um autoestado de energia En , ou seja, H|n = En |n ento o vetor S |n tambm autoestado com a mesma energia: a e e H(S |n ) = S H|n = En (S |n ) uma vez que S comuta com H. [S , H] = 0.
129
Assim se S |n e |n forem estados distintos, vemos que o n de energia En degenerado. vel e Isso ilustra um importante resultado, qual seja, que a existncia de degenerescncia, em e e geral, um indicativo de simetria no sistema. e
8.7
Simetrias Discretas
Como sabemos da nossa experincia em geometria, certos sistemas (i.e., objetos) possuem e simetrias discretas, no sentido de que o parmetro que dene a transformao, sob a qual a ca o objeto invariante, somente pode assumir valores discretos. Por exemplo, um tringulo e a 0 0 0 equiltero invariante por rotaoes (em torno do centro) de 120 , 240 e 360 . Por outro lado, a e c um c rculo invariante sob rotaao de qualquer ngulo [0, 2]. Em mecnica quntica, e c a a a algumas simetrias discretas tambm so muito importantes. e a
8.7.1
Paridade
Uma transformaao de paridade em mecnica clssica denida como a inverso do vetor c a a e a de coordenadas x sob a transformao acima. Por exemplo, para o momento: ca p paridade p. Por outro lado, tensores de segunda ordem, i.e., matrizes, so invariantes por paridade a Mij paridade Mij . Isso decorre do fato de que a ao de um vetor gera um vetor, ou seja u = M v um vetor, ca e logo u u = M (v) u = M v M M = M. Pode se mostrar ainda que o produto vetorial de dois vetores c=ab
130
corresponde, no fundo, a uma representaao compacta de um tensor ab. Sendo assim, granc dezas do tipo produto vetorial so invariantes sob transformaao de paridade a c (a b) a b. Em particular, vemos que o momento angular L = x p invariante por paridade e L L. Grandezas vetoriais que no muda de sinal sob paridade so ditos pseudo-vetores, j que, na a a a verdade, eles no so propriamente vetores mas tensores de segunda ordem travestidos de a a vetores. Em mecnica quntica, denimos o operador de paridade pela sua atuao na base a a ca |x : |x = | x . O operador paridade denida acima hermiteano, como pode ser facilmente demonstrado. e Tomando o dual da relaao acima, projetando em um ket |x e usando a denio de operador c ca adjunto, obtemos x| |x = = = = x ||x x|x x|x x| x
= x| |x , onde da terceira para a quarta linha usamos que x|x = x| x . (Verique isso.) Como a identidade acima vale para quaisquer x e x , segue que = . A partir da propriedade acima, obtemos que a aao de sobre um vetor | ser c a x|| = x| = x| = x| = (x), ou seja, [(x)] = (x). Em particular, temos que x||p = x|p = exp{ip x/ } = exp{i(p) x/ } = x| p logo |p = | p . Por outro lado, se |lz for autovetor do momento angular Lz , ento veremos no prximo a o cap tulo que |lz = |lz (8.105)
8.7. SIMETRIAS DISCRETAS Vamos agora mostrar que unitrio. Aplicando duas vezes, obtemos e a 2 |x = (|x ) = (| x ) = | (x) = |x logo 2 = 1. Combinando (8.105) e (8.106) resulta = 1,
131
(8.106)
(8.107)
como desejado. Alm disso, pode-se facilmente mostrar que o operador paridade possui apee nas 1 como autovetores. Em resumo, o operador paridade possui as seguintes propriedades:
i) hermitiano e unitrio: e a = = 1 ii) Os autovetores de so 1. a Os autovetores com autovalor +1 (1) so ditos terem paridade par ( a mpar). Se | for autovetor com paridade par/ mpar ento a | = | (x) = (x) | = | (x) = (x) Ou seja, vetores de paridade par ( mpar) so representados na base {|x } por funes de a co onda (x) par ( mpar). O mesmo valendo para a funao de onda na base |p : c (p) (p) = (p) (p) (p) = (p)
Sob uma transformaao de paridade (na interpretao ativa) o operador X muda c ca atravs da relaao e c X = X = X, como pode ser facilmente vericado. E da mesma forma para P : P = P = P. Assim temos que X = X [, X]+ = 0 P = P [, P ]+ = 0 (8.108)
132
onde [, ]+ = + denota o anti-comutador. Note porm que como |lz invariante e e sob temos que L() = Lz = {(x) (p)}z = Lz , z Lz = Lz [, Lz ] = 0. Assim dizemos que uma observvel invariante por paridade se a e [, ] = 0 Em particular o hamiltoniano H ser invariante se a [, H] = 0. Por outro lado, sob paridade H(X, P ) torna-se H(X, P ) = H(X , P ) = H(X, P ) Assim, se H for invariante sob paridade H(X, P ) = H(X, P ) H(X, P ) = H(X, P ) que o que espervamos como condio para denir invarincia de H(X, P ) por paridade. e a ca a Segue ainda que se [, H] = 0, ento existe uma base de autoestados comuns a H e . a Em particular, os autoestados de energia no degenerados possuem paridade bem denida: a as autofunoes E (x) so pares ou c a mpares. Exemplo 8.8 (Part cula na caixa (L/2, L/2)). 2 sin n x , n par : n (x) = n (x) L L n (x) = 2 cos n x , n mpar : n (x) = n (x) L L Assim em geral: n (x) = (1)n+1 n (x).
Como discutido anteriormente no caso geral, se comearmos em t = 0 com o sistema c em um autoestado |(0) com uma dada paridade, ento se H for invariante por paridade, a |(t) ter a mesma paridade inicial. Ou seja, uma funao de onda inicialmente par ( a c mpar) assim o permanece para qualquer tempo t. Exemplo 8.9 (Oscilador harmnico). Como discutimos no cap o tulo 6, as autofunes |n co n do oscilador harmnico tem paridade (1) , ou seja, o n (x) = (1)n n (x) , n = 0, 1, 2, . . . Em particular vimos que o estado fundamental 0 (x) par e o primeiro estado excitado e e mpar, e assim sucessivamente.
133
Operadores que comutam com o operador de paridade so ditos operadores pares, a pois nesse caso o operador invariante por paridade. Isto , se par e e e = = [, ] = 0.
Operadores que pegam um sinal de menos sob paridade so ditos operadores a mpares. Se for mpar, ento a = = [, ]+ = 0. Operadores que no satisfazem nem uma nem outra condio so operadores sem a ca a paridade denida.
Regras de Seleo ca
Se um operador par ento os elementos de matriz so nulos entre vetores de e a a paridade oposta. demonstrao. Se | = | , | = e par, ento ca e a || = | | = |(| ) = || || = 0.
Similarmente, os elementos de matriz de um operador mpar entre vetores de mesma paridade so nulos. a
Violao de Paridade ca Todas as leis fundamentais da natureza so invariantes por translaao espacial e rotaoes. a c c Entretanto, o mesmo no verdade em relao ` paridade. Decaimentos envolvendo a a e ca a interao fraca (por exemplo, o decaimento do neutron) no conservam paridade: o estado ca a nal pode ser uma superposio de estados de paridade oposta. Isso signica em outras ca palavras, que o hamiltoniano responsvel pela interao fraca no invariante sob paridade. a ca a e Certas quantidades observveis nesse tipo de decaimento, como a distribuiao angular dos a c produtos, podem depender de pseudo-escalares como S P , onde S o valor mdio do e e spin do sistema. Esse termo dito pseudo-escalar, porque muda de sinal sob paridade (logo e o hamiltoniano no invariante). Para discusso de um exemplo concreto de um decaimento a e a veja o caso discutido no livro do Shankar, p. 299:
60
Co
60
N i + e + ,
134
onde e a carga do eltron e o antineutrino do eletron. e e e Observa-se que os eletrons tendem a ser emitidos na direao alinhada ao spin do ncleo c u de cobalto. Essa correlaao entre a direo de emisso do eltron e a direao do spin S uma c ca a e c e evidncia de que paridade no conservada. Entretanto, se considerarmos a operaao de e a e c conjugaao de carga (q q), tem-se que a simetria composta CP, i.e., paridade seguida c de conjugaao de carga, conservada no decaimento . Existe, porm, situaoes em que CP c e e c no conservada. Acredita-se que CPT, onde T denota inverso temporal, conservada a e a e na maioria das situaes. (Violaao de CPT, que implicaria uma violaao da invarincia de co c c a Lorentz, ainda no foi detectada experimentalmente.) a
8.8
Exerc cios
1. a) Mostre que a rotao innitesimal denida em (8.15) e (8.16) pode ser escrita de ca forma compacta como x = z x. (8.109)
b) Mostre que, no caso geral de uma rotaao innitesimal de um ngulo em torno c a de um eixo denido pelo versor n, temos x = x. (8.110)
c) Mostre a identidade (8.19) pelo mtodo direto, ou seja, expanda ambos os lados em e srie de Taylor e verique (pelo menos em primeira ordem) a igualdade termo a termo. e 2. a) Vimos no exemplo 8.2 que uma rotao innitesimal de um angulo em torno do ca eixo z pode ser escrita da forma x = (z x), onde z a matriz e 0 1 0 z = 1 0 0 . 0 0 0
Mostre pelo mtodo direto que z , de fato, a geradora das rotaoes em torno do eixo e e c z no sentido de que x = ez x = R()x. z Mais exatamente, mostre que ez cos sin 0 = cos I + sin z = sin cos 0 = R(). z 0 0 1
135
c) Considere as trs matrizes i agrupadas como se fossem componentes de um vetor, e ou seja, escreva = (x , y , z ). Seja agora n um vetor unitrio, conclua ento que a matriz n = n a geradora a a e das rotaoes em torno de n, ou seja, c en = R(n), onde R(n) representa a matriz de rotaao de um ngulo em torno da direao denida c a c por n. 3. Mostre a relaao (8.52). c 4. Seja H(X, P ) um hamiltoniano. Suponha que apliquemos uma transformao unitria ca a | = U | . Mostre que o novo hamiltoniano H = U HU ser a H = H(X , P ). 5. Mostre a relao (8.63) diretamente a partir de (8.58). Use esse resultado para mostrar ca que U de fato unitrio. e a 6. Como vimos uma translaao ativa pode ser escrita como |R = TR |0 , onde usamos c subscritos 0 e R para denotar os kets inicial e nal, respectivamente. Considere agora translaoes espaciais sob a tica de uma transformao cannica: |R = TR |R . c o ca o a) Mostre que na nova representao temos |R = |0 . ca b) Obtenha a regra de transformaao para operadores, ou seja, obtenha R na nova c representao em funo de na representao original. ca ca ca c) Mostre que sob uma translao innitesimal o operador posio X na nova repreca ca sentaao dado por c e X = X + 1. Qual a forma de XR para uma translao nita? ca 7. Mostre a equaao (8.82) a partir de (8.80), vericando todas as passagens. c 8. Considere o espao vetorial de spinores em que os vetores de estado so representados c a por | = , onde e so nmeros complexos. Uma rotao do estado | de um ngulo em a u ca a torno do eixo z representado pela matriz R abaixo: e | = R | = ei/2 0 i/2 0 e |
e a) Mostre que o gerador das rotaoes acima Sz = 2 z , onde z a terceira matriz de c e Pauli. b) Escreva a forma do operador R que produz uma rotaao nita de um angulo em c torno do eixo denido pelo versor n.
136
CAP ITULO 8. SIMETRIAS E LEIS DE CONSERVACAO c) Efetuando uma expanso de Taylor do resultado do item anterior e resomando a a srie, mostre que R pode ser ser escrito da seguinte forma e R = cos(/2) 1 i sin(/2) n. Dado: ( n)k = 1 n k par, k mpar.
9. Um conjunto de trs operadores i , i = 1, 2, 3 dito ser um operador vetorial se sob e e rotaoes de coordenadas o operador transforma-se como c = , onde = n. Por outro lado, cada operador j deve transformar-se sob rotaes de co acordo com (8.85): i [j , G], j = onde G = n L o gerador das rotaoes. Use os dois resultados acima para mostrar as e c seguintes regras de comutao de com o momento angular L: ca [Li , j ] = i onde
ijk ijk k ,
o tensor de Levi-Civitta. e
10. Mostre a relaao (8.108). Sugesto: calcule o sandu c a che |X | na base |x e mostre que |X | = |X| . 11. Sejam |nlm os autoestados de energia En do atomo de hidrognio, onde l = 0, 1, 2, ..., n e 1 e l m l. Pode-se mostrar que a paridade dos estados |nlm (1)l . e a) Considere os elementos de matriz do operador de dipolo eltrico, D = eX, entre e distintos autoestados: nlm |D|n l m . Obtenha as regras de seleao de paridade para esse caso, ou seja, determine em que c casos os elementos de matriz acima so nulos (ou no nulos) por paridade. a a b) Repita a anlise para o caso do operador de quadrupolo eltrico Qij = e2 Xi Xj , isto a e , determine em que caso os elementos e nlm |Qij |n l m . so nulos. a c) Faa um diagrama ilustrando todas as poss c veis transies de dipolo e quadrupolo co permitidas por paridade entre os n veis n = 1, 2 e 3 do atomo de hidrognio. Nesse e caso, basta considerer os estados com diferentes n e l.
9.1
Potencial Central
Por um potencial central entende-se um potencial V (x) que s depende da distncia r o a da part cula a origem (considerado como o centro de fora), ou seja, ` c V (x) = V (r), r = x x. (9.1) Nesse caso o hamiltoniano P + V (r), 2m obviamente invariante por uma rotaao do sistema de coordenadas, donde se conclui que e c o momento angular L = X P uma grandeza conservada. Em particular, segue da e discusso do cap a tulo anterior que os autovalores de L so conservados pela dinmica. Nosso a a objetivo nesse cap tulo precisamente resolver o problema da algebra momento angular, e como veremos adiante. H= Comecemos nossa discusso lembrando que em mecnica clssica temos a a a L = x p, logo L 2 = (x p) (x p) = x 2 p 2 (x p)2 . E fazendo x = r, temos r L2 = r2 p 2 r2 (r p)2 = r2 p 2 p2 , r onde pr = r p. Assim temos p2 = L2 + p2 . r r 137
138
Em mecnica quntica, X e P no comutam, logo devemos ter cuidado com as operaes a a a co acima. Pode-se mostrar que L2 = (X P ) (X P ) = X 2P 2 + i X P X P Mas na base de coordenadas |x = |r, , , temos X = r, r P = logo (9.2) torna-se L 2 = r2 P 2 + donde obtemos P2 = = =
2 L2 2 r2 r 2 2
(9.2)
(9.3) , (9.4)
+ r
r r
+r r
r r
2 L2 2 r 2 r r r
+r
L2 r2
2 2 + 2 r r r 1 r r r
2
L2 = 2 r onde por
r r
(9.5)
logo 1 r r r
2
f=
1 (rf ) r r r 2 2 = + 2 r r r
f,
139
Pode-se facilmente vericar que Pr representa, de fato, a componente radial do operador P , no sentido de que [r, Pr ] = i . Usando (9.6), podemos reescrever (9.5) na forma P2 = L2 + Pr2 r2 (9.8) (9.7)
donde segue que o hamiltoniano para um potencial central torna-se H= L2 P2 + r + V (r). 2mr2 2m (9.9)
Vemos, portanto, que toda a dependncia angular do hamiltoniano est contida no termo e a L2 . Para resolver o problema do potencial central, devemos obter um conjunto completo de observveis que comutam (CCOC) entre si. Como H invariante por rotaoes, segue que a e c H comuta com qualquer componente Ln = n L do momento angular, que o gerador das e rotaoes em torno da direo n. Em outras palavras, H comuta com L. Em particular, H c ca comuta com os operadores Li : [H, Li ] = 0, i = 1, 2, 3. (9.10)
Entretanto, os Li s no comutam entre si, vide (9.19). Sendo assim, s podemos escolher um a o (e apenas um) dos operadores Li , para nosso CCOC. Por conveno, escolhe-se Lz . Temos, ca portanto, o seguinte conjunto de operadores {H, Lz } que comutam entre si: [H, Lz ] = 0. Entretanto esse conjunto no completo. Em outras palavras, se denotarmos por E e lz os a e autovalores de H e Lz , respectivamente, ento pode existir mais de um autovetor comum a a H e Lz associado a um mesmo par de autovalores (E, lz ), como veremos adiante. A forma do hamiltoniano (9.9) sugere que devemos incluir L2 em nosso CCOC. Em termos das componentes cartesianas Li , temos
3
L =
i=1
L2 = L2 + L2 + L2 . i x y z
(9.11)
Como H comuta com cada componente Li , claro que H comuta com L2 : e [H, L2 ] = 0. (9.12)
Alm disso, como L2 = L L um operador escalar, ele invariante por rotaoes, logo comuta e e e c com L: [L2 , Li ] = 0. (9.13)
140
Temos assim um conjunto de trs operadores {H, Lz , L2 } que comutam entre si: e [H, Lz ] = 0 [H, L ] = 0 [L , Lz ] = 0
2 2
Veremos adiante que esse conjunto de fato completo. Podemos, portanto, obter uma base e de autovetores comuns a H, Lz e L2 com autovalores no degenerados. Em resumo, a a resoluao do problema de um potencial central consiste em obter os autovetores comuns a c Lz , L2 e H. Nesse cap tulo, vamos obter os autovetores comuns a Lz e L2 , e no cap tulo seguinte discutiremos o problema de como calcular as autofunoes de H. c
9.2
(9.17)
onde se subtende a soma sobre ndices repetidos e ijk o tensor de Levi-Civitta: e ndices repetidos 0, se ijk contiver +1, se ijk for permutaao c c clica (ou par) de 123 ijk = 1, se ijk for permutaao c mpar de 123 Das relaoes de comutaao fundamentais c c [Xi , Xj ] = 0, [Pi , Pj ] = 0, [Xi , Pj ] = i ij , (9.18)
pode-se mostrar que as componentes Li do momento angular satisfazem as seguinte relaes co de comutaao: c [Li , Lj ] = i
ijk Lk .
(9.19)
As relaoes (9.19) denem a algebra {Lx , Ly , Lz } do momento angular. Veremos adiante c que para o clculo dos autovalores de L2 ser mais conveniente trabalharmos com uma a a algebra alternativa envolvendo Lz e dois novos operadores L obtidos atravs de combinaes e co apropriadas de Lx e Ly . Antes, porm, vamos tratar dos autovetores e autovalores de Lz . e
9.2.1
Autovetores e Autovalores de Lz
Vamos considerar o problema de obter os autovetores |lz do operador Lz : Lz |lz = lz |lz . (9.20)
141
E conveniente trabalharmos na base de coordenadas esfrica |r, , . Nessa base a aao de e c Lz simplesmente e Lz = , i (9.21)
visto que Lz o gerador da translaoes em . (De fato, uma rotao em torno do eixo z e c ca pode ser vista como uma rotao da varivel angular .) Ento projetando a equaao (9.20) ca a a c na base de coordenadas, temos r, , |Lz |lz = lz r, , |lz l (r, , ) = lz lz (r, , ), i z que aps integrao nos d o ca a lz (r, , ) = f (r, )eilz / . Como lz (r, , ) deve ser peridica em , devemos exigir que o lz (r, , + 2) = lz (r, , ), ou seja, exp ilz ( + 2) exp donde conclu mos que lz = m , m = 0, 1, 2, . . . Ou seja, os poss veis autovalores de lz so mltiplos inteiros de . Do ponto de vista da o a u ca do operador Lz , a funo f (r, ) que aparece em (9.22) pode ser tratada como uma mera ca constante de integrao. Em outras palavras, as autofunes de Lz , denotadas por m (), ca co so a 1 m () = eim , (9.23) 2 onde escolhemos a constante de normalizao de modo que as autofunoes m sejam ortoca c normais: m |m = m,m . De fato, m |m
2 1 = exp (im) exp (im )d 2 0 2 1 = exp (i(m m))d 2 0 2 1 = mm d 2 0 = mm ,
(9.22)
= exp = 1,
ilz
i2lz
142
onde da segunda para terceira linha usamos o fato de que, se m = m , a primitiva do integrando peridica em , logo a integral sobre um per e o odo zero. Uma vez obtidas as e autofunoes e autovalores de Lz , passaremos agora ao clculo dos autovetores comuns a Lz c a e L2 .
9.2.2
Autovetores de L2 e Lz
onde escrevemos a equaao de autovalor para L2 de modo que > 0 seja uma quantidade c adimensional. (Lembre-se que L tem a mesma dimenso de , logo L2 tem dimenso de a a 2 .) Vimos acima que m deve ser um inteiro. Resta-nos obter os valores para , bem como determinar os poss veis m para um dado . Para isso, notemos primeiro que L2 em termos das componentes Li e L2 = L2 + L2 + L2 . x y z A forma quadrtica em L2 e L2 sugere que devemos completar os quadrados de forma a y x anloga ao que zemos para o oscilador harmnico. Vamos denir, portanto, os operadores a o de levantamento e abaixamento L = Lx iLy , (9.26)
anlogos aos operadores a de levantamento e abaixamento do oscilador harmnico. Os a o operadores L possuem as seguintes propriedades: i) (L ) = L , ii) [Lz , L ] = L , iii) [L+ , L ] = 2 Lz , iv) [L2 , L ] = 0. A propriedade i) evidente e a iv) consequncia imediata do fato de que L2 comuta com e e e Li . As propriedades ii) e iii) resultam das relaoes de comutao (9.19), como vericado c ca abaixo:
ii) [Lz , L ] = [Lz , Lx ] i[Lz , Ly ] = i Ly i(iLx ) = L iii) [L+ , L ] = [Lx + iLy , Lx iLy ] = i[Ly , Lx ] i[Lx , Ly ] = i(i Lz ) i(i Lz ) = 2 Lz
9.2. ALGEBRA DO MOMENTO ANGULAR Em termos de L , o operador L2 escreve-se L2 = L L+ + Lz + L2 z = L+ L Lz + L2 . z como pode ser facilmente vericado: L2 = L2 + L2 + L2 x y z 1 1 = [ (L+ + L )]2 + [ ((L+ + L ))]2 2 2i 1 2 = {L+ + L+ L + L L+ + L2 L2 + L+ L + L L+ L2 + L2 } + L2 z + + 4 1 = {L+ L + L L+ } + L2 , z 2 que combinada com a propriedade iii) resulta (9.27) e (9.28).
143
(9.27) (9.28)
As propriedades ii) e iv) acima implicam que L levanta/abaixa o autovalor de Lz de uma unidade de , sem alterar o autovalor de L2 . De fato, Lz (L |m ) = (L Lz L )|m = L ( m )|m = (m 1)(L |m ).
(9.29)
Como L2 comuta com L claro que a aao de L sobre um autovetor de L2 permanece um e c 2 autovetor de L com mesmo autovalor: L2 (L |m ) = L L2 |m = 2 (L |m ) De (9.29) e (9.30) conclu mos que L |m = C (, m)|, m 1 , onde as constantes C (, m) sero determinadas posteriormente. a Vemos que a partir de um dado m podemos gerar autovetores de Lz com autovalores (m 1), (m 2), (m 3), . . . Claramente essa aao de levantar e abaixaros autovalores c de Lz no pode continuar indenidamente j que a a |Lz |2 < |L2 |, logo os autovalores de Lz tem que ser limitados, de alguma forma, por cima e por baixo, pelos autovalores de L2 . De fato, considere o operador L2 L2 Lz 2 = L2 + L2 . x y Como L2 obviamente um operador positivo denido (compare com o hamiltoniano do e oscilador harmnico), segue que seus autovalores so no negativos; mas como o a a L2 |, m =
2
(9.30)
(9.31)
( m2 )|, m ,
m2 0, ou seja |m| .
Sejam agora mmax e mmin o maior e o menor valor de m, respectivamente, para um dado . Ento devemos ter a L+ |mmax = 0, L |mmin = 0. Aplicando L a primeira identidade acima resulta ` 0 = L L+ |mmax = (L2 Lz L2 )|mmax z = logo = mmax (mmax + 1). Da mesma forma, aplicando L+ a (9.33) obtemos = mmin (mmin 1), que comparada com (9.34) resulta mmin (mmin 1) = mmax (mmax + 1) donde mmin = mmax Vamos agora chamar de l o maior valor de m para um dado , isto , e mmax = l, mmin = l, (9.34)
2
(9.32) (9.33)
2 mmax (mmax )2 ,
Vimos, por outro lado, que pela aplicaao de L+ podemos aumentar m de uma unidade. c Sendo assim, aps a aplicao de L+ um certo nmero k de vezes a mmin = l chegamos a o ca u mmax = l, ou seja, k l + k = l l = , 2 onde k = 0, 1, 2, . Vemos assim que, em princ pio, os poss veis valores de l so inteiros ou a semi-inteiros l = 0, 1/2, 1, 3/2, 2, 5/2, Note que esse resultado bem geral, uma vez que para obt-lo usamos apenas as relaoes de e e c comutao da algebra do momento angular. Segue agora de (9.34) que ca = l(l + 1). (9.35)
145
Para o caso do momento angular orbital, vimos anteriormente que m deve ser um inteiro. Logo nesse caso l deve ser um inteiro l = 0, 1, 2, . . . (Por putro lado, no caso do momento angular de spin, l pode assumir valores semi-inteiros, como veremos adiante.) No restante deste cap tulo, vamo-nos restringir ao caso orbital. Em face do resultado acima, conveniente e 2 denotar os autovetores comuns de Lz e L no mais por |m mas por |lm . Temos ento a a que L2 |lm = 2 l(l + 1)|lm , l = 0, 1, 2, . . . Lz |lm = m|lm , m = l, l + 1, . . . , 1, 0, 1, . . . , l 1, l (9.36) (9.37)
Vamos agora determinar a constante C (, m) denidas em (9.31), as quais passaremos a denotar C (l, m), de modo que L |lm = C (l, m)|l, m 1 . Tomando o dual temos
lm|L = C (l, m) l, m 1|.
Contraindo as duas expresses anteriores, obtemos o |C |2 = lm|L L |lm , onde consideramos que os vetores |lm so ortonormais. Usando as identidades (9.27) e a (9.28), temos agora |C |2 = lm|L2 Lz L2 |lm z 2 2 = l(l + 1) m 2 m2 = 2 [l(l + 1) m(m 1)], ou seja C (l, m) = Temos ento que a L |lm = ou alternativamente L |lm = (l m)(l m + 1) |l, m 1 . (9.39) l(l + 1) m(m 1) |l, m 1 , (9.38) l(l + 1) m(m 1).
9.2.3
Representao Matricial ca
146
Jz tambm uma matriz diagonal com elementos m . e e Por outro lado: J(x/y) = 1 i 1 i 1 i
l m |J(x/y) |lm = = = 2
m (m1) Logo Jx = Jx = i
l(l + 1) m(m 1)
(9.44)
0 0 0 0 0 0 1/ 2 0 0 1/ 2 0 1/ 2 0 0 1/ 2 0 . . . . . . . . . . . .
0 0 0 0 . . .
.. . 0 0 0 0 . . .
0 0 0 0 0 0 0 1/ 2 0 1/ 2 0 1/ 2 0 0 1/ 2 0 . . . . . . . . . . . .
.. .
9.3
Nosso objetivo aqui obter as autofunoes lm (, ) de L2 e Lz , correspondendo aos e c autovetores |lm projetados na base de coordenadas angulares | : lm (, ) = |lm . (9.45)
Como veremos adiante, as funes lm (, ) correspondem aos chamados harmnicos esfricos co o e Ylm (, ). Vamos, portanto, desde j adotar a notao Ylm para denotar as autofunes de a ca co L2 e Lz em coordenadas angulares: Ylm (, ) = |lm . (9.46)
9.3. AUTOFUNCOES DE L2 E LZ NA BASE DE COORDENADAS Vimos ainda que as autofunoes de Lz so da forma c a 1 m () = eim , 2 ento podemos escrever: a Ylm (, ) = l ()m (). A normalizaao de Ylm exige que c
2
147
(9.47)
(9.48)
|Ylm | d =
0 0
|Ylm |2 sin dd = 1,
ou seja,
1
|l ()| sin d =
0 1
|l ()|2 d(cos ) = 1,
(9.49)
onde j usamos o fato de m normalizada. a e De modo anlogo ao que foi feito no caso do oscilador harmnico, vamos obter as aua o tofunoes Ylm a partir de um estado extremal, isto , com autovalor m c e nimo ou mximo a de Lz , pela sucessiva aplicao dos operadores L . Por exemplo, para o estado maximal ca | = |ll , temos L+ |ll = 0, que projetada na base | torna-se L+ Yll (, ) |L+ |ll = 0 que em vista de (9.48) torna-se L+ l ()eil = 0. Para resolver essa equao precisamos obter o operador L+ na base angular | . ca Para isso, lembremos que em coordenadas esfricas o gradiente escreve-se e = er logo o momento angular l-se e L= r er i 1 1 = r er e + e i r r sin 1 = (er e ) + (er e ) i sin 1 e = e i sin i = x (9.52) (9.53) 1 1 + e + + e , r r r sin (9.51) (9.50)
(9.54)
e = cos (cos x + sin y ) + sin z e = sin x + cos y , pode-se mostrar que Lx = Ly = donde segue que L = Lx iLy = ei + i cot . i i z z y z x x z y = = i i sin cos cot cos sin cot ,
(9.55) (9.56)
(9.57) (9.58)
(9.59)
Inserindo (9.59) em (9.51) resulta ei donde obtem-se ou seja l = l cot l cos =l sin 1 d(sin ) , =l sin d que pode ser facilmente integrada d d sin =l d donde nalmente temos l () = Cl (sin )l . A constante Cl deve ser determinada de modo a satisfazer a condiao de normalizao (9.49). c ca Fazendo a mudana de coordenadas u = cos , temos c |l |2 = |Cl |2 1 u2 de modo que a condio (9.49) implica ca
1 l/2
+ i cot
l ()eil = 0,
dl l cot l = 0 d
ln = l ln(sin ) + C,
1=
1
|l |2 du
1 2 1
(9.60)
l/2
= |Cl |
1 u2
du.
(9.61)
9.3. AUTOFUNCOES DE L2 E LZ NA BASE DE COORDENADAS Resolvendo a integral acima obtemos |Cll |: (2l + 1)! |Cll | = 2
1/2
149
1 2l l!
(9.62)
Determinamos assim a constante |Cll | a menos de uma fase. Por convenao, escolhe-se a fase c igual a (1)l . Em resumo, obtemos que 1 Yll = l ()eil = (1)l 2 (2l + 1)! 1 il e (sin )l l l! 4 2 (9.63)
Agora para obter Ylm a partir de Yll devemos aplicar L sucessivamente (l m) vezes. Em outras palavras, devemos aplicar (L )lm a Yll . Usando (9.39) recursivamente obtemos que (L )lm |ll = ( )lm ou seja |lm = ou alternativamente Ylm (, ) = (l + m)! (2l)!(l m)! L
lm
(9.64)
lm
|ll ,
(9.65)
Yll (, ),
(9.66)
Note agora que o operador L dado em (9.59) aplicado a uma funao da forma ein F () c pode ser escrito como L [ein F ()] = E mais geralmente, L
p
d (sin ) d(cos )
F () .
(9.67)
dp (sin ) d(cos )p
F () .
(9.68)
Aplicando (L )lm a (9.63) obtemos Ylm (, ) = (1)l 2l l! (2l + 1)! (l + m)! im dlm e (sin )m (sin )2l , lm 4(2l)! (l m)! d(cos )
que aps simplicaao torna-se o c Ylm (, ) = (1)l 2l l! (2l + 1) (l + m)! im dlm e (sin )m (sin )2l . 4 (l m)! d(cos )lm (9.69)
150
Alternativamente, poder amos ter partido do estado de m nimo m para um dado l, ou seja, Yl(l) . Nesse caso temos L Yl(l) (, ) = 0. Repetindo o procedimento que levou a (9.63), obtemos Yl(l) = (2l + 1)! 1 il e (sin )l . 4 2l l! (9.71) (9.70)
Podemos agora obter Ylm pela aplicaao (l + m) vezes de L+ a Yl(l) . A equaao corresponc c dente a (9.66) e Ylm (, ) = (l m)! (2l)!(l + m)! L+
l+m
Yl(l) (, ),
(9.72)
Usando (9.68) com p = l + m em (9.71), obtemos ento a Ylm (, ) = (1)l+m 2l l! (2l + 1) (l m)! im dl+m e (sin )m (sin )2l . 4 (l + m)! d(cos )l|m (9.73)
As expresses (9.69) e (9.73) so duas formas completamente equivalentes de gerar os o a harmnicos esfricos. Da comparaao dessas duas frmulas, vemos ainda que o e c o
Yl(m) = (1)m Ylm (, ).
(9.74)
Em termos das funoes associadas de Legendre Plm (x), os harmnicos esfricos podem ser c o e escritos como Ylm (, ) = onde Plm (x) = Em resumo, vimos que L2 Ylm (, ) = 2 l(l + 1)Ylm (, ) Lz Ylm (, ) = mYlm (, ) (9.75) (9.76) 1 1 x2 l l! 2
m/2
m 0,
O conjunto de harmnicos esf[ericos {Ylm (, )} forma uma base do espao de funes o c co peridicas em e com 0 < < . Assim, dado qualquer funao (, ), temos o c
l
(, ) =
l=0 m=l
Clm Ylm (, )
151
A forma expl cita de alguns harmnicos esfricos dada abaixo: o e e 1 l = 0 Y00 = 4 Y11 = l=1: Y10 = Y22 = 1 4 l=2: Y = 21 Y20 = (9.77)
3 8 3 4
sin ei
(9.78)
15 2 15 8 5 4
sin cos ei
3 2
cos2
1 2
9.4
Os harmnicos esfricos Ylm podem ser obtidos por um caminho direto, resolvendo o problema o e de autovalor para L2 e Lz . J vimos que as autofunoes de Lz = i so a c a Lz m () = mm (), 1 m () = eim , 2 logo podemos escrever Ylm (, ) = l ()m (). Resta agora resolver o problema de autovalores para L2 : L2 [Y ml (, )] = De (9.54) segue que L2 = =
2 2
Ylm (, ).
(9.80)
(9.81) (9.82)
152 obtemos L2 = = ou L2 =
2 2
(9.85) (9.86)
Assim, a equao (9.80) torna-se ca ou seja, 1 d sin d sin d d m2 l () = l () sin2 1 sin sin + 1 2 Ylm (, ) = Ylm (, ) sin2 2
Pode-se mostrar que essa equaao resulta, aps uma mudana apropriada de variveis, na c o c a equaao associada de Legendre, cujas soluoes so as funoes associadas de Legendre Plm (x). c c a c
9.5
Exerc cios
1. Mostre a equaao (9.2). c 2. Verique todos os passos que levam a (9.5). 3. Mostre a relaao de comutao (9.7). c ca 4. Verique as relaes de comutaao (9.19) e (9.13). co c 5. Considere que e so operadores vetoriais no sentido denido no Cap. 8, a [Li , j ] = i e idem para . Mostre ento que a [ , Li ] = 0. 6. Verique as identidades (9.57) e (9.58). 7. Resolva a integral em (9.61) e mostre que |Cl | como mostrado em (9.62). e 8. Mostre (9.68). 9. Verique todos os passos que levaram a (9.73).
ijk k ,
9.5. EXERC ICIOS 10. Considere o rotor r gido quntico, cujo hamiltoniano a e H= L2 , 2I
153
2 e e onde I = re o momento de inrcia do rotor, sendo a sua massa efetiva e re o seu raio de girao. ca a) Obtenha o espectro de energia El do sistema e os respectivas autoestados. Expresse sua resposta para El em termos da constante rotacional B = /4I. Qual a degenerescncia dos n e veis El ? b) Verique que a separaao entre os n c veis El cresce linearmente com l (ao contrrio a do oscilador harmnico em que os n o veis so igualmente espaados). Em particular, a c obtenha o espectro de freqncias ue
l,l1 =
El El1 h
do sistema e mostre que as linhas espectrais so equidistantes. a c) Mostre que os elementos de matriz do operador Z so a l m |Z|lm = re mm l ,l1 l2 m2 + l ,l+1 4l2 1 (l + 1)2 m2 . 4(l + 1)2 1
Obtenha a respectiva representaao matricial de Z. c d) Considere que o sistema foi colocado em um estado | arbitrrio (que obviamente a pode ser expandindo na base |lm ). Mostre que o valor mdio Z (t) vai oscilar no e tempo com freqncias de Bohr dada por l,l1 calculadas acima. Logo, Z (t) pode ue evoluir apenas com uma srie bem denida de freqncia (equidistantes entre si), ao e ue contrrio do caso clssico em que a freqncia de rotaao do rotor pode ser qualquer a a ue c valor (cont nuo): = 2E/I. 11. O rotor quntico do problema anterior descreve aproximadamente o espectro rotacioa nal de molculas diatmicas. Entretanto, as linhas espectrais observadas experimene o talmente no so exatamente equidistantes. Uma modelo mais adequado incorpora a a efeitos centr fugos, de modo que a distncia entre os tomos varia com a velocidade de a a rotaao, ou seja, o rotor no exatamente r c a e gido. Nesse caso, o hamiltoniano proposto da forma e 1 L2 2 6 (L2 )2 , H= 2I 2 kre onde k a constante de mola da ligaao entre os tomos. e c a a) Obtenha o novo espectro de freqncias l,l1 e mostre que o mesmo pode ser escrito ue da forma l,l1 = 2Bl 4dl3 , onde d uma constante. e b) Faa um diagrama mostrando esquematicamente as posioes das linhas espectrais c c nos dois casos, isto , com e sem a correao acima. (Represente ambos os casos no e c mesmo diagrama.) Considere que d muito menor que B. e
154
10.1
Vimos no cap tulo anterior que o hamiltoniano para uma part cula em um potencial central V (r) pode ser escrito como H= onde P2 L2 P2 + V (r) = + r + V (r), 2 2r2 2
1 r i r r Da nossa discusso anterior, sabemos tambm que as soluoes da equaao de Schrdinger a e c c o Pr = H| = E| H(r, , ) = E(r, , ) podem ser escritas na forma Elm (r, , ) = RElm (r)Ylm (, ). Como vimos, Ylm so autofunes comuns a L2 e Lz ; resta-nos agora determinar RElm (r) de a co modo que Elm seja tambm autofuno de H. Usando a decomposiao de H acima: e ca c H = E
2
L2 P2 + r + V (r) = E 2r2 2
156CAP ITULO 10. POTENCIAL CENTRAL I: FORMALISMO E POTENCIAIS SIMPLES obtermos ento a equaao radial a c ou ou ainda
2
1 d 2 r dr
2
d r + dr
2
1 d 2d r + 2 r2 dr dr d2 2 d + 2 dr r dr
(10.1)
Como m no aparece na equaao para R(r), claro que essa funo no pode depender desse a c e ca a nmero quntico. Ou seja, R(r) depende apenas de E e l. Vemos assim que Elm (r, , ) u a ter uma degenerescncia de 2l + 1 estados com a mesma energia E e mesmo momento a e angular l. Essa degenerescncia consequncia da invarincia do hamiltoniano por rotaes, e e e a co [Lz , H] = 0, com a consequente conservaao do momento angular. c A equao radial (10.1) pode ser colocada em uma forma semelhante a equao de ca ca Schrdinger unidimensional atravs da seguinte mudana de varivel: o e c a R(r) = donde segue que 1 dU U d2 R 1 d2 U 2 dU 2U dR = 2, = 2 + 3. 2 2 dr r dr r dr r dr r dr r Substituindo as expresses acima em (10.1), obtemos o d2 R 2 dR 1 d2 U 2 dU 2U 2 dU 2U 1 d2 U + = 2 + 3 + 2 3 , dr2 r dr r dr2 r dr r r dr r r dr2 ou seja, d2 + 2 dr2
2 2
U (r) , r
(10.2)
(10.3)
l(l + 1) . 2r2
(10.4)
Note que o termo extra do potencial efetivo corresponde a um termo de repulso devido a a conservao do momento angular L2 . ca Embora semelhante em forma aos problemas de 1D tratados no Cap. 5, h diferenas a c importantes, a saber:
10.1. SEPARACAO DE VARIAVEIS E A EQUACAO RADIAL ii) para estados ligados, a condio de normalizao de (r, , ) exige que ca ca
2 REl (r)r2 dr 0
157
2 3
=
0
UEl 0,
r ;
iii) para estados no-ligados (espalhamento), a funao de onda (x) deve ser normalizada a c a uma delta de Dirac; isso signica que no innito UEl (r) deve se comportar como uma onda esfrica: e UEl eikr , r ; iv) para determinarmos a condiao de contorno em r 0, devemos analisar as condioes c c para que o hamiltoniano efetivo seja hermitiano. Vimos que o problema para U (r) reduz-se Hef U (r) = EU (r) onde Hef = d2 + 2 dr2
2 2
= U2 |Hef U1
ou
0
U1 (Hef U2 ) dr = 0 2 U1 0 0 2
2m
2
d2 d U2 U2 2 U1 dr = 0 dr2 dr
2m
d dU dU2 U2 1 dr = 0, U1 dr dr dr dU2 dU U2 1 dr dr
U1
=0
0
No caso de estado ligado temos U (r) 0 para r , logo o termo acima anula-se no limite superior e assim a condio de hermiticidade ca e
U1
dU2 dU U2 1 dr dr
= 0.
r=0
(10.5)
Pode-se vericar que o termo no limite superior tambm se anula para o caso de ese palhamento. Nesse caso, o limite r deve ser tratado como uma mdia sobre um e intervalo longo lim ei(k2 k1 )r = 1 lim L
L+
ei(k2 k1 )r dr = 0.
L
158CAP ITULO 10. POTENCIAL CENTRAL I: FORMALISMO E POTENCIAIS SIMPLES Assim a condiao de hermiticidade (10.5) vale para ambos os casos. Essa condiao pode c c ser trivialmente satisfeita se exigirmos dU =0 dr Isso implica que R(r) = e em particular (x) C , r 0. r U (r) C , r r r 0, U C = const., r 0.
Embora esse comportamento seja de quadrado integrvel, ele apresenta dois problemas, a um f sico e o outro matemtico: a (a) se C = 0, ter amos, |(x)|2 1 r2
o que daria uma probabilidade muito grande de encontrar a part cula prxima da o origem, algo que no seria razovel em face do termo de repulso centr a a a fuga devido a conservaao do momento angular; ` c (b) matematicamente, esse comportamento tambm no aceitvel pois o (x) core a e a respondente no seria soluo da eq. de Schrdinger na origem, pois nesse caso a ca o ter amos 1 2 (x) 2 ( ) = 4(x). r Assim a menos que V (r) contivesse uma delta de Dirac, que supomos no ser o a caso, no seria poss satisfazer a equaao de Schrdinger. Conclu a vel c o mos, portanto, que o unico caso aceitvel a e C=0 Logo U (r) 0 , r 0. (10.6)
10.2
Nesta seo, vamos tentar obter algumas informaoes gerais sobre o comportamento ca c de U (r), ou seja, sem especicar o potencial V (r), a partir da anlise do comportamento a assinttico r 0 e r . o
159
10.2.1
Primeiro, consideremos o caso r 0. Reescrevendo a equao radial (10.3) na forma ca d2 l(l + 1) + [V (r) E] URl = 0, 2 2 dr r2
2
(10.7)
vemos que se V (r) menos singular do que 1/r2 (por exemplo, o potencial coulombiano), e ento a Eq. (10.7) dominada pelo termo de repulso centr a e a fuga no limite r 0: d2 Ul l(l + 1) Ul = 0, dr2 r2 (10.8)
onde omitimos o subscrito E, j que nesse limite E no mais importante. Vemos assim que a a e a origem um ponto singular regular, j que o coeciente do termo de ordem zero possui e a um polo duplo na origem. A t tulo de reviso da teroria de EDOs de segunda ordem, lembramos aqui que para a uma equaao da forma c d2 u p(z) du q(z) + + 2 u = 0, dz 2 z dz z (10.9)
a origem ser um ponto singular regular se p(z) e q(z) forem anal a ticas na origem. Nesse caso, a equao admite uma soluo da forma ca ca
u(z) = z
n=0
Cn z n ,
(10.10)
onde o ndice dado pela chamada equao indicial e ca ( 1) + p(0) + q(0) = 0. (10.11)
No caso de (10.8), temos p(0) = 0, logo a equao indicial ca e ( 1) l(l + 1) = 0 donde obtemos =l+1 ou = l, Pode-se mostrar ainda, por substituiao direta que nesse caso, os coecientes Cn da srie em c e (10.10) anulam-se para n 1, ou seja, a soluo do tipo lei de potncia: ca e e Ul = r . ( 1) = l(l + 1), q(0) = l(l + 1),
160CAP ITULO 10. POTENCIAL CENTRAL I: FORMALISMO E POTENCIAIS SIMPLES Temos ento que a soluao geral de (10.8) da forma a c e Ul (r) = Arl+1 + B rl
Em face da condio U (0) = 0, a segunda soluao no sicamente aceitvel, logo B = 0, ca c a e a ou seja, Ul (r) rl+1 , r 0 Portanto, Ul (r) admite uma expanso em srie de potncia da forma a e e Ul (r) = rl+1 (a0 + a1 r + ) Considere agora l = 0. Nesse caso, temos
2
U + V (r)U EU = 0
Se V (r) comportar-se no mximo como 1/r na origem (e.g., seria o caso do potencial coua lombiano, V (r) 1/r, ou um poo quadrado, V (r) V0 ), ento a origem um ponto c a e regular. Portanto, U (r) admite uma soluao regular na origem: c U0 (r) = a0 + a1 r + Mas pela nossa exigncia de U (0) = 0 segue que a0 = 0, logo e U0 (r) = r (a0 + a1 r + ) , ou seja, Ul (r) r, r 0. Vamos, portanto, considerar que no caso geral a dependncia de Ul (r) na origem da forma e e Ul (r) rl+1 , r 0, l = 0, 1, 2, . . . Lembre-se, contudo, que isso s vale para potenciais sucientemente bem comportados na o origem, como mencionado acima.
10.2.2
Se V (r) no vai a zero no innito, o potencial determina o comportamento assinttico, e a o nada de geral pode-se dizer nesse caso. Vamos considerar ento o caso em que V (r) 0 a para r . Em particular, vamos considerar que V (r) decai a zero no innito de modo a satisfazer a condio ca r rV (r) 0. Nesse limite a equaao radial torna-se c d2 UE = EUE 2 dr2
2
UE =
2E
2
UE
10.2. PROPRIEDADES GERAIS DA FUNCAO RADIAL i) E > 0 : part cula escapa para o innito ii) E < 0 : estado ligado
161
Caso 1: E > 0. Ento temos a UE = k 2 UE , k 2 = Logo UE (r) = A exp{ikr} + B exp{ikr}, que nos d uma soluao tipo part a c cula livre. Devemos analisar agora em que condioes as c constantes A e B acima no dependem mesmo de r. Para isso, escrevamos a U (r) = f (r) exp{ikr} Ento: a U = exp{ikr} (f ikf ) U = exp{ikr} f 2ikf k 2 f logo U ou seja, f 2ikf 2
2
2E
2
> 0,
k=
2E
2
(10.12) (10.13) 2
2
2
2
V (r)U = k U
f 2ikf k 2 f
V (r)f = k f,
V (r)f = 0
Como f (r) deve variar lentamente com r, quando r , podemos ignorar f : |f | < |f | , r . Assim temos df = f i V (r)dr k 2 i k 2
r
Para que a integral acima convirja no limite r , devemos ter V (r) logo 1 0, r . r No caso = 0, por exemplo, V (r) = e2 /r, temos rV (r)
r r
1 r1+
, r ,
>0
V (r)dr = e2
r0 r0
dr r = e2 ln r r0
162CAP ITULO 10. POTENCIAL CENTRAL I: FORMALISMO E POTENCIAIS SIMPLES logo e2 ln r k 2 Ou seja, mesmo innitamente longe, a part cula nunca est completamente livre do potena cial coulombiano. UE (r) exp i kr + Se V (r) for a zero no innito mais lentamente que o potencial coulombiano, essa situao ca apenas piora. Caso 2, E < 0: Nesse caso temos U = k 2 U, k 2 = Logo, UE (r) = A exp{kr} + B exp{kr}, r Entretanto, A e B no so constantes independentes. Eles esto relacionados atravs da a a a e continuao anal ca tica para r 0, onde temos a exigncia U (0) = 0. Para obtermos uma e soluao sicamente aceitvel, isto , normalizvel, devemos ter A = 0. Veremos que isso c a e a acontece apenas para certos valores discretos de E, correspondendo aos estados ligados permitidos no sistema. (Se A e B fossem constates independentes poder amos fazer A = 0 e obter um estado ligado normalizvel para qualquer E < 0, o que no o caso.) a a e Note ainda que a soluo acima vale apenas se rV (r) 0. No caso coulombiano. ca ter amos um termo extra idntico aquele obtido para E > 0, bastando fazer k ik: e ` UE (r) exp =r
e2 k 2
2E
2
k=
2|E|
2
e2 ln r k 2
exp{kr}
(10.14) (10.15)
exp{kr},
que d uma correao tipo lei de potncia. a c e No caso E < 0, as autofunes so normalizveis. Como o operador Hef no degenerado co a a e a (Teorema, Cap. 4 das Notas de Aula), as autofunes UEl so ortonormais co a
logo as funes de onda Elm (r, , ) para estados ligados so ortonormais: co a Elm |E l m = Elm (r, , )E l m (r, , )r2 drd = EE ll mm .
10.3
Exerc cios
P2 1 2 2 + r . 2 2
10.3. EXERC ICIOS a) A partir da equaao radial para U (r), faa a seguinte mudana de variveis c c c a r= y, U (r) = ey
2 /2
163
v(y),
e mostre que a equaao diferencial correspondente para v(y) c e y 2 v 2y 3 v + (2 1)y 2 v l(l + 1)v = 0, = E/ .
v(y) = y
k=0
Ck y k ,
onde o e ndice a ser determinado. Obtenha a relaao de recorrncia para Ck e c e mostre que a srie deve terminar para que U (r) seja normalizvel. Mostre ento que e a a as poss veis energias devem ser da forma E = (2k + l + 3/2), k = 0, 1, 2, ...
c) Reescreva a energia En em termos do nmero quntico principal denido como u a n = 2k + l. Mostre que para cada n xo, os poss veis l so l = n, n 2, n 4, ..., 1 ou a 0 (no primeiro caso se n for mpar e no segundo se l for par). Qual a degenerescncia e total de um dado n En ? vel 2. A degenerescncia em l do problema anterior no pode ser meramente acidental mas e a deve ser devida a alguma simetria adicional do problema. Para ver isso, considere os ` seguintes operadores a= 1 2 R + iP , a = 1 2 R iP .
a) Verique (usando os resultados do oscilador harmnico unidimensional) que temos o [ai , a ] = ij , j e o hamiltoniano escreve-se na forma
3
H=
i=1
(Ni + 1/2),
onde Ni = a ai . i
b) Obtenha expresses para Lz e L2 em funao dos operadores ai . o c c) Considere agora o operador Q = b a+ , + 1 onde a+ = (ax + iay ), 2 1 b = (a + ia ). + x y 2
(Note que a+ assemelha-se a L+ .) Calcule os comutadores [Lz , Q] e [L2 , Q]. d) Mostre ento que o vetor Q |nll um autovetor de Lz e L2 correspondendo a a e m = l + 2 e l = l + 2, ou seja, Lz (Q |nll ) = (l + 2)(Q |nll ,
164CAP ITULO 10. POTENCIAL CENTRAL I: FORMALISMO E POTENCIAIS SIMPLES L2 (Q |nll ) = Conclua ento que a Q |nll = c |n, l + 2, l + 2 , onde a constante c se anula para l = n = lmax . Isso explica a degenerescncia em l e para o oscilador isotrpico. o 3. Mostre que uma onda plana propagando-de na direao z admite as seguinte expanso c a em ondas parciais
2
ikr cos
=
l=0
Pl (u)Pl (u)du =
1
2 ll . 2l + 1
Sugesto: os l primeiros termos da srie de potncias da exponencial eikru podem ser a e e escritos na forma 1 + ikru + + (ikr)l 2l l! (ikru)l = Pl (u) + al1 Pl1 (u) + + a0 P0 (u), l! (2l)!
onde as demais constantes an , n < l no so necessrias. a a a 4. Repita a anlise feita em sala de aula para o problema de uma part a cula de massa presa em uma caixa esfrica de raio a. e 5. Considere o caso de um potencial tipo esfera dura em que a part cula no pode penetrar a a regio r < a, ou seja, temos a V (r) = , r < a 0, r > a
Obtenha a funo de onda Rl (r) exata do problema para um l qualquer, a menos de ca uma constante de normalizao. ca b) Analise o comportamento assinttico da soluao para r . Mostre que a mesma o c pode ser escrita na forma Rl (r) onde l uma constante dada por e tan l = c) Calcule o valor de 0 para l = 0. jl (ka) . nl (ka) 1 l sin kr + l , r 2
165
6. Considere o problema de estados ligados em um poo esfrico de potencial da forma c e V (r) = V0 , r < a 0, r > a
com V0 > 0. a) Mostre que a energia dos orbitais s, isto , com l = 0 so determinadas pela equao e a ca transcendental q cot qa = , onde q = 2(E + V0 )/ e = 2|E|/ . b) Faa um esboo das funoes acima em termos de E (se necessrio use o computador). c c c a Mostre que para existir um estado ligado o potencial dever ter uma intensidade m nima: V0 > V0min = c) Considere o limite qa possuem energia dada por 2 2 . 8a2
E 1 + 2V0
2 2 2V0 a2
n+
1 2
V (r) =
2m
(r a) ,
> 0.
a) Analise o problema de estados ligados, E < 0, para orbitais s (isto , l = 0). Mostre e que a energia determinada pela seguinte equaao transcendental e c 1 e2a = 2 ,
onde = 2|E|/ . Verique que existe um estado ligado apenas se a > 1. b) Mostre que no caso de l geral, a menor intensidade do potencial para a existncia e de um estado ligado a = 2l + 1. e 8. Considere agora o problema de espalhamento (E > 0) de uma onda s pelo potencial delta-camada acima. Calcule a funo de onda nesse caso. Considerando que na regio ca a ikr ikr que inclui o innito a funao de onda pode ser escrita na forma (e c Se ), mostre que a matriz S dada pela relao e ca S=
k ika sin ka i2a e e , k ika e sin ka
onde k = 2mE/ . Verique assim que podemos escrever S = ei20 , onde 0 o e chamado deslocamento de fase da onda s. b) Analise os polos da matriz S acima. Mostre que existe um polo para k imaginrio, a ou seja, k = i. Compare a posiao desse polo com o resultado da questo anterior. c a
11.1
Considere um sistema formado por dois corpos, de massas m1 e m2 , respectivamente, que interagem entre si atravs de um potencial que s depende da distncia entre elas, ou seja, e o a V (X1 , X2 ) = V (|X1 X2 |), (11.1)
onde X1 e X2 denotam as posies das respectivas part co culas. O hamiltoniano desse sistema e H= onde
i , i em que o subscrito denota que o gradiente calculado em relao as coordenadas xi . e ca ` 2 P2 P1 + 2 + V (|X1 X2 |), 2m1 2m2
(11.2)
Pi =
Como o potencial s depende da posio relativa entre as part o ca culas, conveniente separar e a dinmica do sistema em termos do movimento do centro de massa e o movimento relativo a entre as part culas. Vamos, portanto, introduzir duas novas variveis: a Xcm = m 1 X1 + m 2 X2 , m1 + m2 Xr = X 2 X1 ,
correspondendo a posiao do centro de massa do sistema e a distncia relativa entre as ` c a part culas. O momento Pcm do centro de massa e Pcm = P1 + P2 , 167
168
que obviamente satisfaz a relao de comutaao cannica ca c o [(Xcm )i , (Pcm )j ] = i ij . Vamos agora introduzir o momento relativo Pr Pr = m2 P1 m1 P2 . m2 + m1 (11.4) (11.3)
A justicativa para a deniao acima do momento relativo vem do caso clssico em que c a temos pr = (v1 v2 ) = onde a chamada massa reduzida do sistema: e 1 1 1 = + . m1 m2 (11.6) m2 p1 m1 p2 , m2 + m1 (11.5)
No caso quntico podemos vericar que o operador Pr canonicamente conjugado a Xr : a e [(Xr )i , (Pr )j ] = i ij . Em face das identidades (11.3) e (11.7), podemos escrever Pcm = i
cm
(11.7)
Pr =
r.
(11.8)
onde M = m1 + m2 e a massa reduzida denida em (11.6). Como a posio Xcm do e ca centro de massa uma varivel c e a clica, segue que Pcm conservado: e dPcm = 0. dt Vemos assim que no referencial do centro de massa, a dinmica descrita pelo seguinte a e hamiltoniano de uma part cula H= Pr2 + V (r), 2 (11.9)
onde r = |Xr |. Dessa forma, nosso problema de dois corpos cou efetivamente reduzido ao problema de uma part cula de massa sujeita a um potencial central V (r). No caso do atomo de hidrognio, como a massa do prton Mp cerca de duas mil vezes a e o e massa m do eltron, o centro de massa coincide aproximadamente com a posio do prton e ca o
169
e a massa reduzida ca aproximadamente igual ` massa m do eltron, m. Nessa a e situaao, podemos supor o prton imvel na origem, com a posio do eltron eltron sendo c o o ca e e descrita pelo raio vetor x, de modo que a dinmica do eltron ca governada pelo seguinte a e hamiltoniano H= sendo V (r) o potencial coulombiano: e2 V (r) = , r onde e denota a carga do eltron. e (11.11) P2 + V (r), 2m (11.10)
11.2
Autovalores de Energia
Para o potencial (11.11), a equao radial discutida no cap ca tulo anterior torna-se 2m e2 d2 + 2 E+ dr2 r
2
l(l + 1) 2mr2
UEl (r) = 0.
(11.12)
Aqui estamos interessados em estados ligados: E < 0. Nesse caso vimos que o comportamento no innito e U (r) er , r , onde = 2m|E|
2
(11.13)
A dependncia acima sugere que consideremos a seguinte mudana de variveis: e c a = r U (r) = e v(). Temos ento a d d = dr d logo d2 U d2 = 2 2 (e v) = e 2 [v 2v + v] dr2 d que substituida em (11.12) nos d a 2 [v 2v + v] + 2 1 +
2 e2 l(l + 1) v=0 |E|/ 2m|E|2 /2
(11.14) (11.15)
d2 d2 = 2 2 dr2 d
170
que aps simplicaoes torna-se o c v 2v + ou alternativamente 2 v 22 v + [e2 l(l + 1)]v = 0, onde = = |E| 2m . 2 |E| (11.18) (11.17) e2 l(l + 1) v = 0, 2 (11.16)
A origem = 0 um ponto singular regular da equaao (11.16), pois o coeciente do e c termo com a derivada de primeira ordem constante e a maior singularidade do coeciente e do termo de ordem zero um polo duplo. Em termos da notaao do cap e c tulo anterior, temos p(0) = 0 e q(0) = l(l + 1), de modo que as soluoes da equaao indicial, como vimos, so c c a = l + 1 e = l, sendo que a segunda soluao deve ser descartada em face da condio c ca de contorno U (0) = 0. Logo a equaao (11.16) admite uma soluo da forma c ca
v() =
l+1 k=0
Ck k , com C0 = 0.
(11.19)
v =
k=0
k+l+1
+
k=0
Fazendo k = k + 1 e depois renomeando k k na segunda somatria, e notando que o o termo k = 0 na primeira somatria se anula (pois resulta na equaao inicial), obtemos o c
11.2. AUTOVALORES DE ENERGIA ou mais convenientemente (fazendo k k + 1): Ck+1 e2 + 2(k + l + 1) = . Ck (k + l + 2)(k + l + 1) l(l + 1) Note que no limite k temos Ck+1 2k 2 2 = , Ck k k que o mesmo comportamento da srie de Taylor da funao exponencial e2 . De fato, e e c
171
(11.21)
e logo
=
k=0
ak =
k=0
1 (2)k = k!
k=0
2k k () , k!
1.
Conclu mos, portanto, que nossa funao v() divergir exponencialmente se todos os termos c a da srie estiverem presentes, o que inaceitvel, pois a funao U (r) divergiria no innito: e e a c U = e v e e2 e er , r ,
o que no permitido. Ento devemos exigir que a srie termine para algum k. Isso acontecer a e a e a se o numerador da relaao de recorrncia (11.21) se anular para algum k. Logo devemos ter c e e2 = 2(k + l + 1), ou seja, e2 donde |E| = Logo o espectro de energia e me4 E = |E| = 2(k + l + 1)2
2
(11.22)
(11.23)
vemos que n pode assumir os valores n = 1, 2, 3, . . . Logo as energias poss veis so dadas a por En = me4 , 2 2 n2 n = 1, 2, 3, . . . (11.25)
172
Para um dado n, o maior k poss acontece quando l = 0, logo kmax = n 1;. Por vel outro lado, como o valor m nimo de k kmin = 0, conclu e mos que o mximo valor de l, para a um dado n, l = n 1. Portanto, para n xo os poss e veis l so a l = 0, 1, 2, , n 1. (11.26)
Assim um dado n de energia En ter uma degenerescncia de multiplicidade n no nmero vel a e u quntico l. Para cada l temos ainda uma degenerescncia de multiplicidade 2l + 1 no nmero a e u quntico m, de modo que a multiplicidade gn total do n En ser a vel a
n1
gn =
l=0
(2l + 1) =
1 + 2(n 1) + 1 n = n2 . 2
Notaao Espectroscpica: c o l=0 l=1 l=2 l=3 . . . n s vel n p vel n d vel n f vel . . .
Assim os n veis de energia, para respectivos valores n e l, podem ser representados de acordo com a notao. ca n=1 n=2 n=3 n=4 . . . : : : : 1s 2s, 2p 3s, 3p, 3d 4s, 4p, 4d, 4f
1 Ry =
(11.27)
11.3. FUNCOES DE ONDA A estrutura de n veis est representada no diagrama abaixo. a E(Ry) n = 4 1/16 n = 3 1/9 n = 2 1/8
173
4s 3s 2s
4p 3p 2p
4d 3d
4f
n=1
1s l=0l=1l=2l=3
a0 =
me2
= 0, 529 108 cm
as energias En podem ser escritas como En = Ou ainda En = onde = a famosa constante de estrutura na. e me4 e2 = . 2 2 n2 2a0 n2 mc2 2 , 2 n2
e2 1 c 137
11.3
Funes de Onda co
Vimos na seo anterior que as funoes v() = e U (/) so da forma ca c a v() = l+1 w(), onde w() um polinmio cuja ordem determinada pela condiao (11.22): e o e c e2 = 2(k + l + 1) = 2n, (11.30) (11.29)
174
Usando a condio (11.30) na equao (11.17) obtemos ca ca 2 v 22 v + [2n l(l + 1)]v = 0. Fazendo agora a mudana de coordenadas dada em (11.29), temos c v = l+1 w + (l + 1)l w v = l+1 w + 2(l + 1)l w + l(l + 1)l1 w. Substituindo as expresses acima em (11.31) resulta o 2 w + 2(l + 1)w + l(l + 1)w 22 w 2(l + 1)w + [2n l(l + 1)]w = 0, que aps simplicaoes reduz-se a o c w + 2(l + 1 )w + 2(n l 1)w = 0. E conveniente reescrever essa equaao na forma c w + [(2l + 1) + 1 2]w + 2[(n + l) (2l + 1)]w = 0. Se agora zermos as seguintes mudanas de variveis c a x = 2, L(x) = w(x/2) s = 2l + 1 e r = n + l, obtemos a seguinte equao para o polinmio L(x): ca o xL + (s + 1 x)L + (r s)L = 0 (11.36) (11.35a) (11.35b) (11.35c) (11.34) (11.33) (11.32) (11.31)
Essa a equaao associada de Laguerre cujas solues so os chamados de polinmios assoe c co a o s ciados de Laguerre, denotados por Lr (x) De particular interesse o caso s = 0 : e xLr + (1 x)Lr + rLr = 0 (11.37)
que a equaao de Laguerre cujas soluoes so os chamados de polinmios de Laguerre, e c c a o denotados por Lr (x). Os polinmios de Laguerre formam uma fam de polinmios ortogonais e possuem uma o lia o srie de propriedades especiais enunciadas abaixo, cujas demonstraes deixamos a cargo do e co leitor.
11.3. FUNCOES DE ONDA Propriedades de Lr (x) e Ls (x) r i) Lr (x) entra como os coecientes da expanso em srie da seguinte funao geratriz a e c exy/1y = 1y ii) Lr (x) um polinmio de ordem r. e o
175
Lr (x)
r=0
yr r!
iii) Com a convenao do item i) o coeciente do termo xr de Lr (x) (1)r . [Outras conc e venes frequentemente usadas para o coeciente de xr so 1/r!, (1)r /r! ou 1. E preciso co a atenao ao comparar expresses de diferentes fontes, pois as relaes de recorrncia e c o co e outras propriedades podem depender da convenao adotada.] c iv) Relaes de recorrncia co e Lr = r(Lr1 Lr1 ) Lr+1 = (2r + 1 x)Lr r2 Lr1 . (11.38) (11.39)
a v) Os polinmios associados de Laguerre Ls (x) so obtidos derivando-se s vezes Lr (x): o r Ls (x) = r ds Lr (x). dxs
a o zes vi) Ls (x) so polinmios de ordem r s com r s ra distintas. r vii) Lr (x) admite a seguinte representao atravs da frmula de Rodrigues ca e o Lr (x) = ex dr x r (e x ), dxr
que leva ` seguinte frmula de Rodrigues para Ls : a o r Ls (x) = r r! drs ex xs rs (ex xr ). (r s)! dx
Ls (x) r
=
k=0
(1)k+s
Ls |Ls = r r
0
dx xs ex funao peso c
= rr
176
Ls |Ls = r r
0
Retornando ao problema do tomo de hidrognio, vimos em (11.35) que a funao w() a e c e s da forma Lr (x = 2), com r = n + l e s = 2l + 1, logo v() = l+1 w() = l+1 L2l+1 (2) , n+l Para a funo radial Rnl (r), temos ento ca a Rnl (r) = ou seja Rnl (r) = Anl l+1 2l+1 e Ln+l (2) , r
= kr.
= kr.
(11.40)
poss ento obter a constante de normalizaao Anl , que deixamos como exerc para o e vel a c cio poss ento mostrar que as funes radiais Rnl (r) so dadas por leitor. E vel a co a (n l 1)!(2)3 Rnl (r) = 2n((n + l)!)3
1/2
(11.41)
2r na0
onde omitimos uma constante multiplicativa. Para r , o polinmio L2l+1 dominado o n+l e nl1 pela maior potncia r e , resultando no seguinte comportamento assinttico o Rnl (r) rl er/na0 rnl1 = rn1 er/na0 , independentemente de l. Na expresso acima a correao rn1 o termo extra previsto no a c e cap tulo anterior.
11.4. EXERC ICIOS As funes de onda completas para o tomo de hidrognio so portanto dadas por co a e a nlm = Rnl (r)Ylm (, ),
177
com Rnl (r) dado em (11.41). As funoes de onda para os n c veis n = 0, 1 e 2 so mostradas a abaixo: 100 = 200 = 210 = 21(1) = 1 a3 0
1/2
er/a0
1/2
2
1/2
r a0
er/a0
1/2
11.4
Exerc cios
1. Verique a relao de comutaao (11.7). ca c 2. Faa as devidas mudanas de variveis em (11.2) e obtenha (11.8). c c a 3. Usando a identidade
obtenha a constante An de normalizao das funes Unl (r) do atomo de hidrognio, ca co e de modo que
[Unl (r)]2 dr = 1.
0
4. A partir da equaao diferencial de Laguerre, obtenha as relaes de recorrncia (11.38) c co e e (11.39) para Lr (x). 5. a) Verique que um eltron em um orbital s do atomo de hidrognio possui uma e e densidade de probabilidade no nula de ser encontrado na origem, ao passo que para a todos os demais orbitais essa probabilidade zero. Interprete sicamente esse resultado. e Mostre ainda que os orbitais ns possuem n 1 nodos, correspondendo aos pontos em que a densidade de probabilidade |n00 |2 se anula. b) Mostre que a densidade radial de probabilidade p(r) para o estado de mximo l do a atomo de hidrognio e e p(r) = |n,n1,m |2 r2 d = Cr2n e2r .
178
comuta com o hamiltoniano do tomo de hidrognio: [H, A] = 0. a e 7. Dena o vetor de Runge-Lenz normalizado A . A = 2H Verique as seguintes relaoes de comutao envolvendo A c ca [Li , Aj ] = i [Ai , Aj ] = i
ijk Ak , ijk Lk .
As relaoes acima, juntamente coma relaao usual [Li , Lj ] = i ijk Lk , indicam que os c c vetores L e A so os geradores das rotaes em um espao quadridimensional. a co c 8. Em funo da degenerescncia dos n ca e veis de energia do tomo de hidrognio no nmero a e u quntico l e da conservaao do vetor A de Runge-Lenz, deve ser poss a c vel construir operadores Q para levantamento e abaixamento do nmero quntico l. Suponha u a ento que existam operadores Q que comutam com H, [Q , H] = 0, e satisfazem as a seguintes relaoes de comutaao em um estado |n, l, l de mximo/m c c a nimo momento momento angular:
[L2 , Q ] |n, l, l = l Q |n, l, l ,
Determine l e l tais que Q |lm |l 1, l 1 . Mostre como seria poss gerar vel todos os estados de um dado n n de energia a partir dos operadores Q e L . vel