Universidade Federal do Par

a
Instituto de Ci

encias Exatas e Naturais

Faculdade de F

sica
Introducao `a Teoria Quantica de
Campos a Temperatura Finita:
A Construcao do Vacuo Termico
Tercio Almeida da Silva
Trabalho de Conclusao de Curso
Orientadora: Prof
a
. Dr
a
. Silvana Perez
Co-orientador: Penn Lee Menezes Rodrigues
Belem, Para
Junho/2010
Introducao `a Teoria Quantica de Campos a Temperatura Finita:
A construcao do Vacuo Termico
Tercio Almeida da Silva
Julgado em:
Conceito:
Comissao Julgadora:

Profa. Dra. Silvana Perez

Orientador

Penn Lee Menezes Rodrigues

Co-orientador

Dr. Van Sergio da Silva Alves

Membro

Prof. Dr. Fabricio Potyguar

Membro
Belem
Junho, 2010
i
Resumo
A sntese deste trabalho consiste basicamente em estudar a constru cao do vacuo termico
a partir de transforma coes de Bogoliubov. Inicialmente precisaremos abordar conceitos de
Mecanica Estatstica e Mecanica Quantica, como por exemplo O Operador Densidade e os
Postulados da Medida, respectivamente. Depois desta abordagem inicial, estudaremos A Teoria
Quantica de Campos ambos a temperatura nula e nita. Tomando como exemplo o campo de
Klein-Gordon, faremos a decomposi cao deste campo, consequentemente surgirao os operadores
cria cao e aniquila cao, em seguida construremos o estado de mnima energia, o estado de vacuo,
tanto a temperatura nula quanto nita.
ii
Abstract
In this work, we will study the thermal vacuum of the Quantum Theory, coming from
a Bogoliubov transformation. We start by summarizing some basic concepts of Quantum
Mechanics and Statistical Quantum Mechanics, nearly the density operator and measurement
Postulate. We then consider the Quantum Field Theory both at zero and nite temperature.
Taking as an example the Klein-Gordon eld, We build the annhilation and creation operators
and the minimum energy estate, the vacuum estate, both at zero as well as at nite temperature.
iii
Agradecimentos
Inicialmente agrade co a Deus, que mesmo sendo pai de muitos, nunca me deixou sozinho
nos momentos crticos que eu me deparei ao longo deste curso. Agrade co ao Programa de
Educa cao Tutorial (PET-F

ISICA), que ao longo de tres anos me proporcionou um ensino bas-

tante humanizado e democratico, tudo isso gra cas a um professor bastante competente, Prof.
Dr. Sergio Vizeu. A agrade co ao CNPq, por ter nanciado meus estudos na conclusao deste
trabalho sob orienta cao da Prof. Dra. Silvana Perez, uma grande amiga e professora que me
ajudou desde o incio de meu curso, e do Co-Orientador Penn Lee, que tambem e um grande
amigo, e me ajudou bastante na conclusao deste trabalho.
Agrade co todo o apoio que minha famlia me deu, principalmente minha mae, L ucia Almeida,
e meu pai, Antonio Angelo, minha namorada Lourdes Miranda por seu companheirismo prini-
palmente nos momentos difceis. Agrade co a minha turma de Fsica noturno de 2006 por todos
os momentos de alegria que passamos nesta universidade, inclusive junto de meus amigos, Jose
Floriano, Gabriel, Fabrcio, Demis, Luis Paulo, Maricelia, Renata, Flavio, Kleber. Agrade co
aos meus amigos ex-petianos, Leandro Oliveira, Juscelino Leite Lopes, Debora Rodrigues e
Roberto Joele, pelos grandes momentos de discussoes tanto cientcas como humanas e muitos
outros assuntos, e tambem pelos momentos de alegria que compartilhamos no PET-F

