Universidade do Estado do Rio de Janeiro

Centro de Tecnologia e Ciencia

Instituto de Fsica Armando Dias Tavares

Leandro Alexandre da Silva

Processos estoc
asticos em teoria de campos e aplicac
ao ao
universo inflacion
ario

Rio de Janeiro
2009

Leandro Alexandre da Silva

Processos estoc
asticos em teoria de campos e aplicac
ao ao universo
inflacion
ario

Dissertacao apresentada como requisito parcial para obtencao do ttulo de Mestre, ao

Programa de Pos-Graduacao em Fsica, da
Universidade do Estado do Rio de Janeiro.

Orientador: Prof. Dr. Rudnei de Oliveira Ramos

Rio de Janeiro
2009

Leandro Alexandre da Silva

Processos estoc
asticos em teoria de campos e aplicac
ao ao universo
inflacion
ario
Dissertacao apresentada como requisito parcial para obtencao do ttulo de Mestre, ao
Programa de Pos-Graduacao em Fsica, da
Universidade do Estado do Rio de Janeiro.

Aprovada em 12 de Marco de 2009.

Banca Examinadora:

Prof. Dr. Rudnei de Oliveira Ramos (Orientador)

Instituto de Fsica Armando Dias Tavares UERJ

Prof. Dr. Nami Fux Svaiter

Centro Brasileiro de Pesquisas Fsicas

Prof. Dr. Cesar Augusto Linhares

Instituto de Fsica Armando Dias Tavares UERJ

Rio de Janeiro
2009

AGRADECIMENTOS

Agradeco aos meus familiares, pelo apoio durante todos esses anos de estudos (caramba, ja sao uns 19!!).
Agradeco ao prof. Rudnei O. Ramos, pela orientacao ao longo desses u
ltimos 5
anos.
Agradeco ao amigo quase carioca e poxdoc do grupo, o Dr. Ricardo Fariax pelox
trabalhox em conjunto nesses u
ltimox doix anox...
Agradeco aos professores do PPGF que fizeram parte da minha formacao durante
o mestrado: prof. Jose Roberto Mahon, prof. Cesar Linhares, profa. Marcia Begalli, prof.
Jose de Sa Borges e prof. Silvio Sorella.
Agradeco aos secretarios Rogerio e Laurimar, pela disposicao constante em ajudar.
Agredeco ao CNPq e `a CAPES, pelo apoio financeiro.
Agradeco a todos os meus amigos por todos os bons momentos que passamos e
passaremos juntos. Voces sabem quem sao. Nao vou citar nomes porque o tempo esta
curto e tenho que terminar de escrever essa dissertacao.
Agradeco aos Strokes, Doors, Cure, Interpol, Coldplay, Arctic Monkeys, Korn, Cavalera Conspiracy, Killers, Ozzy Osbourne, Sepultura, Offspring, Oasis etc , pelos rudos
que me acompanharam ao longo desses anos e que nao tem aproximacao markoviana que
me faca remove-los da memoria.
Agradeco `a programacao da TV, que, por ser tao ruim, nao me fez perder tempo
com ela.
Agradeco a voce, que esta lendo essa dissertacao e, ao encontrar misprints no texto
vai me comunicar, por livre e espontanea vontade.
Enfim, agradeco `a todas as pessoas, porque num mundo em que se vive so, provavelmente nada faria sentido.

Se voce nao encontra o sentido das coisas e porque este nao se encontra, se cria.
Antoine de Saint-Exup`ery

RESUMO

SILVA, Leandro Alexandre da. Processos estocasticos em teoria de campos e aplicac

ao
ao universo inflacionario. 2009. 82 f. Dissertacao (Mestrado em Fsica) Instituto de
Fsica Armando Dias Tavares, Universidade do Estado do Rio de Janeiro, Rio de
Janeiro, 2009.
conhecido que derivacoes microscopicas obtidas atraves de metodos de teoria
E
quantica de campos (TQC) podem conduzir `a complicadas equacoes de movimento (EdM)
que possuem um termo dissipativo com memoria e um termo de rudo colorido. Um caso
particularmente interessante e o modelo que descreve a interacao entre um sistema e um
banho termico a` temperatura T . Motivado por isso, usamos uma prescricao que nos permite reescrever EdMs nao-markovianas semelhantes `as obtidas em TQC em termos de
um sistema de equacoes locais, para entao confrontarmos a solucao desse sistema com
a solucao aproximada usada correntemente na literatura, a chamada aproximacao markoviana. A pergunta chave a qual se pretende responder aqui e: dado um conjunto de
parametros que descrevem o modelo, a aproximacao markoviana e suficientemente boa
para descrever a dinamica do sistema se comparada a` dinamica obtida atraves da EdM
nao-markoviana? Alem disso, consideramos uma versao linear da ELG de forma que
pudessemos determinar o nvel de confianca da nossa metodologia numerica, procedimento
este realizado comparando-se a solucao analtica com a solucao numerica. Como exemplo
de aplicacao pratica do tema discutido aqui, comparamos a evolucao nao-markoviana do
inflaton com a evolucao markoviana do mesmo num modelo de universo primordial denominado inflacao nao-isentropica (warm inflation).
Palavras-chave: Efeitos de memoria. Equacao de Langevin generalizada. Dinamica
nao-markoviana. Inflacao nao-isentropica.

ABSTRACT

SILVA, Leandro Alexandre da. Stochastic processes in field theory and application to the
inflationary universe. 2009. 82 f. Dissertacao (Mestrado em Fsica) Instituto de Fsica
Armando Dias Tavares, Universidade do Estado do Rio de Janeiro, Rio de Janeiro, 2009.
It is known that microscopic derivations based on quantum field theory (QFT)
methods can lead to quite complicated equations of motion (EoM) with a dissipation
term with memory and a colored noise term. A very interesting particular case is the
model that describes the interaction between a system and a thermal bath at some temperature T . Motivated by this, we use a prescription that allow us to rewrite similar
non-Markovian EoMs to that obtained in QFT in terms of a set of local equations, so
that we can contrast the solution of this system of equations with the approximated solution currently used in the literatury, the so-called Markovian approximation. The key
question we want to address here is: given a set of parameters that characterizes the system and the bath, is the Markovian approximation good enough to represent the systems
dynamics? We also have considered a linear version of the non-Markovian equation in
order to check the confiability of our numerical approach. For that, we have compared
the analytical solution with the numerical one. As an example of practical application of
the theme discussed here, we contrast the non-Markovian and the Markovian evolution
of the inflaton field in an early universe model called warm inflation.
Keywords: Memory effects. Generalized Langevin equation. Non-Markovian dissipation.
Warm inflation.


LISTA DE ILUSTRAC
OES
Figura
Figura
Figura

Figura
Figura
Figura
Figura
Figura
Figura
Figura
Figura
Figura
Figura
Figura
Figura
Figura
Figura
Figura
Figura
Figura
Figura
Figura
Tabela

1 - Contorno no plano complexo . . . . . . . . . . . . . . . . . . . . . . . .

2 - Contorno de integracao de Schwinger. . . . . . . . . . . . . . . . . . . .
3 - Contribuicoes para a acao efetiva do campo ate ordem de um laco.
As linhas cheias indicam insercoes do campo , enquanto que as pontilhadas indicam o propagador do campo . . . . . . . . . . . . . . . .
4 - Contribuicao para a auto-energia do campo . As linhas pontilhadas
indicam o propagador do campo . . . . . . . . . . . . . . . . . . . . .
5 - Comparacao entre o cenario padrao da inflacao e a inflacao nao-isentropica
6 - Evolucao temporal para (t) no caso OU . . . . . . . . . . . . . . . . .
7 - Evolucao temporal para (t) no caso harmonico . . . . . . . . . . . . .
8 - Evolucao temporal para h2 (t)i no caso OU . . . . . . . . . . . . . . .
9 - A diferenca no caso OU . . . . . . . . . . . . . . . . . . . . . . . .
10 - A diferenca 2 no caso OU . . . . . . . . . . . . . . . . . . . . . . . .
11 - Caso OU com rudo aditivo e sua aproximacao markoviana: evolucao
temporal de (t). . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
12 - Caso harmonico com rudo aditivo e a respectiva aproximacao Markoviana: evolucao temporal de (t). . . . . . . . . . . . . . . . . . . . . .
13 - Diferencas e 2 no caso OU aditivo. . . . . . . . . . . . . . . . .
14 - Diferencas e 2 no caso H aditivo. . . . . . . . . . . . . . . . . .
15 - Caso OU com rudo multiplicativo e a aproximacao markoviana: evolucao
temporal de (t). . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
16 - Caso H com rudo multiplicativo e a aproximacao markoviana: evolucao
temporal de (t). . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
17 - Diferencas e 2 no caso OU multiplicativo. . . . . . . . . . . . . .
18 - Diferencas e 2 no caso H multiplicativo. . . . . . . . . . . . . . .
19 - Temperatura efetiva Tef . . . . . . . . . . . . . . . . . . . . . . . . . .
20 - Evolucao temporal do inflaton . . . . . . . . . . . . . . . . . . . . . . .
21 - Temperatura efetiva do inflaton . . . . . . . . . . . . . . . . . . . . . .
22 - A temperatura efetiva ao final de inflacao . . . . . . . . . . . . . . . .

17
24

25
27
44
56
57
58
58
59
63
64
65
65
66
67
68
68
69
76
77
78

1 - Caractersticas de um universo dominado por radiacao ou materia . . . 36


SUMARIO

1
1.1
1.2
2
2.1
2.2
2.2.1
2.3
2.4
2.5
2.5.1
3
3.1
3.2
3.3
3.4
3.5
3.6
4
4.1
4.2
4.3
4.3.1
4.3.2
4.4
5
5.1
5.2
5.2.1
5.3
5.4

INTRODUC
AO
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
DE MOVIFORMALISMO DE TEMPO REAL E EQUAC
AO
MENTO EFETIVA . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Formulac
ao de tempo real atrav
es de integrais de trajet
oria . . .
Equac
ao de Langevin generalizada . . . . . . . . . . . . . . . . . . .

COSMOLOGIA INFLACIONARIA
. . . . . . . . . . . . . . . . . .
Introduc
ao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
A m
etrica FRLW e as Equaco
es Din
amicas do Universo . . . . . .
Parametros Cosmologicos . . . . . . . . . . . . . . . . . . . . . . . . . . .
Falhas do Modelo Cosmol
ogico Padr
ao . . . . . . . . . . . . . . . . .
Inflac
ao Convencional . . . . . . . . . . . . . . . . . . . . . . . . . . .
Inflac
ao N
ao-Isentr
opica . . . . . . . . . . . . . . . . . . . . . . . . . .
Equacoes Dinamicas da Inflacao Nao-Isentropica . . . . . . . . . . . . . .

CONSTRUINDO E TESTANDO A ABORDAGEM NUMERICA

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Introduc
ao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
O sistema din
amico . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Regime linear - abordagem analtica . . . . . . . . . . . . . . . . . .
Regime linear - abordagem num
erica . . . . . . . . . . . . . . . . . .
Comparac
ao entre a Soluc
ao Analtica e Num
erica . . . . . . . . .
Discuss
oes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
ENTRE AS DINAMICAS

COMPARAC
AO
MARKOVIANA E

