Captulo 2

Espa
cos Vetoriais de Dimens
ao
Infinita
2.1

Espaco de funco
es e o espa
c o L2

Vide discussao em sala.

2.2

Espaco de Hilbert

Como vimos anteriormente, o espaco L2 tem a estrutura de . Da mesma forma que

generalizamos as propriedades de n para espacos vetoriais abstratos Vn ditos espacos euclideanos e natural perguntar se generalizacao semelhante existe pra , i.e, L2 . A resposta e
sim e os espacos com as propriedades de sao ditos espacos de Hilbert. Relembremos a
nocao de espaco completo.
Definic
ao 2.1. Um espaco vetorial (dotado de uma norma) e dito completo se toda seq
uencia
de Cauchy for convergente i.e o limite e um elemento do respectivo espaco. Note que uma
seq
uencia de Cauchy {|Vi i}
e tal que para qualquer > 0 existe um N tal que
i=1 em um e.v.
|Vn Vm | < , n, m > N.
Como ja mencionado, as normas de maior interesse sao aquelas derivadas de um produto
interno h|i . Isso sugere que devemos considerar espacos vetoriais com produto interno.
Definic
ao 2.2. Um espaco de Hilbert e um espaco vetorial com produto interno e que e
completo.
Da definicao acima, e claro que todo espaco euclideano, isto e, de dimensao finita, e um
espaco de Hilbert. Nosso interesse, contudo, sera nos espacos de Hilbert de dimensao infinito.
1

CAPITULO 2.

INFINITA
ESPAC
OS VETORIAIS DE DIMENSAO

Por isso, sempre que falarmos espacos de Hilbert, teremos em mente espacos de Hilbert
de dimensao infinita.
Exemplo 2.1. L2 e obviamente um espaco de Hilbert, cuja dimensao e a cardinalidade dos
naturais.
Todo espaco vetorial possui uma base. (Esse e um resultado basico que decorre dos
axiomas de teoria dos conjuntos). Os espacos e Hilbert que interessam na fsica sao aqueles
que admitem uma base enumeravel, ou seja, os chamados espacos de Hilbert separaveis.
Definic
ao 2.3. Um espaco de Hilbert e dito separavel se possuir uma base ortonormal enumeravel.
Ou seja, um espaco de Hilbert H e separavel se existir um conjunto enumeravel de vetores
ortonormais
B = {|ii}
i=1 , com hi|ji = ij
tal que para qualquer vetor |f i H temos

|f i =

X
i=1

fi |ii .

Nesse sentido os coeficientes fi sao as coordenadas (ou componentes) de |f i na base {|ii}

i=1 .
Nessa base, podemos escrever |f i como um vetor coluna com infinitos elementos:

f1
f2
.

|f i = .. .

fn
..
.
O modulo de |f i em termos das coordenadas fi , sera
2

|f | = hf |f i =

X
1

|fi |2 .

A caracterizacao acima permite construirmos um outro exemplo de espaco de Hilbert.

P
2
Exemplo 2.2 ( ). Considere o espaco de seq
uencias da forma {fi }
i=1 com
1 |fi | < .
Se denotarmos por |f i um elemento desse espaco e escrevermos

f1
f2
.

|f i = .. .

fn
..
.

2.2. ESPAC
O DE HILBERT
e definirmos o produto vetorial de maneira analoga ao
hf |gi =

Rn :

fi gi

bem como a soma |f i + |gi e a multiplicacao por escalar a |f i de maneira usual, entao
podemos facilmente mostrar que o espaco desses vetores infinitos (com modulo finito) e um
espaco de Hilbert. Para verificar isso, basta perceber que o espaco acima e isomorfo ao
L2 . De fato, os coeficientes fi podem ser vistos como os coeficientes de Fourier de f (x) em
alguma base ortonormal apropriada.
Note que se {|ii}
e uma base de um espaco de Hilbert, entao vale a relacao de comi=1
pleteza

X
|iihi| = I.
1

Da discussao acima, ve-se que o conceito de espaco de Hilbert e uma generalizacao de

espacos euclideanos para dimensao infinita. Muitas das propriedades e relacoes da algebra
linear de e.v. de dimensao finita permanece valida para espacos de Hilbert (separaveis). Por
exemplo, pode-se mostrar que dois espacos de Hilbert (separaveis) H1 e H2 sao isomorfos
entre si, ou seja, H1 H2 . Esse resultado e uma extensao do fato de que dois espacos
vetoriais de dimensao finita sao isomorfos se eles possuem a mesma dimensao, para o caso
de dimensao infinita enumeravel. Ou seja, se H1 e H2 sao dois espacos de Hilbert separaveis
eles tem, por definicao, a mesma dimensao, qual seja, a cardinalidade dos naturais, logo sao
isomorfos. Podemos assim enunciar o seguinte teorema.
Teorema 2.1. Todos os espacos de Hilbert separaveis sao isomorfos a L2 .
Corol
ario 2.1. Todos os espacos de Hilbert (separaveis) sao isomorfos a . Vemos ent
ao
que os espacos de Hilbert prototpicos sao:
i) espaco L2 de funcoes (x) de quadrado integravel.
ii) espaco R de vetores infinitos da forma

