Você está na página 1de 47

Ferramentas Matemticas da Mecnica Quntica

Quantum Mechanics  Concepts and Applications, cap. 3 Nouredini Zetilli 15 de novembro de 2011

1 Introduo
Lidamos aqui com o maquinrio matemtico necessrio ao estudo da mecnica quntica. Embora este captulo seja de escopo matemtico, nenhuma tentativa de ser matematicamente completo e rigoroso feita. Nos limitamos quelas questes prticas que so relevantes ao formalismo da mecnica quntica. A equao de Schrdinger uma das pedras angulares da teoria da mecnica quntica; ela tem a estrutura de uma equao

linear.

O formalismo da mecnica quntica lida com

operadores que so lineares e funes de onda que pertencem a um espao abstrato de Hilbert. As propriedades matemticas e a estrutura dos espaos de Hilbert so essenciais para uma devida compreenso do formalismo da mecnica quntica. Por isso, revisaremos brevemente as propriedades dos espaos de Hilbert e desses operadores lineares. Depois consideraremos a notao

bra-ket

de Dirac.

A mecnica quntica foi formulada de dois modos diferentes por Schrdinger e Heisenberg. A mecnica ondulatria de Schrdinger e a mecnica matricial de Heisenberg so as representaes do formalismo geral da mecnica quntica em sistemas de bases de kets, bras, bra-kets e operadores em bases discretas e contnuas.

contnuas

discretas,

respectivamente. Por isso, tambm examinaremos a matemtica envolvida na representao

2 O Espao de Hilbert e as Funes de Onda


2.1 O Espao Vetorial Linear
Um espao vetorial linear consiste de dois conjuntos de elementos e duas regras algbricas:

um conjunto de vetores uma regra para a

, , ,

. . . , e um conjunto de escalares

a, b, c;
escalar.

adio

vetorial e uma regra para a

multiplicao

(a) Regra da Adio:


abeliano:

a regra da adio tem as propriedades e a estrutura de um grupo

Se

so vetores (elementos) de um espao, sua soma,

+ ,

tambm um vetor

do mesmo espao.

Comutatividade : + = + . Associatividade : ( + ) + = + ( + ).
1

Elemento neutro (ou vetor nulo) : para cada vetor , deve existir um vetor O, do mesmo espao, tal que: O + = + O = . Elemento simtrico (ou vetor inverso) : para cada vetor , deve existir um vetor simtrico ( ), do mesmo espao, tal que: + ( ) = ( ) + = O.

(b) Regra da Multiplicao:


propriedades:

a multiplicao de vetores por escalares

 tem as seguintes

O produto de um escalar por um vetor d um outro vetor. Em geral, se e so dois vetores do espao, qualquer combinao linear a + b tambm um vetor do espao, sendo a e b escalares. Distributividade com relao adio : a ( + ) = a + a , (a + b) = a + b
. (1)

Associatividade com relao multiplicao de escalares : a (b ) = (ab)


Para cada elemento . (2)

deve existir um escalar unitrio

e um escalar nulo  o, tais que: (3)

I = I =

o = o = o .

2.2 O Espao de Hilbert


Um espao de Hilbert de escalares

consiste de um conjunto de vetores

, , ,

. . . , e um conjunto

a, b, c,

os quais satisfazem s seguintes

quatro

propriedades:

(a) H um espao linear.


As propriedades de um espao linear foram consideradas na seo anterior.

(b) H tem um produto escalar denido que estritamente positivo.


O produto escalar de um elemento complexo, denotado por

por outro elemento , em geral, um nmero (, ) = nmero complexo . Nota: cuidado com a ordem! Como o produto escalar um nmero complexo, a quantidade (, ) geralmente no igual a (, ): (, ) = , enquanto que (, ) = . O produto escalar (, ),
onde satisfaz s seguintes propriedades:

O produto escalar de

igual ao complexo conjugado do produto escalar de

:
e

(, ) = (, )

(4)

O produto escalar de

linear com relao ao segundo fator se = a2 + b2 :


, (5)

(, a2 + b2 ) = a (, 1 ) + b (, 2 )
e anti-linear com relao ao primeiro fator se

= a2 + b2 :
. (6)

(a1 + b2 , ) = a (1 , ) + b (2 , )

Escalares podem ser nmeros reais ou complexos

O produto escalar de um vetor

por ele mesmo um nmero real positivo: (7)

(, ) = 2 0 ,
onde a igualdade vale apenas para

= O.

(c) H separvel.
Existe uma sequncia de Cauchy existe pelo menos um

n H (n = 1, 2, . . .) tal que para cada de H e > 0, n < .


(8)

da sequncia para o qual

(d) H completo.
Toda sequncia de Cauchy qualquer

n H

converge para um elemento de

H.

Isto , para (9)

n ,

a relao

n,m
dene um nico elemento

lim n m = 0

de

tal que

lim n = 0 . (, ),
o segundo fator,

(10)

Nota:
no

Deve-se perceber que em um produto escalar

pertence ao

espao de Hilbert A distino entre

H, enquanto o primeiro fator, , pertence a seu espao dual de Hilbert Hd . H e Hd devida ao fato de que, como mencionado acima, o produto escalar comutativo: (, ) = (, ); a ordem importa! Da lgebra linear, sabemos que todo

espao vetorial pode ser associado com um espao vetorial dual.

2.3 Dimenso e Base de um Espao Vetorial


Um conjunto de

vetores no-nulos

1 , 2 ,
N i=1

...,

dito ser

linearmente independente

(LI) se, e somente se, a soluo da equao

ai i = 0

(11)

a1 = a2 = . . . = aN = 0.

Mas se existir um conjunto de escalares, nem todos nulos, tal que

um dos vetores (digamos,

n )

possa ser expresso como uma combinao linear dos outros,

n =
ento o conjunto

n 1 i=1

ai i +

N i=n+1

ai i

(12)

{i }

dito ser

linearmente dependente

(LD).

Dimenso:

dimenso

de um espao vetorial dada pelo

nmero mximo

de vetores LI vetorial

que o espao pode ter. Por exemplo, se o nmero mximo de vetores LI que um espao tem N (isto , 1 , 2 , . . . , N ), esse espao dito ser N -dimensional. Nesse espao N -dimensional, qualquer vetor pode ser expresso como uma combinao linear:

N i=1
3

ai i

(13)

Base:
1 , 2 ,

base

de um espao vetorial consiste de um conjunto contendo o mximo nmero

possvel de vetores LI pertencentes quele espao. O conjunto de vetores notado abreviadamente por ...,

1 , 2 ,

...,

{i },

N ,

de-

chamado de base do espao vetorial, enquanto os vetores

so chamados de vetores da base. Embora o conjunto desses vetores LI seja

arbitrrio, conveniente escolh-lhos como sendo satisfazendo relao ser ser

ortonormal se consistir de completa se gera o espao

(j , j ) = ij ,

onde

ij = 1

se

ortonormais, isto , com produto escalar i = j , e ij = 0 se i = j . A base dita componentes do pelo vetor

um conjunto de vetores ortonormais. Alm disso, a base dita inteiro, isto , se no h necessidade de se introduzir qualquer

vetor de base adicional. Os coecientes vetor de base correspondente ,

ai

na expanso (13) so chamados de

com relao base. Cada componente dada pelo produto escalar de

aj = (j , ).
Vamos dar dois exemplos de espaos lineares

Exemplos de espaos vetoriais lineares:


tendo uma base

que so espaos de Hilbert: um tendo um conjunto

innita (contnua ).
j e k.

nito (discreto ) de vetores de base, o outro

Espao vetorial Euclideano tridimensional: a base deste espao consiste de trs


vetores LI, geralmente denotados por i, os componentes de Qualquer vetor do espao Euclideano pode ser escrito em termos dos vetores da base como

A = a1 i + a2 j + a3 k, onde a1 , a2

a3

so e

nessa base, e cada componente pode ser determinada tomando-se

o produto escalar de

pelo vetor de base correspondente:

a3 = k A.

a1 = i A, a2 = j A

Note-se que o produto escalar no espao Euclideano real e, portanto,

simtrico. A norma nesse espao o comprimento usual de vetores: tambm que sempre que vetores unitrios i,

a1 i + a2 j + a3 k = 0,

temos

A = A. Note-se a1 = a2 = a3 = 0, e nenhum dos (x):


a dimenso desse espao

j, k

pode ser expresso como combinao linear dos outros dois.

Espao vetorial das funes complexas inteiras

innita, pois ele tem um nmero innito de vetores de base LI.

2.4 Funes Quadrado-Integrveis: Funes de Onda


No caso de espaos de funes, um vetor dado por uma

escalar
por

dado por

integrais.

Ou seja, o produto escalar de duas funes

funo complexa e o produto (x) e (x) dado


(14)

(, ) =

(x) (x) dx .

Se essa integral

diverge,

o produto escalar

no existe.
(x)

Resulta que se quisermos que o espao

de funes tenha um produto escalar, devemos selecionar apenas aquelas funes para as quais

(, )

seja

escalar de

nito. Em particular, consigo mesma,

uma funo

dita ser

quadrado-integrvel

se o produto

(, ) = | (x)|2 dx ,
(15)

for

nito.
( (j , ) = j ,
N i=1

) ai i =

n i=1

ai (j , i ) =

n i=1

ai ij = aj

fcil vericar que o espao das funes quadrado-integrveis possui as propriedades de um espao de Hilbert. Por exemplo, qualquer combinao linear de funes quadrado-integrveis tambm uma funo quadrado-integrvel e (14) satisfaz a todas as propriedades do produto escalar de um espao de Hilbert. Note que a dimenso do espao de Hilbert das funes quadrado-integrveis innito, j que cada funo de onda pode ser expandida em termos de um nmero innito de funes LI. A dimenso de um espao dada pelo nmero mximo de vetores de base LI necessrios para gerar aquele espao. Um bom exemplo de funo quadrado-integrvel a tica, denotada por Max Born, a partcula em

funo de onda da mecnica qun (r, t). De acordo com a interpretao probabilstica de (r, t), dada por 2 3 quantidade | (r, t)| d r representa a probabilidade de encontrar, no tempo t, a 3 um volume d r , centrado no ponto r. A probabilidade de encontrar a partcula
| (r, t)| d r =
3 2

em algum lugar do espao deve ser igual a 1:

+ + +

| (r, t)|2 dx dy dz = 1 .

(16)

Portanto, as funes de onda da mecnica quntica so quadrado-integrveis. onda que satisfazem a (16)

Funes de

3 Notao de Dirac
O estado fsico de um sistema representado na mecnica quntica por elementos de um espao de Hilbert; esses elementos so chamados de

vetores de estado.

Podemos representar

os vetores de estado em diferentes bases por meio de expanses de funes. Isto anlogo a especicar um vetor ordinrio (Euclideano) por suas componentes em vrios sistemas de coordenadas. Por exemplo, podemos representar equivalentemente um vetor por suas componentes num sistema de coordenadas cartesianas, num sistema de coordenadas esfricas, ou num sis-