NAO-MARKOVIANA . . . . . . . . . . . . . . . . . . . . . . . . . .
Introduc
ao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Equac
oes n
ao-markovianas . . . . . . . . . . . . . . . . . . . . . . . .
Aproximac
ao markoviana . . . . . . . . . . . . . . . . . . . . . . . . .
O caso aditivo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
O caso multiplicativo . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Discuss
oes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
A
` INFLAC
NAO-ISENTR

APLICAC
AO
AO
OPICA
. . . . . . .
Motivac
ao microsc
opica . . . . . . . . . . . . . . . . . . . . . . . . . .
O sistema din
amico . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Aproximacao local . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
Comparac
ao entre as din
amicas markoviana e n
ao-markoviana . .
Discuss
oes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

COMENTARIOS
FINAIS . . . . . . . . . . . . . . . . . . . . . . . .

10
15
15
24
31
31
32
36
37
38
42
44
47
47
48
52
54
55
57
60
60
60
62
63
66
68
70
70
71
74
75
76
79


REFERENCIAS

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 80

10

INTRODUC
AO

Quando o botanico ingles Robert Brown publicou suas observacoes realizadas

atraves de um microscopio no paper de ttulo nem um pouco microscopico A brief account
of microscopical observations made in the months of June, July, and August, 1827, on the
particles contained in the pollen of plants and on the general existence of active molecules
in organic and inorganic bodies, ele provavelmente nao fazia ideia da grande contribuicao
para a ciencia que ele estava naquele momento fornecendo. Nesse artigo, pela primeira
vez se desassocia o movimento incessante de partculas suspensas em lquidos a` existencia
de vida nesse sistema (EINSTEIN; BECK; HAVAS, 1989). Transcorreram-se cerca de 80
anos ate que uma descricao teorica bem fundamentada para esse fenomeno microscopico
fora do equilbrio, que passou a ser conhecido como movimento Browniano, fosse cons
die von der molekularkinetischen Theorie
truda. Albert Einstein, em seu artigo Uber
der Warme geforderte Bewegung von in ruhenden Fl
ussigkeiten suspendierten Teilchen,
partiu de argumentos termodinamicos e do conceito de pressao osmotica sobre partculas
suspensas para calcular a constante de difusao D = kb T de uma partcula browniana.
Essa relacao ficou conhecida como relacao de Einstein, onde kb e a constante de Boltzman, T a temperatura do fluido e e a constante de mobilidade, que e inversamente
proporcional a` constante de friccao (KUBO; HASHITSUME, 2012). Em 1951, tal relacao
foi generalizada por Callen e Welton (CALLEN; WELTON, 1951), no que se tornou um
dos pilares da mecanica estatstica do nao-equilbrio: o teorema de flutuacao-dissipacao.
Uma outra abordagem igualmente satisfatoria para o problema do movimento
Browniano foi publicada tres anos apos o trabalho de Einstein. Ao inves de resolver uma
equacao diferencial parcial que governa a evolucao da densidade de probabilidade de uma
partcula Browniana (equacao de Fokker-Planck), Paul Langevin se focou na trajetoria da
partcula. Ele redefiniu a segunda lei de Newton de forma que esta passasse a descrever
a dinamica dessa partcula. O preco a pagar foi a introducao de objetos matematicos
pouco conhecidos e formalizados na epoca. Desta forma, alem da contribuicao para o
entendimento do fenomeno fsico propriamente dito, essa abordagem alternativa para a
descricao do movimento Browniano conduziu a avancos muito importantes na matematica.
Uma nova classe de equacoes diferenciais, as chamadas equacoes diferenciais estocasticas
(EDEs), comecou entao a ser estudada. Os principais responsaveis por desenvolver uma
base matematica rigorosa para esse novo mundo dos processos estocasticos, foram Bachelier (BACHELIER, 1900), Wiener (WIENER, 1923), Kolmogoroff (KOLMOGOROFF,
1944) e Stratonovich (STRATONOVICH, 1966).
1931), Feller (FELLER, 1937), Ito (ITO,
Podemos entao ver a equacao de Langevin como uma sub-classe de EDE. A ttulo
de ilustracao, a equacao de Langevin na presenca de um campo de forcas pode ser escrita
da seguinte maneira:

11

V
dp
=
p + R(t) ,
dt
x
dx
p
=
,
dt
m

(1)

onde x e a posicao da partcula de momento p, e o coeficiente de dissipacao e R(t) e um

processo estocastico mudando aleatoriamente no tempo. Sao impostas 2 condicoes sob a
equacao de Langevin acima: R(t) e um processo gaussiano, o que significa hR(t)i = 0, e
possui espectro branco, ou seja, hR(t)R(t0 )i (t t0 ).
Hoje em dia sabemos que tanto a abordagem via EDEs, quanto a abordagem via
equacao de Fokker-Planck descrevem de maneiras distintas, porem equivalentes, processos contnuos e markovianos (sem memoria). Essa frase sintetiza o aspecto geral que
essas abordagens possuem. Estas poderosas ferramentas matematicas lancam luz sobre diversas areas do conhecimento. Por exemplo, equacoes da forma da equacao de
Langevin sao utilizadas em modelos para estudar o crash de bolsas de valores (BOUCHAUD; CONT, 1998), na modelagem matematica para descrever a formacao de complexos protena-protena (SCHLUTTIG et al., 2008) e em estudos de degradacao do sistema
de controle postural devido ao mal de Parkinson (BOSEK et al., 2005).
No contexto da Fsica contemporanea, o entendimento de fenomenos fora do equilbrio
e o desenvolvimento de tecnicas adequadas a essa situacao e peca fundamental para atacarmos problemas de vanguarda. Como exemplos de areas que contem questoes abertas
nesse sentido sao a fsica de colisao de ons pesados, a cosmologia e a materia condensada.
No contexto da colisoes de ons-pesados, com os recentes experimentos realizados
no RHIC relativos a` possibilidade de formacao de um plasma de quarks e gluons (??), e
esperado que campos quirais evoluam sob condicoes extremas de temperatura e densidade
de energia durante a transicao de fase da QCD, e entao a evolucao fora do equilbrio
dos campos passa a ser uma importante questao. Para termos um entendimento claro
dos dados obtidos no BNL-RHIC, e especialmente dos dados que serao produzidos no
CERN-LHC, sera necessaria uma descricao realstica da hierarquia de escalas associada
com dissipacao, rudo e radiacao. O estudo de todos esse processos mencionados acima,
requerem o uso da metodos provenientes da teoria quantica de campos fora do equilbrio
(CASSOL-SEEWALD et al., 2012).
Ja na cosmologia do universo primordial, metodos fora do equilbrio estao sendo
aplicados, por exemplo, para se alcancar um entendimento quantitativo da teoria do
reaquecimento com o objetivo de explicar a transicao para a fase de radiacao do universo
apos a inflacao (KOFMAN; LINDE; STAROBINSKY, 1996).
Em relacao `a materia condensada, esforcos estao sendo voltados para a obtencao
de um melhor entendimento da dinamica quantica de muitos corpos, por exemplo em
experimentos de laboratorio envolvendo gases quanticos de Bose/Fermi ultra-frios. Uma

12
questao interessante nesse contexto e sobre o papel de flutuacoes quanticas na dinamica de
campos escalares, as quais sao geralmente negligenciadas quando aplicamos a aproximacao
de teoria classica de campos dada pela equacao de Gross-Pitaevskii (GROSS, 1961).
De um modo geral, todos os exemplos citados acima sao constitudos de um determinado sistema, em cuja dinamica estamos interessados, o qual interage com um determinado banho ou meio, sendo que se este esta em equilbrio a uma determinada temperatura,
constitui um banho termico. Nesses casos, fica evidenciado que tecnicas que descrevem
sistemas fora do equilbrio termico podem ser utilizadas. Sem d
uvida alguma, equacoes
tipo Langevin sao ferramentas essenciais no estudo de fenomenos fora do equilbrio. Entretanto, um detalhe fundamental deve ser observado. Em modelos microscopicos mais
realstas em mecanica estatstica, tal como o modelo de Caldeira-Legget (CALDEIRA;
LEGGETT, 1981), ou em modelos de interacao sistema-banho analogos que surgem em
teoria quantica de campos, a equacao de movimento possui um termo dissipativo naomarkoviano e o termo de rudo e colorido, ou seja, sua correlacao nao e uma delta de
Dirac, como aparece, por exemplo, na equacao que descreve o movimento browniano
usual, eq. (1). Por exemplo, uma equacao de movimento efetiva tpica para o sistema que
surge ao integrarmos sobre os graus de liberdade que constitui o banho, pode ser escrita
de forma geral como (BERERA; MOSS; RAMOS, 2007):


2
d2
2
+ m + c (t) c (t)nc (t)(t) ,
2
dt
3!

(2)

onde c (t) pode representar um campo escalar homogeneo, um parametro de ordem ou

ate mesmo a coordenada de uma partcula. n, na equacao acima, pode assumir os valores
0 ou 1, dependendo do tipo de rudo que estamos tratando (aditivo ou multiplicativo,
respectivamente). Esses valores de n vao ser, mais a frente, motivados pelos calculos
realizados em teoria de campos para equacoes efetivas de movimento (de forma geral, a
presenca de rudos aditivo ou multiplicativo, dependem do tipo de interacao do sistema
com o meio). Em (2), e um termo de rudo que satisfaz as seguintes relacoes:

hi = 0 , h(t)(t0 )i = N (t t0 ) ,

(3)

ou seja, ainda e do tipo gaussiano, mas cuja correlacao nao e necessariamente branca (um
delta de Dirac). Nas expressoes acima, notamas a presenca de dois kernels: o kernel de
dissipacao K(t, t0 ), e o kernel de rudo N (t, t0 ). A relacao entre os dois se da atraves de
um teorema de flutuacao-dissipacao generalizado no espaco de Fourier.
Podemos entao ver que a equacao (2), ao contrario da equacao de Langevin convencional, possui um termo dissipativo que depende da historia do sistema (termo

13
nao-Markoviano), e seu termo de rudo possui espectro colorido (sua correlacao nao e proporcional a uma delta de Dirac). Equacoes desse tipo sao exemplos do que se denomina
equacao de Langevin generalizada (ELG). A maneira usual de obter uma solucao para tal
tipo de EDE e lancar mao da chamada aproximacao markoviana, a qual consiste, grosso
modo, em escrever o termo dissipativo da eq. (2) da forma:

dt0 K(t t0 )nc (t0 ) c (t0 )

t0
Z t
2n
dt0 K(t t0 )
c (t) c (t)
nc (t)

t0
2n

Qc (t)c (t) ,

(4)

e considerar o kernel de rudo da forma: N (tt0 ) = 2T (tt0 ), de acordo com o teorema

flutuacao-dissipacao. No entanto, algumas perguntas surgem ao utilizarmos esse tipo de
aproximacao ao nos depararmos com modelos que possuem EDM semelhante a` eq. (2):
A eliminacao do termo nao-Markoviano da EDM acarreta alteracoes na descricao
da dinamica do sistema?
A discrepancia (nula ou nao) entre a dinamica markoviana e nao-markoviana e
dependente do conjunto de parametros utilizados no modelo?
O efeito de memoria e mais significativo para tempos curtos, longos ou sua relevancia
e independente do tempo?
Nesta dissertacao, tentaremos responder essas questoes.
A essencia do presente trabalho repousa sobre o seguintes tripe: Mecanica Estatstica Fora do Equilbrio (MEFE), Teoria Quantica de Campos a` Temperatura Finita
(TQCTF) e Cosmologia Fsica. Com isso, torna-se indispensavel fazer uma breve revisao
sobre esses assuntos, de forma a oferecer ao leitor motivacao, conceitos e definicoes basicas
que o permita acompanhar os captulos seguintes com uma fluidez razoavel. No captulo
2, abordamos de forma operacional as ferramentas necessarias para se entender o modelo
de inflacao nao-isentropica (warm inflation), modelo este de grande interesse atualmente.
No captulo 1, apresentamos um exemplo bastante conhecido de deducao de uma ELG
usando o formalismo de tempo real. No captulo 3, obtemos um sistema dinamico que
nos permite tratar numericamente equacoes do tipo da equacao (2) e, alem disso, mostramos diversos testes de precisao relativos a nossa abordagem numerica. No captulo 4,
comparamos a dinamica markoviana da equacao de movimento com sua dinamica naomarkoviana usando a abordagem numerica desenvolvida e testada no captulo anterior.
Finalmente, no captulo 5, aplicamos essa analise ao modelo de inflacao nao-isentropica.
Apos isso, apresentamos nossos comentarios finais. Optamos por incluir no final de cada

14
captulo, onde se mostrou necessario, discussoes e conclusoes sobre os mesmos, ja que eles
preservam entre si uma certa independencia.

15
DE MOVIMENTO
1 FORMALISMO DE TEMPO REAL E EQUAC
AO
EFETIVA

O objetivo deste captulo e fornecer uma sucinta revisao do formalismo de tempo

real (FTR) e motivar o tema do presente trabalho atraves da ilustracao dos procedimentos
usados na obtencao de uma equacao de movimento da forma da eq. (2) em teoria de
campos, mais especificamente usando um modelo de campos escalares acoplados.
O FTR e uma das formulacoes possveis da teoria de campos `a temperatura finita.
Como o proprio nome indica, esse formalismo e desenvolvido em tempo real (Minkowski),
ao inves de usar tempo imaginario (Euclidiano). Talvez a vantagem mais contundente
dessa formulacao e que a mesma pode ser usada como ponto de partida para a teoria de
campos fora do equilbrio, ao contrario do formalismo de tempo imaginario.

1.1 Formulac
ao de tempo real atrav
es de integrais de trajet
oria
Nesta secao, faremos uma breve revisao do formalismo de tempo real usando
metodos funcionais (BELLAC, 2000). Para isso, consideraremos uma TQCTF descrita
pelo Hamiltoniano H[, ], onde (x) e um operador de campo bosonico na representacao
de Heisenberg e (x) e o momento canonico conjugado (~ = 1). Esses operadores obedecem `as seguintes relacoes de comutacao:

[(x, t), (x0 , t)] = i (3) (x x0 ) ,

[(x, t), (x0 , t)] = 0 ,
[(x, t), (x0 , t)] = 0 .
(5)
A evolucao temporal destes operadores e gerada pela Hamiltoniana de tal forma que
(x, t0 ) = exp(iH(t0 t))(x, t) exp(iH(t0 t))

(6)

(x, t0 ) = exp(iH(t0 t))(x, t) exp(iH(t0 t)) .

(7)

Seja |(x, t)i um vetor de estado na representacao de Heisenberg descrevendo um estado

que num tempo t e um auto-estado do operador de campo (x, t) com autovalor (x).
Temos entao que
(x, t)|(x), ti = (x)|(x), ti .

(8)

16
Autoestados de (x, t) sao definidos da mesma maneira, ou seja,
(x, t)|(x), ti = (x)|(x), ti .

(9)

A evolucao destes vetores de estado e governada pela Hamiltoniana:

|(x), t0 i = exp [iH(t0 t)] |(x), ti

(10)

|(x), t0 i = exp [iH(t0 t)] |(x), ti ,

(11)

e como consequencia de (6), (7), (10) e (11) os autovalores (x) e (x) em (8) e (9) sao
independentes do tempo.
Em qualquer tempo dado t, os vetores de estado formam um conjunto completo
de estados:
Z
Z
D |, ti h, t| = D |, ti h, t| = 1 .
(12)
Estamos interessados no calculo das funcoes de Green termicas G (x1 , , xn ), definidas
pela media do produto ordenado no tempo de operadores (x),
G (x1 , , xn ) =

1
Tr{exp(H)T [(x1 ) (xn )]} .
Tr exp(H)

(13)

conveniente, para estudar as propriedades analticas destas funcoes de Green termicas

E
(13), estender o suporte das variaveis de campo a todo o plano complexo (onde z e uma
variavel complexa) atraves da generalizacao das translacoes temporais (6), (7), (10), (11)
(x, t + z) = eiHz (x, t)eiHz

(14)

|(x), t + zi = eiHz |(x), ti

(15)

h(x), t + z| = h(x), t|eiHz ,

(16)

e similarmente para (x, t) e |(x), ti.

Apos ligar uma fonte externa J no intervalo de tempo [T, T ], desejamos derivar
a representacao funcional do gerador funcional Z[J], a qual tem a propriedade

1 1


G (x1 , , xn ) =

Z[J] 
.
n
Z[0] i J(xn )
J(x1 )
J=0
possvel mostrar que o funcional
E
(
"
 Z +T Z
 #)
T r eH T exp i
dt d3 x J(x)(x)

(17)

(18)

tem a propriedade mencionada anteriormente para argumentos temporais ti no intervalo

T < ti < T . Em (18) a integracao estende-se sobre todo espaco tridimensional e sobre

17
Figura 1 - Contorno no plano complexo

o segmento de T a +T no eixo temporal real. No entanto, ao calcular as funcoes de

Green termicas perturbativamente generalizamos (18) como
#)
(
"
Z
Z
Z[J] = T r eH Tc exp i

d3 x J(x, )(x, )

(19)

onde na equacao acima colocamos um ndice c no ordenamento temporal e na integracao

temporal, pois estendemos a integracao do eixo real [T, T ] para uma integracao sobre o
contorno C no plano complexo (figura 1).
Tomamos = 2 e trabalharemos com o contorno que comeca em ti e vai ao longo
do eixo real ate +tf (denominamos este segmento de C1 ). A partir de +tf o contorno
continua ao longo da direcao imaginaria no tempo ate +tf i2 (segmento C3 ), a partir
de +tf i2 paralelo ao eixo real ate ti i2 (segmento C2 ) e finalmente paralelo ao eixo
imaginario no tempo ate ti i (segmento C4 ). Nos damos aos segmentos C1 e C2 do
contorno inclinacoes infinitesimais para baixo (com o aumento do parametro do contorno),
pois isto garante que o propagador tenha propriedades causais. Tambem generalizamos o
operador de ordenamento temporal T em (13) e (18) como um operador Tc , o qual ordena
operadores de acordo com seus argumentos temporais no contorno. No contorno podemos
definir a funcao c ( 0 )
Z
d 0 c ( 0 )f ( ) = f ( 0 ) .
(20)
c

O ordenamento Tc pode ser feito pela funcao de Heaviside no contorno, e para definir
as distribuicoes e de Dirac podemos usar uma definicao parametrica = z() no
contorno, com real e monotonicamente crescente (BELLAC, 2000). O ordenamento ao
longo do caminho correspondera ao ordenamento em . Introduzimos essas funcoes da

18
forma
C ( 0 ) = ( 0 ) ,
 1
z
0
( 0 ) .
C ( ) =

(21)
(22)

Com estas definicoes podemos escrever, por exemplo,



0

(x
0 ) + C ( 0 )(x
0 )(x)

TC (x)(x ) = C ( 0 )(x)
,


h
i


(x
0 ) = C ( 0 ) (x),

0 ) + TC (x)
(x
0) .
TC (x)
(x

(23)

Podemos tambem estender a nocao da diferencial funcional:

J(x)
= C ( 0 ) (3) (x x0 ) .
J(x0 )

(24)

Podemos considerar (19) como um gerador funcional para as funcoes de Green

ordenadas por Tc com suporte no contorno C. Se o suporte da funcao fonte J(x, ) em
(19) e restrito ao segmento no eixo real [T, T ], (19) reproduz (18).
Calculamos o traco (19) fazendo uso do conjunto completo de estados do operador
de campo (x) no tempo t = 0,

 Z

Z
H
Z [J] = D h, 0| e
Tc exp i J |, 0i .
(25)
c

Por conveniencia, usamos (15) e (16) e transladamos os vetores de estado em (25) ate os
pontos finais do contorno C,
Z
R
Z [J] =
D h, 0| eiHT e+iHT eH Tc ei c J |, 0i
Z
R
=
D h, 0| e+iHT eH Tc ei c J eiHT |, 0i
Z
R
=
D h, T i| Tc ei c J |, T i .
(26)
Inserindo em (26) conjuntos completos de estados nos pontos finais dos segmentos
C1 , C2 , C3 , obtemos
Z
R
i
J
Z [J] =
DD0 D00 D000 h, T i|Tc e c4 |000 , T i
R

i
J
h000 , T i |Tc e c2 |00 , T i i
2
2
R

i
J
h00 , T i |Tc e c3 |0 , +T i
2R
i
J
h0 , +T |Tc e c1 |, T i .

(27)

19
Cada elemento de matriz em (27) tem uma representacao funcional de uma integral
de trajetoria. Podemos mostrar (ABERS; LEE, ) que o gerador funcional pode ser escrito
como (BELLAC, 2000)
 Z 
Z

D ( ) D ( )

Z [J] =
exp i
H + J
,
(28)
2
C
C
onde aqui e a derivada de com direcao tangencial a C no plano complexo t. A
independencia de dos autovalores em (8) fornece a seguinte condicao de contorno na
integral de trajetoria (28)
(T ) = (T i) ,

(29)

a qual e a chamada condicao de periodicidade de Kubo-Martin-Schwinger (KMS) (KUBO,

1957; MARTIN; SCHWINGER, 1959).
A partir da derivacao feita acima e evidente que existem algumas arbitrariedades
na escolha do contorno C. Uma restricao obvia e que os pontos finais sejam separados
por i. O contorno deve passar atraves dos pontos 1 , , n , os quais aparecem como
argumentos nas funcoes de Green desejadas G (x1 , , xn ). Outra condicao e derivada
a partir da imposicao de que os valores dos argumentos temporais estejam dentro do
domnio de analiticidade das funcoes de Green G (1 , , n , x1 , , xn ). Este domnio e
restrito tal que se i antecede j ao longo de C o domnio da definicao e dado por
Im(j i ) 0 .

(30)

Esta condicao de analiticidade e satisfeita se C nao estiver em nenhuma direcao para cima
do plano complexo t (isto garante que a parte real do expoente em (28) seja limitado).
Satisfazendo estas condicoes, varios contornos podem ser escolhidos. Para calcular as
funcoes de Green com argumentos temporais reais diretamente, devemos escolher um
contorno o qual englobe todo eixo temporal real. Um contorno largamente usado em
Mecanica Estatstica parte de T (eventualmente o limite T e feito) e vai ao longo
do eixo real ate +T com uma inclinacao infinitesimal como no presente caso, entao retorna
a T e baixa ate T i. O contorno usado nesta revisao do formalismo de tempo real
e o que leva a um tratamento simetrico dos segmentos C1 e C2 ( = 2 ) (BELLAC, 2000).
Consideraremos uma teoria quantica de campos com a densidade Hamiltoniana
dada por


1
1
H[, ] = 2 + 2 + m2 + V [] .
2
2

(31)

Depois de efetuar a integral Gaussiana sobre as variaveis de momento canonico (x) o

20
gerador funcional (28) torna-se (a menos de uma normalizacao)
Z
Z
Z[J] = D exp[i (L () + J)] .
c

(32)

Usando a definicao (24) junto com a definicao da funcao de Dirac no contorno, podemos
reescrever (32) como
 Z 


1
4
Z [J] = exp i V
dx
i J
c

Z

Z
1
4
4
exp
d y d xJ (x) G (x y) J (y)
.
(33)
2 c
c
O propagador termico e a funcao de Green no contorno
(c m2 )G (x y) = iC (x y) ,

(34)

onde para G (x y) consideramos o ansatz

G (x y) = G> (x y) c (x y ) + G< (x y) c (y x ) .

(35)

Ao especificar as condicoes de contorno, notamos que indo de (32) a (33), fizemos a

mudanca de variavel
Z
(x) (x) + i G (x y) j(y) .
(36)
c

Juntamente com (29), obtemos a conhecida condicao de contorno de Kubo-Martin-Schwinger

para a funcao de Green,
G> (x y i, x y) = G< (x y , x y) .

(37)

A solucao de (34), sujeita a (37), e dada por

nh
i
1
1
ik ( 0 )
k +ik ( 0 )
e
+
e
( 0 )
2k 1 ek
h
i
o
0
0
+ eik ( ) + ek ik ( ) ( 0 ) ,

G ( 0 , k ) =

(38)

p
onde fizemos a transformada de Fourier nas variaveis espaciais e k = k2 + m2 .
Podemos agora tomar o limite T em (33). Neste limite ambos os segmentos
C3 e C4 vao a infinito e
G (1,2 3,4 ) 0 .

(39)

Pelo lema de Riemann 1,2 e 3,4 sao pontos nos segmentos C1,2 e C3,4 do contorno, res-

21
pectivamente. A partir de (33) conclumos que Z[J] fatoriza e fica sendo dado por
Z[J] = Z[J, C1 C2 ] Z[J, C3 C4 ] ,

(40)

onde



Z
1
1
exp
Z[J, C1 C2 ] = exp i
V
JDJ ,
i J
2 C1 C2
C1 C2



 Z

Z
1
1
exp
JDJ .
Z[J, C3 C4 ] = exp i
V
i J
2 C3 C4
C3 C4


(41)
(42)

Quando (33) e utilizado para calcularmos funcoes de Green com argumentos no

eixo temporal real a parte relevante de Z[J] e Z[J, C1 C2 ]. As contribuicoes de Z[J, C3 C4 ]
podem ser absorvidas numa, normalizacao. Definimos, portanto,
Z[J] = Z[J, C1 C2 ] .

(43)

Z[J] definido por (43) gera as funcoes de Green em tempo real (13) por derivadas funcionais em relacao a J com argumentos temporais reais. Em (41) definimos
Z

J(x)G (x y) J(y) =
C1 C2

dtdt

dxdyJa (t, x)Ga,b (tt0 , xy)Jb (t0 , y) . (44)

onde a e b podem assumir os valores + ou ,

J+ (x) = J (x) ,


i
J (x) = J t , x ,
2

(45)

e
G++ (x y) = G (x y) ,
G (x y) = G (y x) ,


i
+
<
G (x y) = G x0 y0 + , x y ,
2


i
+
>
G (x y) = G x0 y0 , x y .
2

(46)

22
O gerador funcional (43) adquire a forma
 Z



 


Z
1
1
1
ab
Z [J1 , J2 ] = exp i
V
V
exp
Ja G Jb
i J+
i J
2

Z
Z
Z

1
1ab
=
Da exp

a G i d4 x V [+ ] V [ ]
2

Ja a )
.
(47)
As funcoes de Green em tempo real (13) sao geradas derivando (47) repetidamente
com relacao a J+ e tomando J+ e J igual a zero:
G (x1 , , xn ) =

Z
[J
,
J
]
.
+

in Z [0, 0] J+ (xn )
J+ (xn )
J+ =J =0

(48)

No espaco de momentos o propagador Gab e dado por

Gab (k) =

cosh sinh
sinh cosh

i
k2 m2 +i

k2 m2 i

cosh sinh
sinh cosh

!
,

(49)

onde
cosh2 =

1
.
1 e|k0 |

(50)

Aplicando a relacao
(x) =

lim 2
,
0 x + 2

(51)

podemos escrever (49) na forma

Gab (k) =

i
+ e|k20 | 1 (k 2
k2 m2 +i
2e|k0 |/2
(k 2 m2 )
1e|k0 |

m2 )

2e|k0 |/2
(k 2 m2 )
1e|k0 |
i
+ e|k20 | 1 (k 2
k2 m2 i

!
m2 )

. (52)

A duplicacao do n
umero de campos e, consequentemente a estrutura matricial de
propagadores dada pela eq. (52), pode ser melhor entendida se colocarmos o problema
em termos de uma situacao mais geral que envolve tanto situacoes de equilbrio quanto de
nao equilbrio, caso no qual o formalismo de tempo real torna-se muito importante. Neste
caso, a descricao de nao equilbrio de um sistema e determinada pela evolucao temporal
do operador matriz densidade . Essa evolucao (na representacao de Schrodinger) e
determinada pela equacao de Liouville quantica
i}

i
(t) h
= H (t) , (t) .
t

(53)

23
Uma situacao de nao equilbrio aparece quando o Hamiltoniano nao comuta com a matriz
densidade. Notamos que temos uma dependencia temporal explcita na Hamiltoniana. A
solucao formal da equacao de Liouville e
(t) = U (t, t0 ) 0 (t) U 1 (t, t0 ) ,

(54)

com 0 (t) sendo a matriz densidade em algum tempo inicial t0 que determina a condicao
inicial para a evolucao e U (t, t0 ) e o operador evolucao, que, no equilbrio, e dado por

i
(t t0 ) .
U (t, t0 ) = exp H
}


(55)

Medias dos operadores no ensemble e funcoes de correlacao podem ser obtidas como
usualmente,
E
h
i
1
(t) =
U (t, t0 ) (t0 ) U 1 (t, t0 ) ,
O
tr O
tr
(t0 )
D
E
h
i
1
1

O (t1 ) O (t2 ) =
tr OU (t1 , t2 ) OU (t2 , t0 ) (t0 ) U (t1 , t0 ) .
tr
(t0 )
D

(56)
(57)

As expressoes acima tem um significado muito intuitivo. Ao calcular medias no ensemble,

temos o estado inicial (ou matriz densidade), evoluimos este para frente no tempo de t0 ate
t, inserimos o operador em questao e evoluimos o estado para tras no tempo ate t0 . Para
a funcao de correlacao (t1 > t2 ), evoluimos o estado inicial ate t2 , iserimos o operador,
evoluimos ate t1 , inserimos o segundo operador e, finalmente evoluimos o estado para tras
ate t0 . Na maioria dos casos de interesse o operador matriz densidade inicial e qualquer
estado puro ou termico correspondendo ao estado fundamental de algum Hamiltoniano
inicial. Em ambos os casos a matriz densidade inicial e da forma
h
i
i .
(t0 ) = exp H

(58)

i pode ser projetado tomando o limite .

o estado fundamental de H
Funcoes de correlacao e medias no ensemble podem ser obtidas considerando a
insercao de operadores e a evolucao para frente no tempo (de t0 ) e para tras ate o
tempo original e, finalmente para baixo no eixo imaginario do tempo ate t0 i levando
em conta a condicao inicial termica. Calculamos o traco das quantidades e identificando
as configuracoes de campos inicial e final e fazemos a integracao funcional sobre esta
configuracao, assim consideramos as integrais de trajetoria no plano complexo temporal.
Como mostrado anteriormente, podemos negligenciar as partes C3 e C4 do contorno e
assim, recamos num contorno mais simples para o formalismo de tempo real. Este e
conhecido como contorno de trajetoria fechada de Schwinger (CTFS), o qual contem
apenas as partes C1 e C2 , para ti e tf .

24
A ideia de Schwinger foi fazer o estado final ser exatamente igual ao estado inicial.
Grosso modo, o que se faz e deixar um sistema quantico evoluir primeiro num sentido
para frente no tempo e entao voltar sua evolucao para tras. Esse procedimento leva a
necessidade de construir uma teoria com uma evolucao temporal ao longo de um contorno
com dois ramos (fig.2).
Figura 2 - Contorno de integrac
ao de Schwinger.

Usando este contorno de Schwinger, obtemos os mesmos propagadores derivados

anteriormente com o contorno da fig.(1), assim como a funcao de particao para o campo
escalar.

1.2 Equac
ao de Langevin generalizada
Como exemplo de aplicacao do formalismo de contorno de tempo fechado de
Schwinger para a derivacao de uma equacao de movimento efetiva e que ira motivar
nossos estudos nos proximos captulos, vamos considerar uma acao envolvendo campos
escalares acoplados, onde , considerado um campo classico em cuja dinamica estamos
interessados (ou seja, sera considerado como representando o sistema), interage com um
campo intermediario , que por sua vez acopla-se a um campo em equilbrio termico.
A acao correspondente a esse sistema de campos acoplados e dada por

Z
S[, , ] =

"
d4 x

1
1
( )2 m2 2 4 + ( )2
2
2
4!
2

#
2
1 2 2 1
1
g

m + ( )2 m2 2 2 2 f 2 .
2
2
2
2

(59)

Queremos obter uma equacao efetiva de movimento para o campo , pois o mesmo
e definido como sendo o sistema. O procedimento usual e integrar funcionalmente o campo
e entao obter uma acao efetiva parcial para os campos e . Entao integramos o campo
, e obtemos finalmente uma acao efetiva em termos de . A acao efetiva resultante para
uma configuracao de campo classica = , nesse procedimento de integracoes funcionais,

25
e dado por

Sef f [] = S[] + S[] ,

(60)

onde S[] representa as correcoes quanticas a acao classica S[]. Essas correcoes estao
mostradas na figura 3, onde nos restringimos `aquelas correcoes ate a ordem de um laco
(loop). Restringimos o calculo ate essa ordem, pois ja sera suficiente para mostrarmos
a forma da equacao de movimento para c como sendo uma equacao de Langevin generalizada, como discutido na introducao. Alem disso, termos de ordem superior aos
mostrados podem ser feitos subdominantes com relacao aos de um laco, considerando
valores apropriados para as constantes de acoplamento em (59).
Figura 3 - Contribuic
oes para a ac
ao efetiva do campo ate ordem de um laco. As linhas
cheias indicam inserc
oes do campo , enquanto que as pontilhadas indicam o
propagador do campo .

