Apostila MQ1 Vol1

Fundamentos de Mecnica Quntica a a
Giovani L. Vasconcelos
Departamento de F sica Universidade Federal de Pernambuco 50670-901 Recife, Brasil
Ultima atualizaao: 18 de agosto de 2009 c c Giovani L. Vasconcelos
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
Operadores de projeao e decomposiao espectral . . . . . . . . . . . . . . . c c 1.8.1 Operadores Hermiteanos Simultaneamente Diagonalizveis . . . . . . a
1.9
Funoes de operador . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . c i
ii
SUMARIO 1.10 Exerc cios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
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. . . . . . . . . . . . . . . . . . . . . . . . . . .
SUMARIO 3.4 Exerc cios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
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
Equaao da Continuidade . . . . . . . . . . . . . . . . . . . . . . . . . . . . c Potencial Degrau . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Alguns Teoremas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Exerc cios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
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
SUMARIO Soluao da Equao de Schrdinger . . . . . . . . . . . . . . . . . . . . . . . c ca o Exerc cios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 94 99
7 Limite Clssico e o Teorema de Ehrenfest a 7.1 7.2 7.3 7.4
103
Evoluo do Valor Mdio de uma Observvel . . . . . . . . . . . . . . . . . . 103 ca e a Teorema de Ehrenfest . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 104 Limite Clssico . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 106 a Exerc cios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 107
8 Simetrias e Leis de Conservao ca 8.1
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
Transformaoes Unitrias e seus Geradores . . . . . . . . . . . . . . . . . . . 124 c a
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
Exerc cios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 134
9 Momento Angular 9.1 9.2
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
9.3 9.4 9.5
Autofunoes de L2 e Lz na base de Coordenadas . . . . . . . . . . . . . . . . 146 c Equaao Diferencial de Autovalor para L2 . . . . . . . . . . . . . . . . . . . 151 c Exerc cios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 152
10 Potencial Central I: Formalismo e Potenciais Simples
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
11 Potencial Central II: Atomo de Hidrognio e
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
Cap tulo 1 Espaos Vetoriais de Dimenso Finita c a

Um espao vetorial um conjunto dotado de duas operaoes, adiao e multiplicao por um c e c c ca nmero, com as propriedades usuais dessas operaoes. Os elementos de um espao vetorial u c c so chamados de vetores e os nmeros envolvidos na operaao de multiplicaao, de escalares. a u c c Os nmeros que mais nos interessam em F u sica so, obviamente, os reais R e os complexos a C, entretanto interessante fazer uma discusso mais detalhada sobre o tipo de escalares e a aceitveis na denio de um espao vetorial. De uma forma geral, os escalares devem ser a ca c elementos de um corpo, sendo desejvel aqui uma breve introduo a esse conceito. a ca
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.
ESPACOS VETORIAIS DE DIMENSAO FINITA
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:
C = {faces de um dado}, card(C) = 6;
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.
CAP ITULO 1. 5. elemento inverso da adiao: c
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
Independncia Linear, Base e Dimenso e a
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
1.3. INDEPENDENCIA LINEAR, BASE E DIMENSAO
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, existem coecientes vi , tais que
|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
e similarmente para multiplicaao por escalar. c
1.4
Produto interno e notao de Dirac ca

3
Podemos generalizar o conceito de produto escalar do
, 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.
ii) V |V 0, com igualdade sendo vericada somente se |V = |0 . iii) V | (a |W + b |Z ) = a V |W + b V |Z .
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
Vale lembrar ainda que
i) se V |W = 0, ento |V e |W so ditos mutuamente ortogonais. a a ii) |V | V |V a norma de |V . e
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
onde I denota identidade. Em notaao matricial a decomposio acima l-se c ca e 1 0 0 1 0 0 |V = v1 + v2 + + vn . . . . . . 0 0
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 ).
1.5. ESPACO DUAL
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.
ESPACOS VETORIAIS DE DIMENSAO FINITA V, considere a
Produto interno como um funcional linear. Dado um vetor |V seguinte aplicaao: c V | : V K.
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 | .
Regra de operaes adjuntas: co i) (a |V ) = V | a = a V | ii) (a |V + b |V ) = V | a + W | b = a V | + b W | .
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 .
1.6. OPERADORES LINEARES pois w1 . ( v1 , , vn ) . = . wn Dito de outra forma, se

n
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 .
Exemplo 1.4. Considere o adjunto da expresso a |i i|V .

i
Temos que
|i i|V =
vi |i , logo (
vi |i ) =
vi i|, donde segue que
|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.
Nosso interesse maior so os operadores lineares, para os quais temos as propriedades: a (a |V ) = a |V e (a |V + b |W ) = a |V + b |W .
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
est bem denida: a |V =