ISICA.
iv
Conte udo
Resumo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . ii
Abstract . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . iii
Agradecimentos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . iv
Introdu cao 1
1 O Operador Densidade na Mecanica Quantica 3
1.1 Mecanica Estatstica Classica . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.1.1 Ensemble Microcanonico . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.1.2 Ensemble Canonico . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.2 Mecanica Quantica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
1.2.1 Postulados da Mecanica Quantica para Ensembles Puros . . . . . . . . . 9
1.2.2 Postulados da Mecanica Quantica para Ensembles Mistos . . . . . . . . . 10
1.2.3 Analise do ponto de vista da Mecanica Quantica de Ensembles Puros . . 11
1.2.4 Analise do ponto de vista da Mecanica Quantica de Ensembles Mistos . . 13
1.3 Mecanica Estatstica Quantica . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
1.3.1 O Operador Entropia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
1.3.2 O Operador Densidade nos Diferentes Ensembles Estatsticos . . . . . . . 16
2 Teoria Quantica de Campos a Temperatura Nula: O Campo Escalar de Klein-
Gordon 18
2.1 Os Formalismos Lagrangiano e Hamiltoniano para o Campo Escalar . . . . . . . 18
2.2 A Quantiza cao do Campo Escalar . . . . . . . . . . . . . . . . . . . . . . . . . . 20
2.2.1 A Decomposi cao do Campo . . . . . . . . . . . . . . . . . . . . . . . . . 22
2.2.2 Os Operadores de Cria cao e Aniquila cao . . . . . . . . . . . . . . . . . . 24
2.2.3 O Estado de Vacuo |0 . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
v
3 O Vacuo Termico 30
3.1 Aspectos Gerais do Vacuo Termico . . . . . . . . . . . . . . . . . . . . . . . . . 30
3.2 Ensemble de Partculas Bosonicas . . . . . . . . . . . . . . . . . . . . . . . . . . 32
3.3 O Campo de Schrodinger . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37
3.4 O Campo de Klein-Gordon . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41
4 Conclusoes e Pespectivas 45
vi
Introducao
O incio do seculo passado foi marcado por grandes mudan cas de paradigmas nas ciencias,
em particular na Fsica. O que come cou com os artigos de Planck da radia cao do corpo
negro e de Einstein da Relatividade Especial, caminhou rapidamente para duas importantes e
revolucionarias novas linhas na Fsica, a Teoria Quantica na escala microscopica e a Relatividade
Especial para sistemas com velocidades muito altas.
A Mecanica Quantica (MQ), muito embora tenha sido extremamente importante no es-
tudo de modelos microscopicos, como atomos, nao foi capaz de prever corretamente sistemas
quanticos a altas velocidades. Em outras palavras, no contexto do estudo de partcula, a uniao
da Teoria Quantica com a Relatividade Especial nao se mostrou apropriada. A Teoria Quantica
de Campos (TQC) surgiu como formalismo apropriado para tal uniao.
A TQC tem a nalidade de estudar as quantiza coes dos campos, tais como o eletromagnetico,
o campo bosonico, fermionico, etc.
Neste trabalho iremos estudar a TQC a temperatura zero
1
. Neste trabalho utilizamos as
referencias [1, 4] am de estudar os sistema sem efeitos termicos utilizando o estado de mnima
energia que e o estado de vacuo, e a temperatura nita para estudar sistemas com banho
termicoutilizando o estado de vacuo termico [2, 3, 4].
O formalismo da Teoria Quantica que iremos considerar, o formalsimo de operadores. A
formula cao usual apresentada nos livros textos [5, 6] postula como entidade fundamental o ket,
que fornece toda informa cao sobre o sistema. Na abordagem do primeiro captulo, entretanto,
o que iremos estudar e o Operador Densidade [7]. Abordaremos conceitos da Mecanica
Estatstica, aplicando o Operador Densidade nos diferentes ensembles (Puro e Misto).
Na passagem do formalismo de partcula para o de campos, precisaremos estudar a Teoria
Quantica de Campos. Neste caso o sistema e representado por um campo = (x, t). Nesta
abordagem iremos estudar no Cap. 02 os efeitos de temperatura nula, na Teoria Quantica
com a cria cao de um estado de mnima energia, que e o estado de vacuo. Escolheremos
1
V arios livros existem sobre TQC
1
trabalhar com o campo de Klein-Gordon, que pode ser, e mais simples de quantizar e mesmo
assim apresenta os principais aspectos necessarios na analise de efeitos de temperatura.
O objetivo principal deste trabalho, que e estudar os efeitos de temperatura nita na TQC,
sera nalmente abordado no Cap. 03, onde iremos estudar o estado de vacuo termico (nos
campos de Schrodineger e de Klein-Gordon, que e oriundo de transforma coes de Bogoliubov [8]
apartir de um estado de vacuo do sistema duplicado `a temperatura nula.
2
Captulo 1
O Operador Densidade na Mecanica
Quantica
Neste captulo iremos fazer uma breve revisao do Operador Densidade na Mecanica
Quantica e na Mecanica Estatstica Quantica [7]. O objetivo e utiliza-lo na constru cao da
Teoria Quantica de Campos `a temperatura nita, que faremos no captulo 3. Come caremos
revendo os principais conceitos da Mecanica Estatstica Classica, como po exemplo: N umero
de estados microscopicos e suas Probabilidades, Parametros Extensivos e Entropia, utilizando
as referencias [10, 11, 12]. Iremos tambem estudar os ensembles microcanonico e canonico
via Mecanica Estatstica Classica. A seguir, apresentaremos a deni cao de Operador Densi-
dade e suas aplica coes utilizando a experiencia de Stern-Gerlach e nalizaremos retomando os
ensembles sob o ponto de vista da Mecanica Estatstica Quantica.
1.1 Mecanica Estatstica Classica
Come caremos o estudo utilizando a formula cao classica da Mecanica Estatstica, para en-
tender os principais aspectos associados a sistemas com um n umero muito grande de partculas,
onde e necessaria a interpreta cao estatstica e a deni c ao de temperatura, que surge natural-
mente. O principal aspecto matematico da Mecanica Estatstica Classica esta no fato dela
se desenvolver num espa co de fases de variaveis contnuas de momento e posi cao, onde sao
denidas fun coes como hamiltoniano, que e oriundo de uma transformada de Legendre uma
vez tendo a lagrangiana.
1.1.1 Ensemble Microcanonico
A Mecanica Estatstica Classica e regida pelo seguinte postulado fundamental:
3
Todos os estados microsc opicos acessveis a um sistema isolado em equilbrio
s ao equiprov aveis [10].
Somos portanto for cados pelo postulado acima a pensar em probabilidade, que como vere-
mos, esta diretamente relacionada com o n umero de estados microscopicos em um determinado
uido termodinamico.
Assim, seja a fun cao = (E, V, N; X
i
), que depende da energia E, do volume V e do
n umero de partculas N do uido termodinamico e mais a presen ca do conjunto de vnculos in-
ternos X
i
, o n umero de estados microscopicos acessveis ao sistema isolado em equilbrio. Entao,
a probabilidade de encontrarmos o sistema em uma particular congura cao macroscopica, car-
acterizada pelo conjunto (E, V, N; X
i
) e proporcional ao n umero de microestados acessveis ou
seja:
P(E, V, N; X
i
) (E, V, N; X
i
) (1.1)
Utilizando a Eq.(1.1), vamos analisar um sistema constitudo por dois uidos termodinamicos,
separados por uma parede adiabatica, xa e impermeavel. Em cada compartimento, cada uido
tem sua propria fun cao de estado,ou seja,
1
=
1
(E
1
, V
1
, N
1
), correspondente ao uido 1 e

2
=
2
(E
2
, V
2
, N
2
), correspondente ao uido 2.
O n umero de estados microscopicos do sistema composto e dado por:
= (E
0
, V
0
, N
0
) =
1
(E
1
, V
1
, N
1
)
2
(E
2
, V
2
, N
2
), (1.2)
sendo E
0
, V
0
e N
0
respectivamente dados por:
E
0
= E
1
+ E
2
, (1.3)
V
0
= V
1
+ V
2
, (1.4)
N
0
= N
1
+ N
2
, (1.5)
ou seja, utilizamos o fato de que E, V e N sao parametros extensivos (ou aditivos).
A seguir, vamos estudar o contato termico entre os dois subsistemas. Para isso, vamos
considerar que a parede interna de separa cao deixa de ser adiabatica para ser diatermica. Com
o passar do tempo, as energias E
1
e E
2
passam a ser

E
1
e

E
2
, com o vnculo de que a energia
do sistema total (sistema composto isolado) continua a mesma:
4
E
0
=

E
1
+

E
2
(1.6)
O n umero de estados acessveis nos dois uidos, levando em considera cao apenas as varia coes
na energia, sao respectivamente:
1
=
1
(

E
1
) e
2
=
2
(E
0


E
1
) e o n umero de estados
microscopicos do sistema composto e dado por:
(

E
1
) =
1
(

E
1
)
2
(E
0

E
1
). (1.7)
A probabilidade de encontrarmos o sistema composto numa particular congura cao com
energia

E
1
, e escrita como:
P(

E
1
) =
(

E
1
)

c
=

1
(

E
1
)
2
(E
0

E
1
)

c
, (1.8)
onde
c
e o n umero total de estados microscopicos acessveis ao sistema composto, dado por:

c
=
E
0

E
1
=0

1
(

E
1
)
2
(E
0

E
1
). (1.9)
Substituindo este resultado na probabilidade, Eq.(1.8) obtemos:
P(

E
1
) =
(

E
1
)

1
(

E

1
)
2
(E
0

1
)
. (1.10)
O somatorio indica que estamos considerando um modelo quantico, sendo a energia dis-
cretizada. Muito embora esta hipotese pare ca inconsistente com uma analise classica do prob-
lema, discutida nesta se cao, nosso objetivo apenas e introduzir este aspecto quantico da analise,
sem perda de generalidade, para entender melhor o processo de contagem dos estados acessveis.
Na se cao (1.3) iremos introduzir com mais formalidade, alguns aspectos da teoria quantica no
problema estatstico.
Como a energia total e E
0
, quando
1
(

E
1
) cresce,
2
(

E
1
) decresce, e existe um valor para o
qual o valor de probabilidade P(

E
1
) assume um maximo. O interesse aqui e analisar o sistema
em equilbrio, ou seja a situa cao mais provavel, que corresponde a esse maximo. Tendo este
objetivo em mente, vamos tomar o logartimo da probabilidade P(

E
1
), ou seja, denimos uma
nova fun cao f(

E
1
) como:
f(

E
1
) ln P(

E
1
)

= ln
1
(

E
1
) + ln
2
(E
0

E
1
) + cte. (1.11)
5
O sistema em equilbrio corresponde a um maximo de f(

E
1
), sendo nesse caso a situa cao
de maxima probabilidade:
f(

E
1
)

E
1
= 0. (1.12)
Substituindo a Eq.(1.11) na (1.12), chegamos a:
ln
1

E
1
=
ln
2

E
2
. (1.13)
Para a interpreta cao do resultado, vamos fazer a conexao com a termodinamica. Para isso
vamos relembrar os postulados basicos da termodinamica, dados por [12] :
Postulado 1: O estado macroscopico de um uido puro e completamente caracterizado pela
energia interna E, pelo volume V e pela quantidade de materia N.
Postulado 2: Existe uma fun cao do sistema composto de parametros extensivos, denomi-
nada entropia, que e denida para todos os estados de equilbrio. Quando retiramos vnculos
existentes no sistema, estamos maximizando a fun cao entropia. A entropia, portanto, constitui
uma equa cao fundamental, contendo toda informa cao do sistema.
Postulado 3: A fun cao entropia de um sistema composto e aditiva em seus componentes,
contnua e monotonicamente crescente da energia.
Postulado 4: A entropia se anula num estado de equilbrio em que (
E
S
)
V,N
= 0.
Tendo como base esses postulados, temos que a condi cao de equilbrio termico para o sistema
composto termodinamico do exemplo acima e dada por:

S
1

E
1
=


S
2

E
2
, (1.14)
ou, aplicando a deni cao de temperatura para o estado de equilbrio [12]:
1

T
1
=
1

T
2
. (1.15)
Recuperamos, assim, a condi cao termodinamica de equilbrio,

T
1
=

T
2
. A fun cao entropia
pode ser obtida, comparando as Eqs.(1.13) e (1.14), ou seja:
S(E) = k
B
ln (E), (1.16)
onde k
B
e a constante Boltzmann. Logo, a maximizacao da probabilidade estatstica
implica na maximizacao da entropia[10].
6
1.1.2 Ensemble Canonico
Na se cao anterior denimos o conceito estatstico de entropia. Consideraremos que no limite
termodinamico (N muito grande) esta fun cao corresponde `a fun cao entropia da termodinamica.
Na analise utilizamos o ensemble microcanonico associado ao sistema isolado e muito embora
sejam nele denidos os postulados basicos da Mecanica Estatstica, ele nao e o mais apropriado
para estudar observaveis. Vamos agora estudar um novo ensemble, o ensemble canonico, no
qual a entropia e substituda pela temperatura.
Seja um sistema termodinamico simples S em contato com um reservatorio termico R a
temperatura T por meio de uma parede diatermica, xa e impermeavel, sendo o reservatorio
muito maior que o sistema termodinamico simples. A probabilidade de encontrarmos o sistema
composto (S + R) em um determinado estado microscopico j e denida por:
P
j
(E
j
)

R
(E
0
E
j
)
s
(E
j
)

c
, (1.17)
sendo
c
a soma de todos os possveis microestados acessveis ao sistema composto, E
j
a
energia do sistema S num dado microestado j,
R
(E
R
) o n umero de microestados acessveis ao
reservatorio termico R e
s
(E
j
) o n umero de microestados acessveis ao sistema S. Tomando o
logartmo de P
j
, temos:
ln P
j
= ln
c
+ ln
R
(E
0
E
j
) + ln
s
(E
j
)
ln
R
(E
0
E
j
) + ln
c
,
(1.18)
onde consideramos o reservatorio R muito maior que o sistema S, de tal forma que E
R
E
j
e

R
(E
R
)
s
(E
j
). Fazendo uma expansao de ln P
j
em torno de E
R
= E
0
, temos que:
ln P
j
= ln
c
+ln
R
(E
0
) +
_
ln
R
E
R
_
(E
R
E
0
) +
1
2
_

2
ln
R
(E
R
)
E
2
R
_
(E
R
E
0
)
2
+... (1.19)
Agora, da Termodinamica utilizamos que:
S
E

S
E
R
=
1
T
, (1.20)
ou, usando a deni cao (1.16),
ln
R
E
R

1
kT
. (1.21)
7
Tomando a 2
a
derivada, temos que:

2
ln
R
(E
R
)
E
2
R
=
1
kT

E
R
_
1
T
_
0, (1.22)
onde consideramos que, no limite de um reservatorio termico real, a temperatura e constante,
ou seja, e inalterada pela presen ca do sistema S. Substitundo as Eqs(1.21) e (1.22) em (1.19),
concluimos que:
ln P
j
= ln C
1
kT
E
j
. (1.23)
Fazendo um rearranjo desta ultima equa cao, chegamos em:
P
j
=
exp(E
j
)
C
1
, (1.24)
sendo =
1
k
B
T
, que e denominada distribui cao de probabilidades do Ensemble Canonico.
A constante C
1
, que pode ser obtida segundo a condi cao de normaliza cao, e denida como
fun cao de parti cao Z (a letra Z vem do alemao, zustandsumme, que signica soma sobre todos
os estados):
Z =

i
exp(E
i
). (1.25)
A conexao do ensemble canonico com a Termodinamica e dada por [10]:
Z exp(F), (1.26)
onde F e a energia livre de Helmholtz. Em se tratando de um uido puro, os nveis de energia
E
i
sao fun coes apenas do volume V e do n umero de partculas N. Sendo assim, a fun cao de
parti cao Z tem a seguinte dependencia: Z = Z(T, V, N), onde T e a temperatura do uido.
Neste caso, podemos escrever:
F = F(T, V, N)
1

ln Z(T, V, N). (1.27)

No ensemble canonico os microestados acessveis ao sistema S tem diferentes valores de
energia. Neste caso, para obter observaveis, consideramos medias ponderadas pelo peso e
H
.
Assim, por exemplo, a energia interna e dada por:
U E
i
=

i
E
i
exp(E
i
)

i
exp(E
i
)
=

ln Z. (1.28)
8
1.2 Mecanica Quantica
A formula cao usual da Mecanica Quantica e construda tomando como base ensembles puros,
ou seja, cole cao de estados identicos todos caracterizados pelo mesmo vetor de estado, ou ket
[6, 5]. Quando o sistema quantico nao e preparado desta forma, ou seja, quando os ensembles
nao sao puros, utilizamos uma formula cao alternativa, caracterizada por um novo operador, o
Operador Densidade.
Do ponto de vista matematico, os ensembles nao puros podem ser interpretados como um
superposi cao incoerente de estados, sendo que cada estado tem uma probabilidade associada,

1
,
2
,..
n
. Esses estados do ensemble nao puro nao formam uma combina cao linear, e essa e a
motiva cao principal para o uso do Operador Densidade, ou seja, estudar o sistema quantico
sem conhecer seu ket[9, 15].
Para entender melhor estes conceitos vamos considerar o seguinte exemplo: Seja um sistema
formado por dois eletrons. Estudando o grau de liberdade do spin na dire cao z tem-se a seguinte
base para o espa co vetorial que o representa: {|+, +, |+, , |, +, |, }.
Seja entao o subsistema constitudo por um eletron de spin up e o outro down com base
{|+, , |, +}. Se quisermos construir o vetor de estado que represente este estado, qual o
ket devemos escolher? Na verdade, os Postulados Basicos da Mecanica Quantica nao xam a
escolha de um ket privilegiado deste subspa co para representar o sistema fsico usual.
1.2.1 Postulados da Mecanica Quantica para Ensembles Puros
Os ensembles puros sao caracterizados por um conjunto de partculas identicas no mesmo
esatdo fsico e portanto caracterizadas pelo mesmo vetor de estado [15]. Neste caso os
psotulados da Mecanica Quantica sao dados por:
Postulado 1: O estado fsico de um sistema quantico num instante t e descrito por um vetor
de estado, |, denido sobre o corpo dos complexos.
Postulado 2: A cada variavel dinamica (observavel fsico) associamos um operador hermi-
tiano denido no espa co de Hilbert.
Postulado 3: A probabilidade de obter o auto-valor a
i
, que e resultado da medida de um
observavel A no estado | normalizado, na base |a
i
e dada por:
P
|a
i

= P

a
i
= |a
i
| |
2
. (1.29)
Postulado 4: Os operadores evoluem no tempo segundo a equa cao de Schrodinger:
9
i

t
|, t = H |, t . (1.30)
onde H = H(r, t) e o hamiltoniano do sistema.
1.2.2 Postulados da Mecanica Quantica para Ensembles Mistos
Os ensembles mistos sao caracterizados por um conjunto de partculas identicas em difer-
entes estados, cada uma caracterizada por um ket especco. Neste caso, temos novos postula-
dos para a Mecanica Quantica, dados por:
Postulado 1: O estado fsico de um sistema quantico e descrito por um operador densidade
denido no espa co de Hilbert:
=

m
|
m

m
| , (1.31)
onde
m
e um peso estatstico correspondente a cada um dos estados do ensemble. Este postu-
lado substitui o postulado da Mecanica Quantica usual e dene uma nova entidade fundamental
(para ensembles mistos), o Operador Densidade.
Postulado 2: A cada variavel dinamica (observavel fsico) associamos um operador hermi-
tiano denido no espa co de Hilbert.
Postulado 3: Se um sistema e preparado em um particular ensemble {|
m
,
m
} num in-
stante inicial t
0
, entao a medida no ensemble de um observavel representado pelo operador

A,
tera o valor a com a seguinte probabilidade:
P
a
=

m
|

P
a
|
m
= Tr
_


P
a
_
. (1.32)
Este postulado basicamente substitui o postulado da medida da Mec anica Quantica usual,
e para obter o valor medio no ensemble, temos que:
_

A
_

m
P

m
Tr
_


A
_
, (1.33)
ou seja, a medida no ensemble e uma media ponderada por
m
.
Postulado 4: A equa cao que descreve a dinamica do operador densidade e:
i
d
dt
=
_

H,
_
, (1.34)
conhecida como equa cao de Von Neumamm.
10
Para uma melhor compreensao deste formalismo, vamos estudar o aparato de Stern-Gerlach.
A experiencia de Stern-Gerlach basicamente consiste de um im a produzindo um campo
magnetico inomogeneo e uma fonte que produz um feixe de atomos de prata. Este feixe, por
sua vez, penetra no ima numa dire cao perpendicular ao gradiente do campo magnetico. A
intera cao do spin do atomo de prata com o campo magnetico resulta numa deexao do feixe
apos a passagem pelo campo.
Da intera cao do spin do atomo de Ag com o campo magnetico, o feixe se divide da seguinte
forma: atomos com spin Up (S = +
1
2
) sao deetidos para cima e atomos com spin Down
(S =
1
2
)) sao deetidos para baixo, como mostra a gura 01:
Ag
+h/2
-h/2
B
z
FONTE
Fig.01-Modelo esquem atico do aparato de Stern-Gerlach.
A nalidade do aparato de Stern-Gerlach (SG) e medir a componente de spin na dire cao
do campo magnetico, sendo o feixe de atomos de prata, o ensemble. Vamos fazer diferentes
prepara coes do feixe, e estudar as polariza coes em diferentes dire coes usando os postulados da
Mecanica Quantica e a deni cao de Operador Densidade.
Para o calculo das polariza coes iremos precisar das seguintes representa coes [5]:
_

S
x
=

2
[|Z
+
Z

| +|Z

Z
+
|]

S
y
= i

2
[|Z
+
Z

| |Z

Z
+
|]

S
z
=

2
[|Z
+
Z
+
| |Z

|Z

]
(1.35)
onde

S
x
,

S
y
e

S
z
, sao os operadores relacionados com as componentes de spin nas dire coes x,
y e z, respectivamente, escritos na base Z, {|Z+ , |Z}.
1.2.3 Analise do ponto de vista da Mecanica Quantica de Ensembles
Puros
A g. 01 mostra a situa cao em que o feixe inicial, que acaba de sair do forno, nao esta
polarizado, resultando em dois valores apos passar pelo (SG): +

2
e

2
. Agora vamos preparar
o feixe de tal modo que ele que polarizado, dando o seguinte valor: +

2
. Para isto basta
11
estudar somente esta parcela do feixe que sai do (SG). Neste caso, temos um ensemble puro
representado pelo ket |Z
+
conforme a gura 02:
m=+ 1/2
Feixe Polarizado
Z
B
ext
Fig.02-Modelo esquem atico do aparato de Stern-Gerlach com feixe polarizado na direcao

Z
Sendo o ensemble puro, podemos aplicar os postulados usuais da MQ para calcular os valores
medios de

S
x
,

S
y
e

S
z
no ket |Z
+
, ou seja:
Z
+
|

S
z
|Z
+
= Z
+
|
_

2
[|Z
+
Z
+
| |Z

|Z

]
_
|Z
+
=

2
,
Z
+
|

S
y
|Z
+
= Z
+
|
_
i

2
[|Z
+
Z

| |Z

+
|]
_
|Z
+
= 0,
Z
+
|

S
x
|Z
+
= Z
+
|
_

2
[|Z
+
Z

| +|Z

+
|]
_
|Z
+
= 0.
(1.36)
Agora iremos fazer a polariza cao do feixe: orientando o campo externo na dire cao y. Neste
caso, temos novamente um feixe polarizado e um ensemble puro, representado pelo ket Y
+
.
Obtemos assim:
B
ext
Y
m=+1/2
Feixe Polarizado
Fig.03-Modelo esquematico do aparato de Stern-Gerlach com feixe polarizado na dire cao y.
Y
+
|

S
y
|Y
+
= Y
+
|
_

2
[|Y
+
Y
+
| |Y

|]
_
|Y
+
=

2
(1.37)
e como era de se esperar, temos que:
Y
+
|

S
x
|Y
+
= Y
+
|

S
z
|Y
+
= 0 (1.38)
Por ultimo, vamos preparar o feixe de tal modo que o mesmo represente um ensemble
misto, com metade do feixe de atomos de prata com polariza c ao de spin +
1
2
, e a outra parte
com polariza cao
1
2
, ambos na dire cao

Z, conforme mostra a gura 04:
12
B
ext
Z
m=+1/2
m=-1/2
Fig.04-Modelo esquematico do aparato de Stern-Gerlach com feixe polarizado na dire cao z,
formando um ensemble misto.
Esta e uma situa cao em que o feixe resultante nao esta polarizado, e como nao conhecemos
o ket que representa o sistema, nao podemos aplicar os postulados da Mecanica Quantica para
estudar os observaveis.
1.2.4 Analise do ponto de vista da Mecanica Quantica de Ensembles
Mistos
Vamos utilizar o operador densidade, Eq.(1.31), na situa cao em que o feixe esta polarizado
na dire cao

Z, ou seja, iremos representar o feixe de atomos de prata no ket |Z
+
. Neste caso o
operador densidade e dado por:
=

m
|
m

m
| = 1 |Z
+
Z
+
| + 0 |Z

| = |Z
+
Z
+
| (1.39)
ou, numa representa cao matricial [9, 5]:
=
_
1
0
_
_
1 0

=
_
1 0
0 0
_
. (1.40)
Utilizando a Eq.(1.33), podemos calcular o valor medio de
_

S
z
_
como sendo:
_

S
z
_
= Tr
_


S
z
_
=

2
Tr
__
1 0
0 0
_ _
1 0
0 1
__
=

2
(1.41)
De modo analogo temos que:
_

S
x
_
=
_

S
y
_
= 0. (1.42)
Podemos repetir esta analise para o segundo exemplo da se cao anterior, sem acrescentar
nenhuma nova discussao.
Agora vamos aplicar o operador densidade na situa cao em que n ao podamos utilizar os
postulados da MQ, ou seja no ensemble misto, com metade do feixe dos atomos e Ag no ket
|Z
+
e a outra metade no ket |Z

. Neste caso, o operador densidade e dado por:

13
=
1
2
|Z
+
Z
+
| +
1
2
|Z

| (1.43)
Utilizando a representa cao matricial, temos:
=
1
2
_
1
0
_
_
1 0

+
1
2
_
0
1
_
_
0 1

=
1
2
_
1 0
0 1
_
(1.44)
Calculando os valores medios de

S
z
,

S
y
e

S
x
, obtemos:
_

S
z
_
= Tr
_


S
z
_
=

2
Tr
__
1 0
0 1
_
.
_
1 0
0 1
__
=

2
Tr
_
1 0
0 1
_
= 0 (1.45)
e analogamente,
_

S
x
_
=
_

S
y
_
= 0 (1.46)
Vemos assim que, com a aplica cao do operador densidade, podemos calcular os valores
medios em ensembles de uma maneira geral, sem a necessidade de conhecer o ket do sis-
tema. Esta caracterstica da formula cao via operador densidade sera extremamente vital na
formula cao da teoria quantica estatstica, como veremos a seguir.
1.3 Mecanica Estatstica Quantica
Nesta se cao iremos unir o formalismo da Mecanica Quantica para ensembles mistos com a
teoria estatstica, fazendo compara coes com os resultados da se cao anterior [14].
1.3.1 O Operador Entropia
Na subse cao (1.1.1), vimos a importancia da deni cao da fun cao entropia classica, que e
um conceito cabal na Termodinamica e na Mecanica Estatstica. Iremos agora introduzir o
operador entropia, como sendo [14]:

S( ) = k
B
ln . (1.47)
Utilizando a deni cao (1.31), o operador entropia ca escrito da seguinte forma:

S( ) = k ln = k
B
ln

m
|
m

m
| . (1.48)
14
Em um determinado ensemble caracterizado pelo operador , temos o valor medio do oper-
ador entropia como sendo:
S
_

S
_
= k ln = kTr( ln ). (1.49)
Para ensembles puros, os valores de
m
, sao 0 e 1, resultando em S = 0. Nesse caso temos a
situa cao de um mnimo valor de entropia, o que implica na m axima de informa cao do sistema.
Analisando o quarto postulado da termodinamica, a temperatura e nula para ensembles puros.
Se a entropia e maxima, temos um mnimo de informa cao do sistema. Por esse motivo a entropia
e conhecida como grau de desordem do sistema ou falta de informa cao do mesmo, em outras
palavras, maior entropia esta associada com uma quantidade maior de estados acessveis, ou
seja, maior desordem.
Vamos novamente analisar o aparato de Stern-Gerlach, para entendermos melhor o conceito
de entropia.
Analisando a situa cao em que tnhamos o feixe de atomos de Ag polarizado na dire cao

Z,
o valor do operador densidade nessa situa cao e dado por:
= |Z
+
Z
+
| =
_
1 0
0 0
_
; (1.50)
utilizando a Eq. (1.49), obtemos:
S =
_

S
_
= k
B
ln
= k
B
Tr( ln )
= k
B
Tr
__
1 0
0 0
_
ln
_
1 0
0 0
__
= k
B
(1 ln 1 + 0 ln 0) = 0,
(1.51)
como era de se esperar, uma vez que o ensemble e puro.
Agora vamos estudar o caso, em que metade do feixe de atomos de Ag esta no ket |Z
+
e
a outra metdade no ket |Z

. Para essa situa cao, temos o operador densidade, segundo a Eq.

(1.44), e portanto:
15
S =
_

S
_
= k
B
ln
= k
B
Tr( ln )
= k
B
Tr
__
1
2
0
0
1
2
_
ln
_
1
2
0
0
1
2
__
= k
B
(
1
2
ln
1
2
+
1
2
ln
1
2
)
= k
B
ln2
(1.52)
Pode-se demonstrar que para a experiencia de SG esta e a maxima entropia do sistema.
1.3.2 O Operador Densidade nos Diferentes Ensembles Estatsticos
Seja o ensemble microcanonico caracterizado pelo volume V, n umero de partcula N e en-
ergia E, denida no intervalo: E

E E

+ E

(esta varia cao de energia e decorrente do

experimento, pois e impossvel criar um sistema totalmente isolado). Sem entrar em detal-
hes, que podem ser encontrados por exemplo nas referencias [9, 14], pode-se demonstrar que o
operador densidade neste caso e dado por:
(E) =

(1.53)
onde representa a dimensao do espa co
0
que deniremos a seguir e

I o operador unitario.
O ensemble canonico no formalismo quantico, tal como no formalismo cl assico, e constitudo
de um sistema S e um reservatorio R, ambos formando um sistema isolado `a temperatura T,
com a hamiltoniana total:

H
0
=

H
R
+

H
S
, (1.54)
sendo

H
0
,

H
R
e

H
S
os operadores hamiltonianos do sistema isolado, do reservatorio R e do
sistema S, respectivamente. Esses operadores sao denidos em subespa cos que se relacionam
da seguinte forma:

0
=
R

S
, (1.55)
16
e:

H
0
|n
R
n
S
= [(E
n
R
) + (E
n
S
)] |n
R
n
S
, (1.56)
com,

H
R
|n
R
= E
n
R
|n
R
(1.57)
e

H
S
|n
S
= E
n
S
|n
S
(1.58)
Neste caso, o operador densidade e obtido como sendo,

S
() =
exp(

H
S
)
Tr(exp

H
S
)
. (1.59)
17
Captulo 2
Teoria Quantica de Campos a
Temperatura Nula: O Campo Escalar
de Klein-Gordon
No captulo anterior estudamos alguns aspectos da teoria quantica de sistemas envolvendo
partculas, tanto a temperatura nula quanto a temperatura nta. Neste captulo iremos estudar
a quantiza cao canonica do campo de escalar, com objetivo de entender a Teoria Quantica de
Campos a Temperatura Zero, no caso em que nao temos efeitos de temperatura. Come caremos
revendo o formalismo lagrangiano classicamente e seus principais conceitos, como por exemplo
a a cao e o princpio de mnima a cao. Logo em seguida faremos a quantiza cao do campo escalar,
sua decomposi cao com a constru cao dos operadores cria cao e aniquila cao e por m a cria cao
do estado de mnima energia, que sera denominado de estado de vacuo. Este estado sera
fundamental no proximo captulo, quando estudarmos a constru cao do vacuo termico.
2.1 Os Formalismos Lagrangiano e Hamiltoniano para o
Campo Escalar
Na interpreta cao dos fenomenos da natureza, classicamente interpretamos em uma entre
duas maneiras: a interpreta cao corpuscular (ou de partcula) e a ondulatoria (ou de campo).
Ao promover a teoria classica `a quantica, historicamente respeitou-se esta divisao. Assim, vi-
mos no captulo anterior a constru cao da teoria quantica da partcula, ou Mecanica Quantica.
Dizemos que esse procedimento e a primeira quantiza cao. Agora iremos quantizar o campo,
num procedimento conhecido como segunda quantiza cao. Estudaremos o campo escalar, car-
acterizado por uma fun cao contnua e variavel no tempo e espa co, (x), onde x = (x, t). Este
campo, o campo de Klein-Gordon, e invariante sob transforma coes de Lorentz, ou um escalar
18
de Lorentz e real, ou seja:
(x) =

(x) (2.1)
e

(x

) = (x), (2.2)
sendo o campo

(x

) num suposto referencial S

diferente do referencial S, o qual se encontra

o campo (x). Alem disso, por hipotese, adotaremos que o campo cai no innito espacial.
lim
|x|
(x) 0. (2.3)
Se o campo e invariante por transforma coes de Lorentz, entao temos que usar uma equa cao
relativstica para estuda-lo. Assumiremos assim que ele satisfaz a equa cao classica da teoria
livre de Klein-Gordon:
(

+ m
2
)(x) = 0. (2.4)
Como iremos estudar os Formalismos Lagrangiano e Hamiltoniano, vamos procurar uma La-
grangiana ou uma a cao que conduza `a Equa cao de Klein-Gordon pelo princpio de mnima a cao.
Vamos fazer este estudo tal como foi feito na mecanica de uma partcula pontual, adotando a
seguinte a cao:
S =
_
t
f
t
i
dtL =
_
t
f
t
i
d
4
xL. (2.5)
onde agora L e uma densidade de Lagrangiana.
Podemos assim escrever a Lagrangiana em termos de sua densidade de Lagrangiana:
L =
_
dx
3
L (2.6)
No caso da partcula, a lagrangiana depende de posi cao e de velocidade (ou primeira derivada
da posi cao); de modo analogo, a densidade de lagrangiana depende do campo e da quadri-
velocidade (ou de suas primeiras derivadas):
L = L(,

) . (2.7)
19
Agora seguindo a analise corpuscular, vamos fazer uma mudan ca arbitraria do campo, uti-
lizando o princpio do calculo variacional da mecanica da partcula pontual. Assim, variamos
o campo:
(x)

(x) = (x) + (x), (2.8)

sujeito `as condi coes de contorno:
(x, t
i
) = (x, t
f
) = 0. (2.9)
Considerando a varia cao acima, o funcional a cao varia como:
S =
_
t
f
t
i
dx
4
L. (2.10)
Calculando explicitamente a varia cao L e aplicando o princpio de mnima a cao, chegamos
na equa cao de Euler-Lagrange para campos
1
:
L

_
L

_
= 0 (2.11)
Fazendo a escolha da seguinte densidade de lagrangiana:
L =
1
2

m
2
2

2
, (2.12)
com m constante, chegamos `a equa cao que descreve a dinamica do campo, ou seja a equa cao
de Klein-Gordon:
(

+ m
2
)(x) = 0. (2.13)
2.2 A Quantiza cao do Campo Escalar
Como o procedimento de quantiza cao ocorre no formalismo hamiltoniano, iremos iniciar
esta se cao estudando este formalismo para campos. Para esta analise, vamos iniciar com a
formula cao para partculas e depois generalizar para campos. A lagrangiana de uma partcula
em uma dimensao e um funcional da posi cao x e da velocidade x:
L = L(x, x). (2.14)
1
A dedu cao desta equa cao pode ser vista com todos os detalhes na referencia [1].
20
O momento conjugado `a velocidade x e denido por:
p =
L
x
(2.15)
Usando a transformada de Legendre, podemos denir um novo funcional, a hamiltoniana:
H(x, p) = p x L(x, x), (2.16)
que carrega a mesma informa cao fsica sobre o sistema que L.
Pode-se demonstrar que o parentese Poisson entre x e p tem a seguinte forma:
{x, x} = 0 = {p, p}
{x, p} = 1.
(2.17)
onde {a, b} =
a
x
b
p

a
p
b
x
.
As equa cos de Hamilton que fornecem a dinamica do sistema sao dadas por:
x = {x, H} ,
p = {p, H} .
(2.18)
Para campos, as variaveis em questao sao (x) e

(x). Assim, analogamente `a Eq.(2.15),

denimos o momento canonico conjugado `a variavel

como:
(x)
L

(x)
. (2.19)
Usando uma transformada de Legendre para este momento, obtemos a densidade de hamil-
toniano como sendo:
H = (x)

(x) L (2.20)
de onde podemos obter o hamiltoniano da seguinte forma:
H =
_
dx
3
H, (2.21)
e os parenteses de Poisson para os campos sao denidos como:
21
{(x), (y)}
x
0
=y
0
= 0 = {(x), (y)}
x
0
=y
0
{(x), (y)}
x
0
=y
0
=
3
(x y)
.
(2.22)
As equa coes de Hamilton para os campos sao dadas por:

(x) = {(x), H} ,

(x) = {(x), H} .
(2.23)
Para o campo de Klein-Gordon, o hamiltoniano pode ser calculado segundo as Eqs.(2.12),
(2.20) e (2.21), e tem a seguinte forma:
H =
_
d
3
x
_
1
2

2
(x) +
1
2

y
+
m
2
2

2
(x)
_
. (2.24)
Partindo das equa coes de Hamilton, temos que:

(x) = (x)

(x) =
2
(x) m
2

2
(x).
(2.25)
No processo de segunda quantiza cao, os campos passam a ser operadores satisfazendo `as
seguintes rela coes de comuta cao:
[(x), (y)]
x
0
=y
0
= 0 = [(x), (y)]
x
0
=y
0
[(x), (y)]
x
0
=y
0
= i
3
(x y).
(2.26)
2.2.1 A Decomposicao do Campo
A equa cao de Klein-Gordon admite solu coes do tipo onda plana. Sabendo que as ondas
planas formam uma base completa no espa co das fun coes, podemos expandir o campo nesta
base, ou seja:
(x) =
1
(2)
3
2
_
d
4
ke
ik.x
(k), (2.27)
ond (k) e transformada de Fourier de (x).
22
Fazendo com que (x), escrito como (2.27), a satisfazer a Eq. de Klein-Gordon, obtemos
uma restri cao para a transformada (k) do tipo:
(k) = (k
2
m
2
) a(k), (2.28)
onde a(k) e uma nova fun cao com interpreta cao a ser dada a posteriori. Assim, a Eq.(2.27)
ca:
(x) =
1
(2)
3
2
_
d
4
k(k
2
m
2
)e
ik.x
a(k). (2.29)
Com a introdu cao dessa fun cao delta temos que:
k
2
= (k
0
)
2
(

k)
2
= m
2
, (2.30)
o que resulta em:
k
0
=
_

k
2
+ m
2
= E
k
. (2.31)
Fazendo uso da seguinte propriedade da fun cao delta:
(k
2
m
2
) =
1
2 |k
0
|
_
(k
0
E
k
) + (k
0
+ E
k
)

, (2.32)
podemos resolver a integral em k
0
. Apos algumas manipula coes algebricas [16], chegamos a:
(x) =
1
(2)
3
2
_
d
3

k
1
2k
0
_
e
ik.x
a(k) + e
ik.x
a(k)

, (2.33)
onde a partir de agora k
0
+E
k
. Alem disso, utilizando que o campo e real, obtemos:
(x) =
1
(2)
3
2
_
d
3

k
1
2k
0
_
e
ik.x
a(k) + e
ik.x
a

(k)

. (2.34)
Como k
0
e positivo, podemos denir duas novas fun coes, a(

k) e a

k), atraves das relacoes