O signicado de um vetor, obviamente, independente do sistema de coordenadas escolhido para representar suas componentes. Similarmente, o estado
tema de coordenadas cilndricas. de um sistema microscpico tem um signicado independente da base na qual expandido. Dirac introduziu uma notao para vetores de estado extremamente valiosa na mecnica quntica; ela permite manipular o formalismo da mecnica quntica com facilidade e clareza. Ele introduziu os conceitos de

bras, kets

bra-kets,

que sero explicados abaixo.

Kets: elementos de um espao vetorial


Dirac denotou o vetor de estado ao espao ket.

pelo smbolo

| ,

que denominou de um vetor

plesmente, um ket. Os kets pertencem ao espao (vetorial) de Hilbert

H,

ket,

ou, sim-

ou, abreviadamente,

Bras: elementos de um espao dual


Como mencionado anteriormente, sabemos da lgebra linear que um espao dual pode ser associado a cada espao vetorial. Dirac denotou os elementos de um espao dual pelo smbolo

bra, ou simplesmente bra. Por exemplo, o elemento | representa um bra. Para cada ket | existe um nico bra | e vice-versa. Enquanto os kets pertencem ao espao de Hilbert H, os correspondentes bras pertencem a seu espao dual de

|, que ele denominou de vetor

Hilbert

Hd . |, que | :

Bra-ket: notao de Dirac para o produto escalar


Dirac denotou o produto escalar (ou interno) pelo smbolo exemplo, o produto escalar

chamado de

bra-ket.

Por

(, )

denotado pelo bra-ket

(, ) | .

(17)

Nota:

Quando um ket (bra) multiplicado por um nmero complexo, tambm obtemos um

ket (bra). Na mecnica quntica lidamos com funes de onda da mecnica quntica lidamos com kets abstratos

(r, t),

mas no formalismo mais geral

| .

Funes de onda, assim como kets, so

elementos de um espao de Hilbert. Deve-se notar que, assim como uma funo de onda, um ket representa completamente o sistema, e portanto conhecer

signica conhecer todas as

suas amplitudes em todas as possveis representaes. Como foi dito, kets so independentes de qualquer representao particular. No h razo para particularizar uma base de representao tal como se faz no espao de posio. Obviamente, se quisermos saber a probabilidade de encontrar a partcula em alguma posio no espao, precisamos desenvolver o formalismo dentro da representao de coordenadas. O vetor de estado dessa partcula no tempo dado pela funo de onda espacial produto escalar

ser

r, t| = (r, t).

Na representao de coordenadas, o

dado por

| = |

(r, t) (r, t) d3 r

(18)

Similarmente, se estivermos considerando o momento tridimensional de uma partcula, o ket ter que ser expresso no espao de momento. Nesse caso, o estado da partcula ser descrito por uma funo de onda

(p, t),

onde

o momento da partcula.

Propriedades de kets, bras e bra-kets


Todo ket tem um bra correspondente
A cada

ket |

corresponde um nico

bra |

e vice-versa:

| .

(19)

Existe uma correspondncia um-a-um entre bras e kets:

a| + b|
onde

a | + b | ,

(20)

so nmeros complexos. A notao a seguir bastante comum:

|a = a| , Propriedades do produto escalar

a | = a | .

(21)

Como na mecnica quntica o produto escalar um nmero complexo, a ordem importa muito. Devemos distinguir com cuidado um produto escalar de seu complexo conjugado;

no a mesma coisa que

| : | = | .
6 (22)

Esta propriedade se torna clara se a aplicarmos em (14):

| =
Se

(r, t) (r, t) d r

) =

(r, t) (r, t) d3 r = | .

(23)

fossem reais, teramos

| = | .

Vamos listar agora algumas proprie-

dades adicionais do produto escalar:

|a1 1 + a2 2 = a1 |1 + a2 |2 ,
a1 1 + a2 2 | = a 1 1 | + a2 2 | , a1 1 + a2 2 |b1 1 + b2 2 = a 1 b1 1 |1 + a1 b2 1 |2 + a 2 b1 2 |1 + a2 b2 2 |2 .

(24) (25)

(26)

A norma real e positiva


Para qualquer vetor de estado

do espao de Hilbert

igual a zero apenas quando

normalizado, ento

| = 1. |

| = O,

H,

a norma real e positiva;

onde

o vetor nulo. Se o estado

Desigualdade de Schwarz
Para quaisquer dois estados e

do espao de Hilbert, pode-se mostrar que (27)

| ||2 | | .
Se

forem linearmente dependentes (isto , proporcionais:

| = |,

onde

um escalar), essa relao se torna uma igualdade. A desigualdade de Schwarz (27) anloga seguinte relao do espao real Euclideano:

|A B|2 |A|2 |B|2 Desigualdade triangular


Se

(28)

+ | +

| +

| . | = |,

(29) onde

forem linearmente dependentes (isto , proporcionais:

um escalar), a desigualdade triangular se torna uma igualdade. Sua contrapartida a seguinte desigualdade no espao real Euclideano:

|A + A| |B| + |B|.

Estados ortogonais
Dois

kets |

so ditos

ortogonais

se seu produto escalar nulo: (30)

| = 0 . Estados ortonormais
Dois

kets |

so ditos

ortonormais

se forem ortogonais e cada um tiver norma

unitria:

| = 0 ,

| = 1 ,
7

| = 1 .

(31)

Quantidades proibidas | e | pertencem ao mesmo espao vetorial (de Hilbert), produtos do tipo | | || so proibidos. Eles no fazem sentido, pois | | e || no so bras nem kets. Contudo se | e | pertencem a espaos vetoriais diferentes (por exemplo, | pertence a um espao de spin e | pertence a um espao de momento angular orbital), ento seu produto | |, escrito como | |, representa um produto tensorial de | e |. Apenas nesses casos tpicos esses produtos tem signicado.
Se e

Signicado fsico do produto escalar


O produto escalar pode ser interpretado de dois modos. Primeiro, por analogia com o produto

AB representa a projeo de B sobre A, | sobre |. Segundo, no caso de estados normalizados e de acordo com a interpretao probabilstica de Max Born, a quantidade | representa a amplitude da probabilidade que o estado | do sistema ter, aps uma medio ser feita no sistema, seja outro estado |.
escalar de vetores comuns no espao Euclideano, onde o produto

tambm representa a projeo de

4 Operadores
4.1 Denies Gerais
Denio de um operador:
ket | , o transforma em outro ket | do mesmo espao, e quando age sobre um bra transforma em outro bra |
Um operador

uma

regra matemtica

que, aplicada a um

|,

| = | , A

= | . |A

(32)

Uma denio semelhante aplica-se a funes de onda:

(r) = (r) , A

= (r) . (r)A

(33)

Exemplos de operadores
Operador unidade:
deixa qualquer ket inalterado,

| = | . I

Operador gradiente: (r) =

(r) (r) (r) i+ j+ k. x y z

Operador momento linear: P (r) = i (r). Operador Laplaciano: 2 (r) = 2 (r) 2 (r) 2 (r) + + . x2 y 2 z 2

(r) = (r). Operador de paridade: P

Produtos de operadores
O produto de dois operadores , em geral, no comutativo:

B = B A . A
!
O smbolo

(34)

usado para distingui um operador

A
8

de um nmero complexo ou de uma matriz

A.

Entretanto, o produto de operadores associativo:

( ) ( ) B C =A B C = A B C A
Podemos tambm escrever ordem importante!), o sobre o novo ket

(35)