i
vi |i =
i
vi |i .
Operador inverso. O inverso de um operador denotado por 1 e denido por e 1 = 1 = I.
Exemplo. Se = R() ento 1 = R(). a a E fcil vericar ainda que, se e possuirem inverso, ento ()1 = 1 1 . a
1.6. OPERADORES LINEARES
13
Observao: nem todo operador possui um inverso, as condies para tais sero mencioca co a nadas adiante.
1.6.1
Algebra de Operadores
E poss denir de maneira natural as operaes de adio e multiplicaao de operadores: vel co ca c
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 [, ]
Temos ento que, em geral, [, ] = 0, signicando que [, ] |V = 0, para um vetor a |V genrico. e
14
CAP ITULO 1.
Identidades uteis envolvendo comutadores: [, ] = [, ] + [, ] [, ] = [, ] + [, ] A vericaao das identidades acima deixada como exerc para o leitor. c e cio
1.7
Matrizes como representaoes de operadores c
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
1.7. MATRIZES COMO REPRESENTACOES DE OPERADORES De modo que se |V = ento a v1 v2 . . . vn |V = 11 12 1n 21 22 2n . . . .. . . . . . . . n1 n2 nn v1 v2 . . . vn
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.
ESPACOS VETORIAIS DE DIMENSAO FINITA V | = V |.
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 | .
que so bastante uteis na manipulaao de operadores adjuntos a c
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
1.7. MATRIZES COMO REPRESENTACOES DE OPERADORES 1. () = . 2. ( + ) = + ; 3. () = ; 4. (a) = a ; 5. ( ) = .
17
1.7.2
Operadores Hermiteanos e Unitrios a
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.
3. Os autovalores de um operador hermiteano so reais. a Demonstrao. A equaao de autovalor ca c e |V = |V V | = V | V ||V = V |V = .
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.
1.7. MATRIZES COMO REPRESENTACOES DE OPERADORES
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
CAP ITULO 1. Clculo dos autovalores: a = i i
= 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
Ento na base B = {|1 , |2 } a matriz simplesmente a e = 1 0 0 1 .
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|
1.8. OPERADORES DE PROJECAO E DECOMPOSICAO ESPECTRAL
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
Operadores de projeo e decomposio espectral ca ca
V em um dado subespao de V. Assim, se aplicarmos P a um vetor que j pertence ao c a

respectivo subespao, nada acontece, uma vez que o vetor j est projetado no subespao c a a c em questo. Dessa propriedade esperada do conceito de projeo, decorre naturalmente a a ca deniao de operador de projeao. c c Denio 1.17. Um operador hermiteano P dito um operador de projeo se P 2 = P. ca e ca Denio 1.18. Se P1 e P2 so operadores de projeo com P1 P2 = P2 P1 = 0, ento P1 e ca a ca a P2 so ditos ortogonais entre si. a Deixamos para o leitor vericar que se P1 e P2 so dois operadores de projeao, ento a c a P1 + P2 um operador de projeao se, e somente se, P1 P2 = P2 P1 = 0. Em outras palavras, e c a soma de operadores de projeao ortogonais um operador de projeao. Ou seja, se c e c Pi P j = ento P = a
i
Como o nome sugere, um operador de projeao P projeta vetores de um espao vetorial c c
Pi , i = j 0, i = j
Pi operador de projeao e vice-versa. e c
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
= Logo temos a relaao desejada: c |V =

i i
V |I|V .
Pi = I. De modo mais direto, temos i|V |i =

i i
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
(autoespaos so ortogonais); c a (autovetores formam uma base completa); ( diagonalizvel). e a
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
Exemplo 1.7. No exemplo anterior vimos que para a matriz = |1 =

1 2
, temos 1 = 1,
1 i
e 2 = 1, |2 =
1 2
1 i 1 i 1 i
. Os respectivos operadores de projeo so ca a 1 1 (1, i) = 2 2 1 1 (1, i) = 2 2 1 i i 1 1 i i 1
1 P1 = |1 1 | = 2 e 1 P2 = |2 2 | = 2
Decomposio Espectral: ca 1 P1 + 2 P2 = 1 1 2 1 i i 1 + (1) 1 2 1 i i 1 = 0 i i 0 = .
1.8.1
Operadores Hermiteanos Simultaneamente Diagonalizveis a
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
Seja um operador. A n-sima potncia denida da maneira usual: e e e

n vezes
= .
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 .
Ento a funao f () o operador denido pela srie a c e e
f () =
n=0
an n .
Exemplo 1.8. O operador exponencial de e 1 1 e = I + + 2 + 3 + = 2 3!

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 .
3. Calcule os autovalores e respectivos autovetores das matrizes de Pauli 1 = 0 1 1 0 , 2 = 0 i i 0 , 3 = 1 0 0 1 .
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.
Cap tulo 2 Espaos Vetoriais de Dimenso c a Innita