1
2
..
.

|i =

n
..
.
com

P
1

|i |2 < .

CAPITULO 2.

INFINITA
ESPAC
OS VETORIAIS DE DIMENSAO

Em mecanica quantica, a escolha de representarmos o estado de uma partcula por uma

funcao (x) corresponde `a mecanica ondulatoria de Schrodinger.
A escolha do estado da partcula como um vetor infinito |i corresponde a` mecanica
matricial de Heisenberg. Os dois formalismos sao obviamente equivalentes. Tal como em
e.v. de dimensao finita, tambem para cada ket de |f i H podemos associar um vetor dual,
ou bra hf | H , pertencente ao dual H . Em outras palavras, se |f i H entao podemos
definir o funcional linear ou bra hf | pela relacao
hf | (|gi) = hf |gi , |gi H
Da mesma forma (como no caso de dimensao finita) todo funcional linear hf |i corresponde a um ket |f i . Isso e garantido pelo teorema abaixo.
Teorema 2.2 (Teorema de Riesz-Frechet). Seja F um funcional linear em um espaco de
Hilbert H. Entao existe um |f i H tal que
F (|gi) = hf |gi , |gi H.
Isso garante que o funcional F pode ser identificado com o ket |f i via a seguinte relacao
F hf |i .
Em outras palavras, o teorema de Riesz-Frechet garante que H e o seu dual H sao isomorfos:
H
= H .
Nesse sentido, fica ainda mais evidente a nocao de um espaco de Hilbert com uma generalizacao de n para n .
Teorema 2.3. Todo espaco de Hilbert (separavel ou nao) possui (pelo menos) uma base
ortonormal.

2.3

Espacos das funco

es testes e espa
co de Hilbert equipado

Do ponto de vista fsico, e claro que o espaco L2 e muito amplo em escopo: as funcoes de
onda (x) alem de serem de quadrado integravel, visto que |(x)|2 possui interpretacao de
densidade de probabilidade, devem tambem possuir certas propriedades de regularidade. Nos
devemos reter, entre todas as funcoes de L2 , apenas aquelas que sao definidas em todos os
pontos, contnuas e infinitamente diferenciaveis. Alem disso, essas funcoes devem ser bem
comportadas tambem no infinito. Aqui ha duas classes principais de funcoes fisicamente
razoaveis.


2.3. ESPAC
OS DAS FUNC
OES
TESTES E ESPAC
O DE HILBERT EQUIPADO

i) CF : funcoes infinitamente diferenciaveis com suporte composto (ou seja, (x) = 0 se

|x| >, a para algum a > 0).
ii) S : funcoes infinitamente diferenciaveis que vao a zero no infinito de maneira mais rapida
que qualquer lei de potencia 1/xn . Esse e o chamado espaco de Schwartz.
Por razoes que ficarao obvias em breve, as funcoes fisicamente admissveis sao chamadas
de funcoes teste. O conjunto das funcoes teste, seja ele CF ou S, sera denotado aqui por
um smbolo generico, qual seja,
: espaco de funcoes teste.
claro que e um subspaco de L2 , ou mais propriamente, do espaco de Hilbert H, ou seja
E
H.
(Obs: O livro do Cohen-Tannoudji denota por F L2 o espaco das funcoes fisicamente
razoaveis.)
Mencionamos acima sem maiores justificativas que o espaco de Hilbert L2 e muito
amplo para as aplicacoes da mecanica quantica. Uma razao para isso e que certos operadores
de interesse para a MQ podem atuar em L2 . A discussao sobre operadores no espaco de
Hilbert sera postergada para mais adiante, mas por enquanto vale a pena fazer uma discussao
qualitativa dos problemas com L2 mencionados acima.
Por exemplo, considere o operador posicao X definido por:
Xf (x) = xf (x).
claro que havera funcoes f L2 para as quais Xf
E
/ L2 . Por exemplo, considere
f (x) =

1
.
x+i

Claramente f (x) L2 (verifique isso), mas

g(x) = Xf (x) =

/ L2 .
x+i

O domnio de X, denotado por D(X), e definido como o conjunto das funcoes f (x) L2
para as quais Xf permanece de quadrado integravel, ou seja,


