Você está na página 1de 152

Fsica moderna I - Parte C

MECNICA QUNTICA
M.C. Baldiotti
November 26, 2013

Contents
1 A Equao de Schrdinger
1.1 Preliminar . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.2 Equaes de Euler-Lagrange . . . . . . . . . . . . . . . . . . . . .
1.2.1 Coordenadas generalizadas . . . . . . . . . . . . . . . . .

3
3
3
4

2 Transformada de Legendre

3 Equaes de Hamilton
11
3.0.2 Signicado fsico da Hamiltoniana . . . . . . . . . . . . . 12
4 Princpio variacional
4.1 Exemplo: a braquistcrona. . . . . .
4.1.1 Equaes de Euler-Lagrange .
4.2 Princpio de Fermat . . . . . . . . .
4.3 Equao de Hamilton-Jacob . . . . .
4.3.1 Ao reduzida . . . . . . . .

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

.
.
.
.
.

5 Parnteses de Poisson (para Moderna II)

13
18
21
22
23
24
25

6 ptica geomtrica
28
6.1 A ptica e o princpio da mnima ao . . . . . . . . . . . . . . . 30
7 Mecnica e a ptica geomtrica
8 A equao de Schroedinger independente do
8.1 A partcula numa caixa . . . . . . . . . . . .
8.1.1 Nmeros qunticos . . . . . . . . . . .
8.1.2 Valores mdios . . . . . . . . . . . . .
8.1.3 Preparao de sistemas e superposio

32
tempo
. . . . .
. . . . .
. . . . .
. . . . .

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

34
37
41
41
42

9 A equao de Schroedinger dependente do tempo


47
9.0.4 A quantizao de Schrdinger e de Sommerfeld . . . . . . 50
9.1 Outras quantizaes . . . . . . . . . . . . . . . . . . . . . . . . . 53
10 Limite clssico

58

11 A equao de continuidade

59

12 Barreira de potencial nita

62

13 Barreira quadrada
70
13.1 Primeiro caso E > V . . . . . . . . . . . . . . . . . . . . . . . . . 72
13.2 Segundo caso E < V . . . . . . . . . . . . . . . . . . . . . . . . . 74
14 Poo nito
14.0.1 Energia negativa. . . . . . . . . .
14.0.2 Raiz negativa, primeira igualdade
14.0.3 Raiz positiva, segunda igualdade
14.0.4 Espectro contnuo e discreto . . .

.
.
.
.

.
.
.
.

15 Estrutura formal da MQ
15.1 Espaos vetoriais e operadores . . . . . . . .
15.2 Produto interno . . . . . . . . . . . . . . . .
15.2.1 Representao dual . . . . . . . . . .
15.3 Mudana de base . . . . . . . . . . . . . . .
15.4 Notao de Dirac . . . . . . . . . . . . . . .
15.5 Operadores . . . . . . . . . . . . . . . . . .
15.6 Autovalores e autovetores . . . . . . . . . .
15.6.1 Espao euclidiano de dimenso nita
15.7 Espao de Hilbert . . . . . . . . . . . . . . .
15.8 Operadores hermitianos . . . . . . . . . . .
15.9 Postulados da Mecnica Quntica . . . . . .
15.10O operador de momento . . . . . . . . . . .
15.11Quantizao . . . . . . . . . . . . . . . . . .
15.12O problema do ordenamento . . . . . . . . .
15.13Observveis compatveis . . . . . . . . . . .
15.14Partculas de spin 1/2 . . . . . . . . . . . .
15.14.1 Relaes de incerteza . . . . . . . . .
15.15O oscilador harmnico . . . . . . . . . . . .
15.15.1 Normalizao . . . . . . . . . . . . .

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

.
.
.
.

75
78
81
84
85

. . .
. . .
. . .
. . .
. . .
. . .
. . .
RN
. . .
. . .
. . .
. . .
. . .
. . .
. . .
. . .
. . .
. . .
. . .

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

87
88
89
93
94
95
96
99
99
100
104
110
120
121
123
124
127
132
134
139

.
.
.
.

.
.
.
.

16 Potenciais centrais
141
16.1 Autovalores e autovetores do momento angular . . . . . . . . . . 142
16.2 O tomo de hidrognio . . . . . . . . . . . . . . . . . . . . . . . . 148

A Equao de Schrdinger

Como vimos no caso da quantizao de Sommerfeld, a descrio da Mecnica


Clssica (MC) adequada para se introduzir um processo de quantizao no
a formulao de Newton. Isso verdade em geral. Tanto para os processos
da velha mecnica quntica, quanto da nova at a sua evoluo relativstica (a
Teoria Quntica de Campos). Um primeiro ponto que podemos salientar que,
tendo como base uma descrio ondulatria, as equaes envolvidas no processo
de descrio quntica devem, assim como a equao de onda, envolver derivadas
parciais. Enquanto a mecnica de Newton envolve derivadas totais. Alm disso,
como veremos a seguir, existe uma semelhana muito grande (notada bem antes
do advento da MQ) entre estas outras descries da MC (Hamilton, Lagrange
etc) e a descrio das caractersticas da luz na ptica geomtrica. De uma
forma geral, no s nesta parte do curso como na segunda parte (Moderna II)
impossvel apreciar o processo de surgimento e evoluo da MQ sem um conhecimento (ainda que enciclopdico) da descrio clssica da Mecnica Analtica.
Destarte, dedicaremos algum tempo para ganharmos uma certa familiaridade
com os termos e expresses envolvidos na Mecnica Analtica.

1.1

Preliminar

Se f = f (a; b) uma funo de duas variveis a; b ento


df =

@f
@f
da +
db ;
@a
@b

e, da mesma forma, se
df = g:da + h:db =) f = f (a; b) ;
no importando de quais variveis depende g e h. Pois, independente desta
variveis, a funo f s varia quando alteramos a e b. Alm disso,
g=

1.2

@f
@f
; h=
:
@a
@b

Equaes de Euler-Lagrange

Partindo da equao de Newton temos


d2 xi
:
dt2

(1)

@U
d
= m x_ i :
@xi
dt

(2)

Fi = m
Para foras conservativas
Fi =

A energia cintica em coordenadas cartesianas dada por (onde, assim


como na notao da relatividade, estamos admitindo que sempre existe uma
3

somatria implcita quando dois ndices se repetem)


3

X
m
2
2
T =
(x_ k ) ; (x_ k ) = x_ k x_ k =
x_ 2k ;
2
k=1

com isso temos


m @
1
@ x_ k
@ x_ k
@T
=
(x_ k ) (x_ k ) =
x_ k + x_ k
@ x_ i
2 @xi
2
@ x_ i
@ x_ i
m
=
[( ik ) x_ k + x_ k ik ] = mx_ i :
2
Voltando em (2)
d @T
d
d @T
@U
@U
= mx_ i =
=)
+
= 0 ; i = 1; 2; 3:
@xi
dt
dt @ x_ i
dt @ x_ i
@xi

(3)

Para sistema conservativos a energia potencial depende apenas das coordenadas


U = U (xi ; t). Enquanto a energia cintica , em coordenadas cartesianas1 ,
uma funo apenas das velocidades, T = T (x_ i ). Podemos com isso denir uma
funo que depende de x e x_ (e eventualmente do tempo)
L (xi ; x_ i ; t) = T (x_ i )
com isso

@L
@T
@L
=
;
=
@ x_ i
@ x_ i @xi
Substituindo em (3) temos
d @L
dt @ x_ i

U (xi ; t)
@U
:
@xi

@L
=0:
@xi

A funo L chamada de lagrangiana do sistema e as (3) equaes acima as


equaes de Lagrange. O desenvolvimento acima deixa claro que o sistema de
equaes acima equivalente s equaes de Newton.
1.2.1

Coordenadas generalizadas

Pela construo acima vemos que as equaes diferenciais parciais de Lagrange


so equivalente a equaes de Newton. A princpio equaes diferenciais parciais
so mais complicadas que EDO. Entretanto, existe uma grande vantagem nas
equaes de Lagrange.
Para coordenadas cartesianas, as equaes do movimento so:
Fi = m
1 Em

d2 xi
=) Fx = m
x ; Fy = m
y
dt2

coordenadas polares, por exemplo, a energia cintica


T =

1
r_ 2 + r 2 _2
m

depende da coordenada r.

J se usarmos coordenadas polares


x1 = x = r cos ; x2 = y = r sin ;
^ = y^ cos
x
^ sin ;
r^ = x cos + y^ sin ;
as equaes passam a ter a forma
Fr = m
r + mr _2 ; F = mr

2mr_ _ :

(4)

A obteno das equaes acima implica no laborioso processo de calcular as


derivadas de segunda ordem das coordenadas, isolar as componentes com versores ^ e r^ e identicar
@U
1 @U
; F =
:
Fr =
@r
r @
Para o caso particular de um pndulo de raio R, massa m sob a ao do
campo gravitacional g, escolhendo 2 [ =2; =2], temos
U ( ) = mgR (1
onde colocamos o zero de energia em
F =

cos )

= 0. Com isso

1 @U
=
R@

mg sin ; r_ = 0

Substituindo em (4)
g
2mr_ _ =) + sin = 0 :
R
Vamos ver como obter a equao do movimento acima na mecnica de Lagrange. Primeiro nos obtemos a energia cintica
F = mr

1
1
mv 2 ; v = R _ =) T = mR2 _2 ;
2
2
e, usando a energia potencial
T =

U ( ) = mgR (1

cos ) ;

temos

1
mR2 _2 mgR (1 cos ) :
2
Se esquecermos por um instante que estamos usando coordenadas polares e
usarmos diretamente as equaes de Lagrange (trocando x por ) temos
L=T

V =

@
@L
=
@
@

1
mR2 _2 mgR (1 cos )
2
@
= mgR (cos ) = mgR sin ;
@
@L
@ 1
=
mR2 _2 mgR (1 cos ) = mR2 _ ;
@_
@_ 2
5

com isso,
d @L
dt @ _

@L
d
mR2 _ + mgR sin
=
@
dt
= mR2 + mgR sin = 0

ou ainda

+ g sin = 0 :
R
Que precisamente a equao que seria obtida a partir da equao de Newton
e o laborioso processo descrito acima.
Este resultado pode ser provado de forma geral usando uma transformao
geral de coordenadas.
Para vericar isso imaginamos uma transformao qualquer (inversvel) das
coordenadas (tambm chamada transformao de ponto)
xi = xi (q; t) ; qi = qi (x; t)

(ou seja, qualquer relao inversvel entre x e q) com isso, podemos escrever
L = L (q; q;
_ t)
ou2
L = L (x; x;
_ t)
Resultados que vamos precisar:
1. Observado que x no depende de q_ (ou que q no depende de x)
_ podemos
calcular
q_j =

@qj dxi
@qj dx_ i
@qj
@qj
@qj
dqj
=
+
+
:
=
x_ i +
dt
@xi dt
@ x_ i dt
@tj
@xi
@t

De onde vemos que


q_m =

@qm
@qm
dqm
=
x_ j +
:
dt
@xj
@t

(5)

2. Lembrando agora que


qi = qi (x; t) =)
2 Na

@qj
@qj
= fij (x; t) ;
= gj (x; t) ;
@xi
@t

verdade, a funo
L (x; x;
_ t)

no a mesma funo das coordenadas L (q; q;


_ t), ou seja, se formos rigorosos devemos escrever
~ (q; q;
L
_ t). Mas podemos esquecer o til lembrando que estamos usando a denio de que a
lagrangiana uma funo escalar das coordenadas. Seu valor num determinado ponto fsico
no se altera por uma mudana das coordenadas.

podemos escrever3
q_j = fij x_ i + gj
e calcular

@ q_j
@fij
@ x_ i
@gj
=
x_ i + fij
+
@ x_ m
@ x_ m
@ x_ m
@ x_ m

onde nem f nem g dependem de x.


_ Com isso,
@ x_ i
@ q_j
= fij
= fij
@ x_ m
@ x_ m

im

= fmj =

@qj
@xm

ou seja,
@qj
@ q_j
=
:
@xi
@ x_ i

(6)

3. Derivando (5) em relao a xi temos


@ q_m
@ 2 qm
@qm @ x_ j
@ 2 qm
@ 2 qm
@ 2 qm
=
x_ j +
+
=
x_ j +
:
@xi
@xi @xj
@xj @xi
@xi @t
@xi @xj
@xi @t

(7)

4. Vamos agora calcular (lembre que t um parmetro livre),


L (q; q;
_ t) =)

@L
@L @qm
@L @ q_m
=
+
:
@xi
@qm @xi
@ q_m @xi

Usando (7) para reescrever o ltimo termo temos


@L @qm
@L
@ 2 qm
@ 2 qm
@L
=
+
x_ j +
@xi
@qm @xi
@ q_m @xi @xj
@xi @t

(8)

5. Lembrando que
@f
d
@f
f (x; t) =
x_ m +
dt
@xm
@t
e fazendo
fkj (x; t) =
temos

3 Lembre

@qk
@xj

d @qk
@ 2 qk
@ 2 qk
=
x_ m +
:
dt @xj
@xm @xj
@t@xj

que se
qi = qi (x; t) ;

temos
mas

d
qi = fi (x; x;
_ t) ;
dt
@qi
= fi (x; t) :
@t

(9)

Voltando agora para a nossa lagrangiana L (x (q; t) ; x_ (q; t) ; t) temos


@L
@L @qk
@L @ q_k
=
+
;
@ x_ j
@qk @ x_ j
@ q_k @ x_ j
e, lembrando que q = q (x; t) no depende de x,
_
@L
@L @ q_k
=
@ x_ j
@ q_k @ x_ j

(10)

Usando (6)
@L @qk
@L
=
;
@ x_ j
@ q_k @xj
Derivando a relao acima em relao ao tempo
d @L
=
dt @ x_ j

d @L
dt @ q_k

@qk
@L d @qk
+
:
@xj
@ q_k dt @xj

(11)

Substituindo (9) na relao acima


d @L
=
dt @ x_ j

d @L
dt @ q_k

@qk
@L
+
@xj
@ q_k

@ 2 qk
@ 2 qk
x_ m +
@xm @xj
@t@xj

(12)

Usando agora (12) e (8) podemos calcular


d @L
dt @ x_ i

@L
=
@xi
=
=

d @L
dt @ q_k

@qk
@L
+
@xi
@ q_n

@ 2 qn
@ 2 qm
x_ m +
@xm @xi
@t@xi

d @L @qk
@L
@ 2 qn
+
dt @ q_k @xi
@ q_n
@xm @xi
d @L
@L @qm
:
dt @ q_m
@qm @xi

@L @qm
@qm @xi

@ 2 qn
@ 2 qm
x_ m +
@xi @xm
@t@xi

@L
@ 2 qn
@ 2 qn
x_ j +
@ q_n @xi @xj
@xi @t
@ 2 qn
@xi @t

Como, lembrando que a nossa transformao geral e que L (x; x;


_ t) obedece
as EL, podemos armar que
d @L
dt @ q_m

@L
=0:
@qm

Ou seja:
Remark 1 As EL tm a mesma forma para qualquer sistema de coordenada.
Assim, utilizando as equaes de Lagrange temos uma liberdade completa
na escolha das coordenadas do sistema, o que pode ser utilizado explorando as
simetrias do problema. Ou seja, a principal vantagem das equaes de Lagrange
que elas independem do sistema de coordenadas usados. Com isso, se qi um
8

@L @qm
@qm @xi

conjunto qualquer de coordenadas que descrevem um sistema mecnico, este


sistema deve obedecer as equaes de Lagrange
d @L
dt @ q_i

@L
=0:
@qi

(13)

As coordenadas qi so chamadas de coordenadas generalizadas. Em especial,


observe que a relao entre as coordenadas generalizadas e as coordenadas cartesianas pode depender do tempo. A aplicao deste tipo de coordenada q (x; t)
nas equaes de Newton envolve, em geral, o surgimento de foras ctcias.
Entretanto, na mecnica Lagrangiana, isso no acontece.
Remark 2 Mais uma vez, enquanto a equao de Newton (1) s tem esta forma
em coordenadas cartesianas, as equaes de Lagrange (13) tm esta forma em
qualquer sistema de coordenadas.
Exercise 3 Uma conta (mianguinha) de massa m pode se mover livremente
numa barra rgida e reta que gira com velocidade constante !. Escreva a equao
do movimento da conta.

Transformada de Legendre

Em uma srie de problemas em fsica importante mudarmos as variveis que


usamos num problema. Por exemplo, na termodinmica uma quantidade muito
importante a energia interna de um sistema U (S; V ). Um inconveniente
desta quantidade que ela depende da entropia S, uma quantidade que no
pode ser medida diretamente com nenhum instrumento. Entretanto, pelas leis
da termodinmica, sabemos que a temperatura T de um corpo a variao da
sua energia interna com a entropia
@U
:
@S
Vamos ento denir uma nova quantidade F como
T =

F = T:S

(14)

(15)

Diferenciando esta quantidade temos


dF = T dS + SdT

dU ;

Sabendo que U = U (S; V ) temos


dU =

@U
@U
dS +
dV ;
@S
@V

com isso
@U
dS
@S

dF = T dS + SdT
=

@U
@S

dS + SdT

@U
dT
@T
@U
dV
@V

(16)

O fato importante na denio de F que, usando (14), temos


@U
dV ;
@V

dF = SdT

(17)

ou seja, a funo (15) assim denida no depende da entropia


F = F (T; V ) :
Com isso

@F
@F
dT +
dV ;
@T
@V

dF =
comparando com (17) temos
S=

@F
@F
;
=
@T
@V

@U
:
@V

O importante da quantidade F , chamada energia livre de Helmholtz, que ela


depende da temperatura e do volume, ambas quantidades que, diferente da
entropia, podem ser medidas com instrumentos usuais. Ou seja:
Remark 4 Podemos determinar F estudando as variaes das caractersticas
do sistema com respeito ao seu volume e a sua temperatura.
O procedimento acima um exemplo de um procedimento mais geral chamado
de transformada de Legendre. De forma geral, se f = f (x1 ; x2 ; :::; y1 ; y2 ; :::)
podemos denir uma nova funo
g = pi y i

(somatria em i) onde
pi =

@f
@yi

com isso
dg = (dpi :yi + pi :dyi )

df

@f
@f
dxi +
dyi
@xi
@yi
@f
dyi + dpi :yi
dxi
@xi

= (dpi :yi + pi :dyi )


=

pi

@f
@yi

que, pela denio de pi ,


dg = yi :dpi

@f
dxi
@xi

Ou seja a funo g no depende mais de yi , mas sim de um novo conjunto de


variveis pi .
10

Equaes de Hamilton

Nosso objetivo agora usar a transformada de Legendre nas equaes de Lagrange. Primeiramente lembramos que, pela denio acima
L = L (qi ; q_i ) ;
ou seja, a Lagrangiana depende das posies e das velocidades.
Agora vamos denir a quantidade
H = pi q_i
onde
pi =

(18)

@L
@ q_i

chamado momento conjugado da varivel qi (i.e., para q = x temos um momento linear, para q = um momento angular e, no caso geral, um momento
conjugado). Das equaes de Lagrange temos que, se uma determinada coordenada qm no aparece na Lagrangiana (chamada de coordenada cclica)
@L
d @L
= 0 =)
= p_i = 0 =) pi = const:
@qm
dt @ q_i
ento o momento associado a esta coordenada se conserva (e.g., para uma
partcula livre L = T o momento linear em qualquer direo se conserva).
Seguindo o procedimento da seo anterior temos
dH = dpi :q_i + pi :dq_i

dL :

Lembrando que L = L (q; q)


_ temos
dL =

@L
@L
dqi +
dq_i ;
@qi
@ q_i

com isso
@L
@L
dqi +
dq_i
@qi
@ q_i
@L
@L
dq_i + q_i :dpi
dqi ;
@ q_i
@qi

dH = dpi :q_i + pi :dq_i


= pi
e pela denio de pi

dH = q_i :dpi

@L
dqi
@qi

(19)

e, como espervamos, a funo H assim obtida uma funo de q e p e no mais


de q,
_ H = H (q; p). A quantidade H assim denida chamada de Hamiltoniana.
Sabendo que H = H (q; p) temos
dH =

@H
@H
dqi +
dpi :
@qi
@pi
11

Lembrando agora que q e p so coordenadas independentes em H (assim como


q e q_ eram em L, i.e, obviamente q_ depende de q, mas exatamente est relao
que queremos encontrar ao resolver a equaes de Lagrange) e comparando com
(19) temos
@H
@H
@L
= q_i ;
=
@pi
@qi
@qi
Se usarmos agora as equaes de Lagrange temos
d @L
@L
=
@qi
dt @ q_i
Lembrando a denio de p
pi =

@L
@L
d
=)
= pi = p_i
@ q_i
@qi
dt

Com o que
@H
@H
= q_i ;
= p_i :
@pi
@qi
Estas so as chamadas equaes de Hamilton (EH).

(20)

Problem 5 Qual a vantagem destas equaes?


Uma vantagem destas equaes que elas possuem apenas derivadas de
primeira ordem. Como a equao de Newton, a equao de Lagrange possui derivadas das velocidades o que resulta em derivadas de segunda ordem na
posio. Obviamente perdemos algo ao ganharmos esta facilidade. O ponto
que temos dois pares de EH, ou seja, usando a transformada de Legendre conseguimos transformar um sistema de n equaes diferenciais de segunda ordem
num sistema de 2n equaes diferenciais de primeira ordem4 . Entretanto, uma
grande vantagem em trabalharmos com a hamiltoniana que esta possui uma
interpretao fsica muito mais direta que a Lagrangiana.
3.0.2

Signicado fsico da Hamiltoniana

No caso geral, a energia cintica de um sistema uma funo quadrtica das


velocidades generalizadas
T = aij q_i q_j ; aij = aij (q) ;
(somatria em i e j) no caso de coordenadas cartesianas aij =
ciando a expresso acima temos

ij m=2.

Diferen-

@T
@ q_i
@ q_j
= aij
q_j + aij q_i
@ q_k
@ q_k
@ q_k
= aij ik q_j + aij q_i jk
= akj q_j + aik q_i
4 Na verdade, esta no a maior vantagem da EH, mas sim que, alm de todo o conjunto de
transformaes de coordenadas disponveis na formulao de Lagrange, tempos agora um conjunto muito maior de transformaes a nossa disposio. Voltaremos a isso quando falarmos
em transformaes cannicas.

12

ou, mudando o ndice mudo do primeiro termo


@T
= aki q_i + aik q_i
@ q_k
Multiplicando por q_k e efetuando uma somatria em k temos
@T
q_k = aki q_i q_k + aik q_i q_k
@ q_k
= T + T = 2T
Este resultado conhecido como teorema de Euler. Se usarmos agora este
resultado na denio de H temos
H = pi q_i L
@L
q_i (T U )
=
@ q_i
@T
=
q_i (T U )
@ q_i
= 2T T + U
=T +U :
Ou seja, a hamiltoniana a energia total do sistema.
Observe que, diferente da Lagrangiana (T U ) a energia total do sistema
uma quantidade que pode ser medida e, alm disso, uma quantidade
conservada para um sistema isolado. Esta outra vantagem da teoria de
Hamilton. Assim, utilizando a mecnica de Hamilton podemos, a partir da
energia total do sistema e de um sistema de 2n equaes de primeira ordem,
estudar a dinmica dos corpos.

Princpio variacional

Um problema importante e comumente encontrado o seguinte: dada uma


funo y = f (x) para quais valores de x a funo f , e conseqente y, possui
valores mximos e mnimos (estes valores so chamados de extremos da funo).
A resposta, obviamente, so os pontos onde a derivada de f se anula.
Um problema bem mais complicado, e interessante, o seguinte: considere
uma funo F dada em termos de uma outra funo y (x), que depende de um
parmetro livre x, e da derivada desta funo
F = F (y (x) ; y 0 (x) ; x) ; y 0 =

dy
:
dx

Considere agora a integral


I=

F (y (x) ; y 0 (x) ; x) dx

Assim, para cada funo y (x) diferente I assume um valor diferente.


13

Figure 1: Figura retirada do Marion.

Problem 6 Para quais funes y(x) a integral I um extremo?


Antes um pouco de nomenclaturas. Para se determinar o valor de F
necessrio conhecer 3 nmeros: x; y(x); y 0 (x), assim F : R3 ! R. Ou seja, F
uma funo com 3 parmetros (ou entradas).Agora, dada uma certa funo
y(x), para x 2 [a; b], podemos calcular o valor de I. Assim, o clculo de I
depende, no apenas do valor da funo y (x) num ponto, mas em todos os
pontos. Dizemos que I depende da funo y. A quantidade I, que depende
de uma funo, e no apenas de um conjunto nito de nmeros, chamada de
funcional.
Outro ponto importante que, dado dos valores y(x0 ) = a1 e y 0 (x0 ) = a2
sempre possvel encontrar uma funo y(x) que satisfaa esta condio. Ou seja,
dizer que x = 3 e y (3) = 2 no xa de forma alguma o valor de y 0 (3). Neste
sentido, as variveis y e y 0 so tratadas em F como sendo independentes.
Ou seja, F depende de y e y 0 (e, obviamente, de x). neste sentido que,
quando tratamos a Lagrangeana L (q; q;
_ x) de um sistema dizemos que q e q_
so quantidades independentes. Apesar de que, obviamente, a derivada de uma
funo depende da funo.Agora, para calcular I ns no podemos dar apenas
o valor de y(x) num dado ponto x0 , mas sim o valor desta funo em todo o
intervalo x 2 [a; b], ou seja, precisamos dar toda uma curva y(x). Dada uma
curva o valor da derivada desta curva est completamente determinada. Assim,
em I no possvel se especicar separadamente o valor de y e y 0 .
Resumindo, enquanto F uma funo de y, y 0 e x
F = F (y; y 0 ; x) ;
14

I um funcional apenas de y
I = I [y] :
Nosso problema de encontrar a funo y para a qual I um extremo um
problema do chamado clculo variacional.
Problem 7 Por que a derivada de uma funo nula nos extremos?
Isso ocorre porque a variaes do parmetro (x) em torno deste ponto no
geram variaes na funo y(x) (pelo menos at primeira ordem em dx). O
mesmo acontece com uma funo de duas variveis (o que pode ser visualizado
facilmente) ou com funes com um nmero qualquer de variveis (o que no
to simples de visualizar). Ou seja, se estivermos num ponto extremo da
funo, ao deslocarmos os argumentos uma quantidade innitesimal no haver
variao da nossa funo. A idia por detrs do clculo variacional exatamente
a mesma. Uma vez que o funcional I[y] depende de todos os valores de x 2
[a; b], podemos imaginar um funcional como uma funo de innitas variveis,
I (y (x1 ) ; y (x2 ) ; :::). Neste caso, a variao dos parmetros depende da variao
de cada valor y(x) para x 2 [a; b], ou seja, neste caso a variao tambm uma
nova funo
y(x) = y (x) + f (x) :
Assim, se tivermos encontrado a funo y(x) para a qual nosso funcional I [y]
um extremos, esperamos que ao variarmos um pouco esta funo (ou seja,
pegarmos uma curva y(x) muito prxima a y (x)) o valor do nosso funcional no
ir variar (Figura 1).
Suponha que y (x) a funo que resolve este problema (obviamente esta
a funo que queremos encontra). O fato de y (x) ser um extremo de I signica
ento que, com pequenas variaes em torno de y (x), o valor do integrando no
varia apreciavelmente (de forma anloga ao clculo ordinrio). Vamos ento
analisar como I varia se substitumos y pela funo (Figura 1)
y (x) = y (x) + " (x) ;
para uma funo (x) que, apesar de arbitrria, vamos supor dada, i.e.,
vamos variar apenas o valor de ". Ou seja:
Problem 8 Dada a funo y (x) que fornece o menor valor da integral I,
e uma funo (x) qualquer, como nosso funcional I varia por uma variao
de "?
Na verdade, em problemas variacionais, geralmente estamos interessados em
questes do tipo, qual curva sai de um ponto a e chega no ponto b minimizando
um certo funcional? Por isso, usualmente queremos estudar apenas as funes
para as quais a funo y passa pelo mesmo ponto inicial e nal, ou seja,
y (a) = y (a) ; y (b) = y (b) =) (a) = (b) = 0 :
15

Para a variao acima (onde y e so funes conhecidas) nosso integrando I


passa a depender apenas de " 2 R, ou seja, ser uma funo de " (pois " um
nmero)
Z b
F (y + " ; y 0 + " 0 ; x) dx :
I [y] ! I (") =
a

O ponto que agora, como uma funo, podemos usar o resultado do clculo
usual. Ou seja, saindo da curva y que resolve o problema (i.e., " = 0) pequenos
valores de " no devem fornecer variaes no valor de I ("). Assim, a nossa
funo I (") um extremo no ponto " = 0,
dI
d"

=0:

(21)

"=0

Tudo que precisamos agora dar uma denio precisa da diferencial dI=d".
Fazemos isso da forma usual
"Z
#
Z b
b
I [y + " ] I [y]
dI
1
0
0
0
= lim
= lim
F (y + " ; y + " ; x) dx
F (y; y ; x) dx
"!0 "
d" "=0 "!0
"
a
a
Z
1 b
[F (y + " ; y 0 + " 0 ; x) F (y; y 0 ; x)] dx
= lim
"!0 " a
Z b
[F (y + " ; y 0 + " 0 ; x) F (y; y 0 ; x)]
=
dx :
lim
"
a "!0
Agora, sendo F uma funo,
F (y + " ; y 0 + " 0 ; x) = F (y; y 0 ; x) +

@F
@F
" + 0 " 0 + O "2
@y
@y

ou seja
F (y + " ; y 0 + " 0 ; x)
"!0
"
lim

com isso
dI
d"

=
"=0

F (y; y 0 ; x)

@F
@F
+ 0
@y
@y

@F
@F
+ 0
@y
@y
dx :

(22)

Lembrando que 0 = d =dx podemos integrar o segundo membro da expresso


acima por partes
Z

@F
@F d
dx =
@y 0 dx
@y 0

b
a

d @F
dx @y 0

dx :

(23)

Agora usamos o fato de que a funo (x) (apesar de arbitrria) deve se anular
nos extremos (a) = (b) = 0
Z b
Z b
@F d
d @F
dx =
dx :
0 dx
@y
dx
@y 0
a
a
16

Substituindo em (22) temos


dI
d"

@F
@y

"=0

d @F
dx @y 0

@F
@y

d @F
dx @y 0

dx
dx :

(24)

Voltando agora para (21) temos


dI
d"

=0=

@F
@y

"=0

d @F
dx @y 0

dx

Para qualquer funo (x). Isso s possvel se o integrando for zero


d @F
dx @y 0

@F
@y

=0:

Se repetirmos o procedimento acima para uma funo F (y1 ; y2 ; ::; y10 ; y20 ; :::; x)
de vrias variveis, obteremos um termo idntico para a variao independente
de cada uma destas variveis. Ou seja, para variaes
yi (x) = yi (x) + " yi (x)
(onde usamos a notao yi no lugar de
funo yi ) teremos
dI
d"

=0=
"=0

para explicitar que a variao da

@F
@yi

d @F
dx @yi0

yi dx ;

(25)

(somatria em i). Assim, para F uma funo de vrias variveis este resultado
tem de ser vlido independentemente (pois cada yi arbitrria) para cada
variao,
@F
d @F
=0
(26)
@yi
dx @yi0
Esta a chamada equao de Euler.
Observe que, no nal, a nossa expresso (24) no depende de ". Alm disso,
para lembrar que no estamos falando do clculo usual, as pessoas inventam um
novo smbolo para a derivada (mas apenas um smbolo)
dI
d"

I [y] =
"=0

F (y; y 0 ; x) dx :

E lesse a variao funcional de I. Ou ainda, usando a notao acima, (25) pode


ser escrita como
Z b
d @F
@F
yi dx
(27)
I [y] =
@y
dx
@y 0
i
a
17

e, em analogia com o clculo ordinrio de uma funo f (x), costuma-se escrever


df
df =
dx ! I [y]
dx

I
yi dx =
yi

@F
@yi

d @F
dx @yi0

yi dx ;

ou seja,
I
@F
=
yi
@yi

d @F
dx @yi0

e lesse, a derivada funcional de I em relao a funo yi (x) (observe que I= y 0


no faz sentido). Mais uma vez, isso apenas uma notao5 , mas importante
que voc a conhea porque ela muito usada em livros e artigos.
Com isso, nesta simbologia, a nossa expresso ca
I [y] =

F (yi ; yi0 ; x) dx = 0 =)

I
=
yi

d @F
dx @yi0

@F
=0;
@yi

e lesse que, o fato da derivada funcional de I ser um extremo implica na equao


de Euler.

4.1

Exemplo: a braquistcrona.

Um problema variacional bastante famoso, proposto em numa revista cientca


por Bernoulli em 1696, o chamado problema da braquistcrona (do grego, o
tempo mais curto). Imagine dois pontos num plano, (x1 ; y1 ) e (x2 ; y2 ), se uma
fora constante for aplicada na direo x e uma partcula de massa m se mover
do primeiro ponto ao segundo sob ao desta fora, qual o caminho que esta
partcula deve percorrer para efetua o trajeto no menor tempo possvel?
Ou ainda, imagine que voc quer colocar um cano para guiar o movimento de
uma bolinha e quer saber a forma do cano para minimizar o tempo de percurso.
A resposta do problema acima exatamente a trajetria que a sua partcula
ter de fazer. Ou ainda, imagine que voc pendure uma corrente entre os dois
pontos acima (onde a fora , novamente, a gravidade), que curva esta corrente
ir desenhar (esta curva se chama catenria)? Todos estes exemplos se referem
ao mesmo problema. Vamos ento a sua soluo. Para fazer uma referncia
mais natural a fora gravitacional, colocamos os eixos como na gura abaixo.
Sabemos que a energia total do sistema T + U se conserva. Colocando o
zero do potencial no ponto de incio (x1 ; y1 ) e considerando que a partcula
foi lanada do repouso na direo x (podemos ignorar qualquer velocidade na
direo y pois, como no h foras nesta direo, ela se conserva) temos que no
ponto inicial
Ei = T + U = 0
5 Obviamente existe muito mais por trs do clculo variacional. Mas, se trabalharmos
apenas com funes bem comportadas (e.g., diferenciveis em todos os pontos), na grande
maioria dos casos podemos encarar apenas como uma notao.

18

Figure 2: Figura retirada do Marion de Mecnica.

Seguindo a analogia da fora gravitacional temos


F = mg =

@U
)U =
@x

1
mv 2 :
2
A conservao de energia nos d

mgx

T =

T + U = 0 =) v =