Escrevendo as contribuicoes mostradas na figura 3 explicitamente, e definindo novas

variaveis de campo c e , por1

1
+ c ,
2
1
= c ,
2

+ =

(61)

(62)

obtemos a acao efetiva como sendo dada por2

A motivac
ao para o uso dessas novas varaveis em vez de + e , vem do fato que essas u
ltimas n
ao
s
ao vari
aveis independentes sobre o contorno de Schwinger, possibilitando entao, realizar uma rotac
ao
sobre os campos, para um novo conjunto de variaveis independents, dadas por c e (BERERA;
MOSS; RAMOS, 2007). pode ser associado com um campo de resposta, enquanto que c e o
campo fsico que sente as flutuac
oes do sistema (MARTIN; SIGGIA; ROSE, 1973). Em particular,
essas mudancas de vari
aveis facilitam a identificacao na acao efetiva dos termos responsaveis pelas
flutuacoes no sistema, isto e as partes imaginarias.

Detalhes completos sobre a derivac

ao da acao efetiva pode ser encontrada na referencia (GLEISER;
RAMOS, 1994).

26

d3 k 1 + 2n

Sef f [ , c ] = S[ , c ] g
d x (x)c (x)
(2)3
Z


2

g4

d4 xd4 x0 (x)c (x)2 (x0 ) + 4 (x)c (x)2c (x0 ) Im G++ x,x0 (t t0 ) +

2
Z

2
4
+ig
d4 xd4 x0 (x)c (x) (x0 )c (x0 )Re G++ x,x0 ,
(63)
2

onde

Z
S[ , c ] =

d4 x 2 m2 c
4 3c + 3 c ,
4!

(64)

e a acao classica do campo em termos das variaveis (62). O termo seguinte na primeira
linha da eq. (63) refere-se ao primeiro diagrama mostrado na fig. 3, com n sendo a
distribuicao de Bose-Einstein para o campo ,

n =

1
,
exp( ) 1

(65)

e 2 = k 2 m2 .
Os dois u
ltimos termos na eq. (63) correspondem ao segundo diagrama mostrado
na fig. 3. Em (63) tambem introduzimos a notacao compacta

2
G++ x,x0

d3 k ik(xx0 )
e
(2)3

d3 q ++
G (q, t t0 ) G++ (q k, t t0 ) ,
(2)3

(66)

onde G++ (q, t t0 ) e o propagador fsico do campo que incorpora as correcoes de

auto-energia, devido a primeira integracao funcional sobre o campo de banho termico .
Explicitamente, G++ (q, t t0 ) e dado por (GLEISER; RAMOS, 1994)

G++

0
e (q)|tt | n
(q, t t ) '
(1 + 2n) cos [ |t t0 |] i sin [ |t t0 |]
(q)
 2
o

0
+ 2 (q) n (1 + n) sin [ |t t |] + O
.
T2

(67)

Na equacao acima, o termo (q) e a largura de decaimento referente ao processo 2,

27
vindo do termo de interacao entre e em (59) (LANDSMAN; WEERT, 1987)

(q) =

Im (q)
,
2 (q)

(68)

onde (q) e a contribuicao de auto-energia para o campo vindo da interacao deste com
, que e obtida, em ordem mais baixa na ordem de um laco, pelo diagrama mostrado na
figura 4.
Figura 4 - Contribuic
ao para a auto-energia do campo . As linhas pontilhadas indicam o
propagador do campo .

A largura de decaimento obtida da contribuicao mostrada na figura 4 e dada explicitamente por (BERERA; MOSS; RAMOS, 2007)



f2
f2
T
1 e|+q|/2
(q, ) '
[( q) ( q)] +
ln
, (69)
8 (q)
4 (q) q
1 e|q|/2
a qual e valida para campos leves, m 0.
Retornando ao resultado para a acao efetiva mostrada na eq. (63), o termo imaginario naquela equacao, dado pelo u
ltimo termo dela, que surge ao integrarmos o campo
(em um laco) pode ser reescrito em termos de um campo cuja distribuicao de probabilidade e gaussiana e dada por (GLEISER; RAMOS, 1994)
P [] = N



Z
h
 ++ 2 i1
1
4
4 0
4
0
d xd x (x) 2g Re G x,x0
(x ) .
exp
2

(70)

A funcao de correlacao de dois pontos para , definida por

h(x)(x )i =

[D] (x)(x0 )P [] ,

(71)

que resulta em


2
h(x)(x0 )i = 2g 4 Re G++ x,x0 ,

(72)

enquanto que sua funcao de um ponto, obviamente, satisfaz h(x)i = 0. Essas pro-

28
priedades satisfeitas pelo campo nos permitem associa-lo como um campo estocastico
gaussiano, analogo ao termo de flutuacao estocastica discutido no Captulo 1.
Agora, ao associarmos c como sendo um campo fsico, impoe-se que = 0 e
(+ = ) apos a obtencao da equacao de movimento efetiva (CHOU et al., 1985), sendo
a mesma obtida atraves da seguinte expressao:



Sef f [ , c , ]
=0.

=0

(73)

O resultado final pode ser escrito como



Z
2
d3 k 1 + 2n ( )
2
2
2
2
t + m + c + g
c (x)
6
(k)
(2)3
Z
Z t

2
4
3 0
+ 2g c (x) d x
dt0 2c (x0 , t0 ) Im G++ x,x0 = c (x) (x) .

(74)

Se agora definimos um kernel K , como sendo dado por

C (x x0 , t t0 ) =

K (x x0 , t t0 ) ,
t0

(75)

sendo que C e dado em termos do kernel da eq. (74),


2
C (x x0 , t t0 ) = 4g 4 Im G++ (x, x0 ) sgn(t t0 ) ,

(76)

onde sgn(t t0 ) = (t t0 ) (t0 t) e a funcao sinal, podemos reescrever a equacao de

movimento efetiva (74), ao integrarmos por partes no tempo t0 , na forma

t2

m2

+ 2c + g 2
6


d3 k 1 + 2n ( )
c (x)
(k)
(2)3

+
Z
c (x)
d3 x0 2c (x0 , t)K (x x0 , 0)

2
Z
Z t
3 0
+c (x) d x
dt0 c (x0 , t0 )c (x0 , t0 )K (x x0 , t t0 ) = c (x) (x) .

(77)