abaixo:
a(

k) =
a(k)

2k
0
a

k) =
a

(k)

2k
0
(2.35)
em termos das quais (x) e escrito como:
23
(x) =
_
d
3

k
_
(2)
3
2k
0
_
e
ik.x
a(

k) + e
ik.x
a

k)
_
(2.36)
ou seja, (x) pode ser decomposto como:
(x) =
(+)
(x) +
()
(x), (2.37)
onde
(+)
(x) e
()
(x), sao respectivamente:

(+)
(x) =
_
d
3
k

(2)
3
2k
0
e
ik.x
a(

k),

()
(x) =
_
d
3
k

(2)
3
2k
0
e
ik.x
a

k).
(2.38)
O procedimento de quantiza cao ocorre promovendo-se e a operadores ou na base de
Fourier, promovendo a e a

a a e a

. Na proxima sub-se cao , buscaremos uma interpreta cao

para estes operadores.
2.2.2 Os Operadores de Criacao e Aniquila cao
Na Mecanica Quantica estuda-se o problema do oscilador harmonico simples a partir de sua
hamiltoniana H = H(x, p), sendo que x e p sao operadores hermitianos. Podemos tambem
estudar o mesmo problema em termos dos operadores a e a

nao hermitianos, denidos por:

a =
_
m
2
_
x +
i p
m
_
,
a