Z
2
2
D(x) = f (x) L /
|xf (x)| dx < .

Da mesma forma, o proprio D(X) nao e invariante pela acao de X; ou seja, se aplicarmos
X a funcoes do conjunto D(X) podemos obter funcoes fora de D(X). Por exemplo
h(x) =

x2

1
D(X)
+1

CAPITULO 2.

INFINITA
ESPAC
OS VETORIAIS DE DIMENSAO

mas

/ D(X).
+1
Assim se for relevante para o problema fsico em questao considerar potenciais X n do
operador X, devemos exigir que as funcoes resultantes X n f permanecam em L2 . Ou seja, o
subespaco H das funcoes fisicamente invariante pela aplicacao de X n , para quaisquer
potencias n.
O fato de restringirmos as funcoes de onda (x) a um subespaco H apropriado nos
garante que a acao de operadores relevantes nao nos levara para fora de L2 (logo permanece
valida a interpretacao probabilstica de funcao de onda). Por outro lado, isso cria um grave
problema como veremos adiante.
Da nossa discussao anterior, sabemos que para todo ket |f i podemos associar um
bra (vetor dual) hf | (ou seja, o espaco de funcionais lineares atuando em ), a partir
do produto interno
|f i hf | ,
Xh(x) =

x2

onde hf | representa o funcional hf |i , ou seja,

hf | (|gi) = hf |gi , |gi .
Entretanto, e possvel definirmos um bra h| para o qual nao existe nenhum ket |i
em correspondente. Para ver isso considere a seguinte sequencia de funcoes

0 , |x| > 1/n
n (n) =
n/2 , |x| < 1/n, n = 1, 2, 3, . . .
Nesse caso temos n CF0 . Alem disso
Z

n (x)dx =

1/n

1/n

n
dx = 1, n.
2

Claramente o limite limn n (x) nao e sequer uma funcao (logo

/ CF0 ). Entretanto a
sequencia n (x) converge no chamado sentido de distribuicao, a saber

n
lim
n (x)f (x)dx = lim
n
n 2
Z

1/n

f (x)dx = f (0).
1/n

Ou seja, podemos definir o seguinte funcional linear h| como o limite dos bras hn | no
seguinte sentido
h| = lim hn |
n

ou
h|f i = lim hn |f i = lim
n

n (x)f (x)dx = f (0).


2.3. ESPAC
OS DAS FUNC
OES
TESTES E ESPAC
O DE HILBERT EQUIPADO

Em outras palavras, o funcional h| e formalmente definido por

h| (|f i) = f (0), |f i .

(2.1)

Como mostrado acima, ao bra h| nao esta associado nenhum ket |i , ou seja, nenhuma
funcao n (x) , a partir da qual possamos definir o funcional h|i .
A definicao (2.1) do funcional h| obtido com a sequencia das funcoes n (x) e exatamente
a definicao da funcao delta de Dirac:
Z
(x)f (x)dx = f (0).

Isto e, o funcional h| acima e precisamente a chamada delta de Dirac. Assim podemos dizer:
h| h| .
Em face dessa associacao e conveniente denotarmos o limite da sequencia n (x) pelo smbolo
(x) e trata-lo como se fosse uma funcao ordinaria, embora seja uma distribuicao ou funcao
generalizada. Assim escrevemos
lim n (x) = (x)
n

significando
lim hn | = h| .

De uma maneira geral, funcionais lineares em sao chamados de distribuicoes.

Definic
ao 2.4 (Distribuicao). Uma distribuicao h| e um funcional linear sobre o
espaco das funcoes teste.
Pode-se mostrar agora que toda distribuicao h| pode ser definida atraves de uma
sequencia de funcoes n (x) . Ou seja, se h| entao existe n (x) tal que
Z
h|f i = lim
n (x)f (x)dx, f .
n

Nesse sentido, definimos a funcao generalizada n como o limite da sequencia

(x) = lim n (x)
n

significando que
h|f i lim

n (x)f (x)dx.

CAPITULO 2.

INFINITA
ESPAC
OS VETORIAIS DE DIMENSAO

Exemplo 2.3. A funcao de Heaviside


1 , x>0
(x) =
0 , x < 0, n = 1, 2, 3, . . .
Claramente nao e de quadrado integravel, ou seja, (x)
/ L2 . Entretanto e possvel interpretarmos (x) como uma funcao generalizada, ou seja, como um elemento de definida
por
Z
Z

h|f i =

(x)f (x)dx =

f (x)dx.