Se tambem usamos a aproximacao de campo homogeneo c (x) (t) (lembrando que

nossos calculos sao motivados para aplicacao a` inflacao, com c associado ao campo de
inflaton), a expressao (77) se simplifica para

d2 c (t) dVeff (c )
+
+ c (t)
dt2
dc

dt0 c (t0 )c (, t0 )K (t t0 ) = c (t) (t) ,

(78)

29
onde Veff (c ) denota o potencial efetivo para o campo c , que inclui as correcoes locais
vindas dos diagramas mostrados na figura 3 e dado explicitamente por (na forma nao
renormalizada)3

1 2 2 4
m +
2 Zc 4! c
g2 2
d3 k 1 + 2n ( )
+
c
2
(2)3 (k)


Z
d3 k
1
1 + 2n
g4 4

+ n (1 + n ) .

4 c
(2)3 42 (k) 2(k)

Veff (c ) =

(79)

Notamos que a equacao (78) possui a mesma forma que a equacao de movimento
generalizada de Langevin mostrada no Captulo 1, eq. (2), para o caso n = 1. Poderiase ainda mostrar que, caso tivessemos considerado a interacao do campo com na
acao (59) como sendo uma interacao trilinear da forma g2 , a equacao de movimento
efetiva resultante seria da forma da eq. (2) para o caso n = 0 (BERERA; RAMOS, 2001;
BERERA; MOSS; RAMOS, 2009). Em ambos os casos, usando a forma do propagador
dada por (67), obtemos que a forma do kernel de flutuacao N (x, x0 ), definido pela
G++
j
funcao de dois pontos (72), como sendo dado por (na aproximacao de campos homogeneos)

h(t)(t )i = 2g

d3 q
1
{2n [1 + n ] +
3
2
(2) 4 (~q)

+ [1 + 2n + 2n2 ] cos [2 |t t0 |] +
0

+ 2 (~q)n [1 + n ][1 + 2n ] sin[2 |t t0 |]} e2 (~q)|tt |



2
4
+ O g 2 .
T

(80)

Na aproximacao de altas temperaturas usada para deduzir a equacao (67) e, portanto,

na obtencao do resultado (80), a contribuicao maior para o integrando nos momentos em
(80) vem de q T . Nesse caso, podemos trocar a integral pela contribuicao de momento
dominante. Com isso, vee-se que o kernel de flutuacao e constituido por um termo de
decaimento exponencial puro, mais um termo harmonico com decaimento exponencial.
Essa forma do kernel vai motivar o estudo que faremos nos proximos captulos. Nos
proximos captulos, trabalhamos com a aproximacao de altas temperaturas para o kernel

A express
ao explicita do potencial efetivo nao vai ser importante para nossos estudos uma vez que, como
visto acima, as correc
oes do campo geram correcoes para a massa m e cosntante de acoplamento
, gerando uma massa e acoplamento efetivos. Esses valores efetivos sao as quantidades fixados em
nossas simulac
oes n
umericas nos pr
oximos captulos.

30
(80), para entao compararmos as dinamicas markoviana (onde o kernel de dissipacao e
aproximado por um coeficiente local) e nao-markoviana do sistema.

31

2 COSMOLOGIA INFLACIONARIA

2.1 Introduc
ao
Ao longo das u
ltimas decadas, o avanco das pesquisas relativas ao cosmos fez com
que alcancassemos um modelo para o universo muito bem testado tanto do ponto de vista
observacional, quanto do ponto de vista de sua formulacao matematica. Tal modelo ficou
conhecido como modelo cosmologico padrao (MCP). A essencia do MCP e composta pelo
Princpio Cosmologico (PC), o qual consiste em dois princpios de invariancia espacial
(DODELSON, 2003; PEEBLES, 1993). O primeiro princpio de invariancia e o isomorfismo sobre translacoes, tambem chamado de homogeneidade. Cosmologicamente, a homogeneidade pode ser entendida como galaxias uniformemete distribudas no espaco. Esta
uniformidade seria independente do local do espaco que se escolhe para fazer observacoes.
Entao, uma translacao de uma galaxia para outra deixa a distribuicao de galaxias invariante. O segundo princpio de invariancia e o isomorfismo sobre uma rotacao, tambem
conhecido como isotropia. Uma maneira simples de visualizarmos esse princpio e imaginarmos a superfcie uniforme de uma esfera. Para um habitante dessa superfcie, nao ha
ferramentas geometricas capazes de distinguir direcoes no espaco bidimensional em que
vive. Quando inserimos, por exemplo, um objeto nessa superfcie, a simetria e perdida e
a partir de entao pode-se diferenciar direcoes. Com isso, podemos notar que o conceito
de isotropia depende intrinsicamente do conceito de homogeneidade. Obviamente os conceitos envolvidos pelo PC foram criados hipotetizando uma validade apenas em grandes
escalas, acima de uma escala caracterstica. Em observacoes em pequenas escalas vemos
claramente que os conceitos de homogeneidade e isotropia espaciais nao concordam com
as observacoes, mesmo porque se concordassem, nao estaramos aqui para realizar tais
observacoes. A formulacao matematica do MCP e discutido na secao 2.2.
Quando possumos um modelo em maos, e imprescidvel que determinemos os
limites de aplicabilidade do mesmo. O MCP descreve bem o universo que conhecemos a
partir de aproximadamente t > 1s. A partir de tal instante, esse modelo coleciona uma
serie de sucessos corroborados direta ou indiretamente por observacoes (LINDE, 1990):
t 1 100s, T 106 1010 K, (0, 1 1M eV )4 : ocorre a nucleossntese, processo responsavel pela formacao de elementos de n
ucleo leve, tais como o hidrogenio,
o helio e o ltio.
t 104 anos, T 104 K, (1eV )4 : a densidade de radiacao se iguala `a densidade
de materia, e entao o universo deixa de ser dominado pela radicao para entrar numa
era onde a materia e o componente dominante.
t 105 anos, T 2500K, (0, 1eV )4 : a recombinacao dos atomos acarreta

32
o desacoplamento dos fotons. Apos essa epoca, o universo torna-se praticamente
transparente.
Apos a recombinacao, as pequenas inomogeneidades na distribuicao de materia sao
amplificadas, dando origem ao processo de formacao de galaxias e estrelas.
Nesta lista, e a densidade total do universo.
Para tempos entre t 1036 s (tempo de Planck) e 1s, o que em termos da densidade total corresponde a (1018 GeV 1M eV )4 , o MCP precisa de modificacoes. Eis
entao que entra em cena o modelo de universo inflacionario. Alguns exemplos de problemas do MCP serao brevemente discutidos na secao 2.3 e o modelo inflacionario na secao
2.4. Uma alternativa a esse modelo de inflacao (chamada geralmente de inflacao fria) e
que sera tomado como uma aplicacao do tema da presente dissertacao e introduzido na
secao 2.5.
Para finalizar essa introducao, e bom atentarmos para uma importante questao.
Hoje e um fato praticamente estabelecido que 73% do universo e preenchido por um
componente denominado energia escura, a qual esta dominando o presente universo e
causando um estagio de expansao acelerada primeiramente confirmado em 1998, 22, 6%
por um tipo de materia pouco ou nao-interagente denominada materia escura, 4, 4% por
materia barionica e outras pequenas porcentagens de neutrinos e radiacao (SPERGEL et
al., 2006). Esses n
umeros, alem de mostrar que deve haver uma fsica alem do modelo
padrao de fsica de partculas (ja que o mesmo aparenta explicar apenas uma nfima
parte do conte
udo de materia do universo), mostram que a cosmologia avancou um nvel
consideravel nas u
ltimas decadas: de laboratorio de testes para nossas leis fsicas, ela pode
ter passado a ser uma fonte e um guia para descoberta de novas teorias fsicas.

2.2 A m
etrica FRLW e as Equaco
es Din
amicas do Universo
Vamos a partir de agora trabalhar no sistema de unidades naturais, ou seja, } =
c = kb = 1. Estamos interessados basicamente em obter as equacoes que governam a
dinamica do universo segundo o modelo cosmologico padrao. Para tal, consideremos o
elemento de linha proposto por Friedmann, Robertson, Lematre e Walker (FRLW), o
qual satisfaz as exigencias do PC (para detalhes a respeito da derivacao desse elemento
de linha, ver (ISLAM, 2001)):

"
ds2 = dt2 a(t)2

dr
+ r2 (d2 + sin2 d2 ) ,
2
1 r

(81)

33
onde r, , sao coordenadas comoveis que mapeiam o espaco, a(t) e o chamado fator de
escala do universo e e um parametro que define a geometria do espaco. Se igual a 1,
temos um universo fechado ou esferico. Se igual a 0, temos um universo de geometria
plana. E, finalmente, se = 1, temos um universo aberto ou hiperbolico. Tendo
em maos (81), podemos obter a evolucao temporal do fator de escala a(t) utilizando as
equacoes de campo de Einstein, dadas na forma tensorial por
G = T ,

(82)

onde G e o tensor de Einstein e T e o tensor momento-energia dado por (PEEBLES,

1993; DINVERNO, 1992):
T = ( + p)u u pg .

(83)

Num referencial comovel ao fluido, a quadrivelocidade u e dada por (1, 0, 0, 0).

Depois de uma enorme quantidade de calculos simples e repetitivos (ISLAM, 2001),
obtemos um par de equacoes chamadas equacoes de Einstein. Sao elas as equacoes de
Friedmann e de aceleracao, dadas respectivamente por:

2

(t)
,
2
3mpl
a(t)2

(84)

4
a
(t)
= 2 [(t) + 3p(t)] ,
a(t)
3mpl

(85)

a(t)

a(t)

onde mpl G1/2 1, 22 1019 GeV .

A partir do tensor momento-energia para fluidos perfeitos, podemos obter uma
equacao de conservacao de energia. Ela possui a seguinte forma (ISLAM, 2001):

(t)
+3

a(t)

[(t) + p(t)] = 0 .
a(t)

(86)

Para facilitar a notacao das equacoes, vamos a partir de agora abandonar a escrita explcita da dependencia temporal de suas variaveis. Vamos tambem definir a razao
a/a
como sendo um parametro (cuja importancia sera mais tarde explicitada) chamado
parametro de Hubble:

34

a
.
a

(87)

A partir das equacoes (85), (84) e (86), vemos que a evolucao temporal do fator
de escala do universo e intimamente ligada a` evolucao temporal do conte
udo energetico
do mesmo. Essas equacoes nao limitam o n
umero de componentes que o universo pode
ter, mas para que suas equacoes sejam sol
uveis, e necessario que se especifique a relacao
entre a pressao e a densidade de energia de todos os componentes. A essa relacao damos
o nome de equacao de estado, e a escrevemos da seguinte maneira:

pi = i i ,

(88)

onde o subndice i indica que estamos tratando das grandezas de densidade e pressao
do componente i do universo. O termo e o chamado parametro da equacao de estado, podendo ou nao ser dependente do tempo. Quando estamos tratando do MCP
com componentes usuais (materia ordinaria e radiacao, por exemplo), usamos apenas
parametros da equacao de estado que independem do tempo. Essa dependencia temporal
do parametro sera explorada mais tarde nesse texto.
Podemos entao reescrever as equacoes (85), (84) e (86) de forma mais geral:

4 X
a

= 2
(1 + 3i )i .
a
3mpl i

H2 =

8 X

i 2 ,
2
3mpl i
a

i + 3H(1 + i )i = 0 .

(89)

(90)

(91)

Vamos agora encontrar as solucoes cosmologicas padroes, ou seja, como evolui a

densidade e o fator de escala a em funcao do tempo. Para facilitar, vamos encontrar o
comportamento geral, e depois particulariza-lo substituindo os valores pertinentes para .
O procedimento e substituir a relacao (88) na equacao (91) deixando de lado os ndices. Na
equacao (90), assumimos por simplicidade = 0 (o que antecipa um resultado que iremos
em breve discutir), e substitumos H na equacao de fluido. Da obtemos uma equacao

35
diferencial ordinaria de primeira ordem facilmente integravel, dando-nos o resultado

i2
2
t2 ,
3 (1 + )

(92)

8
ao acima obtida na equacao de Friedmann (90)
onde 2 3m
2 . Substituindo a express
pl
obtemos como o fator de escala a evolui no tempo:

a t 3(1+) .

(93)

Usando as expressoes (92) e (93), obtemos a densidade como funcao do fator de escala:

a3(1+) .

(94)

O parametro da equacao de estado quando o fluido em questao e a radiacao e

rad = 13 . Quando o componente e a materia (inclui-se em materia todo componente nao
relativstico) temos que mat = 0. Substituindo esses valores no resultado (94), obtemos
as seguintes relacoes:

rad a4 .

(95)

mat a3 .

(96)

Atraves dos resultados (95) e (96), notamos que para a pequeno, a densidade de radiacao
e maior que a densidade de materia, e, portanto, mais determinante na dinamica do
universo. Quando isso ocorre, dizemos que a radiacao e o componente dominante. Na
medida que a cresce, chegara um ponto em que a densidade de materia se tornara maior
que a densidade de radiacao. Dizemos entao que a materia domina sobre a radiacao.
Em resumo, vamos listar as principais caractersticas de um universo dominado
por radiacao ou materia:
No passado do universo, a era da radiacao teve uma duracao de aproximadamante
3 105 anos a partir da origem do universo. Apos esse perodo, a materia comecou a
dominar sobre a radiacao (PEEBLES, 1993; DODELSON, 2003).
Observando a tabela 1, notamos que a medida que andamos para o passado, encon-

36
Tabela 1 - Caractersticas de um universo dominado por radiacao ou materia

Fluido dominante
Materia
Radiacao

a(t)
2
3

t
1
t2

(t)

(a)

t2
t2

a3
a4

H(t)

2
3t
1
2t

tramos uma singularidade em a = 0 (ou t = 0). Entretanto essa extrapolacao do modelo

cosmologico padrao nao faz sentido, visto que nessa escala de energia e indispensavel contarmos com uma teoria de gravitacao quantica, e como todos sabemos, a RG e uma teoria
classica da gravitacao.

2.2.1 Parametros Cosmologicos

Vamos agora definir alguns parametros que podem ser vistos como a interface entre
a cosmologia teorica e observacional, uma vez que quando precisamos comparar nossos
resultados teoricos com dados observacionais, sao esses parametros que encontramos em
tabelas de missoes espaciais, tais como a do WMAP.
A densidade crtica de energia e definida como sendo a densidade de energia para
a qual o universo possui curvatura nula (DODELSON, 2003; PEEBLES, 1993), ou seja,
= 0. Fazendo = 0 na equacao (90) e isolando a densidade , encontramos a densidade
crtica:

3m2pl 2
H .
8

(97)

Repare que a densidade crtica nao e constante no tempo, uma vez que ela depende do
parametro de Hubble H(t).
Outra importante quantidade e o parametro de densidade. O parametro de densidade de um componente do universo e definido como a razao entre sua densidade e a
densidade crtica do universo (DODELSON, 2003; PEEBLES, 1993).

i
.
c

(98)

Podemos relacionar o parametro de densidade com a geometria do universo. Para isso,

encontremos o valor de atraves da equacao (90) e o dividemos pela densidade crtica.
A expressao resultante e:

37

=1+

a2 H 2

Vemos claramente que num universo plano ( = 0), o valor do parametro de densidade e
= 1. Quando temos um universo fechado ( = 1), a expressao acima nos diz que > 1.
E, finalmente, quando temos um universo aberto ( = 1), < 1.

2.3 Falhas do Modelo Cosmol

ogico Padr
ao
Apesar do enorme sucesso do modelo cosmologico padrao em explicar diversos
fenomenos do universo (PEEBLES, 1993), ele deixa sem resposta algumas questoes importantes. Uma lista detalhada desses problemas pode ser encontrada em (LINDE, 1990).
Como exemplos, vamos discutir brevemente e de forma qualitativa o problema da planaridade e da formacao de estruturas.
Vamos novamente olhar para a equacao

=1+

k
a2 H 2

Usando as expressoes da tabela 1, obtemos para um universo dominado por radiacao:

|rad 1| |k|t 3 .
E para um universo dominado por materia:

|mat 1| |k|t .
Lembrando que o universo, segundo o MCP, passa por um perodo de dominacao
por radiacao seguido de um perodo de dominacao por materia, vemos que em qualquer
instante o valor de sempre se afasta da unidade. O grande problema e que dados
observacionais mostram que o valor atual do parametro de densidade e = 1, 02(2)
(SPERGEL et al., 2006), ou seja, vivemos num universo aproximadamente plano. Para
o MCP produzir esse valor, temos que ajustar muito finamente as condicoes inicias do
universo. Por exemplo, para esse valor ser satisfeito, temos que ter (PEEBLES, 1993;
LINDE, 1990) | 1| 1016 na epoca do desaclopamento (t 105 anos) ou | 1|

38
1064 na epoca de Planck (t 1043 s). Caso esse ajuste fino nas condicoes inicias
nao seja feito, o universo entraria rapidamente num processo de colapso ou se expandiria
rapidamente antes da formacao de estruturas.
Um outro problema do MCP e ele nao explicar o porque da homogeneidade em
grandes escalas do universo. Tanto quanto o MCP nao dar uma explicacao razoavel para
essa questao, nao apresentar mecanismos de geracao de inomogeneidades tambem e um
problema. Como poderiam estruturas se formar em universo perfeitamente homogeneo?
Por um longo perodo de tempo essas questoes ficaram sem resposta. Somente
com o surgimento do modelo inflacionario no incio da decada de 1980 esse e varios outros
problemas do MCP comecaram a ser resolvidos.

2.4 Inflac
ao Convencional
O modelo inflacionario pode ser abordado de diversas maneiras (BASSETT; TSUJIKAWA; WANDS, 2006). Uma delas e considera-lo como sendo apenas um metodo
eficiente e conveniente de parametrizar o universo primordial. Uma outra abordagem e
inserir o campo escalar responsavel por esse estagio de evolucao do universo numa das
extensoes do modelo padrao de partculas, como as GUTs (Grand Unified Theories), a
supergravidade ou as supercordas. Deste modo, podemos ver a inflacao como um caminho
para entender aspectos da gravitacao quantica e da fsica de partculas alem do modelo
padrao (LINDE, 1990).
As ideias basicas do modelo inflacionario foram propostas inicialmente por A. Guth
e K. Sato de forma independente em 1981 (LINDE, 1990). Esse modelo original e hoje
conhecido como inflacao antiga. Um modelo revisado foi proposto no ano seguinte por A.
Linde, o qual e conhecido como inflacao nova (LINDE, 2004). Em 1983, A. Linde propos
o modelo de inflacao caotica, o qual, ao contrario da inflacao antiga e nova, nao necessita
da hipotese de um universo que se inicia num estado de equilbrio termico. Desde entao,
muitos outros modelos foram construdos, e a grande questao atual e selecionar dentre essa
grande variedade de modelos, aquele que melhor descreve a realidade que observamos.
bom enfatizar que o modelo inflacionario nao e um substituto do MCP. Ele
E
atua como um complemento do MCP visando obter uma melhor modelagem do universo
primordial. Ao termino do perodo inflacionario, o comportamento padrao e recuperado,
havendo entao a epoca de dominacao da radiacao com a posterior dominacao da materia.
Para comecar a modelar o regime inflacionario, precisamos de uma definicao pratica
de inflacao. Podemos defin-la como qualquer epoca no universo primordial onde a
(t) >
0 (PEEBLES, 1993; LINDE, 2004). Com isso, esbarramos num primeiro problema.
Olhando para a equacao (89) e usando os componentes usuais do MCP (materia e radiacao), observamos que a
(t) e sempre negativo, ou seja, qualquer componente padrao

39
conduz a uma desaceleracao do universo. Surge entao a necessidade de introducao de um
novo componente na dinamica do universo que nos possibilite obter aceleracao positiva.
Novamente fazendo uso da equacao (89) e considerando a fase de dominancia deste novo
componente, obtemos a seguinte relacao:

1
< .
3

(99)

Portanto, qualquer que seja o componente que gere a inflacao, ele deve ter uma equacao
de estado que respeite a condicao (99). Na maioria dos modelos relevantes, a inflacao e
causada por campos escalares. Ao campo que gera a inflacao atribui-se o nome inflaton.
A densidade lagrangiana para modelos que utilizam um campo escalar homogeneo
pode ser escrita da seguinte forma (LINDE, 1990):


1 2
L = a (t) (t) V () .
2
3

(100)

A dinamica do campo e dada pela seguinte equacao, obviamente obtida via equacoes de
Euler-Lagrange:

+ 3H(t) = V 0 () .
(t)

(101)

O tensor momento-energia associado a um campo escalar e dado por:

T =

L
g L .
( ) x

(102)

Substituindo a densidade (100) na expressao anterior e igualando ao tensor momentoenergia para fluidos ideais dada por (83), obteremos as seguintes relacoes para a densidade
de energia e pressao do inflaton:

1
= 2 + V () ,
2

(103)

1
p = 2 V () .
2

(104)

40
Com isso, podemos definir o parametro da equacao de estado do inflaton:

1 2

2
1 2

V ()
+ V ()

(105)

Agora podemos discutir melhor o mecanismo inflacionario. Como vimos, a aceleracao positiva e conseguida gracas a pressao negativa. A pressao p pode ser vista
como a soma da parte cinetica do campo com o oposto do valor do potencial ao qual
esta submetido. Enquanto o potencial V () dominar sobre a parte cinetica 12 2 , teremos
inflacao.
O campo escalar possui um determinado valor inicial i , e consequentemente, o
potencial possui o valor inicial V (i ). A tendencia do campo escalar e rolar em direcao
ao mnimo desse potencial. Quanto mais lentamente rolar o campo escalar, mais tempo
levara para que o termo cinetico domine sobre o potencial, o que aumenta a duracao do
estagio inflacionario. Os potenciais, o tipo e o n
umero de campos escalares variam de
modelo para modelo, mas a ideia basica e sempre essa. Em modelos mais realistas, a
duracao da inflacao pode ser tao curta quanto 1035 s (LINDE, 2004). Quando a inflacao
termina, o campo escalar (t) comeca a oscilar ao redor do mnimo do potencial. Com isso,
ele perde energia atraves da criacao de pares de partculas elementares. Estas partculas
interagem entre si e atigem o equilbrio termico a uma certa temperatura T . A partir
deste instante, o universo pode entao ser descrito pelo MCP.
Substituindo as expressoes (103) e (104) acima na equacao de Friedmann (90) e,
por simplicidade, desprezando o termo de curvatura (uma vez que o fator de escala cresce
de forma suficientemente rapida para o desprezarmos), obtemos a seguinte equacao:

#
"
1
8
2 + V () .
H2 =
2
3mpl 2

(106)

Entao, se quisermos obter a evolucao temporal do inflaton (t) e do fator de escala

a(t), temos que resolver a equacao (101) respeitando o vnculo (106), lembrando que
H = a/a.

Sao raras as solucoes exatas para essas equacoes, mas quando queremos obter
apenas o comportamento aproximado dessas grandezas, podemos recorrer a um metodo de
solucao analtica chamado de aproximacao de rolamento lento (PEEBLES, 1993). Alem
disso, a solucao aproximada e um atrator da solucao das equacoes completas, ou seja,
independentemente das condicoes inicias, a solucao completa rapidamente se aproxima
da solucao analtica.
Se quisermos um campo que role lentamente sobre o potencial, devemos impor
condicoes sobre a forma do u
ltimo. A simplificacao a ser feita nas equacoes (106) e (101)

41
e desprezar os termos quadraticos em e o termo de derivada segunda em . Com isso,
obtemos as seguintes equacoes:
3H = V 0 () ,

H2 =

(107)

8
V () .
3m2pl

(108)

As imposicoes sobre a forma do potencial sao obtidas apartir das equacoes (107) e
(108) em conjunto com a condicao a
> 0 (PEEBLES, 1993). Sao elas:
 
m2pl V 0 2
()
1,
16 V

|()| =

(109)

m2pl  V 00 
 1.
8 V

(110)

Na pratica, podemos considerar que ha inflacao enquanto as condicoes de rolamento

lento forem satisfeitas. O fim do estagio inflacionario e atingido quando  1. Outra
grandeza que pode ser definida e o n
umero de e-foldings (PEEBLES, 1993), que e uma
maneira de quantificar a inflacao. Ele e definido da seguinte forma:

a(tf )
8
N ln
= 2
a(ti )
mpl

V
d ,
V0

(111)

onde tf e ti sao os instantes de tempo em que a inflacao termina e comeca, respectivamente.

Para a inflacao resolver a maioria dos problemas do MCP, e necessario que o n
umero de
e-foldings seja N > 60 (LINDE, 1990).
Para ilustrar o funcionamento do modelo inflacionario, vamos usar um potencial
quadratico da forma

V () =

m2 2
.
2

(112)

Inserindo-o nas equacoes (108) e (107), e as resolvendo em conjunto para (t) e a(t)
obtemos as seguintes expressoes por integracao direta:

mmpl t
(t) = 0
,
12

(113)

42

"r
a(t) = a0 exp

#

4 m
mmpl t2
.
0 t
3 mpl
48

(114)

As equacoes (113) e (114) fornecem respectivamente a evolucao temporal do inflaton e do

fator de escala, sendo as constantes 0 e a0 seus valores em t = 0.
Determinemos agora os parametros  e , dados pelas equacoes (109) e (110):

m2pl
,
42

(115)

m2pl
() =
.
42

(116)

() =

Fazendo uso da condicao de fim do estagio inflacionario, (f ) = 1, obtemos o valor

aproximado de f (tf ), onde tf e o instante de tempo em que a inflacao termina.

mpl
f = .
2

(117)

O n
umero de e-foldings obtido a partir da equacao (111) e dado por:

N = 2

2
[f 20 ] .
2
mpl

(118)

Como para a inflacao ter utilidade e necessario um N > 60, restringimos inferiormente o
valor 0 substituindo a expressao (117) na equacao (118), obtemos o valor de amplitude
inicial requerido para o campo de inflaton, nesse exemplo em particular que estamos
usando,
0 > 3.1mpl .

(119)

2.5 Inflac
ao N
ao-Isentr
opica
Vamos recapitular as principais caractersticas do modelo inflacionario convencional. Temos um campo escalar chamado inflaton que, a princpio, sua interacao com
outros campos e desprezada. Tal campo, durante o estagio inflacionario, rola lentamente

43
em direcao ao mnimo de seu potencial. Ao desprezar suas interacoes com outros campos
de materia, nao existe a possibilidade de geracao de radiacao durante o perodo inflacionario, da o nome inflacao fria. A grande questao e como, apos o termino da inflacao,
conduzir o universo `a uma fase dominada por radiacao, se esta nao pode ser produzida
durante a fase acelerada. A solucao encontrada foi adicionar `a descricao do universo um
estagio pos-inflacionario chamado reaquecimento. Nesse estagio, o inflaton ao atingir o
mnimo do seu potencial, passa a oscilar ao redor deste, e a interacao do inflaton com
outros campos, possibilita que haja a producao radioativa de partculas por decaimento
do inflaton ou pelo fenomeno chamado de ressonancia parametrica (LINDE, 1982).
A proposta da inflacao nao-isentropica (ou warm inflation) e gerar radiacao durante
o perodo inflacionario, promovendo assim uma transicao natural para a era dominada
por essa componente. Isso significa que o perodo de reaquecimento nao e necessario neste
modelo. O u
nico requerimento imposto pela relatividade geral para que exista um perodo
inflacionario e que a energia do vacuo domine, e isso nao exclui a possibilidade de existencia
de uma densidade de radiacao durante tal perodo, desde que ela seja subdominante.
Pondo as equacoes que descrevem tal modelo para evoluir no tempo, em algum instante
de tempo tr , a densidade de radiacao passa a dominar sobre a densidade do vacuo, e entao
o universo entra na fase em que a radiacao e o componente dominante de forma natural.
De maneira pratica, isso pode ser feito adicionando-se um termo de dissipacao a` equacao
de evolucao do inflaton (alem do termo ja existente devido ao acoplamento entre o campo
Isso foi feito nos anos 80 por Moss (MOSS, 1985)
e a metrica, representado por 3H ).
e Yokoyama (YOKOYAMA; MAEDA, 1988), em 2 artigos independentes. Mais tarde,
por volta da metade dos anos 90, Berera e Fang (BERERA; FANG, 1995) mostraram
que a descricao consistente da dinamica de um campo inflacionario que dissipa energia e
dada por uma equacao de Langevin e que, portanto, existiria um teorema de flutuacaodissipacao que especificasse as flutuacoes do inflaton. Do ponto de vista da teoria quantica
de campos, os principais responsaveis pelo desenvolvimento das bases microscopicas desse
modelo inflacionario foram Berera, Moss, Gleiser, Ramos (BERERA, 1996; BERERA;
GLEISER; RAMOS, 1998; YOKOYAMA; LINDE, 1999; MOSS; XIONG, 2006).
A figura 5 resume bem as diferencas qualitativas entre a inflacao fria e a inflacao
nao-isentropica.
A motivacao do captulo 5 advem justamente da derivacao microscopica da equacao
de movimento do inflaton. A EdM obtida via teoria quantica de campos, como veremos
no proximo captulo, apresenta um termo de dissipacao nao-markoviano, o que complica
consideravelmente sua resolucao. Usando a abordagem que sera desenvolvida no proximo
captulo, compararemos a dinamica dessa equacao nao-markoviana com a dinamica da
equacao de movimento fenomenologica usada frequentemente na literatura:
+ [3H + ] + V 0 () = ,

