1 Relação de comutação entre [a, a†]

Neste estudo, escrito em Latex, destrinchamos passo a passo as contas usadas na apli-

cação da relação de comutação nos operadores de destruição e criação. Muitas outras con-

tas estão resolvidas no meu endereço eletrônico:http://elisiofisica.blogspot.com.

1.1 A função de onda (ψ(x, t))

Uma função de onda, dada por ψ(x, t), não possui significado fı́sico, pois é uma função

complexa. Para a função de onda ψ(x, t) possuir realidade fı́sica é necessário que seja

mensurável e real e, para que isso aconteça, temos que fazer a combinação da ψ(x, t) com

sua complexa conjugada ψ ∗ (x, t) e derivar estas combinações.

1.2 O operador posição (x )

Os operadores desempenham um papel importante na mecânica quântica. Sabemos

que as grandezas fı́sicas observáveis são representadas por operadores. Por exemplo: em

um sistema unidimensional a grandeza fı́sica posição x, é representada pelo operador x

CAPÍTULO 1. RELAÇÃO DE COMUTAÇÃO ENTRE [A, A† ] 2

não diferencial. O ato de medir uma dada posição pode ser expresso como

0
ψ(x, t) = x ψ(x, t) (1.1)

0
onde, x é o operador que representa a posição x e x é o resultado da medida.

1.3 O operador momentum linear (p)

O momentum linear p, operador diferencial e complexo, pode ser expresso como

∂
p = −i~ . (1.2)
∂x

Multiplicando e dividindo o segundo termo da equação (1.2) por i, temos

i ∂ 1 ∂ ~ ∂
p = (−i)~ = ~ = . (1.3)
i ∂x i ∂x i ∂x

Portanto,
∂ ~ ∂
p = −i~ = . (1.4)
∂x i ∂x

O ato de medir o momentum linear pode ser expresso como

∂ψ(x, t)
pψ(x, t) = −i~ (1.5)
∂x

e o valor de p é definido pela diferenciação da equação acima.

CAPÍTULO 1. RELAÇÃO DE COMUTAÇÃO ENTRE [A, A† ] 3

1.4 Relação de comutação entre operadores

Dado dois operadores A e B, a relação de comutação entre esses operadores [A, B] é

definida como

[A, B] = AB − BA (1.6)

e, a relação de anticomutação é definida como

{A, B} = AB + BA. (1.7)

Dois observáveis, A e B, são compatı́veis quando seus correspondentes operadores

comutam entre si, ou seja,

[A, B] = 0. (1.8)

Dois observáveis, A e B, são incompatı́veis quando seus correspondentes operadores

não comutam entre si, ou seja,

[A, B] 6= 0. (1.9)

1.5 Aplicando a relação de comutação entre os ope-

radores [a, a†]

Aplicando a relação de comutação dada pela equação (1.6) nos operadores de destru-

ição e criação resulta em

[a, a† ] = aa† − a† a. (1.10)

CAPÍTULO 1. RELAÇÃO DE COMUTAÇÃO ENTRE [A, A† ] 4

Neste trabalho vamos provar que

[a, a† ] = 1. (1.11)

Em estudo anterior (Você pode visualizar este estudo clicando em Operadores de destru-

ição e criação) verificamos que o operador de levantamento ou operador de criação, não

hermitiano, é definido por

r
† mw p
a = (x − i ). (1.12)
2~ mw

Verificamos, também, que o operador de destruição ou de abaixamento, não hermitiano,

é definido por
r
mw p
a= (x + i ). (1.13)
2~ mw

Trabalhando com a equação (1.13), temos que

r r r r r
mw p mw mw p mw mw
a= (x + i )= x+i = x+i p (1.14)
2~ mw 2~ 2~ mw 2~ 2~m2 w2

que resulta na expressão

r r r r
mw 1 2mw 2
a= x+i p= x+i p (1.15)
2~ 2~mw 4~ 4~mw

que pode ser escrita como

r r
1 2mw 1 2
a= x+ i p (1.16)
2 ~ 2 ~mw

ou da forma
r r
1 2mw 2
a= ( x+i p). (1.17)
2 ~ ~mw
CAPÍTULO 1. RELAÇÃO DE COMUTAÇÃO ENTRE [A, A† ] 5

Trabalhando com a equação (1.12), temos que

r r r r r
† mw p mw mw p mw mw
a = (x − i )= x−i = x−i p. (1.18)
2~ mw 2~ 2~ mw 2~ 2~m2 w2

A equação (1.18) resulta em

r r r r
† mw 1 2mw 2
a = x−i p= x−i p (1.19)
2~ 2~mw 4~ 4~mw

que, também, pode ser escrita como

r r
1 2mw 1 2
a† = x− i p (1.20)
2 ~ 2 ~mw

ou da forma
r r
1 2mw 2
a† = ( x−i p). (1.21)
2 ~ ~mw

Substituindo a equação (1.17) e equação (1.21) na equacão (1.10) temos como resultado

r r
† 11 2mw 2
[a, a ] = ((x(ip) + x(−ip) − (x(−ip) + x(ip))) (1.22)
22 ~ ~mw

1
[a, a† ] = (x(ip) + x(−ip) − ((−ip)x + x(ip))) (1.23)
2~

1
[a, a† ] = (x(−ip) + (ip)x + (ip)x − x(ip)) (1.24)
2~

1
[a, a† ] = ([x, −ip] + [ip, x]) (1.25)
2~

1
[a, a† ] = (−i[x, p] + i[p, x]) (1.26)
2~

1
[a, a† ] = (i[p, x] + i[p, x]) (1.27)
2~
CAPÍTULO 1. RELAÇÃO DE COMUTAÇÃO ENTRE [A, A† ] 6

1 2i 2i
[a, a† ] = 2i[p, x] = [p, x] = (−i~) = i(−i) = −(−1) = 1 (1.28)
2~ 2~ 2~