| ): (B

n A m = A n+m . Quando o produto A B opera sobre um ket | (a A atua operador B atua primeiro sobre o ket | e ento o operador A ( ) | B | = A B A B C D A A
opera sobre um ket . (36) atua primeiro, depois

Da mesma forma, quando

, C

em seguida

e, por m, atua o operador

. A

| , o operador D |
e um ket

Quando um operador ou puramente imaginrio.

imprensado entre um bra

um nmero complexo. A quantidade

| |A

| ,

resulta em geral

pode tambm ser um nmero puramente real

Nota:

ao avaliar

bra; isto :

|, no importa |A | ). (|A)| = |(A dito linear A

se o operador

age primeiro no ket ou primeiro no

Operadores lineares
Um operador

se obedecer lei distributiva e se comutar com constantes (como

qualquer operador). Ou seja, um operador para quaisquer nmeros complexos

linear se, para quaisquer vetores

|1

|2 ,

a1

a2 ,

tivermos: (37)

(a1 |1 + a2 |2 ) = a1 A |1 + a2 A |2 , A
e

= a1 1 |A + a2 2 |A . (1 |a1 + 2 |a2 ) A

(38)

Observaes:

O valor esperado

de um operador

com relao a um estado

denido por

= A
A quantidade

| |A |

(39)

| |

(ou seja, o produto de um ket com um bra) um operador linear

na notao de Dirac. Quando

| |

aplicado a um ket

| ,

obtemos outro ket: (40)

| | = | | ,
j que

um nmero complexo.

Produtos do tipo

| A

| A

so proibidos. Eles no so operadores, kets ou bras, e

no tem nenhum signicado matemtico ou fsico.

4.2 Adjunto Hermitiano


gado desse nmero:
operador O adjunto Hermitiano ou conjugado ,

"

. O adjunto Hermitiano, ou simplesmente o adjunto, | = |A | |A


.

de um nmero complexo

o complexo conju-

, A

de um

denido por essa relao: (41)

Propriedades da regra do conjugado Hermitiano


Para obter o adjunto Hermitiano de qualquer expresso, deve-se reverter ciclicamente a ordem dos fatores e fazer trs substituies:

Substituir constantes por seus complexos conjugados:

= . (| ) = |
e

Substituir kets (bras) pelos correspondentes bras (kets): Substituir operadores por seus adjuntos.

( |) = | .

Seguindo essas regras, podemos escrever:

, =A
,

(42) (43)

( ) = a A aA

( ) ( )n n = A A

(44)

( ) +B +C +D =A + B + C + D A ( ) B C D =D C B A A
,

(45)

(46)

( ) C B A B C D | = |D A
O adjunto Hermitiano do operador

(47)

| |

dado por (48)

(| |) = | | .
Operadores atuam dentro de kets e bras, respectivamente, da seguinte maneira:

= A | , |A
Note-se tambm que

| = |A A

(49)

| = |(A ) = |A . A

Portanto, podemos tambm escrever: (50)

| = A | = |A . |A

Operadores Hermitianos e anti-Hermitianos


Um operador

dito ser

Hermitiano
=A A

se for igual ao seu adjunto ou

: A
(51)

| = |A | |A

"

Os termos adjunto e conjugado so usados indiscriminadamente.

10

Por outro lado, um operador

dito ser ou

anti-Hermitiano

se (52)

= B B

| = |B | |B

Nota:
gado:

= A . A

O adjunto Hermitiano de um operador no , em geral, igual ao seu complexo conju-

De (51) podemos inferir que o valor esperado de um operador Hermitiano um nmero real, pois satisfaz seguinte propriedade:

| = |A | = |A | |A
E de (52), o valor esperado de um operador anti-Hermitiano

(53)

| = |B | = |B | |B

(54)

o que signica que seu valor esperado um nmero puramente imaginrio.

4.3 Operadores de Projeo


Um operador quadrado:

dito ser um

operador de projeo
= P P
,

se for Hermitiano e igual ao seu prprio . (55)

2 = P P

um exemplo simples de operador de projeo, j que I O operador unidade I

e I 2 I

. =I

Propriedades dos operadores de projeo

O produto de dois operadores de projeo que comutam, de projeo, j que

1 e P 2 , tambm um operador P
(56)

( )2

1 P 2 P

P =P 2 1 = P2 P1 = P1 P2
.

1 P 2 P

2 2 1 P 2 P 1 P 2 = P 1 P 1 P 2 P 2 = P 1 1 P 2 =P P2 = P

(57)

A soma de dois operadores de projeo geralmente no um operador de projeo. Dois operadores de projeo so

ortogonais

se seu produto zero.

Para que uma soma de operadores de projeo

1 + P 2 + P 3 + . . . P

seja um operador de

projeo, necessrio e suciente que esses operadores sejam mutuamente ortogonais (ou seja, os termos com produtos cruzados devem se anular). Vamos mostrar que

imediato vericar que

| | um operador de projeo apenas quando | for normalizado. | | Hermitiano: (| |) = | | .

Veriquemos agora seu quadrado:

(| |)2 = (| |) (| |) = | | | . | for normalizado, ento | = 1 e conclumos que (| |)2 = | |, estado | normalizado, o produto | | um operador de projeo.
Se 11 ou seja, se o

4.4 lgebra de Comutadores


O

comutador

de dois operadores

, B

denotado por

B ], [A,

denido como

B ] = A B B A [A,
e o

(58)

anticomutador

denido como

B } = A B +B A {A,
Dois operadores comutam se seu comutador for igual a zero, o que leva a operador comuta com ele mesmo:

(59)

B =B A . A

Qualquer (60)

A ] = 0 . [A,
Note que se dois operadores forem Hermitianos,

( ) B =B A = B A , A
e se seu produto for Hermitiano,

B A

B =A

ou seja, e esses operadores comutam. Como um exemplo, podemos mencionar os comutadores envolvendo a componente operador posio, componentes

do

, X

e a componente

do operador momento,

x = i x , P

bem como as

z: P x ] = i I , [X, ,P y ] = i I [Y
e

P z ] = i I , [Z,

(61)

onde

o operador unidade.

Propriedades dos operadores


Usando a relao (58), podemos estabelecer as seguintes propriedades:

Anti-simetria:

B ] = [B, A ] . [A,
Linearidade:

(62)

B +C +D + . . .] = [A, B ] + [A, C ] + [A, D ] + . . . [A,


Conjugado Hermitiano de um comutador:

(63)

B ] = [B , A ] . [A,
Distributividade:

(64)

B C ] = [A, B ]C +B [A, C ] , [A, B, C ] = A [B, C ] + [A, C ]B [A


12 .

(65) (66)

Identidade de Jacobi:

[B, C ]] + [B, [C, A ]] + [C, [A, B ]] = 0 . [A,


Por repetidas aplicaes de (65), pode-se mostrar que

(67)

B n] = [A,

n 1 j =0 n 1 j =0

j [A, B ]B nj 1 B

(68)

n , B ] = [A

nj 1 [A, B ]A j A

(69)

Operadores comutam com qualquer escalar:

b] = 0 . [A,

(70)

Uma importante propriedade dos operadores Hermitianos que seu comutador anti-Hermitiano, o que pode ser facilmente provado:

( ) B ] = A B B A =B A A B = B A A B = [A, B ] . [A,

(71)

4.5 Relaes de Incerteza entre Dois Operadores


Uma aplicao interessante da lgebra de comutadores na derivao de uma relao geral que d o produto das incertezas de dois operadores Sejam

eB . A

Em particular, queremos dar uma

derivao formal das relaes de incerteza de Heisenberg.

os valores esperados de dois operadores Hermitianos

com relao

a um estado normalizado

= |A | | : A =A A A
e

= |B | . B =B B , B ( B )2

Introduzindo os operadores (72)

temos

( )2 =A 2 2A A + A 2 A

2 2B B + B 2 =B

(73)

Ento,

)2 = |(A )2 | (A 2 | 2 |A A | + |A 2 | = |A 2 2A A + A 2 = A 2 A 2 = A
e, semelhantemente, , (74)

)2 = B 2 B 2 (B
#
O quadrado da primeira das equaes (72) conter a soma pela propriedade (70), e temos que

.
Como

(75)

A ] = 0, [A,

A = A A . A
13

A A A . A

O mesmo pode ser dito com relao a

um nmero real, )2 . (B

As

incertezas A
A =

so denidas por

)2 = (A

2 A 2 A

B =

)2 = (B

2 B 2 B

(76)

Agora, vamos escrever a ao dos operadores (72) sobre um estado

qualquer: (77)

( ) | = A A | , | = A
A desigualdade de Schwarz para os estados

( ) | = B B | . | = B
e

. (78)

|| |||2
Como

so Hermitianos,

tambm devem ser; de fato,

( ) = A A = A A = A A = A , A
e, da mesma forma,

= B B = B . B

Agora, e

= |A | = |A
de modo que

= |B | = |B

)2 | , | = |(B )2 | | = |(A
As equaes (79) fornecem os valores esperados de gualdade de Schwarz (78) se torna

B | . | = |A
e

(79)

)2 , (B )2 (A
2
.

B . A

Assim, a desi-

)2 (B )2 A B (A

(80)

Para determinar o membro direito de (80), notemos primeiramente que

B ] = A B B A [A,
nos do

B } = A B + B A {A,

B = 1 [A, B ] + 1 {A, B } . A 2 2 B ] = [A A , B B ] [A, ( )( ) ( )( ) A B B B B A A = A B A B A B + A B B A +B A + B A B A =A B B A =A B ] , = [A,

(81)

Agora,

14

de modo que podemos escrever (81) como

B = 1 [A, B ] + 1 {A, B } . A 2 2
O anti-comutador

(82)

B } {A,

B } {A,

pode ser expresso como

B } + 2A B . {A,

O anti-comutador

Hermitiano, j que

( ) B } = A B +B A =B A + A B = B A +A B {A,
Como

B ] [A,

anti-Hermitiano, seu valor esperado um nmero imaginrio, enquanto que o

valor esperado de de uma parte

B } real. Portanto, o valor esperado A B de (82) se torna {A, real {A, B }/2 e de uma parte imaginria [A, B ]/2. Portanto, B A
2

a soma

2 1 B ] + 1 {A, B } [A, 4 4

2
. (83)

Como o ltimo termo do membro direito um nmero real positivo, podemos inferir a seguinte relao:

B A

1 B ] [A, 4

2
. (84)

Comparando as expresses (80) e (84), conclumos que

)2 (B )2 1 [A, B ] (A 4

2
. (85)

Tirando a raiz quadrada de (85) e usando as denies de incerteza (76), chegamos a

AB

1 B ] [A, 2

(86)

Essa relao de incerteza desempenha um papel importante no formalismo da mecnica quntica. Sua aplicao aos operadores posio e momento leva s

senberg,

relaes de incerteza de Hei-

que representam um das pedras angulares da mecnica quntica.

Para derivar as relaes de incerteza de Heisenberg, aplicamos (86) aos operadores denidos em (61). Utilizando a primeira relao em (61), temos

x p x
ou

1 P x ] = 1 |[X, P x ]| = 1 |i I | = 1 i |I | = 1 |i | [X, 2 2 2 2 2 xpx


.

Expresses para as outras componentes so imediatas, e podemos escrever

xpx

y py

z pz

(87)

Essas so as relaes de incerteza de Heisenberg.

15

4.6 Funes de Operadores


Seja

) F (A

uma funo de um operador

. A

Se

um operador linear, podemos expandir

) F (A

em uma srie de Taylor de potncias de

: A n an A
, (88)

) = F (A
onde

n=0

an

um coeciente da expanso. Como uma ilustrao de uma funo de um operador,

consideremos

eaA ,

onde

um escalar complexo ou real. Podemos expandi-la assim:

eaA =

an n=0

2 3 =I + aA + a A 2 + a A 3 + . . . A n! 2 3

(89)

Comutadores envolvendo funes de operadores


Se

comuta com outro operador

, B

ento

comuta com qualquer funo de operador que

dependa de

: A B ] = 0 [A, = F (A )] = 0 . [B, ): G(A


(91) (90)

Em particular,

) F (A

comuta com

e com qualquer outra funo

F (A )] , [A,

n , F (A )] , [A

), G(A )] . [F (A

Adjuntos Hermitianos de funes de operadores


O adjunto de

) F (A

dado por

)] = F (A ) . [F (A ) F (A

no ser necessariamente Hermitiana, exceto se for Hermitiano). Um exemplo :

(92)

Note que se

for Hermitiano,

for

uma funo real (e, bvio, se

(eA ) = eA = eA

onde

(eiA ) = eiA = eiA


Assim, se

(eiA ) = ei

= ei

um nmero complexo.

for Hermitiano, uma funo de operador que

admita expanso em srie de Taylor, como em (89), ser Hermitiana apenas se os coecientes

an

da expanso forem nmeros reais. Mas em geral

) F (A

no Hermitiana mesmo se

for

Hermitiano, j que

) = F (A

n=0

( )n a n A

(93)

4.7 Operadores Inverso e Unitrio


Inverso de um operador:
denido pela relao Admitindo que exista , o inverso

1 A

de um operador linear

1 A =A A 1 = I , A | ).

(94)

onde

o operador unidade (aquele que deixa inalterado qualquer estado

Nem todo operador possui inverso, assim como no caso das matrizes.

A inversa de uma matriz existe

apenas quando seu determinante for zero.

16

Quociente de dois operadores:


seu inverso

1 B

Dividir um operador

exista) equivalente a multiplicar

A
.

por A 1 : por B

outro operador

(desde que

A B 1 =A B
O lado em que o quociente tomado importante:

(95)

A I =A B 1 =A B B
Em geral, temos

A I =B 1 A . = A B B

(96)

. B 1 = B 1 A A )1

Podemos mencionar aqui as seguintes propriedades envol-

vendo a inverso de operadores:

B C D A

1 C 1 B 1 A 1 =D U

(
e

n A

)1

( )n 1 = A

(97)

Operadores unitrios:
igual ao seu adjunto

: U

Um operador linear

dito ser

unitrio

se seu inverso

1 U

for

= U 1 U
O produto de dois operadores unitrios

ou

U = U U 1 = I . U

(98)

eV tambm unitrio, pois U ( )( ) ( )( ) ( ) V V = U V U = U V V U = U U = I , U U V

(99)

ou

V ) = (U V )1 . (U (

Esse resultado pode ser generalizado para qualquer nmero de opera-

dores, e o produto de vrios operadores unitrios ser tambm unitrio, pois

B C D ... A

)(

B C D ... A

B C D ( . . .) D C B A =A ( ) B C D D C B A =A ( ) B C C B A =A ( ) B B A = A A = I , =A

ou

B C D ... A

( )1 B C D ... = A

(100)

4.8 Autovalores e Autovetores de um Operador


Um vetor de estado

dito ser um

autovetor %

de um operador

se a aplicao de

| = a| , A

(101)

. Essa equao conhecida como a um nmero complexo, chamado de autovalor de A . Sua soluo fornece a equao de autovalor (ou o problema de autovalor ) do operador A . Mais adiante, na Seo 5.3, veremos como resolver o os autovalores e os autovetores de A
onde problema de autovalor numa base discreta.

Tambm chamado de

autoket

ou

autoestado
17

Um exemplo simples o problema de autovalor para o operador unidade

: I
(102)

| = | . I
Isso signica que todos os vetores so autovetores de

, I

com autovalor 1. Note que

| = a| A
Por exemplo, temos

n | = an | A

)| = F (a)| . F (A

(103)

| = a| = eiA A | = eia | . , se existir A 1 , ento os autovalores de A 1 so os Dado o operador linear A 1 . Para ver isso, notemos que A A =I , de modo que autovalores do operador A

inversos dos

1 A | = I | = | . A
Por outro lado,

(104)

( ) 1 A | = A 1 A | = A 1 (a| ) = aA 1 | . A 1 | = | , aA

(105)

Combinando (104) e (105), temos

e portanto,

Isso signica que ento

tambm

1 | = 1 | . A a 1 , com autovetor de A =

(106) autovalor

1/a.

Logo, se

1 A

existe,

| = a| A

1 | = 1 | A a

(107)

Alguns teoremas teis relacionados ao problema de autovalor Teorema 1. Todos os autovalores de um operador Hermitiano so reais, e os autovetores
correspondentes a diferentes autovalores so ortogonais.
= A , A |n = an |n Se A
Prova: Note que

an R

e m |n = mn .

(108)

|n = an |n A
e

= =

|n = an m |n m |A |n = a m |A m m |n . Hermitiano, temos: que A

(109)

= a m |A m m |

(110)

Subtraindo (100) de (99) e usando o fato de

|n m |A |n = an m |n a m |A m m |n , A |n = (an a m |A m ) m |n ,
ou

(an a m ) m |n = 0 .

Temos que considerar dois casos separadamente:

18

Caso

m = n: m = n:

como

n |n > 0, devemos ter an = a n. an = a m,


devemos ter

Resulta que os autovalores devem

ser reais. Caso como em geral

|n

n |n = 0.

Resulta que

|m

devem ser ortogonais.

Teorema 2. Os autoestados de um operador Hermitiano denem um conjunto completo de

estados mutuamente ortonormais  uma autobase. O operador diagonal nessa autobase, com seus elementos diagonais iguais aos autovalores. Essa base nica se o operador no tiver autovalores degenerados; caso contrrio, h um nmero innito de autobases.
eB comutam, e se A no tem autovalor degenerado, ento Teorema 3. Se dois operadores A

tambm um autovetor de B . Alm disso, pode-se construir uma base cada autovetor de A e de B . comum ortonormal formada pelos autovetores de A

Teorema 4. Os autovalores de um operador anti-Hermitiano so puramente imaginrios ou


nulos.

Teorema 5. Os autovalores de um operador unitrio so nmeros complexos de mdulo igual


a um. Os autovetores de um operador unitrio que no tenham autovalores degenerados so mutuamente ortogonais.
Prova:

Sejam

|n

|m

autovetores do operador unitrio

com autovalores

am

an ,

respectivamente. Podemos escrever

m |U

)(

) |n = a U m an m |n ,

ou, dado que

U =I , U ( )( ) U |n = m |U U |n = m |I |n = m |n , m |U (a m an 1) m |n = 0 .
2 a n an = |an | = 1.

de forma que

(111)

Temos que analisar dois casos:

Caso Caso e

n = m:

como

n |n > 0,

ento

Resulta que

|an | = 1.
e resulta que

m = n: a nica possibilidade |n so ortogonais.

para esse caso que

n |n = 0,

|n

4.9 Transformaes Innitesimal e Unitria Finita


Queremos investigar aqui como quantidades tais como kets, bras, operadores e escalares se transformam sob transformaes unitrias. Uma transformao unitria consiste na aplicao de um operador unitrio

a uma dessas quantidades.

19

4.9.1

Transformaes Unitrias
| , | = U | = |U

Kets e bras se transformam do seguinte modo: . (112)

Vamos descobrir agora como operadores se transformam sob transformaes unitrias. Como a transformada de

| = | A

| = | , A

vamos usar (102) para escrever (113)

U | = U | = U A | , A
o que leva a de

=U A . Lembrando U A A U = U A por U . Temos:

que

=I , U = U U U

vamos multiplicar ambos os lados

A U =U U A =I A =A , U
e

A U = A U U = A I = A U

Resumindo, podemos escrever

| , | = U
e

| = |U | = |U

= U A U A =U A U A

(114)

| , | = U

(115)

Propriedades das transformaes unitrias

Se um operador

Hermitiano, seu transformado

tambm Hermitiano, pois

( ) ( ) = U A U = U A U = U A U = U A U = A A
Os autovalores de

(116)

e de seu transformado

so os mesmos, ou seja,

|n = an |n A
A demonstrao simples:

| = an | . A n n

(117)

( )( ) ( ) ( ) |n A U U |n = U A U U |n = U A |n = an U |n = |n A = U .
Comutadores que so iguais a nmeros (complexos) permanecem inalterados sob transformaes unitrias, ou seja, dado

aC = , B ] = a = [A, B ] . [A
(118)

B ] = a [A,
Usando (115), temos:

( )( ) ( )( ) , B ] = [U A U , U B U ] = U A U U B U U B U U A U [A ( ) ( ) A B U U B A U = U [A, B ]U = U a U = a U U = a = [A, B ] . =U
20

Valem as seguintes relaes gerais:

= B + C A = B C D A
onde

= =

= B + C A = B C D A , B , C A
e ,

(119) (120)

, B , C A

so as transformadas de

. D

Como o resultado (118) vlido para qualquer nmero complexo, podemos armar que nmeros complexos tais como unitrias, pois

| |A

permanecem inalterados sob transformaes

| = ( |A )(U A U )(U |) = |(U U )A (U U )| = |A | . |A


Tomando

(121)

=I , A

vemos que produtos escalares do tipo

| = |
estado conservada:

(122)

so invariantes sob transformaes unitrias. Especicamente, a norma de um vetor de

| = | . A U )n = U A n U , (U
pois

(123)

Pode-se tambm vericar que

A U )n = (U A U )(U A U ) . . . (U A U ) (U A (U U )A (U U ) . . . (U U )A U = U (A A ...A )U = U A n U =U
. (124)

O resultado (124) pode ser generalizado para obter a transformao de qualquer funo de operador

): f (A

f (A )U = f (U A U ) = f (A ) . U

(125)

Mais geralmente, podemos escrever

f (A, B, C, . . .)U = f (U A U , U B U , U C U , . . .) = f (A , B , C , . . .) . U

(126)

Uma transformao unitria no altera a fsica de um sistema; ela meramente transforma uma descrio do sistema em outra descrio sicamente equivalente. No que se segue, queremos considerar dois tipos de transformaes unitrias: as

transformaes nitas.

transformaes innitesimais

e as

4.9.2

Transformaes Unitrias Innitesimais


U
que dependa de um parmetro real

Considere um operador

innitesimalmente pequeno
(127)

e que desvie-se apenas ligeiramente do operador unidade

: I

(G ) = I + iG , U
onde

chamado de gerador G
pois

da transformao innitesimal. Claramente,

= G ), (G

formao unitria apenas quando o parmetro

for real (

= )

ser uma transU for Hermitiano quando G


(128)

U + iG )(I iG ) I + i(G G ) = I , U = (I
21

onde desprezamos o termos quadrtico em A transformao de um vetor de

. estado |

dada por (129)

+ iG )| = | + | , | = (I
onde

| . | = iG
A transformao de um operador

(130)

dada por

= (I + iG )A (I iG ) = (I + iG )(A iA G ) A iA G + iA G , A
ou

= (I + iG )A (I iG ) A + i[G, A ] A
Se

(131)

comuta com

, A

a transformao unitria deixar

inalterado: (132)

A ] = 0 [G,

= A = (I + iG )A (I iG ) = A . A

4.9.3

Transformaes Unitrias Finitas


nita
a partir de (127) executando uma

Pode-se construir uma transformao unitria

sucesso de transformaes innitesimais de passos iguais a unitria. Sendo

a aplicao de uma srie de aplicar a

transformaes unitrias sucessivas equivalente aplicao de uma nica transformao

= /N ,

onde

mesma transformao unitria

N um inteiro e um parmetro nito, podemos N vezes. No limite em que n +, obtemos 1+i ( ) )N G = lim 1 + i G = eiG n+ N N
,