p
2gx :

claro que no sabemos a direo desta velocidade, mas, se s o caminho percorrido pela partcula,
Z (x2 ;y2 )
ds
1
1
v=
) dt = ds ) t =
ds
dt
v
v
(x1 ;y1 )
onde

(ds) = (dx) + (dy) :


Finalmente, o tempo vale
s
Z (x2 ;y2 )
q
1
1
2
2
p
p
t=
(dx) + (dy) =
1+
2gx
2gx
(x1 ;y1 )
(x1 ;y1 )
Z (x2 ;y2 ) s
Z (x2 ;y2 ) r
1 + y 02
1
1 + y 02
=
dx = p
dx :
2gx
x
2g (x1 ;y1 )
(x1 ;y1 )
Z

(x2 ;y2 )

dy
dx

dx

Ou seja, o nosso problema se reduz a minimizar o funcional (como (2g)


uma constante)
r
Z (x2 ;y2 )
1 + y 02
0
0
I=
F (y ; x) dx ; F (y ; x) =
x
(x1 ;y1 )
19

1=2

Onde, neste caso, a funo F no depende explicitamente de y. A soluo do


nosso problema , ento, a funo y que obedece a equao de Euler (26)
@F
@y

d @F
dx @y 0

=0:

Como, neste caso, F no depende explicitamente de y


@F
@F
d @F
=0)
=C
=0)
@y
dx @y 0
@y 0
r
@F
@
1 + y 02
y0
=
=C :
=p
0
0
@y
@y
x
x (1 + y 02 )

Assim, a curva que a partcula deve seguir y (x) deve ser soluo da equao
r
xC 2
y0
02
2
02 2
0
p
= C ) y = xC + xy C ) y =
;
1 xC 2
x (1 + y 02 )

ou ainda,

dy
=
dx

xC 2
)y=
(1 xC 2 )

2a = 1=C 2 :

x2

x1

x
p
(2ax

x2 )

dx ;

Fazendo
x = a (1
temos
y=
ou seja, a curva procurada

cos ) ) dx = a sin d

a (1

y = a(

cos ) d ;

sin ) + C 0 ;

com C 0 constante. Com isso, a nossa curva obedece


x = a (1

cos ) ; y = a (

sin ) + C 0 ;

que so as equaes paramtricas de uma curva chamada ciclide. Para x1 =


x2 = 0 temos C 0 = 0, e o valor de a deve ser ajustado para que a curva passe
por (x2 ; y2 ).
Esta a forma que o cano deve ter para que a partcula chegue mais rpido
em (x2 ; y2 ). Se a sua partcula for uma conta guiada por um o (com massa)
e voc prender o o nos pontos acima o o assumir exatamente esta a forma
que levar a partcula entre os dois pontos no menor tempo, i.e., o o formar
uma catenria.
A parte da curva entre o ponto (x1 ; y1 ) at o seu mnimo chamada de curva
tautocrnica, i.e., a curva na qual o tempo gasto por um objeto para deslizar
sem frico em gravidade uniforme at seu ponto de mnimo independente de
seu ponto de partida (este problema foi resolvido por Christiaan Huygens em
1659).
20

Figure 3: Figura retirada do Marion de Mecnica.

Remark 9 Na verdade, como o desenvolvimento deve ter deixado claro, quando


resolvemos um problema de clculo variacional o que encontramos um extremo
(um mnimo, ou um mximo) do funcional. Entretanto, na maioria dos problemas em mecnica estamos interessados (e efetivamente encontramos) um valor
mnimo.
4.1.1

Equaes de Euler-Lagrange

O ponto importante para ns no desenvolvimento acima o seguinte: suponha


que a nossa varivel independente o tempo (x ! t) e que a funo que procuramos seja a trajetria de uma partcula com coordenada generalizada q(t)
(y (x) ! q (t)). Alm disso, suponha que a funo F que estamos integrando
seja exatamente a lagrangiana L do sistema. Com isso
Z b
Z b
0
F (y; y ; x) dx !
L (q; q;
_ t) dt
a

e a expresso (25) toma a forma:


Z b
L (q; q;
_ t) dt = 0 =)
a

d @L
dt @ q_i

@L
=0:
@qi

Que exatamente a equao de Lagrange obtida anteriormente. Por isso estas


equaes so chamadas de equaes de Euler-Lagrange (EL).
A integral
Z
L (q; q;
_ t) dt
21

S [q] ;

chamada de ao. Usando a linguagem do clculo funcional, podemos obter


as equaes de EL se impusermos que a derivada funcional da ao seja um extremo. Esta exigncia recebe o nome de princpio da mnima ao (ou princpio
de Hamilton).
Neste sentido as equaes de Lagrange e, consequentemente, toda a mecnica,
podem ser construdas a partir do princpio da mnima ao e esta construo
equivalente a mecnica de Newton. Perceba que este um caminho diferente
do seguido no incio deste texto. Aqui adotamos o princpio da mnima ao e
pudemos mostrar que as equaes EL assim obtidas so equivalentes as equaes
de Newton.

4.2

Princpio de Fermat

O fato da mecnica de Lagrange ser uma conseqncia do princpio da mnima


ao tem uma conseqncia crucial na questo do comportamento ondulatrio
ou corpuscular da luz. Porque todos os resultados da ptica geomtrica podem
ser obtidos a partir de um princpio muito semelhante chamado princpio de
Fermat do tempo mnimo. Este princpio estabelece que ao atravessar meios
diferentes, dentre todos os caminhos possveis o feixe luminoso escolhe aquele
que minimiza o tempo da sua trajetria. Este princpio determina todos os
efeitos de refrao e reexo (ou seja, efeitos que no envolvem interferncia).
Como analogia, imagine que voc est de bicicleta na praia e quer atravessar
a avenida da orla para chegar num ponto a 45o da normal avenida.
Problem 10 Qual caminho voc deve seguir para chegar mais rpido?
O menor caminho , obviamente, uma linha reta. Mas, como a bicicleta
se move com maior facilidade no asfalto, conveniente que voc passe menos
tempo na areia. Porm, se voc se mover na direo normal na praia a distncia
percorrida ser muito longa. Encontrar o caminho que minimize este tempo
um problema de clculo variacional. Assim, a trajetria tanto da luz como
das partculas pode ser obtida por um princpio de mnimo de um
funcional. Como veremos, desde antes da Mecnica Quntica, este fato foi um
indcio de um comportamento corpuscular da luz.
Exercise 11 Como vimos, a mecnica clssica de um sistema pode ser determinado atravs do princpio da mnima ao, i.e., atravs da variao funcional da
ao. Isso tambm vlido em Relatividade. Ou seja, deve ser possvel encontrar uma ao que fornea as expresses da Mecnica Relativstica. Obviamente,
assim como as equaes de movimento da Mecnica Clssica so invariantes por
transformaes de Galileu, as obtidas pela ao Relativstica devem ser invariantes por transformaes de Lorentz. Uma forma de se garantir isso exigindo
que na ao apaream apenas invariantes (ou escalares). O primeiro invariante
que temos em relatividade o elemento de comprimento
ds2 =

dx dx = dxi

22

c2 dt2 :

Assim, a ao invariante mais simples que podemos construir para a Mecnica


Relativstica
Z
S=
ds ;
(28)
onde
uma constante. Lembrando que a ao est relacionada com a lagrangiana L atravs da expresso
Z
S = L dt ;
obtenha a Lagrangeana da ao (28). Em seguida, expanda esta lagrangena
em termos de v=c e, mantendo apenas termos de segunda ordem (e lembrando
que uma constante no afeta as equaes do movimento) e comparando com a
lagrangeana clssica para a partcula livre
L=
determine quem

1
mx_ 2 ;
2

. Em seguida, calcule o momento


p=

@L
:
@ x_

Parta da denio
H = px_

L=E

e mostre que
mc2
E=q
:
2
1 vc2

4.3

Equao de Hamilton-Jacob

Como vimos, a descrio da dinmica de um sistema mecnico pode ser dada


uma vez conhecia a ao do sistema:
Z t
S=
L dt :
0

Usando agora a denio da hamiltoniana do sistema, a ao pode ser escrita


como:
Z t
H = pi q_i L ) S =
(pi q_i H) dt
0

onde

pi =
com isso
S=

pi q_i dt

@L
@ q_i

H dt =

q0

23

pi dqi

H dt

onde, obviamente, q0 = q (t = 0) e q = q (t) . Na forma acima, para um sistema


onde a coordenada q seja conhecida e dado o seu hamiltoniano, a ao no
mais um funcional, mas apenas uma funo de q e t. Ou seja, para calcular a
ao voc resolve o problema mecnico de uma forma qualquer (e.g., resolvendo
as equaes de Newton) e substitui nas integrais acima. Nestas condies, a
expresso acima pode ser escrita como:
dS = pi dqi

Hdt

Alm disso,
S = S (q; t) =) ds =

@S
@S
dt +
dq
@t
@q

Comparando as duas equaes


@S
=
@t

H ;

@S
= pi :
@qi

(29)

Lembrando agora que H (q; p; t) depende apenas da posio e do momento


(e,eventualmente, do tempo), podemos usar as duas expresses acima para escrever
@S
@S
+ H qi ;
;t = 0
(30)
@t
@qi
Ou seja, se pegarmos H (qi ; pi ; t), substituirmos todos os momentos por
@S=@qi e depois substituirmos na expresso acima, o que obtemos uma equao
diferencial parcial para a funo (agora considerada desconhecida) S (q; t). Resolver esta equao equivalente a encontrar as trajetrias reais, ou fsicas
(chamado de setor fsico) do problema em questo. Isto , resolvendo esta
equao encontramos S em funo de q(t) e, conseqentemente, q(t). A equao
diferencial acima se chama equao de Hamilton-Jacob.
4.3.1

Ao reduzida

Para um sistema conservativo (H a energia e esta se conserva), temos


@S
=
@t

H=

E)S=

Et + W (qi ) ;

(31)

onde E uma constante e W uma funo apenas das coordenadas. Da expresso


acima temos
Z
Z
Z
W = S + Et = L dt + E dt = (L + H) dt
usando
H = pi q_i
temos
W =

L ) H + L = pi q_i ;
pi q_i dt =
24

pi dqi :

A quantidade W acima se chama ao reduzida do sistema. Para uma coordenada qi peridica e um intervalo fechado neste perodo, esta a quantidade
envolvida na quantizao de Sommerfeld. Ou seja, a quantizao de Summerfeld
impe regras de quantizao para a ao reduzida das coordenadas peridicas.
As expresses acima fornecem mais um mtodo que pode ser usado para
resolver problemas em mecnica clssica. Para casos mais simples, como a
partcula livre ou o oscilador harmnico, este mtodo no introduz nenhuma facilidade para a resoluo do problema mecnico. Entretanto, uma das grandes
vantagens do mtodo acima que ele pode ser sistematizado, de sorte que qualquer problema em mecnica, por mais complicado que seja, pode ser tratado da
mesma forma (reduzindo o problema a complicaes algbricas). Entretanto, o
desenvolvimento destes mtodos exigiria a introduo de conceitos como transformaes cannicas, variveis de ngulo-ao etc. Mas estes conceitos
fogem um pouco do nosso objetivo aqui (e sero vistos em detalhes no curso
de Mecnica Analtica). Assim, infelizmente, da forma que foi apresentado, ca
parecendo que no ganhamos nada nesta nova formulao. Isso no verdade,
mas o desenvolvimento completo do mtodo de Hamilton-Jacob foge ao escopo
da nossa discusso. Tudo que precisaremos da forma explicita da equao
diferencial acima.

Parnteses de Poisson (para Moderna II)

Existe uma forma bastante compacta de se escrever as EH atravs dos chamados


parnteses de Poisson (PP). Os PP de duas funes f (qi ; pi ) e g (qi ; pi ) so
denidos como
@f @g
@g @f
ff; gg =
@qi @pi
@qi @pi
(somatria em i).
Vamos calcular os PP de uma funo g = g (q; p; t) em relao ao Hamiltoniano
@H @g
@g @H
:
fg; Hg =
@qi @pi
@qi @pi
Usando agora as eq. de Hamilton temos
@g @H
@H @g
@qi @pi
@qi @pi
@g
@g
=
(q_i ) ( p_i )
@qi
@pi
@g
@g
=
q_i + p_i
@qi
@pi
@g dqi
@g dpi
=
+
@qi dt
@pi dt

fg; Hg =

25

Lembrando agora que


@g
@g
@g
dqi +
dpi +
dt
@qi
@pi
@t
dg
@g dqi
@g dpi
@g
=
+
+
dt
@qi dt
@pi dt
@t
dg =

temos

dg
@g
= fg; Hg +
dt
@t
Se g no depende explicitamente do tempo, i.e., g = g (q; p), temos
g_ =

g_ = fg; Hg :
Ou seja, calculando os PP de qualquer funo da posio e momento com o
hamiltoniano temos a variao temporal desta funo.
Em especial, para as variveis de posio e momento temos
@qk @H
@qi @pi
@qk @H
@H
= ik
=
;
@qi @pi
@pk
X @pk
p_k = fpk ; Hg =
@qi
i

@H @qk
@qi @pi

q_k = fqk ; Hg =

@H
@pi

@H @pk
@qi @pi

@H
;
@qk

Ou seja, podemos escrever as EH como


p_k = fpk ; Hg ; q_k = fqk ; Hg

Observe que
ff; gg =

fg; f g :

de sorte que
fh; hg = 0 :
Assim, do resultado acima temos
@H
@H
H_ = fH; Hg +
=
@t
@t
Ou, se o Hamiltonianao (a energia) no depende explicitamente do tempo
H_ = 0 =) H = E = const.
A energia do sistema se conserva.
Mais ainda, para qualquer quantidade h (q; p) que no dependa explicitamente do tempo, temos que
se fh; Hg = 0 =) h = const.
26

Quando os PP de duas quantidades nulo


ff; gg = 0
dizemos que estas quantidades comutam.
Assim, uma quantidade se conserva se ela comuta com o H.
Se calcularmos os PP das prprias variveis q e p temos
X @qk @pm
@pm @qk
fqk ; pm g =
@q
@p
@qi @pi
i
i
i
X
=
ik im
i

fqk ; pm g =

km

Que so chamadas regras cannicas de comutao. E as variveis so


chamadas de canonicamente conjugadas.
Como vimos anteriormente, as EL mantm a sua forma para qualquer transformao de ponto nas coordenadas. Dos resultados acima vemos que as EH
mantero a mesma forma (e, conseqentemente, descrevero a mesma dinmica)
para qualquer transformao inversvel
Pk = Pk (p; q) ; Qk = Qk (p; q)
que mantenha as regras cannicas de comutao
fQk ; Pm g = fqk ; pm g =

km

Vemos assim que a liberdade na escolha das coordenadas e dos momentos na


teoria de Hamilton. Transformaes que mantm a forma cannica dos PP so
chamadas de transformaes cannicas.
Resumindo:
1. na MC toda a informao que caracteriza o sistema est contido nas variveis (q; p). Estas quantidades podem ser desenhadas em um grco que
se chama espao de fase. Ou seja, dado um ponto no espao de fase eu sei
o momento a posio do sistema. Diz-se ento que pontos no espao
de fase representam os estados fsicos do sistema.
2. Para um sistema conservativo (onde H no depende explicitamente do
tempo) toda a dinmica do sistema (variao temporal das quantidades)
depende apenas de H. Dado H a evoluo de qualquer quantidade f pode
ser calculada pelos parntese de Poisson
f_ = ff; Hg :
3. A liberdade na escolha das coordenadas que descrevem corretamente a
dinmica do sistema est contida nas regras cannicas de comutao
fqk ; pm g =

km

Estes so os resultados necessrios para se entender o processo de quantizao cannica.


27

ptica geomtrica

Partindo da equao de onda


1 @2
=0;
u2 @t2

r2

podemos obter a equao da ptica que descreve a propagao de uma onda


num meio,
n2 @ 2
=0;
(32)
r2
c2 @t2
onde uma funo escalar, c a velocidade da luz no vcuo e
n=

c
;
v

o ndice de refrao do meio. Em geral n = n (x) depende do meio onde a luz


se propaga.
Para n constante uma soluo da equao acima pode ser escrita como
(x; t) = 0 exp (if (x; t)) ;
f (x; t) = exp [i (k:x !t)]

(33)

onde o nmero de onda k = jkj e a freqncia angular esto relacionadas por


k=

=n

!
:
c

Exercise 12 Verique que a funo acima soluo da equao de onda.


A quantidade f (x; t) chama de fase da onda. Para um tempo xo, a
regio do espao com f constante chamada de frente de onda. Por exemplo,
em t = 0, toda regio do espao com k:x = c, com c constate, uma frente de
onda Observe tambm que
df
= (k:x_ !)
dt
!
c!
!
k=n =
=
c
vc
v
Problem 13 Mas qual a dependncia de x com t?
Com o passar do tempo a onda se desloca no espao. Ou seja, toda uma
frente de onda, por exemplo em t = 0, se desloca no espao. Para nossa onda
plana, ou para cada regio innitesimal de uma onda qualquer, este deslocamento normal a frente de onda. Assim, se ds o deslocamento desta regio
ds
=u;
dt
28

onde v a velocidade da onda. Assim, se x representa o deslocamento da onda


x_ =

ds
!
= u ) k:x_ = ku = u = ! ;
dt
u

com isso

df
= (! !) = 0 :
dt
Ou seja, a fase uma constante. Isso bvio dentro da nossa descrio, pois,
tudo que estamos fazendo seguir uma frente de onda e com isso nos deslocarmos
numa regio que no varia com o tempo.
Voltando a equao da onda plana (33) (pana n constante) vamos introduzir
a quantidade
!
jkj
=
;
k0
n
c
onde k0 nmero de onda no vcuo (n = 1), temos6
f (x; t) = exp [ik0 (n:x
L = n:x

ct)] = exp [ik0 (L

ct)]
(34)

onde jnj = n e n aponta na direo original de k.


Vamos agora considerar o caso mais geral em que n = n (xi ) depende do
ponto no meio. Com isso,
L = L (xi ) :
Neste caso, obviamente, a onda plana no mais uma soluo da equao de
onda, uma vez que as variaes do meio destorcem a onda.
Vamos procurar por uma soluo da equao de onda na forma
=

(xi ) exp [ik0 (L (xi )

ct)] ;

com
(xi ) = exp (A (xi )) =)

= exp [A (xi ) + ik0 (L (xi )

ct)] :

As quantidades A e L funes reais a serem determinadas. Vemos que A controla a amplitude da onda. Para o caso de n constante a amplitude constante.
Assim, podemos imaginar que, se n varia pouco (i.e., muito lentamente) a amplitude, e conseqentemente A, tambm variaro lentamente. Como para n
constante L ! nz esta quantidade chamada de comprimento de onda ptico,
ou ainda a eikonal. Calculando o laplaciano de temos
r = r exp [A (xi ) + ik0 (L (xi ) ct)] = r [A + ik0 L] ;
n
o
2
r2 =
r2 [A + ik0 L] + [r (A + ik0 L)]
;

6 Lembre-se que na refrao de ondas a freqncia no muda, por isso, mesmo que n = n(z),
k0 uma constante.

29

e a derivada temporal
@
@
=
exp [A (xi ) + ik0 (L (xi )
@t
@t
@2
2
= (k0 c)
:
@t2

ct)] =

ik0 c

Substituindo na equao de onda (32) e isolando parte real e imaginria temos


2

r2 A + (rA) + k02 n2

(rL)

=0;

r2 L + 2L (rA rL) = 0 :
Estamos aqui interessados no caso da chamada ptica geomtrica. Isto , no
caso em que o comprimento de onda da luz muito menor que as dimenses
espaciais envolvidas no sistema. Em especial, as caractersticas do meio no
variam apreciavelmente com distncia da ordem de alguns comprimentos de
onda. Neste caso, apesar de n no ser constante, podemos armar que ele varia
lentamente no espao.
Usando ento a aproximao da ptica geomtrica, de que o comprimento de onda muito menor que a variao do meio, temos que o termo
proporcional a k02 = 4 2 = 20 o mais signicativo da expresso acima. Em
especial, a variao espacial de A (xi ) , por hiptese, pequena. Lembrando
ainda que para n constante L = nz, temos que rL = n, ou seja, mesmo nesta
aproximao o rL relevante. Assim, considerando
2

k02 >> r2 A + (rA)

para todos os pontos dentro do material, para garantir que a primeira equao
acima seja satisfeita devemos ter
2

(rL) = n2 =) jrLj = n :

(35)

Que obviamente verdade no limite de n constante. Esta equao conhecida


como equao de eikonal da ptica geomtrica. A superfcie onde L (xi ) possui o
mesmo valor uma frente de onda e esta onda se desloca na direo da normal
desta superfcie. Voltando a expresso (34) vemos que a equao eikonal pode
tambm ser escrita usando diretamente a fase da onda,
jrf j = n :

6.1

(36)

A ptica e o princpio da mnima ao

(Alex Smalla and Kai S. Lam, Am. J. Phys. 79 6 , June 2011)


Como mencionado anteriormente, o princpio variacional fornece um link
entre a mecnica clssica e a ptica geomtrica. Nesta ltima a trajetria de
um feixe luminoso dado pelo princpio de Fermat do tempo mnimo. Ou seja,
a trajetria que minimiza a quantidade
Z b
Z b
Z b
1
n
vdt =
dl
T =
dt =
v
a
a
a c
30

onde dl =
como

dx2 o deslocamento do feixe. Podemos escrever a equao acima


cT =

ndl =

p
n x_ 2 dt = S

podemos identicar o problema da ptica com o problema mecnico de um


sistema com lagrangiana
p
L = n (xi ) x_ 2 :
O momento conjugado deste sistema dado por
p=

@L
nx_
=p
@ x_
x_ 2

ou seja
p2 = n2 ;
e

(37)

p
px_ = n x_ 2 = L

Exercise 14 Verique as expresses acima.


Com isso, temos que a hamiltoniana associada ao sistema dada por
H = px_

L=0:

Assim, o clculo da ao se torna


S=

L dt =

(px_

H) dt =

px_ dt =

p:dx

Ou seja, a nossa ao na verdade, uma ao reduzida.


Usando agora (37) e p = rS, podemos escrever
2

jrSj = n2 ;
que a nossa equao eikonal. Se usarmos agora a aproximao da ptica
geomtrica, sabemos que, nesta aproximao, a quantidade S proporcional a
fase da onda e a nossa onda pode ser descrita por
=

exp (i S) ;

(38)

com uma constante. Observe que S tem dimenso de tempo vezes velocidade,
enquanto a fase adimensional. Assim, S no pode ser a fase, mas apenas
proporcional a ela e a constante , alm de outras coisas, ajusta as unidades do
problema.
Resumindo, o princpio da mnima ao da mecnica pode ser usada para
descrever o comportamento de uma onda na aproximao da ptica geomtrica
se identicarmos a ao do problema com a fase da onda procurada.

31

Mecnica e a ptica geomtrica

Considere uma partcula de massa m num potencial independe do tempo. Neste


caso podemos escrever:
H (qi ; pi ) =

1 2
p + V (qi ) = E
2m i

Usando agora (29)


pi =

@S
@qi

(39)

podemos escrever
1
2m

@S
@qi

+ V (qi ) = E =)

@S
@qi

= 2m (E

V)

Assim, a equao de HJ para este sistema pode ser escrita como


2

@S
@qi

= 2m (E

V)

Para coordenadas cartesianas (qi = xi ) podemos ainda escrever


2

(rS) = 2m (E

V) :

(40)

Esta equao formalmente igual a equao eikonal (36) para um meio com
ndice de refrao
p
n = 2m (E V )

Esta semelhana foi percebida muito antes do surgimento da MQ.


Vamos explorar um pouco mais esta semelhana associando o nosso sistema
mecnico (uma partcula) com uma onda. Mas que onda esta? Bem, comparando diretamente a equao acima com a equao eikonal da ptica, vemos
que a analogia seria tratar uma superfcie com um dado valor de S como
a frente de uma onda. Seguindo esta analogia, associamos ento a partcula
de massa m num potencial V uma onda cuja frente de onda so os pontos
onde S(x; t0 ) possui os mesmos valores num dado instante t0 .
Como S depende do tempo esta frente de onda se deforma e se propaga com
uma certa velocidade u
ds
u=
dt
onde ds o deslocamento innitesimal normal a superfcie de valor constante.
Estamos interessados em determinar esta velocidade u.
Voltando na expresso de HJ (30) e usando o fato do nosso hamiltoniano
no depender do tempo temos
@S
@S
+ H qi ;
;t
@t
@qi
32

= 0 =)

@S
=
@t

Lembrando agora que (se seguirmos uma frente de onda) a fase da onda
uma regio constante (34)
dS
=0
dt
temos
dS
@S
@S
=
+ rS:x_ =
+ jrSj u = 0
dt
@t
@t
ou seja
E
jrSj u = E =) u =
jrSj
E
u= p
2m (E

V)

Ou seja, a nossa partcula, ou uma coleo de partculas no interagentes de


mesma massa, num potencial V pode ser descrita por uma onda cuja fase
dada pela ao (ou proporcional a ao) e com a velocidade u acima.
Assim, se estamos seguindo uma onda onde a frente de onda tem valor constante S (q; t) isso signica que estamos seguindo a onda cuja fase proporcional
a iS, usando a expresso (38) com = 1=~, temos
= exp

i
S
~

onde ~ apenas uma constante de proporcionalidade. Lembrando que, para um


sistema conservativo
@S
=
@t

E =) S (x; t) = W (x)

temos
= exp

i
S
~

= exp

i
(W (qi )
~

Et :

(41)

Et)

(42)

Isso signica que a nossa onda tem uma frequncia


!t =

E
t =) 2
~

1
E =) E = 2 ~ =) E = h :
~

(43)

Alm disso, lembrando da relao clssica (39) temos


pi =

@S
=) p = OS = OW
@qi

(44)

Com o que a relao (??) se torna


u=

E
E
=
jrW j
p

com p o mdulo do momento linear da partcula.

33

(45)

O seguinte resultado da ptica nos permite relacionar a frequncia da onda


e seu comprimento com a sua velocidade de propagao u
= u =)

usando (43) e (45)


=

E=p
=)
E=h

h
:
p

(46)

As relaes (45) e (46) relacionam a energia e o momento da partcula com


a sua frequncia e o seu comprimento de onda. Esta analogia tem a sua origem
em trabalhos de Hamilton de 1825, para tratar problemas de ptica. Porm,
nesta poca, no havia nenhum resultado experimental que pudesse dar uma indicao do valor da constante h e, especialmente, nenhuma razo para crer que
esta constante no era zero para uma partcula (uma quantidade cujo comportamento corpuscular fosse indubitvel). Mesmo assim, Hamilton teve sucesso
em usar este desenvolvimento para a luz, num tipo de tratamento corpuscular, e
obter todos os resultados de refrao e reexo obtidos por outros mtodos da
tpica geomtrica. Isso mostrava que, pelo menos em certos limites, a descrio
corpuscular de Newton era complemente equivalente a descrio ondulatria de
Huygens. Entretanto, como este mtodo no trazia facilidades prticas para o
tratamento de problemas (em relao aos demais mtodos da ptica geomtrica)
ele foi praticamente esquecido por dcadas.
Porm, com o surgimento de hipteses de um carter dual (onda-partcula),
no apenas da luz, mas tambm das partculas massivas, estes resultados foram
redescobertos por Erwin Schroedinger em 1925.

A equao de Schroedinger independente do


tempo

First we have an observation, then we have numbers that we measure, then


have a law which summarizes all the numbers. But the real glory of science
is that we can nd a way of thinking such that the law is evident. (Feynman
Physics Lectures, Vol I)
Primeiramente necessrio lembrar que os resultados acima mostram uma
compatibilidade entre a mecnica e a ptica apenas para o limite de curtos
comprimentos de onda (onde a equao da onda se torna a equao de
eikonal que idntica a equao de HJ). Desta igualdade Schrdinger
sups que a equao de HJ pudesse ser o limite para curtos comprimentos de
onda de uma equao mais geral que descrevesse o comportamento ondulatrio
das partculas massivas.
Para tentar encontrar esta equao mais geral, ele voltou a equao de onda
1 @2
u2 @t2

r2

34

=0

em seguida ele sups que, pelo menos para comprimentos de onda curtas, a
velocidade da onda associada a partcula deveria ser a velocidade (??) obtida
na seo anterior
E2
u2 =
2m (E V )
Assim, nossa equao de onda se torna
2m (E V ) @ 2
= r2
(47)
E2
@t2
Seguindo o procedimento usual para a soluo de equaes parciais, podemos
separar as variveis da nossa funo de onda
(xi ; t) =

(xi ) exp ( i!t)

Vamos agora supor que a nossa onda tem uma energia bem denida. Se
usarmos agora a hiptese de De Broglie (ou a equao (43)) temos
E = h ) E = ~! )

(xi ; t) =

(xi ) exp

E
t :
~

(48)

=E :

(49)

Substituindo na equao de onda (47)


r2 +

2m
(E
~2

V)

= 0 =)

~2 2
r +V
2m

Esta a celebrada equao de Schroedinger independente do tempo. Ela descreve


as funes de onda (os estados) das partculas quando a sua energia est bem
denida, i.e., ela descreve os estados estacionrios. Com ela podemos obter a
maioria dos resultados da mecnica quntica no-relativstica, como o espectro
de energia do tomo de hidrognio. A maior (e talvez mais importante) parte
deste curso ser o estudo das solues da equao acima.
A obteno do resultado acima exigiu a suposio de que a nossa onda, e
conseqentemente o sistema, tem uma energia bem denida. Mas:
Problem 15 Se o sistema conservativo, a sua energia pode variar
com o tempo?
Problem 16 Isso no seria sempre verdade para qualquer sistema conservativo?
Problem 17 O que signica dizer que o sistema tem uma energia bem
denida?
Lembre-se que a descrio quntica do sistema uma descrio probabilstica. Assim, ao calcularmos uma quantidade qualquer (e.g., a energia), o que
obtemos, em geral, a probabilidade de numa medida desta quantidade obtermos o valor calculado. Ou seja, em geral o sistema no possui o valor bem determinado de nenhuma quantidade fsica. Alm disso, esta probabilidade pode
variar com o tempo, de sorte que em certos instantes o sistema tem maior chance
de ter uma certa energia e, em outros instantes, uma energia diferente.
35

Problem 18 Mas se o sistema um s, como uma quantidade pode no estar


determinada, ser que a quantidade est bem determinada, mas ns apenas no
a conhecemos?
Seria tudo isso como, por exemplo, colocar um dado numa caixa fechada e
sacolej-la? Antes de abrir a caixa e ver o resultado, cada nmero tem a chance
de 1=6 de ser sorteado. Mas o nmero j est l dentro, s que voc no sabe.
Pelas interpretaes da MQ as coisas no so assim. A idia que, antes de abrir
a caixa, o dado efetivamente no possui nenhum valor denido. Apenas a sua
observao far com que ele adquira efetivamente este valor. A diferena entre
voc no saber e o sistema no ter que este sistema (A) pode inuenciar
outro (B) atravs do valor deste observvel e, como veremos, se o valor de um
observvel no est determinado (ou seja, voc no fez nenhuma medida) todos
os valores possveis desta medida inuenciam B (com uma inuncia maior ou
menor dependendo da probabilidade). Este um fenmeno de interferncia
comum na teoria ondulatria, mas que desaa o senso comum numa teoria
corpuscular.
Assim, armar que o sistema tem um valor bem denido E de um observvel
signica que, se zemos uma medida desta quantidade, obteremos sempre (independente de quando), o valor E.
Problem 19 Como possvel armar que um observvel tem seu valor
bem denido, antes de fazemos a medida?
O ponto que se zemos uma medida de um certo observvel (futuramente
deniremos melhor este termo) e no perturbamos mais o sistema (i.e., deixamos
ele isolado) o valor deste observvel no murar. Podemos garantir assim que,
se algum zer uma medida futura, obter o valor que ns medimos. Chamamos
a isso de preparar o sistema num certo estado conhecido. Ou seja, dizer que um
sistema tem algum valor bem denido signica, na verdade, que ns preparamos
o sistema desta forma. Isto , em algum momento, alguma medida foi feita.
Problem 20 Mas e o dado na caixa, est numa superposio de todos
os valores?
O ponto que o dado um sistema grande o suciente para o seu comportamento ser completamente determinado pelas leis da mecnica clssica. Assim,
mesmo que no tenhamos aberto a caixa, possvel, num ambiente controlado o
suciente, saber o valor do resultado. Num certo sentido, sistemas clssicos so
sempre sistemas qunticos preparados (como se estes estivessem sendo medidos
constantemente pelo ambiente).
Remark 21 Se um sistema est num valor indeterminado de uma grandeza.
completamente impossvel saber qual o valor desta grandeza antes da medida
ser feita.

36

8.1

A partcula numa caixa

Vamos ilustrar a aplicao da ES tratando o caso de uma partcula livre numa


caixa. Ou seja, fora o fato de ser connada dentro da caixa, nenhuma outra
fora age sobre esta partcula. Assim, vamos usar as idias da seo anterior
para quantizar o sistema unidimensional de uma partcula de massa m num
intervalo. Um ponto importante que este sistema em duas ou trs dimenses
representa, grosso modo, apenas a aplicao do tratamento a ser desenvolvido
para cada dimenso separadamente. Ou seja, nosso sistema no articial.
Inicialmente estamos interessados em estudar os nveis de energia que esta
partcula pode ter. Estado livre, a energia desta partcula puramente cintica.
Classicamente, uma ver que a partcula pode ter qualquer velocidade dentro
da caixa, ela tambm pode assumir qualquer valor de energia. Alm disso, a
partcula pode estar em qualquer lugar dentro da caixa. Na descrio quntica,
entretanto, veremos que as coisas so um pouco diferentes.
Como estamos interessados em estados de energia bem denidos, o problema
que devemos resolver a ES independente do tempo
~2 2
r +V
2m

=E

Uma vez que, dentro do intervalo (caixa), a partcula est livre, V = 0, e estamos
trabalhando em uma dimenso, temos:
~2 d 2
=E
2m dx2

onde E a energia da partcula. Podemos escrever esta equao como


d2
=
dx2

k2

; k2 =

2m
E:
~2

(50)