Obs.: nesse caso podemos tomar = CF0 para garantir que a integral acima converge.
A discussao acima mostrou que e um espaco maior do que L2 , uma vez que ha
elementos no primeiro ao qual nao ha correspondente no segundo, mas o contrario e sempre
verdadeiro, ou seja, L2 (e 6 L2 ).
De uma maneira geral, temos o seguinte tripleto de espacos vetoriais
H
= H .
O conjunto dos tres espacos (, H, ) e chamado de tripleto de Gelfand ou um espaco
de Hilbert equipado.
Da desigualdade acima decorre que
dim( ) > dim(H) = card(N).
Tem-se entao que
dim( ) = card(),
logo uma base B de deve conter uma quantidade infinita e nao enumeravel de elementos.

2.4

Bases contnuas

Seja o espaco das distribuicoes definidas em um certo espaco de funcoes teste .

Como discutido na secao anterior, podemos representar uma distribuicao h| pela funcao
generalizada (x) definida por
Z
Z

(x)f (x)dx = h|f i = lim

n (x)f (x)dx.
n

Aqui voltamos a considerr que (x) pode assumir valores complexos.

Se = S, podemos definir naturalmente um produto interno em da seguinte maneira.
Sejam h| e h| duas distribuicoes, entao o produto interno entre elas e
Z
Z

h|i =
(x)(x)dx = lim
n (x)n (x)f (x)dx.

2.4. BASES CONTINUAS

Em particular note que

2

|| = | h|i | = lim

|n (x)|2 dx.

Pode-se mostrar ainda que o espaco das distribuicoes equipado com o produto interno
acima e complexo, logo e um espaco de Hilbert. Esse espaco e as vezes chamado de espaco
das funcoes generalizadas de quadrado integravel ou L2 . Dessa forma podemos escrever o
tripleto de Gelfond
L2 L2 .
Temos entao que L2 e um espaco de Hilbert nao-separave, logo com a dimensao igual
`a cardinalidade dos reais.
Vimos acima que podemos associar um bra h| com uma funcao generalizada (x).
Nesse sentido podemos pensar na funcao generalizada (x) como o ket |i associada ao bra
h| . Com essa interpretacao, temos que a cada bra h| corresponde um ket |i e vice versa.
(Em outras palavras, com a construcao do espaco de Hilbert equipado sanamos a deficiencia
anterior em , onde se tinha bra que nao estava associado a nenhum ket em ).
Vimos ainda que o espaco das funcoes generalizadas (x) (ou ) possui dimensao igual
`a cardinalidade dos reais. Em analogia com o espaco de Hilbert separaveis cuja base e
denotada por {|ii}
i=1 , denotaremos por
B = {|xi}xR
uma base de . Entao se |i e uma funcao generalizada, nessa base teremos
hx|i
= (x).
Dizemos entao que (x) sao as coordenadas de |i na base {|xi}xR .
Obs.: rigorosamente deveramos falar da base {|xi}xR do espaco . Entretanto, como
vimos acima, podemos associar a cada bra hx| um ket |xi .
A decomposicao de um ket |i na base {|xi} pode ser facilmente obtida. Seja {|f i} ,
entao
Z
h|(f i) = h|f i =
(x)f (x)dx
Z
=
hx|i hx|f i dx
Z
=
h|xi hx|f i dx
Z


=
h|xi hx| dx |f i .

CAPITULO 2.

10

INFINITA
ESPAC
OS VETORIAIS DE DIMENSAO

Donde podemos escrever:

hx| =
ou alternativamente
|xi =

dx h|xihx|

dx hx|i |xi =

(x) |xi dx.

Compare com o caso separavel

|f i =

X
i

hi|f i |ii =

X
i

fi |ii .

O produto interno entre duas distribuicoes |i e |i e:

Z
h|i =
(x)(x)dx
Z

=
h|xihx|i dx

Z
= h|
|ihx| dx.

Donde

|xihx| dx = I

e a relacao de completeza da base contnua.

Tomando agora o produto interno de |i com outro elemento da base |x i , temos
Z

hx |i =
hx | ((x) |xi)dx

ou

(x ) =

(x) hx |xi dx,

donde concluimos que

hx |xi = (x x ).

relacao de ortogonalidade da base{|xi}x .

Dizemos entao que a base {|xi} e normalizada a uma delta de Dirac. (Compare com o caso
discreto hi|ji = ij ).
Em particular podemos escrever o ket |xi na propria base {|xi} :
Z
Z

|xi = dx |x ihx |xi = (x x ) |x i dx .

Compare com |ii =

ij |ji .

2.5. OPERADORES EM ESPAC

OS DE HILBERT

11