Espao de funes e o espao L2 c co c Espao de Hilbert c
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.
ESPACOS VETORIAIS DE DIMENSAO INFINITA
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 < .
2.2. ESPACO DE HILBERT e denirmos o produto vetorial de maneira anloga ao Rn : a
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
Espaos das funoes testes e espao de Hilbert equic c c pado
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).
2.3. ESPACOS DAS FUNCOES TESTES E ESPACO DE HILBERT EQUIPADO
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 /
|xf (x)|2 dx < .
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) =
0 , |x| 1/n n/2 , |x| < 1/n, n = 1, 2, 3, . . .
0 e Nesse caso temos n CF . Alm disso 1/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
n (x)f (x)dx = f (0).
Em outras palavras, o funcional | formalmente denido por e () | (|f ) = f (0), |f .
2.3. ESPACOS DAS FUNCOES TESTES E ESPACO DE HILBERT EQUIPADO
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
(x)f (x)dx = f (0).
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
signicando que |f lim Exemplo 2.3. A funo de Heaviside ca (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
Bases cont nuas
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 |f = lim =
(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 =
n (x)n (x)f (x)dx.
Em particular note que
|| = | | | = 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
2.4. BASES CONT INUAS
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.
O produto interno entre duas distribuioes | e | : c e
(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,
donde concluimos que x |x = (x x ). relaao de ortogonalidade da base{|x }x . c
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
Operadores em Espaos de Hilbert c
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
entre A e |u segue que i|A|u = i|v i|A I|u = i|v i| A

j
|j j|u = i|v i|A|j j|u = i|v
Aij vj = u;
que a regra usual de multiplicaao de matriz por vetor. e c
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|f = x|K I|f

b
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 ),
2.5. OPERADORES EM ESPACOS DE HILBERT
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 |
ou de maneira alternativa |A| = sup {A |f } .

|f |=1
Se |A| < o operador dito limitado; e Se |A| = o operador dito ilimitado. e
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.
Exemplo 2.4 (Operador deslocamento a direita). Considere o espao C , ento ` c a v1 v2 . . . , com
|V = vn . . .
|vi |2 < .
i=1
Uma base de C | conforme vimos: e 0 1 1 |1 = 0 , |2 = 0 . . . . . . Dena o operador A |i = |i + 1 . Ento a |V ou seja |V = 0 v1 v2 0 . . . . A |V = A

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
Decomposio Espectral de Operadores ca
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.
2.5. OPERADORES EM ESPACOS DE HILBERT
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.
Alm disso, os autovetores |i so multuamente ortogonais e vale a seguinte decomposio e a ca espectral
=
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
ilimitada pois E pode em princ e pio assumir qualquer valor positivo.
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).
2.6. EXERC ICIOS
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
corresponde a uma matriz diagonal. Determine dessa forma as autoenergias En do sistema.
2.6. EXERC ICIOS
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 (x)f (x)dx = f (0). n 1 . 1 + n 2 x2
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.
Cap tulo 3 Postulados da Mecnica Quntica a a
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
CAP ITULO 3. POSTULADOS DA MECANICA QUANTICA
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 ] =??.
Veremos ainda no Cap. 7 que em termos de novos operadores a e a , denidos por a= m X +i 2 1 P, 2m a = m X i 2 1 P, 2m
o hamiltoniano H escreve-se como H= a a + 1 2 .
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
ento o operador hamiltoniano correspondente ser a a H= 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
i) se os autovalores i de forem no degenerados, ento a probabilidade de obtermos o a a valor i e P(i ) = | i | |2 .
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
= = Da mesma forma para a verso cont a nua

|i i | |
| = 1.
dP() =

p()d =
| | |2 d
| | d
= =
| | d |
| = 1.
3.2. DISCUSSAO SOBRE O POSTULADO II
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
Discusso sobre o Postulado II a

Equao de Schrdinger ca o
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
pode ser escrita como uma equaao diferencial parcial: c

2
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
3.2. DISCUSSAO SOBRE O POSTULADO II
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 ,
onde aE = E|(0) , ou seja |(t) =

E
E|(0) eiEt/ |E
ou |(t) =
E
eiEt/ |E E| |(0) = eiEt/ |(0) .
Donde concluimos que U (t) = eiEt/ e |(t) = U |(0) .
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
Discusso sobre o Postulado da Medida a
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
3.3. DISCUSSAO SOBRE O POSTULADO DA MEDIDA
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
Precesso do Momento Angular (Clssico) a a
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 .
Ento a probabilidade de obtermos os valores Sx = 1 sero como obtidos abaixo. a a
Autovetores de x : Sx = 1 : assim temos 1 |Sx = +1 = 2 1 1 1 e |Sx = 1 = 2 1 1 . 1) 1 0 |2 = 1 2 1 0 0 1 a b = 0 b = a,
1 P(Sx = +1) = | Sx = +1| |2 = | Sx = +1|Sz = +1 |2 = | (1 2 e 1 P(Sx = 1) = | Sx = 1|Sz = +1 |2 = . 2
3.3.2
Valor Mdio de um Observvel e a
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 | |
|| ,
onde usamos o teorema da decomposio espectral ca =

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 ).
Repetindo o mesmo procedimento anterior, temos ()2 = |

i
(i )2 |i i | | .
Usando agora a relaao c f () =

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
Preparao de Estados e Conjunto Completo de Observveis ca a
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
3.4. EXERC ICIOS
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
Variveis Compat a veis.
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
1. Considere as matrizes 2 2 abaixo Sx = 2 , Sy = 2 , Sz = 2 ,
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
Cap tulo 4 Relaes de Incerteza co
4.1
Deduo das relaes de incerteza ca co
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 .
obs.: a igualdade verica-se apenas se |V1 = c |V2 . 61
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
Para o caso de operadores canonicamente conjugados, i.e., em que [, ] = i temos ( = )
1 2 ( + [, ] 2 ). 4 Como o segundo termo sempre positivo, podemos escrever e ()2 ()2 ()2 ()2 1 4
2
Note ainda que a igualdade s se verica se o
i) | = |
4.2. PACOTE DE M INIMA INCERTEZA ii) [, ] = 0.
63
Em particular, para o caso = X, = P : [X, P ] = i P X /2 P d . i dx
Note ainda que para o caso dos operadores T e H, a equaao de Schrdinger: c o H | = i d | dt
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
Pacote de m nima incerteza
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
CAP ITULO 4. RELACOES DE INCERTEZA i u i i = cx + = cx + u u = i u u = Aeix/ .
Ento a (x) = (0) exp {i[ P c X ]x/ } exp icx2 /2 .
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
onde zemos (x)2 = /2|c| : largura do pacote de onda. Se calcularmos |

min
na bese dos momentos {|p } teremos 1 (p) = 2
(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
4.3. APLICACOES DO PRINC IPIO DA INCERTEZA
65
4.3
4.3.1
Aplicaes do Princ co pio da Incerteza

Estado fundamental do Oscilador Harmnico o
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
CAP ITULO 4. RELACOES DE INCERTEZA
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
Estado Fundamental do tomo de Hidrognio a e

e2 P2 , 2m |R| H=
H= ou
e : carga do eltron em unidades cgs e
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
Considerando estados com Pi = 0, temos H = (Px )2 + (Py )2 + (Pz )2 e2 2m 1 + 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
Veremos mais adiante que o estado fundamental do tomo de hidrognio a e e E0 = me4 . 2 2
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
Cap tulo 5 Problemas Unidimensionais Simples
5.1
Part cula Livre
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
CAP ITULO 5. PROBLEMAS UNIDIMENSIONAIS SIMPLES
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
[Aeikx + Beikx ] k t 2m + B exp ik x + k t 2m
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.
eiE(p)t/ x|p p|x 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
Completando os quadrados e usando o fato de que 1 2 2

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)
x|U (t)|x x |(0) dx U (x, t; x )(x , 0)dx .
= No caso mais geral (x, t) =
U (x, t; x , t )(x , t )dx ,
onde U (x, t; x , t ) = x|U (t t )|x .
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) =
U (x, t; x )(x x0 )dx = U (x, t; x0 , t0 ),
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
ou seja, a part cula evolui como um pacote de onda gaussiano.
5.2
Part cula na Caixa
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
0 , |x| < L/2 , |x| L/2,
O operador hamiltoniano H atuando nesse espao simplesmente c e H= P2 . 2m
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 .
5.2. PART ICULA NA CAIXA
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
AeikL/2 = BeikL/2 AeikL/2 = BeikL/2
Logo,
B = A , n par B=A , n mpar
, 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,
n (x) = A autoenergia correspondente e En =

2 2 kn
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
5.2. PART ICULA NA CAIXA
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| ,
que na base {|x } ca x|U (t)|x

= exp{iHt/ }n (x)n (x )
=
n=1
n (x)n (x ) exp
n . 2mL2
2 2 2
(no h forma fechada para essa somatria.) a a o
5.2.1
Evoluo de um Pacote de Onda Gaussiano ca
Considere um pacote de onda da forma (x , 0) = e

ip0 x /
ex /2 . (2 )1/4
Nesse caso o pacote de onda est centrado (em t 0) na origem, a
x =
x (x , 0)dx = 0
com uma largura (incerteza) x = (x, t) = m 2i t
x2 = / 2. No tempo t posterior temos exp{x 2 /22 } dx . (2 )1/4
exp{im(x x )2 /2 t} exp{ip0 x / }
Completando os quadrados novamente, obtemos (x, t) = 1 1/2 +

i t m
exp i
p0
p0 t 2m
exp
(x p0 t/m)2 22 (1 + i t/m2 )
A densidade de probabilidade e P(x, t) = |(x, t)|2 = Ento: a 1 2 +

2 t2 m 2 2
exp
(x p0 t/m)2 . 2 + 2 t2 /m2 2
(i) X = p0 t P t = m m consequncia do teorema de Ehrenfest e
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.
Estados Ligados (E < 0) : Como V0 < E < 0, k= ik = 2mE

2
=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.
Ento a C(eik L/2 + eik L/2 ) = BekL/2 .
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 .
Similarmente para funoes c mpares, obtemos k cot kL 2 =k (II)
I e II so as condioes de quantizao. a c ca
5.3
Equao da Continuidade ca
Considere a equao de Schrdinger ca o i

2 = H = t 2m 2
+ V (x) .
Tomando o complexo conjugado temos i

2 = H = t 2m 2
+ V .
Multiplicando a primeira por e a segunda por , temos i i Subtraindo, temos i

2 ( ) = [ t 2m 2 2 = t 2m 2 = t 2m 2
+ V (x) + V (x)
] =
2m
[ ]
Ou seja, P (x, t) + t
( ) + t 2mi J = 0,
[ ] = 0.
(equao da continuidade) ca
5.4. POTENCIAL DEGRAU onde P a densidade de probabilidade e J a corrente de probabilidade: e e J= 2mi [ ].
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
P (x, t)d3 x = const = 1,
ou seja, o valor da constante pode ser escolhido igual a um.
5.4
Potencial Degrau
Considere o potencial V (x) = 0 , x<0 V0 , x > 0
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 /
Assim temos 2k1 A = (k1 + k2 )C e (k2 k1 )A + (k2 + k1 )B C=
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
Como para cada B existe um unico k1 = k1 (x) = A eik1 x +
podemos rotular as soluoes por k1 : c

2 k1 2mV0 / 2 x (x) ,
B ik1 x C e (x) + eik2 x exp i A A
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
que corresponde a um pacote gaussiano a esquerda da barreira de potencial: ` X = a e incertezas X = , P = . 2 2
Para saber a evoluo do pacote, vamos decomp-lo em ondas planas ca o |I = onde aE = E |I = k1 |I .
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
eik2 x (x)I (x)dx
Ento a aE A
eik1 x I (x)dx
eik1 x I (x)dx.
Escolha A = 1/ 2 (justicativa depois), logo 1 a(k1 ) = 2
eik1 x I (x)dx.
Ou seja a(k1 ) , aproximadamente, a transformada de Fourier de I (x) : e a(k1 ) = 2

1/4
exp (k1 k0 )2
2 2
ei k1 a.
note que a(k1 ) tem um pico sharp em k1 = k0 , como suposto.
5.5. ALGUNS TEOREMAS Para tempos posteriores, podemos evoluir cada onda plana individualmente, ou seja
81
(x, t) = exp{iHt/ }I (x) =
a(k1 ) exp{iHt/ }I (x)dk1
2 4 3
1/4
2 exp i k1 t/2m exp (k1 k0 )2 2 /2 exp{ik1 a}
eik1 x (x) + Anlise dos termos entre chaves: a
B A
eik1 x (x) +
C A
eik2 x (x) dk1
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.
Temos ainda que T + R = 1 e portanto 2 E0 V0 C . T = A E0
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
(x)|(d2 /dx2 ) (x) , d2 (x) = 2 dx
exp{x2 /2}
1/4
exp{x2 /2}(1x2 )
82 Logo E() = 2 2m 2 = 2m 2 = 2m 2 = 2m
1/2
exp{x2 /2}(1 x2 ) exp{x2 /2}dx

1/2
(1 x2 ) exp{x2 }dx
1/2
2/2 1/2 2/2 1 , 2
2/2
/2 > 1
E() < 0. 0, ento 0 > E() a E0 E0 < 0.
Como |H|
Teorema 5.2. No h degenerescncia em um estado ligado em 1D. a a e
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
Para x 1 , 2 0, pois estado ligado, logo C = 0 : e 1 d2 d1 2 dx dx
1 d1 1 d2 1 dx 2 dx d(ln 1 ) d(ln 2 ) = dx dx ln 1 = ln 2 + C 1 = A2 , logo so o mesmo estado. a
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.
5.6. EXERC ICIOS
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.
Cap tulo 6 Oscilador Harmnico o
6.1
Soluo pelo Mtodo Algbrico ca e e
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
Algebra dos operadores de levantamento e abaixamento
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
CAP ITULO 6. OSCILADOR HARMONICO
(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 ,
88 Demonstrao. Para qualquer | temos ca H
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
6.1. SOLUCAO PELO METODO ALGEBRICO
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 . . . . . . . . . .. .
90 Da mesma forma (a )n n = n |a|n = logo a = 0 0 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
Isso garante que a aao de a e a+ em permanece em ! c
6.1.2
Clculo das Autofunes a co
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
que pode ser facilmente integrada:
92 d0 m = 0 xdx
CAP ITULO 6. OSCILADOR HARMONICO ln 0 = m x2 +C 2
m 2 x 2 A constante de normalizao A escolhida para garantir norma unitria ca e a 0 (x) = A exp
||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 ,
1 2m 2 2 (x) = x 1 0 (x). 2 Note que se zermos uma mudana de varivel c a y= m x
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
Soluo da Equao de Schrdinger ca ca o
A equaao de autovalor para o operador hamiltoniano H do oscilador harmnico c o e H |E = E |E P2 1 + m 2 X 2 |E = E |E . 2m 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=
E se denirmos um parmetro de energia adimensional a E E = , 2 b2 m
96 ento a EDO acima torna-se simplesmente a
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
nCn y n1 n(n 1)Cn y n2

n=2
u =
n=0
n(n 1)Cn y
n2
que substituidos na EDO acima resulta

n(n 1)Cn y
n=2
n2
2
n=0
nCn y +
n=0
(2 1)Cn y n = 0.
Fazendo m = n 2 na primeira srie e depois renomeando m n, temos e
[(n + 1)(n + 2)Cn+2 + (2 1 2n)Cn ] y n = 0.

n=0
Logo a srie deve se anular termo a termo e (n + 1)(n + 2)Cn+2 + [2 1 2n]Cn = 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,
donde tem-se que ( n )! an+2 = n 2 = an ( 2 + 1)!

n 2
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
6.3. EXERC ICIOS
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
2 Hn (y)Hn (y)ey dy = ( 2n n)nn .
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 .
6.3. EXERC ICIOS
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
D()|0 = e|| logo | = D() |0 , como desejado.
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
Cap tulo 7 Limite Clssico e o Teorema de a Ehrenfest
7.1
Evoluo do Valor Mdio de uma Observvel ca e a
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) .
Logo a variaao temporal dessa quantidade c e d = || + || + || . dt Mas pela equaao de Scrdinger c o i = H | e i = | H.
Ento a d dt = = = i i || + || + || { |H| |H| } + || |(H H)| + || i |[, H]| + || . 103
104 Ou seja
CAP ITULO 7. LIMITE CLASSICO E O TEOREMA DE EHRENFEST
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
como pode ser facilmente demonstrado a partir das equaes de Hamilton co xi = H H e pi = . pi xi
Em particular, se no depender do tempo, a equao (7.1) reduz-se a a ca d i = [, H] . dt (7.2)
7.2
Teorema de Ehrenfest
Usando (7.2) com as variveis X e P, temos a i d X [X, H] dt (7.3)
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
[P, V (X)] = [P,

n=0
an X n ] an [P, X n ]
=
n=0
= i
n
an nX n1 d dx an nX n
n
= i Donde segue que [P, V (X)] = i logo
d V (X), dx dV dx P . m
[P, H] = i Portanto as equaoes (7.3) e (7.4) tornam-se c
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
exp{ip0 (x x0 )/ } exp{(x x0 )2 /22 }.
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
Note que rigorosamente o teorema de Ehrenfest s nos garante que o pcm = d P = dt dV dx .
A questo, portanto, saber em que circunstncias podemos ter a e a V (x) x V (xcm ) V( x )= . x x
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
Se o opacote for bem localizado na posio, isto , X ca e
7.4. EXERC ICIOS Da mesma forma xcm d x = dt H p H (xcm , pcm ), se p p 1.
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
Cap tulo 8 Simetrias e Leis de Conservao ca
8.1
8.1.1
Simetria em Mecnica Clssica a a

Evoluo Temporal e Variveis C ca a clicas
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
CAP ITULO 8. SIMETRIAS E LEIS DE CONSERVACAO
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
Transformaes Cannicas e seus Geradores co o
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)
1. Claramente a transformaao acima c e g qi + O( 2 )
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
Donde vemos que = {, g}. (8.8)
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
segue ento que a = e{,g} . (8.11)
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
8.1. SIMETRIA EM MECANICA CLASSICA
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
8.1. SIMETRIA EM MECANICA CLASSICA logo T [(x)] = exp{(x )z }(x) = (R(k)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
Em resumo, o teorema de Noether na verso hamiltonmiana nos diz que a H = 0 dg = 0. dt
8.2
8.2.1
Transformaes de Simetria em Mecnica Quntica co a a

Tranformaes Ativas co
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
8.2. TRANSFORMACOES DE SIMETRIA EM MECANICA QUANTICA
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)
8.2. TRANSFORMACOES DE SIMETRIA EM MECANICA QUANTICA
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
8.3. TRANSFORMACOES ESPACIAIS
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
Transformaes Unitrias e seus Geradores co a
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)
Considerando uma transformaao innitesimal, temos c S =1 i G, (8.84)
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],
8.4. TRANSFORMACOES UNITARIAS E SEUS GERADORES ou seja = i [, 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)
isto , e = eiG/ eiG/ . (8.87)
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)
onde R(n) a matriz de rotaao denida na Sec. 8.3.2. e c
126
8.5
8.5.1
Evoluo Temporal como uma Transformao Unitria ca ca a