Para que esta equao esteja bem denida em todos os pontos devemos exigir
que a funo de onda e sua primeira derivada no tenham descontinuidades
(caso contrrio, teramos pontos com energia innita).
Esta uma equao de segunda ordem, logo ela deve ter duas solues LI e
duas constantes de integrao. Estas solues podem ser escritas como
1

(x) = A exp (ikx) ;

(x) = B exp ( ikx)

com A e B constantes. Assim, a soluo geral do nosso problema


(x) = Aeikx + Be

ikx

Problem 22 Como determinamos as constantes A e B?


Estas constantes esto relacionadas com a chamada condio de contorno
do problema. Ou seja, precisamos especicar o comportamento da nossa
funo nos extremos. At agora, alm de fazer V = 0 (uma condio fsica),
37

tudo que zemos foi resolver um problema matemtico, mas agora, na xao
destas condies, entram as caractersticas fsicas do problema.
Para isso precisamos lembrar o signicado da funo de onda. A quantidade
2

j (x)j ;
signica a probabilidade de encontrar a nossa partcula na posio x. Sabendo
que a nossa partcula est presa na caixa devemos ter
2

j (x)j = 0 para x fora da caixa.


Primeiro precisamos colocar um eixo cartesiano no nosso problema e dizer
onde est a nossa caixa. Por exemplo, podemos dizer que as paredes da caixa
esto em L e L (obviamente isso no inuencia no resultado).
Exigindo que a partcula esteja connada no intervalo de L at L e que
a funo seja contnua temos (por (50) vemos que descontinuidades da funo
estariam relacionadas com energias innitas e no queremos tais casos.)
(L) =

( L) = 0 :

Problem 23 Quais os valores possveis de E?


Observe que, por ser hermitiano, E 2 R. Entretanto, nada impede que este
assuma qualquer valor real e, em especial, valores negativos. Neste caso (E < 0)
temos
H

jEj

=)

~2
= jEj
2m

=)

(x) = Aekx + Be

kx

; k2 =

2m
jEj ;
~2

Entretanto, para ser soluo do nosso problema, a funo no deve apenas


ser soluo da ES, mas respeitar as condies de fronteira,
(L) =

( L) = 0 ) AekL + Be

kL

= Ae

kL

+ BekL = 0 :

ou ainda
A ekL

kL

= B ekL

kL

)A=B

Usando esta soluo e aplicando novamente a condio de fronteira


temos
(L) = 2A cosh kL = 0 ) A = 0

(L) = 0,

para L 6= 0. Assim, os estados com E < 0 so descartados por no satisfazerem as condies de contorno. Este resultado completamente compatvel
com a fsica clssica. Porm, como veremos a seguir, os demais resultados so
bastante distintos dos esperados classicamente.
Voltando agora s nossas condies de fronteira e sabendo que k 2 R temos
(L) = 0 =) AeikL + Be ikL = 0 =) AeikL =
A (cos kL + i sin kL) = B (cos kL i sin kL) :
38

Be

ikL

Podemos satisfazer esta igualdade de duas formas


sin kL = 0 =) kL = n ) A (cos kL) =
cos kL = 0 =) kL =

1
n+
2

B (cos kL) ) A =

) A (i sin kL) =

B;

B ( i sin kL) ) A = B :

Ou seja, o nosso problema possui dois tipos de solues estacionrias


n

(x) = N sin kn x ; kn =

+
n

(x) = N + cos kn+ x ; kn+ =

n ) En =

n+

1
2

~2
2m

n
L

) En+ =

;
~2
2m L

n+

1
2

:
(51)

O resultado acima nos mostra que, dentro da caixa, a partcula s pode


assumir os nveis de energia En e En+ .
As constantes N so obtidas exigindo que a probabilidade de estar em
qualquer lugar da caixa seja 100%
N

L
n

dx = 1 :

Este processo se chama normalizao da funo de onda.


Remark 24 A normalizao uma necessidade para termos a interpretao
probabilstica correta.
Note, entretanto, que a normalizao xa as constantes a menos de uma fase
2

N 0 = ei N ) jN 0 j = jN j ;

2R:

Entretanto, como as quantidades fsicas so calculas atravs do mdulo quadrado


da funo de onda, esta fase no inuencia nos resultados e pode ser xada
arbitrariamente.
Exercise 25 Obtenha as constantes de normalizao N + e N .
Alm disso, existe um nvel mnimo de energia que o sistema pode assumir
que E0+ . A partcula nunca pode ter energia cintica nula (observe que E0 = 0
implica 0 (x) = 0 e a partcula no est mais na caixa).
Mais ainda, se esta partcula interagir com alguma coisa (e.g., ftons) ela
s poder absorver e emitir energias que sejam proporcionais a diferena entre
dois nveis
En !n = En Em
Esta a chamada energia de transio de n para m.
Esta caractersticas, que j havamos encontrado na descrio de Bohr do
tomo de hidrognio, so peculiaridades de qualquer sistema quntico connado.
39

Para todos os casos com energia bem denida, temos que certas regies da
caixa so proibidas para a partcula. Por exemplo, primeiro estado excitado
1

(x) = N sin

x = 0 ) x = 0; L :

Ou seja, a partcula nunca encontrada no meio da caixa. Assim, temos uma


partcula com energia diferente de zero (que classicamente indica que ela est
se movendo) presa dentro da caixa (que classicamente indica que ela est indo e
voltando na caixa), mas ela nunca est no meio da caixa (que classicamente...,
no faz sentido). Vemos aqui que as nossas noes usuais do movimento, ou da
trajetria da partcula, no fazem muito sentido na descrio quntica.
Por exemplo, imagine que a partcula est no estado fundamental e voc o
ilumina com uma luz de freqncia , se
h <

E0+

E1

3 ~2
4 2m

os ftons simplesmente iro passar pelo sistema (o sistema ser transparente).


J se
2
3 ~2
= E0+ E1 =
:
4 2m L
o sistema ir absorver este fotos e mudar de nvel (ele ser opaco para esta freqncia). Na prtica o sistema iria posteriormente emitir esta radiao. Existem
sistema onde este tempo de emisso bem longo (ou seja, o estado excitado
bastante estvel). Neste caso temos efeitos como fosforescncia.
Observe tambm que, de forma geral,
~
L

Ou seja, se o tamanho da caixa vai para innito (partcula livre) a diferena


dos nveis de energia vo a zero e, conseqentemente, a partcula pode assumir
qualquer valor de energia.
Da mesma forma, se tomamos o limite clssico7 ~ ! 0 o sistema passa a
adotar o comportamento clssico de poder assumir qualquer valor de energia.
Remark 26 Observe como a limitao da partcula no intervalo tornou os
nveis de energia discretos. Este o fenmeno por trs do comportamento dos
chamados pontos qunticos (QD).
Aqui interessante ver como a realizao do nosso espao depende muito de
qual parte do sistema nos interessa. Se no exemplo acima a distncia L for muito
pequena, os nveis de energia vo estar to espaados que para sofrer uma transio de nvel precisaramos fornecer uma quantidade muito grande de energia.
7 Obviamente, como h uma constante, este limite simboliza apenas que todas as demais
grandezas fsicas envolvidas (no nosso exemplo, o tamanho da caixa) so muito maiores que
h.

40

Podemos garantir assim que o sistema no sofra nenhuma transio indesejada


(e.g., trmica) e as nicas transies possveis so aquelas que ns provocamos.
Neste caso, apenas alguns nveis de energia so relevantes e podemos tratar o
sistema como um problema de n nveis. Ao fazemos isso nosso sistema passa a
ter um nmero nito de estados e passa a ser descrito por uma matriz. Esta
descrio matricial a chamada mecnica quntica de Heisenberg, que veremos
no futuro.
8.1.1

Nmeros qunticos

Ainda sobre o problema da partcula numa caixa, todas as quantidades associadas ao sistema, exceto a energia, esto indeterminadas, ou possuem a sua
determinao associada a uma probabilidade. Ademais, uma vez especicada a energia da partcula, sabemos construir a sua funo de onda,
da qual retiramos todas as informaes que a MQ pode nos dar sobre o sistema (e acreditamos que este seja a teoria que mais informaes pode nos dar).
Dizemos assim que a energia especica o estado do sistema. Dentro da
notao utilizada, chamamos de En a energia associada ao sistema. Ou seja,
dado o valor de n podemos determinar a energia do sistema e, conseqentemente, o seu estado. A quantidade n, que especica completamente o estado
do sistema chamada de nmero quntico. Se tivssemos trabalhado com uma
caixa bidimensional, teramos uma energia associada ao movimento na direo
x, com uma energia En , e outra associada com o movimento na direo y, que
poderamos chamar de Em . Assim, neste caso, o sistema possui dois nmeros
qunticos. O mesmo acontecia com a descrio das rbitas elpticas de Sommerfeld, onde precisvamos de 2 nmeros para conhecer o estado do sistema.
Remark 27 Assim, nmeros qunticos so quantidades (discretas) que precisam ser especicadas para se estabelecer o estado do sistema.
8.1.2

Valores mdios
2

Sendo j (x)j a probabilidade de encontrar o sistema numa certa posio,


podemos tambm calcular o valor mdio da posio do sistema. Basta para
isso usarmos a denio usual de mdia e multiplicarmos o valor da varivel
(no caso, a posio) pela probabilidade do sistema possuir aquele valor desta
varivel. Assim, a posio mdia do sistema dentro da caixa vale
Z
Z
2
hxi = x j (x)j dx =
(x) x (x) dx :
Onde, por razes que se tornaro claras no futuro, usamos a ltima forma para
a expresso. De forma geral, se f (r) uma funo qualquer da posio da
partcula (considerada agora em 3D), o valor mdio de f pode ser calculado
como
Z
hf i =
(r) f (r) (r) d3 V ;
(52)
V

41

onde V o volume onde o se deseja calcular a mdia.


Como veremos em detalhes no futuro, um dos postulados da MQ que
as quantidades clssicas observadas nada mais so do que valores mdios das
quantidades qunticas do sistema.
8.1.3

Preparao de sistemas e superposio

Vamos preparar um sistema com um valor especco de energia. Imagine para


isso um espectrmetro de massa onde atiramos partculas de massa m e carga
q conhecidas. Dependendo da velocidade, ou do momento da partcula, ela
sofrer uma certa inuncia do campo e se chocar com a parede do dispositivo.
Conhecendo a energia cintica da partcula, sambemos exatamente onde ela
se chocar. Podemos ento fazer um furo que seria alcanado apenas pelas
partculas que tivessem uma determinada energia, digamos, E2 ,
E2 =

~2
2m

n
L

; n=2:

Em frente ao furo temos uma caixa para capturar a partcula. As paredes do


dispositivo podem ter sensores que detectem a partcula no caso de um choque.
Neste experimento vamos jogando partculas com energia desconhecida dentro
do dispositivo e, sempre que esta partcula colide com a parede, ouvimos um
clique. Quando, no ouvimos este clique porque a partcula passou pelo buraco. Neste caso sabemos que temos aprisionado em nossa caixa uma partcula
no estado
:
2 (x) = N sin k2 x ; kn = 2
L
Desta forma podemos preparar o sistema num determinado estado. Obviamente o tamanho do furo importante, mas podemos aqui pensar num caso
onde a diferena no dos nveis grande o suciente para sabermos que as energias E1+ < E2 e E3+ > E2 representam regies fora do nosso furo.
Imagine agora que os nveis no so to espaados assim. De sorte que na
congurao atual, tanto as partculas com energia E2 , com as com energia E1+
possam ter passado pelos furos. Novamente, em frente a este furo, colocamos a
nossa caixa.
Problem 28 Qual o estado do sistema na caixa neste caso?
Neste caso, a partcula entrar na caixa num estado descrito pela funo:
(x) = c1

+
1

(x) + c2

(x) ; c1 ; c2 2 C :

(53)

Ou seja, ela no ter mais uma energia bem denida. Alm disso, como
veremos no futuro, pelos princpios da MQ o mdulo quadrado dos coecientes c1 e c2 acima so dados pela probabilidade do sistema ser detectado
com energia E1+ e E2 , respectivamente. Alm disso, como estes mdulos so
probabilidade e sabemos que o sistema estar (com certeza) num estado ou no
outro
2
2
jc1 j + jc2 j = 1
42

Por exemplo, se o experimento foi desenvolvido (depende basicamente de quo


aleatria a velocidade das partculas lanadas) para que a partcula tenha
exatamente a mesma probabilidade de estar no estado E1+ ou E2 , podemos
ento armar que
1
2
2
jc1 j = jc2 j =
2
Obviamente, isso no xa o valor destes coecientes, pois
2

jc1 j =

1
exp (i )
=) c1 = p
;
2
2

2R:

(54)

A quantidade chamada de fase do coeciente. Futuramente trataremos da


determinao destes coecientes.
Observe que estamos frisando que a partcula entra na caixa no estado
acima. Isso porque, como a energia da partcula no mais bem determinada
ela no est mais num estado estacionrio. Ou seja, logo depois de entrar na
caixa ela pode j estar num estado diferente.
Na obteno da ES independente do tempo, usamos a seguinte separao de
variveis (48)
E
(x; t) = (x) exp
i t ;
~
e, com isso, obtivemos a ES. Ou seja, o que estamos chamando de
, na
verdade, apenas a funo (x) acima.
Isso signica que a funo de onda completa do nosso sistema com uma
energia E2 conhecida
(x; t) =

(x) exp

E2
t
~

Agora, a probabilidade desta partcula ser encontrar numa posio x num instante t vale
2

j (x; t)j =

(x)

exp

E2
t
~

(x)

E no depende do tempo. Por isso, estados com energia bem denida so


chamados de estados estacionrios.
Agora, para uma partcula no estado (53) acima, temos a seguinte evoluo
temporal
(x) = c1

+
1

(x)+c2

(x) =)

(x; t) = c1

+
1

(x) exp

E1+
t +c2
~

(x) exp

Usando que a probabilidade inicial do sistema ter uma ou outra energia a

43

E2
t
~

mesma (54) temos


1
(x; t) = p
2

+
1

(x) exp

E1+
t+
~

1
= p exp
2

i
2

E1+
t+
~

E2
t+
1+
~

1
= p exp
2

i
2

E1+
t+
~

E2
t+
1+
~

(x) exp
"
+
1

"

+
1

(x) exp
(x) exp

"
"

E2
t+
~

i
2

E1+

i
2

E1+

E2
~
E2
~

t+(
t+(

A probabilidade de encontrar este sistema na posio x num instante t vale


"
!# 2
E2
E1+
1 +
2
j (x; t)j =
(x) + 2 (x) exp
: (55)
i
t+( 2
1)
2 1
~
8
2
2
(E1+ E2 )
>
+
>
+ 1+ (x) 2 (x) exp i
t+(
1 (x) +
2 (x)
~
1<
=
(E2 E1+ )
2>
>
t+ 2
+ 2 (x) 1+ (x) exp i
:
1
~

!#

2)

!#

2)

2)

>
>
;

(56)

Como as nossas funes so reais


(
1
2
2
+
j (x; t)j =
1 (x) +
2 (x)
2

+2

+
1

(x)

(x) cos

E1+

E2
~

t+(

onde a dependncia temporal no mais desaparece. Assim, esta probabilidade varia com o tempo e o sistema no est mais num estado estacionrio.
A parte com dependncia temporal oscila cada vez mais rpido, quanto maior
a diferena de energia. Ou seja, quanto maior a diferena de energia, menos
estacionrio (ou, menos estvel) o sistema. Observe tambm que esta probabilidade depende da diferena de fase ( 2
1 ). Esta quantidade no possui
um anlogo clssico e, na verdade, no pode ser medida por nenhum
instrumento. Mesmo assim, como vemos acima (e veremos com mais detalhes no futuro), ela pode produzir efeitos mensurveis. Por causa desta fase,
esta descrio difere da probabilidade clssica (que seria apenas a soma das
probabilidades). Veja novamente a discusso no captulo Ondas e Partculas.
Problem 29 O que acontece se zemos um furo numa regio que no corresponde a nenhum dos valores de En , por exemplo, entre os valores de E2 e
E1+ ?
A princpio pode-se imaginar que nunca capturaremos uma partcula. Ou
seja, sempre ouviremos o clique da partcula se chocando com a parede do
dispositivo. Mas isso no verdade.
Observe que, se no colocamos a caixa (ou seja, apenas o espectrmetro)
detectaramos o choque de partculas em todas as posies da parede, inclusive
44

9
>
>
=

!)

2)

(x) exp

(x) exp

na posio correspondente a energia E 6= E1+ ; E2 . Assim, o fato de termos


ou no colocado a caixa naquele ponto no deve alterar o comportamento das
partculas dentro do espectrmetro. Por isso deveramos realmente esperar que
alguma partcula entrasse na caixa. Entretanto, nosso problema e entender
como uma partcula que classicamente tem energia E 6= E1+ ; E2 ser detectada
na caixa apenas com energia E1+ e E2 .
Quando no ouvirmos o clique saberemos que capturamos uma partcula
na caixa e, mais ainda, esta partcula estar num estado inicial aproximadamente da forma (53). Onde o mdulo quadrado dos coecientes ser to maior
quo mais prximo o furo estiver do estado de energia denido. Por exemplo,
2
conforme o furo se aproxima de E1+ , o jc1 j cresce at que, quando o furo estiver
+
exatamente em E1 temos
2

jc1 j = 1 ; jc2 j = 0 :
Alm disso, o sistema (que no est num estado estacionrio, pois sua energia
no est bem determinada), evoluir no tempo com a forma aproximadamente
(55).
Isso signica que mesmo que, classicamente, a partcula s possa entrar na
caixa se ela tiver uma energia entre En+ e En , quanticamente ela tem uma probabilidade de entrar (e, ocasionalmente, entrar) se a sua energia no for bem
determina, mas compatvel com o fato dela entrar na caixa. Neste experimento,
sempre que abrirmos a caixa e medirmos a energia da partcula obteremos (sempre) os valores E1+ ou E2 e nunca entre estes valores.
Problem 30 Mas se detectamos o valor E2 e para passar pelo furo ela teria
de ter uma energia E < E2 , para onde foi a diferena de energia?
No foi para lugar nenhum! Pense no pior: ela foi detectada na caixa com
uma energia E1+ < E.
Problem 31 Como a partcula conseguiu passar pelo furo se ela no tinha energia pra isso?
O que acontece com a conservao de energia? O ponto aqui a descrio
quntica jamais arma que a partcula passou pelo furo, mas apenas que ela
est dentro da caixa. Ou seja, a nica forma de saber se ela passou pelo furo
colocando um detector l dentro. Sem fazer isso, tudo que sabemos que uma
partcula entrou na caixa. O problema est em que toda a nossa descrio anterior se baseia na idia da trajetria seguida pela partcula e, quanticamente,
tal idia dependeria de colocarmos detectores em todos os pontos do espao e
medirmos (e, conseqentemente, interferirmos) na partcula em cada instante de
tempo. Ou seja, na MQ no existe a idia de trajetria de uma partcula.
Alm disso, o fato da partcula ter entrado na caixa com uma energia E1+ menor
que a energia clssica necessria para passar pelo furo, no viola nenhuma lei de
conservao, pois, em nem um momento, a partcula teve a energia bem denida
E (nunca demos esta energia para ela). O fato de sistemas qunticos fazerem
45

coisas que so classicamente proibidas devido a sua energia bem comum em


MQ. Este fenmeno observado corriqueiramente em laboratrio e recebe o
nome de tunelamento. Voltaremos a este fenmeno no futuro.
Exercise 32 Mas ento, como uma partcula que classicamente tem energia E
pode ser detectada com energia E1+ ou E2 ?
Para sabermos a energia da partcula precisamos saber onde ela entra no
espectrmetro. Esta medida da posio causou uma completa indeterminao
no momento, e conseqentemente, na energia da partcula.
O ponto aqui que, na verdade, como o estado inicial da partcula desconhecido, a MQ nos diz que esta partcula est no estado
X
+
=
c+
n n + cn n
n

De sorte que ela ter uma maior probabilidade de entrar na caixa quanto maior
2
2
for c+
e c2 . Alm disso, ao entrar na caixa, o estado da partcula no foi
1
alterado. Assim, se ela inicialmente, alm de um coeciente c+
1 e c2 tiver tambm um coeciente c+
8 (obviamente pequeno) haver tambm a probabilidade
2
de se detectar esta partcula com uma energia E8+ bem maior que E2 .
c+
8
Exercise 33 Mas e se colocarmos uma caixa com tamanho diferente?
Neste caso a decomposio acima no ir mais corresponder ao estado das
partculas permitidas dentro da caixa e, para fazer a descrio acima, teremos
de uma outra decomposio
X
=
cn n ;
n

com

6=

+
n;

Exercise 34 Mas qual das decomposies acima descreve a partcula?


Ambas! Na verdade, observando explicitamente as funes n+ ; n (51) vemos que as decomposies acima nada mais so que a srie de Fourie da funo
e existem innitas formas de se decompor a mesma funo em sries diferentes.
Exercise 35 Mas como a energia clssica E se relaciona com todas estas decomposies?
Como veremos mais tarde, as partculas capturadas tem uma energia mdia
igual a E
X
2
2
E = hEi =
En+ c+
+ En cn
:
n
n

Alm disso, mesmo no caso dos dois furos nas posies correspondentes as
energias E1+ e E2 , a MQ no apia a idia de que a partcula passou por um
ou pelo outro furo.
46

Remark 36 Observe que a fase


(52).

em (54) no interfere nos valores mdios

Como podemos determinar o estado da partcula no caso desta no ter uma


energia bem denida? Neste caso a ES independente do tempo no pode mais
ser usada.

A equao de Schroedinger dependente do tempo

Nosso objetivo agora encontrar uma equao que descreva no apenas a parte
espacial , mas a funo completa , ou seja, ns queremos a verso dependente
do tempo da expresso acima.
A equao (49) s funciona (s compatvel com a equao de onda) para
ondas com uma s freqncia (monocromticas), mas gostaramos de ter uma
maior liberdade na dependncia temporal do nosso problema. Para isso precisamos eliminar E (E = h ) da nossa equao.
Antes de tudo, importante lembrar que, assim como obtivemos as equaes
de Einstein, no possvel deduzir de primeiros princpios a equao de onda.
Esta equao deve ser proposta com argumentos razoveis e, posteriormente,
comprovada com experimentos.
Para isso, primeiro multiplicamos a equao (49)
~2 2
r +V
2m

=E :

por exp ( iEt=~) e voltamos para a funo de onda completa


~2 2
r +V
2m

=E

(mas esta equao s vlida para as nossas ondas monocromticas).


Se operarmos em ambos os lados desta equao com o operador ~2 =2m r2 + V
temos
~2 2
r +V
2m

~2 2
r +V
2m

~2 2
r +V E
2m

= E2

ou seja,
~2 2
r +V
2m

= E2

(57)

Agora derivamos duas vezes a equao (48)

(xi ; t) =

(xi ) exp

47

E
t
~

em relao ao tempo
@2
=
@t2

E2
exp
~2

E
t
~

E2
~2

=) E 2

~2

~2

@2
:
@t2

Substituindo na equao (57)


2

~2 2
r +V
2m

@2
:
@t2

(58)

Esta equao fornece a equao correta para o caso monocromtico, mas, por
no depender de E, possui tambm outras solues. Entretanto, esta equao
possui o terrvel inconveniente de ser uma equao de quarta ordem nas coordenadas espaciais. Isso signica que as solues desta equao exigem uma
quantidade enorme de condies iniciais e condies de contorno que dicilmente
poderiam ser associadas com parmetros fsicos do sistema.
Vamos ento reescrever a equao anterior na forma
^2
H

~2

@2
;
@t2

onde introduzimos o operador


^ =
H

~2 2
r +V :
2m

(59)

Nossa equao pode ainda ser escrita como


^H
^
H

i~

@
@t

i~

@
@t

Solues desta equao pode ser construdas com funes que respeitem
^
H

= i~

@
)
@t

~2 2
r +V
2m

= i~

@
@t

(60)

Esta a equao de Schrdinger dependente do tempo. Esta equao, diferente


da equao de onda usual, de primeira ordem no tempo e de segunda ordem
nas derivadas espaciais.
Problem 37 Mas como foi possvel reduzir uma equao de quarta ordem numa
de segunda ordem?
Ao trabalhar com ondas (equaes de ondas) comum usarmos uma funo
complexa e, no nal, atribuirmos uma realidade fsica apenas a parte real. Entretanto o caso aqui um pouco diferente, pois a nossa equao , na verdade,
(58). Se dividirmos em sua parte real e imaginria
= P + iQ ;
48

e substituirmos em (60) temos


i~

@P
@t

~2 2
r +V
2m

@Q
=
@t

~2 2
r +V
2m

P +i

comparando as partes reais e imaginrias desta equao temos


@P
=
@t
@Q
=
~
@t
~

~2 2
r +V
2m
~2 2
r +V
2m

Q
P

Podemos agora eliminar P ou Q diferenciando uma das equaes acima com relao ao tempo e substituindo na segunda. O que obteremos com isso que tanto
Q como P respeitam a equao (58). Ou seja, temos uma equao de quarta
ordem para funes reais, ou um par de equaes (acopladas) de segunda
ordem para uma funo complexa, cujas partes no podem ser separadas.
Mas, neste ltimo caso, precisamos das relaes acima, o que mostra que, neste
formalismo, ns precisamos da funo completa = P +iQ, i.e., no podemos
atribuir um signicado fsico separadamente para a parte real ou a
imaginria.
Voltemos agora na relao com a ptica geomtrica. Lembre que obtivemos
os resultados da seo anterior seguindo uma frente de onda denida pela funo
S. Alm disso, como vimos anteriormente, a nossa onda se relaciona com S
por (42)
i
= exp
S ;
(61)
~
com isso temos

@
@xi

i @S
@
@
i @S
=
;
=
;
@t
~ @t
@xi
~ @xi
@
i @
@S
i @ @S
=
=
+
@xi
~ @xi
@xi
~ @xi @xi
@S @S
@2S
=
+
:
2
~
@xi @xi
@x2i

@2S
@x2i

Substituindo na equao de Schrdinger (60)


1
2
(rS)
2m

~2 i 2
r S+V
2m ~

@S
@t

ou seja, S respeita a equao


@S
1
2
+
(rS) + V
@t
2m

49

i~ 2
r S
2m

(62)

Vamos comparar este resultado com a equao de HJ (??)


@S
@S
+ H qi ;
;t
@t
@qi

=0

Lembrando que H o Hamiltoniano da partcula podemos escrever


H=

p2
+V
2m

(63)

usando (29)
2

rS = p =) H =

(rS)
@S
1
2
+ V =)
+
(rS) + V
2m
@t
2m

=0

(64)

As equaes (62) e (64) so idnticas a menos do ltimo termo em (62). Lembrando que h = 2 ~ a constante de proporcionalidade que introduzimos em
(42). Em outras palavras, no mesmo sentido que a equao de HJ um limite
para as equaes de onda no caso da ptica geomtrica, esta equao tambm um limite para a ES no caso em que todas as quantidades envolvidas so
grandes com relao h.Mais uma vez, a semelhana acima j havia sido
percebida por Hamilton. Mas a inexistncia de qualquer evidncia experimental do comportamento ondulatrio das partculas o levou (talvez) a pensar que h
fosse zero para partculas massivas. Alm disso, ao se tratar sistemas mecnicos
usuais, o fato de h ser muito pequeno, em relao s demais quantidades do
sistema, faz com que a presena do termo a direita em (61) no inuencie apreciavelmente a dinmica do sistema. Ou seja, quando h pequeno, em relao
s outras quantidades, devemos esperar um comportamento clssico. Podemos
ainda dizer que a equao de HJ representa um limite da equao de Schrdinger
quando todas as quantidades envolvidas so muito grandes em relao h. Isso
normalmente chamado de tomar o limite quando h tende a zero. Obviamente,
como h uma constante, isso deve ser entendido no contexto acima de comparaes de grandezas. Alm disso, tomar o limite h ! 0 chamado de tomar o
limite clssico do sistema quntico. Como, neste caso, a equao que descreve o
sistema (ES) se torna a equao HJ, todas as quantidades calculadas atravs da
ES (e.g., energia) deve se tornar os resultados calculados pela mecnica clssica.
9.0.4

A quantizao de Schrdinger e de Sommerfeld

Dado um sistema mecnico (clssico) sujeito a um potencial V (x), a ES nos


permite construir a descrio quntica deste sistema, i.e., construir a equao de
onda que rege o comportamento quntico do sistema clssico em questo. Assim,
este um processo de quantizao que podemos considerar como o primeiro
processo de quantizao geral. Este processo mais geral que o Sommerfeld por
prescindir da existncia de uma varivel peridica no sistema. Alm disso, este
novo processo nos permite construir no apenas certas quantidades clssicas
(e.g., energia), mas sim a prpria funo de onda que descreve o sistema (de
onde podemos tirar muito mais informaes).
50

Lembrando agora que a quantizao de Sommerfeld pode ser considerada


como uma generalizao dos processos de quantizao anteriores (de Bohr e de
Planck), surge a dvida:
Problem 38 Ser que a quantizao de Schroedinger estaria relacionada com
a quantizao de Sommerfeld?
A resposta sim!
Dado um sistema com uma coordenada (fsica) peridica, por exemplo, um
ngulo , pontos no espao com coordenada e + 2 representam o mesmo
ponto. Pois, uma vez que esta quantidade representa uma posio do sistema, ser peridica signica que o sistema revisita periodicamente esta posio.
Com isso, seria de se esperar que qualquer funo f ( ) que represente uma
caracterstica de um sistema fsico tenha um nico valor denido neste ponto,
i.e., f ( ) = f ( + 2 ). Neste caso dizemos que a funo f tem valor nico, ou
que ela respeita uma condio de unicidade.
Por exemplo, a funo f ( ) = exp (in ), n 2 N, respeita esta condio no
intervalo de 0 a 2 , pois
f ( + 2 ) = exp [in ( + 2 )] = exp (in ) exp (i2 n) = exp (in ) = f ( ) :
Entretanto, isso no ocorre com a funo f ( ) = exp (i =2), neste mesmo intervalo,
f ( + 2 ) = exp i

+2
2

= exp i

exp (i ) =

exp i

f( ) :

De forma geral, se q uma varivel peridica, podemos testar se uma funo


f (q) = exp [ig (q)] de valor nico calculando a variao da fase num perodo
completo
I
dg ;

e exigindo que este valor seja proporcional a 2 ,


I
dg = 2 n ; n 2 N :

(65)

Por exemplo,
f ( ) = ein =) g = g ( ) = n =)
i =2

f( )=e

=) g = g ( ) =

=)

dg =
dg =

nd = 2n ;

1
d =
2

6= 2n :

Lembre-se agora que a ES foi obtida considerando que a partcula obedece


a uma equao de onda na forma (61),
= exp

51

i
S
~

Para um sistema conservativo temos


= exp

i
(W (qi )
~

Et) = exp

i
W (qi ) exp
~

i
Et
~

Como estamos interessados s na variao da parte espacial, temos


I
I
1
1
dW
g (qi ) = W (qi ) =) dg =
~
~
Lembrando que W = W (qi ) temos
dW =

@W
dqi
@qi

usando (44)

com o que

pi =

@W
=) dW = pi dqi
@qi

dg =

1
1
dW =
~
~

pi dqi :

Usando agora a condio de unicidade (65) temos


I
I
I
1
pi dqi = 2 n =) pi dqi = 2 ~n =) pi dqi = nh ;
~
como as variveis so independentes, podemos respeitar a igualdade acima se,
para cada varivel,
I
pi dqi = nh :

Que a regra de quantizao de Sommerfeld.


Resumindo:

Remark 39 A regra de quantizao de Sommerfeld uma conseqncia da


unicidade da funo de onda.
Na teoria de Schrdinger esta unicidade introduzida mo, atravs do
estabelecimento das condies de contorno do problema. Ou seja, impor a quantizao de Sommerfeld equivalente a impor condies de
contorno que garantam a unicidade da funo de onda na teoria de
Schrdinger.
Como vimos na seo anterior, a discretizao dos nveis de energia de uma
partcula so uma conseqncia do connamento da posio da partcula, i.e.,
das condies de contorno do problema.
Alm disso, assim como a quantizao de Sommerfeld permitiu generalizar
as orbitas circulares para elpticas. A ES permite impor novas condies de
contorno.

52

Problem 40 Mas existiria algum sistema fsico que no respeita a condio de


unicidade?
Alm do comportamento curioso j vericado de uma partcula numa caixa,
existem quantidade fsicas (mensurveis) com propriedades ainda mais estranhas.
Por exemplo, existe uma quantidade que, apesar de poder ser descrita por um
vetor, possui a curiosa caracterstica de, , ao ser girada de 360 o., no
retorna ao seu valor original, mas ganham um sinal de menos
f( +2 )=

f( ) :

Estas quantidades so chamadas de espinores e, com as devidas modicaes


(teoria de Pauli), podem ser incorporadas na teoria de Schroedinger.
Condies de contorno so cruciais para se determinar as caractersticas
qunticas do sistema. Efeitos curiosssimos, como o surgimento de foras (mensurveis) e a possibilidade de se detectar efeitos provenientes da energia do
vcuo, uma conseqncia do chamado efeito Casimir, so resultados do estudo
das condies de fronteira do sistema. Caractersticas gerais da matria, como o
nmero de prtons do elemento mais pesado, podem estar ligadas aos problemas
de condies de contorno.

9.1

Outras quantizaes

Voltando agora na expresso (61)


= exp

i
S
~

podemos entender melhor porque o universo, um sistema quntico, se comporta


to classicamente. Voltando a denio da ao como um funcional, a onda
acima pode ser escrita como
!
Z
i b
(a; b) = exp
L dt ;
~ a
onde L = L (q; q;
_ t) a lagrangeana do sistema clssico correspondente. Ou seja,
dado um sistema clssico descrito por uma lagrangiana L, a onda acima fornece
a descrio quntica deste sistema.
Alm disso, se lembrarmos que
2

j (x)j

a probabilidade de encontrar a partcula no ponto x, podemos dizes que


!2
Z
i b
2
L (x; x;
_ t) dt
j (a; b)j = exp
;
~ a
para uma funo x (t) qualquer a probabilidade da partcula sair do ponto a
e chegar no ponto b seguindo a trajetria x (t).
53

Figure 4: The Feynman Lectures on Physics

