Escolar Documentos
Profissional Documentos
Cultura Documentos
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
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 signicado
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 denic~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
CBPF-NF-068/01
(2)
(3)
(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)
CBPF-NF-068/01
representac~ao de coordenada), s~ao denidos 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 denidos 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)
a; j > =
=
1
X
m=0
1
X
n=0
cm
+1
cn
+1
m+1jm>
n+1jn>:
(12)
=0
CBPF-NF-068/01
j >= exp(; 21 jj )
2
1
X
p j n > :
n
(17)
n!
n=0
j >= exp
X
1 n0
1
p 0 < n0 j :
; 2 jj
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:
(19)
j >< jd =
2
Z1
0
jjdjj
Z 2
0
dj >< j:
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
jjdjj p 0 e
+
n!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
(21)
CBPF-NF-068/01
=0
(24)
Neste caso, os Estados Coerentes para o OHS s~ao denidos 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:
(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
denic~oes equivalentes para os Estados Coerentes.
CBPF-NF-068/01
(29)
< x > = < (a; + a ) >= f< (a;) > + < (a ) > +2 < a a; > ;1g
= f + () + 2jj ; 1g = f4Re() ; 1g:
(30)
2
+ 2
+ 2
(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:
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
(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 denic~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 jj 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.
+
r~ : A~ = 0:
(37)
10
CBPF-NF-068/01
J~T = ~0;
(38)
; 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)
(42)
11
CBPF-NF-068/01
(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 = ~~kA~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 coecientes 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)
(47)
12
CBPF-NF-068/01
~k
e:
(48)
E~k = 21
(49)
(50)
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 armado. 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.
(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 ;
+
(56)
Os estados qu^anticos do campo de radiac~ao total podem ser especicados 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
(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,
(58)
e
q
(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:
(60)
Os smbolos fjfn~k g >g denotam um conjunto completo de numeros que especicam
os nveis de excitac~ao de todos os osciladores harm^onicos associados com os modos da
cavidade. Ha sempre um numero innito 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 coecientes 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)
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)
(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
(71)
~k
(72)
a^~k =
(73)
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 coecientes
dos termos oscilatorios do campo.
O valor esperado do campo eletrico nos autokets de Fock e nulo, isto e:
(74)
Portanto, o campo eletrico nesse estado n~ao possui analogo classico. Mas, para os
Estados Coerentes no modo ~k, temos:
s
(76)
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
denic~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 jj [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
1
2
( +1)
20
CBPF-NF-068/01
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 Cientco e
Tecnologico (CNPq) pelo auxlio nanceiro parcial, atraves de bolsas de estudo de iniciac~ao cientca 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 Scientic (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.
22
CBPF-NF-068/01
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.