(G ) = lim U
onde

N ( k=1

(133)

agora o gerador da transformao nita e

ser unitria apenas quando o parmetro

for real

seu parmetro. A transformao U e G for Hermitiano, pois

. (134)

(eiG ) = e

iG

= eiG = (eiG )1

possvel mostrar que a transformao

de um operador

pode ser escrita como

2 3 + i[G, A ] + (i) [G, [G, A ]] + (i) [G, [G, [G, A ]]] + . . . eiG eiG = A 2! 3!
Se

(135)

comuta com

, A

a transformao unitria deixar

inalterado: (136)

A ] = 0 [G,

iG = eiG . A e =A

Algumas das aplicaes das transformaes unitrias innitesimais so o estudo de translaes espaciais e temporais, rotaes espaciais e leis de conservao.

5 Representao em Bases Discretas


Por analogia dos espaos vetoriais Euclideanos em termos de vetores de base, precisamos expressar um ket nessa base.

| do espao de Hilbert em termos de um conjunto completo de kets de base


Vetores de estados so ento representados por suas componentes

mutuamente ortogonais.

22

5.1 Representao Matricial de Kets, Bras e Operadores


Considere uma base ortonormal discreta e completa composta por um conjunto innito de kets

|1 , |2 , |3 , n

. . . , e denote esse conjunto por

{|n }.

Note que a base isto , a

e ainda assim contm um nmero innito de vetores unitrios. No limite ordenao dos vetores unitrios

|3 ,

|n

discreto

ou

contvel ;

{|n } discreta n , o ndice de seqncia |1 , |2 ,

. . . contvel innitamente. Como ilustrao, considere as funes especiais, tais como

os polinmios de Hermite, Legendre ou Laguerre, por um ndice discreto pode ser innito. Nesta seo a notao por de vetores do espao de Hilbert

e por uma varivel contnua

Hn (x), Pn (x) e Ln (x), que so identicados x; embora n varie discretamente, ele

{|n } ser usada para abreviar um conjunto innitamente contvel H. A condio de ortonormalidade dos kets da base expressa n |m = nm
, (137)

onde

nm

delta de Kronecker,

denido por

nm

{ 1, n=m = 0, n= m

(138)

A relao de completeza, ou fechamento, para essa base dada por

n=1
onde

, |n n | = I

(139)

o operador unidade; quando o operador unidade atua sobre qualquer ket, ele o deixa

inalterado.

5.1.1

Representao Matricial de Kets e Bras


|
dentro do contexto da base

Vamos agora examinar como representar o vetor em termos dos kets

A propriedade de completeza desta base nos permite expandir qualquer vetor de

|n

{|n }. estado |

da base:

| = | = I
onde o coeciente

n=1

) |n n | | =

n=1

(n | ) |n =

n=1

an |n ,

(140)

an (= n | ) representa a projeo de | na direo de |n ; an o | ao longo do vetor |n . Lembre-se que os coeciente an so nmeros complexos. Assim, na base {|n }, o ket | representado pelo conjunto de suas componentes a1 , a2 , a3 , . . . ao longo dos vetores |1 , |2 , |3 , . . . , respectivamente. Logo, | pode ser representado por um vetor coluna que tem um nmero innitamente contvel de componentes: a1 1 | 2 | a2 . . . . (141) | . = . . n | an
componente de . . . . . .

23

O bra

pode ser representado por um

( ) | |1 |2 . . . |n . . . ( ) = 1 | 2 | . . . n | . . . ( ) = a 1 a2 . . . an . . . . | |

vetor linha :

(142)

Usando essa representao, podemos ver que o bra-ket produto da matriz linha correspondente ao bra

um nmero complexo igual ao

pela matriz coluna correspondente ao ket

|:

( | = a 1 a2 . . . an

a2 ) . . ... . = a n bn n=1 an
. . .

a1

(143)

onde

bn = n |. |

Nessa representao, as matrizes que representam

so adjuntas

Hermitianas uma da outra.

Nota:

Um ket

normalizado se

| =
Se lo

|an |2 = 1 .

| no estiver normalizado e quisermos normaliza-lo, precisamos simplesmente multiplica2 por uma constante tal que | = || | = 1, e assim = 1 |
.

5.1.2

Representao Matricial de Operadores


, A
podemos escrever

Para cada operador linear

( =I A I = A
onde

n=1

) |n n | A nm

) |m m | : A =

