Você está na página 1de 12

F689

Aula 09

Soluo da equao de autovalor


Na aula passada mostramos que a equacao de autovalor, A| i = | i, poderia

ser re-escrita com auxlio de uma base completa, {|ui i}, com dimens
ao finita N
8
>
<hui |uj i = ij ! ortonormalidade
(para facilitar), desde que respeitasse
>
: PN
i |ui ihui | = 11 ! completeza.
Primeiro, projetamos a equacao em |ui i, isto e:

hui |A| i = hui | i. Depois,

usamos o operador unidade para obter:


hui |A11| i =

N
X
j

hui |A|uj i huj | i = hui | i )


| {z }
| {z } | {z }
Aij

cj

ci

N
X

Aij

ij

cj = 0.

z
}|
{
equac
ao linear e homogenea

O sistema de equacoes acima tem uma solucao trivial. Qual? Que tal, cj = 0 8 j.

Qual e a condicao para uma solucao nao trivial? ) det A


I = 0, onde A e
uma matriz cujo elemento e Aij . Essa e a equac
ao caracterstica do sistema.

Esse determinante e uma equacao de ordem N em . Consequentemente, possui


(
reais ou complexas
N razes
) Seria a equac
ao caracterstica independente
iguais ou distintas
MAPLima

da representacao escolhida? No proximo slide mostraremos que sim.

F689
Soluo da equao de autovalor
Aula 09 Digamos que para resolver a equac
ao de autovalor, A| i = | i, tivessemos

escolhido outra base completa, {|tk i}, com mesma dimens


ao finita N, mas
8
>
<htk |t` i = k` ! ortonormalidade
respeitando
) Seguindo os passos que
>
: PN
` |t` iht` | = 11 ! completeza.
executamos para a base {|ui i}, teramos:
N
X
`

htk |A|t` i ht` | i = htk | i )


| {z } | {z }
| {z }
(t)
Ak`

(t)
c`

(t)
ck

N
X
j

(t)

Ak`

k`

nova equac
ao caracterstica
z
}| {
(t)
c` = 0 ) det A(t)
I =0

z
}|
{
equacao linear e homogenea na nova base

Colocamos o super-escrito (t) para lembrar que todos os elementos est


ao escritos
em uma nova base. Nesse ponto ainda nao sabemos se o conjunto de

continuara o mesmo. Para continuar, lembre que sabemos mudar de base.


X
htk |A|t` i =
htk |ui ihui |A|uj ihuj |t` i ! A(t) = S AS com S S = I
ij

MAPLima

Assim a nova equacao caracterstica, det A(t)


I = 0 poderia ser escrita por

det S AS
S S = 0 ) det S (A I)S = 0 ) det S det A I det S = 0, ou

ainda, det S S det[A I = 0 ! det[A I = 0 a equac


ao de {|ui i}.

F689
Aula 09

Soluo da equao de autovalor


0

Consequencia importante: As razes


Estas razes, os

s independem da escolha da representac


ao.

s, s
ao os autovalores do operador A.

Determinacao dos autovetores.


Seja

um autovalor de A. Vamos achar o(s) autovetor(es) correspondente(s).

Trataremos separadamente o caso de um autovalor nao-degenerado (raiz simples)


e o caso degenerado (m
ultiplas razes iguais).
Caso (1).

e uma raiz simples da equac


ao caracterstica. Chame-a de

Gracas a imposicao da equacao caracterstica, o sistema

N
X

Aij

0 ij

0.

cj

0)

=0

Quantas variaveis desconhecidas? N ! cj 0 j = 1, N ;


e linearmente dependente
Quantas equacoes linearmente independentes? N 1.
Colocamos um sobrescrito (

0)

nos cj

respeito e o autovetor cujo autovalor e

0)

para lembrar o vetor que eles dizem


0.

Como temos apenas N

1 equacoes

linearmente independentes, podemos solucionar esse sistema e obter N 1 dos c0j


em funcao do Nezimo coeficiente (escolha arbitraria). O Nezimo coeficiente sera
escolhido pela condicao de normalizacao. Vamos escolher Nezimo = 1 e realizar
MAPLima

uma troca de variaveis c0j = j0 c01 com 10 = 1 (N 1 inc


ognitas).

Soluo da equao de autovalor

F689
Aula 09

Com essa escolha, teremos o autoket |


por: |

0
0 (c1 )i

X
j

c01 j0 |uj i

c01

X
j

0
0 (c1 )i

X
j

j0 |uj i

c0j |uj i que pode se reescrito

c01 | 0 i

com |

0i

X
j

Note que a arbitrariedade, ate entao, de escolha do c01 faz todos os |

j0 |uj i.
0
0 (c1 )i

colineares (eles diferem entre si por uma constante multiplicativa). Ao forcar


h (c01 )|

0
0 (c1 )i

= 1, acha-se |c01 | e esta arbitrariedade se reduz `a uma fase.

Para achar os j0 faca uso da equacao de autovalores do slide anterior usando


os

j0 ,

isto e:

N
X

Aij

(
0 ij cj

que pode ser reescrita por

N
X

j=2

0)

Aij

=0 )