Observa
c
ao. Tecnicamente ha uma diferenca entre os kets |xi e os bras hx| . Como mensionado hx| , ou seja, hx| e um funcional linear hx|i definido por
hx|f i = f (x), |f i .
Por outro lado |xi representa um funcional antilinear h|xi definido por
hf |xi = f (x), |f i .
A antilinearidade de |xi decorre da antilinearidade do produto interno:
hf + g|xi = f (x) + g (x)
= hf |xi + hg|xi .
O espaco dos funcionais antilineares definidos em e denotado por . Ou seja,
: espaco dos funcionais lineares
: espaco dos funcionais antilineares
Assim rigorosamente temos
hx| e

|xi .

O mesmo valendo para distribuicoes genericas h|

h| e

|i .

Entretanto, claramente temos que

= .
Em face desse isomorfismo vamos nos referir tanto aos bras hx| quanto aos kets |xi como
distribuicoes. Em particular vamos considerar os kets generalizados |xi como elementos do
mesmo espaco dos bras hx| , ou seja, , quando na verdade os kets |xi sao elementos do
espaco .

2.5

Operadores em Espacos de Hilbert

Vimos que em um espaco de Hilbert separavel, i.e., com uma base discreta {|ii}
i=1
um operador A pode ser definido (representado) por uma matriz cujos elementos da base
especificam a acao de A sobre os elementos da base, ou seja, se
|vi A |ui

12

CAPITULO 2.

INFINITA
ESPAC
OS VETORIAIS DE DIMENSAO

entao contraindo com hi| e inserindo a relacao

X
j=1

entre A e |ui segue que

|jihj| = I

hi|A|ui = hi|vi
hi|A I|ui = hi|vi
X
hi| A
|jihj|ui = hi|vi
j

X
j

hi|A|jihj|ui = hi|vi
X

Aij vj = u;

que e a regra usual de multiplicacao de matriz por vetor.

Consideremos agora um operador K atuando em um espaco de Hilbert nao separavel, ou
seja, com uma base contnua. Seja entao
|gi = K |f i .
Vamos encontrar as coordenadas de |gi na base {|xi}. Repetindo o procedimento anterior,
teramos
hx|gi = hx|K|f i = hx|K I|f i

Z b

= hx| K
|x ihx | dx |f i
a

g(x) =

Kxx f (x )dx ,

()

onde Kxx hx|K|x i representam os elementos de matriz do operador K na base contnua

{|xi}x .
Obs.: poderamos introduzir uma notacao matricial com ndices contnuos para representar
um vetor |f i e um operador K :

|
|f i = f (x) : vetor coluna com ndice contnuo

2.5. OPERADORES EM ESPAC

OS DE HILBERT

13

f (x) : vetor linha com ndice contnuo

|
|f i = Kxx : matriz com ndices contnuos

|f i =

A notacao acima nao nos ajuda muito do ponto de vista pratico, mas ilustra a passagem da
base discreta para a base contnua.
Se o operador e local entao o valor dele ja depende do ponto x considerado (e nao da sua
vizinhanca). Nesse caso devemos ter
Kxx = 0, x 6= x .
Logo a contribuicao de Kxx para a integral em () provem apenas do ponto x = x. Portanto
Kxx deve ter um valor infinito para que essa contribuicao seja nao nula:

0 , x 6= x
Kxx =
, x = x
Em resumo os elementos de matriz de K devem ter a forma de funcoes delta de Dirac:
Kxx L(x)(x x ),
onde L(x) e as vezes dito a representacao do operador K na base |xi . Inserindo a expressao
acima em (), temos
Z
g(x) = L(x)(x x )f (x )dx
ou
g(x) = L(x)f (x).
Em geral L(x) sera um operador diferencial envolvendo o operador derivada d/dx e suas
potencias. Nesse contexto a equacao L(x)f (x) = g(x) representa uma equacao diferencial a
ser resolvida (se L e g forem conhecidos).
Quando lidamos com operadores (diferenciais) atuando em um espaco de Hilbert, uma
grande classe de novos problemas surgem. POr exemplo, pode ser que a funcao Lf (x) nao
seja de quadrado integravel, ou seja
|Lf (x)|2 = hg|gi = .
Nesse caso dizemos que o operador nao e limitado, no sentido de que sua acao em um vetor
|f i de norma finita (|f i H) produz um vetor de norma infinita. Da mesma forma, a
questao do calculo dos autovalores e autovetores de um operador e uma quastao delicada,
particularmente se o operador for ilimitado.
Apos a introducao acima, passamos a algumas definicoes e resultados sobre operadores
limitados em um espaco de Hilbert.

CAPITULO 2.

14

INFINITA
ESPAC
OS VETORIAIS DE DIMENSAO

Definic
ao 2.5 (Operadores limitados). Um operador A em um espaco de Hilbert H e dito
limitado se existir um n
umero C > 0 tal que
|A |f i | < C|f |, |f i H.
Definimos entao a norma |A| do operador como o menor dos C acima, ou seja,