=
_
m
2
_
x
i p
m
_
,
(2.39)
e satisfazendo `as seguintes rela coes de comuta cao:
[ a, a] = 0 = [ a

, a

],
[ a, a

] = 1.
(2.40)
O objetivo principal desta se cao e mostrar que a(

k) e a

k) denidos por (2.35) satisfazem

rela coes analogas a (2.40) a partir do campo (x), do momento canonico conjugado (x) e da
expansao (2.36).
Inicialmente, podemos reescrever o momento canonico conjugado a partir da Eq.(2.25) e da
decomposi cao (2.36) como sendo:
24
(x) = i
_
d
3
k

k
0
2(2)
3
_
e
ik.x
a(

k) e
ik.x
a

k)
_
(2.41)
Alem disso, partindo das Eqs.(2.36) e (2.41), podemos obter a rela cao k
0
(x) +i(x) como
sendo:
k
0
(x) + i(x) =
_
d
3
k

2k
0
(2)
3
e
ikx
a(

k), (2.42)
e usando a seguinte propriedade da fun cao delta:
(x b) =
1
(2)
3
_
+

e
i(xb)
d
3
, (2.43)
nalmente temos o operador a(

k), em termos de (x) e de (x) como sendo:

a(

k) =
1
_
2k
0
(2)
3
_
d
3
xe
ikx
_
k
0
(x) + i(x)
_
. (2.44)
O mesmo procedimento e feito para o operador a

k), sendo obtido:

a

k) =
1
_
2k
0
(2)
3
_
d
3
xe
i

kx
_
k
0
(x) i(x)
_
. (2.45)
Desenvolvendo as rela coes de comuta cao (2.26), os comutadores dos operadores a(

k) e a

k),
aparecerao naturalmente como sendo:
[ a(

k), a(

)] = 0 = [ a

k), a

)],
[ a(

k), a

)] = (k k

),
(2.46)
A hamiltoniana (2.24) pode ser escrita como sendo:
H =
1
2
_
d
3
kk
0
_
a(

k) a

k) + a

k) a(

k)
_
(2.47)
e como k
0
= E
k
, nalmente chegamos a:
H =
_
d
3
k
E
k
2
_
a(

k) a

k) + a

k) a(

k)
_
. (2.48)
Desta maneira, percebemos que a hamiltoniana de Klein-Gordon e independente do tempo,
e que se trata de uma soma de innitos osciladores harmonicos, cada um deles de frequencia
E
k
. Calculando as rela coes de comuta cao entre os operadores a(

k) e a

k) e a Hamiltoniana,
obtemos:
25
[ a(

k), H] = E
k
a(

k)
[ a

k), H] = E
k
a

k),
(2.49)
ou seja, a(

k) aniquila um quantum de energia E

k
e a

k) cria um quantum de energia E

k
; logo
eles sao denominados de operadores aniquila cao e cria c ao do sistema de osciladores harmonicos
respectivamente.
Podemos agora entender melhor o signicado dos operadores a(

k) e a

k). Para isso, basta

notar que:
H
_
a(

k) |E
_
= (E E
k
)
_
a(

k) |E
_
H
_
a

k) |E
_
= (E + E
k
)
_
a

k) |E
_
,
(2.50)
onde utilizamos nas passagens intermediarias as rela coes (2.49). Vemos assim que a(

k) |E
tambem e um estado de H, mas com energia (E E
k
). Em outras palavras o operador a(

k)
aniquila um quantum do sistema.
Finalmente podemos, utilizando (2.46), reesecrever a hamiltoniana (2.48) como:
H =
1
2
_
d
3

kE
k
_
2 a

k) +
3
(

)
_
=
_

3
(

0)
_
d
3

k
E
k
2
_
+
_
d
3

kE
k
a

k) a(

k)
(2.51)
O primeiro termo, que e innito, representa uma soma das energias do estado fundamental
dos innitos osciladores harmonicos. Podemos utilizar o fato de que na passagem da teoria
classica para a quantica, o ordenamento dos operadores e ambguo, para denir um ordenamento
que elimine este innito (que corresponde `a xa cao da energia de ponto zero do sistema).
Escolhemos, assim, o ordenamento normal, tal que o operador de cria cao a