Translao Temporal ca
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
Representaoes de Schrdinger e Heisenberg c o
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) .
8.6. SIMETRIAS E LEIS DE CONSERVACAO
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
Simetrias e Leis de Conservao ca
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.
8.7. SIMETRIAS DISCRETAS Paridade de Operadores
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
b) Escreva as matrizes x e y geradoras das rotaes em torno dos eixos x e y, co respectivamente.
8.8. EXERC ICIOS
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.
Cap tulo 9 Momento Angular
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
CAP ITULO 9. MOMENTO ANGULAR
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)
entenda-se o operador tal que (rf ) r f= , r r
logo 1 r r r
2
f=
1 (rf ) r r r 2 2 = + 2 r r r
f,
como usado em (9.5). Denimos agora o operador Pr como Pr = 1 r. i r r (9.6)
9.1. POTENCIAL CENTRAL
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
(9.14) (9.15) (9.16)
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
Algebra do Momento Angular
As componentes Li , i =1,2 e 3, do momento angular L = X P so a Li =

ijk Xj Pk ,
(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)
9.2. ALGEBRA DO MOMENTO ANGULAR
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
Vamos denotar por |m os autovetores comuns a L2 e Lz : L2 |m = 2 |m , Lz |m = m|m , (9.24) (9.25)
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 ,
144 concluimos que
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)
9.2. ALGEBRA DO MOMENTO ANGULAR
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
Na base {|lm } o operador L2 diagonal, logo temos a seguinte representaao matricial e c 0 0 0 0 0 0 2 0 0 0 0 0 2 0 0 L2 = 0 0 0 2 0 0 0 0 0 6 . . . . . .. . . . . . . . . . . .
146
Jz tambm uma matriz diagonal com elementos m . e e Por outro lado: J(x/y) = 1 i 1 i 1 i
1 [L+ L ] 2 (9.40) (9.41) (9.42) (9.43)
l m |J(x/y) |lm = = = 2
1 l m |L+ L |lm 2 2 l(l + 1) m(m + 1) l m |l(m + 1)
l(l + 1) m(m 1) l m |l(m 1) 1 i ll m (m+1) l(l + 1) m(m + 1)
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
Autofunes de L2 e Lz na base de Coordenadas co
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)
148 Usando agora o fato de que
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
(2l)(1) (2l + 1)(2) . . . (l + m + 1)(l m) |lm ,
(9.64)
(l + m)! (2l)!(l m)!
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
ei(n1) (sin )1n
d (sin ) d(cos )
F () .
(9.67)
[ein F ()] = ( 1)p ei(np) (sin )pn
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
2l + 1 (l m)! (1)m eim Plm (cos ), 4 (l + m)! dlm l 1 x2 . lm dx
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 (, )
9.4. EQUACAO DIFERENCIAL DE AUTOVALOR PARA L2 onde Clm =