A |f i
|A| = sup
|f |
|f i6=0
ou de maneira alternativa
|A| = sup {A |f i} .
|f |=1

Se |A| < o operador e dito limitado;

Se |A| = o operador e dito ilimitado.
Uma caracterizacao de operadores limitados vem do seguinte resultado.
Teorema 2.4. Um operador A e limitado se, e somente se, ele leva vetores de norma finita
em vetores de norma finita.
Exemplo 2.4 (Operador deslocamento `a direita). Considere o espaco C , entao

v1
v2

.
X
.
|vi |2 < .
|V i = . , com

i=1
vn
..
.
Uma base de C e |i conforme vimos:

|1i = , |2i =

..
.

0
1
0
..
.

0
..

, , |ni = 1 ,

0
..
.

Defina o operador
A |ii = |i + 1i .
Entao
|V i A |V i = A

X
i=1

vi |ii =

X
i=1

vi |i + 1i ,

15

2.5. OPERADORES EM ESPAC

OS DE HILBERT
ou seja

|V i =

0
v1
v2
0
..
.

facil verificar que esse operador e linear. Alem disso, A e obviamente limitado, de fato A
E
preserva a norma:
|A |V i | = |V |, logo |A| = 1.

2.5.1

Decomposi
c
ao Espectral de Operadores

Em mecanica quantica e fundamental conhecermos o espectro de autovalores de certos

operadores atuando em um espaco de Hilbert). Em particular, gostaramos de saber se os
autovetores de um dado operador hermiteano define uma base de espaco, e se essa base e discreta ou contnua. Essas sao questoes complicadas de analise funcional que nao abordaremos
aqui. Tentaremos, contudo, apresental alguns resultados importantes de mdo resumido.
Teorema 2.5. O espectro de autovalores de um operador limitado e um subconjunto
compacto (i.e., fechado e limitado) de C.
Isso garante que os autovalores dos operadores limitados sao n
umeros finitos. De maneira reversa, operadores nao limitados frequentemente possuem um espectro ilimitado de
autovalores. Como exemplo desse u
ltimo caso considere o operador posicao X atuando em
um espaco apropriado. A equacao de autovalor e
X |xi = x |xi .
Logo os autovalores x de X ocupam toda a reta real: x (, ).
Um resultado importante pode ser obtido para operadores hermiteanos limitados e que
satisfazem uma condicao a mais de regularidade, qual seja,

X
X

 X
T r(A A) =
i|A A|i =
hAi|Aii =
|A |ii |2 < .

i=1

i=1

i=1

Operadores com essa propriedade sao ditos operadores de Hilbert-Schmidt e tambem sao
ditos operadores compactos.
Teorema 2.6. Seja um operador hermiteano compacto em um espaco de Hilbert H. Ent
ao
possui um conjunto discreto de autovalores i que pode ser ordenado em ordem decrescente
de modulo, ou seja
|1 | > |2 | > |3 | > > |i | > |i+1 | > ,

16

CAPITULO 2.

INFINITA
ESPAC
OS VETORIAIS DE DIMENSAO

e
lim i = 0.

Alem disso, os autovetores |i i sao multuamente ortogonais e vale a seguinte decomposicao

espectral

X
=
i Pi , Pi = |i ihi | .
i=1

Exemplo 2.5. O operador hamiltoniano do atomo de hidrogenio.

Corol
ario 2.2. Se e um operador hermiteano compacto em um espaco de Hilbert H, ent
ao
os autovetores de constituem uma base ortonormal de H.
Observa
c
ao. Se eliminarmos a exigencia de capacidade (mas mantermos a exigencia de
ser limitado), entao em geral os autovalores do operador serao contnuos (e nao discretos)
mas estarao limitados dentro de um subconjunto de C. No caso de operadores infinitos, entao
os autovalores terao uma parte contnua que nao sera, em geral, limitado. Por exemplo, se
considerarmos o hamiltoniano do atomo de hidrogenio, mas permitirmos funcoes de onda
que nao decaiam suficientemente rapido no infinito, ou seja, permitirmos o caso de estados
nao ligados, entao o espectro de energia possui uma parte contnua:
H |i = E |i ,

E>0

e ilimitada pois E pode em princpio assumir qualquer valor positivo.

O teorema da decomposicao espectral vale para operadores nao compactos. Entretanto
vamos assumir que os operadores relevantes da mecanica quantica que possuem espectros
contnuos admitem uma decomposicao espectral onde somatoria e substituda por uma integral. Ou seja, se e um operador hermiteano com espectro contnuo:
|i = |i ,
entao admite a decomposicao
=
ou
=

P d

|ih| d,

onde a integral da-se sobre o possvel intervalo para os autovalores .

Em particular, se possuir um espectro com parte discreta (que se acumula em 0) e uma
parte contnua, teremos
Z

X
=
i |i ihi | + |ih| d.
i=1

2.6. EXERCICIOS

2.6

17

Exerccios

1. Seja = P C [x] o espaco de polinomios com coeficientes complexos na variavel real x,

restrita ao intervalo x [1, 1], e defina o produto interno da maneira usual
Z 1
hp(x)|q(x)i =
p (x)q(x)dx.
1

Aplicando o processo de ortogonalizacao de Gram-Schimdt a` base canonica B = {xn },

n = 0, 1, 2, ..., obtenha explicitamente os tres primeiros elementos p0 (x), p1 (x) e p3 (x)
da base ortonormal correspondente. A que famlia de polinomios ortogonais corresponde essa base?
2. Operadores posicao e momento linear na representacao de Schrodinger. Considere os
operadores X e P = ~i D, definidos na base |xi por
X[(x)] hx|X|i = xhx|i = x(x),
d
d
hx|i =
(x).
dx
dx
a) Mostre que [D, X] = 1 e que, portanto, [X, P ] = i~.
b) Mostre que o momento linear P e o gerador das translacoes no sentido de que
D[(x)] hx|D|i =