k) e posicionado
do lado esquerdo do operador de destrui cao a(

k). Sendo assim, temos:

_
a(

k) a

)
_
N.O.
: a(

k) a

) : = a

) a(

k)
_
a

k) a(

)
_
N.O.
: a

k) a(

) : = a

k) a(

)
_
a(

k) a(

)
_
N.O.
: a(

k) a(

) : = a(

) a(

k)
_
a

k) a

)
_
N.O.
: a

k) a

) : = a

) a

k).
(2.52)
26
onde o sub-escrito (N.O.) indica ordenamento normal[8].
Usando o ordenamento e a Eq.(2.52) na (2.48), temos que:
H
(N.O.)
=
_
d
3
kE
k
a

k) a(

k) =
_
d
3
kE
k
N(

k), (2.53)
onde N(

k) e o operador numeral, denido por:

N(

k) = a

k) a(

k), (2.54)
e satisfaz `as seguintes rela coes de comuta cao:
[ a(

k),

N(

)] = a(

)(

)
[ a

k),

N(

)] = a

)(

)
(2.55)
2.2.3 O Estado de Vacuo |0
Nesta sub-se cao iremos analisar a aplica cao do operador H
(N.O.)
nos auto-estados de energia
e seus respectivos autovalores e assim construir o vacuo da teoria. Este estado de vacuo sera
utilizado na constru cao do vacuo termico da teoria de Klein-Gordon a temperatura nita. Fare-
mos esta analise no proximo captulo. Seja entao um auto-estado de energia |E satisfazendo
`a equa cao de autovalores:

H |E = E |E , (2.56)
onde, por constru cao, assumimos |E normalizado. Da condi cao de normaliza cao, temos que:
E = E| H |E =
_
d
3
kE
k
E| a

k) a(

k) |E . (2.57)
Devido o fato de que E 0, existe um auto estado de energia mnima |E
min
, que e
denominado de estado de vacuo ou estado de base, |0:
E
mim
=
_
d
3
kE
k
E
min
| a

k)a(

k) |E
min

_
d
3
kE
k
0| a

k)a(

k) |0 (2.58)
Aplicando o operador aniquila cao neste estado, temos que:
a(

k) |E
min
= a(

k) |0 = 0 (2.59)
27
Como a(

k) diminui um quantum de energia cada vez que e aplicado em um auto-estado

de H, e E 0 por constru cao, xamos energia nula para o estado de menor energia, que e o
estado de vacuo. Este estado deve satisfazer `as seguintes propriedades:
a(

k) |0 = 0 = 0| a

k),
0| 0 = 1,

N |0 = 0,

H |0 = 0.
(2.60)
Vamos agora estudar o estado denido por a

k) atuando no estado de vacuo,

|k a

k) |0 . (2.61)
Ele satisfaz `as seguintes propriedades:

N |k = |k

H |k = E
k
|k

P |k =

K|k
(2.62)
Mais ainda, manipulando as Eqs.(2.62) e (2.30), obtemos:
_

H
2

P
2
_
|k = m
2
|k , (2.63)
ou seja, este estado satisfaz `a equa cao de Klein-Gordon da partcula livre. Entao interpretamos
o estado de n partculas com 4-momentum k

= (E
k
,

k), como sendo |n

1
, k
1
; n
2
, k
2
; ..., n
l
, k
l

sendo que para o estado de n

1
partculas, temos que k

1
= (E
k
1
,

k
1
), para o estado de n
2
partculas, k

2
= (E
k
2
,

k
2
), entao para o estado de n
l
partculas o 4-momentum e k

l
= (E
k
l
,

k
l
).
Vale salientar que, as partculas que sao descritas por cada estado sao identicas, ou seja no
procedimento de quantiza cao associamos ao campo de Klein-Gordon uma partcula de massa
m.
Somente para nalizar, seja o operador de campo atuando no vacuo criando o estado |(x):
|(x) = (x) |0 = (x)

|0 . (2.64)
O operador campo e linear nos operadores cria cao e aniquila cao, entao temos que:
28
0| (x) |0 = 0. (2.65)
Se considerarmos os elementos de matriz, entao o unico elemento de matriz diferente de
zero e dado por:
k| (x) |0 = k| (x) . (2.66)
Na verdade k| (x) e uma nova fun cao que e solu cao da equa cao de Klein-Gordon, corre-
sponde `a partcula livre com energia positiva. Podemos calcular essa fun cao manipulando as
Eqs. (2.36), (2.46), (2.60) e (2.61) obtemos:
(x)| k =
1
_
(2)
3
2k
0
e
ik.x
. (2.67)
Sendo k
0
= E
k
=
_

k
2
+ m
2
0, temos a ideia de conexao entre as teorias da primeira
e segunda quantiza cao. A fun cao de onda da partcula livre de fato e (x)| k, logo |(x)
trata-se de um base, semelhante `a base coordenada |x da primeira quantiza cao. Se | e o
estado do sistema, logo podemos dizer que:
(x) = x| . (2.68)
Sob o ponto de vista da segunda quantiza cao, |k daria signicado a um auto-estado de
energia da partcula livre: | = |k. Portanto, o funcional de onda para a partcula livre, com
energia e momentum denidos e dado por:
((x)) = (x)| = (x)| k . (2.69)
29
Captulo 3
O Vacuo Termico
No Cap. 02 vimos a quantiza cao canonica do campo escalar de Klein-Gordon a temperatura
zero. Agora iremos abordar a quantiza cao canonica dos campos a temperatura nita. Escol-
hemos trabalhar com os campos de Schr odinger e de Klein-Gordon, utilizando a referencia [8].
Para introduzir efeitos termicos na teoria, resgastaremos conceitos ja vistos antes no Cap. 01
no contexto de partcula, como o operador densidade e a media de um observavel. Dando con-
tinuidade, iremos estudar o caso do oscilador bosonico, visando sua generaliza cao para campos
que conforme vimos no captulo anterior, podem ser interpretados como uma cole cao de inni-
tos osciladores. Finalmente generalizaremos os resultados obtidos para campos de Schr odingere
Klein-Gordon. O objetivo deste captulo e, partindo do vacuo `a temperatura nula, |0, con-
struir o vacuo termico. Veremos assim, como relacionar os dois vacuos por meio de uma
transforma cao de Bogoliubov [2, 3].
3.1 Aspectos Gerais do Vacuo Termico
No Cap. 01 vimos que a media termica de um observavel na teoria quantica e dada por:
A

= Z
1
()Tr[()A], (3.1)
o operador densidade () sendo dado no ensemble canonico por:
() = e
H
, (3.2)
e a respectiva fun cao de parti cao:
30
Z() = Tr
_
e
H
_
=

n
n| e
H
|n
=

n
e
E
n
,
(3.3)
onde nas passagens intermediarias escolhemos tomar o tra co na base dos autovalores do oper-
ador hamiltoniano, segundo a equa cao de autovalor:

H |n = E
n
|n . (3.4)
Podemos, assim, reescrever (3.1) da seguinte maneira:
A

= Z
1
()

n
e
E
n
n| A|n
0, | A|0,
(3.5)
Na ultima linha da Eq.(3.5), denimos um novo estado, |0, . Esta e uma hipotese feita,
buscando uma analogia com a Teoria Quantica de Campos a temperatura nula. Decompondo
tal estado na base {|n} temos:
|0, =

n
|n n| 0, =

n
f
n
() |n , (3.6)
e utilizando esta decomposi cao na media (3.1) chegamos a:
A

= 0, | A|0, =

n,m
f

n
()f
m
() n| A|n , (3.7)
onde os f

n
s sao escalares que representam a proje cao do estado |0, nas dire coes |n.
Comparando (3.7) com (3.5), temos a seguinte condi cao:
f

n
()f
m
() = Z
1
()e
E
n

n,m
(3.8)
Umezawa e Takahashi resolvem esta ambiguidade dobrando os graus de liberdade do sistema,
com inser cao de um novo sistema ctcio | m, que tem as mesma regras de conjuga cao do sistema
original (sem til) [2, 3]. Entao, temos o vacuo termico construdo no espa co de Hilbert produto,
31
|n |n | m = |n, m , (3.9)
como sendo
1
:
|0, =

n
|n, n n| n|0,

n
f
n
() |n, n (3.10)
Agora, utilizamos que o sistema |n em nada interfere no sistema | n, de tal forma que, para
operadores denidos no sistema original, vale que:
n, m| A

,

m

_
=
mm
n| A|n

, (3.11)
e analogamente para o sistema ctcio,
n, m|

A

,

m

_
=
nn
m| A

_
. (3.12)
O valor medio do observavel e dado por:
0, | A|0, =

n
f

n
()f
n
() n| A|n . (3.13)
e comparando este resultado com (3.5) obtemos que os coecientes f
n
sao:
f
n
() = Z
1
2
e
E
n
2
(3.14)
Assim, nalmente o vacuo termico e obtido como sendo:
|0, =

Z
1
2
e
E
n
2
|n, n (3.15)
Vemos portanto que a hipotese (3.5) e possvel somente para o sistema duplicado. Nas
se coes seguintes buscaremos uma interpreta cao fsica para tal hipotese.
3.2 Ensemble de Partculas Bosonicas
Considere o hamiltoniano de um oscilador bosonico, de frequencia , dado por:
H = a

a (3.16)
onde os operadores cria cao e aniquila cao satisfazem as rela coes usuais de comuta cao (2.40).
1
Note que esta e uma hip otese de constru cao do v acuo termico.
32
Como |n sao auto-estados de