Ylm (, )(, )d
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)
cos sin2 ei2 (9.79)
15 2 15 8 5 4
sin cos ei
3 2
cos2
1 2
9.4
Equao Diferencial de Autovalor para L2 ca
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)
1 1 e e e sin sin 1 1 1 e e e e e e sin sin sin e
(9.81) (9.82)
Usando agora as relaoes c e e = 0, e = 0, e e e = cos , e = 0, (9.83) (9.84)
152 obtemos L2 = = ou L2 =
2 2
1 2 2 1 ( cos )2 + 2 sin sin2 2 2 1 2 cos + + 2 sin sin2 2 1 sin sin + 1 2 sin2 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
Cap tulo 10 Potencial Central I: Formalismo e Potenciais Simples
10.1
Separao de Variveis e a Equao Radial ca a ca
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
l(l + 1) Pr2 + + V (r) RElm (r)Ylm = ERElm (r)Ylm 2r2 2 155
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
l(l + 1) + V (r) RElm (r) = ERElm (r) 2r2
1 d 2d r + 2 r2 dr dr d2 2 d + 2 dr r dr
l(l + 1) + V (r) RElm (r) = ERElm (r) 2r2

2
l(l + 1) + V (r) RElm (r) = ERElm (r). 2r2
(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)
l(l + 1) + V (r) UEl = EUEl , 2r2
(10.3)
que equivale a uma equao de Schrdinger em 1D com o potencial efetivo: ca o

