Você está na página 1de 24

CBPF-NF-068/01

ESTADOS COERENTES EM MECA^ NICA QUA^ NTICA


(Coherent States in Quantum Mechanics)

R. de Lima Rodrigues
Centro Brasileiro de Pesquisas Fsicas
Rua Dr. Xavier Sigaud, 150, CEP 22290-180, Rio de Janeiro-RJ, Brazil
Damasio Fernandes Junior e Sheyla Marques Batista
Departamento de Engenharia Eletrica, Universidade Federal da Paraba, Campina
Grande-PB

RESUMO

Apresentamos uma revis~ao sobre os Estados Coerentes em mec^anica qu^antica n~aorelativstica, analisando os osciladores qu^anticos nos estados coerentes. Os Estados Coerentes obtidos via atuaca~o de um operador deslocamento sobre a func~ao de onda do estado
fundamental do oscilador e a conex~ao com a O ptica Qu^antica que foram implementadas
por Glauber t^em sido tambem consideradas. Uma possvel generalizaca~o para a construca~o de novos Estados Coerentes e indicada.

ABSTRACT

We present a review work on the coherent states in non-relativistic quantum mechanics


analysing the quantum oscillators in the coherent states. The coherent states obtained via
a displacement operator that act on the wave function of ground state of the oscillator and
the connection with Quantum Optics which were implementted by Glauber have also been
considered. A possible generalization to the construction of new coherent states is pointed out.

Key-words: Estados coerentes; O ptica qu^antica; Osciladores qu^anticos.

Permanente endereco: Departamento de Ci^encias Exatas e da Natureza, Universidade Federal