Problem 41 Mas ento, qual trajetria devemos usar para calcular a ao?
Consideremos novamente o experimento de duas fendas com eltrons. Suponha
tambm que o eltron realize uma trajetria clssica. Assim, ao emitirmos o
eltron da fonte ele pode chegar ao detector pela trajetria G ! 1 ! D, que
vamos chamar de q1 , ou G ! 2 ! D, que vamos chamar de q2 . Se no zemos
nenhuma medida para saber por qual fenda o eltron passou, ele possui igual
probabilidade de ter efetuado qualquer uma das trajetrias. Lembrando agora
que, segundo os princpios que vimos, a probabilidade nal de um evento a
amplitude quadrada da soma das possibilidades, podemos escrever
2
X

i
exp Si [xi ]
(a; b) =
~
i=1

; Si =

L (xi ; x_ i ; t) dt :

Imagine agora que, na frente da primeira placa, existe uma segunda placa com
dois duros. Agora os caminhos possveis so
G ! 1 ! 10
G ! 1 ! 20
G ! 2 ! 10
G ! 2 ! 20

!D
!D
!D
!D;

i
Sik [xi ]
~

; Sik =

e, com isso,
(a; b) =

2 X
2
X

i=1 k=1

exp

L (xik ; x_ ik ; t) dt

e qik a trajetria da partcula quando ela passa pelos furos i e k.


54

Para um conjunto de N placas cada uma com Ni furos, temos


(a; b) =

N1 X
N2
X

q1 =1 q2 =1

::::

NN
X

q2 =N

exp

i
Sx x :::x
~ 1 2 N

Podemos imaginar agora que a trajetria de uma partcula no espao se d no


limite de innitas placas, cada uma com um nmero innito de furos. Neste
caso as somatrias acima podem ser substitudas por integrais
Z Z Z
Z
i
(a; b)
lim
::: exp S [x] dx1 dx2 :::dxN
N !1
~
Z
i
exp S [x] Dx (t)
~
onde agora x = x (t) calculado em todos os pontos do espao, ou seja, representa todas as trajetrias possveis da partcula para ir do ponto a at o ponto
b. A operao de integraoacima chamada de integral de trajetria. Este
o processo de quantizao formalizado por Feynman baseado numa proposta
de Dirac.
Problem 42 Mas como se realiza na prtica a integral acima?
Apesar de extremamente poderoso, o problema do procedimento acima
ainda no existe uma matemtica capaz de formalizar o processo de integrao
acima para o caso geral. Ou seja, ainda no existe uma teoria da medida para
integrais de trajetria. Mesmo assim esta integral pode ser calculada para casos
particulares e, mais ainda, mesmo sem o clculo explicito a idia envolvida neste
procedimento permite tirar certas concluses do sistema.
Do exposto acima vemos que, graas ao comportamento ondulatrio, todas
as trajetrias possveis para a partcula interferem entre si e o resultado nal
desta interferncia determina a trajetria mais provvel para a partcula. O
ponto que, trajetrias fora de fase (assim como ondas) interferem destrutivamente. Ou seja, trajetrias que forneam diferentes valores de ao
interferem destrutivamente e no contribuem para a trajetria mais
provvel da partcula.
Problem 43 Existe alguma ocasio onde estas trajetrias esto em fase?
Para que duas trajetrias estejam em fase basta que a ao calculada em
ambas tenha o mesmo valor. Ou, de outra forma, que a ao no varie quando
mudamos da trajetria q1 (t) para q2 (t). Ora, de todas as trajetrias possveis,
existe apenas uma na qual, trajetrias prximas a ela no modicam o valor da
ao. Esta exatamente a trajetria obtida pela variao funcional da ao, ou
pelo princpio de Hamilton. Assim, quando mais distante a trajetria estiver da
trajetria clssica, mais as trajetrias em volta iro cancelar a sua contribuio.

55

Ou seja, dentre todas as trajetrias possveis, aquelas mais prximas da trajetria clssica so as de maior probabilidade de encontrar o sistema8 .
Problem 44 Mas, se a probabilidade de encontrar o sistema na trajetria clssica sempre muito maior que em qualquer outra, devemos ento esperar sempre
um comportamento clssico?
Um ponto importante na descrio acima que a escolha da trajetria
clssica dependeu da interferncia de vrias trajetrias.
Problem 45 Mas o que aconteceria se no houvesse tantas trajetrias possveis?
Consideremos um problema, comum em eletromagnetismo, de uma fonte que
emite radiao, com um certo comprimento de onda, esta radiao colimada
e captada por um detector depois de um colimador (Figura). Se tratarmos esta
radiao como a trajetria de partculas (fton) livres podemos armar que o
caminho que minimiza a ao entre dois pontos quaisquer uma reta. Assim,
se o detector for colocado em frente a fenda (e.g., na posio D da gura),
existe uma reta que o liga a fonte e ftons sero detectados. Mas, pela descrio
anterior, est linha reta a trajetria do fton apenas porque todas as demais,
que passam pela fenda (pois apenas estas so possveis), se interferiram
destrutivamente. Desta forma, podemos dizer que o fton escolheu a linha reta
porque todas as trajetrias que passam pela fenda se interferem e esta foi a mais
provvel. Isso implica, tambm, que se colocarmos o detector num ngulo no
acessvel por uma linha reta (posio D0 da gura) no detectaremos nada.
Problem 46 Mas e se no houver tantos caminhos para interferir?
Suponha agora que diminumos o buraco do colimados. Quanto menor este
buraco, menos trajetrias so possveis passando por ele. Acontece que, se
este furo diminudo sucientemente, teremos to poucas trajetrias para se
interferir que trajetrias que antes eram destrudas (por interferncia com estas
outras) passam agora a sobreviver (i.e., apresentarem uma probabilidade no
nula). Nestas circunstancias, trajetrias no fsicas para o fton (no sentido
de no minimizarem a ao) passam a ser possveis. Com isso, nesta situao,
podemos esperar que o detector colocado na posio D0 passe a detectar uma
parte da radiao da fonte. E isso realmente acontece!
Problem 47 Mas o que signica uma fenda sucientemente pequena?
Neste ponto o tamanho de referncia exatamente o comprimento de onda
da radiao. Para furos da ordem do comprimento de onda, devemos esperar o
efeito descrito acima. nestas condies que os efeitos qunticos se manifestam.
8 No estamos armando que a partcula seguiu uma trajetria especca. Apenas que
existe uma trajetria na qual, se uma medida da posio da partcula for realizada, temos
uma maior chance de, efetivamente, encontrara a partcula.

56

Figure 5: The Feynman Lectures on Physics

Dentro da descrio do eletromagnetismo, o efeito acima no chama muita


ateno. Pois apenas um efeito de difrao de uma onda. Entretanto, na
descrio com ftons, a descrio quntica se torna bastante elucidativa. Mais
ainda, como sabemos que no h diferena entre partculas e radiao, devemos
esperar este efeito tambm com partculas. Entretanto, neste caso, o comprimento de onda das quantidades to pequeno que estes efeitos no so observados no quotidiano.
Alm da integral de trajetrias, vrios processos de quantizao (em especial
em TQQ) partem da ao clssica do sistema. Por isso, apesar de nos processos
de quantizao para baixas energias a hamiltoniana apresentar um papel fundamental, nas descries de altas energias a lagrangiana que desempenha este
papel.
Problem 48 Mas a lagrangiana e a hamiltoniana no so ligadas por uma
transformada de Legendre?
A armao acima deixa de ser verdade em alguns casos. Em especial,
quando o sistema possui vnculos9 . Neste caso, a esta transformao pode no
estar bem denida. Teorias com este problema so chamadas de Teorias de
Gauge. O estudo de Teorias de Gauge um ponto central da fsica atual.
9 Aqui a palavra vnculo est sendo usada num sentido bem mais amplo daqueles presentes
nos problemas de mecnica clssica usual.

57

10

Limite clssico

Como vimos, h vrias ocasies onde devemos esperar um comportamento clssico dos sistemas. Vejamos mais um exemplo. Voltemos, mais uma vez, ao
problema da partcula numa caixa de tamanho L. Vamos inicialmente analisar
este problema do ponto de vista da fsica clssica. Neste caso, a partcula sempre
teria uma velocidade constante e sua posio ser dada por
x = x0 + vt :
Suponha agora que voc no conhece a posio inicial x0 da partcula.
Problem 49 Qual a chance de encontrar a particular numa certa posio da
caixa?
Ou seja, classicamente quanto vale P (x) dx?
Se a velocidade da partcula variasse, poderamos esperar que, onde ela ca
mais lenta (ou seja, a regio onde ela gasta mais tempo para atravessar) teria
um valor maior de P (x). Como a nossa partcula tem uma velocidade constante,
a probabilidade de encontr-la em qualquer intervalo dx simplesmente o valor
deste intervalo dividido pelo tamanho da caixa (o valor da varivel, dividira pelo
total de valores que ela pode ter)
P dx =

1
dx :
L

Ou seja, a probabilidade uma constante. Isso signica que, se zermos uma


srie de cpias da nossa caixa e as abrirmos encontraremos as partculas distribudas igualmente por toda a caixa. Esta a previso clssica.
Como vimos anteriormente, a descrio quntica bem diferente. Existindo
pontos onde a partcula pode estar com maior probabilidade e pontos onde
ela no pode estar. Entretanto, na descrio quntica, conforme o valor da
energia aumenta, surgem mais picos de probabilidade de onde a partcula pode
estar. Num caso de energia muito alta para qualquer intervalo dx que tomarmos
teremos sempre o mesmo nmero de picos dentro deste intervalo. Assim, neste
caso, a probabilidade de encontrar a partcula em qualquer regio dx , assim
como no caso clssico, uma constante.
Assim, para o caso em que n ! 1 (E ! 1), a descrio quntica concorda com a descrio clssica. Mais ainda, para sistemas cuja energia seja
muito maior que a ordem de grandeza de h, esperamos um comportamento
clssico. Em todo sistema quntico, existe um limite para o qual o comportamento do sistema tende quele previsto pela teoria clssica. Usualmente este
limite est associado ao regime de altas energias. Mas, de forma geral, basta que
as grandezas envolvidas sejam muito grandes, em comparao a h. A existncia
deste limite clssico chamada de princpio da correspondncia de Bohr.
Outra caracterstica importante para se analisar este limite o comprimento
de onda de De Broglie. Por exemplo, num gs com densidade a distncia mdia

58

Figure 6: Figura retirada do Libof

das partculas vale aproximadamente10


n

>>

, n > 0. Assim, para o regime


;

devemos esperar que o comportamento deste gs seja descrito pela mecnica


estatstica clssica (lembre do exemplo da fenda). Mas, para o caso em que
n
' , uma mecnica estatstica quntica deve ser aplicada (este um assunto
da segunda parte do curso). Lembrando que
=

h
p

n
devemos esperar que
' para valores baixos do momento das partculas.
Ou seja, para o limite de baixas temperaturas. Neste regime, fenmenos como
superuidez e supercondutividade passam a se mostrar, mesmo em escala
macroscpica.
Como mencionado no incio destas notas, a fsica clssica comea a apresentar problemas nos limites de (muito) altas e baixas energias.
Lembrando que, simbolicamente, podemos tomar o limite clssico fazendo
h ! 0, as comparaes acima nos mostrar que, se um certo resultado quntico
no contem h, este resultado deve ser mesmo que o obtido por uma teoria clssica. O exemplo mais famoso a seo de choque de espalhamento coulombiano.
Um tratamento quntico detalhado fornece um resultado que no depende de h e
exatamente igual ao resultado obtido por Rutherford usando teorias clssicas.

11

A equao de continuidade

Lembrando a lei da continuidade da carga para o eletromagnetismo temos


r J=

@
:
@t

1 0 Na verdade, n = 1=3, mas, para a nossa discusso basta saber que inversamente proporcional. Este fato bvio, pois, se aumentamos a densidade, diminumos a distncia mdia
entre as partculas.

59

onde a densidade de carga e J a densidade de corrente. A leitura desta


equao nos diz que toda a corrente que ui para fora de uma regio igual
carga que esta regio perdeu.
Desde sua origem os testes e aplicaes da MQ se referem ao problema do
espalhamento de partculas. Ou seja, partculas vindas livrementedo innito
interagem momentaneamente com um certo potencial (e.g., outra partcula) e
voltam a se propagar livremente. Lembre-se, por exemplo, dos experimentos
de Rutherford. Todos os problemas estudados em aceleradores de partculas
so desta forma. A interao momentnea da partcula teste com o potencial
chamada de espalhamento. Usualmente neste tipo de processo a forma exata
do potencial de espalhamento no conhecida. Mas este modelado por certas
caractersticas principais.
Por exemplo, podemos modelar a interao de um eltron com um neutro
supondo que o nutron uma esfera impenetrvel de raio R e usando o potencial
0; r R
1; r<R

V (r) =

chamado de potencial de caroo duro. A quantizao deste potencial fornece


bons resultados desde que a energia do eltron no seja muito grande.
Na maioria dos processos observamos uma partcula, ou um feixe de partculas, e queremos saber o comportamento deste feixe. Assim, como veremos mais
adiante, neste tipo de problema o conceito de conservao da partcula
muito importante (obviamente para os casos onde ela no se desintegra). Por
isso importante buscar por uma lei de conservao semelhante a do eletromagnetismo.
A dinmica de uma partcula descrita pela ES dependente do tempo
^
H

= i~

@
@
=)
=
@t
@t

i ^
H
~

Usando o mesmo desenvolvimento feito para obter a equao acima, mas partindo
do complexo conjugado da funo de onda
= exp
fcil mostrar que

i
S
~

= exp

i
S
~

obedece a equao
^
H

i~

@
@
i ^
=)
= H
@t
@t
~

Observe agora que


2

@j j
@
=
@t
@t

@
+
@t

@
;
@t

usando as duas ES acima temos


2

@j j
=
@t

i ^
H
~

60

i ^
H
~

Para um problema unidimensional


~2 @ 2
+ V (x)
2m @x2

^ =
H
temos
2

@j j
=
@t
=
=
ou ainda

i
~2 @ 2
+ V (x)
~
2m @x2
@2
~
@2
i
2m
@x2
@x2
~ @
@
@
i
2m @x
@x
@x
2

@j j
@
~
+
i
@t
@x 2m

~2 @ 2
+ V (x)
2m @x2

i
~

@
@x

@
@x

=0:

Em 3 dimenses temos
2

@j j
+r
@t

~
( r
2m

r ) =0:

Se denirmos as quantidades
J=i

~
( r
2m

r ) ;

=j j ;

(66)
2

temos exatamente uma equao de continuidade. Sendo j (x; t)j a probabilidade de encontrar a partcula na posio (x; t) fcil ver que a quantidade
(x; t) acima pode ser como uma densidade de partculas. Denimos assim o
conceito quntico de densidade e corrente de partculas J (x; t).
Remark 50 Diferena conceitual entre densidade clssica e quntica?
Alm do fato da densidade das partculas estar relacionada com a probabilidade de onde a partcula est, existe tambm uma corrente associada a ela.
Pelos princpios da MQ esta corrente no pode ser associada diretamente ao
movimento da partcula.
Por exemplo, uma partcula numa caixa, com energia bem denida E
descrita por uma funo na forma
(x) = N sin (kx) exp

E
t
~

e possui uma densidade


2

(x; t) = j j = jN j sin2 (kx) ;


61

e uma corrente
J=i

~
2m

@
@x

@
@x

=0=

@
:
@t

Ou seja, mesmo que classicamente pensemos numa partcula andando de um


lado para o outro da caixa (consequentemente um uxo na forma Jc = v (x)),
quanticamente no h uxo algum. Alm disso, classicamente a nossa
densidade seria diferente de zero apenas num ponto ( c = (x)), mas quanticamente, ela se espalha por toda a caixa.
Por exemplo, um eltron de um tomo de hidrognio inuencia a sua viz2
inhana como se fosse uma distribuio de carga dada por = j (r)j e no
como uma distribuio de carga clssica de uma nica partcula c = q (r).
Obviamente, como sempre acontece em MQ, existem regimes onde os conceitos clssicos e qunticos concordam.

12

Barreira de potencial nita

Vamos agora analisar o problema de uma barreira de potencial nita. Imagine,


por exemplo, um circuito como o da gura abaixo:

Onde as grades esto ligadas a uma bateria. Na regio I temos um potencial


constante, que podemos chamar de U = 0. E na Regio II temos, novamente
um potencial constante U = V > 0. Uma carga se movendo em qualquer uma
destas regies no sofrer a inuncia de nenhuma fora.
Agora, se uma carga (positiva) tentar se mover na Regio III entre as placas,
sofrer uma fora constante F = qE, dada por um potencial U = Ex. O grco
deste potencial seria algo como:

62

Classicamente uma carga na Regio I s poderia penetrar na Regio II se


ela tiver energia suciente para vencer a barreira de potencial, ou seja, apenas
se ela possui uma energia E > V . Se uma carga com E < V viaja pela Regio
I, ao chegar na Regio III ela seria desacelerada at ser reetida de volta.
Alm disso, toda a carga com E > V passaria pelo potencial.
Vejamos agora o que nos diz a descrio quntica deste problema.
Para simplicar bastante o nosso problema, ns jogamos as duas placas
externas para o innito e fazemos D ! 0 ou, o que d no mesmo, fazemos
V >> D. Com isso, o potencial tem a forma da gura abaixo

Ento agora temos apenas duas regies. A Regio I ser aquela onde o
potencial vale zero, U = 0, enquanto na Regio II, temos U (x) = V . Assim,
nesta descrio, temos tambm duas ES, uma para cada regio.
Assim como no caso da partcula livre, imaginemos que a partcula possui
uma energia bem denida, i.e., vamos estudar a ES independente do tempo para
este problema.
Na Regio I:

63

~2 d 2
+U
2m dx2
2m
k12 = 2 E :
~

=E

~2
2m

00
I

=E

=)

00
I

k12

;
(67)

A soluo deste problema o mesmo da partcula livre, ou seja, podemos


escrever a soluo como:
I

= A exp (ikI x) + B exp ( ikI x) :

As duas solues acima representam ondas viajando na direo x (kI = x


^)
x ( kI = x
^).

J para a Regio II temos:


~2 d 2
+U
2m dx2
00
II

k22

; k22 =

=E

~2 d 2
+V
2m dx2

2m
(E
~2

II

V ):

=E

II

(68)

Note que, apesar de ambos serem constante, k1 6= k2 . Assim, a soluo da


equao diferencial acima a mesma da anterior, mas, como veremos, o comportamento destas solues bem diferente. Ou seja,
II

(x) = C exp (ik2 x) + D exp ( ik2 x) :

Nosso objetivo saber o que acontece com uma partcula que vem da regio
I, viajando para a direita, quando esta encontra a barreira de potencial. Assim,
podemos simplicar ainda mais o nosso problema fazendo D = 0. Observe que
a partcula pode vir pela direita, ser reetida pela barreira e voltar viajando

64

para a esquerda, por isso no fazemos B = 0. Com isso, as solues procuradas


tm a forma
(x) = A exp (ik1 x) + B exp ( ik1 x)
II (x) = C exp (ik2 x)
I

As solues acima representam a composio de 3 onde distintas:


1.

i = A exp (ik1 x) descreve uma onda plana que vem do innito ( 1) em


direo a barreira (nossa partcula inicial).

2.

t = C exp (ik2 x) descreve uma onda que atravessou a barreira e se move


para a direita.

3.

r = B exp ( ik1 x) descreve uma onda para a esquerda. Como inicialmente s temos partculas vindas da direita, esta onda s pode descrever
uma onda (ou uma partcula) que foi reetida pela barreira.
2

Da descrio acima vemos que jCj a probabilidade da nossa partcula


2
atravessar a barreira (pois se jCj = 0 ) j II j = 0 e no h partcula na
2
regio II), enquanto jBj a probabilidade da nossa partcula ser reetida pela
barreira. Se a partcula foi reetida ela volta com a mesma energia E e se ela
atravessou ela agora ter uma energia E V .
Podemos associar ao sistema ento uma corrente Ji da partcula (ou das
partculas) incidentes. Usando (66)
Ji = i

~
2m

@ i
@x

@ i
@x

=i

~
2m

2ik1 jAj

~
2
k1 jAj
m

Lembrando que, pela relao de De Broglie (ou pela denio de k)


p=

h
k = ~k ;
2

a quantidade ~k1 o momento da nossa partcula incidente. Assim, se associamos a partcula uma velocidade (clssica), v = p=m, a quantidade Ji pode ser
escrita como
Ji =

~k1
p1
2
2
2
jAj (^
x) =
jAj (^
x) = v1 jAj (^
x) :
m
m

Alm disso, lembrando a nossa denio quntica para a densidade de partculas


2

=j j )

= jAj

temos
Ji = v1

Que exatamente a expresso clssica para a corrente de uma distribuio


com densidade e velocidade v. necessrio ter em mente que, apesar das
65

descries baterem, a interpretao por detrs destas equaes bem diferente.


Enquanto classicamente esperamos ter uma innidade de partculas distribudas
uniformemente no eixo x (pois i constante), e cada uma com velocidade v.
Quanticamente podemos ter apenas uma partcula com momento ~k que possui
a mesma probabilidade de ser encontrada em qualquer lugar do eixo
x. Lembre-se que a soluo com energia denida uma onda estacionria que
ocupa (sempre) todo o espao. Quando o nmero de partculas grande estas
duas interpretaes fornecem resultados equivalentes.
Entretanto, levando adiante esta analogia, podemos ainda denir uma corrente para as partculas reetidas Jr
Jr =

~
2
k1 jBj ( x
^) :
m

O coeciente de reexo R de um meio mede exatamente a frao da corrente


incidente (ou da intensidade da onda incidente) que este meio capaz de reetir.
Assim:
2
jAj
jJr j
=
R=
2 :
jJi j
jBj
Se pensarmos apenas em termos de ondas (como eletromagnticas) a expresso
acima simplesmente nos diz que o coeciente de reexo de um meio a razo
entre a intensidade da onda reetida e da onda incidente.
Da mesma forma, podemos denir uma corrente transmitida Jt
Jt =

~k2
2
jCj (^
x) ;
m

e determinar o coeciente de transmisso do nosso potencial


2

T =

jJt j
k2 jCj
:
=
jJi j
k1 jBj2

Se o nosso sistema consiste numa innidade de partculas, emitidas uma aps


a outras, os coecientes acima nos dizem a proporo destas partculas que ir
atravessa ou ser reetida pela barreira. Estes efeitos so facilmente observados com a luz em meios translcidos. Mas veja que agora, a expresses acima
so vlidas para uma nica partcula (massiva, ou um fton). Esta descrio
completamente diferente da clssica que arma: se partcula tem energia
maior que a barreira ela passa, caso contrrio ela no passa. Falando
novamente sobre ftons, vemos que o comportamento clssico (observado em
meios translcidos) esperado para um sistema constitudo com um grande
nmero de partculas. Neste sentido a teoria clssica da luz funciona perfeitamente bem para intensidades altas, mas, para baixas intensidades, precisamos
da teoria quntica. Baixas intensidade (apenas alguns, ou mesmo um nico
fton) s foram alcanados em equipamentos mais modernos. Vemos que, no
caso da luz, o limite clssico est relacionado com altas intensidades.

66

Bem, voltemos agora a nossa descrio quntica. Para determinarmos os


coecientes R e T da nossa barreira, precisamos obter as razes entre as intensidades da nossa funo de onda, ou seja, determinar a razo entre as constantes
da nossa equao diferencial. Assim como no caso da partcula na caixa, para
determinar as constantes acima precisamos impor condies de contorno no
problema.
Mais uma vez, no queremos descontinuidades na funo de onda (pois isso
estaria associado com uma energia innita). Alm disso, como a ES independente do tempo envolve uma derivada segunda, pela mesma razo no queremos
uma descontinuidade na primeira derivada da funo de onda. Matematicamente estas exigncias so necessrias para que as equaes diferenciais faam sentido.
Assim, devemos impor as condies
I

(0) =

(0) ;

II

0
I

0
II

(0) =

(0) ;

Com isso
A+B =C
ik1 (A

B) = ik2 C =) A

B=

k2
C
k1

Resolvendo para C=A e B=A temos


1
2
B
C
i ;
=h
=
A
A
1+
1 + kk21

k2
k1
k2
k1

Com isso, nossos coecientes se tornam


4k2 =k1

T =

1+

k2
k1

; R=

1 k2 =k1
1 + k2 =k1

Usando (67) e (68)

r
k2
V
= 1
k1
E
Vamos primeiro analisar o caso em que E V
E

V )

V
E

1)0

k2
k1

1:

Como era de se esperar


T +R=

1
1+

k2
k1

onde usamos explicitamente k2 =k1

2k2 =k1 + 1 + (k2 =k1 )

1.
67

=1

(69)

Figure 7: Libo

Para o caso especial E = V


T =0; R=1
temos uma reexo total da partcula. Conforme E cresce o coeciente de
transmisso vai aumentando enquanto o de reexo vai diminuindo.
Observe que, apesar do coeciente de transmisso aumentar com a energia
(o que natural), o comportamento completamente diferente do esperado
classicamente. Pois, mesmo que a partcula tenha uma energia E > V
ela tem uma probabilidade de ser reetida pela barreira. Ou seja, se
jogarmos vrias partculas com uma energia E > V detectaremos algumas sendo
reetidas pela barreira. No nosso exemplo da carga atravessando o campo, a
nossa partcula tem energia cintica suciente para vencer o campo,
mas, mesmo assim, ela reetida.
Vejamos agora o que ocorre quando E < V .
Neste caso, a ES na regio II se torna
d2
dx2

II

=
00
II

2m
(E
~2
=

II

V)
;

II

d2
dx2

2m
(V
~2

II

2m
(V
~2

E)

E) > 0

Cuja soluo vale


II

(x) = C exp (

x) + C 0 exp (+ x) ;

Problem 51 Qual dos sinais acima usar?


68

> 0:

II

A resposta para esta pergunta permite analisar uma srie de caractersticas


(fsicas e formais) da MQ.
Vamos considerar que a soluo geral seja uma combinao linear dos dois
sinais.
Neste caso, conforme nossa onda se aproxima do innito teremos:
II

(x ! 1) ' C exp ( x) ! 1

Fisicamente isso signica que a partcula sempre seria encontrada no innito, ou seja, a probabilidade dela estar no innito (e conseqentemente ser
transmitida seria sempre maior que qualquer outra probabilidade nita). Obviamente isso no acontece, o que nos permite (com argumentos fsicos) escolher
o sinal de menos na exponencial. Matematicamente o mesmo argumento
arma que uma funo de onda este fato est relacionado com no podermos
normalizar a funo de onda acima. Assim, entre os postulados da MQ, temos
que os estados fsicos do sistema so dados por funes de onda que respeitam
Z 1
2
j (x)j dx < 1
1

Ou seja, cuja probabilidade de serem encontrada em todo o espao seja nita.


Dizemos que as funes permitidas so de quadrado integrvel, ou, mais tecnicamente, que elas pertencem ao espao de Hilbert. Com isso temos
II

(x) = C exp (

x) :

Podemos continuar usando todos os resultados anteriores fazendo


00
II

(i )

II

e substituindo k2 por i . Com isso


1
B
=
A
1+

i
k1
i
k1

Se denirmos
z =1+i

k1

lembrando que =k1 2 R, temos


B
z
B
= =) R =
A
z
A

z
z

=1:

Ou seja, neste caso a partcula sempre reetida.


Para obter o coeciente R vamos usar,
T +R=1)T =0 :
Entretanto, precisamos ver que este resultado continua vlido para E <
V (lembre-se que, para obter o resultado (69) acima, usamos explicitamente
69

E
V ). Neste caso necessrio notar que no processo de espalhamento que
estamos estudando todas as correntes so constantes. O que, pela equao de
continuidade, signica que
@
@
)
=0:
@t
@t

r J=

Para o caso de uma partcula, este resultado no nada intuitivo com a nossa
viso clssica. Pois no podemos imaginar a partcula entrando nem
saindo de nenhuma regio. Mas lembres-se que, enquanto voc no detectar
a partcula ela uma onda no espao todo. O resultado acima nos diz que
@Jx
@x
com isso

1
1

@J
=0;
@x

@J
dx = J1
@x

=0:

Mas sabemos que


J

J1
com isso
Jt

Ji + Jr = 0 =)

= Ji
= Jt

Jr

Jt
Jr
+
= 1 =) T + R = 1 :
Ji
Ji

Assim este resultado vlido para qualquer corrente estacionria.


Com isso, para E < V , temos
R = 1 =) T = 0
Ou seja, para energias menores que a barreira todas as partculas so reetidas.
Este ltimo resultado concorda plenamente com o esperado classicamente.
Podemos obter este resultado tambm diretamente da soluo
II

(x) = C exp (

x) =)

II

(1) = 0

Ou seja, no podemos encontrar nossa partcula muito longe da barreira e,


consequentemente, no h corrente Jt nesta regio. Alm disso, como a corrente
estacionria, Jt 0.

13

Barreira quadrada

Vamos analisar agora um problema um pouco mais complicado, mas muito mais
interessante. Imagine agora que o nosso potencial no continua constante at o
innito, mas volta a cair num certo ponto. Ou seja, a nossa partcula vem livre
at x < a (U (x < a) = 0), sofre a ao de um potencial em x = a (U = V ),
70

Figure 8: Libo

mas a inuncia deste potencial torna a desaparecer numa certa distncia a


(U (x > a) = 0).
Temos agora 3 regies de interesse e, para cada regio, temos a seguinte ES
independente do tempo
I

(x) = Aeik1 x + Be

ik1 x

II

(x) = Ceik2 x + De

ik2 x

III

(x) = F eik1 x ; x > a

2mE
; x< a
~2
2m
; k22 = 2 (E V ) ; a < x < a
~

; k12 =

Onde, na ltima funo de onda, usamos novamente que estamos interessados


apenas no espalhamento de uma partcula vinda da esquerda.
Mais uma vez, estamos interessados no estudo dos coecientes de transmisso
T e reexo R deste potencial
T =

F
A

; R=

B
A

Mais uma vez, os coecientes esto relacionados pela continuidade da funo

71

e sua derivada nos pontos


ik1 a

e
k1 e

ik1 a

B
C
eik1 a =
e
A
A
C
B
eik1 a = k2
A
A

ik2 a

D
A

eik2 a
D
A

ik2 a

eik2 a

e a,

k2

C
D
F
eik2 a +
e ik2 a =
eik1 a
A
A
A
C
D
F
eik2 a
e ik2 a = k1
eik1 a
A
A
A

Resolvendo estas equaes para F=A, B=A temos:


1

F
i k12 + k22
= e2ik1 a cos (2k2 a)
A
2
k1 k2
2
2
i F k2 k1
B
=
sin (2k2 a)
A
2 A
k1 k2

sin (2k2 a)

Exercise 52 Obtenha as expresses acima.


Usando a segunda das relaes acima podemos escrever
B
A

F
=
A

k22 k12
k1 k2

1
4

sin2 (2k2 a)

e suando a relao
F
A

1
A
=
T
F

T +R=
temos

13.1

B
A

= 1 =)

1 k22 k12
=
4 k1 k2

B
A

=1

F
A

sin2 (2k2 a) + 1

Primeiro caso E > V

Para E > V temos


k12 =
k12

2mE
2m
> 0 ; k22 = 2 (E V ) > 0
~2
~
2
2
2
k
k1
k12 k22
k22 =) 2
=
k1 k2
k1 k2

72

E (E V )
V2

com isso
4E (E V )
p
V 2 sin2 g E V + 4E (E
r
2m
g = 2a
~2

T =

V)

; E>V
(70)

Onde agrupamos todas as caractersticas da partcula e da espessura da barreira


na constante g.
Mais uma vez temos o comportamento descrito anteriormente de que, mesmo
para energias mais altas que V , a partcula pode ser reetida pelo potencial.
Alm disso, a transmisso total (T = 1) sempre que a diferena entre a
energia e o potencial valer:
E

V =

~2
n
2m
2a

=) T =

4E (E
4E (E

V)
=1
V)

Ou seja, quando a barreira respeita a relao acima ela se torna transparente


para as partculas.
Usando
2
k2 =
;
2

podemos escrever a relao anterior como


2ak2 = n =) 2a = n

quando o comprimento de onda da partcula metade do tamanho da barreira.


Esta relao pode ser usada para medir a espessura da barreira.
Para energias muito altas
T =1; E!1:
Quando E ! V temos

p
E ! V ; sin g E

T !

1
V2 2
4E g

+1

p
!g E
1

g 2
2

V ;

<1:

V +1

Agora temos que para energias prximas ao valor do potencial o coeciente de


transmisso no mais se anula. Alm disso, para uma barrira innita (V !
1), ou uma barreira muito longa (g ! 1, que o caso analisado anteriormente),
temos (como esperado) T = 0.

73

13.2

Segundo caso E < V

Analisemos agora o caso para E < V . Novamente podemos aproveitar toda a


lgebra desenvolvida anteriormente fazendo a substituio
k22 =

2m
(E
~2

i = k2 )

V)
2

2m
(V
~2

E) =

k22 :

Observe ento que antes e depois da barreira temos ondas (oscilantes) enquanto dentro da barreira a funo de onda decai exponencialmente. Assim,
devemos esperar um comportamento como o da gura abaixo. Onde a amplitude da onda depois da barreira e to menor quanto mais longa a barreira.

Libo
Com isso temos:
2

1
1 (i )
k12
=
T
4
k1 i
=

1
4

1
4

usando

k12

sin2 (2i a) + 1
2

sinh2 (2 a) + 1

k1 i
2

+ k12
k1

sinh2 (2 a) + 1

+ k12
V
=p
k1
E (V

temos
T =

V sinh

4E (V E)
p
g V E + 4E (V
74

E)

E)

; E<V

(Pode passar a barreira)