2
Vef (r) = V (r) +
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:
i) aqui a varivel r varia de 0 a (e no de a + como a varivel x ); a a a
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
|(x)| d x = logo devemos ter
2 3
=
0
2 UEl (r)dr < ,
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
l(l + 1) + V (r) 2r2
Devemos exigir que Hef seja hermitiano:

U1 |Hef U2 = U2 |Hef U1
= U2 |Hef U1
ou
0
U1 (Hef U2 ) dr = 0 2 U1 0 0 2
[U2 (Hef U1 ) dr]
2m
2
d2 d U2 U2 2 U1 dr = 0 dr2 dr
donde conclu mos que
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
Propriedades Gerais da Funo Radial ca
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
10.2. PROPRIEDADES GERAIS DA FUNCAO RADIAL
159
10.2.1
Comportamento assinttico para r 0 o
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
Comportamento assinttico para r o
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
Temos dois casos de interesse:
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
que aps integrao resulta o ca f (r) = f (r0 ) exp V (r)dr .

r0
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
UEl (r)UE l (r)drEE ,

0
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
1. Considere o oscilador harmnico isotrpico em 3D: o o H=
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/ .
b) Procure soluoes para v(y) na forma de uma srie de potncias: c e 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
(l + 2)(l + 2 + 1)(Q |nll ).
ikr cos
=
l=0
il (2l + 1)jl (kr)Pl (cos ).
Dado: condiao de normalizao do polinmios de Legendre: c ca o