nm

Anm |n m | ,

(144)

m=1
do operador

Anm

o elemento de matriz

|m . Anm = n |A
Vemos que o operador

(145) por uma matriz quadrada

representado, na base

{|n },

A,

que

tem nmeros innitamente contveis de linhas e colunas:

A11 A12 A13 . . . A 21 A22 A23 . . . A = A 31 A32 A33 . . .


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

(146)

24

Por exemplo, o operador unidade

representado por uma matriz identidade; quando uma

matriz identidade multiplicada por outra matriz, esta ltima permanece inalterada:

1 0 0 ... 0 1 0 . . . I= 0 0 1 . . .
. . . . . . . . . .. .

(147)

kets so representados por vetores coluna, bras so representados por vetores linha e operadores so representados por matrizes quadradas.
Em resumo,

5.1.3

Representao Matricial de Alguns Outros Operadores

(a) Operao adjunta Hermitiana


Vamos mostrar agora a representao matricial da operao de adjunta Hermitiana de um operador. Primeiro, lembre-se que a trocando-se linhas por colunas:

transposta

de uma matriz

A,

denotada por

AT ,

obtida

AT

)
nm

= Amn

ou

T A11 A12 A13 . . . A11 A21 A31 . . . A A 21 A22 A23 . . . 12 A22 A32 . . . A31 A32 A33 . . . = A13 A23 A33 . . .
. . . . . . . . . .. . . . . . . . . . . .. .

(148)

Similarmente, a transposta de uma matriz coluna uma matriz linha e vice-versa:

a2 . ( ) . . = a1 a2 . . . an . . . an
. . . Uma matriz quadrada

a1

a1 a2 . . . an

a2 )T . . ... = . an
. . .

a1

(149)

matriz anti-simtrica uma matriz quadrada cuja transposta igual ao negativo da matriz: AT = A. O complexo conjugado de uma matriz obtido simplesmente tomando-se o complexo conju gado de todos os seus elementos: (A )nm = (Anm ) . obtida tomando-se o complexo conjugado da A matriz que representa o operador A matriz transposta de A: ( ) ( ) |m = m |A |n = A ou A = n |A (150) A = AT nm .

simtrica

se ela for igual sua transposta:

AT = A.

Uma

nm

Ou seja,

A11 A12 A13 . . . A11 A 21 A31 . . . A A A A . . . 21 A22 A23 . . . 22 32 = 12 A31 A32 A33 . . . A13 A23 A33 . . .
. . . . . . . . . .. . . . . . . . . . . .. .

(151)

25

Se um operador

Hermitiano, sua matriz satisfaz a essa condio:

AT

=A

ou

A mn = Anm

(152)

Os elementos diagonais de uma matriz Hermitiana devem, portanto, ser nmeros reais. Note que

uma matriz Hermitiana deve ser quadrada.

(b) Operadores Inverso e Unitrio


Uma matriz possui inversa apenas se for quadrada e se seu determinante for no-nulo. Uma matriz que possui inversa chamada de matriz

singular.

Os elementos

1 A nm

no-singular

e uma matriz que possui inversa uma

da matriz inversa

A1 ,

que representa um operador

1 , A

so dados pela relao

1 A nm =
onde

cofator de

Amn A

determinante de

ou

1 A nm =

BT
determinante de

(153)

(1)m+n vezes o determinante da submatriz obtida de A pela supresso da m-sima linha e da n-sima coluna. B
a matriz dos cofatores. O cofator do elemento

Amn

igual a

Note que quando o determinante da matriz representando um operador tem determinante nulo, o operador no possui um inverso. O inverso do produto de matrizes obtido do seguinte modo:

(ABC . . . P Q)1 = Q1 P 1 . . . C 1 B 1 A1
A inversa da inversa de uma matriz igual prpria matriz: Um operador unitrio

(154)

A1

) 1

= A. U
unitria

representado por uma matriz unitria. Uma matriz

se sua inversa igual sua adjunta:

U 1 = U
onde

ou

U U = I

(155)

a matriz identidade.

(c) Representao matricial de | |


Agora fcil ver que o produto

{|n }

| |

de fato um operador, pois sua representao na base

uma matriz quadrada:

a1 a1 a1 a1 a 2 a1 a3 . . . a 2 ( ) a2 a1 a2 a2 a2 a3 . . . a a a ... = | | = a3 1 2 3 a3 a1 a3 a 2 a3 a3 . . .
. . . . . . . . . . . . .. .

(156)

(d) Trao de um operador


O trao

) Tr(A

de um operador

dado, em uma base ortonormal

{|n },

pela expresso (157)

) = Tr(A

|n = n |A Ann
n n

26

Veremos mais tarde que o trao de um operador no depende da base. O trao de uma matriz igual soma dos elementos de sua diagonal principal, ou seja,

A11 A12 A13 . . . A 21 A22 A23 . . . Tr A31 A32 A33 . . . = A11 + A22 + A33 + . . .
. . . . . . . . . .. . valem as seguintes propriedades:

(158)

Dado um operador

, A

) = (Tr(A )) Tr(A
e

(159)

Uma

+ B + C + . . .) = Tr(A ) + Tr(B ) + Tr(C ) + . . . Tr(A B ) = Tr(B A ). De fato, propriedade fcil de demonstrar que Tr(A B ) = B |n Tr(A n |A
n

(160)

= = = = = =


nm nm nm nm n

( n |A

) |n |m m | B

|m m |B |n n |A Anm Bmn Bmn Anm |n n |A |m m |B ( m |B


n

) |m = |n n | A

A |m = Tr(B A ) . m |B
m

(161)

Em vista do resultado (161), pode-se mostrar que o trao de um comutador nulo:

B ]) = Tr(A B ) Tr(B A ) = 0 . Tr([A,


operadores:

(162)

Alm disso, o trao de um produto de operadores invariante sob permutaes cclicas desses

B C D E ) = Tr(E A B C D ) = Tr(D E A B C ) = Tr(C D E A B ) = . . . Tr(A

(163)

5.1.4

Representao Matricial de Vrias Outras Quantidades


| | = A (
n

| (a) Representao matricial de | = A


A relao

| = I A I | , ou I ) ( ) ( ) |n n | | = |n n | A |m m | | ,
pode ser posta na forma algbrica

27

que por sua vez pode ser escrita como

n
ou

(n |) |n =
n

(
nm

) |m (m | ) |n , n |A

bn |n =
e

nm

Anm am |n ,

(164)

onde

|m bn = n |, Anm = n |A

am = m | . Portanto, bn = Anm am
nm

fcil ver que (164) fornece (165)

e temos que a representao matricial de

| | = A

dada por

A11 A12 A13 . . . a1 b1 b A 2 21 A22 A23 . . . a2 = b3 A31 A32 A33 . . . a3


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

(166)

| (b) Representao matricial de |A


Nesse caso, temos

| = |I A I | = | |A = =
nm

) |n n | A

) |m m | |

( ) |m (m | ) (|n ) n |A ( ) |m (m | ) = (n | ) n |A b n Anm am
nm
. (167)

nm

Temos aqui um nmero complexo, e sua representao matricial a seguinte:

( | b b b |A 1 2 3

A11 A12 A13 . . . a1 A ) 21 A22 A23 . . . a2 . . . A 31 A32 A33 . . . a3


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

(168)

Nota:
| |

Agora ca bem fcil ver porque produtos do tipo

| | |, ||, A

ou

| A

so

proibidos. Eles no fazem sentido, pois no podem ter representaes matriciais. Por exemplo, seria representado pelo produto de duas matrizes coluna:

1 | 1 | | | 2 2 | | 3 | 3 |
. . . . . .

(169)

28

Esse produto impossvel de ser executado, pois o produto de duas matrizes possvel apenas quando o nmero de colunas da primeira for igual ao nmero de linhas da segunda; em (169), a primeira matriz tem uma nica coluna e a segunda matriz tem um nmero innito de linhas.

5.1.5

Propriedades de uma Matriz A


Real se

A = A

ou

Amn = A mn
ou

Imaginria se Simtrica se

A = A
ou

Amn = A mn

A = AT

Amn = Anm
ou

Anti-simtrica se Hermitiana se

A = AT
ou

Amn = Anm

com

Amm = 0

A = A

Amn = A nm
ou

Amn = A nm ( ) Ortogonal se AT = A1 ou AAT = I ou AAT mn = mn ( ) Unitria se A = A1 ou AA = I ou AA mn = mn


Anti-Hermitiana se

A = A

5.2 Mudana de Base e Transformaes Unitrias


Em um espao Euclidiano, um vetor para outra chamada de

pode ser representado por suas componentes em A transformao de uma base As componentes de

diferentes sistemas de coordenadas ou em diferentes bases.

mudana de base.

em uma dada base podem

ser expressas em termos das componentes de

em outra base por meio de uma

transformao.

matriz de

Similarmente, vetores de estado e operadores da mecnica quntica podem tambm ser representados em bases diferentes. Nesta seo vamos estudar como transformar de uma base

{|n }, como se determina os componentes correspondentes em uma base {|n } diferente? Admitindo que {|n } e {|n } sejam duas bases diferentes, podemos expandir cada ket |n da antiga base em termos da nova base {|n } como
para outra. Isto , conhecendo os componentes de bras, kets e operadores em uma base