O principal ponto deste resultado que, mesmo para E < V (classicamente
nossa partcula no tem energia para atravessar o potencial), temos T 6= 0. Este
fenmeno chamado de tunelamento quntico, ou simplesmente, tunelamento.
Este processo esta por trs do Scanning tunneling microscope. De acordo com
este efeito, sistemas qunticos fazem coisas que eles no teriam energia pra fazer
(mas isso, de forma alguma, viola a conservao de energia). Uma das primeiras
aplicaes do tunelamento, foi para explicar o decaimento radioativo de certos
tomos. No ncleo atmico a forca de repulso coulombiana entre os prtons e
compensada pela atrao nuclear entre os nucleons. Entretanto, como a fora
nuclear de curto alcance, enquanto a fora de Coulomb de longo alcance,
conforma aumentamos o tamanho do tomo, prtons mais distantes continuam
se repelindo pela fora eletromagntica, mas so atrados apenas pelos nucleons
a sua volta. Vamos tendo assim um aumento gradual da repulso, enquanto
a atrao permanece a mesma. Se tentarmos montar um tomo muito grande
a repulso colombiana simplesmente despedaar o nosso tomo. Mas, para
tomos no to grandes (e.g., urnio-238), a fora de atrao ainda maior (mas
pouco maior) que a repulso. Assim, classicamente este tomo seria estvel.
Entretanto, devido ao processo de tunelamento, pedaos do ncleo que no
teriam energia (devido a repulso) para escaparem da atrao, conseguem fazlo. Assim, alguns pedaos do ncleo (e.g., dois prtons e dois nutrons, chamado
de partcula alfa) escapam do tomo de urnio. Este problema foi tratado com
esta abordagem de tunelamento por Gamow, Condon e Gurney em 1928.
Atualmente uma srie de dispositivos eletrnicos (juno de Josephson e
diodos de tunelamento) funciona atravs deste processo de tunelamento, neste
caso, envolvendo eltrons.
Vemos que para E < V temos T < 1. E para E ! 0
T !h

V 2 sinh

p i =0;
g V

O comportamento geral do sistema pode ser visto na gura abaixo (para


g = 4)
O coeciente (e, conseqentemente, a probabilidade) de transmisso vai aumentando com a energia E, at atingir um valor mximo (T = 1) que depende
das caractersticas da barreira (g). Depois este valor oscila prximo ao mximo,
de sorte que num certo range, se aumentarmos a energia diminumos a transmisso (um comportamento bastante inesperado). Depois, para energias muito
altas, a transmisso passa a valer sempre 1.

14

Poo nito

O poo de potencial quadrado, apesar de mais complicado que os potenciais


anteriores, fornece uma forma simples de entender alguns dos mais importantes
75

Figure 9: Figura tirada do Libo, para g = 4.

76

problemas tratados pela MQ. Ente eles, a estrutura do tomo de hidrognio e a


conduo eletrnica tanto em metais e em semicondutores.
A congurao deste problema pode ser descrita por um potencial na forma

Libo
Neste problema podemos continuar usando as mesmas equaes do problema
anterior
2mE
ik1 x
; x< a
+ Be ik1 x ; k12 =
I (x) = Ae
~2
2m
ik2 x
+ De ik2 x ; k22 = 2 (E V ) ; a < x < a
II (x) = Ce
~
ik1 x
; x>a
(71)
III (x) = F e
apenas com a modicao
k22 =
com isso, para E
(70)
T =

2m
(E
~2

V ) ! k22 =

0 (que equivale ao caso E

V sin

4E (E V )
p
g E V + 4E (E

se torna
T =

V 2 sin

V)

2m
(E + jV j)
~2
V ) o coeciente de transmisso

; E > V ; g = 2a

4E (E + jV j)
p
g E + jV j + 4E (E + jV j)
77

2m
~2

Para este potencial temos


T ! 1 para E ! 1
T = 0 para E = 0

Alm disso, temos, novamente, um mximo de transmisso para


p
g E + jV j = 2ak2 = n

O principal ponto a se notar agora que este potencial, diferente do anterior,


um potencial atrativo.
Classicamente, impossvel para um potencial atrativo reetir uma partcula.
Entretanto, no caso quntico, vemos que tal efeito pode acontecer. Nesta teoria,
podemos imaginar um eltron sendo atirado contra um ncleo, temos que este
eltron pode ser reetido pelo ncleo. Alm disso, para valores de energia acima
(2ak2 = n ), o ncleo completamente transparente para o eltron (este o
efeito Ramsauer ).
Neste caso, como nos anteriores, a partcula pode assumir qualquer
valor de energia, i.e., o espectro de energia forma um contnuo.
14.0.1

Energia negativa.

Vamos agora procurar por solues da ES com V < E < 0. Neste caso temos
(lembre que agora a regio classicamente proibida jxj > a)
d2 I
=
dx2
d2 II
=
dx2
d2 III
=
dx2

k22
2

;
II

III

2m
jEj > 0 =) I (x) = A exp ( x)
~2
2m
; k22 = 2 (jV j jEj) > 0 =) II (x) = B exp (ik2 x) + C exp ( ik2 x)
~
2

; =)

(x) = D exp (

x)

(72)

Onde, pela condio de normalizao, em I usamos apenas o sinal de + e em


. E usamos novas letras para as constantes multiplicativas.
II o sinal de
Nesta escolha implicitamente estamos escolhendo a raiz positiva de
r
r
2m
2m
2
jEj =) = +
jEj > 0 :
=
2
~
~2
Novamente impomos as condies de continuidade da funo e sua derivada
nos pontos a
A exp (
A exp (

a) = B exp ( ik2 a) + C exp (ik2 a)


a) = ik2 [B exp ( ik2 a) C exp (ik2 a)]

78

ea
B exp (ik2 a) + C exp ( ik2 a) = D exp ( a)
ik2 [B exp (ik2 a) C exp ( ik2 a)] = D exp ( a)
coletando estas equaes temos
Be

ik2 a

Ceik2 a = 0 ;

Beik2 a + Ce

ik2 a

De

Ae
A e

Bik2 e

Bik2 eik2 a

ik2 a

Cik2 e

=0;

+ Cik2 eik2 a = 0 ;

ik2 a

+D e

=0:

As equaes acima podem ser escritas na seguinte forma matricial


Mv = 0
onde
0

B
M =B
@

e
0

e
0

e ik2 a
eik2 a
ik2 e ik2 a
ik2 eik2 a

eik2 a
e ik2 a
ik2 eik2 a
ik2 e ik2 a

0
e
0
e

Se a matriz M for inversvel, podemos escrever


v=M

1
A
C
C
B
C ; v=B B C
A
@ C A
D

0)A=B=C=D=0:

Assim, a nica forma da equao acima ter uma soluo no trivial, a matriz
M no ser inversvel. Ou seja,
det M = 0 ;
(esta a regra de Kramer para que um sistema de equaes tenha soluo notrivial).
Manipulando a matriz temos
1. Multiplicando a primeira linha por e subtraindo com a terceira; multiplicando a segunda por e somando da quarta; multiplicar primeira linha
por 1
0
10
1
0
G
G
0
A
CB B C
B
0
G
G
0
B
CB
C
@ e a
A@ C A ;
ik2 e ik2 a
ik2 eik2 a
0
D
0
ik2 eik2 a
ik2 e ik2 a
e a
onde

( + ik2 ) eik2 a :
79

2. Trocar primeira coluna com a segunda (observe que estamos reorganizando


o sistema e precisamos redenir v)
1
10
0
G
0
G
0
B
CB A C
B
G
0
G
0
C
CB
B
a
ik2 a
A@ C A
@ ik2 e ik2 a
e
ik2 e
0
D
ik2 eik2 a
0
ik2 e ik2 a
e a
e depois a segunda com a terceira
0
G
G
B
G
G
B
@ ik2 e ik2 a
ik2 eik2 a
ik2 a
ik2 e ik2 a
ik2 e

0
0
a

10

0
0
0

1
B
CB C C
C
CB
A@ A A
D

Se calcularmos agora o determinante da matriz acima temos


2

det M =

k22

G2

(G )2 e2(

a )

Exercise 53 Calcule o determinante da matriz acima.


Com isso, a condio de Kronecker se torna
det M = 0 ) G2 = (G )2 ) G =

(73)

Lembrando que um nmero complexo pode ser escrito na forma polar


q
k2
z = + ik2 = jzj ei ; jzj = k22 + 2 ; tan =

temos

G = jGj exp (i [k2 a + ])


Assim, (73) se torna
G=

G ) exp (i [k2 a + ]) =

exp ( i [k2 a + ])

Para as razes positivas


G = +G =) exp (i [k2 a + ]) = exp ( i [k2 a + ]) =) k2 a +

=0

ou ainda
k2 a +

= 0 =) tan (k2 a) =

ou ainda
=

tan

cos (k2 a)
k2 =
sin (k2 a)

k2

=)

k2 cot (k2 a) ;

80

tan (k2 a) =

G
=1
G

k2

(74)

Para a raiz negativa fornece


G=

G =) exp (i [k2 a + ]) =

k2 a +

k2 a

=) k2 a +

ou ainda
tan

exp ( i [k2 a + ]) = exp ( i [k2 a +

k2

= tan

])

2
k2 a = cot (k2 a)

que pode ser colocada na forma


= k2 tan k2 a ;
Retornando estas solues em
0
G
G
B
G
G
B
@ e ik2 a
eik2 a
ik2 a
e
e ik2 a

0
0
ik2 e
0

G
=
G
0
0
0
ik2 e

temos

1
1
B
CB C C
C
CB
A@ A A = 0
D
10
a

(75)

B
G
=
C
G
B
G
GB + G C = 0 =)
=
C
G
com isso, para cada uma das razes (73) e (74) temos
G B + GC = 0 =)

B
=
C
B
=
C
14.0.2

G
G
= 1 =) B = C ; k2 tan k2 a = ;
= 1;
G
G
G
G
= 1 =) B = C ;
= k2 cot (k2 a) ;
=1:
G
G

Raiz negativa, primeira igualdade

Substituindo a segunda igualdade B = C nas duas outras ltimas equaes em


(75) temos
e

ik2 a

Ceik2 a

eik2 a B + Ce

ik2

ik2 a

ik2

A = 0 =) A = 2

D = 0 =) D = 2

k2
k2

B sin (k2 a) e

B sin (k2 a) e

Substituindo nas funes de onda (72) temos


I

(x) = A exp ( x) =)

(x) = 2

k2

B sin (k2 a) exp [ (x + a)] ;

(x) = B exp (ik2 x) + C exp ( ik2 x) =) II = 2B cos (k2 x) ;


k2
x) =) III (x) = 2 B sin (k2 a) exp (
(x
III (x) = D exp (

II

k2 tan k2 a =

a)) ;
(76)

81

Que, pela dependncia na coordenada na forma do cosseno, so chamadas de


solues pares.
Para determinar a constante B em ambas as solues acima, basta normalizar as funo
Z
1

j j dx = 1

temos assim a soluo completa do nosso problema.


As relaes entre k2 e na equao (76) determinam os valores possveis de
energia do nosso problema. Entretanto, esta uma equao transcendental e
no podemos encontrar uma forma algbrica fechada para as solues (i.e., no
podemos encontrar uma relao simples entre estas quantidades).
Vamos primeiro estudar as pares solues (76). Fazendo mudana de variveis (para variveis adimensionais)
= k2 a ;

= a =) tan =

Lembrando que escolhemos a raiz positiva de

(77)

e que a > 0 temos

>0:
Pela denio de k2 e
2

temos

2m
2m
jEj ; k22 = 2 (jV j
~2
~

jEj) =)

+k22 =

2m
2m
jEj+ 2 (jV j
~2
~

jEj) =

2m
jV j
~2

ou ainda

2m
2
jV j
~2
ou seja, para dados valores de a,m e V a relao acima descreve um crculo de
raio no plano
.
Ou seja, para um dado poo de tamanho a, profundidade V e uma partcula
de massa m, a ES do nosso problema ter solues no-triviais, apenas se as
seguintes equaes forem (simultaneamente) satisfeitas
p
2
2 ;
= tan ; = +
ap
(E) = a =
2m jEj > 0
(78)
~
2

= a2

onde, novamente, escolhemos o sinal de + para porque j havamos escolhido


a raiz positiva de . Esta uma restrio nas energias (para solues
estacionrias pares) permitidas para o nosso sistema.
Para encontrar estes valores possveis de energia, podemos usar mtodos
numricos, ou simplesmente plotar num grco as duas equaes (78) e procurarmos pelas interseces destas guras.
Um exemplo, para um dado valor de < , mostrado na gura abaixo.

82

Libo
Ou seja, para
2
~2
2m a
estas curvas se encontraram apenas uma vez no ponto 1 da gura. Assim, para
este valor de potencial, temos apenas um possvel valor de k2 e que respeita as
condies de contorno do nosso problema. A energia deste estado dada pelo
valor de

<

=) jV j <

2
~2 2
~2
1
1 =) E1 =
2m
2m a
Este um estado estacionrio (par) permitido para o sistema (como a soluo
da ES independente do tempo, o estado deve ser estacionrio). Lembrando que
os estados estacionrios so estados de energia determinada, nestas condies
o sistema tem apenas um valor permitido de energia. Este um estado estacionrio em que a partcula est presa dentro do posso. Ou seja, a regio
permitida para a partcula limitada no espao. Um estado estacionrio (de
energia bem denida) limitado no espao chamado de um estado ligado (em
contradio aos estados no ligados onde a partcula de energia bem denida
pode ir para o innito).
Observe que, se aumentarmos a profundidade do poo (i.e., aumentar a fora
de atrao jV j), de forma que
r
2m
< < 2 =) < a2 2 jV j < 2
~
1

1a

=) jE1 j =

83

teremos dois estados ligados para o sistema. Ou seja, dois estados de energia
permitidos. Alm disso, o nmero de estados ligados aumenta com a largura do
poo a. Outro ponto a se observar que para qualquer valor de energia E < 0
existe pelo menos um estado ligado par. Ou seja, assim como no caso
clssico, um poo de potencial quntico sempre pode capturar uma partcula
com E < 0. A diferena que classicamente esta partcula sempre capturada
enquanto quanticamente ela tem uma probabilidade de ser capturada dada pelo
coeciente de reexo.
14.0.3

Raiz positiva, segunda igualdade

Substituindo a segunda igualdade B =


B
=
C

ik2 a

1 =)

Ceik2 a

eik2 a B + Ce

ik2

ik2 a

ik2

A
=
B

C nas duas outras equaes temos


D
=
B

2i sin (k2 a) e

A = 0 =) A = 2

ik2

D = 0 =) D =

e a B cos (k2 a)

ik2

Be

cos (k2 a)

Substituindo nas funes de onda (72) temos


I

(x) = A exp ( x) =)

(x) = 2

ik2

B cos (k2 a) exp ( (x + a)) ;

(x) = B exp (ik2 x) + C exp ( ik2 x) =) II (x) = 2B sin (k2 x)


ik2
x) =) III (x) = 2
B cos (k2 a) exp (
(x
III (x) = D exp (

II

k2 cot (k2 a) =

a)) ;

(79)

Estas so as solues impares do nosso problema.


O desenvolvimento segue de forma completamente anloga ao caso da raiz
negativa (ondas pares). Neste caso, novamente, temos a condio:
2

= a2

2m
jV j
~2

= k2 a ;

= a

mas agora devemos procurar por interseces deste circulo com a curva:
=

cot (k2 a)

O grco desta curva tem a forma:


Ou seja, para valores
3
2
2
temos apenas um estado ligado. Diferente das solues pares, para
2
~2
(i.e., jV j < 2m
) no temos nenhum estado ligado mpar.
a
<

<

84

<

=2

Figure 10: Libo

Obviamente, os estados ligados disponveis para a partcula no poo so a


soma dos estados pares e impares. Entretanto, com o veremos na segunda parte
deste curso, esta caracterstica de paridades esto diretamente relacionadas com
a natureza das partculas connadas dentro do poo.
Os dois primeiros estados ligados do sistema tm a forma:
Observe que, novamente, existe uma probabilidade da partcula ser detectada
na regio classicamente proibida fora do poo. Alm disso, se o poo muito
profundo (jV j ! 1) teremos estados ligados com energia E << 0 (jEj >> 0)
e conseqentemente
>> 0. Neste caso (o poo de profundidade innita)
qualquer estado com energia nita ter um decaimento muito rpido fora da
barreira. Ou seja, a probabilidade de ser encontrada fora do poo
nula. Assim, quando a profundidade do poo tende a innito, voltamos a ter o
problema da partcula na caixa, com as mesmas solues e energias encontradas
anteriormente.
14.0.4

Espectro contnuo e discreto

O desenvolvimento matricial permite ver com mais facilidade a diferena entre o problema para o espectro contnuo E > 0 e o espectro discreto E < 0.
Para o espectro contnuo do caso do espalhamento, as condies de fronteira do

85

Figure 11: Libo

problema nos do
B
A
B
A

eik1 a +
C
A

k2
k1

eik1 a +

C
A

k2
k1

C
A

eik2 a +

eik2 a

k2
k1

C
A
e
D
A
D
A

ik2 a

ik2 a

+
k2
k1

ik2 a

ik2 a

D
A
D
A
F
A
F
A

eik2 a = e

ik1 a

eik2 a = e

ik1 a

eik1 a = 0
eik1 a = 0

onde, como temos agora cinco variveis, podemos eliminar uma delas escrevendo
todas as quantidades em relao a razo ?=A, uma vez que o nmero de condies
de fronteira o mesmo temos o mesmo nmero de equaes. Alm disso, como
estamos interessados num problema de espalhamento de partculas lanadas de
1 (as funes de onda foram montadas com esta suposio), sabemos que
sempre teremos A 6= 0.

86

Com isso podemos escrever o nosso sistema na forma


B 0 eik1 a + C 0 e ik2 a + D0 eik2 a
k2
k2 0 ik2 a
B 0 eik1 a + C 0 e ik2 a
De
k1
k1
C 0 eik2 a + D0 e ik2 a D0 eik1 a
k2 0 ik2 a k2 0 ik2 a
Ce
De
F 0 eik1 a
k1
k1

=e

ik1 a

=e

ik1 a

=0
=0

Onde as quantidades com linha so as originais divididas por A.


Novamente, podemos colocar as equaes acima na forma matricial
Mv = u
onde
0

eik1 a
B eik1 a
M =B
@
0
0

ik2 a

k2
ik2 a
k1 e
ik2 a

k2 ik2 a
k1 e

eik2 a
k2 ik2 a
k1 e
e ik2 a
k2
ik2 a
k1 e

1
0 0
0
B
C
B C0
0
C ; v=B 0
@ D
eik1 a A
F0
eik1 a

1
1
C
B C
C ; u = e ik1 a B 1 C
A
@ 0 A
0
1

O que obtemos agora uma equao no homogenia (u 6= 0) nas nossas


incgnitas. Neste caso a soluo geral do nosso problema no est restrita a
condio de Kronecker (ou, seja, no impomos mais que M no seja inversvel).
Na verdade, tudo que temos de fazer agora e inverter a matriz M e podemos
determinar (de forma unvoca) o vetor v
v=M

Se voc zer isso, ir obter exatamente as relaes calculadas anteriormente. Ou


seja, neste caso no precisamos impor nenhum vnculo no sistema para obter
uma soluo no trivial (i.e., para obter v 6= 0). A constante A que sobra pode
agora ser determinada pelas condies de normalizao.
Este problema importante porque mostra bem a diferena entre estados
ligados e no-ligados, e para modelar a fsica da conduo em metais de semicondutores. Entretanto, como veremos, ele bastante articial, especialmente
porque matematicamente alguns observveis no esto bem denidos.

15

Estrutura formal da MQ

A fenomenologia da MQ surge nos trabalhos de Planck e Einstein (1895-1915).


A estrutura formal da MQ nasce com o processo de quantizao de BohrSommerfeld e dos postulados de De Broglie (1910-1923). Esta a chamada velha
MQ. Esta estrutura modicada pela estrutura envolvendo variveis intrinsecamente complexa, presente nos trabalhos de Schroedinger e a estrutura nocomutativa (matricial) dos trabalhos Heisenberg, Born e Jordan (1925-1930).
87

Estas duas estruturas foram posteriormente unicadas por Schroedinger dentro


dos conceitos da anlise funcional. Nasce aqui a nova MQ. Este trabalho foi
avanado numa estrutura formal ainda mais consistente pelos trabalhos de Von
Neumann (anlise complexa), Weyl (teoria de grupos) e Dirac (tudo!).
Nos trabalhos iniciais de Bohr-Sommerfeld e De Broglie, a MQ pensada
como uma releiturada fsica clssica. Ou seja, a interpretao de quantidades
clssicas mensurveis no como uma caracterstica intrnseca dos sistemas, mas
como probabilidades que o sistema assuma tais valores. Entretanto, como vimos, a teoria de Schroedinger arma que a descrio completa de um sistema
fsico envolve quantidades complexas que esto fora do alcance dos aparelhos
de medida. Ou seja, a descrio anterior da mecnica, baseada em variveis
reais e no espao de fase, no pode comportar a realidade dos sistemas
fsicos. Foi necessrio ento desenvolver uma nova estrutura matemtica para
descrever de forma satisfatria esta nova teoria quntica. Esta nova estrutura
envolve conceitos da anlise funcional como espaos de Hilbert e o espectro
de operadores. E em termos desta estrutura matemtica que os postulados da MQ so estabelecidos. Ou seja, impossvel ter uma idia da estrutura
atual da MQ sem um conhecimento, ainda que (bem) supercial, da estrutura
matemtica envolvida nesta teoria. Por isso vamos fazer um pequeno passeio
por alguns conceitos da anlise funcional complexa.

15.1

Espaos vetoriais e operadores

Um espao vetorial V qualquer conjunto de elementos onde denimos uma


regra de composio entre estes elementos, que simbolizamos geralmente pelo
sinal de soma (+). Ou seja, dado dois elementos quaisquer v1 ; v2 2 V , sabemos
realizar a composio:
8 v1 ; v2 2 V : v1 + v2 = v3 2 V ;
Ademais estabelecesse uma outra regra, chamada de produto com um escalar
( ), da composio dos elementos deste conjunto sobre o corpo dos reais (ou dos
complexos). Ou seja:
8 v1 2 V; a 2 R : a:v1 = av1 = v3 2 V ;

Alm disso, esta operao de soma deve respeitar (lembre-se que podemos
denir diferentes somas, e.g., soma de setas, de matrizes.):
1. (a) Associativa: v1 + (v2 + v3 ) = (v1 + v2 ) + v3 .
(b) Comutativa: v1 + v2 = v2 + v1 .
(c) Elemento identidade: 9 0 2 V : v + 0 = v; 8 v 2 V .

(d) Elemento inverso: 8 v 2 V; 9

v 2 V : v + ( v) = 0 :

(e) Distributiva pelo produto com um escalar: a (v1 + v2 ) = av1 + av2 .


88

(f) Distributiva pela soma escalar: (a1 + a2 ) v = a1 v + a2 v


(g) compatvel com a multiplicao escalar dos campo: a1 (a2 v) = (a1 a2 ) v
Um exemplo simples e bem conhecido de um espao vetorial seria o conjunto de setas num plano. Ou seja, quantidades com um certo comprimento
que apontam em determinada direo e sentido (mas que no esto xas em
nenhum ponto). Com isso, V o conjunto de todas as setas. Para que este
conjunto se torne um espao vetorial precisamos primeiro denir como estas
setas so multiplicadas por um nmero real. Fazemos isso denindo que
~v2 = a~v1 ; ~v1 ; 2 V ; a 2 R ; a

uma nova seta ~v2 2 V (tambm no plano) que aponta na mesma direo de
~v1 , mas tem o comprimento a vezes maior. Da mesma forma,
~v3 = a~v1 ; ~v1 2 V ; a 2 R ; a < 0
tem o mesmo mdulo e sentido de ~v2 , mas aponta na direo contrria (tem
sentido contrrio).
Precisamos agora denir como se somam estas. Fazemos isso denindo
~v3 = ~v1 + ~v2 ; ~v1 ; ~v2 2 V
como uma nova seta ~v3 2 V obtida levando a origem de ~v1 na ponta de ~v2 e
ligamos a extremidade de ~v1 com a ponta de ~v2 (ou fazemos o mesmo invertendo
~v1 com ~v2 ).
Com isso, fcil ver que V um espao vetorial.

15.2

Produto interno

Dentro do espao vetorial, podemos ainda (mas no uma condio necessria


para a sua construo) denir uma operao de produto entre os elementos
do espao. Esta operao, no caso geral, associa a dois vetores quaisquer um
nmero. Ou seja, esta operao um mapa
V

V2 !R ;

O smbolo usual para esta operao o seguinte:


(~v1 ; ~v2 ) = v ; ~v1 ; ~v2 2 V ; v 2 R
Esta operao chamada de produto escalar, ou, de forma mais geral, de produto
interno. Ela pode ser denida de vrias formas diferentes, precisando apenas
respeitar as seguintes regras (no corpo dos reais):
(~v1 ; ~v2 ) = (~v2 ; ~v1 ) (simtrico)
(a~v1 + b~v2 ; ~v3 ) = (a~v1 ; ~v3 ) + (b~v2 ; ~v3 ) (linear)
(~v ; ~v ) 0 ; (~v ; ~v ) = 0 =) ~v = ~0 (positivo denido)
89

onde ~0 o vetor identidade do espao vetorial, usualmente denotamos ~0


mas lembre-se que 0 2 V .
Como exemplo, no nosso espao de setas podemos denir:

0,

(~v1 ; ~v2 ) = j~v1 j j~v2 j cos


Onde jvj 2 R o tamanho da nossa seta e o menor ngulo entre as setas.
Num espao vetorial geral, este tamanho chamado de norma do vetor e pode
ser escrito como
2
(~v ; ~v ) = j~v j j~v j cos 0 = j~v j :
Ou seja, uma vez denido o produto interno sabemos calcular a norma
dos vetores.
O produto interno fornece uma forma bastante conveniente de fazemos referncias as nossas setas (sem termos de fazer desenhos ou guardamos a seta, cuidadosamente para no girar, numa gaveta). Imagine que todas as pessoas que iro
trabalhar com estas setas concordam em usar duas setas especiais ~e1 e ~e2 , ou
seja, duas setas que todos sabem o tamanho e a direo que apontam (apenas
estas duas ns guardamos na gaveta). Feito isso, podemos associar a uma seta
qualquer ~v os nmeros:
v1 = (~v ; ~e1 ) ; v2 = (~v ; ~e2 )

(80)

Dado estes dois nmeros, qualquer pessoa que conhea as setas ~e1 e ~e2 pode
reconstruir ~v . Estes dois vetores formam uma base do nosso espao de setas.
A nica exigncia que estes no sejam setas que apontem na mesma direo
(co-lineares).
Problem 54 Como reconstrumos o vetor ~v ?
O que temos de fazer procurar por um vetor cujo produto interno com ~e1
e ~e2 fornea os nmeros acima. Feito isso, este vetor ser nico.
Agora, seria muito conveniente se pudssemos sistematizar a reconstruo de
~v numa lgebra simples. Por exemplo, seria bastante conveniente se pudssemos
reconstruir ~v apenas fazendo
~v = v1~e1 + v2~e2 ;

(81)

com vi denidos em (80).


Problem 55 Isso vlido para qualquer base (~e1 ; ~e2 )?
A resposta no.
Problem 56 Quais as caracterstica devemos impor para a nossa base para
podermos usar a expresso (81)?

90

Tomemos novamente o produto interno do nosso vetor (81) com ~e1


(~v ; ~e1 ) = (v1~e1 + v2~e2 ; ~e1 ) = v1 (~e1 ; ~e1 ) + v2 (~e2 ; ~e1 )
Usando agora (80) devemos ter
v1 (~e1 ; ~e1 ) + v2 (~e2 ; ~e1 ) = v1
para um vetor ~v qualquer do nosso espao. Esta igualdade s vlida para
vetores ~e1 e ~e2 que respeitam
(~e2 ; ~e1 ) = 0 (ortogonal)
(~e1 ; ~e1 ) = 1 (normalizado)
A primeira igualdade nos diz que os nossos vetores de base so ortogonais e a
segunda que o vetor ~e1 est normalizado. Da mesma fora, se tivssemos feito
o produto com ~e2 teramos
(~e1 ; ~e2 ) = 0 ; (~e2 ; ~e2 ) = 1 :
Ou seja, dada uma base e um vetor ~v estes s estaro relacionados pela expresso
(81) se
(~ei ; ~ej ) = ij :
(82)
Uma base que respeita a igualdade (82) chamada de ortonormal.
Remark 57 Observe que bases no-ortonormais tambm so legtimas para descrever o espao. Entretanto, para bases ortonormais as expresses e manipulaes dos vetores toma uma forma bastante simples.
(Podemos obter bases no-normalizadas)
Como veremos a seguir, existe um procedimento geral para, dado um espao,
obtermos uma base ortogonal. Entretanto, esta base usualmente no normalizada. Contudo, num espao vetorial com o produto interno denido, dados
dois vetores ~e1 e ~e2 que sejam ortogonais ((~e1 ; ~e2 ) = 0), mas no normalizados,
podemos facilmente denir novos vetores
e^i =
que sero obviamente normais

~ei
~ei
=p
j~ei j
(~ei ; ~ei )
(^
ei ; e^i ) = 1 :

Este processo chamado de normalizao dos vetores de base. Usamos o chapu


para indicar que a base foi normalizada.
A base ortonormal nos d uma forma tambm muito conveniente de denirmos a soma dos nossos elementos (mais uma vez, sem precisarmos apelar para

91

desenhos). Vimos que, dada uma base ortonormal, a representao dos nossos
vetores nesta base assume a forma
~v = v1 e^1 + v2 e^2 ; vi = (~v ; e^i )
Podemos agora escolher uma representao matricial para os nossos vetores da base. Uma escolha possvel a seguinte:
e^1

1
0

0
1

=^
e1 ; e^2

=^
e2

(83)

Exercise 58 Verique que os vetores acima so ortonormais pela multiplicao


usual de matrizes.
Usando (83) temos,
~v = v1 e^1 + v2 e^2

v1^
e1 + v2^
e2 =

v1
v2

Feito isso, a soma e a multiplicao por escalar se resume a lgebra usual de


matrizes
v1
v10
v1 + av10
v + av0 =
+a
=
:
0
v2
v2
v2 + av20
No lugar de (83) poderamos ter escolhido qualquer base ortonormal para o
espao das matrizes. Ou seja, qualquer par de matrizes que fossem ortogonais
e normalizadas. Por exemplo:
e^1

1
p
2

1
1

=^
e01 ; e^2

1
p
2

1
1

=^
e02

(84)

Mas, neste caso, a forma matricial dos nossos vetores no seria to simples
1
v1^
e01 + v2^
e02 = v1 p
2

1
1

1
+ v2 p
2

1
=p
2

1
1

v1 + v2
v1 v2

A base (83) se chama base cannica.


A igualdade acima vlida para qualquer base ortonormal. Ou
seja, se escolhermos uma base diferente da cannica, ainda podemos encontrar
as componentes dos vetores na base original atravs do produto interno
vi = (v; ^
ei ) = (~v ; e^i ) :
Por exemplo, dado o vetor
0
1

v=

As componentes vi deste vetor na base cannica , obviamente, v1 = 0 ; v2 = 1.


Entretanto, se tivssemos escolhido a base (84), teramos
v1 = (v; ^
e01 ) =

v2 = (v; ^
e01 ) =

92

1
p
2
1
p
2

1
1
1
1

1
=p
2
=

1
p
2

Assim, sempre que temos um vetor na forma matricial, precisamos saber em


que base este vetor foi escrito. Usualmente, e quando nada for especicado,
estaremos falando da base cannica.
Como veremos, algumas vezes conveniente trabalhar numa base diferente
da cannica.
Na base cannica as componentes do vetor so os elementos da matriz.
15.2.1

Representao dual

Poderamos tambm ter escolhido representar nossos vetores (na base cannica)
por matrizes linha
~v = v1 v2
:
Observe que o prprio conjunto das matrizes n m (para qualquer valor
de m e n) com a denio usual de soma e multiplicao por escalar j forma
um espao vetorial. Ou seja, no procedimento acima estamos identicando
um espao vetorial com outro. Para com isso aproveitarmos as caractersticas
algbricas j conhecidas do outro espao (das matrizes).
Neste processo podemos identicar, ou representar, o vetor ~v com a matriz
n 0 ou com a matriz 0 n. A representao n 0 chamada de dual da
representao 0 n (e vice-versa).
Dada uma base ortonormal f^
ei g e as componentes de dois vetores nesta
base
~v = v1 e^1 + v2 e^2 ; ~g = g1 e^1 + g2 e^2 ;
o produto interno entre eles pode ser calculado como
(~v ; ~g ) = (v1 e^1 + v2 e^2 ; g1 e^1 + g2 e^2 )
= v1 g2 (^
e1 ; e^2 ) + v1 g1 (^
e1 ; e^1 ) + v2 g1 (^
e2 ; e^1 ) + v2 g2 (^
e2 ; e^2 )
= v1 g1 + v2 g2 =

2
X

vi gi :

i=1

Na representao matricial esta igualdade toma a forma


(~v ; ~g ) = v1 g1 + v2 g2 =

v1

v2

g1
g2

= vT g

onde vT a transposta de v. Ou seja, podemos realizar o produto interno


convencionando que o elemento a direita em (:; :) representa o vetor, enquanto
o elemento a esquerda, representa o dual do vetor.
Recapitulando:
1. Partimos de um conjunto de objetos (setas) e denimos neste conjunto
uma operao de soma entre os elementos e a multiplicao destes elementos por um nmero real. Denimos assim um espao vetorial V
sobre os reais.

93

2. Em seguida selecionamos dois elementos ortogonais deste conjunto (duas


setas que formam um ngulo de 90o ) e normalizados (setas de comprimento
unitrio) e formamos uma base ortonormal f^
ei g.
3. Passamos ento a identicar as setas com as suas componentes nesta base
~v 2 V : ~v ! fv1 ; v2 g.
4. Em seguida organizamos estas componentes em matrizes. E passamos a
no mais olhar para o espao original das setas, mas sim para o espao
das matrizes associadas a cada elemento ~v 2 V : ~v ! fv1 ; v2 g ! v.
Dizemos com isso que estamos escolhendo uma representao matricial para
o nosso espao vetorial.

15.3

Mudana de base

Como vimos anteriormente, a forma explicita das componentes do vetor dependem de qual base escolhemos.
Se numa certa base f^
e1 ; e^2 g um vetor ~v tem componentes
~v = v1 e^1 + v2 e^2
numa outra base f^
e01 ; e^02 g ele ter outras componentes
~v = v10 e^01 + v20 e^02
Problem 59 Se voc escolher uma certa base ortonormal f^
e1 ; e^2 g, como comparar suas quantidades com os de algum que escolheu outra base f^
e01 ; e^02 g? Ou
0
seja, como vi se relaciona com vi ?
Para saber isso basta lembrar que todos estes vetores formam uma base do
espao. Assim, podemos escrever
e^1 = a11 e^01 + a12 e^02
e^2 = a21 e^01 + a22 e^02
onde, pela denio dos nossos coecientes de expanso (80), temos a11 =
(^
e1 ; e^01 ), ou, de forma geral
aij = e^i ; e^0j :
Com isso,
e^i =