1
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
10.3. EXERC ICIOS
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
1. Mostre que nesse caso os estados ligados com l = 0
E 1 + 2V0
2 2 2V0 a2
n+
1 2
7. Considere um potencial atrativo do tipo delta-camada:

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
166CAP ITULO 10. POTENCIAL CENTRAL I: FORMALISMO E POTENCIAIS SIMPLES
Cap tulo 11 Potencial Central II: Atomo de Hidrognio e
11.1
Problema de Dois Corpos
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
CAP ITULO 11. POTENCIAL CENTRAL II: ATOMO DE HIDROGENIO
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.
Em termos dos novos operadores Pcm e Pr o hamiltoniano (11.2) l-se e H=

2 Pcm Pr2 + + V (|Xr |), 2M 2
(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
11.2. AUTOVALORES DE ENERGIA
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)
Derivando essa srie duas vezes, obtemos e
v =
k=0
(k + l + 1)Ck k+l (k + l + 1)(k + l)Ck k+l1 ,

k=0
v = que substitu em (11.17) resulta da
[(k + l + 1)(k + l) l(l + 1)]Ck

k=0
k+l+1
+
k=0
[e2 2(k + l + 1)]Ck k+l+2 = 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
[(k + l + 1)(k + l) l(l + 1)]Ck + [e2 2(k + l)]Ck1 k+l+1 = 0

k=1
donde segue a relaao de recorrncia c e e2 2(k + l) Ck = , Ck1 (k + l + 1)(k + l) l(l + 1) (11.20)
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!
2 2 ak+1 2k+1 k! = , = k ak 2 (k + 1)! k+1 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)
2m = 2(k + l + 1), |E| 2 2me4 4(k + l + 1)2 .
(11.23)
com k = 0, 1, 2, . . . e l = 0, 1, 2, . . . Denindo o nmero principal n como u n=k+l+1 , (11.24)
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
Em termos da unidade Rydeberg de energia me4 , 2 2
1 Ry =
onde 1 Ry = 13, 6 eV,
(11.27)
os n veis de energia do atomo de hidrognio escrevem-se simplesmente e En = 1 Ry. n2 (11.28)
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
Em termos do raio de Bohr,

2
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
logo a ordem de w() e k = n l 1.
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
viii) Ls (x) so dados explicitamente por a r

rs
Ls (x) r
=
k=0
(1)k+s
(r!)2 xk . k!(k + s)!(r s k)!
ix) Os polinmios Ls so ortogonais no o ndice r com a deniao apropriada de produto c r a interno:
Ls |Ls = r r
0
Ls (x)Ls (x) r r (r!)3 . (r s)!
dx xs ex funao peso c
= rr
176
e c x) Os polinmios Ls (x) tambm satisfazem a relaao o r
Ls |Ls = r r
0
[Ls (x)]2 xs+1 ex dx r (r!)3 (2r s + 1). (r s)!
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.
Unl (r) 1 Anl l+1 2l+1 = e vnl () = e Ln+l (2), r r r
= kr.
(11.40)
Usando a condio de normalizaao ca c |Unl (r)|2 dr = 1

0
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
(2r)l er L2l+1 (2r) . n+l
(11.41)
Em termos do raio de Bohr, temos = em|E| = 1 me4 me2 1 2m 2 2 = = , 2 2 n n na0
que substitu em (11.41) resulta do Rnl (r) r na0

l
er/na0 L2l+1 n+l
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
1 32a3 0 1 32a3 0 1 64a3 0
2
1/2
r a0
er/a0
r r/a0 cos e a0 r r/a0 e sin ei 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
[Ls (x)]2 xs+1 ex dx = r