da Paraba, Cajazeiras { PB, 58.900-000 - Brazil-E-mail:rafaelr@cbpf.br ou rafael@cfp.ufpb.br


CBPF-NF-068/01

I. INTRODUCA~ O
Logo apos Schrodinger postular a equac~ao diferencial que governa a evoluca~o no tempo
da onda de materia de de Broglie, culminando com o surgimento da mec^anica qu^antica
n~ao-relativstica em 1926 [1], ele investigou a possibilidade de se construir autofunc~oes
qu^anticas, para um oscilador harm^onico simples, com as seguintes caractersticas: estados qu^anticos descritos por func~ao de onda gaussiana geral, com a largura da gaussiana
que descreve o estado fundamental, que tivessem momento linear e energia arbitraria,
seguissem a trajetoria de uma partcula classica no potencial e n~ao mudassem sua forma
com o tempo. Tais estados foram denominados de estados quasi-classicos devido ao fato
de possurem uma analogia classica. Como as autofunc~oes que descrevem esses estados
s~ao gaussianos, eles possuem incerteza mnima, conforme a relac~ao de incerteza de Heisenberg. Quando se considera os Estados Coerentes na descric~ao de Schrodinger, v^e-se
que a probabilidade de encontrar o oscilador numa posic~ao tem de fato um signi cado
especial: ela e uma func~ao gaussiana que depende do tempo e da posic~ao, centrada num
ponto que oscila de forma analoga a posic~ao horaria do oscilador harm^onico simples em
mec^anica classica [2].
A construca~o dessas autofunc~oes na epoca serviu para desfazer a objec~ao de Lorentz
em usar pacotes de ondas para representar partculas, porque os pacotes podiam se alargar
com o tempo.
Com o surgimento do laser em dezembro de 1960, se iniciou uma serie de trabalhos
sobre a interaca~o da materia com o campo eletromagnetico. Klauder [3] usou esses estados
quasi-classicos para mostrar a equival^encia entre as descric~oes da mec^anica semiclassica e
da mec^anica qu^antica de feixes de luz com estatstica arbitraria, sem considerar os efeitos
n~ao-lineares. Por outro lado, Glauber (1963) [4,5] tinha o objetivo principal de mostrar
uma descric~ao consistente para a teoria qu^antica da coer^encia optica. Em outros artigos,
Glauber consolidou a ideia de que os autoestados qu^anticos de um campo de radiac~ao
s~ao exatamente os autoestados do operador de aniquilac~ao dos quanta do campo eletromagnetico (fotons). Ele mostrou que essas autofunc~oes podem ser obtidas a partir da ac~ao
de um operador de deslocamento sobre o vacuo do campo eletromagnetico livre. Mostrou
tambem que essas duas de nic~oes s~ao equivalentes aos estados de incerteza mnima descobertos por Schrodinger. Esses estados qu^anticos foram denominados pela primeira vez,
por Glauber, de Estados Coerentes. Os Estados Coerentes possuem as duas importantes

CBPF-NF-068/01

propriedades: n~ao-ortogonalidade e completeza.


Esses trabalhos abriram uma nova area de pesquisa denominada de O ptica Qu^antica.
Veja por exemplo os livros textos em [6,7] e uma colet^anea de trabalhos sobre as propriedades e aplicaco~es dos Estados Coerentes publicados ate 1985 [8].
Estados coerentes s~ao ingredientes bastante familiares a Fsicos da area de O ptica
Qu^antica, sendo suas ferramentas de trabalho do dia-a-dia. Este trabalho tem como
objetivo principal levar os pesquisadores de outras areas e o leitor que estudou mec^anica
qu^antica a se inteirarem da suma import^ancia dos Estados Coerentes em O ptica Qu^antica
e apontar possveis generalizac~oes. Excelentes trabalhos com abordagens diferentes sobre
os Estados Coerentes para o oscilador qu^antico, dando ^enfase as respectivas aplicac~oes

em Optica
Qu^antica, podem ser encontrados nos mini-cursos sobre "Teoria Qu^antica do
Laser" nas Escolas de Ver~ao Jorge Andre Swieca, sec~ao de O ptica Qu^antica e O ptica
N~ao-Linear, citando as refer^encias [9{11]. Uma linha de pesquisa que tem sido destacada
nestes eventos e o desenvolvimento de tecnicas para controlar o movimento de atomos em
laboratorios brasileiros, bem como em varios laboratorios em outros paises. Utilizando a
press~ao de radiaca~o laser os atomos frios s~ao aprisionados a temperaturas muito baixas,
possibilitando o estudo de varios efeitos importantes [12].
Recentemente, foi elaborado um trabalho de revis~ao sobre a real necessidade de uma
teoria qu^antica para a luz, destacando os efeitos n~ao classicos surgidos a partir da observac~ao, em 1977, do efeito anti-agrupamento de fotons, listando muitas refer^encias [13].
Este trabalho foi organizado da seguinte maneira: na sec~ao II, construmos os Estados
Coerentes como sendo as autofunc~oes do operador de abaixamento dos nveis de energia
do oscilador; na sec~ao III, analisamos os Estados Coerentes obtidos via um operador
deslocamento atuando sobre a func~ao de onda do estado fundamental do oscilador; na
sec~ao IV, e mostrado que os Estados Coerentes s~ao estados de incerteza mnima; na sec~ao
V, consideramos a interpretac~ao fsica dos Estados Coerentes, abordando o procedimento
de quantizac~ao can^onica do campo eletromagnetico. A conclus~ao e apresentada na sec~ao
VI, inclusive a analise de uma generalizac~ao para a construc~ao de novos Estados Coerentes.

CBPF-NF-068/01

II. PROPRIEDADES DOS ESTADOS COERENTES


Nesta sec~ao, abordamos algumas propriedades dos Estados Coerentes (EC) para o
Oscilador Harm^onico Simples (OHS). Como uma superposic~ao das autofunc~oes do oscilador harm^onico simples, eles s~ao de nidos como sendo as autofunco~es do operador de
abaixamento do OHS, ou seja, os EC satisfazem a equac~ao de autovalor do operador de
abaixamento dos nveis de energia do OHS. Utilizando a notac~ao de bra-ket de Dirac e
o sistema de unidades at^omicas (~ = ! = m = 1), obtem-se as seguintes propriedades
do operador hamiltoniano que governa o OHS, na representac~ao dos estados de numeros
jn >:
H j n >= En j n >; En = n + 21 ; n = 0; 1; 2; : : :
(1)
[a;; a ]; = 1; a = (a;)y;

(2)

[H; a]; = a;

(3)

onde o operador hamiltoniano pode ser expresso como:


H = 21 [a;; a ]
= 12 (a a; + a;a ) = a a; + 12 :
+

(4)

Os operadores de abaixamento e levantamento dos nveis de energia do OHS, respectivamente, a; e a geram os autoestados de numero, pois atuando-os sobre um ket jn >
obtem-se outro ket jn  1 >:
+

a; j n >= n j n ; 1 >;

a j n >= n + 1 j n + 1 > :
+

(5)
(6)

Essas equac~oes constituem a algebra de Heisenberg-Weyl, as quais s~ao encontradas


nos livros textos como sendo denominadas de metodos de fatorizac~ao ou metodo de operador em mec^anica qu^antica [2,21{23]. Os operadores escada a, na representac~ao x (ou

CBPF-NF-068/01

representac~ao de coordenada), s~ao de nidos atraves de uma combinac~ao linear dos operadores de momento linear e posic~ao e, por sua vez, podem ser escritos em termos da
parte espacial da func~ao de onda do estado fundamental do OHS. De fato, o operador de
abaixamento na representac~ao de coordenada torna-se:

i p^ + x^
a;  p m!
x
2"
#
i

d
= p m! (;i~ dx ) + x
2
!

~ d
= p m! dx + x
2
!

~ d
d
= p m! dx ; dx `n (x) ; a = (a;)y;
(7)
2
(0)

(x) =< xj0 > e a parte espacial da func~ao de onda que descreve o
onde = m!
~ e
estado fundamental do OHS, na representac~ao x, a qual e proporcional a exp(; x 2 ). O
operador hamiltoniano toma a seguinte forma na representac~ao de coordenadas:
d + 1 m! x :
H = ; 2~m dx
(8)
2
Note que, de acordo com a ultima express~ao para a;, podemos construir operadores de
abaixamento e levantamento para outros sistemas qu^anticos, cujas relac~oes de comutac~ao
n~ao ser~ao as mesmas do OHS. Retomaremos esta analise na conclus~ao.
Os Estados Coerentes s~ao de nidos pela seguinte equaca~o de autovalor:
2

(0)

a; j >= j >;

(9)

onde o autovalor pode ser um numero complexo, pois o operador de abaixamento e n~ao
hermitiano e, por sua vez, n~ao pode representar uma medida fsicay.
O produto escalar de duas autofunc~oes do OHS resulta em um delta de Kronecker,
ou seja, o bra-ket < mjn >= mn e zero, quando m for diferente de n, ou e 1 quando
m for igual a n, ent~ao os kets jn > podem ser ortogonais ou ortonormais e, por sua vez,
o conjunto fjn >g e completo. Portanto, pelo teorema da expans~ao, os EC podem ser
Os observaveis em fsica qu^antica s~ao representados por operadores lineares e hermitianos.
Um operador hermitiano possui autovalores reais e autofunc~oes ortogonais.
y

CBPF-NF-068/01

representados como uma combinac~ao linear (superposic~ao) dos autokets do OHS, a saber,

j >=

1
X
n=0

cn j n > :

(10)

Neste caso, o lado esquerdo da equac~ao de autovalor a; j >= j > pode ser
escrito na forma abaixo:
1
X

a; j > = a;
=
=

1
X

n=0

n=0
1
X
n=0

cn j n >

cn a; j n >

cn n j n ; 1 > :

(11)

Manipulando o ndice dessa ultima equac~ao (n ! m + 1), podemos ainda escrev^e-la


como

a; j > =
=

1
X
m=0
1
X
n=0

cm

+1

cn

+1

m+1jm>

n+1jn>:

(12)

Usando a superposic~ao de autokets de numero em (10), e comparando as equac~oes (9)


e (12) encontramos a seguinte relac~ao de recorr^encia dada por:
cn = p cn ;
(13)
n+1
onde, por induc~ao, podemos expressar cn em termos de c , isto e;
n
cn = p c :
(14)
n!
Portanto, os autokets do operador de abaixamento do OHS, j >, s~ao representados
segundo a express~ao abaixo:
1 n
X
(15)
j >= c p n! j n > :
n
Aplicando agora a condic~ao de normalizac~ao < j >= 1, e lembrando-se que
(< n j n >= 1, obtem-se o valor da constante c que sera dada por:
< j >= 1 ) c = exp(; 21 j j ):
(16)
+1

=0

CBPF-NF-068/01

Substituindo, nalmente, o valor de c na equac~ao (15), obtemos os EC normalizados:


0

j >= exp(; 21 j j )
2

1
X

p j n > :
n

(17)

n!

n=0

O bra (< j) de um EC e dado por:

j >= exp

X
1  n0
1
p 0 < n0 j :
; 2 j j
n!
0
n

(18)

=0

Uma propriedade importante para os Estados Coerentes j > e que eles s~ao n~aoortogonais, ou seja, o produto escalar entre dois EC e n~ao-nulo:

j< j 0 >j = exp(;j ; 0j ):


2

(19)

Como seria esperado, pois eles s~ao autokets de um operador n~ao-hermitiano.


Os EC s~ao um conjunto supercompleto, pois e possvel expressar qualquer autoket de
um estado qu^antico do OHS em termos dos EC, inclusive dele proprio. Agora faremos a
demonstrac~ao da propriedade de completeza. De fato, seja = j jei, ent~ao temos:
Z

j >< jd =
2

Z1
0

j jdj j

Z 2
0

dj >< j:

Usando a expans~ao (17), obtemos


Z

j >< jd =
2

= 2
e, portanto,

XZ 1

XZ 1

n;n0

Z 
n n0
j

j
2
;j

j
dei n;n0 jn >< n0j
j jdj j p 0 e
+

n!n !

dj je;j j2 j jn! jn >< nj = 


n

2 +1

jn >< nj = ;

1 Z j >< j d = 1:
(20)

Vimos que para deduzirmos esta relac~ao de completeza dos EC utilizamos (a correspondente relac~ao dos autokets de numero) Pnn 1 jn >< nj = 1. Devemos dizer tambem
que usamos o delta de Kronecker
2

=
=0

Z 2
0

para eliminar um somatorio.

dei n;n0 = n;n0


(

(21)

CBPF-NF-068/01

III. ESTADOS COERENTES VIA OPERADOR DESLOCAMENTO


Utilizando a equac~ao (3) com sinal positivo, vemos que o n-esimo autoestado excitado
do OHS e obtido a partir do autoestado fundamental atuando o operador de levantamento
n-vezes, a saber:
j n >= p1 (a )n j 0 > :
(22)
n!
Substituindo essa ultima express~ao na equac~ao (17) obtemos um resultado generico
para j >:
1 ( a )n
X
1
1 j j ) exp( a ) j 0 > :
j
0
>
=
exp(
;
(23)
j >= exp(; 2 j j )
n!
2
n
Este operador atuando sobre o autoestado fundamental e um operador deslocamento
e unitario. De fato, utilizando a formula de Baker-Campbell-Hausdor , para dois operadores cujo comutador e um c-number ([A; B ] = c-number),
exp(; 21 [A; B ]) exp(A) exp(B ) = exp(A + B );
obtemos:
+

=0

j >= e ;j2 j e a+ j 0 >= e a+; a; j 0 > D( ) j 0 > :

(24)

Neste caso, os Estados Coerentes para o OHS s~ao de nidos como sendo aqueles autoestados obtidos pela atuaca~o de um operador deslocamento sobre o autoestado fundamental
j > D( ) j 0 >, onde pode assumir valores complexos.
As propriedades do operador D( ) s~ao as seguintes:

D( ) = exp( a ; a;); D; ( ) = Dy( )

(25)

D; ( )a;D( ) = a; +

(26)

D; ( )a D( ) = a + :

(27)

Por isso D( ) e chamado de operador deslocamento. Note que ate aqui vimos duas
de nic~oes equivalentes para os Estados Coerentes.

CBPF-NF-068/01

IV. ESTADOS COERENTES COMO ESTADOS QUASI-CLA SSICOS


Na representac~ao de coordenada (denominada tambem de representaca~o de
Schrodinger) os Estados Coerentes s~ao func~oes gaussianas [2] e, consequentemente, satisfazem a relac~ao de incerteza mnima de Heisenberg. Pois, todos os estados qu^anticos
descritos por func~oes de onda gaussianas satisfazem a incerteza mnima:
x = px = p1 ) xpx = ~2 = 12 ; ~ = 1
(28)
2
onde as vari^ancias na posic~ao e no momento linear, x e px, s~ao calculadas nos Estados
Coerentes, segundo as express~oes abaixo:
x=< x >j > ; < x >j >
px=< px >j > ; < px >j > :
2

(29)

Para se calcular os valores esperados de x nos estados coerentes, utilizando as suas


de nic~oes em termos dos operadores escada, obtem-se,
2

< x > = < (a; + a ) >= f< (a;) > + < (a ) > +2 < a a; > ;1g
= f + ( ) + 2j j ; 1g = f4Re( ) ; 1g:
(30)
2

+ 2

+ 2

E importante observar que apesar das medias de x e px sobre os autokets do operador


de numero serem nulas,

< x >jn> =< n j x^ j n >=< px >jn> = 0;

(31)

para os Estados Coerentes temos que < x >j > e proporcional a uma func~ao cosseno, que
e o analogo classico da func~ao periodica do OHS:

< x(t) >j >= x e;i!t + x ei!t = C cos(!t ; );


0

onde a constante C e dada por

C = 2x  = 2x j j:
0

(32)

(33)

A equac~ao (32) nos indica que o valor esperado de x(t) nos Estados Coerentes j >
e proporcional a uma func~ao cosseno, assim como na Mec^anica Classica, so que com uma

CBPF-NF-068/01

amplitude C diferente do caso classico. C e proporcional ao modulo do autovalor complexo


do operador de abaixamento a;.
O operador de numero N , tem um signi cado importante quando calculamos o valor
esperado do numero de quanta nos Estados Coerentes:

< N >j >=< jN j >=< j a a; j >=< j  j >= j j ;


+

(34)

ou seja, < N >j > e o modulo quadrado de , partindo do princpio de que os Estados
Coerentes s~ao normalizados (< j >= 1). Note que usamos a de nic~ao de estados
coerentes can^onicos (a; j >= j >) e o fato de que a s~ao operadores mutuamente
adjuntos ((a; )y = a ; (a )y = a;).
A probabilidade de encontrar o oscilador no n-esimo nvel nos estados coerentes j >
e
< n >nj >
2 j j n
;j

j
Pn( ) = j < nj > j = e
(35)
n! = exp(; < n >j >) n! :
Essa distribuica~o de probabilidade e uma distribuic~ao de Poisson que tambem expressa
a distribuic~ao do numero de quantum nas ondas classicas.
+

V. INTERPRETACA~ O FISICA PARA OS ESTADOS COERENTES


Iniciamos esta sec~ao mostrando que a hamiltoniana do campo de radiac~ao livre e
formalmente analoga a soma de um numero in nito de hamiltonianos do tipo-OHS, de
modo que podemos aplicar os resultados da sec~ao anterior para a quantizaca~o do campo.
Usando as equaco~es de Maxwell, para os campos eletrico (E~ ) e magnetico (B~ ) na
presenca de uma densidade de carga e uma densidade de corrente, no vacuo, obtem-se:
~  A;
~ E~ = ;r
~  ; @ A~ ;
B~ = r
(36)
@t
~ = ~i @x@ + ~j @y@ +
onde o operador nabla em coordenadas cartesianas (x; y; z) e dado por r
~k @z@ ;  e A~ s~ao, respectivamente, denominados
de potencial escalar e potencial vetor (ou campo eletromagnetico).
O campo eletromagnetico e dito estar no gauge (calibre) de Coulomb quando o potencial vetor satisfaz a seguinte condic~ao:

r~ : A~ = 0:

(37)

10

CBPF-NF-068/01

Considerando o campo eletromagnetico numa regi~ao do espaco em que a componente


transversal da densidade de corrente J~ e nula,

J~T = ~0;

(38)

obtem-se a seguinte equac~ao de onda:

; r A~ + c1 @@tA = 0;
2

(39)

onde c = p00 =3x10 ms , e a velocidade da luz no vacuo. Esta express~ao nos indica que a
luz e de natureza puramente eletromagnetica (sendo  e  , respectivamente, a constante
de permeabilidade magnetica e a constante de permessividade eletrica, ambas no vacuo).
Lembre-se que estamos considerando o campo em cada regi~ao do espaco como sendo livre.
Agora, prepararemos o cenario para usar o procedimento de quantizac~ao can^onica. A
equac~ao do campo eletromagnetico qu^antico resulta da substituica~o do potencial vetor
classico A~ por um operador da mec^anica qu^antica A^~ . A manipulac~ao nal para ser
executada no campo classico leva a uma forma das equac~oes classicas em que a transic~ao
para a quantizaca~o do campo livre e direta.
Vamos trabalhar com uma regi~ao cubica do espaco de lado L. Consideramos a cavidade meramente como uma regi~ao do espaco, sem quaisquer fronteiras reais. E tambem
trabalhamos com o potencial vetor em lugar do campo eletrico ou campo magnetico.
A partir de todas essas consideraco~es, o potencial vetor numa cavidade (caixa cubica)
pode ser expandido em uma serie de Fourier, cuja soluc~ao real (A~ = A~ ) satisfaz a condic~ao
periodica dentro da caixa, a saber:
1

X
A~ = fA~~k (t) exp(i~k :~r) + A~~k (t) exp(;i~k :~r)g;

~k

(40)

onde as componentes do vetor numero de onda (que indica a propagac~ao de onda) ~k


tornam-se:
2ny ; k = 2nz ;
x
;
k
(41)
kx = 2n
y=
z
L
L
L
com

nx; ny ; nz = 0; 1; 2; 3; . . . :

(42)

11

CBPF-NF-068/01

A condic~ao do gauge de Coulomb (37) e satisfeita se

~k : A~~k (t) = ~k : A~~k(t) = 0;

(43)

ou seja, as componentes de Fourier s~ao perpendiculares ao vetor numero de onda ~k (dizemos que A~~k (t) e transverso). Consequentemente, ha duas direc~oes independentes de
A~~k (t), cujas componentes s~ao rotuladas por A~k ( = 1; 2) para cada ~k. As diferentes
componentes de Fourier para A~ s~ao independentes e satisfazem separadamente a equac~ao
de campo (39). Portanto,
~~k (t)
k A~~k (t) + c1 @ A
(44)
@t = 0;
com
2

X
A~~k = ~~k A~k ;

onde ~~k ; = 1; 2 s~ao os vetores de polarizac~ao unitarios, tais que ~k :~~k = 0, com ~~k
e ~~k perpendiculares entre si, ou seja, ~~k  ~~k = 0; quando for diferente de . A~~k (t)
satisfaz a mesma equac~ao (44). Os coe cientes de Fourier, portanto, satisfazem a uma
equac~ao formalmente analoga ao oscilador harm^onico simples classico
@ A~~k (t) + ! A~ (t) = 0;
(45)
k ~k
@t
onde
1

!k = c k:

(46)

Logo, o campo eletromagnetico e quantizado pela convers~ao da equac~ao (45) para


uma equac~ao formalmente analogo aquela do oscilador harm^onico da mec^anica qu^antica.
Para ver como isso pode ser feito, e aconselhavel expressar a equac~ao (45) tipo-oscilador
classico em termos de uma posic~ao e momento efetivos associados ao modo da cavidade.
Para isso, vamos avaliar a energia classica do modo normal da cavidade especi cada
pelo vetor ~k que esta na direc~ao da propagac~ao da onda eletromagnetica. A soluc~ao da
equac~ao (45) pode ser expressa por:

A~~k (t) = A~~k exp(;i!k t);

(47)

12

CBPF-NF-068/01

e o potencial vetor completo (40) torna-se:


X
A~ = fA~~k exp(;i!k t + i~k :~r) + A~~k exp(i!k t ; i~k :~r)g:

~k

e:

(48)

A energia media de um unico modo k contida em um ciclo do campo eletromagnetico

E~k = 21

 E~~k + 1 B~~k dV;


2

(49)

onde as barras denotam uma media em um ciclo, E~ ~k e B~ ~k s~ao os campos eletrico e


magnetico associados ao modo, que resulta em:

E~k = 2 V !~k A~~k : A~~k ;


2

(50)

onde V = L e o volume da cavidade.


Os modos A~~k e A~~k podem ser substitudos por um modo de posic~ao da coordenada
Q~k e um modo de momento P~k de acordo com as transformac~oes abaixo:
(51)
A~~k = q 1 (!~k Q~k + iP~k )~~k
4 V !~k
e
A~~k = q 1 (!~k Q~k ; iP~k )~~k :
(52)
4 V !~k
3

As coordenadas Q~k e P~k s~ao quantidades escalares e ~~k e um vetor de polarizac~ao unitario.
A equac~ao para a energia de um unico modo (50) e transformada pelas equac~oes (51)
e (52) em
(53)
E~k = 21 (P~k + !~k Q~k ):
Essa e a forma usual da energia para o oscilador harm^onico classico. O problema
de um campo eletromagnetico associado ao modo de cavidade e, portanto, equivalente ao
problema de um oscilador harm^onico classico, como ja havamos a rmado. A hamiltoniana
classica completa para a cavidade e construda fazendo-se o somatorio em ~k da express~ao
(53), ou seja,
X
H = 21 (P~k + !~k Q~k ):
(54)
~k
2

13

CBPF-NF-068/01

Vemos dessa express~ao para H que, a energia do campo eletromagnetico livre pode
ser colocada na forma da hamiltoniana de um conjunto de osciladores desacoplados.
Portanto, os Estados Coerentes para o oscilador harm^onico simples t^em grande import^ancia na O ptica Qu^antica. Eles s~ao analogos aos estados coerentes de um unico modo
do campo eletromagnetico quantizado.

A. A QUANTIZACA~ O DO CAMPO ELETROMAGNE TICO LIVRE


O campo eletromagnetico e agora quantizado atraves da associac~ao de um oscilador
harm^onico qu^antico com modo ~k do campo de radiac~ao. O modo ao qual um operador
da mec^anica qu^antica se refere e indicado por um subscrito; ent~ao a~k e a~;k s~ao operadores
que criam e destroem, respectivamente, um quantum de energia ~!~k no modo de cavidade
do campo eletromagnetico do vetor numero de onda ~k. Esses quanta s~ao denominado
de fotons. O numero de fotons excitados na cavidade e determinado pelo autovalor n~k
do operador de numero N^~k = a^~k a^~;k , e tem os possveis valores 0; 1; 2; . . .. O nvel
de excitac~ao de um modo da cavidade ~k e determinado pelo seu autoket jn~k >. Os
operadores de criac~ao e aniquilac~ao para o modo ~k aplicados ao ket jn~k > proporcionam
outros autokets:
+

a^~;k j n~k >= pn~k j n~k ; 1 >;

a^~k j n~k >= n~k + 1 j n~k + 1 >;


+

(55)

os quais atuam sobre o autoket qu^antico da partcula bos^onica (o foton) e, por sua vez,
pelo teorema de spin-estatstica satisfazem as seguintes relac~oes de comutaca~o can^onica:
[^a~;k ; ^a~k0 ] = ~k~k0 ;
+

[^a~;k ; ^a~;k0 ] = [^a~k ; a^~k0 ] = 0:


+

(56)

Os estados qu^anticos do campo de radiac~ao total podem ser especi cados pelo numero
de fotons n~k ; n~k ;    excitados num conjunto completo dos modos de cavidade ~k ; ~k ; . . ..
E importante lembrar que nos adotamos um unico smbolo ~k para o vetor numero de onda
e o vetor de polarizac~ao ~~k de um modo.
O estado qu^antico de campo eletromagnetico total e escrito como jn~k ; n~k ;    >.
Considerando que os diferentes modos da cavidade s~ao independentes, o autoket do campo
total pode ser escrito como um produto de autokets dos modos individuais:
1

jn~k ; n~k ; . . . >= jn~k > jn~k > . . .:


1

(57)

14

CBPF-NF-068/01

Assumimos sempre que os autokets dos modos individuais s~ao normalizados, e disto
segue que o autoket total do campo (57) e tambem normalizado. Um operador que se
refere a um modo normal particular ~ki afeta somente os fotons naquele modo particular,
por exemplo,

a^~;kijn~k ; n~k ; . . .; n~ki; . . . >= pn~kijn~k ; n~k ; . . .; n~ki ; 1; . . . >


1

(58)

e
q

a^~kijn~k ; n~k ; . . .; n~ki; . . . >= n~ki + 1jn~k ; n~k ; . . .; n~ki + 1; . . . >;


+

(59)

que s~ao uma aplicac~ao das regras (55) ao produto de autokets da equac~ao (57).
Para n~ao carregar muito a notac~ao (57), preferimos denotar os autokets do campo
total por:

jfn~k g >= jn~k > jn~k > . . .:


1

(60)

Os smbolos fjfn~k g >g denotam um conjunto completo de numeros que especi cam
os nveis de excitac~ao de todos os osciladores harm^onicos associados com os modos da
cavidade. Ha sempre um numero in nito de osciladores.
Os potenciais vetores classicos A~~k e A~~k para o modo da cavidade s~ao expressos em
termos de P~k e Q~k e s~ao convertidos em operadores da mec^anica qu^antica p^~k e q^~k por
substituic~oes diretas:
A~~k = q 1 (!~k Q~k + iP~k )~~k #
4 V !~k
v
u
u
1
q
(!~k q^~k + ip^~k )~~k = t 2 V~ ! ^a~;k ~~k
(61)
~k
4 V !~k
e
A~~k = q 1 (!~k Q~k ; iP~k )~~k #
4 V !~k
v
u
u
1
q
(!~k q^~k ; ip^~k )~~k = t 2 ~V ! a^~k ~~k ;
(62)
~k
4 V !~k
0

onde usamos as relac~oes (51) e (52) nos ultimos passos dessas equac~oes.
A transic~ao da mec^anica classica para a mec^anica qu^antica, portanto, consiste na
substituic~ao dos coe cientes classicos de Fourier A~~k e A~~k pelo operador de aniquilac~ao

15

CBPF-NF-068/01

a^~;k e o operador de criac~ao a^~k , multiplicados por um fator numerico e um vetor unitario.
A express~ao da mec^anica qu^antica para o potencial vetor e obtida pela substituic~ao das
equac~oes (61) e (62) na equac~ao (48),
+

v
u
X
^A~ = u
; exp(;i! t + i~k :~r) + a^ + exp(i! t ; i~k :~r)g:
t ~ ~~ fa
^
~k
~k
~
~k
k
20V !~k k
~k

(63)

Note que o potencial vetor e agora um operador.


Os resultados correspondentes para os operadores de campos eletrico E~^~k e magnetico
B~^~k associados com o modo ~k s~ao expressos atraves das seguintes equac~oes:
s

E~^~k = i 2~!V~k ~~k fa^~;k exp(;i!~k t + i~k :~r) ; ^a~k exp(i!~k t ; i~k :~r)g;

(64)

v
u
+
t ~ ~k  ~~ fa^; exp(;i!~ t + i~k :~r) ; a
~B^~k = iu
~
^
~
~
k
k
k
k exp(i!~k t ; ik :~r)g:
20V !~k

(65)

Os operadores para os campos eletrico e magnetico transversais s~ao ent~ao:


X
E^~ = E~^~k ;

(66)

X
B^~ = B~^~k :

(67)

~k

~k

Como um primeiro calculo que usa os operadores E~^~k e B~^~k , consideremos a energia
eletromagnetica contida num modo ~k para o estado qu^antico onde n~k fotons s~ao excitados.
A equac~ao classica (49) para a energia do campo E~k torna-se os seguintes autovalores:
!

Z
(68)
En~k = 21  < n~k jE^~ ~k : E^~ ~k jn~k > + 1 < n~k jB^~ ~k : B^~ ~k jn~k > dV:
Continuando os calculos, obtem-se o seguinte resultado para a energia do campo:
En~k = (n~k + 12 )~!~k :
(69)
Esse ultimo resultado e a express~ao usual para a energia do oscilador harm^onico. A
energia E = ~! e denominada energia de ponto zero.
0

1
2

16

CBPF-NF-068/01

O halmiltoniano para o campo eletromagnetico total na cavidade consiste no somatorio


de in nito termos de hamiltoniano de osciladores, que denotamos por H^ R:
X
H^ R = ~!~k (^a~k a^~;k + 12 );
(70)
~k
+

o qual e obtido substituindo os operadores de campos eletrico e magnetico na densdade


de energia. Subtraindo o termo constante (e in nito) deste hamiltoniano do campo eletromagnetico quantizado, obtemos:
X
H^ = ~!~k ^a~k a^~;k :

(71)

~k

A enegia total da radiac~ao para o auto-estado jfn~k g > torna-se:


X
X
E = E~k = (n~k + 21 )~!~k ;
~k
~k

(72)

que e o somatorio das contribuic~oes de um unico modo da equac~ao (69). Portanto, a


energia total do campo eletromagnetico e a soma do numero de fotons multiplicada pela
energia de cada foton adicionada de in nitos termos ~!~k , o que resulta numa energia
total divergente. Como na pratica o que se mede e a diferenca de energia total, ent~ao a
energia de ponto zero deve ser subtrada de modo que o resultado da diferenca de energia
sera nito.
Os operadores a^~k e ^a~;k s~ao chamados respectivamente de operadores de criac~ao e
aniquilac~ao de fotons e s~ao escritos em termos do vetor de polarizac~ao  ~k que e rotulado
por = 1; 2,
1
2

a^~k =

 ~k a^ ~k =  ~k ^a~k +  ~ka^~k :


1

(73)

Nessa abordagem um quantum e denominado de foton e, por sua vez, os autokets do


operador de numero t^em um valor bem de nido para os fotons em cada modo ~k.
Note que o hamiltoniano do campo eletromagnetico livre representa uma soma de
hamiltonianos formalmente analogos ao do OHS. Logo, as propriedades dos estados de
numero desenvolvida na sec~ao anterior podem ser estendidas para os varios modos do
campo eletromagnetico quantizado, com a substituic~ao do ket jn > por um produtorio
de kets que s~ao representados por jfn~k g >, os quais s~ao conhecido como estado de Fock
[5,6,8,7,9].

17

CBPF-NF-068/01

Vale a pena salientar que, em primeira quantizac~ao, para o oscilador harm^onico simples
os operadores de criac~ao e aniquilac~ao s~ao uma combinac~ao linear dos operadores de
posic~ao e de momento linear, enquanto que, em segunda quantizac~ao, para o campo
eletromagnetico eles n~ao t^em uma representac~ao de coordenadas, mas fazem parte do
proprio campo. Realmente, tais operadores de criac~ao e aniquilac~ao s~ao os coe cientes
dos termos oscilatorios do campo.
O valor esperado do campo eletrico nos autokets de Fock e nulo, isto e:

< E^~ ~k >jn~k >= 0:

(74)

Portanto, o campo eletrico nesse estado n~ao possui analogo classico. Mas, para os
Estados Coerentes no modo ~k, temos:
s

< E^~ ~k >j ~k >= i ~V! exp(iK~ :~r) ~k~ + cc;


(75)
onde cc e o complexo conjugado.
Isto quer dizer que o valor esperado do campo eletrico nos Estados Coerentes, para
um unico modo, coincide com o valor classico, a menos da amplitude de oscilac~ao.
Uma propriedade Fsica muito importante dos Estados Coerentes e que o modulo
quadrado de ~k e o numero medio de fotons no estado j ~k >:
< N >=< ~k jN j ~k >=< ~k ja a;j ~k >= j ~k j :
+

(76)

Em outras palavras, o modulo quadrado de ~k nos fornece o numero medio de fotons


naquele modo.

18

CBPF-NF-068/01

VI. CONCLUSA~ O
Consideramos as principais caractersticas do oscilador qu^antico unidimensional (oscilador harm^onico simples) nos Estados Coerentes (EC). Vimos que qualquer autofunc~ao
do espaco de Hilbert pode ser expandida numa base constituda de Estados Coerentes,
fj >g, para o oscilador harm^onico simples. Deduzimos a relac~ao de completeza para os
EC.
Mostramos tambem que os EC para o oscilador harm^onico simples desempenham um

papel muito importante em Optica
Qu^antica. Eles diagonalizam o hamiltoniano e s~ao os
autokets (autovetores) do operador de aniquilac~ao associados a um unico modo do campo
eletromagnetico [3{7,9,10].
Os Estados Coerentes para o oscilador harm^onico unidimensional satisfazem as tr^es
de nic~oes equivalentes: (i) autofunc~oes do operador de abaixamento; (ii) obtidos via
um operador deslocamento atuando sobre a func~ao de onda do estado fundamental do
oscilador e (iii) estados de incerteza mnima.
Observamos a import^ancia Fsica dos Estados Coerentes quando trabalhamos com o
campo eletromagnetico utilizando a analogia com as equac~oes para o oscilador harm^onico
simples. Vimos que nos estados de Fock o valor esperado do campo eletrico e nulo e,
por sua vez, n~ao tem analogia classica, enquanto que nos Estados Coerentes o valor
esperado do campo eletrico tem o seu analogo classico. Vimos ainda uma propriedade
fsica muito importante dos Estados Coerentes, a saber: o numero medio de fotons nos
Estados Coerentes de um unico modo (j >) e igual ao modulo quadrado de . Isso quer
dizer que basta encontrar o ket j > para saber o numero medio de fotons nesse estado
qu^antico, calculando o valor de j j [5-10].
Finalizamos este trabalho analisando a generalizac~ao para a construc~ao de novos Estados Coerentes [24]. Vimos que podemos expressar o operador de abaixamento em termos
da func~ao de onda que descreve o estado fundamental do oscilador harm^onico simples,
o que nos proporciona uma generalizac~ao para se construir novos Estados Coerentes.
Obviamente, na respectiva generalizac~ao, os operadores de levantamento e abaixamento
n~ao satisfazem as mesmas relac~oes de comutac~ao do oscilador harm^onico simples, pois
teramos outra funca~o de onda descrevendo o estado fundamental do respectivo sistema
qu^antico.
De fato, considere um hamiltoniano cuja relac~ao de comutac~ao com os operadores de
2

19

CBPF-NF-068/01

levantamento (A ) e abaixamento (A;) resulta respectivamente em n~!A, onde n e


um numero inteiro. Os novos estados coerentes s~ao autofunc~oes do respectivo operador
de abaixamento. Eventualmente, pode ocorrer que em tais casos as de nic~oes de Estados
Coerentes n~ao sejam equivalentes. Por exemplo, quando n = 2 obtemos a relac~ao de
comutac~ao escada para o oscilador harm^onico unidimensional adicionado de uma barreira



de potencial centrfugo Hob = ; dxd22 + x +  x2 , onde  pode assumir qualquer
valor real.
Neste caso, pode ser demonstrado que as de nic~oes de Estados Coerentes n~ao ser~ao
equivalentes, ou seja, os EC como autofunc~oes do operador de abaixamento s~ao diferentes
dos EC obtidos via um operador deslocamento atuando sobre a autofunc~ao do estado
fundamental de Hob [20]. Devemos enfatizar que os nveis de energia de Hob s~ao igualmente
espacados, cuja diferenca entre dois nveis adjacentes resulta em dois quanta. Lembre-se
que no caso do OHS essa diferenca e um quantum.
Como uma informac~ao complementar a esse trabalho de revis~ao, vale a pena ressaltar
algumas generalizac~oes: Em 1971, Barut e Girardello generalizaram a de nic~ao de Estados
Coerentes como sendo aqueles que diagonalizavam o operador de aniquilac~ao de um grupo
n~ao-compacto [14]. Eles estudaram abstratamente em detalhes o grupo SO(2,1), ou seja,
eles n~ao consideraram aplicac~ao alguma e, por isso, construram estados que s~ao autokets
do operador de criac~ao tambem, mas obviamente tais autokets s~ao diferentes daqueles
do operador de aniquilac~ao. De fato, quando efetuamos uma realizac~ao dos elementos da
algebra vemos que n~ao e possvel se construir autokets simult^aneos de ambos operadores de
criac~ao e aniquilac~ao, uma vez que estes operadores n~ao comutam. Os Estados Coerentes
de Barut e Girardello foram abordados sob uma analise crtica, por Basu [15]. Outra
generalizac~ao foi acerca da de nica~o de Glauber [4,5] via operador deslocamento atuando
sobre o autoket do estado fundamental. De acordo com a prescric~ao de Perelemov, um
operador unitario, elemento de um grupo de simetria qualquer, atuando sobre o autoket
do estado fundamental, gera Estados Coerentes [16].
Num metodo analogo ao empregado por Schrodinger para construir os Estados Coerentes com Incerteza Mnima, Nieto et al resgataram a quest~ao de se construrem tais
estados para potenciais mais gerais [17], e mostraram que nem sempre as tr^es de nic~oes
s~ao equivalentes [18].
Existem tambem outras generalizac~oes associadas as algebras graduadas de Lie, como
+

1
2

( +1)

20

CBPF-NF-068/01

por exemplo, as algebras de Wigner-Heisenberg e supersimetria em mec^anica qu^antica


n~ao-relativstica. Porem estas generalizac~oes est~ao fora do escopo deste trabalho. Para os
leitores interessados em tais abordagens veja as refer^encias [19,20,24], que faz a conex~ao
entre essas duas superalgebras.
Para os leitores interessados em estudar os operadores de abaixamento e levantamento
que geram as autofunco~es de energia do oscilador harm^onico simples sugerimos a leitura
das refer^encias [2,21{23].
Recentemente, tem surgido aplicac~oes dos estados coerentes em computac~ao qu^antica,
citando as refer^encias [25,26]. Na ref. [25], o autor construiu os estados coerentes generalizados e comentou sobre as respectivas aplicaco~es em computac~ao qu^antica.

AGRADECIMENTOS

O primeiro autor deste trabalho agradece as comiss~oes organizadoras das cinco ultimas
Escolas de O ptica Qu^antica, realizada no Brasil, pelo apoio em suas participac~oes. Os
autores agradecem aos Departamentos de Fsica da Universidade Federal da Paraba dos
Campi I e II, e ao Departamento de Ci^encias Exatas e da Natureza do Campus V, pelo
apoio. DFJ e SMB agradecem ao Conselho Nacional de Desenvolvimento Cient co e
Tecnologico (CNPq) pelo auxlio nanceiro parcial, atraves de bolsas de estudo de iniciac~ao cient ca do PIBIC/UFPB/CNPq. Os autores gostariam de registrar tambem seus
agradecimentos a PRPG da UFPB, pelo apoio. RLR agradece ao CNPq pela bolsa de
estudo na modalidade de pos-doutorado.

21

CBPF-NF-068/01

REFERENCES
[1] E. Schrodinger, Naturwiss, 14, 664, (1926)
[2] P. M. Mathews e K. Venkatesan, A Text Book of Quantum Mechanics, Tata
McGraw. Hill, New Delhi (1987), pagina 113. (Este livro tem algumas vantagens em
ser adquirido: abrange a mec^anica qu^antica n~ao-relativstica e relativstica, e muito
didatico, inclusive com um ingl^es facil de ler; e um livro texto de baixo custo.)
[3] J. R. Klauder, Ann. Phys. 11, 123, (1960)
[4] R. J. Glauber, Phys. Rev. 130, 2529, (1963)
[5] R. J. Glauber, Phys. Rev. 131, 2765, (1963); Phys. Rev. Lett. 10, 84, (1963)
[6] H. M. Nussenzveig, Introduction to Quantum Optics (Gordon and Breach, N.
Y., (1973).
[7] R. Loudon, The Quantum theory of light - second edition, Oxford University
Press, New York (1983); C. Cohen-Tannoudji, J. Dupont-Roc e G. Grynberg, InterEditions/Editions du CNRS, Processus d'interaction entre photons et atomes,
Paris (1988).
[8] J. R. Klauder and Bo-Sture Skagerstam, Coherent States, World Scienti c (1985).
[9] Luiz Davidovich, Introduc~ao a Eletr^onica Qu^antica, II Escola de Ver~ao Jorge
Andre Swieca, sec ~ao de O ptica Qu^antica e O ptica N~ao-Linear, realizada em S~ao
Carlos-SP, 1990.
[10] F. A. M. de Oliveira, Introduction to Quantum Optics, III Escola de Ver~ao

Jorge Andre Swieca, sec ~ao de O ptica Qu^antica e Optica
N~ao-Linear, realizada no
Recife-PE, fevereiro de 1992.
[11] A VII Escola de Ver~ao Jorge Andre Swieca, sec a~o de O ptica Qu^antica e O ptica
N~ao-Linear, sera realizada no perodo de 07 a 18 de janeiro de 2002, na UNICAMP,
em Campinas-SP.

 tomos Frios: produc~ao e aplicac~ao, IV Escola de Ver~ao


[12] V. S. Bagnato , A


Jorge Andre Swieca, sec ~ao de Optica
Qu^antica e Optica
N~ao-Linear, realizada em
Campinas-SP, 23 de janeiro a 5 de fevereiro de 1994.

22

CBPF-NF-068/01

[13] B. Baseia, Rev. Bras. de Ens. de Fsica, 17, 1, (1995).


[14] A. O. Barut e L. Girardello, Commun. Math. Phys. 21, 41, (1971).
[15] D. Basu, J. Math. Phys. 33, 114, (1992).
[16] A. M. Perelomov, Commun. Math. Phys. 26, 222, (1972).
[17] M. M. Nieto and L. M. Simmons, Jr. , Phys. Rev. D20, 1332, (1979).
[18] V. P.Gutshick, M. M. Nieto and L. M. Simmons, Jr. , Phys. Lett. 76A, 15, (1980).
[19] J. Jayaraman and R. L. Rodrigues, J. Phys. A: Math. Gen. 23, 3123, (1990); J.
Jayaraman, R. de Lima Rodrigues e A. N. Vaidya, J. Phys. A: Math. Gen. 32, 6643
(1999).
[20] R. de Lima Rodrigues, A. N. Vaidya e J. Jayaraman, quatro trabalhos, no formato
de mini-artigo, sobre os Estados Coerentes via as algebras de Wigner-Heisenberg e
supersimetria em mec^anica qu^antica publicados em formato de mini-artigo nos proceedings do XII Encontro Nacional de Fsica de Partculas e Campos, Caxambu-MG,
setembro de 1991.
[21] I. Infeld e T. E. Hell, Rev. Mod. Phys., 23, 21, (1950) (Este artigo aborda varias
aplicac~oes do metodo de fatorizac~ao em Mec^anica Qu^antica.); Stephen Gasiorowicz,
Quantum Physics, John Wiley & Sons, New York (1974). (O leitor pode encontrar este livro em quase todas as bibliotecas de fsica uma traduc~ao deste livro em
portugu^es.)
[22] R. L. Libo , Introductory Quantum Mechanics, Addison Wesley, 2nd edition,
1992. (Um excelente livro sobre a mec^anica qu^antica n~ao-relativstica, tratando inclusive de sistemas fsicos recentes.)
[23] R. de Lima Rodrigues, Mec^anica Qu^antica na Descric~ao de Schrodinger, Revista Brasileira de Ensino de Fsica, Vol. 19, N 1, 68 (1997).
0

[24] R. de Lima Rodrigues, A. F de Lima, K. de Araujo Ferreira e A. N. Vaidya, \Quantum


oscillator in the canonical coherent states," preprint Notas de Fsica, CBPF-NF66/01(2001), a ser submetido a um periodico internacional (Dez./2001).
[25] K. Fujii, Mod. Phys. Lett. 16A, 1277 (2001) e as refer^encias contidas neste trabalho.

CBPF-NF-068/01

23

[26] S. Mancini and V. I. Man'ko, Deformed versus undeformed cat states encoding qubit,
quant-ph/0111128, 24 novembro de 2001.