2
X

aij e^0j =

j=1

2
X

e^i ; e^0j e^0j

j=1

Assim, se voc tem um vetor qualquer


~v = v1 e^1 + v2 e^2 =

2
X
i=1

94

vi e^i

(85)

podemos usar (85) e escrever


~v =

2
X
i=1

vi e^i =

2 X
2
X

vi e^i ; e^0j e^0j =

i=1 j=1

2 X
2
X

vi e^i ; e^0j e^0j

j=1 i=1

Ou seja, se vi so as componentes de ~v na base f^


ei g as componentes vi0 deste
0
mesmo vetor na base fei g so
vj0 =

2
X

vi e^i ; e^0j

i=1

As quantidades e^i ; e^0j tambm podem ser organizadas numa matriz quadrada
com linha i e coluna j. Esta matriz chamada de matriz de mudana da base
f^
eg para a base fe0 g. Chamando esta matriz de M T a igualdade acima pode
ser escrita como
vT 0 = vT M T ) v0 = M v :
Vemos assim como conveniente identicarmos nossos vetores com matrizes.
De forma geral, todas as quantidades com um nico ndice podem ser vistos
como uma matriz coluna (ou linha) de 2 elementos e qualquer quantidade com
dois ndices como uma matriz 2 2.

15.4

Notao de Dirac

Observe que estamos trabalhando com duas quantidades, os elementos do conjunto que formam o espao vetorial V e os elementos do conjunto dos reais R.
Por isso usamos uma notao especial para diferenciar os elementos destes dois
conjuntos. No caso, uma seta sobre os vetores para as setas, ou um negrito para
as matrizes. Poderamos tambm usar letras gregas para vetores e romanas para
nmeros. O importante sabermos, numa expresso, diferenciar os vetores dos
nmeros.
A seta usada anteriormente nos lembra que estamos trabalhando com um
conjunto de setas. Como queremos trabalhar com diferentes espaos vetoriais,
vamos apenas introduzir uma notao mais abstrata e geral. Para diferenciar o
nmero a 2 R de um vetor a 2 V , usaremos o seguinte smbolo:
V 3a

jai :

Ou seja, colocar a letra dentro do smbolo (j i) acima, chamado de ket, apenas


indica que esta quantidade um vetor.
Dentro da nossa representao matricial devemos identicar jai com uma
matriz (digamos, linha) a. Nesta representao podemos tambm denir o
smbolo para o dual do vetor
aT

haj :

chamado de bra. Esta a notao de Dirac.


95

A vantagem desta notao que ela nos permite representar diretamente o


produto escalar dos vetores
(b; a)
como o produto de um vetor jai pelo dual de jbi,i.e. hbj,
(b; a)

hbj jai

hbj ai ;

onde o smbolo h:j :i chamado de braket (parnteses). Ou seja, a notao


de Dirac divide o smbolo (:; :) em paren j) e teses (j que juntos formam um
parnteses (esta foi a notao original que posteriormente mudou para h:j e j:i)

15.5

Operadores

Podemos tambm realizar operaes nos nossos vetores. O tipo de operao,


obviamente, depende do espao V que estamos trabalhando. Por exemplo, se
nosso vetor uma seta que aponta numa certa direo, voc pode querer saber
o que acontece com esta seta se ela for girada de um certo ngulo. Ou seja,
queremos denir a operao de rotao nas nossas setas.
Pelo procedimento descrito anteriormente sabemos que podemos construir
uma representao matricial para nosso espao V . Se, nesta representao,
nosso vetor tem componentes
v1
v2

jvi =

Quais as novas componentes, ou novo vetor jv 0 i, se este vetor for girado no sentido anti-horrio, de um ngulo . Como vimos na primeira parte do curso, na
representao matricial, estas novas componentes se relacionam com as anteriores por
v10
cos
sin
v1
jv 0 i =
=
;
v20
sin
cos
v2
ou ainda, simbolicamente,
cos
sin

^ jvi ; R
^=
jv 0 i = R

sin
cos

que, nosso caso, uma matriz 2 2, i.e., um operador no nosso espao de


vetores de dimenso 2. Ou seja, no nosso espao vetorial 2 0 um operador
(linear) uma matriz 2 2.
As componentes de matriz n n podem ser identicadas atravs de dois
ndices Rij . Na notao de Dirac um operador pode ser representado como
Rij

jii hjj

Se encararmos jii como um vetor (uma matriz 2 0), vemos que a quantidade
acima representa um produto entre o vetor jii e o dual do vetor jii. Ou seja,
96

para dois vetores jai ; jbi 2 V , podemos denir dois tipos de produtos entre um
e o dual do outro
haj
jbi

jbi
haj

haj bi (produto interno)


jbi haj (produto externo)

o primeiro, como vimos, o produto interno. O segundo chamado de produto


externo, ou produto tensorial.
Ou seja o produto tensorial leva um par de vetores em V (matrizes 2 0)
em um elemento do espao V V = V 2 (matrizes 2 2).
Ou de um ket 2 0 com um bra 0 2 leva a um operador 2 2. Lembrando
que o conjunto das matrizes m n forma um espao vetorial, este uma mapa
(ou uma relao entre espaos vetoriais).
Este o mesmo produto tensorial estudado na primeira parte do curso.
Como vimos, a sua realizao no espao das matrizes pode ser feito atravs do
produto de Kronecker.
jai

hbj =

a1
a2

a1
a2

b1
b1
b1

b2

b2
b2

a1 b1
a2 b1

a1 b2
a2 b2

que igual a matriz jii hjj = ai bj (compare com a equao (1.11) da primeira
parte do curso).
Remark 60 Lembre-se que haj bi um nmero, mas jai hbj uma matriz.
Na notao de Dirac, a atuao do operador jai hbj 2 V 2 num vetor jvi 2 V
denida como
(jai hbj) jvi = jai (hbj jvi) = jai hbj vi 2 V
Ou seja, a atuao do operador jai hbj no vetor jvi gerou um novo vetor que o
produto do vetor jai com o nmero hbj vi.
Obviamente a denio acima deve ser compatvel com as operaes matriciais denidas anteriormente. Isso pode ser vericado, calculando-se o lado
esquerdo,
(jai hbj) jvi =

b1 a1
b1 a2

b2 a1
b2 a2

v1
v2

a1 (b1 v1 + b2 v2 )
a2 (b1 v1 + b2 v2 )

O lado, direito

hbj vi =

b1

b2

jai hbj vi = (b1 v1 + b2 v2 )

v1
v2

= b1 v1 + b2 v2
a1
a2
97

a1 (b1 v1 + b2 v2 )
a2 (b1 v1 + b2 v2 )

E comparando os resultados.
Observe que, para calcular o lado esquerdo, precisamos primeiro fazer um
produto de Kronecker e depois um produto matricial, enquanto para calcular
o lado direito zemos apenas o produto matricial e o de uma matriz com um
nmero. Para o caso em duas dimenses isso no parece uma grande diferena,
mas para dimenses maiores (em especial, para innita) o segundo procedimento
bem mais simples. Vemos ento como a notao de Dirac simplica as contas.
Escrevendo
jbi = b1 j^
e1 i + b2 j^
e2 i
jai = a1 j^
e1 i + a2 j^
e2 i
temos
jai hbj = b1 a1 j^
e1 i h^
e1 j + b2 a1 j^
e1 i h^
e2 j + b1 a2 j^
e2 i h^
e1 j + b2 a2 j^
e2 i h^
e2 j
=

2
X

i;j=1

ai bj j^
ei i h^
ej j

ou seja, se ai e bi so as componentes de jai e jbi ento as componentes do


produto tensorial jai hbj so ai bj na base (de V 2 ) j^
ei i h^
ej j.
Exercise 61 Obtenha a forma matricial de j^
ei i h^
ej j e verique que esta uma
base para o espao das matrizes 2 2.
Todo o operador (matriz), pode ser decomposto nesta base. Em especial, a
nossa matriz de rotao tem a forma
^=
R

2
X

i;j=1

Rij j^
ei i h^
ej j

(o chapu indica que R um operador), com Rij nmeros reais. Com isso
0
1
!
2
2
X
X
^ jvi ! jv0 i = @
jv0 i = R
Rij j^
ei i h^
ej jA
vk j^
ek i
i;j=1

2
X

2
X

i;j=1 k=1

2 X
2
X

i;j=1 k=1

2
X

i;j=1

k=1

Rij j^
ei i vk h^
ej j e^k i
Rij j^
ei i vk

jk

Rij vj j^
ei i

Da mesma forma, na representao matricial, num espao de dimenso N


um vetor uma matriz linha de N elementos e operadores so matrizes N N .
98

15.6

Autovalores e autovetores

Uma relao entre operadores e vetores que de especial interesse quando a


aplicao de um operador sobre um vetor resulta num vetor na mesma direo
(i.e., proporcional) ao vetor original. Isso , quando:
^ jxi = a jxi ; a 2 R ; jxi =
M
6 0:
^ e que a o autovalor
Neste caso, dizemos que jxi um autovetor do operador M
do autovetor jxi.
Por exemplo, se aplicarmos o operador P^ (que troca o eixo x por x, ou
seja, coloca um espelho no nosso sistema) no vetor
0
1

jp1 i =
teremos
1
0

P^ jp1 i =

0
1

0
1

0
1

= jp1 i :

Ou seja, o vetor jp1 i um autovetor de P^ com autovalor 1. J o vetor


jp2 i =

1
0

1
0

0
1

1
0

1
0

Assim, jp2 i outro autovetor de P^ , mas com auto valor


jp3 i =

1
1

1
0

0
1

1
1

1
1

1
0

jp2 i :

1: J o vetor
6= a jp3 i

ento, jp3 i no auto vetor de P^ . Da mesma forma, qualquer vetor autovetor


^ ( ) com autovalor 1, pois
de R
^ ( ) jxi =
R

1
0

0
1

x1
x2

x1
x2

jxi :

^ ( =2) no possui nenhum autovetor.


Alm disso, o operador R
15.6.1

Espao euclidiano de dimenso nita RN

Apesar dos exemplos explcitos dados anteriormente envolverem apenas espaos


bidimensionais, toda as discusses e denies apresentadas so igualmente vlidas para um espao com uma dimenso N arbitrria. Neste caso, obviamente,
as somatrias devem ir at N . Por exemplo, num espao de dimenso N existe
uma base fjei ig ; i = 1; 2; 3:::; N que podemos escolher ortonormal e, qualquer
vetor do nosso espao pode ser escrito como
j i=

N
X
i=1

99

ci jei i :

Onde ci so as componentes do vetor j i na base fjei ig.


Na representao matricial, os vetores sero matrizes N 1, os duais matrizes
1 N e os operadores matrizes N N . Obviamente, neste caso, as diculdades
algbricas crescem com o valor de N , mas nenhuma diculdade conceitual est
envolvida neste processo.

15.7

Espao de Hilbert

Nosso objetivo aqui obter uma generalizao dos resultados da seo anterior.
O primeiro ponto lembrar que nossos vetores, e os nmeros que multiplicam
estes vetores, so todos reais. Assim, a primeira generalizao que podemos fazer
denir um vetor num espao de dimenso n qualquer seqncia de nmeros
complexos 1 ; 2 ; :::; n ( i 2 C) e que nossos vetores podem se multiplicados
tambm por nmeros complexo
j i+

j i=j i ;

2C

com
i

Dizemos que agora nosso espao vetorial est sendo montado sobre o corpo dos
complexos.
At aqui nada mudou. O ponto agora que devemos lembrar que se um
nmero complexo, podemos ter
2
<0
(e.g., para
= i). Isso implica que a somatria do quadrado de nmeros
complexo no uma quantidade positiva denida e, consequentemente, a norma
denida anteriormente pode nos dar valores negativos. No queremos ter vetores
de norma negativa (isso , na verdade, contra a denio do que uma norma).
Podemos resolver este problema lembrando que
:

0; 8 2 C ;

onde, alm disso


: =0)

=0:

Assim, podemos recuperar a caracterstica de positividade da nossa norma se,


no lugar de (??) denirmos o produto interno como
h j i=

1+

2 + ::: +

n n

n
X

i=0i

com isso temos, novamente,


2

j j =h j i=

n
X

100

i=0

i i

i i

(86)

com

j j = 0 =) j i = 0 :
A nica diferena neste produto interno que, no lugar da simetria, temos
agora uma simetria conjugada
h j i=

n
X

i i

i=0i

n
X

i i)

n
X

i i

i=0

i=0

=h j i:

J para o produto externo entre os vetores j i e j i, temos agora duas opes.


Podemos denir o operador
^ = j ih j
M
com componentes
Mij =

i j

Ou podemos formar tambm o transposto conjugado do operador


^T
^+ = M
M

j i

i j

= j ih j ;

com
+
Mij
=

i j

j i

= (Mji )

ou seja
+

^+ = M
^T
M

) (j i h j) = j i h j :

Da mesma forma, no que se refere a representao matricial, continuamos


representando nossos vetores por matrizes coluna
0
1
1

B 2 C
B
C
j i=B . C
.
@ . A
n

mas, para ser compatvel com o produto interno (86), devemos denir o dual de
j i, no apenas como o transposto, mas como o transposto conjugado
h j=

A segunda generalizao que vamos fazer permitir que a dimenso do


espao assuma qualquer valor, incluindo o innito. Ou seja, vamos admitir
espaos com n = 1. Esta , na verdade, a motivao deste desenvolvimento.
Neste caso, obviamente no podemos mais representar nossos vetores por matrizes. Mas podemos continuar usando todas as expresses anteriores (fazendo
n = 1). A grande diferena que antes, bastava que cada elemento do nosso vetor estivesse bem denido (no fosse innito) e, certamente, todas as expresses
tambm estariam bem denidas.

101

Agora, para n = 1, pode acontecer de cada elemento do nosso vetor estar


bem denido e, mesmo assim, no conseguirmos calcular quantidades como, por
exemplo, o produto interno. Ou seja, agora precisamos exigir que as somatrias
denidas anteriormente convirjam.
Por exemplo, podemos denir as componentes do nosso vetor como
xk =

1
k 1=2

; k2N :

Cada componente est bem denida. Em especial, para k ! 1,


x1 =

1
1=2

(1)

=0:

Entretanto, se desejarmos calcular a norma deste vetor teremos11


2

jxj =

1
1
X
X
1
1
1
=
1=2
1=2
k
k
k
k=1
k=1

!1:

E no podemos utilizar para estas componentes a noo de norma que indispensvel em todas as nossas anlises. Destarte, se quisermos denir um espao
vetorial tratvel, devemos exigir que os vetores do nosso espao respeitem a
restrio
1
X
j kj < 1 :
k=1

Ou seja, para ns agora, vetores so todas as seqncia, nitas e innitas, sobre


o corpo dos complexos, tal que a soma do mdulo quadrado convirja.
Um espao vetorial de dimenso arbitrria (incluindo innito) sobre o corpo
dos complexos onde (para todo elemento) est denido um produto interno
chamado de espao de Hilbert.
Todos os conceitos desenvolvidos anteriormente, incluindo a noo de ortogonalidade e base, so vlidos no EH. A diferena que agora a nossa base pode
conter innitos termos.
Um caso especial de espao de Hilbert com dimenso innita o espao
das funes de quadrado integrvel. Podemos imaginar uma funo como uma
seqncia innita (e contnua) de nmeros. Neste caso, nossos vetores representam funes nos reais dentro de um certo intervalo. Ou seja, funo
f (x) ; x 2 [a; b]
corresponde a um vetor jf i 2 H onde jf i indica a coleo de todos os valores
possveis da funo f (x), assim como j i indicava todos os valores de uma
sequncia k . Neste caso o ndice que identica estes valores (x) um ndice
contnuo, ao invs do ndice xk anterior que era discreto.
1 1 Lembre

que

diverge para s

1.

1
X
1
ns
n=1

102

Remark 62 Observe que jf i no a funo calculada num ponto, mas uma


quantidade abstrata que representa uma coleo innita de termos. O valor em
cada ponto f (x) so as componentes do vetor jf i.
Podemos facilmente generalizar os resultados anteriores trocando as somatrias
dos ndices discretos por integrais sobre os ndices contnuos. Assim, o produto
interno se torna
Z b
n
X
h j i=
!
hf
j
gi
=
f (x) g (x) dx :
i i
a

i=0i

Da expresso acima vemos que o bra (ou o dual) de jf i o vetor hf j com


componentes f (x).
Novamente, assim como para as sequncias innitas, para que o produto
interno acima esteja denido, devemos exigir que
2

jf j = hf j f i < 1 :
O conjunto de todas as funes que respeitam a restrio acima um espao de
Hilbert chamado espao das funes de quadrado integrvel no intervalo [a; b],
ou L2 (a; b).
Assim, daqui pra frente, quando escrevermos um vetor j i 2 H podemos
estar falando de uma matriz coluna de tamanho N , de uma seqncia innita
(x) dentro de um intervalo.
k com innitos termos, ou mesmo de uma funo
Para todas estas quantidades as expresses anteriores so idnticas (a menos do
produto interno das funes que envolve integrais e no somatrias).
Por exemplo, para o espao L2 ( ; ), podemos denir uma base ortonormal
fjek ig dada pelas funes
1
ek (x) = p exp (ikx) :
2
Exercise 63 Verique que estas funes pertencem ao espao de Hilbert L2 ( ;
Exercise 64 Verique que estas funes so ortonormais.
Assim, para qualquer funo f (x) ; x 2 [ ; ] o vetor correspondente jf i 2
H pode ser escrito como
1
X
jf i =
ck jek i ;
k= 1

onde, por ser uma base ortonormal,


1
ck = hek j f i = p
2

exp ( ikx) f (x) dx ;

e jf i representa a coleo de todos os valores da funo


1
f (x) = p
2

1
X

k= 1

103

ck exp (ikx) :

).

A decomposio acima, nesta base fjek ig chamada de srie de Fourie da


funo f . Como veremos, existem vrias outras decomposies (i.e., outras
bases) possveis.
Problem 65 Para nosso espao de matrizes de tamanho N , operadores eram
matrizes N N . Como cam os operadores no espao L2 ?
Como vimos, de forma geral, um operador (linear) um mapa do espao nele
mesmo. Assim, um tipo de operador que podemos ter no espao das funes
so operadores diferenciais
^ = d :
D
dx
^
Ou seja, D agindo no vetor jf i um novo vetor jgi com componentes
g (x) =

d
f = f 0 (x) :
dx

Desde que, obviamente, a funo g (x) = f 0 (x) obtida seja tambm de quadrado
integrvel.
Um operador linear geral tem a forma
2
^ = a0 (x) + a1 (x) d + a2 (x) d + :::
L
dx
dx2
m
n
X
d
=
an (x) n :
dx
n=0

15.8

(87)

Operadores hermitianos

Como vimos anteriormente um operador pode ser visto como o produto externo
^
(ou a soma de produtos externos) de dois vetores j i e j i. Se um operador M
denido como
^ = j ih j ;
M
^ + ser
ento, seu hermitiano conjugado M

^+ = j ih j :
M
Para o caso do espao de dimenso nita, este operador apenas o transposto
^ , mas a nomenclatura continua para o caso de dimenconjugado da matriz M
so innita. Neste caso podemos imaginar nossos operadores como matrizes
quadradas innitas.
^ jxi com o vetor jyi vale
O produto interno do vetor jzi = M
^ jxi
hyj zi = hyj M
podemos eliminar o parnteses acordando que o operador sempre age no vetor a
direita (o que equivalente a acordar que o conjugado do operador age no dual
104

^ + jyi, mas basta convencionar


do vetor a esquerda, hyj zi = hwj xi com jwi = M
que ele age a direita). Com isso, temos
^ jxi = hyj i h j xi = h j yi hxj i = hxj i h j yi = hxj M
^ + jyi
hyj M

(88)

onde usamos
hyj i = h j yi :
Um operador dito simtrico, ou hermitiano se
^ =M
^+ ) j ih j = j ih j
M
ou seja, para espaos de dimenso nita so matrizes cuja transposto conjugado
igual a ela mesma. Por exemplo, qualquer matriz na forma
0
1
a11 a12 a13
B a12 a22 a23
C
B
C
B a13 a23 a33
C ; aii 2 R ; i = 1; 2; 3::
@
A
..
..
..
..
.
.
.
.
Para operadores hermitianos a propriedade (88) fornece
^ jyi :
^ jxi = hxj M
hyj M

(89)

Podemos tomar a expresso acima como uma denio de operadores hermitianos.


Por exemplo, no caso das funes L2 (a; b), um operador possvel neste espao
o operador diferencial
^ =i d :
D
dx
Problem 66 Este operador hermitiano?
Para vericar isso temos de mostrar
^ jgi = hgj D
^ jf i
hf j D
Explicitando o lado direito temos (lembre da conveno do operador agindo
na direita)
^ jf i =
hgj D

dx g i

d
f
dx

d
f
dx

d
f
dx

g + fg

dx

dx

(90)

Calculando o lado esquerdo temos


^ jgi =
hf j D

dx f (x) i

d
g (x) =
dx

105

b
a

No primeiro termo do lado direito da expresso acima podemos reconhecer a


quantidade (90)
^ jgi = hgj D
^ jf i + f g b :
hf j D
a
^ s ser hermitiano se o termo de fronteira for nulo.
Assim, nosso operador D
^ no hermitiano para qualquer funo em L2 (a; b),
Ou seja, nosso operador D
mas apenas para aquelas que respeitam
f (x) g (x)

b
a

Observe que, por exemplo, para o caso da partcula na caixa, as solues


tinham de respeitar a condio de fronteira
(a) =

(b) = 0 :

^ hermiOu seja, para o problema da partcula na caixa o nosso operador D


tiano. Mais uma vez, para especicar toda as caracterstica fsicas de problemas
qunticos devemos dar as condies de contorno do nosso problema.
Propriedades dos operadores hermitianos:
Imagine agora que voc encontrou um autovetor j i de um operador her^ com autovalor , ou seja,
mitiano M
^ j i=
M

j i :

observe que estamos usando a mesma letra apenas por convenincia, mas
enquanto j i 2 H.
Com isso a propriedade (89) acima fornece

2C

^ jyi =)
^ jxi = hxj M
hyj M
^ j i = h j j i = h jj i = h jM j i = h j j i = h jj i
h jM
Mas
h j i=h j i
com isso
h j i=

h j i

como
h j i=
6 0 ; h j i < 1,
temos
=

2R:

Ou seja, todos os autovalores de um operador hermitiano so reais.


Exemplo: Num espao de dimenso 2 o operador
^2 =

0
i

106

i
0

(em MQ este um dos operadores associados ao spin das partculas). hermitiano (verique).
Vamos encontrar seus autovalores. O processo geral o seguinte: Encontrar um autovetor signica resolver a equao
^ j i=
M

^
j i) M

I j i=0:

^
A quantidade M
I um novo operador. Para um espao de dimenso nita,
este operador uma nova matriz. Vamos chamar esta nova matriz de
^
T^ = M

Nossa equao ca
T^ j i = 0

Se T^ uma matriz inversvel, podemos calcular T^


lados da expresso acima
T^

T^ j i = T^

e multiplicar pelos dois

0)j i=0

^ no ter
Ou seja, se T^ inversvel, o vetor j i nico e vale j i = 0. Assim, M
^ ter autovetor que T^ = M
^
autovetor. Portanto: A nica forma de M
I
no tenha inversa. Para que uma matriz no tenha inversa, basta que
^
det T^ = det M

I =0:

Para o nosso caso


^ = ^2
M
Logo devemos exigir que
det (^2

I )=

0
i

i
0

1
0

0
1

i
i

=0;

ou seja,
2

( i:i) =

1 = 0 =)

= 1 =)

1:

Vemos ento que ^2 tem dois autovaloes 1 = 1 e 2 = 1 e, como esperado,


ambos so reais.
(Auto-vetores so ortogonais)
Suponha agora que temos dois autovetores de um operador hermitiano
^ j i=
M

^ j i=
j i ; M

j i

com
6=

Para estes vetores podemos calcular


^ j i=h j j i=
h jM
^ j i=h j j i=
h jM
107

h j i ;
h j i ;

alm disso, usando (88) temos


^ j i = h jM
^ j i =)
h jM
onde usamos que ;

h j i= h j i=

h j i ;

2 R. Com isso
[

Se usarmos agora

h j i=

6=

]h j i = 0 :

a igualdade acima implica


h j i=0

Ou seja, autovetores correspondentes a autovalores distintos so ortogonais.


O resultado acima fornece uma forma prtica e bastante til de encontramos
bases ortogonais para um espao qualquer. Bastando, para isso, encontrarmos
operadores hermitianos neste espao.
Exemplo: Voltemos a nossa matriz
2

0
i

i
0

Sendo esta matriz hermitiana, devemos esperar que seus auto vetores sejam
ortogonais. Encontremos ento estes autovetores. Voltando a equao de autovalores,
i
1
( 2
I) j i = 0 )
=0
i
2
sabemos que

1. Para
1
i

= 1 temos

i
1

=0)

=0
=0

2
2

Primeiro note que, se multiplicarmos a primeira equao por


i

i temos

=0

que idntica a segunda equao. Assim, na verdade, temos apenas uma


equao e duas incgnitas. Isso nada mais do que uma conseqncia do
fato da matriz
1
i
i
1
no possuir inversa (ou ter determinante nulo). Lembre-se que construmos os
valores de impondo esta exigncia. Assim, usando a nica equao que temos
i

=0)i

Ou seja, o nosso autovetor tem a forma


j

+i

108

1
i

para qualquer valor 1 2 C.


Isso uma caracterstica geral destes problemas. Para um sistema qualquer
^ exigindo
de dimenso N , construmos seus autovalores de um operador M
^
que a matriz M
I no tenha inversa. Isso faz com que, para estes valores
de , tenhamos um sistema de N 1 equaes para N incgnitas. Com isso
sempre teremos uma parmetro livre nos nossos autovetores. a
existncia deste parmetro que nos permite normalizar nossos vetores. Ou seja,
escolhemos este parmetro de forma que nossos vetores tenham norma 1.
Com isso, o autovetor associado ao autovalor 1 vale
+

= +1 ; j

+i

1
i

Da mesma forma, encontramos o autovetor associado ao auto-valor


1
i

i
1

1
2

=0)

i
+

2
2

=0
:
=0

Onde j sabemos que podemos usar apenas uma destas equaes. Assim, usando
a segunda equao,
i 1+ 2=0) i 1= 2

Ou seja, o autovetor associado ao auto-valor


=
Como vimos, uma vez que
sejam ortogonais. De fato
h

+j

i=

1 ;j
6=

i=

1 vale

1
i

devemos esperar que os vetores j


i

1
i

=j

2
1j

(1

iej

+i

1) = 0 :

Assim, fj + i ; j ig formam uma base ortogonal do nosso espao. Podemos


ainda normalizar esta base fazendo
je i = p

h j
1 i
=p e
2

1
i

1
p
j
1+1
1

j
;

1
i

1
=p
2j

1
1j

1
i

2 R:

Ou seja, a nossa normalizao tambm est denida a menos de uma


constante. Como veremos, os princpios da MQ nos permitem xar arbitrariamente esta constante. Escolhendo o caso mais simples = 0 temos
1
je i = p
2

1
i

Da mesma forma, podemos denir o vetor normalizado


1
je+ i = p
2
109

1
i

estes vetores respeitam


he+ j e i = 0 ; he+ j e+ i = he j e i = 1
e, consequentemente, formam uma base ortonormal do nosso espao.
Este resultado geral. Para um espao de Hilbert H de dimenso N qual^ neste espao, os autoquer, inclusive innito, dado um operador hermitiano M
vetores deste operador formam uma base deste espao. Assim, qualquer vetor
j i 2 H pode ser escrito como
j i=

N
X

ck j

k=1

ki

onde
^j
M

15.9

ki

ki

Postulados da Mecnica Quntica

Os estados de um sistema fsico podem ser (completamente) representados por


vetores (normalizados) no espao de Hilbert. Ou seja, uma vez identicado o
vetor em H que representa o nosso sistema, sabemos tudo que possvel saber
sobre este sistema.
Na teoria de Schroedinger o sistema quntico representado por uma funo,
chamada de funo de onda. Uma exigncia da interpretao probabilstica
da MQ que estas funes de onda sejam normalizveis e, consequentemente,
possuam norma nita
Z
2
j (x)j dx < 1 :
Ou seja, as funes de onda devem pertencer ao espao de Hilbert L2 . Da
mesma forma, na teoria de Heisenberg, os estados do sistema so representados
por matrizes coluna. Pela mesma razo, estas matrizes tm de ser de quadrado
somvel. Ou seja, nesta teoria os estados do sistema so vetores no espao de
Hilbert RN . O postulado acima nos diz que qualquer teoria quntica trabalhar com vetores em algum EH. Escolher o espao signica escolher como os
estados do sistema fsico sero representados. Nos exemplos acima temos ento
a representao de Schroedinger e a representao de Heisenberg.
Alm disso, vetores que diram apenas por uma fase (global) representam o
mesmo estado fsico. Ou seja, o estado do sistema representado por vetores
em H a menos de uma fase. Assim, os vetores
j i ; j 0 i = ei j i :
representam o mesmo estado fsico do sistema.
2
Lembre-se que o j j uma quantidade mensurvel e est relacionada a
probabilidade do sistema ser encontrado na posio x no instante t. Na nossa
notao vetorial esta quantidade descrita como:
2

j j =h j i :
110

Se introduzirmos agora um novo vetor


j 0 i = ei j i
temos
h 0j

i = h je

ei j i = h j i

Vemos ento que uma fase global no altera a quantidade mensurvel relacionado diretamente funo de onda. De forma geral, quantidades sicamente
mensurveis do sistema esto relacionados com as mdias, ou com o produto
interno, dos vetores e uma mudana na fase no altera estes valores.
Remark 67 por isso que, no processo de normalizao, podemos escolher
arbitrariamente a fase dos vetores.
Um ponto importante observar que a fase referida acima deve ser global.
Como vimos, na descrio quntica um sistema pode estar numa superposio
de dois estados
j i = a j 1i + b j 2i ;
o estado acima equivalente ao estado

j 0 i = ei [a j

1i

+ bj

2 i]

1i

+ bj

2i

mas no equivalente ao estado


j

00

i = ei a j

00

A fase no-global presente no estado j i gera fenmenos de interferncia


que permitem (sicamente) distinguir este estado de j i.
Uma vez preparado um sistema no laboratrio, este sistema serum vetor
no espao de Hilbert. Precisamos agora saber como descrever (dentro da teoria)
a manipulao, a evoluo temporal e as possveis medidas que fazemos
neste sistema.
Quando um sistema no estado j i sofre qualquer tipo de modicao ele
passa a ser descrito por um novo vetor j 0 i. Ou seja modicaes no sistema
so transies
j i ! j 0i

Estas transies podem ser descritas por operadores agindo em H,


^j i
j 0i = M

Assim, tudo que acontece com o sistema pode ser representado por
um operador agindo em H.
Um tipo muito especial destes operadores so exatamente as medidas que
podemos fazer no sistema (e.g., sua energia), ou seja, o que podemos observar
do sistema. Estas quantidades so chamadas de observveis.
Outro postulado da MQ arma que todo o observvel corresponde a um
operador hermitiano no espao de Hilbert. Assim, se um sistema possui
uma certa caracterstica observvel, por exemplo spin, existe um operador S^
agindo em H correspondente a este observvel.
111

Problem 68 Mas o que signica esta correspondncia?


Para entendermos melhor este postulado, precisamos ainda de um terceiro
^ um operador (hermitiano) relacionado com um observvel
postulado: Se M
m (i.e., m o valor que o aparelho que mede esta quantidade pode marcar), e
se no laboratrio efetuarmos uma medida deste observvel os nicos valores
^ (ou seja, o valor
possveis de se obter so os auto-valores do operador M
^
m marcado no aparelho um autovalor de M ).
Um exemplo disso j nos conhecido. Voltemos para a teoria de Schroedinger
e tomemos o operador hamiltoniano (59)
~2 2
r + V (x) :
2m
Pela teoria de Schroedinger (baseada na mecnica analtica) sabemos que este
operador est relacionado com o hamiltoniano do sistema, que por sua vez est
(classicamente) relacionado com a energia do sistema.
^ hermitiano?
A primeira pergunta que surge : Ser que H
Primeiramente necessrio dizer em qual espao de Hilbert estamos trabalhando. Vamos escolher, por exemplo, uma partcula presa numa caixa de
tamanho a. Ou seja, nosso EH H = L2 (0; a). Dos resultados anteriores,
sabemos que, se um operador hermitiano, ele respeita a igualdade (89)
^ =
H

^ jxi = hxj M
^ jyi :
hyj M

(91)

Lembrando que estamos no espao das funes e, consequentemente, nosso produto interno se realiza por uma integral, temos
Z a
Z a
i
h
~2 d 2
^ (x) dx =
^j i=
(x)
+ V (x)
(x) dx
h jH
(x) H
2m dx2
0
0
Z a
Z a
~2
d2
=
+
V dx
(92)
2m 0
dx2
0
onde

so dois estados quaisquer do nosso sistema, ou seja


j i; j i 2 H :

Para o segundo termo de (91) temos


^ j i=
h jM
=

(x)

~2
2m

(x)
Z a
0

~2 d 2
+V
(x)
2m dx2
~2 d 2
+V
(x)
2m dx2
Z
a
d2
+
V dx
dx2
0

dx
dx

Ser ou no hermitiano depende de (93) ser, ou no, igual a (92).


112

(93)

Analisemos primeiro o ltimo membro de cada igualdade. Para (93) temos


Z a
Z a
(x) V (x) (x) dx
(x) V (x) dx =
0

que, obviamente, igual ao ltimo termo de (92).


Vejamos agora o primeiro termo de (92). Fazendo uma integral por partes
temos
Z a
Z a
a
d2
d
d d
dx
=
dx
2
dx
dx
0
0 dx dx
0
Z a 2
a
a
d
d
d
dx
=
2
dx 0
dx 0
0 dx
Z a 2
a
a
d
d
d
=
+
dx
dx 0
dx 0
dx2
0
que (multiplicado por ~2 =2m) seria exatamente igual ao primeiro termo de
(93) se no fossem os dois primeiros termos de fronteira.
Devemos lembrar agora que nem todos os vetores em L2 (0; a) descreve um
estado fsico do nosso sistema. Em especial, para resolvermos o problema da
partcula na caixa, tivemos de impor as condies de fronteira
(0) =