eiaP/~ (x) = eaD (x) = (x + a).

c) Generalize a relacao acima para o caso tridimensional, ou seja, mostre que
~

ei~aP /~ (~x) = e~aD (~x) = (~x + ~a).

3. O objetivo desse exerccio e mostrar o resultado inverso daquele obtido na questao
anterior, ou seja, que a relacao de comutacao [X, P ] = i~ implica que P e o gerador
d
na base |xi.
das rotacoes e que o mesmo pode ser escrito da forma P = i~ dx
a) Mostre por inducao que [P n , X] = i~nP n1 .
b) Considere agora o operador unitario Ua = eiaP/~ . Mostre que [Ua , X] = aX. Sugestao: expanda a exponencial em serie de Taylor.
c) Usando o resultado do item anterior, mostre que a acao de Ua sobre os autovetores
|xi do operador X e tal que
X [Ua |xi] = (x a)Ua |xi .
Conclua entao que Ua |xi = |x ai . Sem calculos adicionais, verifique que Ua |xi =
|x + ai , onde Ua = eiaP/~ .
d) Obtenha agora a acao de Ua sobre um vetor |i na base |xi, ou seja, calcule
Ua [(x)] hx|Ua |i .

18

CAPITULO 2.

INFINITA
ESPAC
OS VETORIAIS DE DIMENSAO

e) Mostre, por fim, que a acao do operador P na base |xi e definida por
P [(x)] =

~ d
(x).
i dx

Sugestao: expanda ambos os lados da equacao obtida no item anterior para a pequeno.
4. a) Refaca o problema anterior considerando agora a acao de X na base dos autovetores
|pi de P . Em particular, conclua que
Upo |pi = |p + p0 i ,
onde Up0 = eip0 X/~ .
b) Mostre que os operadores X e P sao conjugados um do outro no sentido de que a
acao de um deles sobre vetores expressos na base do outro e essencialmente a mesma,
ou seja,
d
d
P hx|f i = i~ hx|f i e X hp|f i = i~ hp|f i.
dx
dp
5. Generalize o resultado do problema anterior para o caso de dois operadores arbitrarios
e que satisfazem a relacao [, ] = 1, ou seja, obtenha [f ()] h|f i e
[f ()] h|f i .
6. Operador posicao e momento na representacao de Heisenberg (notacao matricial).
Mostre que na base canonica B = {xn } os operadores X e D sao dados pelas matrizes infinitas

0 0 0 ...
0
1
0
0
...
1 0 0 ...
0 0 2 0 ...

D=
X=
0 1 0 ...
0 0 0 3 ...
0 0 1 ...
...
...
Verifique explicitamente a relacao de comutacao entre as matrizes abaixo [D, X] = 1.
7. Seja = S o espaco de Schwartz, constitudo das funcoes que vao a zero no infinito mais
rapido que qualquer lei de potencia, e considere o operador vetor de onda K = iD
(ou alternativamente K = P/~) e seus autovetores
K |ki = k |ki .
a) Obtenha as autofuncoes k (x) hx|ki correspondendo aos autovetores |ki de K
expressos na base {|xi}. Mostre que para satisfazer a condica
o de ortonormalidade,

hk |ki = (k k ), devemos escolher a normalizacao k (0) = 1/ 2.

2.6. EXERCICIOS

19

b) Em que espaco vivem as autofuncoes k (x)?