N
X

Aij

0 ij

0
0 ij j =

Ai1

j0 c0

0 i1

0)

= 0,

10 , um sistema de

produz N equac
oes, pois i = 1, ..., N.

N 1 equacoes L.I., nao-homogeneas (uma delas e ignorada, pois e combinacao


linear das outras) com N 1 incognitas (lembre que 10 = 1). Realize os passos
usuais (algebra linear) para resolver esse sistema e encontre j0 (j = 2, ...N ).
Esse procedimento pode ser aplicado para
MAPLima

todos os autovalores n
ao-degenerados.

F689
Aula 09

Soluo da equao de autovalor


Caso (2).

e uma raiz m
ultipla de ordem 2 da equac
ao caracterstica.

Chame-a, novamente, de

0.

Estudaremos so o caso onde A e Hermiteano.

No caso anterior, o caso nao-degenerado, foi possvel obter uma solucao n


ao
trivial, impondo dependencia linear entre as N equac
oes. Isso resultou em
um sistema de N 1 equacoes linearmente independentes. Na situac
ao com
um autovalor

bi-degenerado, e possvel mostrar que neste caso teramos

N 2 equacoes linearmente independentes.


Isso permite que os c0j sejam escritos em termos de dois deles, por exemplo,
c01 e c02 . Uma troca de variaveis agora seria c0j =
e

0
0
2 = 1 =0.

Suponha

As variaveis

c02
c01

= 0 e ache
= 0 e ache

0
j
0
j
0
j

0
j

0 0
j c1

0 0
j c2 ,

com

0
0
1 = 2 =1

podem ser encontradas da seguinte forma:


0

! (N 2) s, pois
! (N 2) 0 s, pois

componente |u1 i presente e |u2 i ausente


0
0
1 =1 e 2 =0
0
0
1 =0 e 2 =1
componente |u1 i ausente e |u2 i presente

Todos os autovetores associados com 0 tomam a forma:


X
X
X
0 0
0
0 0
0 0
| (c1 , c2 )i =
cj |uj i =
j c1 |uj i +
j c2 |uj i que pode ser reescrito
j

|
MAPLima

(c01 , c02 )i = c01

X
j

0
0
j |uj i+c2

X
j

tem componente |u2 i mas n


ao |u1 i

0
0 0
0 0
| 10 i e | 20 i nao colineares
|u
i
=
c
|
i+c
|
i
j j
1 1
2 2
tem componente |u1 i mas n
ao |u2 i

| (c01 , c02 )i ) constitui um espaco vetorial bi-dimensional.

F689
Observveis
Aula 09 Quando A
e Hermiteano, e se a multiplicidade da raiz

for q, existem (N q)

equacoes linearmente independentes e q vetores L.I. com autovalor

0.

Assim, para um operador A, Hermiteano, caso a dimens


ao do espaco seja N, e
possvel afirmar que existem N autovetores linearmente independentes.

Para operadores nao Hermiteanos, isso pode n


ao ser verdade (A pode ate n
ao
ser diagonalizavel).