(120)

44
Figura 5 - Comparac
ao entre o cen
ario padrao da inflacao e a inflacao nao-isentropica

Legenda: comparac
ao entre o cen
ario padrao da inflacao e a inflacao nao-isentropica: na
inflacao fria somente h
a gerac
ao de radiacao na fase de reaquecimento, enquanto que no
cenario alternativo a radiac
ao e produzida continuamente, possibilitando assim uma transic
ao
natural para um universo dominado por radiacao.

onde, e um termo dissipativo local e e um termo de rudo branco. Ambos sao termos
efetivos que surgem devido a interacao do inflaton com outros campos. Vamos agora discutir alguns aspectos dessa abordagem fenomenologica da inflacao nao-isentropica, representada pela equacao de movimento (120) e contrasta-la com o caso da inflacao isentropica
(ou fria).

2.5.1 Equacoes Dinamicas da Inflacao Nao-Isentropica

Obviamente a introducao de mais um termo dissipativo e de um termo de rudo
branco na equacao de movimento do inflaton, acarretam modificacoes nas equacoes dinamicas
do modelo inflacionario. Agora temos que escrever as equacoes de aceleracao (89) e de
Friedmann (90) para duas componentes: a densidade do campo escalar e a densidade
de radiacao r :
a

4
= 2 [(1 + 3r )r + (1 + 3 ) ] ,
a
3mpl

(121)

45
Usando r = 1/3 e (105), obtemos:

a
=

i
8 h
2

V
()
a,
r
3m2pl

(122)

Vejamos como a equacao diferencial para a densidade se modifica. Derivando

em relacao ao tempo a equacao (103) e usando a EdM (120) chegamos ao resultado:

a
= 3 2 2 + .
a

(123)

A equacao de continuidade (91) para a radiacao deve se modificar de forma que a

energia seja conservada:
a
r = 4 r + 2 .
a

(124)

Ao trabalharmos com as equacoes (120), (123) e (124) como medias sobre o ensemble (portanto hi = 0), obtemos o seguinte conjunto de equacoes dinamicas que descrevem
a inflacao nao-isentropica:

= [3H + ] V 0 ()
i
8 h
a
= 2 r + 2 V () a
3mpl
a
= 3 2 2
a
a
r = 4 r + 2 .
a

(125)

Analogamente `a inflacao convencional, podemos deduzir condicoes de rolamento

lento que possibilitam a expansao acelerada durante um perodo tao longo quanto necessario. Os parametros , e sao definidos como:

m2pl
=
16

V0
V

2
,

m2pl
=
8

V 00
V


,

m2pl
=
8

0 V 0
V


.

(126)

E as condicoes sao as seguintes:

 < 1 + D,

< 1 + D,

< 1 + D,

(127)

46
onde D e dado por:

.
3H

(128)

Podemos observar que para D grande, as condicoes (127) sao mais fracas que as condicoes
correspondentes na inflacao fria, dadas pelas expressoes (109) e (110). Condicoes de
rolamento lento a mais devem ser levadas em conta caso o coeficiente dissipativo ou o
potencial dependa da densidade de radiacao. Por exemplo, no caso de radiacao termica
sao necessarias correcoes quanticas no potencial do inflaton. A condicao de rolamento
adicional e dada por (MOSS; XIONG, 2008):
<1,

(129)

onde e definido como

T V,T
.
V,

(130)

Basicamente a condicao (129) estabelece que modelos de inflacao nao-isentropica viaveis

possuem algum mecanismo para suprimir correcoes termicas do potencial do inflaton, de
tal forma a poder preservar a planitude requerida pelo potencial do inflaton.
Olhando para a equacao (120), podemos identificar dois regimes: o regime de alta
dissipacao ( > 3H), e o regime de baixa dissipacao ( 3H). No regime de alta
dissipacao, o termo de dissipacao controla a evolucao amortecida do inflaton, enquanto
que no outro regime o parametro de Hubble H e o termo dominante. Para  H e
1/4
r  H, recuperamos o cenario inflacionario padrao.

47

3 CONSTRUINDO E TESTANDO A ABORDAGEM NUMERICA

3.1 Introduc
ao
Como vimos no captulo anterior, derivacoes microscopicas de equacoes de movimento efetivas em teoria de campos podem gerar equacoes da forma da eq. (2). Essas equacoes de movimento, sendo nao-locais (nao-Markovianas), sao usualmente muito
difceis de se resolverem em geral. O que vamos fazer nesse e no proximo captulo e desenvolver uma forma apropriada de resolver numericamente tais equacoes. Vamos agora nos
concentrar em encontrar uma maneira adequada de tratar equacoes da forma da eq (2).
Na literatura de estatstica, as formas mais comuns para o kernel nao-Markoviano K(tt0 )
sao o kernel de Ornstein-Uhlenbeck (OU) (HANGGI; JUNG, 1995) e o kernel harmonico
amortecido (H) (BARTUSSEK et al., 1997). Por se tratarem, respectivamente, de uma
exponencial decrescente e de um termo de seno e cosseno multiplicados por uma exponencial decrescente, esses kernels, quando somados, possuem uma forma bastante semelhante
ao kernel obtido em teoria de campos, como mostrado e discutido no final do u
ltimo
captulo. Da o especial interesse neles. Nesses casos restritos, mostraremos na secao 3.2
desse captulo que e possvel reescrever a equacao nao-markoviana original em termos de
bom ressaltar que em casos mais gerais, esse
um sistema de equacoes markovianas. E
procedimento pode nao ser aplicavel (para uma revisao recente sobre diferentes tipos de
rudos coloridos e suas equacoes diferenciais associadas, ver (??)).
No caso de estarmos lidando com uma equacao nao-markoviana nao-linear, temos
que recorrer a metodos numericos para extrarmos a dinamica do sistema em estudo.

Apesar de haver alguns metodos especficos que podem ser aplicados em casos gerais (LU;
BAO, 2005), avaliamos a possibilidade de metodos padrao serem utilizados para resolver
equacoes do tipo da eq. (2). Tal avaliacao foi realizada visando determinar se a precisao
alcancada utilizando metodos convencionais (ja amplamente conhecidos e desenvolvidos)
e suficientemente boa frente ao problema estocastico que temos em maos. Caso a precisao
fosse adequada, estaramos evitando o emprego de um esforco computacional maior e desnecessario ( devido `a sofisticacao dos metodos mais recentes). Um caso particularmente
interessante, e o Runge-Kutta estocastico (HONEYCUTT, 1992). Esse metodo foi proposto para contornar o determinismo intrnsico do Runge-Kutta tradicional, porem ele se
mostra adequado apenas quando temos um sistema no qual todas as equacoes diferenciais
sao estocasticas, o que, como veremos, nao e nosso caso.
O desenvolvimento desses testes e realizado na secao 3.3. Consideramos uma versao
linear da ELG para que pudessemos obter, via transformacao de Laplace, uma solucao
analtica para ser comparada com a solucao numerica obtida atraves do algortmo de
Runge-Kutta de quarta ordem. Na secao 3.6, encerramos o captulo discutindo os resul-

48
tados obtidos.

3.2 O sistema din

amico
Com o objetivo de condensar a notacao apenas, consideremos a equacao generalizada de langevin homogenea que inclui tanto os dois kernels (OU e H), quanto o rudo
colorido aditivo e multiplicativo:

+ V 0 () =
(t)

1 X
X
n=0



Z t
0
0
n 0 0
(t) l (t)
dt Kl (t t ) (t )(t )
.
n

(131)

t0

Na equacao acima, quando somamos em n, temos o setor aditivo da ELG para n = 0 e o setor multiplicativo da ELG para n = 1. A soma em l determina o tipo de rudo que estamos
considerando. Para l = OU , temos o termo estocastico colorido de Ornstein-Uhlenbeck
OU (t) e seu respectivo kernel KOU (t t0 ). Para l = H, temos o termo estocastico
harmonico H (t) e seu respectivo kernel KH (t t0 ).
O termo de rudo, por ser colorido, deve satisfazer a seguinte relacao:

hl (t)l (t0 )i = T Kl (t t0 ) ,

(132)

que corresponde ao teorema flutuacao-dissipacao classico.

A forma do kernel harmonico armotecido KH que estamos interessados e dado pela
seguinte expressao:




Qm2 (tt0 )
0
0
e
cos[1 (t t )] +
sin[1 (t t )] ,
KH (t t ) =
2
1
0

(133)

onde Q e a magnitude da dissipacao, e o inverso do tempo de relaxacao do banho