c) Seja f (x) = hx|f i e f(k) = hk|f i as componentes de |f i nas bases {|xi}
e {|ki}, respectivamente. Expresse f(k) em termos de f (x), e vice-versa. Comente
sobre a relacao entre essas duas funcoes.
d) Em particular, mostre, sem calcular nenhuma integral, a relacao de Parseval
Z
Z
2
|f (x)| dx =
|f(k)|2 dk.

8. A partir do resultado do problema anterior obtenha as autofuncoes p (x) = hx|pi do

operador momento linear P na base {|xi}, onde P |pi = p |pi. Determine a normalizacao apropriada de modo a satisfazer a relacao de ortonormalidade hp |pi = (p p ).
9. Como mencionado em sala, o oscilador harmonico e o sistema fsico representado pelos
operadores X, P e H, onde
P2
1
H=
+ m 2 X 2 .
2m 2
Determine as relacoes de comutacao [X, H] e [P, H] e mostre que os tres operadores
acima (acrescido do operador identidade I) definem uma algebra (ou seja, o conjunto
e fechado sob operacao de comutacao).
10. Em uma certa base, os operadores
matrizes infinitas abaixo

1 0
0
0
1 0
r
2 0
~
0 2 0 3
X=

2m 0
0
3 0

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

X e P para o oscilador harmonico sao dados pelas

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

P = i

m~

1
0 ...
0

0
1
0
2 0 ...

0
3 ...
0
2

0
0
3 0 ...
..
..
..
.. . .
.
.
.
.
.

a) Verifique que matrizes acima satisfazem a relacao de comutacao [P, X] = i~.

b) Calcule X 2 e P 2 , e mostre que o operador hamiltoniano
1
P2
+ m 2 X 2
2m 2
corresponde a uma matriz diagonal. Determine dessa forma as autoenergias En do
sistema.
H=

11. Seq
uencias de funcoes. Mostre que as seq
uencias de funcoes n (x) abaixo convergem
fracamente (ou seja, no sentido de distribuicoes) para a funcao generalizada delta de
Dirac (x), ou seja,
Z
f rac.
n (x) (x)
lim
n (x)f (x)dx = f (0).
n

20

CAPITULO 2.

INFINITA
ESPAC
OS VETORIAIS DE DIMENSAO

n
2 2
a) n (x) = en x .

b) n (x) =

1
n
.
1 + n2 x2

Sugestao: Faca uma mudanca de coordenadas apropriada, tome o limite n dentro

da integral e depois calcule a integral resultante.
12. Mostre as seguintes identidades (no sentido de distribuicoes) 
d
1, x > 0
a)
(x) = (x), onde (x) e a funcao de Heaviside: (x) =
0, x < 
0
dx
d
1, x > 0
(x) = sgn(x), onde (x) = |x| e sgn(x) e a funcao sinal: sgn(x) =
b)
1,
x<0
dx

13. Operador de Deslocamento `a Direita. Seja o espacoP

C formado por sequencias |V i =

2
(v1 , v2 , ..., vn , ...) de quadrado somavel, ou seja,
i=1 |vi | < . Como vimos em
P

sala, C dotado do produto interno hU|V i = i=1 ui vi e um espaco de Hilbert, com

uma base canonica dada por {|ei i}
i=1 , com |e1 i = (1, 0, 0, ...), |e2 i = (0, 1, 0, ...), etc.
Considere agora o operador definido por
|V i = (0, v1 , v2 , ..., vn , ...),
ou seja, desloca as coordenadas do vetor original para a direita e insere um zero na
posicao inicial.
a) Verifique que e um operador linear.
b) Mostre que o operador e limitado. Mais exatamente, mostre que a norma de e
unitaria, ou seja, || = 1.
c) Mostre que nao possui autovalores. Sugestao: suponha o contrario e chegue a
uma contradicao.
d ) Nesse caso definimos o espectro de como o conjunto de valores para os quais
o operador I nao e inversvel, ou seja, isso e o quivalente a dizer em espaco de
dimensao finita que det( I) = 0. Mostre que o operador I nao e inversvel
para para 0 < || < 1. (Sugestao: suponha o contrario, logo deve existir um vetor |V i
tal que ( I) |V i = |e1 i; mostre entao que isso leva a uma contradicao pois, para
|| < 1, tal vetor |V i nao seria de quadrado somavel.) Isso demonstra que, mesmo
nao possuindo autovalor, o espectro de existe, e contnuo, mas limitado (de fato,
corresponde ao interior do crculo unitario) como deveria ser para um operador limitado. [Operadores nao limitados, por outro lado, como os operadores X e P , em geral
possuem espectro contnuo nao limitado.]