Observ
aveis.
Algumas propriedades dos autovetores e autovalores de operadores Hermiteanos:
Os autovalores de um operador Hermiteano sao reais.

h |A| i = h | i ) h |A| i = h |A | i = h |A| i? ) ) h |A| i e real.

Como h | i tambem e real, conclumos que


(
A| i = | i ) h |A = h | ?
implicacoes
mas, como A = A e ? =

Conclusao:

e real.

=) temos ) h |A = h |

se | i e autoket de A com autovalor , ent


ao h | e autobra de A
com o mesmo autovalor.

Note que 8 |'i 2 E, temos h |A|'i = h |'i ) sera u


til!
MAPLima

F689
Observveis
Aula 09 Os autovetores de um operador Hermiteano, correspondendo a 2 autovalores

diferentes, sao ortogonais.


8
>
<A| i = | i
Suponha
! do que aprendemos ate agora, podemos escrever:
>
:
A|'i = |'i
ortogonais
z }| {
h'|A| i = h'| i = h'| i =) (
)h'| i = 0 =) Se 6= , h'| i = 0 .

Preparativos para uma definic


ao matem
atica de uma observ
avel.

Quando E tem dimensao finita, vimos que e sempre possvel formar uma base
com autovetores de um operador Hermiteano. Considere agora uma base de
dimensao infinita, porem discreta.
Seja gn , o grau de degenerescencia de um autovalor an ) A|
Isto implica que i = 1, ...gn e que para i 6= i0 , |

i
ni

e|

i0
ni

i
ni

= an |

i
n i.

s
ao L.I.

Ja mostramos que vetores de En (com autovalor an ) sao ortogonais aos de En0


(com autovalor an0 ), pois an 6= an0 =) h

j
i
n | n0 i

= 0 se n 6= n0 . Como s
ao L.I.,

i
n i,
gn
1 X
X

dentro do subespaco En , podemos sempre escolher |


O operador Hermiteano A e uma observavel se:
MAPLima

n=1 i=1

tais que h
i
i
n ih n |

i
j
n | n i = ij .

= 11.

F689
Aula 09

Observveis

Coment
arios
i
j
n | n i = ij ,

Uma vez que h


isso com

gn
1 X
X

n=1 i=1

i
i
n ih n |

podemos definir Pn =

gn
X
i=1

= 11 e conclua que

1
X

i
i
n ih n |.

Compare

Pn = 11.

n=1

Note tambem que APn = an Pn , pois todos os kets que compoem Pn tem o
mesmo autovalor.

Finalmente, aplique as duas observacoes acima em


1
1
1
1
X
X
X
X
A|'i = A11|'i = A
Pn |'i =
APn |'i =
an Pn |'i =
an Pn |'i
n=1

n=1

Como isso vale 8|'i ) A =

1
X

n=1

n=1

a n Pn .

n=1

Vamos aplicar essa definicao em | ni i para ver se esta coerente.


1
1
X
X
A| ni i =
an0 Pn0 | ni i =
an0 nn0 | ni i = an | ni i, onde usamos
MAPLima

Pn 0 |

i
ni

n0 =1
gn 0

i0 =1

n0 =1

i
i
i
n0 ih n0 | n i

gn 0
X

i0 =1

i0
n0 i nn0 ii0

i
nn0 | n i

F689
Mais sobre operador unidade
Aula 09 Alguns operadores Hermiteanos tem espectro contnuo e discreto misturados.

Neste caso

8
>
<A|
>
:

i
ni

= an |

i
n i,

com n = 1, 2, ... e i = 1, ..., gn


Estes kets s
ao

= a()| i, com 1 2
8
i
i0
>
h
|
< n n0 i = nn0 ii0
obtidos de tal forma que h | 0 i = ( 0 )
e a relacao de completeza
>
: i
h n| 0 i = 0
Z 2
gn
1 X
X
| ni ih ni | +
d | ih | = 11 garante que se trata de uma observ
avel.
n=1 i=1

A|

Se levassemos em conta o spin da partcula, a parte contnua tambem poderia


adquirir uma degenerescencia discreta.

Exemplo: considere o projetor P = | ih |, ser