(1/ = ), m da a escala de tempo de oscilacao e 21 m2 2 > 0. Portanto, devemos
ter uma expressao para H (t) tal que, ao calcularmos a funcao de correlacao de 2 pontos
hH (t)H (t0 )i o resultado seja proporcional a` equacao (133). Consideremos entao a EDE
abaixo:

H (t) = 2 H (t) m2 H (t) + m2

p
2T Q(t) ,

(134)

49
onde (t) e um rudo Gaussiano branco e portanto, obedece as seguintes propriedades:
h(t)i = 0
h(t)(t0 )i = (t t0 ) .

(135)

A solucao geral da equacao (134) pode ser escrita da seguinte forma:

Z
et 2 p
t
t
0 2QT
(t) = C1 e cos (1 t) + C2 e sin (1 t) +
dt0 cos (1 t0 )
1
Z

i
i
0
t0
00
00
00
t00
(t ) e
sin (1 t)
dt sin (1 t ) (t ) e
cos (1 t)
, (136)
onde C1 e C2 sao constantes de integracao. Utilizando a parte estacionaria da solucao
anterior, podemos calcular a funcao de correlacao de 2 pontos. Apos um exerccio trivial
de algebra e algumas integracoes simples, obtemos:




Qm2 (tt0 )
0
0
e
sin[1 (t t )] ,
cos[1 (t t )] +
hH (t)H (t )i = T
2
1
0

(137)

onde a media e tomada sobre o n

umero de realizacoes. A expressao (137) demonstra que
a equacao diferencial (134) e capaz de gerar o kernel harmonico (133) no qual estamos
interessados.
O caso Ornstein-Uhlenbeck e completamente analogo. A forma do seu kernel KOU
e uma exponencial decrescente cuja forma exata pode ser obtida atraves da solucao estacionaria da seguinte EDE:

h
i
p
OU (t) = OU (t) 2T Q(t) ,

(138)

onde aqui novamente (t) e um rudo Gaussiano de espectro branco, e portanto satisfaz
a`s propriedades (135). A solucao geral dessa equacao pode ser facilmente obtida, sendo a
mesma dada por:

Z
p
t
OU (t) = 2T Qe
dt(t)et + Cet ,

(139)

onde C e uma constante de integracao. Usando a segunda relacao do conjunto de propriedades (135), obtemos

hOU (t)OU (t0 )i = T Qe(tt ) .

(140)

50
Comparando a equacao (140) com a expressao (132) para l = OU , vemos que

KOU (t t0 ) = Qe(tt ) ,

(141)

onde, como no caso do kernel harmonico amortecido, Q e a magnitude da dissipacao e

e o inverso do tempo de relaxacao do banho.
Portanto, para que a relacao (132) seja satisfeita, devemos incluir no nosso sistema
dinamico as EDEs (134) e (138). Do ponto de vista algortmico, resolvemos separadamente
essas EDEs ate um determinado instante de corte tc acima do qual suas solucoes podem ser
aproximadamente consideradas estacionarias. Apos isso, as inserimos no sistema completo
para que as outras equacoes diferenciais facam uso de suas solucoes para t > tc .
Determinemos entao as outras equacoes que fazem parte do sistema dinamico.
Olhando para a equacao (131), podemos definir uma nova variavel wln como sendo dada
por

