Escolar Documentos
Profissional Documentos
Cultura Documentos
Mec
anica Qu
antica e a Algebra
Linear
5.1
Espacos Vetoriais
umeros
Consideremos um conjunto V e um corpo K, que pode ser (n
reais) ou (n
umeros complexos). V e um espaco vetorial sobre K se
existirem duas operacoes
+ : V V V
x
y x + y
e
? : K V V
x x
as quais satisfazem as seguintes propriedades, onde x e y pertencem a
V e e a K,
1. x + y = y + x ;
75
76
Captulo 5.
Mec
anica Qu
antica e a Algebra
Linear
2. x + (y + z) = (x + y) + z ;
3. Existe um vetor nulo (0) tal que x + 0 = x ;
4. Para qualquer x em V , existe (x) tal que x + (x) = 0 ;
5. (x) = ()x ;
6. 1x = x ;
7. ( + )x = x + x ;
8. (x + y) = x + y .
Exemplos1 :
1. Seja V o conjunto das n-uplas (x1 , ..., xn ) de n
umeros complexos.
Definindo-se a soma de duas n-uplas e a sua multiplicacao por
um complexo atraves de
(x1 , ..., xn ) + (y1 , ..., yn ) (x + y1 , ..., x + yn ) ,
(x1 , ..., xn ) (x1 , ..., xn ) ,
(5.1)
(5.2)
(5.3)
5.2
77
Operadores Lineares
V W
x T (x)
e dita linear se
1. T (x + y) = T (x) + T (y) ,
2. T (x) = T (x) .
Quando V coincide com W chamamos esta funcao linear de operador
linear .
Exemplos:
1. Mostre que se V = W = n , entao, o operador definido atraves
de
T ((x1 , ..., xn )) = (y1 , ..., yn )
(5.4)
com
yi =
n
X
Tij xj
(5.5)
j=1
5.2.1
Representac
ao Matricial
Uma propriedade u
til dos operadores lineares e que podemos representa-los atraves de uma matriz de dimensao igual `a dimensao do espaco
vetorial. Consideremos o operador linear O que atua no espaco vetorial
78
Captulo 5.
Mec
anica Qu
antica e a Algebra
Linear
V e seja {ei } uma base deste espaco. Tendo em vista que Oei e um
vetor de V podemos escreve-lo na base {ej } como
X
Oei =
Ojiej ,
(5.6)
j
(5.7)
(5.8)
5.3
V V C
x
y hx|yi
79
Exemplos:
1. Para V =
de
n
X
xi yi .
(5.9)
i=1
dn x 1 (x)2 (x) ,
(5.10)
80
Captulo 5.
5.4
Mec
anica Qu
antica e a Algebra
Linear
hx|Ayi = A x|y .
(5.11)
Exemplos:
1. Para V =
n
X
Aij xj
(5.12)
j=1
n
X
Aij T xj ,
(5.13)
j=1
n
X
xi
i=1
n
X
i,j=1
n
X
i,j=1
n
X
xi Aij yj
xi Aij yj
" n
n
X
X
j=1
Aij yj
j=1
Aji T xi
i=1
A x|y .
yj
81
Z +
d
d1
dx
=
[ (x)2 (x)]
(x)2 (x)
dx 1
dx
Z +
d1
(x)2 (x)
=
dx
dx
d
=
1 2
,
dx
onde utilizamos que o primeiro termo da segunda igualdade anulase uma vez que funcoes de quadrado integravel devem anular-se
em .
Propriedades
uteis
As propriedades a seguir sao muito u
teis para a obtencao do hermitiano conjugado de operadores que sao funcoes de p e x, os quais
satisfazem p = p e x = x.
1. (A ) = A. Mostre este fato.
2. (A) = A , onde e um n
umero complexo. De fato:
hx|Ayi = hx|Ayi = A x|y = A x|y .
3. (A + B) = A + B . De fato
hx|(A + B)yi = hx|Ayi+hx|Byi = A x|y + B x|y = (A + B )x|y .
4. (AB) = B A . De fato
hx|AByi = A x|By = B A x|y .
82
Captulo 5.
Mec
anica Qu
antica e a Algebra
Linear
Exemplos:
d
1. Podemos verificar facilmente que p = ~i dx
satisfaz p = p :
~ d
~ d ~ d
=
=p .
=
p =
i dx
i dx
i dx
5.5
Operadores Hermitianos
para quaisquer 1 e 2 . Para o espaco das funcoes contnuas quadraticamente integraveis isto significa que
Z
Z
n
5.5.1
Propriedades
Os operadores hermitianos desempenham um papel central em Mecanica Quantica, por esse motivo e interessante estuda-los mais detalhadamente. Dentre as propriedades dos operadores hermitianos e
conveniente ressaltar as seguintes:
83
hx|Axi = A x|x = hAx|xi = hx|Axi .
Lembre-se do resultado do c
alculo do espectro e das autofuncoes do operador
momento, partcula na caixa e oscilador harmonico.
3
Isto pode ser provado em geral para espacos vetoriais de dimensao finita, todavia
este n
ao e um fato trivial para espacos de dimensao infinita. Em Mecanica Quantica
assumimos que este teorema seja verdadeiro em todos os casos.
84
Mec
anica Qu
antica e a Algebra
Linear
Captulo 5.
Para autovalores distintos sabemos que os autovetores correspondentes sao ortogonais. Entretanto, para os casos em que existe degenerescencia, i.e. quando ha varios autovetores associados ao mesmo
autovalor, a priori nao e garantido que autovetores diferentes sejam
ortogonais entre si. Todavia, neste caso podemos escolher estes autovetores de modo que eles sejam ortogonais entre si. Isto e possvel ja que
uma combinacao linear deste autovetores tambem e um autovetor:
Avai = avai
para i = 1, .., m
(5.17)
entao
A
" m
X
i=1
ci vai
m
X
i=1
Avai
m
X
avai
i=1
=a
m
X
ci vai .
(5.18)
i=1
Este fato possibilita-nos usar os processos de ortogonalizacao conhecidos, com a vantagens de que os novos vetores ainda sao autovetores de
A com autovalor a. Logo, podemos escolher uma base de autovetores
{va } que seja ortogonal.
5.5.2
Normalizac
ao dos autovetores dos operadores
hermitianos
Como acabamos de ver operadores hermitianos dao origem natural interessante agora
mente a uma base ortogonal do espaco vetorial. E
normalizarmos esta base de modo que ela seja ortonormal, ja que isto
nos conduz a uma maior facilidade nos calculos. A normalizacao que
utilizaremos e a seguinte:
Para autovalores do discreto, i.e. para autovalores an que sao
isolados adotamos a seguinte normalizacao
hvan |van i = 1 .
(5.19)
Para autovalores do contnuo, i.e. para autovalores a que possuem outros arbitrariamente proximos de si, adotamos que
E
D
va |va0 = (a a0 ) .
(5.20)
85
Lembre-se que o espectro do operador momento linear, o qual ja analisamos no captulo anterior, e contnuo e que demonstramos para este
caso que a escolha desta normalizacao ou o limite de volume infinito
deste sistema em uma caixa sao equivalentes.
Esta escolha de normalizacao, juntamente com a ortogonalidade de
autovetores distintos, conduz-nos as seguintes relacoes:
hva |va i = n,k ,
D n kE
va |va0
= (a a0 ) ,
van |va = 0 ,
(5.21)
(5.22)
(5.23)
5.5.3
Expans
ao em termos dos {va}
Adotando-se a base gerada pelos autovetores de um operador hermitiano A e as normalizacoes (5.21) e (5.22), a expansao de um vetor
arbitrario pode ser escrita como
=
X
n
can van +
da ca va
(5.24)
ca = va | .
(5.25)
(5.26)
D
E
Para verificarmos a validade das relacoes (5.26) calculemos va0 | ,
86
Mec
anica Qu
antica e a Algebra
Linear
Captulo 5.
+
Z
X
can van + da ca va
va0
n
E
D
E Z
X D
=
can va0 |van + da ca va0 |va
E
va0 =
=
Zn
da ca (a a0 )
= ca0 ,
5.5.4
C
alculo de produtos escalares
87
temos que
+
h|i =
bak vak + da0 ba0 va0
k
Z
D
E
X
=
bak hvak |i + da0 ba0 va0 |
*
bak cak
(5.28)
5.5.5
Express
ao para h|Ai
u
E
til tambem expressar h|Ai em termos das componentes ca de .
Uma vez que a manipulacao e completamente analoga `as precedentes
vamos apenas dar o resultado, sugerindo ao leitor sua demonstracao.
Z
X
2
(5.30)
h|Ai =
an |can | + da a |ca |2
n
5.6
Operadores Unit
arios
(operador identidade)
i.e.
U = U 1 .
88
Captulo 5.
Mec
anica Qu
antica e a Algebra
Linear
hU|Ui = |U U = h|i .
5.7
Notac
ao de Dirac
(5.32)
hA |i velha
5.7. Notac
ao de Dirac
89
onde o subscrito velhaindica que estamos utilizando a notacao adotada anteriormente. Em outras palavras, a acao de um operador dentro de um elemento de matriz ou em um valor esperado da-se pela sua
atuacao no vetor `a sua direita ou pela acao de seu hermitiano conjugado
no vetor `a sua esquerda. Note que no caso de operadores hermitianos
ele pode atuar igualmente no estado a sua direita ou a sua esquerda.
Podemos tornar a notacao muito mais flexvel definindo uma funcao
linear h|, chamada bra, que permite darmos uma interpretacao diferente `as expressoes (5.33) ou (5.34). Dado um vetor |i que pertence
ao espaco vetorial V , associamos a ele a funcao linear h| tal que
h| : V
|i V
h|i ,
(5.35)
(5.36)
(5.37)
(5.39)
90
Captulo 5.
5.7.1
Mec
anica Qu
antica e a Algebra
Linear
Operadores de projec
ao
(5.40)
(5.42)
5.7.2
Consideremos um espaco vetorial de dimensao finita e uma base ortonormal {|ii}. Na notacao de Dirac temos que os elementos de matriz de
um operador O sao dados por, vide (5.6),
X
O|ii =
Oji|ji ,
(5.43)
j
onde
Oji = hj|O|ii ,
(5.44)
91
ij
(5.45)
logo os coeficientes da expansao do vetor O|i na base adotada sao
dados por
X
hi|O|ji hj|i ,
(5.46)
j
5.8
Postulados da Mec
anica Qu
antica
a linguagem da Algebra
Linear. Isto nao so permite entender melhor
os postulados apresentados nos captulos anteriores, mas tambem serve
para generalizar os conceitos introduzidos.
5.8.1
Postulado I
92
Captulo 5.
Mec
anica Qu
antica e a Algebra
Linear
Observac
ao: Existem sistemas na natureza que nao possuem analogos
classicos. Nestes casos devemos escolher tambem qual e o espaco vetorial no qual os nossos modelos estao definidos.
5.8.2
Postulado II
As vari
aveis din
amicas (A) s
ao representadas por operadores lineares e hermitianos (Aop), sendo que m
edias da vari
avel din
amica
A s
ao dadas por
hAi h|Aop|i ,
(5.47)
onde o estado |i deve ser normalizado segundo h|i = 1. 5
O fato de Aop ser hermitiano garante, como foi demonstrado, que as
medias sao n
umeros reais.
Na representacao das coordenadas, por exemplo, temos que
Z
hAi d3 x (x, t) Aop (x, t) .
(5.48)
93
5.8.3
Postulado III
A evoluc
ao temporal do estado do sistema
e dada pela equa
c
ao
de Schr
odinger
i~ |i = Hop|i ,
(5.50)
t
onde Hop
e o operador hamiltoniana do sistema.
Nunca e demais lembrar que a equacao de Schrodinger e determinstica, i.e. o estado em qualquer instante esta completamente determinado a partir do estado inicial. Mais ainda, a forma da equacao
de Schrodinger garante a conservacao de probabilidade, i.e. de h|i
d
h|i =
| + |
dt
t
t
1
1
= h|H|i + h|H|i = 0 ,
i~
i~
onde utilizamos que
1
h| = h|H
t
i~
e que a hamiltoniana e um operador hermitiano.
94
5.8.4
Captulo 5.
Mec
anica Qu
antica e a Algebra
Linear
Postulado IV
O u
nico ponto que ainda nao tratamos anteriormente e o efeito de
natural postularmos que
medidas sobre um sistema. E
Imediatamente ap
os uma medida ter fornecido como resultado a o estado do sistema passa a ser o autovetor correspondente |ai.
Por exemplo, consideremos um oscilador harmonico unidimensional
que no instante t = 0 se encontra no estado
1
= (|0i + |1i) ,
2
(5.51)
5.9
Precis
ao de medidas
(5.53)
(5.54)
5.9. Precis
ao de medidas
95
h|C|i
.
2h| (B hBi)2 |i
(5.57)
~
.
2
(5.59)
(5.60)
96
Captulo 5.
Mec
anica Qu
antica e a Algebra
Linear
Teorema
Podemos medir com precisao absoluta simultaneamente dois observaveis
A e B se e somente se [A, B] = 0.
De fato, se a e B sao medidos simultaneamente com precisao absoluta entao os autovetores de A sao tambem autovetores de B e vice
versa.
Aab = aab
Bab = bab
(5.62)
(5.63)
(5.64)
Como {ab } forma uma base temos que [A, B] = 0. Mostremos agora
que a relacao inversa tambem e verdadeira. Para tanto consideremos
os autovetores de B
(j)
(j)
Bb = bb
com j = 1, . . . , N
(5.65)
(1)
(1)
(5.66)
(1)
97
(5.68)
(j)
N
X
(j)
daj b .
(5.69)
j=1
Como ab e uma superposicao de autovetores de B com o mesmo autovalor b, entao ab tambem e um autovetor de B. Logo, os estados ab
sao autovetores de A e B completando a prova.
5.10
Leitura Adicional