H, temos a seguinte equa cao de autovalores para a hamilto-
niana (3.16):

H |n = E
n
|n = n |n , (3.17)
com n = 0, 1, 2, 3..., ou seja, o espa co de Hilbert tem dimensao innita.
Para obter (3.17), utilizamos as seguintes rela coes:
a |n =

n|n 1
a

|n =

n + 1 |n + 1
( a

)
n

n!
|0 = |n ,
(3.18)
Segundo a constru cao da se cao anterior, para o sistema ctcio, o hamiltoniano e dado por
2
:

H = a

a. (3.19)
Vamos a seguir encontrar f
n
neste caso. Considerando a decomposi cao:
|0, =

n
f
n
() |n, n (3.20)
podemos obter os coecientes f

s
n
utilizando duas considera coes:
1
a
) O estado |0, e normalizado.
2
a
) O n umero medio de partculas por orbital deve satisfazer a distribui cao de Boltzmann,
0, | a

a |0, =
1
e

1
. (3.21)
Chegamos assim, apos alguns calculos a [2, 8]:
|0, =
_
1 e

n=0
e
n
2
|n, n (3.22)
Vamos a seguir mostrar que |0, obtido acima esta relacionado a

0,

0
_
. Assumindo num
primeiro momento que:
2
Para que nao tenhamos os operadores a e a

carregados, de agora em diante iremos suprimir o chapeuda

nota cao de operador.
33
cosh () =
1

1e

sinh () =
e
n
2

1e

(3.23)
e utilizando as Eqs.(3.18) e (3.23), podemos reescrever a Eq.(3.22) da seguinte maneira:
|0, =
1
cosh ()
e
(
tanh ()a

0,

0
_
. (3.24)
Tomando agora as seguintes expansoes:
1
cosh ()

= 1

2
()
2!
+ 5

4
()
4!
+ ... (3.25)
e
e
tanh ()a

= 1 + a

() +
(a

)
2
2!
+

3
()
3!
[(a

))
3
2(a

))] + ... (3.26)

fazendo o produto dessas expansoes, considerando ate 3
a
ordem em , obtemos o seguinte
resultado para (3.24):
|0, =
_
1 + (a

)() +

2
()
2!
[(a

)
2
1] +

3
()
3!
[(a

)
3
5(a

)] +...
_

0,

0
_
. (3.27)
Agora, num segundo momento, vamos assumir que |0, e

0,

0
_
estao relacionados por um
operador U():
|0, = U()

0,

0
_
, (3.28)
sendo U() denido como:
U() = e
iQ()
= e
()( aaa

)
(3.29)
e
Q() = i()( aa a

). (3.30)
34
A expansao de Taylor de U() ate 3
a
ordem em e dada por:
U()

= 1 ()( aa a

) +

2
()
2!
( aa a

)
2

3
()
3!
( aa a

)
3
. (3.31)
Aplicando (3.18) e (3.31) em (3.28), obtemos:
|0, =
_
1 +()(a

) +

2
()
2!
[(a

)
2
1] +

3
()
3!
[(a

)
3
5(a

)]
_

0,

0
_
, (3.32)
que e identica `a Eq(3.27). A transforma cao denida por (3.29) e (3.30) e conhecida como
transforma cao de Bogoliubov.
Agora vamos relacionar os operadores do vacuo termico com os operadores do vacuo

0,

0
_
,
usando a seguine deni cao:
a() Ua(T = 0)U

. (3.33)
Utilizando a expansao (3.31), podemos escrever:
UaU

=
_
1 iQ +
1
2!
(iQ)
2

1
3!
(iQ)
3
+
1
4!
(iQ)
4
+ ...
_
a
_
1 + iQ +
1
2!
(iQ)
2
+
1
3!
(iQ)
3
+
1
4!
(iQ)
4
+ ...
_
.
(3.34)
Finalmente, fazendo este produto ate 4
a
ordem em , obtemos:
UaU

= a + [iQ, a] +
1
2!
[iQ, [iQ, a]] +
1
3!
[iQ, [iQ, [iQ, a]]] + ... (3.35)
Resolvendo cada comutador:
[iQ, a] = a

,
[iQ, [iQ, a]] =
2
a,
[iQ, [iQ, [iQ, a]]] =
3
a

,
.
.
.
(3.36)
chegamos em:
a() = (1 +
1
2!

2
+
1
4!

4
+ ...)a ( +
1
3!

3
+ ...) a

a() = cosh ()a sinh () a

(3.37)
35
De modo analago, obtemos os outros operadores:
a

() = sinh ()a + cosh () a

() = cosh ()a

sinh () a
a() = sinh ()a

+ cosh () a
(3.38)
Vale notar que estes operadores satisfazem as rela coes de comuta cao:
[a(), a

()] = 1
[a(), a()] = [a

(), a

()] = 0.
(3.39)
ou seja, e que ao atuar o vacuo tpermico satisfazem:
a() |0, =
_
a cosh () a

sinh ()
_
|0, = 0
a() |0, =
_
a

sinh () + a cosh ()
_
|0, = 0.
(3.40)
As Eqs.(3.40) sao um tipo de leis de conserva cao, ou seja, quando e aniquilado um quantum
de energia no sistema ctcio, ao mesmo tempo e criado um quantum de energia no sistema
original e vice versa.
Vale salientar que o estado |0, nao e auto-estado de H ou

H individualmente. Na verdade
|0, e auto-estado de

H:

H |0, = 0, (3.41)
sendo:

H = H

H, (3.42)
o que implica nas seguintes rela coes de comuta cao:
36
[

H, a] = a
[

H, a] = a
[

H, a

] = a

[

H, a

] = a

.
(3.43)
3.3 O Campo de Schrodinger
Vamos generalizar a teoria do oscilador bosonico para o campo de Schr odinger, com di-
mensao (3 + 1). A densidade de lagrangiana que representa este tipo de campo e dada por:
L = i

1
2m

. (3.44)
Como no estudo de campo termico dinamico, estamos sempre fazendo um paralelo entre um
sistema original e um sistema ctcio, entao temos a seguinte densidade de lagrangiana para o
sistema ctcio
3
:

L = i

1
2m

. (3.45)
Como a inten cao e fazer a quantiza cao canonica deste campo a temperatura nita, entao
precisamos de uma densidade de lagrangiana que represente os dois sistemas, ou seja:

L = L

L. (3.46)
Os momentos canonicos conjugados dos campos e

sao respectivamente:
(x, t) =


L

(x,t)
= i

(x, t)

(x, t) =


L

(x,t)
= i

(x, t),
(3.47)
o que acaba justicando o sinal de negativo em (3.45).
Usando a transformada de Legendre para o campo
3
O postulado para a constru cao dos campos no sistema til e tal que

c = c

conforme a referencia [2].
37
H = (x, t)

(x, t) L, (3.48)
obtemos o hamiltoniano para o sistema original:
H =
1
2m

. (3.49)
O mesmo procedimento e feito para obter o hamiltoniano do sistema ctcio, que e dado
por:

H =
1
2m

. (3.50)
Como os momentos conjugados sao identicos, os campos e

satisfazem as seguintes
rela coes de comuta cao:
[(x, t),

(y, t)] =
3
(x y)
[(x, t), (y, t)] = [

(x, t),

(y, t)] = 0
[

(x, t),

(y, t)] =
3
(x y)
[

(x, t),

(y, t)] = [

(x, t),

(y, t)] = 0
(3.51)
A combina cao do sistema original com o sistema ctcio e dada pelo hamiltoniano total:

H =
_
d
3
x(H

H). (3.52)
Usando as Eqs.(3.51) e (3.52) para calcular [(x, t),

H], obtemos:
[(x, t),

H] =
1
2m

2
(x, t). (3.53)
Seja a equa cao de Heisenberg para um operador generico A = A(t) ( = 1):

A
H
= i[

A
H
,

H]; (3.54)
comparando esta ultima equa cao com (3.53), temos que:
i

(x, t) =
1
2m

2
(x, t). (3.55)
38
A equa cao para o sistema ctcio e obtida a partir do postulado que dene os campos neste
sistema [2]:

c = c

(3.56)
Repetindo a analise, obtemos:
i

(x, t) =
1
2m

2

(x, t) (3.57)
A conclusao que chegamos e que

H e um gerador de evolu cao temporal do sistema combi-
nado.
A expansao do campo de Schr odinger e feita a partir de solu coes do tipo ondas planas:
(x, t) =
1

k
e
i

k.x

k
=
1

k
e
i
k
t+i

k.x
a

k
, (3.58)
onde, sem perda de generalidade, consideramos por simplicidade o campo restrito a uma caixa
c ubica de volume V e condi coes de contorno periodica. Neste caso, obtemos valores discretos
de energia em termos de

k:

k
=

k
2
2m
. (3.59)
Escrevendo a hamiltoniana em termos de a

k
e a

k
, temos que:
H =

k

k
a

k
a

H =

k

k
a

k
a

k
.
. (3.60)
A hamiltonia do sistema combinado ca portanto da seguinte maneira:

H = H

H =

k
(a

k
a

k
a

k
a

k
) (3.61)
Podemos montar o espa co de Hilbert do sistema duplicado como:
|n
k
| n
k
= |n
k
, n
k
(3.62)
O vacuo termico no espa co (3.62) e obtido de maneira analoga `a se cao anterior, como sendo:
39
|0, =
k
_
1 e

k,n

k
e
n
k

k
, n

k
_
. (3.63)
As transforma coes de Bogoliubov sao tais que:
U() = e
iQ()
Q() = i

k
()( a

k
a

k
a

k
a

k
).
(3.64)
e o vacuo termico obtido acima, pode tambem ser escrito como:
|0, = U()

0,

0
_
, (3.65)
com a identica cao:
cosh
k
() =
1

1e

k
sinh
k
() =
e

k
2

1e