0) .
dt0 Kl (t t0 )n (t0 )(t

wln (t)

(142)

t0

Considerando t0 = 0 e derivando em relacao ao tempo a expressao anterior, temos:

t

0 ) Kl (0)n (t)(t)
,
dt0 K l (t t0 )n (t0 )(t

w ln (t) =

(143)

onde as derivadas dentro da integral sao sempre em relacao a` t0 . Agora precisamos particularizar o kernel na expressao (143) para que possamos utilizar propriedades que serao u
teis
na obtencao das equacoes do sistema dinamico. No caso do kernel harmonico, podemos
escrever a seguinte expressao:

H (t t0 ) 2 K H (t t0 ) = m2 KH (t t0 ) ,
K

(144)

onde as derivadas sao em relacao a` t0 . Definindo uma nova variavel uHn (t) tal que

Z
uHn (t)

i
h
0) ,
dt0 K H (t t0 ) 2KH (t t0 ) n (t0 )(t

(145)

e tomando sua derivada em relacao ao tempo, obtemos o seguinte resultado ao usarmos

51
a relacao (144) e a definicao (142) para l = H:




u Hn (t) = m2 wHn (t) + K H (0) 2KH (0) n (t)(t)

(146)

Outra equacao diferencial e obtida ao utilizarmos a definicao (145) na equacao (143) com
l = H:

.
w Hn (t) = uHn (t) 2wHn (t) KH (0)n (t)(t)

(147)

Vejamos agora o caso Ornstein-Uhlenbeck, que e ainda mais simples. Olhando

para a equacao (141), vemos que

K OU (t t0 ) = KOU (t t0 ) ,

(148)

onde a derivada e em relacao `a t0 . Fazendo l = OU na equacao (143) e usando a relacao

(148), obtemos a seguinte equacao diferencial:

w OU n (t) = wOU n (t) KOU (0)n (t)(t).

(149)

O potencial com o qual vamos trabalhar a partir de agora e dado por V () =

e portanto sua derivada em relacao ao campo e dada por V 0 () = m2 + 6 3 .
Frente a isso, e usando a definicao (142), a equacao (131) pode ser reescrita da seguinte
forma:
m2 2
+ 4! 4 ,
2

XX
+ m2 (t) + 3 (t) =
[n (t) (l (t) + wln (t))] .
(t)

6
n=0 l

(150)

Juntando as equacoes (134), (138), (146), (147), (149) e (150), temos um conjunto de
equacoes diferenciais locais que se equivale a` equacao nao-markoviana original (131). Visando facilitar referencias futuras, escrevamos o sistema dinamico com todos os termos

52
da soma e todas as equacoes escritas explicitamente:
= y

y = m2 3 + H + wH+ + 0U + wO+ + [H + wHX + OU + wOX ]

6
w O+ = wO+ KOU (0)y
w H+ = uH+ 2wH+ KH (0)y
w OX = wOX KOU (0)y
w HX = uHX 2wHX KH (0)y
u H+ = m2 wH+ + K H (0)y 2KH (0)y
u HX = m2 wHX + K H (0)y 2KH (0)y
H = zH
p
zH = 2zH m2 H + m2 2T Q
h
i
p
OU = OU 2T Q

(151)

Para tornar mais inuitiva a leitura das equacoes, algumas mudancas de notacao
foram feitas no sistema acima. A variavel wO+ e a variavel w correspondente ao caso
Ornstein-Uhlenbeck (l=OU) aditivo (n=0). A variavel wOX e a variavel w correspondente
ao caso Ornstein-Uhlenbeck (l=OU) multiplicativo (n=1), e assim sucessivamente.

3.3 Regime linear - abordagem analtica

Como equacoes nao-markovianas do tipo da eq. (2) possuem kernels nao-locais
na forma de uma convolucao, podemos resolve-la usando o metodo da transformada de
Laplace, caso desprezemos o termo quartico no potencial e tenhamos rudo aditivo apenas.
Consideremos entao o seguinte potencial:

V () =

m2 2
.
2

(152)

A equacao (131), assume a forma linear

+ m2 (t) =
(t)

X
l

l (t)


0

dt Kl (t t )(t ) .
0

t0

Estamos interessados em analisar o comportamento da equacao nao-markoviana

usando cada kernel (OU e H) separadamente. Para tal, consideremos entao uma ELG
linear com um kernel K(t t0 ) e um termo de rudo (t) que pode ser tanto o kernel OU

53
e seu termo de rudo OU (t) quanto o kernel harmonico e seu termo de rudo H (t):

+ m2 (t) +
(t)

0 ) = (t) .
dt0 K(t t0 )(t

(153)

Usando a transformada de Laplace de (t),

L{(t)} = (s)

dt exp(st)(t) ,

(154)

e o teorema da convolucao no termo dissipativo nao-Markoviano da equacao (153), podemos facilmente observar que a solucao transformada para a ELG linear pode ser escrita
como

=
(s)

h
i

(0)
+ s + K(s)
(0)
+

s2 + m2 + sK(s)

(s)
,

s2 + m2 + sK(s)

(155)

sao a transformada de Laplace do kernel de dissipacao K(t t0 ) e do

onde K(s)
e (s)
rudo (t), respectivamente.
Para obtermos (t), basta calcularmos a transformada inversa da equacao (155):

(t) = L {(s)}
= (t) +
1

dt0 g(t t0 )(t0 ) ,

(156)

onde

(t) = L1

h
i

(0)
+ s + K(s) (0)

s2 + m2 + sK(s)

(157)

g(t t ) = L

s2 + m2 + sK(s)


.

(158)

A solucao explcita para (t) e difcil de ser obtida analiticamente devido ao termo
de rudo no lado direito da equacao (156). Entretanto, sabemos que esse termo de rudo
e gaussiano (hi = 0), o que nos garante uma simplificacao consideravel ao tomarmos a

54
media da equacao (156). Fazendo isso, obtemos

h(t)i = (t) .

(159)

Uma vez que o kernel K(t t0 ) e dado, a expressao acima e facilmente calculada numericamente ou analiticamente. Usamos o software MAPLE para obter numericamente o
resultado para (t). Deve-se notar que tanto no caso OU quanto H, a forma explcita
da solucao pode ser obtida, mas como elas sao bastante complicadas e longas, evitamos
escreve-las aqui.
tambem conveniente calcularmos h2 (t)i. Lembrando que o rudo colorido (t)
E
satisfaz a relacao (132), obtemos entao que

t
00

00

dt g(t t )

h (t)i = (t) + T
0

dt0 g(t t0 )K(t0 t00 ) .

(160)

3.4 Regime linear - abordagem num

erica
Na secao anterior, tratamos da abordagem analtica para a ELG linear com rudo
aditivo. Vamos agora definir os sistemas dinamicos que serao resolvidos numericamente.
Para tal, basta particularizarmos o conjunto de equacoes (151) e desligarmos o termo de
interacao ( 0). O sistema que representa o caso OU aditivo e dado por:

= y
y = m2 + OU + wO+
w O+ = wO+ KOU (0)y
i
h
p
OU = OU 2T Q .
(161)
Para o caso harmonico aditivo, temos o seguinte sistema:

55

= y
y = m2 + H + wH+
w H+ = uH+ 2wH+ KH (0)y
u H+ = m2 wH+ + K H (0)y 2KH (0)y
H = zH
zH = 2zH m2 H + m2

p
2T Q .
(162)

3.5 Comparac
ao entre a Soluc
ao Analtica e Num
erica
Nessa secao, mostramos os resultados para h(t)i e h2 (t)i obtidos usando a transformada de Laplace e os comparamos aos resultados numericos obtidos resolvendo os
sistemas de equacoes derivados previamente.
Na figura 6 plotamos lado a lado os resultados para (t) obtidos a partir da expressao analtica (157) e os resultados numericos, obtidos resolvendo o sistema (161),
que representa o caso OU. Na figura 7, fazemos o mesmo para o caso harmonico, que e
representado pelo sistema (162).
Os sistemas foram resolvidos usando o algortmo de Runge-Kutta de quarta ordem,
com um passo t = 0.01. O n
umero total de realizacoes sobre o rudo usado tanto no caso

OU quanto H foi de 300000. Em todas as simulacoes, usamos (0) = 1 e (0)

= 0 como
condicoes iniciais.
Olhando para as figuras 6 e 7, vemos uma excelente concordancia entre os resultados analticos e numericos obtidos atraves do Runge-Kutta padrao. Por completeza,
e tambem u
til comparar os resultados para h2 i, o qual foi definido analiticamente na
equacao (160), com os resultados numericos para essa mesma quantidade. Isso e feito na
figura 8 para os casos OU (painel esquerdo) e harmonico (painel direito).
A partir da figura 8, novamente observamos uma concordancia excelente entre os
resultados analtico e numerico de h2 i. Uma grandeza que define melhor o quao boa e
essa concordancia e a diferenca entre a solucao analtica e numerica:

= analytic numeric
2 = h2 ianalytic h2 inumeric .

(163)

Os resultados para as diferencas e 2 sao mostrados nas figuras 9 e 10 para

56
Figura 6 - Evoluc
ao temporal para (t) no caso OU

Legenda: evoluc
ao temporal para (t) no caso OU: (a) para = 0, 5, (b) para = 1, 0 e (c)
para = 5, 0. Os outros par
ametros foram tomados como m = 1, 0, m = 1, 0, Q = 1, 0 e
T = 1, 0.

os casos OU e H, respectivamente. Olhando para essas figuras, podemos notar que as

diferencas estao sempre contidas dentro de um intervalo da ordem de 102 e oscilam ao
redor de zero de forma ruidosa. De fato, checamos que a maior parte dessa diferenca pode
ser reduzida aumentando-se o n
umero de realizacoes sobre o rudo. Isto certifica que a
solucao para os sistemas (161) e (162) obtidas usando o algortmo de Runge-Kutta padrao
esta reproduzindo de forma satisfatoria os resultados analticos, apesar da caracterstica
nao-determinstica intrnsica `a ELG que estamos tratando. Essa concordancia e notada
nao so para tempos curtos, onde o efeito de memoria e dominante, como tambem para
tempos longos, onde a dissipacao nao-markoviana passa a ser subdominante e a dinamica
markoviana representa razoavelmente bem o comportamento do sistema (FARIAS; RAMOS; SILVA, a).
O erro entre a solucao analtica e numerica de equacoes diferenciais estocasticas
pode provavelmente ser reduzido ao fazermos uso, por exemplo, do Runge-Kutta estocastico. Entretanto, nao pudemos verificar isso para nosso caso particular, pois esse

57
Figura 7 - Evoluc
ao temporal para (t) no caso harmonico

Legenda: evoluc
ao temporal para (t) no caso harmonico: (a) para = 0, 1, (b) para = 0, 3
e (c) for = 0, 5. Os outros par
ametros foram tomados como m = 1, 0, m = 1, 0, Q = 1, 0 e
T = 1, 0.

metodo exige que todas as equacoes do sistema sejam resolvidas da mesma maneira, o
que nao parece apropriado, ja que nem todas as equacoes dos sistemas (161) e (162) sao
estocasticas. Um trabalho futuro seria a criacao de um algortmo adaptado a essa nossa
situacao particular.

3.6 Discuss
oes
Neste captulo, apos construrmos uma abordagem que nos permitiu reescrever a
ELG original em termos de um sistema de equacoes locais, estudamos a possibilidade de
usar um metodo numerico padrao (Runge-Kutta de quarta ordem) para resolver equacoes
de Langevin generalizadas. Mostramos que a solucao da equacao de movimento linear
com rudo aditivo obtida atraves do uso da transformada de Laplace, quando comparada
com o resultado numerico obtido com a rotina do Runge-Kutta, mostram entre si uma boa

58
Figura 8 - Evoluc
ao temporal para h2 (t)i no caso OU

Legenda: evoluc
ao temporal para h2 (t)i no caso OU (painel esquerdo) e harmonico (painel
direito). Os par
ametros utilizados foram: = 0, 5, m = 1, 0, m = 1, 0, Q = 1, 0 e T = 1, 0.

Figura 9 - A diferenca no caso OU

Legenda: a diferenca no caso OU (painel esquerdo) e harmonico (painel direito). Os

parametros usados foram: = 0, 5, m = 1, 0, m = 1, 0, Q = 1, 0 e T = 1, 0.

concordancia, a qual independe da prescricao utilizada para transformar a ELG original

no sistema de equacoes diferenciais locais. Tudo isso foi realizado tendo em vista os dois
casos mais utilizados de kernels de dissipacao/rudo: os casos OU e H. Esperamos que essa
precisao possa ainda ser melhorada ao usarmos variacoes do algortmo de Runge-Kutta
devidamente adaptados para lidar com sistema de equacoes diferenciais semelhantes ao
que tratamos aqui, onde nem todas as equacoes sao estocasticas, fato este que cria um
empecilho a` utilizacao de metodos como o Runge-Kutta estocastico. Os resultados desse
captulo foram publicados em (FARIAS; RAMOS; SILVA, b).

59

Figura 10 - A diferenca 2 no caso OU

Legenda: a diferenca 2 no caso OU (painel esquerdo) e harmonico (painel direito). Os

parametros usados foram: = 0, 5, m = 1, 0, m = 1, 0, Q = 1, 0 e T = 1, 0.

60
ENTRE AS DINAMICAS

4 COMPARAC
AO
MARKOVIANA E

NAO-MARKOVIANA

4.1 Introduc
ao
Findada a analise do metodo numerico por nos utilizado, neste captulo nos focaremos na comparacao da dinamica markoviana com a dinamica nao-markoviana da ELG
que descreve a interacao de um sistema, denotado pela variavel (t), com um banho
termico cujo rudo satisfaz a relacao 132 e e gaussiano. Analisaremos separadamente os
casos OU aditivo, OU multiplicativo, H aditivo e H multiplicativo.

4.2 Equac
oes n
ao-markovianas
Estamos entao interessados em resolver a ELG (131) para os casos particulares em
que temos um kernel OU com rudo aditivo,

+ m2 + 3 = OU (t)
(t)

0) ,
dt0 KOU (t t0 )(t

(164)

cujo correspondente sistema de equacoes locais e dado por

= y

y = m2 3 + 0U + wO+
6
w O+ = wO+ KOU (0)y
h
i
p
OU = OU 2T Q .

(165)

Para o caso de um kernel OU com rudo multiplicativo,



Z t
3
2
0
0
0 0

(t) + m + = (t) OU (t)

dt KOU (t t )(t )(t ) ,
6
0
sendo o correspondente sistema de equacoes locais dado por

(166)

61

= y

y = m2 3 + [OU + wOX ]
6
w OX = wOX KOU (0)y
h
i
p
OU = OU 2T Q .

(167)

Para o caso de um kernel H com rudo aditivo,

+ m2 + 3 = H (t)
(t)

0) ,
dt0 KH (t t0 )(t

(168)

cujo correspondente sistema de equacoes locais e dado por:

= y

y = m2 3 + H + wH+
6
w H+ = uH+ 2wH+ KH (0)y
u H+ = m2 wH+ + K H (0)y 2KH (0)y
H = zH
zH = 2zH m2 H + m2

p
2T Q .

(169)

E, finalmente, um kernel H com rudo multiplicativo,

+
(t)

m2



Z t
3
0
0
0 0
+ = H (t)
dt KH (t t )(t )(t ) ,
6
0

(170)

representado pelo seguinte conjunto de equacoes locais:

= y

y = m2 3 + [H + wHX ]
6
w HX = uHX 2wHX KH (0)y
u HX = m2 wHX + K H (0)y 2KH (0)y
H = zH
zH = 2zH m2 H + m2

2T Q .
(171)

62
4.3 Aproximac
ao markoviana
Quando utilizamos a aproximacao markoviana, todo efeito de memoria nas equacoes
(164), (166), (168) e (170) e negligenciado, pois o termo de dissipacao nao-Markoviano
e substituido por um termo de dissipacao local. Em geral, esperamos que a forma local
da EGL seja uma aproximacao valida quando a escala de tempo de relaxacao do banho
termico, = 1/, e muito menor que a escala de tempo caracterstica do sistema, isto
Isto e equivalente a` condicao quase-adiabatica usada em teoria
e, quando  /.
de campos (BERERA; GLEISER; RAMOS, 1998). Quando esta condicao e alcancada
num intervalo de tempo suficientemente grande t = t t0 , entao t/  1 (o que e
equivalente a tomar t0 ) e o termo nao-local no tempo na ELG pode ser escrito
como

(t)
t0

0 ) ' 2n (t) (t)

dt K(tt ) (t ) (t
0

. (172)
dt0 K(tt0 ) Q 2n (t) (t)

t0

Com isso, a equacao de movimento que obtemos ao usar a aproximacao (172) e dada por:

+ Q 2n (t) (t)
+ m2 + 3 = n (t) (t) ,
(t)

(173)

onde aqui novamente n = 0 significa que estamos tratando o caso aditivo, enquanto
que n = 1 corresponde ao caso multiplicativo. Levando em conta as condicoes impostas
acima, em tempos suficientemente curtos esperamos que os efeitos de memoria influenciem
significantemente a dinamica, enquanto que para tempos longos (t  1/), esses efeitos
devem se tornar rapidamente desprezveis. Com isso, algumas questao importantes surgem
naturalmente: dado um conjunto de parametros que representam o modelo e o banho
termico ao qual ele esta acoplado, ate quando o efeito de memoria devido a termos naoMarkovianos sao importantes? Quando podemos ignorar esses termos e adotar a equacao
possvel que para
markoviana como uma descricao fiel para a dinamica do sistema? E
um dado conjunto de parametros, toda a dinamica seja bem representada pela equacao
markoviana?
Como a representacao da dinamica atraves de uma equacao local dada pela eq.
(173) representa uma simplificacao consideravel tanto do ponto de vista numerico quanto
analtico (se essa abordagem e possvel) quando comparada a` equacao integro-diferencial
estocastica (131), estas questoes tornam-se bastante relevantes para estudos que fazem
uso de equacoes de movimento estocasticas.
A partir de agora, mostramos os resultados da comparacao entre as dinamicas
markoviana e nao-markoviana para os casos particulares indicados na secao 4.2. Como no

63
captulo anterior, todas as simulacoes foram feitas com 300000 realizacoes sobre o rudo,

com um passo t = 0.01 e com as condicoes iniciais (0) = 1 e (0)

= 0.

4.3.1 O caso aditivo

Figura 11 - Caso OU com rudo aditivo e sua aproximacao markoviana: evolucao temporal de
(t).

Legenda: caso OU com rudo aditivo e sua aproximacao markoviana: evolucao temporal de
(t). (a) = 0, 5, (b) = 1, 0 e (c) = 5, 0. Os outros parametros foram tomados como
m = 1, 0, Q = 1, 0, T = 1, 0, m = 1, 0 e = 1, 0.

Em todos os casos analisados, escolhemos variar o parametro , porque, ao amortecer os efeitos dos kernels nao-locais, podemos determinar a aplicabilidade e a escala de
tempo da aproximacao local, e, portanto, a validade dessa aproximacao pode ser melhor
medida dado o valor do fator . Valores representativos para foram escolhidos e todos
os outros parametros foram mantidos fixos. Uma analise realizada variando-se outros
parametros foi publicada por nos em (FARIAS; RAMOS; SILVA, a).
Vamos considerar em um primeiro momento a ELG com rudo aditivo e kernel
OU, ou seja, a equacao (164). Na figura 11 plotamos lado a lado os resultados para a

64
Figura 12 - Caso harm
onico com rudo aditivo e a respectiva aproximacao markoviana:
evoluc
ao temporal de (t).

Legenda: caso harm

onico com rudo aditivo e a respectiva aproximacao Markoviana: evoluc
ao
temporal de (t). (a) para = 0, 1, (b) para = 0, 3 e (c) para = 0, 5. Os outros parametros
sao os mesmos usados na figura 11.

dinamica do valor medio da variavel , hi = (t), onde a media e tomada sobre o n

umero
de realizacoes do rudo. As curvas descrevem a dinamica markoviana, obtida atraves da
equacao (173) com n = 0, e a dinamica nao-markoviana, obtida resolvendo o sistema
(165)
Na figura 12 plotamos novamente a dinamica para (t), entretanto para o caso
harmonico amortecido. Na equacao (173), n e tomado como sendo 0.
O efeito da variacao de observado nas figuras 11 e 12 e bastante claro. Quanto
maior e o tempo de relaxacao (1/) nos kernels nao-locais, mais evidente e o efeito de
memoria, o que acarreta uma maior diferenca entre as dinamicas markoviana e naomarkovianas, diferenca esta mais acentuada para tempos curtos. A tempos suficientemente longos, dependendo de quao grande e , as duas dinamicas se aproximam uma da
outra. Isso tambem seria observado se plotassemos a correlacao h2 (t)i para os casos OU e
H. A diferenca entre a dinamica markoviana e nao-markoviana pode ser melhor estimada
ao definirmos as seguintes quantidades:

65

= hinonMarkovian hiMarkovian
2 = h2 inonMarkovian h2 iMarkovian .

(174)

Os resultados para as diferencas e 2 sao mostradas nas figuras 13 e 14,

respectivamente para os casos OU e H.
Figura 13 - Diferencas e 2 no caso OU aditivo.

Legenda: Diferencas e 2 no caso OU aditivo. Como antes, os outros parametros sao

mantidos fixos.

Figura 14 - Diferencas e 2 no caso H aditivo.

Os resultados exibidos nas figuras 13 e 14 novamente confirmam o que notamos

anteriormente: para tempos longos (t  1/), a diferenca entre as duas dinamicas concordam entre si com uma precisao crescente e quanto maior e o tempo de relaxacao, mais
tempo e demandado para que a dinamica markoviana se aproxime da nao-markoviana.
Uma importante conclusao que podemos tirar das figuras 11 e 14 e que a escala de tempo
na qual as duas dinamicas comecam a se tornar equivalentes e muito maior que a escala

66
de tempo da relaxacao do kernel e tambem maior que a escala de tempo tpica do sistema,
a qual e dada por (1/m).

4.3.2 O caso multiplicativo

Figura 15 - Caso OU com rudo multiplicativo e a aproximacao markoviana: evolucao

temporal de (t).

Legenda: caso OU com rudo multiplicativo e a aproximacao markoviana: evolucao temporal

de (t). (a) para = 0, 5, (b) para = 1, 0 e (c) para = 5, 0. Os outros parametros foram
tomados como m = 1, 0, Q = 1, 0, T = 1, 0 e = 1, 0.

Vamos agora verificar os resultados relativos ao caso multiplicativo. A dinamica

markoviana e dada pela equacao (173) com n = 1, e a nao-markoviana pelos sistemas
(167), no caso OU multiplicativo, e (171), no caso H multiplicativo.
Na figura 15 plotamos lado a lado os resultados para hi nos regimes Markoviano
e nao-Markoviano no caso OU. Na figura 16 fazemos o mesmo para o caso harmonico
amortecido.
Os resultados para as diferencas e 2 sao mostrados nas figuras 17 e 18 para
os casos OU e H, respectivamente.

67
Figura 16 - Caso H com rudo multiplicativo e a aproximacao markoviana: evolucao temporal
de (t).

Legenda: caso H com rudo multiplicativo e a aproximacao markoviana: evolucao temporal de

(t). (a) para = 0, 1, (b) para = 0, 3 e (c) para = 0, 5. Todos os demais parametros
foram tomados iguais aos das figuras anteriores.

As figuras 15 - 18 mostram resultados analogos ao caso aditivo e, portanto, as

conclusoes feitas na secao anterior permanecem validas no caso multiplicativo.
Adicionalmente aos resultados acima discutidos e mostrados para a variavel do
sistema , e tambem u
til determinar como o efeito de memoria influencia o tempo de
termalizacao do sistema quando posto em contato com o banho termico a` temperatura T .
Para isso, vamos definir para tal sistema uma temperatura efetiva dependente do tempo
de acordo com o teorema de equiparticao de energia:

Tef (t) = h 2 (t)i .

(175)

A Tef para os casos OU e H, com rudo aditivo e multiplicativo, estao plotados na figura
19, onde tambem e mostrada a aproximacao local a ttulo de comparacao.
Olhando para a figura 19, novamente observamos o comportamento padrao notado

68
Figura 17 - Diferencas e 2 no caso OU multiplicativo.

Legenda: diferencas e 2 no caso OU multiplicativo. Todos os outros parametros foram

fixados como antes.
Figura 18 - Diferencas e 2 no caso H multiplicativo.

nos graficos anteriores. Quanto maior e a escala de tempo de relaxacao dos termos naoMarkovianos, mais tempo a dinamica markoviana demanda para ser considerada uma
boa descricao para a dinamica do sistema. Tambem vemos como o efeito de memoria se
reflete na termalizacao do sistema. Tempos de relaxacao maiores fazem com que o sistema
necessessite de mais tempo para termalizar. Tipicamente, para escalas de tempo de
relaxacao comparaveis, o sistema se termaliza mais rapidamente no caso aditivo, enquanto
que ha apenas uma pequena variacao na escala de tempo de termalizacao do sistema
quando comparamos o caso OU com o caso H, dado os outros parametros fixos.

4.4 Discuss
oes
Neste captulo analisamos em detalhes as diferencas entre as dinamicas markoviana e nao-markoviana de um sistema em interacao com um banho termico. Usando a
prescricao para transformar uma equacao nao-markoviana num sistema de equacoes locais

69
Figura 19 - Temperatura efetiva Tef

Legenda: temperatura efetiva Tef para (a) caso OU aditivo, (b) caso OU multiplicativo, (c)
caso H aditivo e (d) caso H multiplicativo.

no tempo definida no captulo anterior, estudamos a aplicabilidade da aproximacao local.

Observamos que em geral a aproximacao local nao e uma boa descricao para a dinamica do
sistema, exceto quando considerada para tempos longos ou para algum conjunto especfico
de parametros. Realizamos estudos tanto para o caso de rudo aditivo quanto para o caso
de rudo multiplicativo, sendo que em ambos os casos, a diferenca entre as dinamicas e
maior para tempos curtos. Esse comportamento tambem foi notado no estudo da termalizacao de um sistema em contato com um banho termico. A equacao de Langevin
local subestima a termalizacao do sistema quando comparada a` equacao nao-markoviana,
o que indica que o uso da aproximacao markoviana pode conduzir a resultados erroneos
quando estudamos aspectos de equilibracao e termalizacao de um dado sistema.

70
A
` INFLAC
NAO-ISENTR

5 APLICAC
AO
AO
OPICA

Neste captulo apresentamos um estudo ainda em estagio inicial sobre efeitos de

memoria na dinamica do campo escalar responsavel por prover a expansao acelerada do
universo no modelo de inflacao nao-isentropica. Na secao 5.1 coletamos os principais resultados do review (BERERA; MOSS; RAMOS, 2009) os quais nos permite parametrizar tal
modelo de uma maneira motivada microscopicamente. Na secao 5.2, aplicamos a abordagem numerica desenvolvida a dois captulos atras neste modelo e na secao 5.3 mostramos
alguns resultados da comparacao entre as dinamicas markoviana e nao-markoviana do
inflaton.

5.1 Motivac
ao microsc
opica
Como ja foi discutido na secao 2.5, a inflacao nao-isentropica e concebida como
um cenario em que o inflaton interage com outros campos, possibilitando assim a geracao
de radiacao durante o intervalo de tempo no qual a expansao do universo e acelerada.
Nessa secao, destacaremos do review (BERERA; MOSS; RAMOS, 2009) resultados que
nos serao u
teis para testar a aproximacao markoviana.
Um exemplo de densidade lagrangiana que proporciona um modelo de inflacao
nao-isentropica e e u
til em sua analise e exatamente a acao (59) ja estudada no captulo
3. A diferenca aqui com a acao estudada anteriormente e que em vez de tratarmos a
interacao entre o campo com o campo como sendo uma interacao quadratica, a qual
gera a equacao de movimento estocastica efetiva com rudo multiplicativo, usaremos o
caso de uma interacao trilinear, g2 , que, como discutido no final do captulo 3, gera
uma equacao de movimento estocastica com rudo aditivo. Trabalhamos com esse caso
em particular pois, numericamente, o sistema de equacoes obtidas e mais facil de ser
analisado do que o caso com rudo multiplicativo durante inflacao.
Seguindo a derivacao microscopica da equacao de movimento do campo de inflaton
de acordo com os resultados do captulo 3, no contexto de inflacao, onde se leva em conta
os calculos numa metrica de de Sitter, como apropriado para o estudo de inflacao, a
equacao efetiva para a evolucao do campo escalar (homogeneo) responsavel pela inflacao,
na qual estamos interessados e dada agora por (BERERA; MOSS; RAMOS, 2009)



Z t
2
2
2

0 ) = (t) .
dt0 K(t, t0 )(t
t + m + (t) c (t) + 3H (t) +
3!
t0

(176)

A equacao markoviana correspondente obtida da equacao acima tem a forma da equacao

71
(120), ou seja,
+ [3H + ] + V 0 () = 0 ,

(177)

onde uma media sobre o ensemble foi tomada na expressao acima. O coeficiente de
dissipacao local, , no regime de baixa temperatura (T  m ) e dado por (BERERA;
MOSS; RAMOS, 2009)
Cg 2 h4

T3
,
m2

(178)

onde C e uma constante que pode ser determinada via integracao numerica. Ja no regime
de altas temperaturas (T  m ), assume o seguinte valor:

16 g 2
T
T ln
.
2
h
m

(179)

O inverso do tempo de relaxacao, , e dado por:

h2
m
32

(180)

Temos entao um conjunto de parametros microscopicamente motivados que descrevem nosso sistema em interacao com um banho termico. Vamos agora aplicar nossa
abordagem numerica a esse caso em particular.

5.2 O sistema din

amico
Estamos entao interessados em resolver a seguinte equacao de movimento, para
posteriormente compararmos sua solucao a` obtida atraves de sua respectiva versao markoviana:
Z t

X
0
n
0
0
n 0 0

(t) + 3H(t)(t) + V ((t)) = (t)

l (t)
dt Kl (t t ) (t )(t )
. (181)
t0

l
m2

Na equacao acima, o potencial utilizado e V () = 2 2 + 4! 4 . A soma no ndice l nessa

expressao (o que corresponde a somar os kernels harmonico amortecido, eq (133), e OU,
eq. (141)), e equivalente a escrever um kernel K(t t0 ) como



Qm2 (tt0 )

0
0
0
K(t t ) =
e
cos[1 (t t )] +
sin[1 (t t )] + Qe(tt ) , (182)
2
1
0

72
ou seja, nessa aplicacao estamos interessados nos efeitos de ambos os kernels simultaneamente, de novo, motivados pelo resultado obtido ao final do captulo 3, onde o kernel de
rudo possui termos do tipo tanto OU como harmonico amortecido, analogos aos estudados
nos dois captulos anteriores.
A diferenca entre as equacoes (181) e (2) e a presenca de um acoplamento do campo
na primeira. Logicamente, vamos entao
escalar com a metrica de FRLW (termo 3H )
trabalhar com a prescricao desenvolvida no captulo 3 para extrarmos a dinamica naomarkoviana do inflaton. Deixemos momentaneamente de lado o termo 3H e selecionemos
as equacoes convenientes no sistema (151) para que tenhamos o caso aditivo (n = 0) e
multiplicativo (n = 1).
Para o caso n = 0 ficamos entao com o seguinte conjunto de equacoes:
= y

y = m2 3 + H + wH+ + 0U + wO+
6
w O+ = wO+ KOU (0)y
w H+ = uH+ 2wH+ KH (0)y
u H+ = m2 wH+ + K H (0)y 2KH (0)y
H = zH
p
zH = 2zH m2 H + m2 2T Q
h
i
p
OU = OU 2T Q .

(183)

Ja no caso n = 1, o sistema e dado por

= y

y = m2 3 + [H + wHX + OU + wOX ]
6
w OX = wOX KOU (0)y
w HX = uHX 2wHX KH (0)y
u HX = m2 wHX + K H (0)y 2KH (0)y
H = zH
p
zH = 2zH m2 H + m2 2T Q
h
i
p
OU = OU 2T Q .

(184)

Falta agora inserirmos o termo 3H e as equacoes cosmologicas nos sistemas acima

explicitados. A equacao de aceleracao (122) mantem a mesma forma do caso Markoviano,
lembrando que H = a/a:

i
8 h
2

a
= 2 r + V () a .
3mpl

(185)

73
Num procedimento analogo ao da secao 2.5.1, tomamos a derivada temporal da
densidade de energia = 21 2 + V () e usamos a equacao de movimento (181) no resultado, o que nos conduz a
a
n [wHn + wOn + H + OU ] .
= 3 2 +
a

(186)

E, por conservacao de energia, a equacao de continuidade (91) para a densidade de radiacao se modifica da seguinte forma:

a
n [wHn + wOn + H + OU ] ,
r = 4 r
a

(187)

onde, nas equacoes (186) e (187) a definicao (142) foi utilizada. Juntando entao todas as
equacoes, obtemos para o caso aditivo o seguinte sistema local:
= y
a = A

8 
A = 2 r + y 2 V () a
3mpl

A
y = 3 m2 3 + H + wH+ + 0U + wO+
a
6
w O+ = wO+ KOU (0)y
w H+ = uH+ 2wH+ KH (0)y
u H+ = m2 wH+ + K H (0)y 2KH (0)y

H = zH
p
zH = 2zH m2 H + m2 2T Q
h
i
p
OU = OU 2T Q .
A
r = 4 r y [wH+ + wO+ + H + OU ]
a
A 2
= 3 y + y [wH+ + wO+ + H + OU ] .
a

(188)

74
Ja no caso multiplicativo, temos:
= y
a = A

8 
A = 2 r + y 2 V () a
3mpl
A

y = 3 m2 3 + [H + wHX + OU + wOX ]
a
6
w OX = wOX KOU (0)y
w HX = uHX 2wHX KH (0)y
u HX = m2 wHX + K H (0)y 2KH (0)y
H = zH
zH = 2zH m2 H + m2
h
i
p
OU = OU 2T Q

2T Q

A
r = 4 r y [wHX + wOX + H + OU ]
a
A 2
= 3 y + y [wHX + wOX + H + OU ] .
a

(189)

5.2.1 Aproximacao local

A aproximacao local da equacao (181) e feita conforme o procedimento (172).
Nesse caso, como estamos tratando dois kernels simultaneamente, teremos:
p

+ 3H + m2 + 3 + 2Q2n (t) = n (t)2 2T Q ,

6
lembrando que o caso n = 0 corresponde ao caso aditivo e n = 1 ao caso mul
tiplicativo. Definindo 2Q e 2 2T Q , recuperamos (para n = 0) a equacao
fenomenologica dada por (120), e conseq
uentemente as equacoes para e r , dadas respectivamente por (123) e (124). Devido a problemas numericos ainda nao contornados no
caso multiplicativo, vamos a partir de agora tratar, como mencionado no comeco deste
captulo, apenas o caso aditivo de inflacao nao-isentropica nao-markoviana.
A ttulo de organizacao, vamos reescrever aqui o sistema que representa o caso

75
Markoviano desse modelo inflacionario:
= y


y =
a =
A =
=
r =


A
3 + V 0 () +
a
A

8 
2 r + y 2 V () a
3mpl
A
3 y 2 y 2 + y
a
A
4 r + y 2 y .
a

(190)

Ao contrario das equacoes apresentadas na secao 2.5, aqui deixamos evidente os

termos de rudo branco, pois do ponto de vista numerico (que e o ponto de vista adotado
neste momento) as medias sao tomadas sobre o n
umero de realizacoes, e entao deixar as
equacoes da forma exata como elas entram no programa parece ser um procedimento mais
transparente.

5.3 Comparac
ao entre as din
amicas markoviana e n
ao-markoviana
Nesta secao obtemos alguns resultados que comparam as dinamicas markoviana e
nao-markoviana do inflaton e da temperatura efetiva (175) do mesmo. Estamos considerando o caso de baixas temperaturas, e portanto o coeficiente de dissipacao utilizado
e dado pela equacao (178). Como no captulo anterior, variamos o parametro , o que
significa variar m (o que e obvio pela expressao (180)). Consideramos (0) = 4mpl ,
p

(0)
= 0, a(0) = 1 e H(0) = 16/3mpl m . O parametro m e da ordem de 106 mpl ,
e 1013 (LINDE, 1990). Alem disso, levamos em conta a condicao m > H, o que,
grosso modo, implica que correcoes de curvatura podem ser desprezadas nos calculos de
teoria de campos (BERERA; RAMOS, 2005).
Na figura 20, plotamos para tres casos distintos a evolucao temporal do inflaton
nos regimes de dissipacao markoviana e nao-markoviana. Exatamente como no captulo
anterior, notamos que a solucao da equacao markoviana se aproxima da solucao naomarkoviana a medida que aumentamos o valor do parametro . Na figura 21, mostramos
como evolui no tempo a temperatura efetiva Tef para os mesmos parametros utilizados na
figura 20. Novamente notamos uma diferenca apreciavel entre as dinamicas markoviana
e nao-markoviana, fato este que so e amenizado com o aumento do valor de .

76
Figura 20 - Evoluc
ao temporal do inflaton

Legenda: evoluc
ao temporal do inflaton: (a) m = 50H(0), (b) m = 150H(0) e (c)
m = 250H(0). H(0) e obtido da equacao de Friedmann no instante inicial.

5.4 Discuss
oes
Neste captulo, mostramos uma analise preliminar da influencia de efeitos de
memoria sobre a dinamica do campo escalar responsavel pela inflacao. A conclusao e
essencialmente a mesma do captulo anterior: a escolha dos parametros utilizados para
descrever o sistema e o banho (aqui microscopicamente motivados) e fundamental na
determinacao de quao satisfatoria e a aproximacao markoviana. Isso quer dizer que a descricao do universo inflacionario via uma equacao diferencial estocastica local no tempo,
que e a abordagem usualmente empregada na literatura corrente, e adequada apenas em
casos muito restritos, sendo entao a dinamica nao-markoviana fundamental para a correta
descricao desse cenario cosmologico.
Como resultados desse captulo, vemos das figuras mostradas que a dinamica local, dependendo dos parametros utilizados, pode representar a dinamica nao-markoviana

77
Figura 21 - Temperatura efetiva do inflaton

Legenda: temperatura efetiva: (a) m = 50H(0), (b) m = 150H(0) e (c) m = 250H(0).

de forma satisfatoria. Alem disso, vemos pelos resultados mostrados na figura 21, que
a temperatura se mantem aproximadamente constante durante inflacao, nos dois casos,
local e nao-local, embora o caso nao-local haja uma variacao maior de Teff . Isso, portanto,
justifica a proposicao da inflacao nao-isentropica (warm inflation) de se desenvolver num
meio termico, mesmo durante inflacao, devido ao efeito de producao de radiacao continuada. Notamos ainda que dos resultados apresentados nessas figuras, a maioria dos casos
de parametros utilizados leva a uma dinamica ao final de inflacao com regime oscilatorio
para o inflaton. Nesses casos, ainda ha a possibilidade de uma fase de reaquecimento
posterior a inflacao, como no caso de inflacao fria. A excessao apresentada e o caso (a),
nao-Markoviano, mostrado na figura 22 para tempos longos (apos inflacao), onde o inflaton nao entra num regime oscilatorio ao final de inflacao, e passa diretamente para a fase
de radiacao com uma temperatura final T 4 102 m 108 GeV.

78

Figura 22 - A temperatura efetiva ao final de inflacao

Legenda: a temperatura efetiva ao final de inflacao, no regime nao-markoviano, para o caso (a)
da figura 21.

79

COMENTARIOS
FINAIS

Nessa dissertacao de mestrado, tivemos como objetivo primario testar o quao boa
pode ser considerada a chamada aproximacao markoviana frente a solucao da equacao
nao-markoviana original, dado um conjunto de parametros que caracterizam um sistema
em interacao com um banho termico. A atencao voltada a esse modelo de interacao
sistema-banho foi motivada pela existencia de teorias de campo que, como no caso da
mecanica estatstica, possuem equacoes de movimento efetivas da forma de equacoes de
Langevin generalizadas. Para tratar desse problema fora do equilbrio, primeiramente
desenvolvemos testes com a finalidade de checar nossa abordagem numerica. Mostramos
no captulo 3 que e possvel reescrever uma ELG em termos de um sistema de equacoes diferenciais locais no tempo para dois tipos de kernel: o Ornstein-Uhlenbeck e o harmonico
amortecido. Considerando uma versao linear dessa equacao, mostramos que o integrador
Runge-Kutta de quarta ordem produz resultados satisfatorios, mesmo frente a natureza
intrinsicamente estocastica do nosso sistema dinamico. No captulo 4, comparamos as
dinamicas markoviana (sem memoria) e nao-markoviana (com memoria) para a ELG
nao-linear e com rudo aditivo e multiplicativo. Conclumos que o efeito de memoria nao
pode ser negligenciado para tempos curtos e que a precisao da aproximacao markoviana
e fortemente dependente do conjunto de parametros que usamos para caracterizar o sistema e o banho termico. No captulo 5, testamos a aproximacao markoviana num modelo
de bastante interesse atualmente, o modelo de inflacao nao-isoentropica (ou warm inflation, originalmente). Novamente notamos que dependendo dos parametros utilizados no
modelo, o efeito de memoria nao pode ser desprezado se quisermos obter uma descricao
fiel da dinamica do sistema. Os captulos que apresentam resultados originais (3,4 e 5)
possuem conclusoes mais detalhadas nos seus respectivos fins.
Os passos imediatos a serem dados sao: implementacao do caso multiplicativo
para a inflacao nao-isoentropica, insercao das dimensoes espaciais e implementacao do
caso quantico do teorema de flutuacao-dissipacao.

80

REFERENCIAS

ABERS, E.; LEE, B. W. Gauge theories. Physics Reports, Amsterdam.

BACHELIER, L. Theorie de la speculation. Paris: Gauthier-Villars, 1900. 192 p.
BARTUSSEK, R. et al. Ratchets driven by harmonic and white noise. Physica D:
Nonlinear Phenomena, v. 109, n. 1, p. 1723, 1997.
BASSETT, B. A.; TSUJIKAWA, S.; WANDS, D. Inflation dynamics and reheating.
Reviews of modern physics, Maryland, v. 78, n. 2, p. 537, 2006.
BELLAC, M. L. Thermal Field Theory. Cambridge: Cambridge University Press, 2000.
272 p.
BERERA, A. Thermal properties of an inflationary universe. Physical Review D,
Maryland, v. 54, n. 4, p. 2519, 1996.
BERERA, A.; FANG, L-Z. Thermally induced density perturbations in the inflation era.
Physical Review Letters, Maryland, v. 74, n. 11, p. 1912, 1995.
BERERA, A.; GLEISER, M.; RAMOS, R. O. Strong dissipative behavior in quantum
field theory. Physical Review D, Maryland, v. 58, n. 12, p. 123508, 1998.
BERERA, A.; MOSS, I. G.; RAMOS, R. O. Local approximations for effective scalar
field equations of motion. Physical Review D, Maryland, v. 76, n. 8, p. 083520, 2007.
. Warm inflation and its microphysical basis. Reports on Progress in Physics,
Londres, v. 72, n. 2, p. 026901, 2009.
BERERA, A.; RAMOS, R. O. Affinity for scalar fields to dissipate. Physical Review D,
Maryland, v. 63, n. 10, p. 103509, 2001.
. Absence of isentropic expansion in various inflation models. Physics Letters B,
Amsterdam, v. 607, n. 1, p. 17, 2005.
BOSEK, M. et al. Degradation of postural control system as a consequence of parkinsons
disease and ageing. Neuroscience letters, Amsterdam, v. 376, n. 3, p. 215220, 2005.
BOUCHAUD, J-P; CONT, R. A langevin approach to stock market fluctuations and
crashes. The European Physical Journal B-Condensed Matter and Complex Systems,
v. 6, n. 4, p. 543550, 1998.
CALDEIRA, A. O.; LEGGETT, A. J. Influence of dissipation on quantum tunneling in
macroscopic systems. Physical Review Letters, Maryland, v. 46, n. 4, p. 211, 1981.
CALLEN, H. B.; WELTON, T. A. Irreversibility and generalized noise. Physical Review,
Maryland, v. 83, n. 1, p. 3440, 1951.
CASSOL-SEEWALD, N. C. et al. Langevin simulation of scalar fields: Additive and
multiplicative noises and lattice renormalization. Physica A: Statistical Mechanics and
its Applications, Amsterdam, v. 391, n. 16, p. 40884099, 2012.

81
CHOU, K. et al. Equilibrium and nonequilibrium formalisms made unified. Physics
Reports, Amsterdam, v. 118, n. 1, p. 1131, 1985.
DINVERNO, R. Introducing Einsteins Relativity. Oxford: Clarendon Press, 1992.
383 p.
DODELSON, S. Modern Cosmology. Amsterdam: Elsevier Science, 2003. 440 p.
EINSTEIN, A.; BECK, A.; HAVAS, P. The collected papers of Albert Einstein: The early
years, 1879-1902. Princeton: Princeton University Press, 1989. 433 p. (The Collected
Papers of Albert Einstein, v. 2).
FARIAS, R. L. S.; RAMOS, R. O.; SILVA, L. A. da. Langevin simulations with colored
noise and non-markovian dissipation. Brazilian Journal of Physics, Berlim.
FARIAS, R. L. S.; RAMOS, R. O.; SILVA, L. A. da. Numerical solutions for
non-markovian stochastic equations of motion. Computer Physics Communications,
Amsterdam.
FELLER, W. Zur theorie der stochastischen prozesse. Mathematische Annalen, Berlim,
v. 113, n. 1, p. 113160, 1937.
GLEISER, M.; RAMOS, R. O. Microphysical approach to nonequilibrium dynamics of
quantum fields. Physical Review D, Maryland, v. 50, n. 4, p. 2441, 1994.
GROSS, E. P. Nuovo cimento 20 454 pitaevskii lp 1961. Zh. Eksp. Teor. Fiz, Moscou,
v. 40, n. 646, p. 1961, 1961.
HANGGI, P.; JUNG, P. Colored noise in dynamical systems. Advances in chemical
physics, Nova Iorque, v. 89, p. 239326, 1995.
HONEYCUTT, R. L. Stochastic runge-kutta algorithms. i. white noise. Physical Review
A, Maryland, v. 45, p. 600603, 1992.
ISLAM, J. N. An Introduction to Mathematical Cosmology. Cambridge: Cambridge
University Press, 2001. 248 p.
K. Stochastic integral. Proceedings of the Japan Academy, Series A, Mathematical
ITO,
Sciences, v. 20, n. 8, p. 519524, 1944.
KOFMAN, L.; LINDE, A.; STAROBINSKY, A. A. Nonthermal phase transitions after
inflation. Physical Review Letters, Maryland, v. 76, n. 7, p. 1011, 1996.

KOLMOGOROFF, A. Uber
die analytischen methoden in der wahrscheinlichkeitsrechnung. Mathematische Annalen, Berlim, v. 104, n. 1, p. 415458, 1931.
KUBO, R. Statistical-mechanical theory of irreversible processes. i. general theory
and simple applications to magnetic and conduction problems. Journal of the Physical
Society of Japan, v. 12, n. 6, p. 570586, 1957.
KUBO, R.; HASHITSUME, N. Statistical Physics II: Nonequilibrium Statistical
Mechanics. 2. ed. Londres: Springer London, Limited, 2012. 279 p. (Springer Series in
Solid-State Sciences Series).

82
LANDSMAN, N. P.; WEERT, G. Van. Real-and imaginary-time field theory at finite
temperature and density. Physics Reports, Amsterdam, v. 145, n. 3, p. 141249, 1987.
LINDE, A. Prospects of inflation. arXiv preprint hep-th/0402051, v. 36, 2004.
LINDE, A. D. A new inflationary universe scenario: A possible solution of the horizon,
flatness, homogeneity, isotropy and primordial monopole problems. Physics Letters B,
Amsterdam, v. 108, n. 6, p. 389393, 1982.
. Particle physics and inflationary cosmology. Newark: Harwood Academic
Publishers, 1990. 362 p. (Contemporary concepts in physics).
K.; BAO, J. Numerical simulation of generalized langevin equation with arbitrary
LU,
correlated noise. Physical review. E, Statistical, nonlinear, and soft matter physics,
Maryland, v. 72, n. 6 Pt 2, p. 067701, 2005.
MARTIN, P. C.; SCHWINGER, J. Theory of many-particle systems. i. Physical Review,
APS, Maryland, v. 115, n. 6, p. 1342, 1959.
MARTIN, P. C.; SIGGIA, E. D.; ROSE, H. A. Statistical dynamics of classical systems.
Physical Review A, Maryland, v. 8, n. 1, p. 423, 1973.
MOSS, I. G. Primordial inflation with spontaneous symmetry breaking. Physics Letters
B, Amsterdam, v. 154, n. 2, p. 120124, 1985.
MOSS, I. G.; XIONG, C. Dissipation coefficients for supersymmetric inflatonary models.
arXiv preprint hep-ph/0603266, 2006.
. On the consistency of warm inflation. Journal of Cosmology and Astroparticle
Physics, Londres, v. 2008, n. 11, p. 023, 2008.
PEEBLES, P. J. E. Principles of Physical Cosmology. Princeton: Princeton University
Press, 1993. 718 p. (Princeton Series in Physics Series).
SCHLUTTIG, J. et al. Dynamics of protein-protein encounter: A langevin equation
approach with reaction patches. The Journal of chemical physics, v. 129, p. 155106, 2008.
SPERGEL, D. N. et al. Wilkinson microwave anisotropy probe (wmap) three year
results: Implications for cosmology. arXiv preprint astro-ph/0603449, 2006.
STRATONOVICH, R. L. A new representation for stochastic integrals and equations.
SIAM Journal on Control, v. 4, n. 2, p. 362371, 1966.
WIENER, N. Differential space. Journal of Mathematical Physics, Maryland, v. 2, p.
131174, 1923.
YOKOYAMA, J.; LINDE, A. Is warm inflation possible? Physical Review D, Maryland,
v. 60, n. 8, p. 083509, 1999.
YOKOYAMA, J.; MAEDA, K-i. On the dynamics of the power law inflation due to an
exponential potential. Physics Letters B, Amsterdam, v. 207, n. 1, p. 3135, 1988.