|n =
onde

(
m

)
| m m | |n =

Umn | m ,

(170)

Umn = m |n . U,
que d a transformao da antiga base

(171) para a nova base

A matriz por

{|n }

{| n },

dada

Umn

1 |1 1 |2 1 |3 . . . | | | . . . 2 1 2 2 2 3 = | | . . . | 1 2 3 3 3 3
. . . . . . . . . .. .

(172)

29

A matriz unitria.

conecta duas bases

completas

U |n = mn . m |U

Para mostrar isso, devemos provar

ortonormais {|n } e {| n } e uma matriz que U U = I , o que se reduz a mostrar que


) |n |l l | U

Procedemos da seguinte forma:

U |n = m |U m |U = =
Agora, de acordo com (171), (173) como

(
l


l l

|l l |U |n m |U |l n |U |l = m |U
e

Uml Unl

(173)

Uml = m |l
l

Umn = l | n .

Assim, podemos reescrever

Uml Unl =

m |l l |n = m |n = mn

(174)

Combinando (173) e (174), inferimos que demonstrar.

U |n = mn , m |U

ou

U = I , U

como queramos

5.2.1

Transformaes de Kets, Bras e Operadores


| em uma nova base {| n } podem ser termos das componentes n | de | em uma antiga base {|n } da seguinte ( ) | = | I | = | | | | = Umn n | . (175) n n n m m
de um vetor de estado

As componentes expressas em forma:

n |

Essa relao, juntamente com sua complexa conjugada, podem ser generalizadas por

|velho , |novo = U

novo | = velho |U

(176)

para outra. Os elementos matriciais ser

A mn = m |A|n de um operador A na nova base podem expressos em termos dos antigos elementos matriciais, Ajl = j |A|l , do seguinte modo: ( ) Amn = m |I AI |n = m | |j j | A |l l | | n j l

Vamos examinar agora como os operadores se transformam quando passamos de uma base

=
isto ,

j l

m |j j |A|l l |n =

j,l

Umj Ajl Unl

(177)

novo = U A velho U A

(178)

A relao inversa obtida facilmente usando as propriedades de operadores unitrios:

A novo = U U A velho U = I A velho U = A velho U U

30

A novo U =A velho U U =A velho I , U velho = U A novo U A


. (179)

ou

Podemos resumir os resultados sobre mudana de base atravs das seguintes relaes:

|velho , |novo = U
ou

novo | = velho |U velho | = novo |U

novo = U A velho U A novo U velho = U A A

(180)

|novo , |velho = U
veja (114) e (115).

(181)

Essas relaes so similares s que foram derivadas no estudo das transformaes unitrias; Vamos agora mostrar que o operador

= U

| n n | um operador U = | n n | = I .
n

(182)

satisfaz s propriedades discutidas acima. Primeiro, note que

unitrio, pois (183)

U = U

nl

| n n |l l | =

nl

| n l |nl

Em segundo lugar, a ao de base:

sobre um ket da antiga base d o ket correspondente da nova

|m = U

| n n |m = U

| n nm = |m .

(184)

E tambm podemos vericar que a ao de dente da antiga base:

sobre um ket da nova base d o ket correspon-

| U m =

|l l |m =

|l lm = |m .

(185)

Como o trao se transforma sob transformaes unitrias? Usando a propriedade cclica do trao,

B C ) = Tr(C A B ) = Tr(B C A ), Tr(A

podemos assegurar que (186)

) = Tr(U A U ) = Tr(U U A ) = Tr(I A ) = Tr(A ) . Tr(A


Lembrando da denio do trao, equao (157), temos que

Tr(|n m |) =

l |n m |l =

m |l l |n (
l

) |l l | |n = m |n = mn
, (187)

= m |
e podemos inferir que

Tr(| m n |) = n |m .

(188)

31

Vamos mostrar que o trao de um operador no depende da base em que ele expresso. Sejam:

um operador e

{|n }, {| n }

duas bases. O trao de

na base

{|n }

(189)

) = Tr(A
e na base

|n , n |A

{| n }

dado por

) = Tr(A

n |A|n .
ser completa, temos

(190)

Comeando de (189) e usando o fato da base

) ) = |n = n | | Tr(A n |A m m | A|n
n

{| n }

= n | m m |A|n = m |A|n n |m
m n n m

=
ou seja,

m |A

) |n n | | m = n |A|n .
n

m |A|m ,

) = Tr(A

|n = n |A

(191)

5.3 Representao Matricial do Problema de Autovalor


Aqui vamos apresentar a representao matricial do problema de autovalor (101) e vamos resolv-lo. Isto , vamos encontrar os autovalores tal que

e os autovetores

de um operador

, A

| = a| , A
onde por

(192)

a um nmero m |, temos

complexo. Inserindo o operador unidade entre

e multiplicando

I | = m |A m |A =
Por outro lado,

(
n

) |n n | |
n

|n n | = m |A

Amn n | .

(193)

| = am |I | = am | m |Ia =a

(
n

) |n n | |
(194)

m |n n | = amn n | .
n n

32

Ento,

Amn n | =

amn n | ,

que pode ser escrito como

[Amn amn ] n | = 0 ,

(195)

com

|n . Amn = m |A
j que a base

Essa equao representa um sistema innito de equaes homogneas para os coecientes

n | ,

{|n }

contm um nmero innito de kets. Esse sistema de equaes

pode ter solues no triviais apenas se seu determinante for nulo:

det (Amn amn ) = 0 . {|n }

(196)

O problema que surge aqui que esse determinante corresponde a uma matriz com innitas linhas e innitas colunas. Para resolver (196) precisamos truncar a base ela contm apenas e admitir que

termos, onde

deve ser grande o suciente para garantir convergncia.

Nesse caso podemos reduzir (196) ao seguinte determinante de grau

N:

A11 a A21 A31


. . .

A12 A22 a A32


. . .

A13 A23
. . .

... ...
..

A1N A2N A3N


. . .

A33 a . . .
.

=0.

(197)

AN 1
Essa equao conhecida como

AN 2

AN 3
ou

. . . AN N a

caracterstica. Suas solues fornecem os N autovalores a1 , a2 , . . . , aN , j que uma equao de N -simo grau em a. O conjunto desses . Conhecendo-se o conjunto de autovalores a1 , a2 , N autovalores chamado de espectro de A . . . , aN , pode-se facilmente determinar o correspondente conjunto de autovetores |1 , |2 , , pode-se obter a partir de (197) as N componentes . . . , |N . Para cada autovalor am de A 1 | , 2 | , . . . , N | do autovetor |m correspondente. Se vrios autovetores diferentes tm o mesmo autovalor, esse autovalor dito ser degenerado. A ordem de degenerescncia determinada pelo nmero de autovetores linearmente
independentes que tm o mesmo autovalor. Por exemplo, se um autovalor tem cinco autovetores diferentes, diz-se que ele tem degenerescncia quntupla. Quando o conjunto de autovetores

equao secular

{|n }

de

for completo e ortonormal, esse conjunto

pode ser usado como base. Nessa base, a matriz que representa o operador

diagonal:

a1 0 0 . . . 0 a2 0 . . . A = 0 0 a . . . 3
. . . . . . . . . .. .

(198)

onde os elementos da diagonal principal so os autovalores

an

de .

, A

j que (199)

|n = an m |n = an mn m |A

33

O trao e o determinante so dados, respectivamente, pela soma e pelo produto dos autovalores:

Tr(A) = det(A) =


n n

an = a1 + a2 + . . . an = a1 a2 . . .
.

(200)

(201)

Algumas propriedades teis dos determinantes so:

det(ABC . . .) = det(A) det(B ) det(C ) . . . det(A ) = (det A) det(A ) = (det A) det(AT ) = det A det(A) = eTr(ln A)

(202) (203) (204) (205) (206)

Para nalizar esta seo, apresentamos (sem demonstrao) alguns teoremas teis referentes ao problema de autovalor.

Teorema 6. Os autovalores de uma matriz simtrica so reais, e seus autovetores correspondentes formam uma base ortonormal.

Teorema 7. Os autovalores de uma matriz anti-simtrica so nulos ou imaginrios puros. Teorema 8. Os autovalores de uma matriz Hermitiana so reais, e seus autovetores correspondentes formam uma base ortonormal.

Teorema 9. Os autovalores de uma matriz anti-Hermitiana so nulos ou imaginrios puros. Teorema 10. Os autovalores de uma matriz unitria tem valor absoluto igual a um. Teorema 11. Se os autovalores de uma matriz quadrada no so degenerados, os autovetores
correspondentes formam uma base.

6 Representao em Bases Contnuas


Nesta seo vamos considerar a representao de vetores de estado, bras e operadores em bases

contnuas.

Depois de apresentar o formalismo geral, consideraremos duas aplicaes

importantes: as representaes nos espaos de

posio

momento.

Na seo anterior, vimos que as representaes de kets, bras e operadores em uma base discreta so dadas por matrizes discretas. Mostraremos aqui que essas quantidades so representadas numa base contnua por

matrizes contnuas, isto , matrizes innitas no enumerveis.


34

6.1 Tratamento Geral


A condio de ortonormalidade para kets da base contnua delta de Kronecker como em (137), mas pela funo contnua

|k expressa delta de Dirac :

no pelo usual

k |k = (k k ) ,
onde

(207) delta de Dirac, denida por

so parmetros contnuos e

(k k ) a funo + 1 (x) = eikx dx . 2

(208)

A condio de completeza dessa base contnua no dada por uma soma discreta como em (139), mas por uma integral sobre a varivel contnua,

onde

, dk |k k | = I

(209)

o operador unidade.

Todo vetor de estado pode ser expandido em termos do conjunto completo de kets da base

|k : | = | = I
onde

( k | ,

) dk |k k | | =

dk b(k ) |k ,

(210)

b(k ),

que igual a

representa a projeo de

A norma dos kets de base discreta nita

| sobre |k . (n |n = 1), mas a norma


+

dos kets da base

contnua innita; uma combinao de (207) e (208) leva a

k |k = (0) =
Isto implica que os kets

1 2

dx .

(211)

|k

no so quadrado-integrveis e portanto no so elementos do

espao de Hilbert (Lembre-se que o espao gerado por funes quadrado-integrveis um espao de Hilbert). Apesar da divergncia da norma de

|k ,

o conjunto de kets

|k constitui

uma base vlida de vetores que gera o espao de Hilbert, j que para qualquer vetor de estado

o produto escalar

k |

nito.

6.1.1

A Funo Delta de Dirac

Antes de lidar com a representao de kets, bras e operadores, vamos fazer um breve desvio para listar algumas das propriedades mais importantes da funo delta de Dirac:

(x) = 0 , para x = 0 , { b f (x0 ) se a < x0 < b f (x) (x x0 ) dx = 0 caso contrrio a


+

(212)

(213)

f (x)

n dn (x a) n d f (x) dx = ( 1) dxn dxn

(214)

x=a
(215)

(r r ) = (x x ) (y y ) (z z ) =

1 (r r ) ( ) ( ) . r2 sin

35

6.1.2

Representao de Kets, Bras e Operadores


| representado por uma b(k ):

A representao de kets, bras e operadores pode ser facilmente inferida do estudo feito previamente para o caso de uma base discreta. Por exemplo, o ket matriz coluna que tem um nmero contnuo e innito de componentes (linhas)

k |
. . .

. . .

. (216)

O bra

representado por uma matriz linha que tem um nmero contnuo e innito de

componentes (colunas):

. . . |k . . .

(217)

Operadores so representados por matrizes quadradas contnuas cujas linhas e colunas possuem um nmero contnuo e innito de componentes:

. . . A(k, k ) . . .
.. . . . . .. .

..

. . .

..

. . (218)

A ttulo de aplicao, consideraremos as representaes nas bases de posio e momento.

6.2 Representao de Posio


Na representao de posio, a base consiste de um conjunto innito de vetores so autokets do operador posio

: R |r = r|r , R

{|r}

que

(219)

onde

(sem chapu), o vetor posio, o auto valor do operador

. R

As condies de orto-

normalidade e completeza so dadas respectivamente por

r|r = (r r ) = (x x ) (y y ) (z z )
e

(220)

, d3 r |rr| = I
(221)

j que a funo delta tridimensional dada por

1 (r r ) = (2 )3

d3 k eik(rr )

(222)

Assim, todo vetor de estado pode ser expandido como

| =
onde

d r |rr| =
3

d3 r (r) |r ,

(223)

(r)

denota a componente de

na base

{|r}:
(224)

r| = (r) .
36

Isto conhecido como a

funo de onda

para o vetor de estado

terpretao probabilstica de Born, a quantidade encontrar o sistema no elemento de volume

|r| |

| .

De acordo com a in-

d3 r representa a probabilidade de
pode ser expressa desta forma:

d3 r . | e |, ) 3 d r |rr| |

O produto escalar entre dois vetores de estado,

| = | | = |I = =
Como

d3 r |rr| d3 r r| r| = d3 r (r) (r) .


(225)

|r = r|r, R

temos que

2 = R R aplicado a |r R ( ) |r = R 2 |r = R R (r|r) = rR |r = r2 |r , R n |r = rn |r . R

que pode ser generalizado para

Com isso, temos

n |r = r |rn |r = rn r |r = rn (r r) . r |R R
Hermitiano, pois

(226)

Note que o operador

| = |R | = |R I |R = = [ = [ =

) d r |rr| |
3

|rr| d3 r |R d3 r r|rr| ] d r r |rr|


3

|rr| d r |R
3

[ ( ) ] | = |R d3 r |rr| | = |R

(227)

6.3 Representao do Momento


A base

: P
onde

{|p}

da representao do momento obtida dos autokets do operador momento

|p = p|p , P p
o vetor momento.

(228)

A lgebra relevante a esta representao pode ser facilmente

inferida da representao de posio. As condies de ortonormalidade e completeza da base

|p

do espao de momento so dadas por

p|p = (p p )
37

(229)

. d3 p |pp| = I
(230)

Expandindo

nesta base, obtemos

d p |pp| =
3

d3 p (p) |p ,
(231)

| = | = I
onde o coeciente quantidade volume por

(p) da expanso representa a funo de onda no espao de momento. A |(p)|2 d3 p a probabilidade de encontrar o momento do sistema no elemento de d3 p localizado entre p e p + dp. ( | = | ) d p |pp| | = d3 p (p) (p) .
3

Por analogia com (225) o produto escalar entre dois estados no espao de momento dado

(232)

Como

|p = p|p, P

temos

n |p = pn (p p) . p |P

(233)

6.4 Conexo entre as Representaes de Posio e do Momento


Vamos agora estabelecer a conexo entre as representaes de posio e momento. Para passar da base

{|r}

para a base

{|p},

temos que encontrar a funo de

Para encontrar a expresso para a funo de transformao

conexo entre as representaes de posio e momento do vetor de estado

r| = r|
Portanto,

| : ) d3 p |pp| | = d3 p r|pp| = d3 p r|p (p) . (r) = d3 p r|p (p) . ) d r |rr| | = d3 r p|rr| ,