k
.
(3.66)
Os operadores termcos podem ser escritos a partir da seguinte matriz:

U(
k
) =
_
cosh
k
() sinh
k
()
sinh
k
() cosh
k
()
_
, (3.67)
tal que:
_
a

k
()
a

k
()
_
=

U(
k
)
_
a

k
a

k
_
(3.68)
de modo que tenhamos as seguintes rela coes:
a

k
() |0, =
_
a

k
cosh
k
() a

k
sinh
k
()
_
|0, = 0
a

k
() |0, =
_
a

k
cosh
k
() a

k
sinh
k
()
_
|0, = 0
(3.69)
Desta maneira vimos que o operador aniquila cao termico aniquila o vacuo termico. Com
isso, temos que um quantum de uma partcula do vacuo do sistema ctcio torna-se uma lacuna
ou um vazio do sistema original, e que o vacuo termico tem uma quantidade igual de partculas:
40

N |0, = 0,

H |0, = 0.
(3.70)
3.4 O Campo de Klein-Gordon
Agora iremos aplicar a teoria do oscilador bosonico no campo de Klein-Gordon em (3 + 1)
dimensoes. A aplica cao para este tipo de campo basicamente segue os mesmos passos do campo
de Schr odinger, sendo a diferen ca basica, o campo de Klein-Gordon ser relativstico e o campo
de Schr odinger nao ser relativstico.
A densidade de lagrangiana para o sistema original e dada por (2.12):
L =
1
2

m
2
2

2
. (3.71)
O sistema ctcio e representado pela seguinte densidade de lagrangiana:

L =
1
2

m
2
2

2
, (3.72)
e a densidade de lagrangiana do sistema total:

L = L

L. (3.73)
Os momentos canonicos conjugados de cada sistema sao dados por:
(x) =


L

(x)
=

(x)

(x) =


L

(x)
=

(x).
(3.74)
As densidade de hamiltoninas podem ser obtidas conforme (3.48):
H =
1
2
(x)

2
+
1
2
+
m
2
2

2

H =
1
2
(x)

2
+
1
2

+
m
2
2

2
.
(3.75)
A densidade de hamiltoniana do sistema combinado e dada por:
41

H = H

H (3.76)
com:

H =
_
dx
3

H. (3.77)
Como estamos fazendo um processo de quantiza cao dos campos e

, podemos ter as
seguintes rela coes de comuta cao conforme (2.26):
[(x), (y)]
x
0
=y
0
= 0 = [(x), (y)]
x
0
=y
0
[(x), (y)]
x
0
=y
0
= i
3
(x y)
_

(x),

(y)
_
x
0
=y
0
= 0 =
_

(x),

(y)
_
x
0
=y
0
_

(x),

(y)
_
x
0
=y
0
= i
3
(x y)
(3.78)
de modo que tenhamos o seguinte comutador:
[(x),

H] = i

(x) = i(x) (3.79)
Usando a Eq.(3.54), temos que:
(x) =

(x). (3.80)
O processo e o mesmo para o sistema ctcio, o que justica o sinal negativo do momento
canonico conjugado do sistema ctcio, uma vez que a hamiltoniana total e constitudas de
ambos os sistemas.
As equa coes de Euler-Lagrange para os campos e

sao:

_


L

_
= 0

_


L

_
= 0.
(3.81)
42
Usando as Eqs.(3.73) e (3.81) obtemos as seguintes equa coes de movimento para cada sis-
tema:
(

+ m
2
)(x) = 0
(

+ m
2
)

(x) = 0.
(3.82)
Note agora que as equa coes de Klein-Gordon acima admitem solu coes do tipo onda plana.
Desse modo, iremos estudar essas solu coes (para todo espa co):
(x) =
1
(2)
3
2
_
d
3

k
1
2E
k
_
e
ikx
a(k) + e
ikx
a

(k)

. (3.83)
Usando o postulado (3.56), obtemos a solu cao para o sistema ctcio:

(x) =
1
(2)
3
2
_
d
3

k
1
2E
k
_
e
ikx
a

(k) + e
ikx
a(k)

. (3.84)
Como ja foi visto no cap. 02, a hamiltonina segue um ordenamento normal, de modo que
para cada sistema temos que:
H
(N.O)
=
_
d
3

kH =
_
d
3
kE
k
a

k)a(

k)

H
(N.O)
=
_
d
3

k

H =
_
d
3
kE
k
a

k) a(

k).
(3.85)
Entao, a hamiltoniana total e dada por:

H =
_
d
3

kE
k
_
a

k)a(

k) a

k) a(

k)
_
. (3.86)
Vamos promover uma transforma cao de Bogoliubov em (3.86), da seguinte maneira:

H() =
_
d
3

kE
k
_
a

()a() a

() a()
_
(3.87)
Usando (3.38) em (3.87), obtemos o seguinte resultado:

H() =
_
d
3

kE
k
_
a

()a() a

() a()
_
=
_
d
3

kE
k
_
a

k)a(

k) a

k) a(

k)
_
(3.88)
Levando em considera cao que estamos usando o ordenamento normal, conclumos que:

H() =:

H : (3.89)
43
Na se cao (2.2.3) denimos o estado de vacuo a temperatura zero como sendo estado de
mnima energia. O estado de vacuo para o campo de Klei-Gordon e denido da mesma maneira
como foi feito para o campo de Schr odinger:
|0, = U()

0,

0
_
(3.90)
A energia mnima para o estado de vacuo termico e obtida segundo a equa cao de autovalor:

H |0, = E
min
|0, . (3.91)
Multiplicando (3.91) por 0, |, obtemos o valor mnimo de energia:
E
min
=
_
d
3

kE
k
0, |
_
a

k)a(

k) a

k) a(

k)
_
|0, (3.92)
Como a hamiltoniana total e invariante sob transforma coes de Bogoliubov segundo a Eq.(3.89),
podemos ter o valor mnimo de energia do vacuo termico no campo de Klein-Gordon:
E
min
=
_
d
3

kE
k
0, |
_
a

()a() a

() a()
_
|0, (3.93)
onde as transforma coes de Bogoliubov para o campo de Klein-Gordon sao dadas por:
U() = e
iQ()
Q() = i
_
d
3

k()( a

k
a

k
a

k
a

k
)
(3.94)
e podem ser pensadas como V de um sistema discreto, analogo ao da se cao anterior.
44
Captulo 4
Conclusoes e Pespectivas
O objetvo principal deste trabalho foi estudar A Teoria Quantica de Campos a Tem-
peratura Finita. Inicialmente vimos a formula cao de operadores da Mecanica Quantica nos
ensembles puro e misto, utilizando uma ferramenta fundamental, o Operador Densidade. Na
Mecanica Estatstica Quantica reescrevemos a entropia em termos do operador densidade,
e vimos sua aplica cao nos diferentes ensembles estatsticos.
No estudo de Teoria de Campo a Temperatura Zero, analisamos o campo escalar de Klein-
Gordon, vendo os processos de quantiza cao, sua decomposi cao e a expansao do campo em
termos dos operadores cria cao e aniquila cao. Vimos neste tipo de campo a existencia de um
auto-estado mnimo de energia, que denominamos de estado de vacuo.
Ao estudarmos a Teoria de Campo a Temperatura Finita, analisamos os campos de Schr odinger
e de Klein-Gordon. Aplicamos transforma coes de Bogoliubov nestes campos atraves do mod-
elo do oscilador bosonico, no intuito de obter o vacuo termico. Utilizamos a experiencia
adquirida nesta analise mais simples para estudar os campos de Schr odinger e Klein-Gordon,
que podem ser decompostos em somas de innitos osciladores harm onicos. Em todos os casos
foi possvel construir as transforma coes de Bogoliubov, desde que ocorra uma duplica cao do
espa co de Hilbert. Finalmente interpretamos o sistema ctcio como uma especie de reservatorio
de partculas tal que criar uma partcula no sistema original implica em destruir um partcula
no sistema ctcio.
45
Bibliograa
[1] Das A., Lectures on Quantum Field Theory Editora Hindustam, 2008
[2] Siqueira Crystian, Teoria da pertubacao na Din amica de Campos Termicos: Aspectos for-
mais, Formula de Redu cao e C alculo de Taxas de Decaimento Universidade de Braslia,
2009.
[3] Takahashi and Umezawa, Thermo Field Dynamics
, International Journal of Modern Physics, 13,14,1996
[4] Lee Penn. Tese de Conclus ao de Curso: O Campo Escalar no Espaco de Sitter e os -
vacua, Universidade Federal do Para, 2008
[5] SAKURAI, J.J., Modern Quantum Mechanics, Addison-Wesley Publishing Company,
(1994).
[6] Vizeu. S., Notas de aula do curso de mecanica quantica UFPA, 2007
[7] Fano. U., Description of States in Quantum Mechanics by Density Matrix and Operator
Techniques
, Phys. rev Lett.29,74,1957
[8] Das A., Finite Temperature Field Theory University of Rochester, USA 1997
[9] Galdino S. Tese de Conclus ao de Curso: Introdu cao `a Mecanica Estatstica Quantica,
Universidade Federal do Para, 2007
[10] Salinas S., Introdu cao `a Fsica Estatstica, Edusp, 1997.
[11] Reif. F., Fundamentals of Statistical and Thermal Physics, Mc graw-Hill International,
1985
46
[12] Callen. H., Thermodynamics and an Introduction to Thermostatistics, University of
Pennsulvania, 1985
[13] Nazareno. H., Mecanica Estatstica e Fun coes de Green, Universidade de Braslia, 1986
[14] Yokoi. C., Notas de aula do curso de Mecanica Estatstica Quantica USP, 1997
[15] Leao E.S. Alexandre, Amancio A.A. Carlos e Perez S., O Operador Densidade na Mecanica
Quantica Trabalho Apresentado na Especializa cao em Fsica, UFPA, 2009.
[16] L. Boas, Mary., Mathematical Methods in the Physical Sciences, DePaul University, 2006.
47