0
(2r s + 1)(r!)3 , (r s)!
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 .
Mostre em seguida que o mximo de p(r) ocorre para r = n/ = n2 a0 . a
178
6. Verique que o vetor de Runge-Lenz A= 1 e2 P LLP X 2m r
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 ,
[Lz , Q+ ] |n, l, m = l Q+ |nl .
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
9. Problemas 13.1.4, 13.1.5, 13.3.1. 13.3.2 (Shankar).

Apostila MQ1 Vol1

Enviado por

Dados do documento

Título original

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Apostila MQ1 Vol1

Enviado por

Direitos autorais:

Formatos disponíveis

Fundamentos de Mecnica Quntica a a

Ultima atualizaao: 18 de agosto de 2009 c c Giovani L. Vasconcelos

Operadores de projeao e decomposiao espectral . . . . . . . . . . . . . . . c c 1.8.1 Operadores Hermiteanos Simultaneamente Diagonalizveis . . . . . . a

SUMARIO 1.10 Exerc cios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24

SUMARIO 3.4 Exerc cios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

SUMARIO Soluao da Equao de Schrdinger . . . . . . . . . . . . . . . . . . . . . . . c ca o Exerc cios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 94 99

7 Limite Clssico e o Teorema de Ehrenfest a 7.1 7.2 7.3 7.4

8 Simetrias e Leis de Conservao ca 8.1

Transformaoes Unitrias e seus Geradores . . . . . . . . . . . . . . . . . . . 124 c a

Exerc cios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 134

9 Momento Angular 9.1 9.2

9.3 9.4 9.5

10 Potencial Central I: Formalismo e Potenciais Simples

11 Potencial Central II: Atomo de Hidrognio e

Cap tulo 1 Espaos Vetoriais de Dimenso Finita c a

ESPACOS VETORIAIS DE DIMENSAO FINITA

C = {faces de um dado}, card(C) = 6;

CAP ITULO 1. 5. elemento inverso da adiao: c

ESPACOS VETORIAIS DE DIMENSAO FINITA

Independncia Linear, Base e Dimenso e a

1.3. INDEPENDENCIA LINEAR, BASE E DIMENSAO

V, existem coecientes vi , tais que

ESPACOS VETORIAIS DE DIMENSAO FINITA

e similarmente para multiplicaao por escalar. c

Produto interno e notao de Dirac ca

Podemos generalizar o conceito de produto escalar do

ii) V |V 0, com igualdade sendo vericada somente se |V = |0 . iii) V | (a |W + b |Z ) = a V |W + b V |Z .

Vale lembrar ainda que

i) se V |W = 0, ento |V e |W so ditos mutuamente ortogonais. a a ii) |V | V |V a norma de |V . e

ESPACOS VETORIAIS DE DIMENSAO FINITA

onde I denota identidade. Em notaao matricial a decomposio acima l-se c ca e 1 0 0 1 0 0 |V = v1 + v2 + + vn . . . . . . 0 0

1.5. ESPACO DUAL

ESPACOS VETORIAIS DE DIMENSAO FINITA V, considere a

Produto interno como um funcional linear. Dado um vetor |V seguinte aplicaao: c V | : V K.

Regra de operaes adjuntas: co i) (a |V ) = V | a = a V | ii) (a |V + b |V ) = V | a + W | b = a V | + b W | .

1.6. OPERADORES LINEARES pois w1 . ( v1 , , vn ) . = . wn Dito de outra forma, se

Exemplo 1.4. Considere o adjunto da expresso a |i i|V .

vi i|, donde segue que

Nosso interesse maior so os operadores lineares, para os quais temos as propriedades: a (a |V ) = a |V e (a |V + b |W ) = a |V + b |W .

ESPACOS VETORIAIS DE DIMENSAO FINITA

est bem denida: a |V =

Operador inverso. O inverso de um operador denotado por 1 e denido por e 1 = 1 = I.

1.6. OPERADORES LINEARES

E poss denir de maneira natural as operaes de adio e multiplicaao de operadores: vel co ca c

Temos ento que, em geral, [, ] = 0, signicando que [, ] |V = 0, para um vetor a |V genrico. e

ESPACOS VETORIAIS DE DIMENSAO FINITA

Matrizes como representaoes de operadores c

1.7. MATRIZES COMO REPRESENTACOES DE OPERADORES De modo que se |V = ento a v1 v2 . . . vn |V = 11 12 1n 21 22 2n . . . .. . . . . . . . n1 n2 nn v1 v2 . . . vn

ESPACOS VETORIAIS DE DIMENSAO FINITA V | = V |.

que so bastante uteis na manipulaao de operadores adjuntos a c

1.7. MATRIZES COMO REPRESENTACOES DE OPERADORES 1. () = . 2. ( + ) = + ; 3. () = ; 4. (a) = a ; 5. ( ) = .

Operadores Hermiteanos e Unitrios a

ESPACOS VETORIAIS DE DIMENSAO FINITA

3. Os autovalores de um operador hermiteano so reais. a Demonstrao. A equaao de autovalor ca c e |V = |V V | = V | V ||V = V |V = .

1.7. MATRIZES COMO REPRESENTACOES DE OPERADORES

CAP ITULO 1. Clculo dos autovalores: a = i i

ESPACOS VETORIAIS DE DIMENSAO FINITA

Ento na base B = {|1 , |2 } a matriz simplesmente a e = 1 0 0 1 .

1.8. OPERADORES DE PROJECAO E DECOMPOSICAO ESPECTRAL

Operadores de projeo e decomposio espectral ca ca

V em um dado subespao de V. Assim, se aplicarmos P a um vetor que j pertence ao c a

Como o nome sugere, um operador de projeao P projeta vetores de um espao vetorial c c

Pi operador de projeao e vice-versa. e c