3

r|p

transformao r|p.

, vamos estabelecer uma

(234)

(235)

Da mesma forma, pode-se escrever

(p) = p| = p|
ou

(p) = d3 r p|r (r) . (r)


3/2
e (236)

Estas duas ltimas relaes implicam que mada de Fourier uma da outra. funo

(p)

podem ser vistas como a transfor-

f (r)

dada por

&

Na mecnica quntica, a transformada de Fourier de uma

f (r) =
Portanto, a funo

1 (2 )

d3 p eipr/ g (p) .

(237)

r|p

dada por

r|p =
&
Note a presena da constante de Planck.

eipr/ (2 )3/2

(238)

38

Essa funo transforma da representao de momento para a representao de posio. funo correspondente transformao inversa,

p|r,

dada por

p|r = r|p =
A quantidade regio em

eipr/ (2 )3/2

(239)

|r|p|2 representa a densidade torno de r onde seu momento p.

de probabilidade de encontrar a partcula na

Nota:

Se a funo de onda da posio

(r) =
'

1 (2 )
3/2

d3 p eipr/ (p)

(240)

estiver normalizada , sua transformada de Fourier

(p) =

1 (2 )3/2

d3 r eipr/ (r)

(241)

tambm deve estar normalizada, pois

d p (p) (p) = = =
Esse resultado conhecido como o

[ d p (p) [ d r (r)
3

1 (2 )3/2 1

d re
3

]
ipr/

(r) ]

(2 )3/2

d p (p) e

ipr/

d3 r (r) (r) = 1 .

(242)

teorema de Parseval.

6.4.1
calcular

Operador Momento na Representao de Posio


P
na representao de posio, vamos

Para determinar a forma do operador momento

| : r|P | = r|P I | = r|P r|P = = =

(
3

) |pp| d p |

|pp| d3 p r|P p r|pp| d3 p 1 (2 )


3/2

p eipr/ (p) d3 p .

(243)

'

Isto , se

d3 r (r) (r) = 1 .

39

Agora, como

p eipr/ = i eipr/

, e usando (238), podemos reescrever (243) como

[ | = i r|P

eipr/ (p) d3 p (2 )3/2 [ ] 3 = i r|pp| d p


(244)

= i r| .
Assim,

dado na representao de posio por

= i . P
Suas componentes cartesianas so

(245)

x = i P x

y = i P y

z = i P z

(246)

Note que a forma do operador momento (245) pode ser obtida simplesmente aplicando o operador gradiente a uma funo de onda plana

(r, t) = A ei(prEt)/

: (247)

(r, t) . i (r, t) = p (r, t) = P


Como

= i , P

podemos escrever o operador Hamiltoniano

2 /2m + V =P H ) (r) +V

na repre-

sentao de posio do seguinte modo:

= H
onde

2m

(r) = 2 + V

2m

2 2 2 + + x2 y 2 z 2

(248)

o operador Laplaciano. Em coordenadas cartesianas dado por

2 + 2 + 2. 2 = x y z

6.4.2

Operador Posio na Representao de Momento


na representao do momento pode ser facilmente inferida R pj =i Y P
no espao de posio. No espao de momento o operador posio pode

A forma do operador posio da representao de ser escrito como

j = i R
ou

(j = x, y, z ) py

(249)

=i X

px

=i Z

pz

(250)

6.4.3
de onda

Relaes de Comutao Importantes