(a) = 0 :

Ou seja, os vetores do nosso espao no so todos os vetores em L2 (0; a), mas


apenas os vetores
2 L2 (a; b) ;

(0) =

(a) = 0

Com esta imposio temos


a

d
dx

d
(a)
dx

d
(0) = 0
dx

d
(a)
dx

d
(0) = 0
dx

0
a

d
dx

e, com isso,
^ j i = h jH
^j i
h jH

^ hermitiano.
e o operador H

Remark 69 Vemos agora como a imposio fsica de que a partcula no penetre nas paredes da caixa, se traduz no formalismo matemtica da MQ como
^ seja
uma exigncia de que a energia do sistema seja um observvel (i.e., que H
hermitiano).

113

Para sistemas mais complicados nem sempre possvel estabelecer as condies


de contorno do sistema atravs de argumento fsicos (como zemos com a
partcula na caixa). Assim o resultado acima bastante prtico e geral: as
condies de contorno do sistema devem ser impostas de forma que os observveis de interesse (no geral a energia) sejam hermitianos.
Em seguida, no desenvolvimento do nosso problema, encontramos os autove^
tores de H,
^ n = En n
H
(ou seja, resolvemos a ES independente do tempo) e encontramos n e En . O
que o postulado acima sobre os autovalores nos diz que, numa medida da
energia do sistema, podemos obter apenas um dos valores En acima.
Lembre ainda que uma caracterstica peculiar a MQ que o sistema pode
estar numa superposio de estados. Ou seja, nossa partcula na caixa pode
estar, por exemplo, num estado (x) na forma12
(x) = a0

(x) + a2

(x) :

O que o postulado sobre autovalores nos diz que, mesmo num caso como este,
ao medirmos a energia da partcula encontraremos apenas ou E0 ou E2 .
Uma extenso do postulado acima arma que, se zermos uma medida da
energia e obtivermos o resultado E2 , isso garante que, logo aps a medida,
o sistema tem energia E2 . Ou seja, o estado aps a medida no mais o estado
(x) acima, mas o estado 0 (x)
0

(x) =

(x)

Dizemos assim que o sistema, que estava numa superposio de ondas (ou
num pacote de ondas), colapsou para uma das ondas do pacote. Este efeito
chamado de colapso da funo de onda.
Remark 70 Observe que, apesar dos operadores estarem relacionados com os
observveis, na maneira descrita acima, a atuao deste operador no est dire^ o operador
tamente associada a ao de medir este observvel. Ou seja, se L
^
relacionado ao momento angular, no devemos esperar que L j i seja a ao
fsica de (no laboratrio) medirmos o momento angular do estado j i. Na verdade, assim como na mecnica clssica, a aplicao deste operador representa
uma rotao innitesimal do sistema.
O fato de um sistema poder existir numa superposio de vrios estados
possveis, mas apresentar (colapsar para) apenas um destes estados quando uma
medida feita, d origem a pergunta:
Problem 71 Se o sistema est num certo estado
qual a probabilidade de,
numa medida deste sistema, ele ser encontrado no estado ?
1 2 Na verdade, o fato de darmos smbolos para identicar possveis estados do sistema
bastante geral. Podendo ser usado na mecnica clssica, ou qualquer outra teoria. O que o
postulado arma que estes smbolos formam um espao vetorial.

114

^ representa o operador de momento angular do


Por exemplo, suponha que L
sistema. Num certo instante o sistema preparado no estado
j i = a1 j
(com ai conhecidos) onde

1i

^j
L

+ a2 j

ni

2i

= ln j

+ a3 j

ni

3i

Se efetuamos uma medida do momento angular e obtivermos o valor l = 2


sabemos que, aps esta medida, o sistema estar no estado j 2 i. Assim, a
pergunta acima seria: qual a probabilidade do sistema no estado j i ser
encontrado no estado j 2 i. A resposta para esta pergunta mais um postulado
da MQ.
Se um sistema se encontra num determinado estado, dado por um vetor j i,
a probabilidade de que este sistema seja encontrado num estado j i dado por:
PN
2
R 1i=1 i i
jh j ij =
:
(x) (x) dx
1
Observe que

jh j ij 6= j (x)j :
Por exemplo,voltemos ao estado que uma superposio dos estados de momento angular
j i = a1 j 1 i + a2 j 2 i + a3 j 3 i :
Qual a probabilidade de, numa medida deste sistema, ele ser encontrado no
estado de momento angular j 2 i?
Este valor dado por:
jh

2j

ij = jh

2 j (a1

= j(a1 h

1i

+ a2 j

2i

1i

+ a2 h

+ a3 j
2i

2
3 i)j

+ a3 h

2
3 i)j

Entra aqui o fato (j visto) que os autovetores de um operador hermitiano so ortogonais, com isso (lembrando que nossas funes esto normalizadas)
jh

2j

ij = jh

2 j (a1

= ja2 h

1i

2
2 ij

+ a2 j

2i

+ a3 j

2
3 i)j

= ja2 j :

Assim, o fato da nossa funo estar normalizada


h j i=1
apenas reete o fato de sabermos, com certeza, que o sistema est no estado
j i.
(Auto-estados formam uma base)
Um outro fato, que vamos aceitar sem provar (isso no um postulado),
que, alm de ortogonais, os autovetores de um operador hermitiano forma uma
115

^ um operador hermitiano, com autovetor j


base do espao. Ou seja, se M
e autovalor mn ,
^ j n i = mn j n i
M

ni

qualquer estado do nosso sistema pode ser escrito como:


X
j i=
cn j n i ;
n

Alm disso, sendo a nossa base ortonormal sabemos que


cn = h

j i =) jh

j ij = jcn j

^,
e jcn j , no caso geral, a probabilidade de, numa medida do observvel M
obtermos o valor mn .
Vemos assim que o signicado fsico dos autovetores de um operador hermitiano serem ortogonais est relacionado com o fato de que, se zemos uma
medida obtemos apenas um valor. Ou seja, se aps uma medida obtivermos o
valor j 2 i a probabilidade de, aps esta medida, o sistema ser encontrado no
estado j 3 i deve ser nulo:
h 3 j 2i = 0 :
E o fato destes vetores j n i formarem uma base signica que nosso sistema pode,
em princpio assumir qualquer valor do observvel, com uma certa probabilidade
2
jcn j .
Alm disso, o fato de operadores hermitianos terem apenas autovalores reais
est relacionado com medidas nos darem apenas valores reais.
Dada uma innidade de cpias idnticas do sistema, podemos nos perguntar
sobre o valor mdio de algum observvel. Ou seja, pegamos uma innidade
de exemplares desta coleo de sistema, efetuamos em cada um a medida de
um certo observvel M e tiramos a mdia deste valor para obter hM i. Esta
quantidade tambm chamada de valor esperado do observvel.
Classicamente, se cada exemplar do nosso sistema tem uma probabilidade
Pi de que o observvel M fornea o valor mi , esta mdia pode ser calculada
como
X
hM i =
P i mi
i

somado para todos os valore mi possveis do observvel M . No caso de m ser


uma varivel contnua, temos
Z
hM i = mP (m) dm
onde P (m) a probabilidade do sistema ter o valor medido entre m e m + dm.
O prximo postulado da MQ arma que, se o sistema est no estado j i, o
^ dado por:
valor esperado de observvel M
Z 1
^ j i=
^ (x; t) dt :
hM i = h j M
(x; t) M
(94)
1

116

Esta expresso est diretamente relacionada a noo clssica de mdia. Sendo


^ um observvel, podemos escrever:
M
X
j i=
ci j i i
i

onde
^ j i i = mi j i i
M
Substituindo em (94) temos
2
3 "
#
X
X
XX
^ j i=4
^
h jM
h j j cj 5 M
ci j i i =
cj ci h
j

XX
j

X
i

cj ci h

j j mi

jci j mi =

j ii =

XX
j

mi cj ci

^ j ii

jj M

ij

Pi mi

onde usamos que jci j a probabilidade de se obter o valor mi numa medida de


^.
M
O ponto importante deste postulado est no fato de geralmente, em experincias, no estamos tratando apenas com uma entidade, mas sim uma coleo
destas entidades. Por exemplo, uma corrente de eltrons, um feixe de laser
(vrios ftons), ou um feixe de partculas. Assim, o que nossos aparelhos
registram pode no ser o valor possvel do observvel, mas sim uma
mdia destes valores. Com isso, o valor esperado de um observvel quntico
est diretamente relacionado com o limite clssico no valor deste observvel.
Ou seja, se temos um feixe de partculas (e.g., eltron) no estado
j i = c1 j

1i

+ c2 j

2i

onde
^ j i i = Ei j i i
H
so autoestados da energia, se medirmos a energia do feixe (no de um nico
eltron) nosso aparelho clssico mostrar o valor
^ j i = E1 jc1 j2 + E2 jc2 j2 :
E = hHi = h j H
Nosso ltimo postulado diz respeito a evoluo temporal do sistema. E
arma que: a evoluo temporal de um sistema dado por uma funo
de onda (x; t) dado pela equao de Schroedinger
i~

@
^
=H
@t

^ =
; H

117

~2 2
r + V (x)
2m

Este postulado pode ser convertido na linguagem de operadores agindo em


H e, com isso, generalizado para qualquer descrio quntica (e.g., Heisenberg).
^ 13
Para isso basta introduzirmos o chamado operador de evoluo temporal U
i ^
Ht
~

^ (t) = exp
U
^ o hamiltoniano do sistema e
onde H
X 1
i ^
i ^
Ht =
Ht
exp
~
n!
~

i ^
tH
~

=1

1 2 ^2
t H + :::
2~2

^ n a aplicao de n vezes o operador H.


^ Com esta
ou seja, cada termo H
^
denio de U temos
^ (t) j 0 i
j ti = U
onde j 0 i o vetor (estado) do sistema no instante inicial e j
instante t posterior. Usando a ES temos
i

@
j
@t

ti

=i

@ ^
U (t) j
@t

0i

=i

^ (t)
@U
j
@t

0i

@
exp
@t

=i

ti

seu estado num

i ^
Ht
~

0i

0i

usando
@
exp
@t

@ X 1
i ^
Ht
@t
n!
~
@
i ^
1 2 ^2
1
tH
t H + :::
@t
~
2~2
1 ^2
i ^
H
tH + :::
~
~2
i ^
1 ^
H 1
tH + :::
~
~
i ^
i ^
H exp
Ht
~
~
n

i ^
Ht
~

=
=
=
=
=

temos
i

@
j
@t

ti

=i

@
exp
@t

1 ^
H exp
~
1 ^
= H
j ti
~
=

ou seja, o vetor j

ti

i ^
Ht
~

i ^
Ht j
~

0i

i ^
H exp
~

=i

obedece a equao
i~

1 3 Este

0i

@
j
@t

ti

^j
=H

ti

^ no depende do tempo.
o caso especial em que H

118

i ^
Ht
~

Um operador chamado de unitrio quando


^M
^+ = M
^ +M
^ =I
M
Observe que U denido acima unitrio, ou seja, a evoluo do sistema
^ ser hermitiano. Em
quntico unitria. Isto uma conseqncia de H
MQ evolues unitrias (ou a hermiticidade do hamiltoniano) esto associadas
com sistemas conservativos. Ou seja, se um sistema no conservativo,
a sua evoluo poder no ser unitria (e seu hamiltoniano poder no ser
ser hermitiano). A MQ est bem estabelecida (rigorosamente) apenas para
evolues unitrias.
Por exemplo. Suponha que num instante inicial o sistema com hamiltoni^ est preparado estar no estado (x; 0) dado por
ano H
1
(x; 0) = p [
2

(x) +

(x)] ;

onde
^
H

= Ei

Qual o estado do sistema num instante t posterior? Neste caso, como temos
^ podemos apenas
a condio inicial escrita em termos dos autovetores de H,
aplicar o operador de evoluo temporal
^ (t)
(x; t) = U

1
(x; 0) = p
2

exp

i ^
Ht
~

(x) + exp

i ^
Ht
~

(x)

o importante aqui observar que


exp

i ^
Ht
~

n
X 1
i ^
H
i (x) =
n!
~
1 2 ^2
i ^
tH
t H + :::
= 1
~
2~2
i
1 2 2
= 1
tEi
t Ei + :::
~
2~2
i
= exp
Ei t
i (x)
~

(x) =

(x)

(x)

(x)

com isso
1
(x; t) = p
2

exp

i
E1 t
~

(x) + exp

i
E2 t
~

Com o exemplo acima podemos ver porque geralmente no precisamos resolver a equao de Schroedinger dependente do tempo, mas apenas a indepen^ Neste caso a
dente (i.e., apenas encontrar os autovalores e autovetores de H).
^ Ou
diculdade se transfere em decompor o estado inicial nos autovetores de H.
seja, se o sistema est num estado inicial (x; 0) precisamos escrever
X
(x; 0) =
cn n (x) ;
119

o que equivale a calcular


cn = h

nj

i=

(x)

(x) dx

Temos assim a opo de resolver uma equao diferencial parcial (a ES dependente do tempo), ou calcular as innitas integrais acima.
Resumindo nossos postulados temos:
1. O estado de um sistema fsico completamente descrito por um vetor
(normalizado) no espao de Hilbert. E vetores que diram apenas por
uma fase representam o mesmo estado fsico;
2. A todo o observvel esta relacionado um operador hermitiano;
^ pode fornecer apenas autovalores deste
3. Uma medida do observvel M
operador e, aps uma medida em que se obteve o valor mn o sistema
estar no estado n .
4. Se o sistema se encontra no estado j i, o valor mdio de um observvel
^ dado por:
M
Z
^
^ (x; t) dt :
hM i = h j M j i =
(x; t) M
5. A evoluo temporal de um sistema no estado inicial j 0 i dado por (no
^ (t))
caso geral de H
Z
i
^ dt
^ (t) = exp
H
j t i = U (t) j 0 i ; U
~
que equivalente a ES
i~

15.10

@
^
=H
@t

O operador de momento

Vejamos agora alguns operadores hermitianos e a que observveis estes esto


associados. Um caso j visto o operador hamiltoniano, cujos autovalores correspondem a energia do sistema. Se introduzirmos agora o operador
p
^=

i~r

podemos escrever
^ =
H
como

~2 2
r + V (x)
2m

2
^ = p^ + V (x)
H
2m

120

Que, comparando com a forma clssica do hamiltoniano, justica chamar p^ de


operador de momento. Ou seja, seus autovalores esto associados com o
momento que a partcula pode assumir. Obviamente a semelhana com a
forma clssica do hamiltoniano no a nica justicativa para isso.
Uma partcula livre, que pode se mover em todo espao, descrita quanticamente pela onda plana
(x) = N exp (ikx)
Exercise 72 Verique que esta uma soluo da equao de Schroedinger para
a partcula livre. Esta funo normalizvel?
Lembrando que, por denio, o comprimento de uma onda a distncia
para a qual a onda volta a assumir o mesmo valor, o comprimento de onda do
estado acima pode ser calculado como
(x) =

(x + ) ) exp (ikx) = exp (ik (x + )) ) exp (ik ) = 1

com isso
k =2 )k=

A aplicao do operador de momento neste estado fornece

p^ =

i~

d
N exp (ikx) = k~N exp ( ikx) = ~k
dx

Ou seja, o estado acima autovetor de p^ com autovalor ~k. Se usarmos agora


k = 2 e a relao de De Broglie p = h= temos
p^ = k~ = k

h
2

h
2

=p

Ou seja, a relao de De Broglie nos permite associar os autovalores


do operador
d
p^ = i~
dx
com o valor do momento do sistema clssico (em unidades de ~).
Como era de se esperar por argumentos clssicos, apenas partculas livres
tem um valor de momento bem que no se altera com o tempo. Mesmo a
partcula numa caixa tem seu momento alternado e, conseqentemente, os autovetores de energia da partcula na caixa no so autovetores do momento.

Mudar descrio acima para projeo

15.11

Quantizao

Com a introduo do operador de momento, podemos denir um outro processo


de quantizao completamente compatvel com a quantizao de Schroedinger
(ou seja, o procedimento que nos permite identicar o hamiltoniano clssico H
^
com o operador H).
121

Dado um hamiltoniano clssico


p2
+ V (x)
2m
podemos quantizar este hamiltoniano fazendo
H (p; x) =

p!p
^ = i~r ;
x!x
^=x;
onde a ltima igualdade indica que o operador x
^ simplesmente a multiplicao
por x, ou seja
x
^ (x0 ) = x0 (x0 ) :
ou seja, para qualquer funo f
f (^
x) = f (x) :
Com isso
~2 2
p^2
^ (^
+ V (^
x) =
r + V (x) :
H (p; x) ! H
p; x
^) =
2m
2m
que o hamiltoniano quntico obtido na teoria de Schroedinger.
Exercise 73 Verique que, para a partcula numa caixa, o operador x
^ denido
acima hermitiano.
Este procedimento de quantizao permite quantizar qualquer quantidade
clssica que dependa da posio e do momento, por exemplo, o operador de
momento angular pode ser obtido atravs do momento angular clssico L =
x p, fazendo
^=x
L=x p!L
^ p
^:
Em componentes,

^ i = "ijk x
Li = "ijk xj pk ! L
^j p^k = "ijk xj

i~

@
@xk

i~"ijk xj

@
@xk

ou
^=
L

i~x

r:

Vamos, por exemplo, calcular o momento angular de uma partcula livre,


^ i N exp (iki xi ) = N
L

i~"ijk xj

@
@xk

exp (iki xi )

@ (ikj xj )
@xk
@xj
= N ( i~"ijk xj ) exp (iki xi ) ikj
@xk
= N ( i~"ijk xj ) exp (iki xi ) ikj jk
= N ( i~"ijk xj ) exp (iki xi ) ikk
= N ("ijk xj (~kk )) exp (iki xi )
= N ("ijk xj (pk )) exp (iki xi )
= N ( i~"ijk xj ) exp (iki xi )

122

ou seja, para a partcula livre,


^ =x
L

(onde p no mais um operador, mas o momento clssico). Assim, para uma


partcula quntica livre o momento angular uma quantidade bem denida
tem o mesmo valor esperado classicamente.
importante notar que nem todos os observveis podem ser quantizados
pelo procedimento acima. Existem quantidades, por exemplo, o spin, que no
se relacionam com os operadores p^ e x
^. Quando isso ocorre dizemos que este
observvel s existe na MQ, ou ainda, que este observvel no possui um
anlogo clssico.

15.12

O problema do ordenamento

Um dos problemas que surge no processo de quantizao acima (e, de uma


certa forma, em todos os processos de quantizao), o chamado problema do
ordenamento. Dado um observvel clssico que envolva o produto (o momento
angular um exemplo)
xp ;
quanticamente podemos associar a este observvel os operadores
^ =x
^ 0 = p^x
M
^p^ ; M
^
onde
^0
M

= p^x
^ =
^
=M

d
x = i~
dx
^ i~
i~ = M
i~

i~x

d
dx

i~ + x
^p^

ou ainda
^0 = M
^
M

i~

Ou seja, os dois operadores acima dizem respeito a mesma quantidade clssica


xp. Isso ocorre porque, diferente da MC, na MQ os observveis no so
nmeros, mas sim operadores. Assim, para um observvel clssico pode
estar relacionado mais de um operador quntico. Este problema chamado de
problema do ordenamento.
Um ponto a se observar que, assim como no exemplo acima, no problema
de ordenamento os operadores sempre diferem por uma quantidade proporcional
a ~n . Lembrando que uma das formas de tomarmos o limite clssico do nosso
^ eM
^ 0 possuem o mesmo
sistema fazer ~ ! 0, vemos que os dois operadores M
limite clssico. Assim, teorias qunticas que diram por um problema
de ordenamento possuem o mesmo limite clssico. Ou, de outra forma:
Remark 74 Para o mesmo sistema clssico podemos ter vrias teorias qunticas diferentes.
123

Entretanto, apesar de todas terem o mesmo limite clssico, estas teorias podem gerar resultados puramente qunticos (e.g., supercondutividade) bastante
diferentes.
No caso especco acima, xp, o problemas do ordenamento pode ser resolvido
usando os postulados da MQ. Observe que
+

(^
xp^) = p^+ x
^+ = p^x
^ 6= x
^p^ ;
ou seja, apesar de x
^ e p^ serem hermitianos, o operador x
^p^ no hermitiano.
Assim, se existe o observvel xp o operador a ele associado deve ser hermitiano. Com isso, podemos construir um operador hermitiano atravs de uma
combinao simtrica dos operadores
1 + +
+
^ + = 1 (^
^ = 1 (^
xp^ + p^x
^) ) M
xp^ + p^x
^) =
p^ x
^ +x
^+ p^+
M
2
2
2
como x
^ e p^ so hermitianos
1
^ :
^ + = 1 p^+ x
^+ + x
^+ p^+ = (^
px
^+x
^p^) = M
M
2
2
Uma prescrio, chamada de ordenamento de Weyl, usar sempre a ordenao
simtrica dos operadores. Entretanto, nem sempre esta opo nica possvel.
Por exemplo, no caso p2 x temos
^ =x
M
^p^x
^
1
^0 =
M
p2 x + x^
p2
2
^ 00 = 1 p2 x + p^x^
M
p + x^
p2
2
todos hermitianos. Usar a prescrio de Weyl escolher o ltimo operador.
Entretanto, apenas uma medida extremamente precisa de efeitos puramente
qunticos pode nos dizer quais destes o operador correto (i.e., o operador que
descreve um verto sistema fsico).

15.13

Observveis compatveis

Uma questo crucial em MQ quando uma medida perturba o sistema, ou


ainda, quando um observvel tem um valor bem denido. Como vimos, para
que a medida de uma quantidade A^ no perturbe o sistema, este deve estar
^ Assim, A^ no ir perturbar um sistema que esteja num
num auto-estado de A.
auto-estado
A^ j i = a j i :
Suponha agora que, depois de efetuada uma medida de A^ desejamos efetuar
^ Isso s ser possvel, sem perturbar o
uma medida de outro observvel B.
sistema, se o vetor obtido aps a aplicao de A^ tambm for um autovetor de
^ ou seja, se
B,
^ A^ j i = b0 A^ j i = b0 a j i = b j i ; b = b0 a
B
124

ou seja, j i tem de ser simultaneamente autovetor dos dois operadores A^ e


^
B.
A^ j i = a j i
^ j i = bj i
B
Mas, se isso verdade, temos
^ j i = ab j i
A^B
^ A^ j i = ba j i = ab j i
B
ou ainda

^
A^B

i
^ A^ j i = 0
B

^
Para qualquer auto-vetor simultneo de A^ e B.
^
A quantidade acima chamada de comutador entre os operadores A^ e B
h
i
^ B
^ = A^B
^ B
^ A^ :
A;
^ temos
Alm disso, se todo o autovetor de A^ for tambm autovetor de B
i
h
^ B
^ j n i = 0 ; A^ j n i = n j n i
A;

e sabemos que (se A^ um observvel) qualquer vetor pode ser escrito como
X
j i=
cn j n i
n

temos que
h

i
h
iX
^ B
^ j i = A;
^ B
^
A;
cn j
n

ni

X
n

h
i
^ B
^ j
cn A;

ni

=0:

h
i
^ B
^ = 0 para qualquer vetor j i do nosso espao, ento A^ e B
^
Ou seja, se A;
tem uma base de auto-vetores em comum. Mais ainda, podemos efetuar
medidas de um dos operadores sem alterar o valor do outro.
Ou ainda, os dois observveis podem ser medidos simultaneamente. Quando
h
i
^ B
^ =0
A;

^ comutam, ou ainda, que estes observveis so compatveis.


dizemos que A^ e B

Remark 75 Apenas observveis compatveis podem ser medidos simultaneamente em MQ.

125

Por exemplo: Para uma partcula livre, os operadores de momento e energia so


2
^ = p^ ; p^ = i~ d
H
2m
dx
calculando os comutadores temos
h
i
2
2
^ p^ = H
^ p^ p^H
^ = p^ p^ p^ p^ = 1 p^2 p^ p^p^2 = 1 p^3 p^3 = 0
H;
2m
2m
2m
2m

Assim, para qualquer partcula livre (x) (no s para os autoestados de p^ e


^
H)
h
i
^ p^ (x) = 0
H;

e o momento e a energia podem ser medidos simultaneamente. Alm disso, todo


^ e tambm auto-vetor de p^.
auto-vetor de H

Exercise 76 Explique por que para o problema de uma partcula numa caixa
^ no so auto-vetores de p^.
os auto-vetores de H
Segundo exemplo: Como vimos, os operadores de momento e posio so
dados por
d
; x
^=x
p^ = i~
dx
calculando os comutadores temos
[^
x; p^]

(x) = x
^p^ (x)
=x
=
=

p^x
^ (x)

d
dx
d
i~ x
dx

d
[x (x)]
dx
dx
d
(x) + x
dx
dx

i~

i~ [

Ou seja, para qualquer funo

(x)

i~

(x)] = i~ (x)
(x)
[^
x; p^]

= i~

Dizemos simbolicamente que


[^
x; p^] = i~ :
E, consequentemente, momento e posio no podem ser medidos simultaneamente. O que j sabamos pelo princpio da incerteza de Heisenberg.
Os resultados acima nos dizem quando devemos esperar uma incerteza
relacionada a medida de dois observveis quaisquer.
Por exemplo, podemos efetuar uma medida da posio da partcula na
direo x e medirmos o seu momento na direo y, pois
[^
x; p^y ]

i~ x;

@
@y

i~ x

@
@y
126

@
x
@y

i~x

@
@y

@
@y

=0

logo
[^
x; p^y ] = 0 ;
ou ainda
[^
xi ; p^j ] = i~

ij

da mesma forma
[^
xi ; x
^j ] = [^
pi ; p^j ] = 0 :
Exercise 77 O operador de momento angular possui um problema de ordenamento?

15.14

Partculas de spin 1/2

Tratemos agora de um observvel sem anlogo clssico. Este exemplo til


para ilustrar a aplicao da mecnica quntica matricial de Heisenberg, alm
de explicitar como os resultados qunticos so provenientes de experimentos de
espalhamento.
Um exemplo mais fcil de visualizar o caso do spin da partcula. Classicamente
U=

Fora
F = r(

B)

Para B = B z^
F = r(

z B)

@B
@z

O momento magntico sofre um torque


=

O torque o faz precessionar (veja o artigo Einsteinde Haas).


Assim, um feixe de partculas clssicas com todas as orientaes de momento
magntico seria espelhado continuamente.
Entretanto, experimentos realizados em meados de 1920, mostraram que,
ao se medir o spin de certas partculas, obtemos apenas dois valores distintos.
Estas partculas (que incluem prtons, nutrons e eltrons) so chamadas de
partculas de spin 1=2.
Se efetuarmos uma medida do spin de uma partcula de spin 12 em qualquer
direo, obteremos sempre os valores +~=2 ou ~=2, ou seja, a partcula tem
o spin na direo medida, ou contrria a esta direo. Esta medida pode ser
realizada atravs de um experimento de Stern-Gerlach que consistem em passar
a partcula por um campo magntico no uniforme e esta partcula se deslocar
para cima se seu spin for +1 e para baixo se for 1.
Mais ainda se uma partcula foi pra cima e passamos novamente por outro
SG na mesma direo ela continuar indo pra cima. Certamente o spin um
observvel (pois estamos observando). Assim, deve haver um operador S^z que
127

mede o spin, por exemplo, na direo z^. Este operador s possui dois auto
valores +~=2 e ~=2 e, conseqentemente, possui dois auto-estados (estamos
supondo que o operador no degenerado). Podemos, por exemplo, chamar
estes estados de
j+i ; j i :
Por convenincia, assim como o momento linear, o spin medido em unidades
de ~
~
j i :
S^z j i =
2
Sendo o spin um observvel, qualquer estado (de spin) pode ser escrito como
j i = c+ j+i + c j i :
Lembre que j i um vetor no espao de Hilbert. Este espao possui dois
2
elementos na base e, consequentemente, tem dimenso 2. As quantidades jc j
acima so as probabilidades de, numa medida do spin, a partcula apresentar o
valor ~=2.
Mas para trabalhar precisamos de uma representao para esta quantidade.
Neste caso temos uma total liberdade na escolha desta representao e, em
especial, na base desta representao. Vamos ento escolher uma direo, por
exemplo z, dizer que j+i o spin nesta direo e j i na direo contrria.
Para deixar isso mais explicito, vamos mudar a notao
j i ! jz i
Como nosso espao tem dimenso 2 podemos escolher qualquer matriz (normalizada) para representar o nosso estado, a escolha mais simples (a base
cannica)
1
jz+ i =
;
0
e para jz i um vetor normalizado ortogonal a jz+ i
0
1

jz i =

Sabemos que existe S^z um operador, que uma matriz 2 2 relacionada ao


spin. Ou seja, seus autovalores so os possveis valores do spin. Pela denio
dos vetores acima temos:
jz+ i = +1 jz+ i
1 jz i
3 jz i =
3

Com isso, podemos escrever


3

1
0
128

0
1

O operador de spin na direo z apenas denido proporcional a este operador


com constantes que acerte as unidades
~
S^3 =
2

Como supnhamos, este operador hermitiano.


Suponha agora que orientamos nosso SG numa outra direo, e.g., a direo
x
^. Verica-se experimentalmente, como era de se esperar, que o feixe novamente
se divide em dois feixes. Ou seja, o spin na direo x
^ apresenta os valores ~=2.
Isso, obviamente, signica a existncia de um operador S^x que mede o spin nesta
direo. Pelas mesmas razes acima, este operador possui dois auto-vetores
~
jx i
2

S^x jx i =

Poderamos ter escolhido, desde o incio trabalhar com S^x (ou simplesmente
ter chamado de x
^ a direo que chamamos de z^). Ou seja, tanto fjx ig quanto
fjz ig so uma base do nosso espao. Em especial, podemos escrever:
jx+ i = a+ jz+ i + a jz i :
2

Onde ja j a probabilidade de uma partcula, preparada no estado jx+ i ser


encontrada no estado jz i. Ou seja, passamos nosso feixe por um SG na direo
x
^, ltramos todas as partculas que vo na direo x
^ e, em seguida, passamos o
feixe resultante por um segundo SG na direo z^. Experimentalmente, vericase que metade das partculas vo na direo z^ e metade na direo z^, com
isso
1
2
ja j = ;
2
De sorte que, a menos de uma fase global, podemos escrever
1
ei x
jx+ i = p j+i + p j i ;
2
2

2R:

(95)

2R:

(96)

Da mesma forma, temos:


0

ei x
1
jx i = p j+i + p j i ;
2
2

0
x

Sabemos agora que os autovetores de um operador hermitiano so ortogonais,


!
0
1
e ix
1
ei x
p j+i + p j i
hx jx+ i = p h+j + p h j
2
2
2
2
!
0
1
ei x
e ix
1 i x i x0
=
h+ j+i +
h+ j i +
h j+i + e e
h j i
2
2
2
2
=

1 1 ix
+ e e
2 2

0
x

=0

129

com isso,
ei x e

0
x

1)e

0
x

) ei

0
x

ei

De sorte que
ei x
p j i=
2
ei x
p j i=
2

1
jx+ i = p j+i +
2
1
jx i = p j+i
2

1
p
2
1
p
2

1
ei x

1
ei

(97)

Para encontrarmos agora o operador S^x , simplesmente resolvemos o sistema de


equaes
~
S^x jx+ i = jx+ i )
2
~
S^x jx i = jx i )
2

a b
b c

1
ei x

a b
b c

1
ei

~
2

1
ei x
~
2

;
1
ei

o que fornece
a + bei

b + cei

bei

cei

~
;
2
~
= ei x ;
2
~
=
;
2
~
= ei x :
2

(98)

(99)
(100)
(101)

Usando (98)+(100) e (99)-(101) e temos:


2a = 0 ) a = 0 ;

2ce

=0)c=0:

Com isso,
bei

~
~
)b= e
2
2

o que fornece
~
S^x =
2

0
i

e
x

Se repetirmos todo este processo para a direo y^ temos


1
ei y
jy i = p j+i p j i ;
2
2
~
0
e iy
S^y =
:
i y
e
0
2
130

(102)

Obviamente a forma explicita de todas estas quantidades depende da determinao das fases x e y . Para isso existe ainda um experimento de espalhamento a nossa disposio. Suponha que voc orientou o SG na direo x
^,
selecionou o feixe que foi na direo +^
x e passou este feixe por um segundo SG
na direo y^. Pelo que foi dito antes, e pela homogeneidade do espao, voc deve
imaginar que, mais uma vez, o feixe se dividiu em duas partes de intensidades
iguais nas direes +^
y e y^. Isso signica que, estado a partcula no estado
jx+ i a probabilidade de encontrar esta partcula no estado jy+ i ou jy i vale
1
:
2

jhy jx+ ij =

Usando os resultados (97) e (102) anteriores temos

e iy
p h j
2

1
p h+j
2

hy jx+ i =

1
1
2

ei(

y)

1
ei x
p j+i + p j i
2
2

Com isso

ei(

y)

Lembrando que

1
1
2

jhy+ jx+ ij =

ei(

y)

1
2

=2

ij = 11 + 12 = 2 ;

j1
temos
ei(

y)

:
2
Isso tudo que podemos xar com nossos experimentos de espalhamento.
Obviamente todo nosso problema apresenta uma fase que pode ser xada arbitrariamente, sem inuenciar nos resultados experimentais. Assim, fazendo
x

i)

= 0 =)

Temos a forma explicita de nossos vetores


jz+ i = j+i =
1
jx i = p [j+i
2
1
jy i = p [j+i
2

1
0

0
1

; jz i = j i =
1
j i] = p
2
1
i j i] = p
2

131

1
1
1
i

;
;

e dos nossos operadores


~
S^z =
2

1
0

0
1

; S^x =

~
2

0
1

~
; S^y =
2

1
0

0
i

i
0

A notao acima pode ser escrita de forma mais compacta se introduzirmos a


notao
0
1

1
0

0
i

i
0

1
0

0
1

com isso

~
^
S^i =
i ; S1
2
ou, numa notao vetorial,

S^x ; S^2

S^y ; S^3

S^z