a uma observ
avel?

Ja sabemos que e Hermiteano, P = P e que seus autovalores s


ao 1 ou 0, isto e
8
>
<autovalor = 1 ) |'i = | i
o operador P
>
:
autovalor = 0 ) 8|'i, tal que h |'i

MAPLima

Um ket qualquer |'i sempre pode ser escrito na forma:


|'i = P |'i+(1 P )|'i.

F689
Aula 09

Exemplo (continuao) e Observveis que comutam


Note tambem que P |'i e um autoket de P com autovalor 1, pois
E que (1
(1

P (P |'i) = P 2 |'i = P |'i

P )|'i e um autoket de P com autovalor 0, pois


P )(P |'i) = (P

P 2 )|'i = (P

P )|'i = 0|'i

Como 8 |'i 2 E pode ser escrito em termos de P |'i e (1

P )|'i, podemos

concluir que eles formam uma base e ) P e uma observavel.

Conjunto de observ
aveis que comutam.

Nosso livro texto trata esse assunto de maneira formal com auxlio de teoremas.
(
Se dois operadores A e B comutam, e se | i e um autovetor de A,
Teorema I:
B| i tambem e um autovetor de A com o mesmo autovalor.
Demonstracao:
Se | i e autovetor de A =) A| i = a| i. Aplique B dos dois lados desta

equacao e obtenha BA| i = aB| i. Como [A, B] = 0 ) AB| i = aB| i e


conclua: B| i tambem e autoket de A com o mesmo autovalor a.
Coment
arios

(1) Se a nao e degenerado, todos os autokets associados `a ele sao colineares,


) B| i / | i.

MAPLima

o subespa
co de autokets com autovalor a

(2) Se a for degenerado, B| i e uma combinacao de autovetores de Ea .

10

F689
Observveis
Aula 09 Coment
arios (continuacao):

que Comutam

(3) O subespaco Ea e dito globalmente invariante sob a acao de B.

(4) Note que qualquer combinacao de kets do subespaco Ea e um autoestado de


A com auto valor a. Isso indica que uma determinada combinacao podera
ser autoestado de A e B simultaneamente.
(5) Poderamos ter tratado esse u
ltimo item como um Teorema I:
Se dois operadores A e B comutam, qualquer subespaco de A e globalmente
invariante sob a ac
ao de B.
8
>
<Se duas observaveis A e B comutam, e se | 1 i e | 2 i sao dois
Teorema II: autovetores de A com autovalores diferentes, o elemento de matriz
>
:
h 1 |B| 2 i e zero.
Demonstracao:
Se |

1i

e|

2i

sao dois autovetores de A )

De acordo com o teorema I, B|


MAPLima

garante que |

1i

?|

2 i,

2i

8
>
<A|
>
:

A|

1i

= a1 |

1i

2i

= a2 |

2i

z
e h

}|
{
1| 2i = 0

e autovetor de A com autovalor a2 e isso

pois a1 6= a2 . ) h

1 |B| 2 i

= 0.

11

F689
Observveis
Aula 09 Demonstrac
ao (continuacao):

que Comutam

Uma outra forma de provar o teorema seria:


Primeiro considere que h 1 |[A, B]|
8
>
<h 1 |AB| 2 i = a1 h 1 |B| 2 i
Note
>
:
h 1 |BA| 2 i = a2 h 1 |B| 2 i

2 i = 0, uma

)h

vez que eles comutam, [A, B] = 0.

1 |[A, B]| 2 i

= (a1

a2 )h

1 |B| 2 i

=0

e como o produto precisa ser zero e um dos fatores n


ao e (a1 6= a2 ), conclua que

1 |B| 2 i

Conclus
ao importante:

= 0 se

8
>
<A|
>
:

A|

1i

= a1 |

1i

2i

= a2 |

2i

com a1 6= a2

Se a representac
ao matricial da observ
avel A for diagonal, a representac
ao de B
nesta mesma base ser
a no mnimo bloco-diagonal, onde os blocos ser
ao os
subespacos de autovalores degenerados de A.
MAPLima

12

Você também pode gostar