j , P k ]. [R
As aes separadas de

Vamos calcular o comutador

P x X

x X P

sobre a funo

(r)

so dadas por

( ) ( ) (r) (r) X Px (r) = X Px (r) = X i = i x x x


40

(251)

( ) x X (r) = P x X (r) = P x (x (r)) = i (x (r)) = i (r) i x (r) P x x


Portanto, temos

(252)

P x ] (r) = X P x (r) P x X (r) = i x (r) + i (r) + i x (r) = i (r) , [X, x x


ou

P x ] = i [X,
temos:

(253)

Relaes similares podem ser prontamente derivadas para as componentes

z , de forma que
(254)

P x ] = i [X,
Note-se que

,P y ] = i [Y

P z ] = i [Z,

P y ] (r) = X P y (r) P y X (r) [X, ( ) (r) x (x (r)) = i x (r) + i x (r) = 0 , = X i P y y y


de modo que

P y ] = 0. [X,

Verica-se que (255)

P y ] = [X, P z ] = [Y ,P x ] = [Y ,P z ] = [Z, P x ] = [Z, P y ] = 0 , [X,


pois os graus de liberdade

x, y

so independentes. Note-se ainda que

Y ] (r) = X (Y (r)) Y (X (r)) = X (x (r)) Y (y (r)) = xy (r) yx (r) = 0 , [X,


e verica-se que

Y ] = [X, Z ] = [Y ,Z ] = [Z, X ] = 0 . [X,


Alm disso,

(256)

x , P y ] (r) = P x (P y (r)) P y (P x (r)) [P ( ) [ ( )] (r) (r) i i i = i x y y x =


Verica-se tambm que

2 (r) + xy

2 (r) =0. yx

x , P y ] = [P x , P z ] = [P y , P z ] = [P z , P x ] = 0 . [P
As relaes em (254), (255), (256) e (257) podem ser agrupadas do seguinte modo:

(257)

j , R k ] = i jk [R
Essas relaes so chamadas de

j , R k ] = 0 , [R

j , P k ] = 0 [P

(258)

relaes cannicas de comutao.


41

Agora, usando a relao (66), temos

2, P x ] = [X X, P x ] = X [X, P x ] + [X, P x ]X =i X +i X = 2i X [X
que leva a

3, P x ] = [X 2 X, P x ] = X 2 [X, P x ] + [X 2, P x ]X =i X 2 + 2i X 2 = 3i X 2 [X
o que, por sua vez, leva a

4, P x ] = [X 3 X, P x ] = X 3 [X, P x ] + [X 3, P x ]X =i X 3 + 3i X 3 = 4i X 3 [X
Continuando dessa forma, pode-se obter qualquer potncia de resultados acima por

. X

Podemos generalizar os (259)

n, P x ] = i nX n1 [X x : P

Resultado semelhante vale para potncias de

n n1 P x x [X, ] = i nP

(260)

Seguindo o mesmo procedimento que levou a (253), pode-se obter uma relao de comutao geral de

x P

com uma funo

) f (X

arbitrria:

), P x ] = i df (X ) [f (X dX
onde

, f (R )] = i F (R ) [P

(261)

uma funo do operador

. R P ] [X,
na representao do momento. O operador

Vamos calcular agora o comutador

dado, na representao do momento pela relao (250). Temos, ento,

P ] (p) = X P ( p) P X (p) [X, =i (p) (p (p)) i p p p (p) (p) i p p p

= i (p) + i p = i (p) ,
de forma que, na representao do momento,

] [ ,P = i [X, P ] = i p
J vimos que na representao de posio,

(262)

] [ =i [X, P ] = X, i x

(263)

A forma explcita dos operadores depende da representao adotada, mas

mutao para operadores so independentes da representao.


42

as relaes de co-

6.5 Operador de Paridade


A operao de

reexo espacial em torno da origem do sistema de coordenadas denominada uma inverso ou de paridade. Essa transformao discreta. O operador de paridade denido por sua ao nos kets |r do espao de posio:
r = | r , P| = r| , r|P
(264)

tal que

(r) = (r) . P
O operador de paridade Hermitiano,

(265)

[ ] (r) = d3 r (r) (r) d3 r (r) P =


3

= P , P

pois

d r (r) (r) =

[ ] (r) (r) . d3 r P

(266)

Da denio (265), temos

2 (r) = P (r) = (r) , P


e assim,

(267)

2 P

igual ao operador unidade:

2 = I P

ou

=P 1 P

(268)

Logo, o operador de paridade unitrio, j que seu adjunto Hermitiano igual a seu inverso:

= P 1 P
Como

(269)

2 = I , P

os autovalores de

so

+1

1,

com os autoestados correspondentes (270)

+ (r) = + (r) = + (r) , P


O autoestado Como

(r) = (r) = (r) . P

|+

denominado

operador de paridade tm

, mas com autovalores |+ e | so autoestados do mesmo operador Hermitiano P + | = d


3 r + (r) (r)

par e o autoestado | mpar. paridade denida : so pares ou mpares.


Logo, as autofunes do

diferentes, esses autoestados devem ser ortogonais:

d3 r + (r) (r) = + | ,

(271)

+ |

zero.

Os estados

funo pode ser escrita como

|+ e | formam um conjunto completo, (r) = + (r) + (r), o que conduz a


,

j que qualquer

+ (r) =
Como

1 [ (r) + (r)] 2 { P n = P I

(r) =

1 [ (r) (r)] 2

(272)

2 = I , P

temos

quando quando

n n

mpar, par.

(273)

43

6.5.1

Operadores Pares e mpares


A
dito ser

Um operador

par

se obedece condio

A P =A P
e um operador

(274)

mpar

se obedece a

B P = B P
Verica-se que:

(275)

( ) P = P A P P =P A P 2 = P A A ( ) P = P B P P = P B P 2 = P B B
.

(276)

(277)

O fato de que operadores pares comutam com o operador de paridade, de acordo com (276), tem vrias conseqncias teis. Vamos examinar dois casos importantes que dependem de um operador par ter autovalores no degenerados ou degenerados:

Se um operador par Hermitiano e nenhum de seus autovalores degenerado, ento este operador tem os mesmos autovetores que o operador de paridade. E como os autovetores do operador de paridade so pares ou mpares, os autovetores de um operador Hermitiano, par e no degenerado devem tambm ser pares ou mpares; diz-se que eles tm

paridade denida.

Essa propriedade til em aplicaes onde se resolve a equao

de Schrdinger para Hamiltonianos pares.

Se o operador par tem um espectro degenerado, seus autovetores no tm necessariamente uma paridade denida.

E quanto paridade dos operadores posio e momento, que ambos so mpares. No caso de

? P

Pode-se facilmente mostrar

, R

por exemplo, temos e

|r = rP| R r = r| r P
de modo que

P| r = R| r = r| r , R
. (278)

= R P R P
Pode-se mostrar tambm que

= P P P P
De (278) e (278), tem-se

(279)

visto que

P = 1. P

Se o

P , R = R P par e o operador A A n P =A n P
e

P , P = P P mpar, operador B B nP = (1)n B n P

(280) pode-se vericar que . (281)

Essas relaes podem ser demonstradas facilmente. A primeira relao, por exemplo, vem de

A n P = (P A P )(P A P ) . . . (P A P ) P P A )(P P A ) . . . (P P A ) = (P 2A )(P 2A ) . . . (P 2A ) = A A ...A =A n = (P


44 . (282)

7 Mecnica Matricial e Mecnica Ondulatria


At agora trabalhamos a matemtica pertinente mecnica quntica em duas representaes diferentes: sistemas de base

discreta

e sistemas de base

contnua.

A teoria da mecnica

quntica lida, em essncia, com a soluo do seguinte problema de autovalor:

| = E | , H
onde

(283)

a Hamiltoniana do sistema. Essa equao geral e no depende de qualquer sistema

de coordenadas ou representao. Mas , para resolv-la precisamos represent-la em uma dado sistema de base. A complexidade associada resoluo dessa equao de autovalor ir variar de uma base para outra. No que se segue examinaremos a representao dessa equao de autovalor numa base

discreta

e ento numa base

contnua.

7.1 Mecnica Matricial


A representao da mecnica quntica numa base equao matricial de autovalor (veja (197)):

discreta

produz um problema

de autovalor. Ou seja, a representao de (283) numa base discreta

{|n }

matricial

produz a seguinte

H11 E H21 H31


. . .

H12 H22 E H22


. . .

H13 H23
. . .

... ...
..

H1N H2N H3 N
. . .

H33 E . . .
.

=0.

(284)

HN 1
Esta uma equao de sistema:

HN 2

HN 3

. . . HN N E

N -simo grau em E ; suas solues fornecem o espectro de energia do EN . Conhecendo o conjunto de autovalores E1 , E2 , . . . , EN , podemos facilmente determinar o correspondente conjunto de autovetores |1 , |2 , . . . , |N . A diagonalizao da matriz Hamiltoniana 284 de um sistema fornece o espectro de energia E1 , E2 ,
...,

bem como os vetores de estado do sistema. Esse procedimento, que foi feito por Heisenberg, envolve apenas quantidades matriciais e equaes matriciais de autovalor. Essa formulao da mecnica quntica conhecida como

mecnica matricial.

O ponto de partida de Heisenberg, em sua tentativa de encontrar uma fundamentao terica para as idias de Bohr, foi a relao de transio atmica

nm =

Em En h

(285)

que d a freqncia de radiao associada transio eletrnica da rbita

para a rbita

n.

As freqncias

nm

podem ser arranjadas numa matriz quadrada, onde o elemento

mn

corresponde transio do sio

m-simo

para o

n-simo

estado quntico.

Podemos tambm construir matrizes para outras quantidades dinmicas associadas tran-

m n.

Desta forma, toda quantidade fsica representada por uma matriz. Por exem-

plo, representamos nveis de energia por uma matriz de energia, a posio por uma matriz de posio, o momento por uma matriz de momento, o momento angular por uma matriz de momento angular, e assim por diante. Assim, o clculo de quantidades fsicas envolve o

45

trabalho com a lgebra de quantidades matriciais. No contexto da mecnica matricial, lida-se com quantidades que no comutam, pois o produto de matrizes no comuta. Esta uma caracterstica essencial que distingue a mecnica matricial da mecnica clssica, onde todas as quantidades comutam. As componentes da posio e do momento no comutam no contexto da mecnica matricial, sendo relacionadas pela relao de comutao

P x ] = i [X,

. A mesma

coisa se aplica s componentes do momento angular. O papel desempenhado pelas relaes de comutao dentro do contexto da mecnica matricial similar ao papel desempenhado pelas condies de quantizao de Bohr na teoria atmica. exige, portanto, a introduo de arsenal matemtico  A mecnica matricial de Heisenberg

Hilbert, lgebra de comutadores

lgebra matricial

espaos vetoriais lineares, espao de

 que inteiramente diferente do arsenal

matemtico da mecnica clssica.

7.2 Mecnica Ondulatria


A representao do formalismo da mecnica quntica numa base senberg, mas na forma de uma (283) no

contnua

produz uma

problema de autovalor no na forma de uma equao matricial, como na formulao de Hei-

espao de posio

equao diferencial.

A representao da equao de autovalor

fornece

| = E r| . r|H
Como mostrado em (248), o Hamiltoniano dado por

(286) na representao

(r) 2 2 /(2m) + V

de posio, de forma que podemos escrever (286) numa forma mais familiar:

onde

2m

(r) (r) = E (r) 2 (r) + V

(287)

r| = (r) a funo de onda do sistema. Essa equao diferencial conhecida como a equao de Schrdinger. Suas solues fornecem o espectro de energia do sistema bem como suas funes de onda. Essa formulao da mecnica quntica na representao de posio chamada de mecnica ondulatria.
Ao contrrio de Heisenberg, Schrdinger tomou um ponto de partida inteiramente diferente em sua busca de uma justicao terica para as idias de Bohr. Ele partiu da hiptese ondapartcula, formulada por de Broglie, e a estendeu aos eltrons em rbita do ncleo. Schrdinger queria encontrar uma equao que descrevesse o movimento do eltron dentro do tomo. Aqui o foco est no aspecto

ondulatrio

do eltron. A condio de quantizao de Bohr,

L=n

equivalente relao de de Broglie, faa trs consideraes:

= 2 /p.

Para estabelecer essa conexo, basta que se

(a) o comprimento de onda da onda associada ao eltron em rbita est conectada ao momento linear do eltron por

= 2 /p;

(b) a rbita do eltron circular, e (c) a circunferncia da rbita do eltron um mltiplo inteiro do comprimento de onda do eltron, isto ,

2r = n.

Isto leva prontamente a

2r = n (2 /p),

ou

n = np L.

Isso signica que para cada rbita existe apenas um comprimento de onda associado com o eltron orbitante. Assim a condio de quantizao de Bohr implica, em essncia, em uma unicidade da funo de onda para cada rbita do eltron.

46

8 Notas Finais
Historicamente, a formulao matricial da mecnica quntica foi feita por Heisenberg pouco antes de Schrdinger ter introduzido sua mecnica ondulatria. A equivalncia entre as duas formulaes foi provada alguns anos depois atravs da teoria das transformaes unitrias. Diferentes na forma, ainda que idnticas em contedo, a mecnica ondulatria e a mecnica matricial atingem o mesmo objetivo: encontrar o espectro de energia e os estados de sistemas qunticos. A formulao matricial tem a vantagem da maior generalidade (formal), ainda que sofra de vrias desvantagens. Do lado conceitual, no oferece qualquer idia visual sobre a estrutura do tomo; menos intuitiva que a mecnica ondulatria. Do lado tcnico, difcil de se usar em problemas de relativa facilidade, como o de encontrar estados estacionrios de tomos. Contudo, se torna poderosa e prtica na resoluo de problemas como o oscilador harmnico ou no tratamento do formalismo do momento angular. Mas a maioria dos esforos da mecnica quntica se concentram na resoluo da equao de Schrdinger, no no problema de autovalor matricial de Heisenberg. A mecnica matricial usada apenas em poucos problemas, como o oscilador harmnico, onde mais adequada que a mecnica ondulatria de Schrdinger. Na mecnica ondulatria, precisamos apenas especicar o potencial no qual a partcula se move, e a equao de Schrdinger toma conta do resto. Ou seja, conhecendo

(r), V

podemos,

em princpio, resolver a equao (287) para obter os vrios nveis de energia da partcula e suas correspondentes funes de onda. A complexidade que se encontra na soluo da equao diferencial depende inteiramente da forma do potencial; quanto mais simples o potencial, mais fcil a soluo. Solues exatas da equao de Schrdinger so possveis apenas para uns poucos sistemas idealizados. Sistemas reais, em geral, no se prestam a solues exatas. Nesses casos, deve-se recorrer a solues aproximadas.

47