^=~
S
2
Como vimos na construo dos operadores acima, se voc efetuar uma medida numa certa direo, e.g., z^, depois uma medida na direo x
^ e, por m,
novamente uma medida na direo z^, o sistema ter 50% de chance de apresentar o valor ~=2. Ou seja, a medida em x
^ destruiu toda a informao obtida
com a medida na direo z^.
O ponto aqui que a medida de um dos observveis perturbou o valor do
outro. Ou seja, no podemos medir, simultaneamente, Sx e Sz .
Isso j era de se esperar pelo resultado anterior, pois estes operadores no
comutam:
2
h
i
~
~
~
0 1
1 0
0
2
;
=
S^x ; S^z =
1 0
0
1
2 0
2
2
2
=
15.14.1

~2
2

0
1

1
0

~2
2

0
i

i
0

~2
S2 6= 0
2

Relaes de incerteza

Dos resultados acima, vimos que, dada a forma explcita dos operadores que
representam uma certa grandeza fsica, podemos determinar, atravs do comutador, se estes observveis podem, ou no, serem medidos simultaneamente.
Entretanto, as relaes de incerteza de Heisenberg nos do mais informao que
isso. Ela nos diz exatamente qual a preciso mxima que podemos esperar na
medida de dois observveis incompatveis. Vejamos agora uma generalizao
desta relao.
Uma quantidade clssica muito usada para caracterizar a incerteza de uma
medida A o desvio quadrado mdio desta medida
2
A

= A2

hAi

Pelos postulados da MQ sabemos que, o valor mdio de um observvel A^ num


estado vale
hAi = h j A^ j i
132

e a verso quntica para o desvio padro pode ser escrita como


2
A

( ) = h j A^2 j i

2
h j A^ j i

se zemos
A^ = A^

h j A^ j i

podemos escrever
2
A

( ) = h j A^2 j i

Exercise 78 Verique a armao acima.


^=B
^ +.
Considere agora dois observveis A^ = A^+ e B
Um resultado conhecido como desigualdade de Schwarz nos diz que para
qualquer operador A^ e qualquer vetor j i (no necessariamente normalizado)
^2 j i
h j A^2 j i h j B

^ j i
h j A^ B

com isso temos


2
A

( )

2
B

^2 j i
( ) = h j A^2 j i h j B

^ j i
h j A^ B

(103)

^ nem sempre o ser.


Alm disso, apesar de serem hermitianos, o produto A^B
Com isso a quantidade
^ j i
h j A^ B
ser, em geral, complexa
^ j i
h j A^ B

h
i2 h
i2
^ j i
^ j i
= Re h j A^ B
+ Im h j A^ B

^ j i
Im h j A^ B
(104)

Podemos agora calcular


^ j i = 1 h j A^ B
^ j i
Im h j A^ B
2i

^ j i
h j A^ B

Mas,
^ j i = h j A^ B
^
h j A^ B

^ + A^+ j i = h j B
^ A^ j i
j i = h jB

^ Com isso
onde, na ltima igualdade, usamos a hermiticidade de A^ e B.
^ j i = 1 h j A^ B
^ j i h jB
^ A^ j i
Im h j A^ B
2i
1
^
^ A^ j i
=
h j A^ B
B
2i
h
i
1
^ j i
=
h j A^ ; B
2i
133

i2

usando

temos

^
A^ ; B

h
= A^

^
h j A^ j i ; B

i h
i
^ j i = A;
^ B
^
h jB

h
i
^ j i = 1 h j A;
^ B
^ j i
Im h j A^ B
2i
Usando (103), (104), (105) temos
2
A

( )

2
B

( )

^ j i
h j A^ B

^ j i
Im h j A^ B

i2

(105)

h
i
1
^ B
^ j i
h j A;
2i

Com isso

h
i
1
^ B
^ j i
h j A;
2
ou seja, o produto da incerteza de qualquer medida proporcional ao comutador
dos operadores correspondentes.
Para o caso especial de posio e momento temos
A( )

B( )

[^
x; p^] = i~ )

x p( )

~
2

que a relao de incerteza de Heisenberg.

15.15

O oscilador harmnico

So incontveis os sistemas e aplicaes em fsica que podem ser modelados


pelo problema do oscilador harmnico (OH). Uma das razes para isso que
um potencial V (x) qualquer (dado por uma funo analtica) sempre pode ser
expandido em sua srie de Taylor
V (x) = V0 +

dV
dx

x+
x0

1 d2 V
2 dx2

x2 +
x0

1 d3 V
3! dx3

x3 + ::::
x0

Alm disso, em muitos problemas em fsica estamos interessados no comportamento do sistema perto da condio de equilbrio. Nesta condio
dV
dx

=0
x0

e nosso potencial se torna


1 2
kx + O x3
2
d2 V
k=
dx2 x0

V (x) =

onde usamos que uma constante no potencial no altera o comportamento do


sistema. Assim, prximo do equilbrio, qualquer potencial pode ser aproximado
por um OH.
134

Vamos introduzir os seguintes operadores diferenciais lineares


^
L
p^ =

~2 d 2
1
+ m! 2 x
^2 ;
2
2m dx
2

^ =
H
i~

d
dx

^ =
D (^
p) = D H

2 L2 ; a:c:

^ o operador hamiltoniano de um oscilador harmnico. A soluo do


aqui H
problema quntico se obtm pela soluo da ES estacionria, i.e., atravs da
^
soluo do problema de autovalores de H,
^
H

=E

=)

~2 d 2
1
+ m! 2 x
^2
2m dx2
2

=E

Esta equao no nada simples de se resolver.


Vamos tentar ento um mtodo alternativo. Primeiro observe que, para
qualquer funo 2 D (^
p) temos
x^
p

p^ (x ) = x

i~

d
dx

d
dx
d
= i~x
dx
= i~
=

i~x

i~
+ i~

d
dx

(x )

d
(x )
dx

+ i~ ( ) + i~x

d
dx
(106)

Se usarmos a notao
x^
p

p^ (x ) = [x^
p

p^x]

[x; p^]

onde
[x; p^]

[x^
p

p^x]

chamado o comutador de x com p^, lembrando que o operador atua em tudo


que estiver a sua direita e que (106) vlida para toda funo , podemos
escrever simbolicamente
[x; p^] = i~
(107)
ou seja, sempre que aparecer o comutador entre x e p^ podemos substituir por i~. Lembre que a quantidade acima um operador enquanto a
quantidade direita da igualdade um nmero.
Remark 79 Assim, esta igualdade s faz sentido quando ambos os lados atuam
numa funo qualquer.

135

Vamos agora denir os seguintes operadores diferenciais


a
^= p
x=

x+

2
1
p

2
r
m!
=
~

i^
p
m!

; a
^+ = p

a
^+a
^+

; p^ = i~ p

i^
p
m!

x
a
^+

a
^

(108)

Com estes novos operadores o Hamiltoniano pode ser escrito como (verique):
2
1
^ = p^ + 1 m! 2 x
H
^2 = !~ a
^a+ + a+ a
^
2m 2
2

(109)

As regras de comutao (107) implicam que (verique):


a
^; a
^+ =

i^
p
m!
i^
p
x+
m!
i^
p
x+
m!

2
2

2
2

i^
p
m!
i^
p
; x
m!
i^
p
x
m!

x+

"

; x

i^
p
i^
p
x
+
x
m! m!

i^
p
m!

x
i^
p
m!

2
2

x+

i^
p
m!

i^
p
i^
p
x
+
x+
m! m!

i^
p
m!

2
[x; p^]
2 m!

=1
[x; p^] = i~ =) a
^; a
^+ = 1 :
com isso

(110)

1
^ = 1 !~ a
H
^a+ + a+ a
^ = ~! a+ a
^+
2
2

Alm disso, fcil ver que


h
i
^ a
H;
^ = ~! a
^+ ; a
^ a
^ = ~!^
a
h
i
^ a
H;
^+ = ~!a+ a
^; a
^+ = ~!a+
Suponha agora que

^ ou seja,
(x) uma auto funo qualquer de H,
^
H

= En

136

(111)
(112)

Agora uma caracterstica muito mais do que importante dos operadores (108): Usando a regra de comutao (111) vemos que
^a
H^

^
~!^
a+a
^H

= ~!
fazendo

=a
^ (En

En
~!

1 a
^

^
=) H

= ~!

En
=
~!

~!)

temos
^a
H^

= ~! ( n 1) a
^ n:
^ com autovalor ~! n , ento a
Ou seja, se n autovetor de H
^ n outro
^ mas com autovalor ~! ( n 1) diminuindo de uma unidade.
autovetor de H,
Simbolicamente podemos chamar este vetor de n 1 ;
a
^

^
; H

n 1

= ~!

n 1

n 1

n 1

n 1

1:

Da mesma forma, usando (112)


^ a+
H^

^
= ~!^
a+ + a
^+ H
+

=a
^ ~! (1 +
= ~! (1 +

=a
^+ (~! + En )

n)
+

^
n) a

^ com autovalor ~! n , ento a


Ou seja, se n autovetor de H
^+ n outro au^
tovetor de H, mas com autovalor ~! ( n + 1) acrescido de uma unidade. Simbolicamente podemos chamar este vetor de n+1 ;
a
^+

n+1

^
; H

n+1

= ~!

n+1

n+1

n+1

+1 :

(113)

Por isso estes operadores so chamados de operadores de criao a+ e aniquilao


a.
Vamos usar agora que a energia do sistema uma quantidade positiva14
^j i
h jH
num estado
h
1 4 Isso

^j

nj H

qualquer
ni

=h

n j ~! n

ni

= ~!

nj

ni

= ~!

0:

pode ser visto observando que para qualquer autovetor normalizado


Z b
h nj a
^+ a
^ j ni =
[ n (x)] a+ a n (x) dx
=

a
b

[a

(x)] [a

= h^
a

a ni
n j j^

137

0:

(x)] dx

(114)
temos

(onde supusemos que n est normalizado).


Se a energia positiva deve haver um estado de energia fundamental, i.e.,
um estado cuja energia no possa ser reduzida. Podemos chamar este estado
simbolicamente de 0 com energia 0 min ( n ).
Mas a existncia do operador a
^ garante que sempre podemos baixar a energia
do sistema. Ou seja, o vetor = a
^ 0 teria uma energia 0 1 < 0 , a menos
que (x) = 0, ou seja,
a
^ 0=0:
Voltando agora para os nossos operadores originais (x; p^) temos:
a
^

= 0 =) p

k=
1
x
k

d 0
=
dx

i^
p
m!

=0

~ d 0
=0
m! dx

fazendo

temos

x
^+

=)

~
m!

1 d 0
d
=
ln
dx
0 dx

x
;
k

Fcil ver que a equao acima bem mais fcil de resolver que a nossa
equao original (??). Sua soluo vale
ln

x2
+ C =)
2k

x2
2k

(x) = N exp

com N uma constante (normalizao).


A exigncia a
^ 0 = 0, nos permite ainda determinar a energia deste estado
fundamental. Partido da eq. (109)
^
H

= ~!

~! a
^+ a
^+

1
2

~! a
^+ (^
a

0)

~!
0

1
2

= ~!

n
0

1
2

= ~!
0

= ~!

1
=
2

Ento j temos o estado fundamentas e a sua energia (auto-valor).


Observe que a descrio quntica do OH implica na existncia de uma energia
mnima (o oscilador nunca para de oscilar).
Como construir os outros estados n ?

138

Para isso, basta usar a propriedade (113)


a
^+

n+1

E1 = ~! (

=) a
^+

=) p

i^
p
m!

x
^

1
+1
2

+ 1) = ~!

explicitamente
p

~ d
m! dx

(x) = p x 1 +
2

(x) = 2 p x
2

~
~
m! m!

x2
2k

2
= N p x exp
2

Da mesma forma, podemos obter todos os outros estados (no-normalizados)


n
n

= a
^+

(x) = N p

~ d
m! dx

Com autovalor
En = ~! n +
15.15.1

n
0

(x)

1
2

Normalizao

As funes n (x) no esto normalizadas, i.e., aps a aplicao do operador a


^+
n vezes, precisamos calcular N . Isso pode ser simplicado supondo que, se n
um vetor normalizado, queremos obter N e N + para que
a
^
+

a
^
a
^

ea
^+

N+

n 1
n+1

tambm j estejam normalizados.


^j
H

ni

= En j

ni

= ~! n +

a
^+ a
^j

ni

= nj

~! a
^+ a
^+

multiplicando pelo dual de j


h

1
2

ni

ni

1
2

ni

ni

temos

^+ a
^ j ni
nj a

= nh
139

nj j ni

=n

(115)

Agora observe que, pela denio de adjunto


h j A^ j i = h j A^+ j i
temos

A^

dx =

(A+

) dx =

(A+ ) dx

ou seja, podemos calcular h j A^ j i como o produto do dual de j i com A^ j i,


ou como o produto de j i com o dual de A^+ j i. Com isso
Z
Z
+
+
h nj a
^ a
a
^ n (^
a n ) dx
^ j ni =
n a (a n ) dx =
se zemos
j

ni

a expresso acima se torna


Z
( n ) ( n ) dx = h

=a
^j

ni

nj j ni

=j

2
nj

= j^
a

2
nj

usando (115)
j^
a

a
^ n
2
nj = n ) p
n

=1

ou seja, se quisermos um vetor normalizado no devemos denir a


^
mas sim
p
a
^ n
p
^ n= n n 1
n 1 )a
n

n 1,

Da mesma forma
h

^a
^+
nj a

a
^+

ni
n

= h nj 1 + a
^+ a
^j
p
= n + 1 n+1

ni

=1+h

Ou, fazendo m = n + 1,
a
^+

m 1

^+ a
^ j ni
nj a

= 1 + n = N+

com isso
m

a
^+ m 1
a
^+
a
^+
a
^+
p
p
=p p
m
m m 1 m 2
+
+
a
^
a
^+
a
^+
a
^
p
=p p
::: p
m m 1 m 2
m m
+ m
(^
a )
= p
0 :
m!
=

140

m 3

m m

Assim, a formula para a n-sima autofuno do hamiltoniano do OH se torna


n

N0
p
(x) = p
2
n!

~ d
m! dx

(x)

onde N0 a normalizao do estado 0 .


As funes n assim construdas so chamadas de funes de Hermite.
Exercise 80 Use a integral gaussiana
Z 1
p
2
e x dx =
1

e ache a normalizao N0 .
Exercise 81 Construa a funo de Hermite

16

(x).

Potenciais centrais

At aqui tratamos praticamente todos os exemplo em 1D e argumentamos que a


extenso destes resultados para 3D no envolvia nenhuma diculdade conceitual
mais profunda.
Vamos agora considerar o momento angular orbital de um sistema, ou seja,
uma caracterstica que exige que nosso sistema tenha mais de 1D. O momento
angular que vamos tratar aqui chamado de momento angular orbital. Este
representa a quantizao, nos moldes introduzidos anteriormente, do observvel
clssico momento angular
L=x

^=
p!L

i~x

r:

Esta distino necessria porque em MQ temos ainda um outro tipo de


momento angular, chamado spin, que representa uma caracterstica interna das
partculas (a seguir veremos a diferena). Este ltimo no representa a quantizao de nenhum observvel clssico e, mais ainda, no possui nenhum anlogo
em MC.
O operador de momento angular respeita a seguinte regra de comutao
h
i
^j ; L
^ k = i~"ijk L
^i
L

e, conseqentemente, no podemos esperar medir suas trs componentes


simultaneamente (no so compatveis). Portanto escolhemos uma destas
^z.
componentes para caracterizar o sistema, usualmente L
Exercise 82 Verique a regra de comutao acima.
Entretanto, apesar de no podemos medir simultaneamente as 3 componentes do momento angular, podemos denir um operador relacionado com o
mdulo (ou o valor total do momento angular)
^2 = L
^ 21 + L
^ 22 + L
^ 23 :
L
141

(na verdade, a raiz quadrada do autovalor do operador acima). Este operador


comuta com todas as componentes do momento angular
h
i
^2; L
^i = 0
L

h
i
^3; L
^ 2 = 0.
Exercise 83 Verique explicitamente que L

Assim, podemos caracterizar (medir simultaneamente) tanto o momento an^ 3 ), quanto o seu mdulo. Ou seja, podemos
gular numa dada direo (e.g., L
procurar por autofunes simultneas destes dois operadores. Vamos chamar
estas autofunes de Km e, por convenincia, vamos escrever seus autovalores
como
^2
L
^3
L

Km

= ~2 K 2

Km

= ~m

Km

Km

Os ndices K; m caracterizam nosso estado fsico. ndices que caracterizam


um estado fsico em MQ so chamados de nmeros qunticos. Ou seja, dizer que
nosso sistema esta no estado K;m signica dizer que ele tem momento angular
na direo z igual a ~m e o mdulo do vetor momento angular vale ~K.
Remark 84 Qualquer outra tentativa para especicar melhor o valor do vetor
^ ir destruir as informaes obtidas anteriormente.
L
Uma viso clssica para o nosso sistema (que ajuda a desenvolver alguns
raciocnios) que, aps uma medida de L3 e L2 o vetor momento angular est
precessionando em torno do eixo z. Mas este imagem no deve ser levada
to srio. O resultado mais preciso, mas que difcil de visualizar, que,
aps a medida de L3 , nosso sistema est numa superposio de todos os valores
possveis de Lx e Ly , compatveis com o valor de L2 .

16.1

Autovalores e autovetores do momento angular

Vamos agora discutir os possveis valores dos autovalores e a forma dos autove^3 e L
^ 2 . Estes operadores so, obviamente, operadores diferenciais e a
tores de L
obteno destas quantidades representa a resoluo do problema de autovalores
para estas equaes. Entretanto, no lugar de resolvermos diretamente estas
equaes, podemos usar um mtodo completamente anlogo ao desenvolvido
para resolver o problema do oscilador harmnico. Neste caso, introduzamos os
operadores
^+ = L
^ 1 + iL
^2 ;
L
^ =L
^1
L

^2 = L
^+
iL

142

Estes operadores fazem s vezes de a


^ e a
^+ neste problema e obedecem as
seguintes regras de comutao
h
i
^3; L
^ + = ~L
^+
L
h
i
^3; L
^ = ~L
^
L
[L+ ; L ] = 2~L3
h
i
^2; L
^ =0
L

Exercise 85 Verique as leis de comutao acima.


h
i
^3; L
^
Observe que as leis de comutao L
=

^
~L

mesmas que as leis de comutao (111) e (112)


h
i
^ OH ; a
a
^ a
^ ; a
^+ a
^+ ) H
^ =

so exatamente as

~!a

^ aja em L
^ 3 de
calculadas no caso do oscilador harmnico. Isso faz com que L
^
forma semelhante a a
^ em HOH do OH.
Assim como zemos no caso do OH, imagine que voc encontrou um autove^3
tor m do operador L
^ 3 m = ~m m :
L
h
i
^3; L
^ = ~L
^ possvel mostrar que
Usando as regras de comutao L
^3 L
^+
L

^+
= ~ (m + 1) L

^3 L
^
L

= ~ (m

^
1) L

m
m

^ + (L
^ ) permite construir um novo autovetor com o autoOu seja, o operador L
valor aumentado (diminudo) de uma unidade. Por isso este operador chamado
de operador de levantamento (abaixamento).
Exercise 86 Verique as igualdades acima.
^ 2 comuta com L
^ 3 , podemos esperar que o autovetor
Uma vez que L
2
^
seja tambm autovetor de L
^2
L
h

= ~2 K 2

acima

^ ;L
^ 2 = 0 temos
Alm disso, como L
^ 2 (L
L

m)

^2
=L L

= L ~2 K 2

= ~2 K 2 (L

m)

^ 2 como
Ou seja, os autovetores construdos acima so tambm autovetores de L
^
o mesmo autovalor. Assim, os operadores L abaixam e levantam a projeo
do momento angular no eixo z sem mudar o valor do mdulo do vetor.
Fazer desenho
143

^ OH do OH, o operador L
^ 2 positivo denido, com isso,
Assim como H
D E
^2
0 ) K2 0 :
L
m

Alm disso, temos


D E
D E
D E
^2
^2
^2
+
L
= L
L
2
1

D E
^2
+ L
3

D E
^2
= L
1

D E
^2
+ L
2

+ ~2 m2 ;
m

ou seja
jKj

jmj )

(116)

Que obviamente signica apenas que o mdulo de um vetor maior ou igual


qualquer uma de suas componentes.
Entretanto, o fato de podermos sempre aumentar o valor da projeo com
^ + leva a uma contradio com a igualdade acima (assim como no
o operador L
caso da energia mnima do OH). Por isso, se mmax K o maior valor possvel
para a projeo do momento angular na direo z, devemos exigir que
^+
L

mmax

=0:

(117)

^
L

mmin

=0:

(118)

Pela mesma razo


^2

O operador L pode ser escrito como


^2 = L
^ 21 + L
^ 22 + L
^ 23
L
^ L
^+ + L
^ 23 + ~L
^3
=L
^+L
^ +L
^ 23
=L

^3
~L

Exercise 87 Verique as igualdades acima.


Usando a relao acima, podemos escrever (117) como
^2
L

mmax

^ L
^+ + L
^ 2 + ~L
^3
= ~2 K 2 = L
3
^ 2 + ~L
^3
= L
3

mmax

mmax

= ~2 m2max + ~2 mmax

ou seja
K 2 = mmax (mmax + 1)
Da mesma forma
K 2 = mmin (mmin

1)

Com isso
mmax (mmax + 1) = mmin (mmin
m2max

+ mmax =
144

m2min

mmin

1)

mmax

que implica
mmax =

mmin

Ou seja, os valores possveis de m variam de uma em uma unidade e


se distribuem simetricamente em torno de 0.
A simetria da distribuio acima, e o fato de m baixar e levantar de uma
unidade, nos mostra que temos apenas duas possibilidades para os valores de
mmax
mmax = inteiro ) m = f mmax ; mmax + 1; ::; 0; ::; mmax g
mmax = semi-inteiro ) m = f mmax ; mmax + 1; ::; mmax g
no segundo caso m 6= 0. Qualquer outro valor de mmax no teria a simetria
necessria para que mmax = mmin .
Os dois tipos de valores para mmax caracterizam os dois tipos diferentes de
^
momento angular mencionados anteriormente. Para mmax um semi-inteiro, L
um momento angular intrnseco, i.e., um spin (e.g., frmions tem spin 1=2).
Como veremos mais pra frente, para o caso do momento angular orbital, necessariamente devemos ter mmax inteiro15 .
Vamos chamar
l mmax = mmin :
Ou seja, os valores de m variam de uma em uma unidade desde
a denio acima temos

l at l. Com

K 2 = mmax (mmax + 1) = l (l + 1)
^ 2 so
Ou seja, os autovalores de L3 e L
^2
L
^3
L

m;l

= ~2 l (l + 1)

m;l

= ~m

m;l

m;l

; m=

; l = 0; 1; 3:::
l; l + 1; :::; 0; :::; l :

Para cada valor de l temos 2l + 1 valores de m.


Por razes que se tornaro claras futuramente, l chamado de nmero quntico orbital, enquanto m chamado de nmero quntico azimutal (ou nmero
quntico magntico).
Vemos que
l (l + 1) > l ;
ou seja, a expresso (116) , na verdade
K<m<K :
Assim, o valor mximo da projeo sempre menor que o mdulo do vetor,
ou seja, o vetor nunca est projetado inteiramente no eixo z. Se isso
fosse possvel, teramos um estado com L3 bem denido e com L1 = L2 = 0, ou
1 5 No estamos armando que m
max inteiro no pode ser um valor de spin, mas apenas que
o momento angular orbital tem, obrigatoriamente, um valor inteiro de mmax .

145

seja, haveria um estado em que conheceramos as 3 componentes do momento


angular.
Observe que a MQ nos diz que as partculas podem ter apenas valores inteiros
e semi-inteiros de l. Desta forma, temos 3 casos distintos:
1. o momento angular orbital, com l inteiro;
2. o momento angular intrnseco (spin) com l inteiro e semi-inteiro. No que
se refere ao spin,
(a) partculas com spin inteiro so chamados de bsons e
(b) partculas com spin semi-inteiro so chamados de frmions.
Esta caracterstica pode ser observada num experimento de EG. Por exemplo, se l = 1 (e.g., o ncleo de deutrio) o feixe se divide em trs feixes com
m = 1; 0; 1.
Da mesma forma como no caso do OH, temos agora uma equao diferencial
mais simples pra resolver
^ + l;l = 0
L
Uma vez obtida esta soluo, podemos construir as demais solues baixando o
auto-valor de m
^ l;l
l;l 1 = L
e assim at

l; l

onde, obviamente
^
L

=0:

l; l

Para resolver explicitamente este problema, ou seja, encontrar a forma explicita das autofunes, o ideal trabalhamos em coordenadas esfricas
x = r sin cos

; y = r sin sin

; z = r cos ;

e suas inversas
r2 = x2 + y 2 + z 2 ; cos =

z
; tan
r

y
:
x

Nestas coordenadas temos


^ =L
^1
L
^2 =
L

^ 2 = ~e
iL

i cot

1 @
@
1
sin
+
sin @
@
sin2

@
@
@2
@ 2

@
@

^ 3 assume uma forma bem simples


Em especial, o operador L
^3 =
L

i~

146

@
:
@

(119)

Assim, as funes procuradas obedecem a equao (fazendo

l;m

= Ylm )

m
^ 3 Ylm = ~mYlm ) @Yl = imYlm ;
L
@
Ylm = Ylm ( ; ) ;

fazendo uma separao de variveis


Ylm ( ; ) =

temos
^ 3 Ylm = imYlm )
L

m
l

( )

( )

1
( ) = p exp (im ) :
2

p
Onde o fator 1= 2 , obviamente, a normalizao.
Precisamos agora lembrar que estamos falando de um momento angular orbital, ou seja, denido atravs do momento e da posio da partcula. Esta
caracterstica geomtrica desta quantidade faz com que (diferente do spin) caractersticas relacionadas com o mesmo ponto do espao tenham o mesmo valor.
Ou seja, a condio de unicidade da soluo exige que
( )=

( + 2 ) ) eim2 = 1 ) m = 0; 1; 2; ::

Ou seja, m deve ser inteiro. Como armamos para o caso do momento


angular orbital.
Assim, nossas solues tm a forma
1
Ylm ( ; ) = p
2

m
l

( ) exp (im ) ; m 2 Z :

Voltando agora para a nossa equao


^ + Yll = 0 ) ~ei
L

i cot

@
@
+
@
@

1
p
2

l
l

( ) exp (il ) = 0

ou seja
@
@

l
l

( )=l

1
tan

l
l

( ) = l cot

l
l

( )

que possui a soluo


l
l

Nll
( ) = Nl sinl ) Yll ( ; ) = p exp (im ) sinl
2

onde Nll uma normalizao. As demais solues so obtidas pela aplicao do


^
operador L
Yll

^
( ; )= L

Yll ( ; ) = Nl

147

~e

i cot

@
@

@
@

eim sinl ; m

2l

As funes Yll m assim construdas, e devidamente normalizadas, so chamadas


de harmnicos esfricos. Com isso
^ 2 Y m = ~2 l (l + 1) Y m ; l 2 N:::
L
l
l
m
m
^
L3 Yl = ~mYl ; m = l; l + 1; :::; 0; :::; l
Z
hYlm j Ylm0
Ylm ( ; ) Ylm0
( ; ) d =
0 i =
0

mm0
ll0

Os harmnicos esfricos so funes tabeladas e tambm podem ser escritos


como
1=2
2l + 1 (l m)!
Plm (cos ) eim
Ylm ( ; ) =
4
(l + m)!
onde
m

Plm ( ) = ( 1)
Pl ( ) =

2 m=2

1 dl
2l l! d l

dm Pl ( )
d m

onde Pl so conhecidos como os polinmios de Legendre e Plm os polinmios


associados de Legendre.

16.2

O tomo de hidrognio

Recapitular principais resultados do tomo de Bohr-Sommerfeld.


Como vimos, o modelo de Bohr-Sommerfeld do tomo de hidrognio consiste
na quantizao de duas variveis clssicas: X
E cada estado do eltron determinado pelos nmeros n e nr .
I
I
p d = n h ; pr dr = nr h :
com
nr 2 N ; n 2 N :
A energia de cada um destes estados dado por
Enr ;n =

RH
; n = n + nr :
n2

Assim, para cada valor de n temos vrios diferentes de n e nr que resultam


na mesma energia. Esta degenerescncia explica a estrutura na observada nas
linhas espectrais do tomo de hidrognio.
Na notao usada em qumica um nvel nomeado pelo valor de n e nr , onde
os nveis com nr = 0 (maior n ) chamado de s, o nvel nr = 1 chamado de

148

p etc.
n = 1 ) n = 0; n = 1 1s
n = 2 ) nr = 0; n = 2 2s; nr = 1; n = 1 2p
n = 3 ) nr = 0; n = 3 3s; nr = 1; n = 2 3p ; nr = 2; n = 1
..
.

3d

Vejamos agora como estes resultados podem ser obtidos na teoria de Schroedinger.
Veremos, alm disso, que esta teoria no s fornece os resultados anteriores
como permite uma descrio mais na dos nveis acima (e.g., a degenerescncia
do nvel 2p). Alm disso, e o que mais importante, a teoria de Schroedinger
permite renar a descrio do tomo de hidrognio acrescentando outras caractersticas alm da atrao coulombiana. Por exemplo, o spin do eltron e do
ncleo.
Uma vez que a teoria de Schroedinger parte da quantizao do hamiltoniano
clssico, precisamos primeiro montar este hamiltoniano.
Partindo do hamiltoniano da partcula livre
H=

~2 2
r
2m

e escrevendo o laplaciano em coordenadas esfricas temos


H=

^2
L
p^2r
+
2m 2mr2

com
1 @
r
r @r
2
^ 2 = 1 @ sin @ + 1 @
L
sin @
@
sin2 @ 2
p^r =

^ 2 o operador de momento angular introduzido anteriormente (119) e p^r


onde L
chamado de momento radial. Assim, para o caso de um potencial que dependa
apenas da coordenada radial, i.e., um potencial central, temos que o operador
hamiltoniano se torna
2
^2
^ = p^r + L + V (r)
H
2m 2mr2
Para o caso de um sistema ligado de um prton e um eltron (i.e., um tomo
de hidrognio) temos que o potencial do eltron devido ao prton vale
V (r) =

e2
r

com o que nosso hamiltoniano ca


2
^2
^ = p^r + L
H
2m 2mr2

149

e2
r

Remark 88 Lembre que, na verdade, sendo um sistema de dois corpos, devemos usar a massa reduzida
=

me mp
' me ;
me + mp

reveja o captulo sobre o tomo de Bohr.


Assim, na teoria de Schroedinger, o problema dos estados estacionrio (estados com energia denida) do tomo de hidrognio, consiste em encontrar os
autoestados do operador acima
^
H

jEj

Alm disso, como estamos interessados em estados ligados, estamos interessados


no caso E < 0 (pois, como no problema usual do potencial acima, estamos
colocando o zero de energia no innito).
O problema acima pode ser facilitado usando, novamente, uma separao de
variveis. Entretanto, observe que
h
i h
i
^ L
^ 2 = H;
^ L
^3 = 0 ;
H;

^ L
^2 e L
^ 3 (ou ainda,
ou seja, podemos procurar por autofunes simultneas de H;
2
^
^
^
podemos medir simultaneamente H; L e L3 ). Com isso, vamos procurar as
nossas solues na forma
= R (r) Ylm ( ; ) :
Substituindo a soluo
~2
2m

na forma acima na ES temos:

1 d2
~2 l (l + 1)
r
+
r dr2
2mr2

e2
+ jEj R (r) = 0
r

Esta equao pode ser simplicada fazendo


u

rR

com o que
d2
l (l + 1)
r +
dr2
r2

2me2
2m jEj
+
u (r) = 0
~2 r
~2

que pode ser colocada numa forma ainda mais simples atravs das variveis
~2 2
= jEj ;
2m
~2
~2
=
; a0 =
2
2ma0
me2
2 r;

RH

150

RH
jEj

onde RH a constante de Rydberg e a0 o raio de Bohr introduzidos na seo


sobre o tomo de Bohr. Nestas novas variveis temos
d2 u
d 2

l (l + 1)
2

1
4

u+

u=0

Nosso trabalho se resume, obviamente, em resolver a equao diferencial acima.


Assim como nos casos anterior existem tcnicas especcas para encontrar a
soluo desta equao. Aps a aplicao destas tcnicas, as solues do problema acima podem ser escritos como:
un;l ( ) =
onde
Fnl ( ) =

nX
l 1
i=0

l+1

exp

Fnl ( )

( 1) [(n + l)!] i
; n2N
i! (n l 1 i)! (2l + 1 + i)!

so os polinmios associados de Laguerre. Para que estas funes sejam de


quadrado integrvel, devemos ter16
n

0)l

1)l<n

Assim, a soluo do problema do tomo de hidrognio pode ser escrito como


(r; ; ) = Rn;l (r) Ylm ( ; ) ;
1
Rn;l (r) = un;l ( ) ;
2 r
r
n;l;m

l+1

un;l ( ) = exp

Fnl ( ) :

com os autovalores

RH
n2
que so exatamente os mesmos obtidos pela quantizao de Bohr.
A soluo da parte radial do problema (como era de se esperar) introduziu
o novo nmero quntico n nas nossas solues. Chamado de nmero quntico
principal.
En =

Remark 89 A energia depende apenas do nmero quntico principal.


As restries acima impem
l<n:
e as restries obtidas anteriormente
jmj < l :
1 6 Podemos denir os polinmios acima para valores negativos do fatorial usando a funo
. Entretanto, ( m)) = 1 para m inteiro positivo.

151

Assim, para um dado valor de l temos 2l + 1 estados com o mesmo valor de l e,


para um dado valor de n temos n2 estados com a mesma energia.
Na notao usada em qumica, os valores de n rotulam os chamados orbitais.
Os valores de l so chamados, em seqncia, s; p; d etc. E para cada um destes
valores, temos m = 2l + 1 estados distintos.
1s1
2s1 2p3
3s1 3p3 3d5
..
.
A descrio completa dos orbitais atmicos depende ainda de uma caracterstica negligenciada at aqui: o spin do eltron. Esta quantidade faz com
que cada estado possa existir em dois estados distintos de spin. Ou seja, o
nmero de estados de cada orbital dobrado.
1s2
2s2 2p6
3s2 3p6 3d10
..
.
Alm disso, a estrutura da distribuio eletrnica, bem como a estabilidade de
toda a matria conhecida, depende diretamente da inuncia do spin nestes
nveis eletrnicos. Ou seja, impossvel compreender a distribuio eletrnica
(em especial a tabela peridica) sem tomar em conta o spin do eltron.
O que o modelo no explica.
Mas isso uma outra histria...

152

Você também pode gostar