Instituto de Fsica
Banca Examinadora:
Prof. Dr. Luis Raul Weber Abramo (IFUSP)
Prof. Dr. Rogrio Rosenfeld (UNESP)
Profa. Dra. Maria Carolina Nemes (UFMG)
So Paulo
2009
FICHA CATALOGRFICA
Preparada pelo Servio de Biblioteca e Informao
do Instituto de Fsica da Universidade de So Paulo
Ferreira, Elisa Gouva Mauricio
Anlogos cosmolgicos dos efeitos Schwinger esttico
e oscilatrio. So Paulo, 2009.
Dissertao (Mestrado) Universidade de So Paulo.
Instituto de Fsica, Departamento de Fsica Matemtica.
Orientador: Prof. Dr. Lus Raul Weber Abramo
rea de Concentrao: Fsica
Unitermos: 1. Cosmologia; 2.Universo primordial;
3. Teoria quntica de campo.
USP/IF/SBI-083/2009
Resumo
Neste trabalho estudamos os efeitos qunticos de criao de partculas nos contextos
cosmolgico e da eletrodinmica clssica.
Abstract
In this work we study the quantum eects of particle creation in the cosmological
context and of the classical electrodynamics. With the studies of the particle creation in
constant and oscillatory external electrical elds, the known static and oscillatory Schwinger eects, respectively, it was possible to study the polarization of the quantum vacuum
and the consequently creation of particles from the vacuum.
tive eect in the context of the electrodynamics and its observation would be of great
importance to validate this theory in this regime.
This eect, however, was not yet experimentally detected, since very strong electric
elds are necessary in the static case.
periment currently in development for the detection of an analog quantum eect called
dynamical Casimir eect. The verication of the dynamical Casimir eect is important
for the validation of the oscillatory Schwinger eect, since the movement of the boundary
conditions is equivalent to the application of a external eld.
Finally, it was studied the creation of particles in a cosmological context, being the
static case the creation of particles in the inationary epoch of the universe. The dynamical case corresponds to the reheating period or, more precisely, its initial stage known as
preheating, in which the creation of particles is more ecient. The creation of particles in
the inationary epoch occurs due to the accelerated expansion of the universe. By means
of a simple canonical transformation it was possible to observe that the mechanism of
particle creation in this period is the same of the one in Schwinger eect. In the same
way, for the preheating, in which the particle creation is given by the oscillation of the
inaton eld around the minimum of its potential, the mechanism of creation happens
due to the parametric resonance described by a Mathieu equation. This is exactly the
same mechanism that describes the oscillatory Schwinger eect.
In this way, the mechanisms of particle creation in the cases of the static and oscillatory Schwinger eects are analogs to the creation mechanisms from ination and from
preheating. The experimental detection of this eect in a terrestrial experiment would be
a conrmation for this cosmological mechanisms.
Estrutura da Dissertao
A presente dissertao pretende fazer uma analogia entre mecanismos de criao de partculas cosmolgicos e na eletrodinmica. Dessa forma, mostra-se necessrio a introduo
dos conceitos bsicos tanto de cosmologia, quanto de teoria quntica de campos e eletrodinmica.
Notao
Apresentamos aqui a notao que ser utilizada ao longo da dissertao. Primeiramente,
destacamos que utilizaremos o sistema de unidades no qual
velocidade da luz no vcuo e
kB
c = ~ = kB = 1,
em que
Geral
= 2i [ , ]
complexo conjugado
ou h.c.
ou ou ,
Hermitiano conjugado
Derivada parcial
D ou ;
g D D
= D D
Re/Im
Derivada covariante
Tr
Trao
[A, B] = AB BA
{A, B} = AB + BA
Comutador
D'Lambertiano
Distribuies
Parte real/imaginria
Funo degrau
Anticomutador
0, se x < y
(x y) =
1, se x > y
Mtrica de Minkowski:
Funo delta
g = diag (1, 1, 1, 1)
D (x y) =
Matriz :
Distribuio de Pauli-Jordan
+ = 2g
5 = i 0 1 2 3
i
4 (x y; m2 )= (2)
4
1
(2)D
dD qeiq(xy)
d4 qeiq(xy) (q 0 ) (q 2 m2 )
Agradecimentos
Agradeo primeiramente ao meu orientador Prof.
Dr.
ter me orientado, pela pacincia e principalmente por me ensinar como fazer cincia com
qualidade, esforo e dedicao. Agradeo tambm ao apoio dos alunos de seu grupo pelas
conversas, ajudas e seminrios que foram sempre produtivos e principalmente ao Thiago
Pereira por ter contribudo com discusses muito ricas sobre o assunto dessa dissertao.
Agradeo imensamente minha famlia. Aos meus pais e irmos que sempre compreenderam e apoiaram a minha ausncia sabendo que estava em busca de meu sonho. Muito
obrigada por terem feito tudo ser possvel, me amado e apoiado sempre.
Amo vocs e
sinto como se estivesse sempre ao lado de vocs. Agradeo tambm ao vov Ferreira e a
vov Rosa que me trataram como sua lha sempre e me apoiaram nessa jornada.
Agradeo aos meus amigos de graduao e de sempre:
man, Joo (recente, mas sempre presente), Pedro, Silas, Thiago, Walter e William. Mas
agradeo principalmente a Eduardo Toshio, meu irmo e amigo incondicional.
Ao Departamento de Fsica Matemtica e a Simone e Amlia. Pelo nanciamento que
possibilitou essa pequisa, agradeo ao CNPq.
Por m, agradeo especialmente ao meu Will, meu amor, companheiro e melhor amigo.
Sempre me apoiando, me incentivando e estando ao meu lado. Obrigada pelo seu amor
incondicional e principalmente por estar sempre ao meu lado. No teria chegado aqui sem
voc. Amo voc e sempre vou te amar!
Sumrio
1 Introduo
15
. . . . . . . . . . . . . . . . . . . . . . . .
16
2.1.1
Estrutura do universo
. . . . . . . . . . . . . . . . . . . . . . . . .
16
2.1.2
Expanso do universo . . . . . . . . . . . . . . . . . . . . . . . . . .
18
2.1.3
Evoluo do universo . . . . . . . . . . . . . . . . . . . . . . . . . .
21
2.1.4
Horizontes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
25
2.2
27
2.3
Testes do MCP
30
2.4
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.3.1
A Lei de Hubble
. . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.3.2
2.3.3
. . . . . . . . . . . . . . . . . . .
31
. . . . . . . . . . . . . . . . . . . .
32
Problemas do MCP . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
33
2.4.1
Problema da planura . . . . . . . . . . . . . . . . . . . . . . . . . .
33
2.4.2
Problema do horizonte
34
2.4.3
2.4.4
. . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . . . . . .
36
. . . . . . . . . . . . . . . . .
36
3 Inao
3.1
3.2
3.3
30
37
Motivao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
38
3.1.1
Problema da planura . . . . . . . . . . . . . . . . . . . . . . . . . .
40
3.1.2
Problema do horizonte
41
3.1.3
. . . . . . . . . . . . . . . . .
42
3.1.4
43
. . . . . . . . . . . . . . . . . . . . . . . . .
. . . . . . . . . . . . . .
43
. . . . . . . . . . . . . . . . .
45
3.2.1
3.2.2
Nmero de
. . . . . . . . . . . . . . . . . . . . . . . . . . .
47
3.2.3
Inao catica . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
48
Pr-aquecimento e Reaquecimento . . . . . . . . . . . . . . . . . . . . . . .
52
3.3.1
54
e-folds
. . . . . . . . . . . . . . . . .
3.3.2
Pr-aquecimento
. . . . . . . . . . . . . . . . . . . . . . . . . . . .
4.2
56
58
59
4.1.1
59
. . . . . . . . . . . .
74
4.2.1
Quantizao . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
78
4.2.2
Espectro de Potncias
83
. . . . . . . . . . . . . . . . . . . . . . . . .
87
5.1
89
5.2
Evoluo Temporal . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
96
5.2.1
97
5.2.2
. . . . . . . . . . . . . . . . .
6.2
. . . . . . . . . . . . . . . . . 132
6.3
119
squeezed
. . . . . . . 133
. . . . . . . . . . . . . . . . . . . 141
6.3.2
6.3.3
Experimentos
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 152
7 Anlogos Cosmolgicos
157
7.1
7.2
7.1.2
Perturbaes inacionrias
a la
Schwinger
. . . . . . . . . 159
. . . . . . . . . . . . . . 161
Pr-aquecimento
168
. . . . . . . . . . . . . . . . . . . . . . . . . . . . 168
8 Concluso
187
203
C Funes de Hankel
205
Captulo 1
Introduo
Cosmologia o ramo da fsica que estuda a estrutura, a expanso e a evoluo do universo,
descrevendo desde sua origem at seu futuro.
mtodo cientco para descrever o universo como um todo. Isso quer dizer que so feitas
teorias e hipteses que podem ser testadas por observaes ou experimentos. A reside o
maior desao da cosmologia, que retardou sua aceitao como cincia. Como o universo
um objeto que no pode ser reproduzido em laboratrio, a cosmologia necessita de
artifcios para poder constatar suas previses.
ou
Modelo
rigor cientco esperado por uma cincia fsica, em que as previses eram feitas e checadas experimentalmente. Mesmo com esses avanos, nos anos 1970 ainda havia revistas
cientcas como a alem
Zeitschrift fr Physik
aceitavam quaisquer artigos com o tema cosmologia. Contudo, nos 1980, iniciou-se o que
chamamos de era da
cosmologia de preciso,
em que os dados obtidos ostentavam uma preciso muito grande, alm de uma estatstica
muito boa. Mais recentemente, nos ltimos 5 anos, o satlite WMAP [21, 22, 23] aumentou consideravelmente a qualidade dos dados obtidos, colocando-nos na era da
cosmologia
de alta preciso.
Os resultados desses ltimos anos da cosmologia moderna permitiram-nos construir
um modelo para o universo: o modelo cosmolgico padro [31, 29, 30, 32]. Ele prev um
universo homogneo e isotrpico em largas escalas com 13,9 bilhes de anos, praticamente
plano, permeado por uma radiao eletromagntica de temperatura de aproximadamente
2,75 K e composto por aproximadamente 4% de matria comum, 0,01% de radiao, 23%
de matria escura e 73% de energia escura [24]. Os experimentos recentes conrmaram
muitas das hipteses descritas nesse modelo, mas tambm nos permitiram vericar desvios
em algumas delas. A homogeneidade e isotropia do universo so conrmadas por meio
da anlise da RCF. Contudo, com os dados colhidos pelo satlite WMAP, foi possvel
determinar um desvio de 0,001% na temperatura da radiao em diferentes direes [24].
Isso indica utuaes iniciais quando o universo era mais jovem, sementes para a formao
das estruturas em larga escala que temos hoje em dia. Podemos pensar tambm por que o
universo to homogneo e isotrpico, sendo que regies que no so ligadas causalmente
tm a mesma temperatura na RCF. Ou podemos pensar ainda por que o universo to
plano. Todas essas questes (e outras) no so explicadas pelo
inao.
teoria da
Essa teoria surge para solucionar o problema das condies iniciais do universo.
Ela prev um perodo de expanso exponencial em seus estgios iniciais que seria capaz
no apenas de gerar as inomogeneidades primordiais, como tambm conectar causalmente
regies do universo antes da inao. Tambm podemos pensar que essa expanso deixa
o universo enormemente grande aps esse perodo, fazendo com que parea plano.
inao resolve ainda o problema da formao das estruturas cosmolgicas, formadas por
meio do colapso gravitacional, a partir das utuaes primordiais geradas nesse perodo.
A inao pode ser descrita como movida por um campo escalar chamado
inaton.
Durante esse perodo esse campo rola lentamente at o mnimo de seu potencial.
Esse
10
inacionrio, esses pares virtuais se distanciam muito uns dos outros, dissociando-se e
criando um par de partculas reais. Assim, a inao oferece um mecanismo em que
possvel criar matria do vcuo. Isso faz com que essa teoria seja muito especial, sendo
capaz de combinar a mecnica quntica com a relatividade geral.
Dessa forma, a inao responsvel pela origem das perturbaes iniciais.
Essas
reaquecimento.
Esse nome dado porque todas essas partculas criadas interagem entre si e atingem um
estado de equilbrio trmico com temperatura nal
Treaq .
partculas somente eciente, ou seja, cria uma quantidade grande de partculas, quando
temos o regime de ressonncia paramtrica, quando a amplitude das oscilaes do campo
em torno do mnimo so amplas. Esse estgio de decaimento rpido e no perturbativo
chamado de
pr-aquecimento.
11
Desde ento
diversos mtodos foram desenvolvidos para descrever teoricamente esse efeito, em que
podemos destacar o mtodo das transformadas de Bogoliubov, o mtodo do tunelamento
[99, 100], o de detectores de partculas [101, 102], o mtodo do funcional de onda [103, 104],
entre outros. O efeito Schwinger utiliza campos somente eltricos, uma vez que campos
magnticos no produzem partculas[87].
Esse efeito ainda no foi detectado experimentalmente.
relevncia, uma vez que seria a primeira validao de um efeito no-perturbativo da QED
[75, 76, 77], que j fortemente comprovada no regime perturbativo. Contudo, a criao
de partculas por esse efeito exige campos eltricos muito fortes e no realizveis com a
tecnologia experimental atual. Por isso foi idealizado, nos anos 1980, o anlogo oscilatrio
desse efeito para campos externos oscilatrios, dado que esse tipo de campo mais fcil
de ser realizado experimentalmente [74].
O efeito Schwinger dinmico consiste na criao de partculas por um campo eltrico
dependente do tempo. Esse efeito foi estudado para diversas formas do campo externo
aplicado, sendo que apresenta soluo analtica para o caso do potencial de Sauter [123].
Vamos estudar nessa dissertao o efeito Schwinger oscilatrio, em que o potencial externo oscilatrio.
Esse caso de maior interesse, uma vez que, para sua vericao
12
os limites experimentais para sua deteco ainda no foram alcanados. Contudo, existe
um efeito quntico, que consiste em uma generalizao do efeito Casimir, este sim prximo
de ser detectado:
em construo e testes, apresenta-se como uma possvel deteco para o efeito Casimir
dinmico e de efeitos no-perturbativos do vcuo quntico. Resultados so esperados para
2009.
culas pode ser descrita por uma equao de Mathieu, assim como no efeito Schwinger
oscilatrio. Assim, com a medio do efeito Schwinger podemos conrmar que esse efeito
no-perturbativo de criao de partculas do vcuo realizvel e com isso possvel de ter
acontecido no universo primordial.
Como o tema central de investigao na dissertao a comparao entre os efeitos Schwinger esttico e oscilatrio com a criao de partculas na inao e no praquecimento, demostrando que esses dois fenmenos so descritos basicamente pela mesma
teoria, essa vericao central ser feita no contexto do formalismo das transformadas de
Bogoliubov.
Schwinger esttico, que nos permitir a comparao com o formalismo que descreve a
teoria da inao.
squeezed.
squeezed.
Para o efeito Schwinger oscilatrio, de maneira anloga ao caso esttico, temos o efeito
descrito via trs formalismos. Novamente, apesar de sua descrio extensa e detalhada,
o clculo via teoria de espalhamento far com que obtenhamos os limites observacionais
desse efeito.
1 No necessariamente uma cavidade. Esse efeito ocorre tambm em placas paralelas no vcuo, em
uma nica placa no vcuo, entre outras conguraes.
13
baseia-se na anlise feita para a criao de partculas por ressonncia paramtrica no praquecimento. No captulo do efeito oscilatrio apresentamos, tambm, o efeito Casimir
dinmico, anlogo dinmico do conhecido efeito Casimir, no qual a oscilao da placas
do capacitor que esto colocado no vcuo faz o papel do campo externo aplicado [136,
79, 80].
14
Captulo 2
Modelo Cosmolgico Padro
O Modelo Cosmolgico Padro (MCP) (ou Teoria do Big Bang Quente) a base para o
nosso atual entendimento e representao do universo, descrevendo sua evoluo a partir
de um estado incial de grande densidade e temperatura h aproximadamente 13,9 bilhes
de anos e que vem se expandindo e esfriando desde ento. Nesse modelo temos um universo
homogneo e isotrpico, aproximadamente plano, composto principamente por matria
barinica (
4%),
radiao eletromagntica (
15
cosmolgico, que nos diz que o universo deve ser espacialmente homogneo e isotrpico
1
em largas escalas .
Por homogeneidade entendemos que todos os pontos espaciais so equivalentes, ou
seja, uma invarincia por translao. Por isotropia em torno de um ponto entendemos
que todas as direes a partir de um ponto so equivalentes, ou seja, invarincia por
rotaes. Assim, por homogeneidade e isotropia, podemos entender que todas as posies
no universo so equivalentes, vale dizer, aqui na Terra ou em qualquer outro ponto do
universo iremos vericar a mesma expanso do universo. Isso signica que a Terra no
est no centro do universo ou melhor, que o universo no tem um centro, uma vez que
no existe uma posio privilegiada no universo.
Essa hiptese bem testada e observaes atuais do catlogo de galxias do
Sloan
os sentidos e direes em escalas superiores a 100 Mpc (na verdade de 100 a 1000 Mpc).
Isso tambm conrmado pelas observaes de RCF, que apresenta a mesma temperatura, exceto por pequenos desvios, para todas as regies do universo observvel.
princpio cosmolgico vlido apenas em escalas cosmolgicas, sendo que em menores escalas o universo altamente inomogneo, como podemos ver com a presena de galxias,
aglomerados etc.
O princpio cosmolgico trata essencialmente da parte espacial do cosmos. Contudo,
como vivemos em um espao-tempo quadridimensional, falta denirmos as propriedades da coordenada temporal. Na relatividade geral, que a teoria que descreve o nosso
universo, no h referenciais preferenciais e, portanto, tambm no h um tempo absoluto. Ento como descrever o universo com essa teoria, uma vez que o universo parecer
1 Einstein
diferente para observadores em diferentes estados de movimento? Para resolver esse problema Weyl [28], em 1923, acrescentou outra hiptese simplicadora para o universo, um
corolrio do princpio cosmolgico. Weyl postulou que existe uma classe privilegiada de
observadores que esto associados ao movimento coletivo das galxias com a expanso do
universo, excludos quaisquer movimentos relativos dessas.
de
Dessa forma,
Weyl
uido.
Assim, temos o
postulado de
uido perfeito.
interpretado como um
tempo prprio.
Uma vez que, de acordo com a teoria da relatividade geral, a geometria do espaotempo determinada pelo seu contedo material e este est distribudo de uma maneira
homognea e isotrpica, a geometria espacial do universo deve ser escrita por uma mtrica
que seja globalmente homognea e isotrpica. A nica mtrica que oferece solues exatas
das equaes de Einstein, imposto o princpio cosmolgico, a mtrica de FriedmannRobertson-Walker (FRW ou FLRW - Friedmann-Lematre-Robertson-Walker), denominada assim em homenagem a A. Friedmann que em 1922-1924 a derivou e a H. P. Robertson e A. G. Walker, que provaram que ela nica.
dr2
2
2
2
2
+ r d + sen d
ds = dt a (t)
1 kr2
{z
}
|
2
(2.1)
dl2
= g dx dx .
O elemento
dl
(2.2)
comveis,
movem-se com o uido que compe o universo e que, para eles, homogneo e isotrpico.
Podemos ver isso se considerarmos o movimento de um fton que tem deslocamento nulo
no espao-tempo, ou seja,
ds2 = 0
(2.3)
em que
dxf is
a(t)
chamado de
a (t0 ) = 1,
(r, , )
dl
por conveno
constante. Logo,
dl
chamado de distncia
comveis, uma
vez que para elas a expanso homognea e isotrpica. A coordenada temporal em (2.1)
chamada de
tempo cosmolgico
ou
tempo prprio
adimensional, o
(t, r, , )
x =
matriz diagonal:
1
0
0
0
0
a2 (t)
1kr2
0
0
0
0
0
0
a2 (t) r2
0
2
0
a (t) r2 sen2
(2.4)
A mtrica acima descreve a geometria do universo se, e somente se, seu contedo
material est distribudo de maneira homognea e isotrpica. Assim, imposto o princpio
cosmolgico, isso implica que teremos uma curvatura constante em cada ponto do universo. Existem somente trs tipos de espaos tridimensionais com topologias triviais que
satisfazem essa condio [31]: o espao plano
hiperblico tridimensional
2,1
E3 ,
a esfera tridimensional
Para
Para
por
k = 0,
temos
E3 ,
no elemento de linha:
universo plano ;
Para
k = 1,
temos
e um espao
S3
S2,1 ,
que representa um
universo plano, podemos ver que se o fator de escala uma constante ou varia
muito lentamente [a
(t) 0], a mtrica (2.1) descreve um espao de Minkowski.
No caso do
18
Devido in-
nidade de solues para as equaes de Einstein, inclusive a esttica imposta por ele
mesmo, era necessria alguma prova de que o universo no fosse esttico e as solues
dinmicas dessas equaes fossem aceitas como as verdadeiras. A lei de Hubble uma
lei emprica descoberta em 1929 [3] pelo astrnomo Edwin Hubble durante a investigao
de cefeidas, que so estrelas variveis, fora da Via Lctea. Hubble vericou que todas as
galxias estavam se afastando de ns, obtendo a relao linear:
v = H0 l ,
em que
chamado de
parmetro de Hubble.
(2.5)
H0
v=
a (t)
l
a (t)
(2.6)
= H (t) l ,
em que
H(t)
a funo de Hubble, sendo que a melhor estimativa para seu valor atual
[24] :
H0 = 70, 5 1, 3 km s1 Mpc1 .
(2.7)
A determinao desse parmetro feita atravs dos dados do satlite WMAP combinado com as medidas de distncia das supernovas do tipo Ia e a Oscilao Acstica dos
Brions(BAO) na distribuio das galxias.
As observaes de Hubble da recesso das galxias foram feitas observando que a luz
emitida por elas tinha um desvio no seu comprimento de onda para a regio do vermelho
do espectro eletromagntico, conhecido como
inferida atravs do
redshift,
redshift.
ds = 0
(rem , em , em ).
esquerdo da equao
c dt,
mas
c=1,
19
tobs
=t0
dt0
=
a (t0 )
tem
robs=r0 =0
dr0
.
1 kr02
(2.8)
rem
tem + tem ,
chegando
aqui em t0 +t0 , o resultado de (2.8) seria ento o mesmo. Assim, substraindo a expresso
para tempos diferentes temos que:
tobs
tem
=
.
a (tem )
a (tobs )
(2.9)
= 1
= 1/t,
e do
a (tem )
em
obs
=
=
.
em
a (tobs )
obs
(2.10)
Com essa expresso podemos ver os efeitos da expanso do universo sem nem mesmo
conhecer a lei que a rege , uma vez que a expanso faz com que o fator de escala aumente,
consequentemente a frequncia da onda diminui e seu comprimento de onda aumenta indo
em direo aos comprimentos de onda do vermelho no espectro da radiao eletromagntica. Temos, assim, um desvio para o vermelho, ou
redshift.
tambm, uma vez que a RCF tem uma distribuio Planckiana de seu espectro que se
preserva na expanso do universo.
Convenientemente podemos expressar a relao (2.10) em termos do fator de
z=
Assim, dizemos que se
z>0
redshift:
obs em
a (tobs )
1.
=
em
a (tem )
temos um
redshift
e se
z<0
(2.11)
temos um
blueshift.
Podemos
relacionar esse parmetro com a velocidade de recesso se pensarmos que uma galxia
relativamente prxima de ns se mover para longe com velocidade dada pela lei de Hubble
(2.6). Expandindo (2.11) em srie de Taylor podemos ver que
H (t0 ) l = v ,
v/l = t
, ento
20
tH H 1 .
(2.12)
RH = ctH = cH 1 .
(2.13)
Utilizando (2.7), que o valor mais aceito do parmetro de Hubble, vemos que o tempo
de Hubble dado por
tH = 14 109 anos
RH 4, 27 106 Mpc.
regidas pela teoria da relatividade geral de Einstein, que com suas equaes de campo,
vlidas em todos os pontos do universo, nos dizem como o contedo material (energtico)
do universo afeta sua geometria. As equaes de Einstein so escritas na forma [30, 31, 29]:
1
G R g R = 8GT ,
2
(2.14)
tensor de Einstein,
componentes
vatura.
que
cha-
que representa o
tensor de Ricci
tensor de energia-momentum
continham o termo
em que
por Einsten " mo" para fazer com que o universo fosse esttico. Apesar de Einstein ter
considerado esse seu maior erro, aps a conrmao da expanso do universo por Hubble,
a constante cosmolgica voltou para a cena da cosmologia com a descoberta de que o
universo est em expanso acelerada [12, 13, 14] e essa acelerao poderia ser causada por
ela.
Mas somente as equaes de Einstein no so sucientes para chegarmos em equaes
para a descrio do nosso universo. A teoria da relatividade geral no consegue denir
caractersticas para a forma do tensor de energia-momento.
Supusemos anteriormente,
pelo princpio cosmolgico, que a matria no universo est distribuda de forma homognea
e isotrpica e, pelo
postulado de Weyl,
aproximao, como preenchido por um uido perfeito, com TEM dado por:
T = ( + p) u u pg ,
21
(2.15)
em que
sua presso e
o quadrivetor de veloci-
u = (1, 0, 0, 0)
dada por
T = diag (, p, p, p).
ento e p dependem somente
1 ,
= , , V () ,
2
(2.16)
que tambm pode ser escrito como o TEM do uido perfeito se denirmos:
1
, , + V () ,
2
1
p , , V () ,
2
p
u , / , , ,
em que
(2.17)
(2.18)
(2.19)
, , > 0.
a(t)
(t)
verso. Atravs do TEM do uido, inserimos (2.1) e (2.15) nas equaes de Einstein (2.14),
que ento se reduzem s
equaes de Friedmann
(ou Friedmann-Lematre):
2
8G
k
a
= H2 =
2 ,
a
3
a
a
4G
= H + H 2 =
( + 3p) ,
a
3
em que
(2.20)
(2.21)
+ 3H ( + p) = 0 ,
que chamada de
equao da continuidade.
(2.22)
T; = 0.
;
; +
V ()
= 0,
22
(2.23)
Podemos ver
dE = T dS pdV
em que
= E/V
a energia total,
a temperatura,
(2.24)
a entropia e
o volume.
Como
d = T dS ( + p)
dV
.
V
(2.25)
universo constante. Podemos ver que a expanso do universo, regida pelas equaes de
Friedmann, adiabtica.
A partir das equaes de Friedmann tambm podemos inferir algumas caractersticas
cinemticas do universo. Como j mencionamos, os parmetros
so, na verdade, a
soma de suas componentes para diferentes tipos de matria. Dessa forma, se dividirmos
os dois lados da equao (2.20) por
H 2,
1 = total
em que
total =
i i /crit
k
a2 H 2
(2.26)
crit =
chamado de densidade crtica.
3H 2
,
8G
(2.27)
crit = 1, 88 h2
Hubble , H0 citado
considerando o parmetro de
acima. De (2.26) podemos ver que o parmetro de densidade total pode ser escrito em
funo da constante de curvatura,
total = 1 + k/a2 H 2 ,
material do universo com a curvatura, como prev a relatividade geral. Assim, podemos
ver que se:
(2.28)
(2.29)
(2.30)
23
WMAP
BOOMERanG,
mostram que o
valor atual de
total
da ordem de
1, 02 0, 02
divididas em
dividir em
a (t), (t)
p (t).
srio um sistema com trs equaes linearmente independentes umas das outras. Como
a equao da continuidade derivada das equaes de Friedmann, necessitamos de mais
uma equao para determinar nosso sistema. Uma vez que todas as simetrias referentes
ao espao-tempo e s equaes de Einstein j foram utilizadas, vamos recorrer a uma caracterstica do uido que utilizamos para descrever o universo que relaciona a densidade
de energia e a presso atravs de uma equao de estado da forma:
p = .
(2.31)
Essa equao til tambm, para discriminar entre cada constituinte do universo nas
equaes que descrevem sua dinmica. Uma vez que so esses constituintes os responsveis
pela dinmica, cada um deles inuencia de maneira diferente a evoluo do universo. Cada
que , em geral,
= 0 para a matria
= 1/3
para a radiao e
= 1
Assim, com o uso da equao de estado (2.31) no sistema de equao das equaes
de Friedmann, supondo que os diferentes constituintes no interagem entre si, integramos
(2.22) obtendo:
(a) = 0 a (t)3(1+) ,
em que
(2.32)
24
Constante Cosmolgica :
(a) =
p = , a densidade de energia da
Radiao : No caso da radiao, com equao de estado p = /3, temos que (a) =
4
rad
0 a . Dessa expresso podemos concluir que a densidade de energia da radiao
sempre ir dominar sobre as outras no innito passado.
E = h
redshift,
uma
4
= E/V Trad
.
Trad a1 .
Finalmente, para determinarmos a varivel dinmica restante, o fator de escala, substituimos a soluo (2.32) em (2.20), para o caso em que
k=0
constante, e obtemos:
a (t) = a0 t2/3(1+) .
(2.33)
Essa soluo nos mostra como o contedo material do universo altera sua evoluo. Podemos mostrar, assim, que em um universo dominado por cada um dos trs uidos apresentados, o fator de escala evolue de acordo com:
am t2/3 , matria
0
1/2
a (t) = arad
, radiao
0 t
a eH t , const. cosmol. ,
0
em que
H =
8G0 /3
(2.34)
Voltando ao caso do campo escalar, podemos ver que no caso em que o termo do
potencial dominante, de (2.17), temos que
p = .
= 8GV ().
Assim,
2.1.4 Horizontes
Uma vez que a velocidade da luz constante e o universo est expandindo, existe um
limite para o que acessvel para um observador qualquer nesse universo.
25
Esse limite
horizonte.
horizonte de eventos.
horizonte de partculas
e o
Sendo ns os
observadores, esse horizonte representa a poro do universo que podemos observar hoje
em dia, nosso universo observvel. Supondo que a luz no tenha sofrido nem espalhamento
nem absoro, a mxima distncia conforme que a luz pode percorrer desde um instante
inicial
ti = 0,
p (t) = a (t)
dt
,
a (t)
|0 {z }
(2.35)
em que
p <
t.
Se
p ,
no
= 0)
uma singularidade inicial. Eventos ocorridos fora desse horizonte no esto em contato
causal com os eventos dentro do horizonte. Isso quer dizer que qualquer informao de
eventos fora do horizonte de partculas de um observador no puderam chegar a ele.
Essa falta de contato entre pontos do universo desde seu incio um problema, uma vez
que regies distantes em nosso universo apresentam caractersticas muito semelhantes.
Falaremos mais desse problema na Seo 2.4.
De (2.34) e (2.35) podemos determinar o horizonte de partculas para os diferentes
constituintes. Para um universo dominado por matria,
dominado por radiao,
p (t) = 3t
e para um universo
p (t) = 2t.
at o tempo nal
26
tf inal
dado por:
e (t) = a (t)
dt
,
a (t)
(2.36)
t
e chamada de horizonte de eventos. Eventos ocorridos fora desse horizonte nunca sero
observados. Esse horizonte somente est presente se
e < .
e .
J para
H1 ,
c=1 ).
horizonte de Hubble.
distncias maiores que o raio de Hubble nunca poder ser visto e nem inuenciar o futuro
de um observador.
= 0m (1 + z)3 ,
matria,
m
rad = 0rad (1 + z)4 ,
radiao,
3(1+)
= 0 (1 + z)
, energia escura ,
redshift,
1 1/3.
(2.37)
Pelas
crit m
1 ' 2, 26 104 m h275
0
rad
1/3
z =
1,
m
zeq =
27
(2.38)
(2.39)
em que
correspondem aos
redshifts
0, 33 . z . 1, 33,
sendo
m ' 0, 3
' 0, 7.
A determinao do redshift
pode dominar o universo muito cedo, pois um perodo denido de dominao de matria
necessrio para a formao das estrutura. A questo de por que
como
z O (1)
conhecida
rad (T ) =
n
X
i gi
i=1
em que
2
30
T4 ,
rad a4 ,
i = 1, 7/8
(2.40)
gi
o nmero de graus de
dada por:
0
Trad (z) = Trad
(1 + z) .
(2.41)
Com essa relao podemos agora descrever a histria do universo de acordo com sua
temperatura em cada poca.
Para termos uma descrio completa do universo, entendendo sua composio e evoluo dessas componentes, um modelo de partculas necessrio para entendermos como o
universo evoluiu desde o Big Bang at os dias atuais. O MCP inclui o modelo padro das
partculas elementares. Com essas idias, podemos descrever aqui os principais pontos da
histria trmica do nosso universo, esquematizada na Figura 2.2:
28
Inao: Desde o
32
de 10
s , temos
inao, que tambm no descrita pelo MCP, mas uma teoria criada para resolver
os problemas que o MCP apresenta. Vamos ver esse perodo em mais detalhe no
Captulo 3.
1s
500s
universo (que depois no ncleo das estrelas do origem aos elementos pesados) so
formados nessa poca a partir dos prtons e dos neutrons, formando o hidrognio
H ),
2
deutrio (H ou
D ), H 3
4
e hlio (He ), sendo que o hlio tambm produzido
por outros mecanismos aps a nucleossntese. Uma pequena frao de Ltio tambm
formada nesse perodo. As abundncias desses elementos so um importante teste
para o MCP, como citaremos a seguir.
z 104 ).
Logo,
recombinao
at
z = 1100,
e ocorre de
3000K
Isso ocorre
Era da matria:
z = 2 103 ).
29
Figura 2.1: Figura retirada de [17]. Quadro esquemtico da histria trmica do universo.
conseguia enxergar naquela poca eram bem prximas, distantes de ns no mais que
3 Cefeidas
Figura 2.2: O grco mostra a medidas de cinco experimentos que comprovam a Lei de
Hubble [18]. No painel superior, temos o grco da distncia pela velocidade e no painel
1
1
inferior, mostra que o parmetro de Hubble se aproxima de H0 ' 72km s M pc .
He3 )
31
COBE,
lanado em 1989, e
WMAP,
svel estudar a RCF e conrmar com uma incrvel preciso as principais previses dessa
radiao. Foi medida, pelo
ela
T = 2, 725 0, 002K
WMAP,
FIRAS
no satlite
COBE,
mediu com
RCF e a preciso era to boa que as barras de erro obtidas eram to pequenas que no
podiam nem ser vistas no grco do espectro [9]. Como no existe nenhuma outra teoria
alternativa que preveja esse espectro de energia, essa medida muito precisa do espectro
de corpo negro da RCF representa mais uma importante validao do MCP.
Contudo, devido grande preciso desses experimentos, foi possvel vericar pequenas
utuaes na temperatura dessa radiao em diferentes regies do espao. Essas utua-
32
es podem nos fornecer grandes informaes sobre parmetros do MCP e sobre a origem
das estruturas em larga escala que no prevista pelo MCP.
1044
Em um universo dominado
= 1
universo seriam necessrias para que o universo apresentasse essa soluo to particular.
Podemos ver esse problema de melhor maneira considerando a equao de Friedmann
(2.20) e escrevendo-a em funo da densidade total na forma:
( 1) a2 H 2 = k .
Sabendo que o parmetro de curvatura constante para todo instante, temos que
(2.42)
( 1) H 2 a2
tambm igual para qualquer tempo. Assim, se pensarmos que na era em que a matria
( 1) a; e na poca que a radiao dominava, ( 1) a2 . Como sabemos que hoje em dia (0 1) da ordem da unidade e comparando com essa quantidade
dominava,
33
| 1|t=tpl
|0 1|
Sabendo que
13
10
GeV
a2pl
T2
2 02 .
a0
Tpl
(2.43)
T0
1064 .
(0 1) O (1),
o valor de
( 1)
1016 .
Com
para o universo
muito jovem tinha que ser muito pequeno, ajustado a valores muito prximos de zero.
Esse problema tambm chamado de problema do ajuste no da curvatura espacial e
pode ser resolvido pela teoria da inao.
O problema da planura tambm conhecido como
problema da entropia.
Isso ocorre
kmpl /S
2/3
1 =
. Assim, podemos ver que, como a entropia do universo pelo presente volume
S=
4 s
' 1090 ,
3 H03
(2.44)
temos que:
| 1|t=tpl =
ou seja,
( 1)
m2pl 1
1
= 2/3 1060 ,
2
2/3
Tpl S
S
(2.45)
grande.
poca do desacoplamento do ftons com distncia que a luz viajou desde a superfcie de
timo espalhamento at ns. Como
a (t) t2/3
(tdec )
H 1
=
'
(ti = tdec, t0 )
(ti = tdec, t0 )
Podemos projetar qualquer comprimento comvel,
tdec
t0
1/3
' 102 .
(2.46)
e obter o ngulo da esfera celeste ao qual ele corresponde. Essa relao dada por:
34
s
,
(0 dec )
(t) =
(2.47)
dt/a.
360 ,
a razo
Ou seja, na poca de
desacoplamento, o ngulo entre regies com conexo causal era da ordem de um grau.
Podemos calcular, assim, o nmero de regies contidas dentro desse volume formado pela
superfcie de ltimo espalhamento que tm conexo causal:
N=
Assim, como todas essas
106
8
4D3 /3
6
3 = 3 10 .
4 (D/2)
(2.48)
sem nem mesmo ter havido contato causal entre elas? Isso somente possvel se postularmos que as condies iniciais de todo o universo observvel eram idnticas em todas essas
106
regies. Assim, precisamos de uma teoria em que essas regies estejam causalmente
conectadas no passado. Isso pode ser conseguido com a teoria da inao, que veremos
no prximo captulo.
t0 ai
t0 T0
1028 ,
ti a0
ti Ti
em que o tempo inicial tido como o m da era de Plack,
(2.49)
t = tpl = 1043 s, t0
a idade
de nosso universo estimada na Seo 2.1.2 e assumimos que radiao domina desde
tpl .
Assim, podemos ver que o tamanho do universo homogneo e isotrpico inicial necessrio
excede a escala de causalidade por 28 ordens de magnitude. A nica sada para o MCP
seria postular como condio inicial que o universo fosse formado por regies desconexas
causalmente que fossem homogneas e isotrpicas. Por ser tambm um problema da escala
de causalidade, este problema e o problema do horizonte so equivalentes e so resolvidos
pela teoria da inao, que conecta causalmente essas regies no incio da inao.
35
assim como a forma de seu espectro, ajustando inclusive as condies iniciais para serem
as mesmas para regies do universo que, pela teoria, nunca seriam causalmente desconexas. Portanto, necessria a apresentao de uma teoria que preveja essas perturbaes
a partir de primeiros princpios. Veremos a seguir que a inao uma teoria que satisfaz
esses requisitos.
Teorias de Grande
1016
vezes a massa
houvesse colapsado gravitacionalmente devido a essa grande massa. A previso de abundncia desses monopolos supera em muito os limites observacionais, uma vez que nenhum
monopolo foi observado ainda. Uma teoria satisfatria para o universo muito jovem deveria fazer com que esses tipos de defeitos fossem diludos at densidades to baixas que
os tornariam inobservveis. Novamente, a inao d conta dessa tarefa.
36
Captulo 3
Inao
O MCP a teoria que descreve nosso universo, prevendo sua evoluo desde a nucleossntese primordial at os dias atuais. Contudo, a teoria do Big Bang no explica os momentos
iniciais em que o universo foi formado. Esse modelo apresenta alguns problemas ligados
1
formulada pelo fsico Alan Guth com o intuito de resolver os problemas das condies iniciais do Big Bang. Essa teoria evoluiu e, alm de resolver esses problemas iniciais, xou-se
como uma boa teoria para o universo jovem, sendo a responsvel pela criao das perturbaes iniciais que, conseqentemente, so as sementes para as estruturas em grande
escala que temos hoje.
A primeira teoria da inao formulada por Alan Guth chamava-se
Inao "Velha"
Estudando as
Para resolver
esse problema, Guth percebeu que uma quebra de simetria associada a um campo escalar
no
em um perodo de expanso rpida que seria responsvel por "diluir" esses monopolos
criados. A esse campo escalar foi dado o nome de
o universo estava em um estado de
falso vcuo
inaton.
que o campo escalar estava no mnimo local de seu potencial, agindo como uma constante
cosmolgica.
campo para o mnimo global do potencial, que corresponde ao estado do nosso universo
atual, o vcuo real. Esse decaimento ocorre em bolhas de vcuo real e a energia liberada
desse falso vcuo reaquece o universo. Guth percebeu que esse modelo resolveria tambm
1O
MCP apresenta outros problemas tambm como o problema da constante cosmolgica, o problema
das componentes, entre outros.
2 Teoria que unica as trs foras da natureza - eletromagntica, forte e fraca - a energias muito altas,
correspondentes a temperaturas da ordem de 1028 K .
37
os outros problemas das condies iniciais do MCP. Contudo, esse modelo apresentava
alguns problemas, uma vez que esse perodo inacionrio no poderia ocorrer no universo
inteiro, mas em bolhas que no eram capazes reaquecer todo universo. Assim, o universo
no poderia ser homogneo e isotrpico como observamos hoje. Esse problema chamado
de problema do
graceful exit.
ation ),
Inao "Nova"
New In-
Paul Steinhardt [34], em que o universo se expande quase exponencialmente durante uma
fase em que o
inaton
rola
lentamente
Esse modelo
ainda apresenta problemas, uma vez que no capaz de gerar um universo perfeitamente
simtrico. Contudo, ele a base para o modelo mais aceito e o que iremos estudar nessa
dissertao, chamado de
de gerar as utuaes
conhecemos atualmente no vlida na era de Plack, vamos considerar o tempo inicial para
a inao como sendo o tempo de Planck,
ti = tpl 1043 s.
3.1 Motivao
Estabelecidos os problemas do MCP, como exposto no captulo anterior, vamos apresentar
algumas modicaes com vista a contorn-los [31, 30]. Assim, em relao ao problema
da planura (entropia), podemos pensar que, se o universo passasse por um perodo de
expanso no-adiabtica, poderia fornecer uma entropia (pelo presente volume de Hubble)
to grande tal qual observamos atualmente.
que se o universo passar por um perodo em que as escalas fsicas (ou o horizonte de
.
1
1 .
partculas) evolurem mais rpido do que H
, ou seja, [ (ti = tdec, t0 )] > (H
) , sendo
que
(ti = tdec, t0 ) a
d a
=a
> 0.
dt H 1
38
(3.1)
Essa condio muito forte, uma vez que nos permite ter uma interpretao geomtrica
dessa expanso acelerada: o comprimento comvel de Hubble,
H = Ha ,
est diminuindo
durante esse perodo, enquanto que em qualquer outro perodo da evoluo do universo
(segundo o MCP) estaria aumentando. Essa caracterstica muito importante, uma vez
que conforme o universo se expande seu comprimento de Hubble comvel se torna menor
em relao a essa expanso.
permite dizer que, aps esse perodo de expanso acelerada, o universo acessvel para ns
menor do que era no incio desse perodo. Assim, regies distantes do universo eram
conectadas causalmente antes desse perodo de expanso acelerada.
Dessa forma, podemos denir que necessrio um perodo de expanso acelerada
antes do perodo de dominao da radiao para resolver os problemas do universo. Esse
perodo chamado de inao. Traduzindo (3.1) em termo das equaes de Friedmann
(2.21), temos que, para que a inao ocorra:
+ 3p < 0 ,
ou seja,
< 1/3.
(3.2)
p =
a = ai eHI (tti ) ,
(3.3)
em que utilizamos o valor do parmetro de Hubble da inao, que podemos ver ser
H (t) = a/a
= HI
de de Sitter e a inao no podem ser consideradas a mesma coisa, uma vez que aquela
soluo no capaz de produzir um
graceful exit
pelo MCP.
Essa diferena entre o perodo de inao e o universo de de Sitter pode ser caracterizada pelo tempo em que a expanso acelerada ocorre, o que determina a validade da teoria
como descrio do universo primordial e resolve os problemas do MCP. Isso usualmente
descrito pelo nmero de
e-folds,
tf
N
H dt = ln
af
,
ai
(3.4)
ti
em que
ai
39
ti = tpl
af
nal da inao. Vamos ver como essas hipteses resolvem os problemas das condies
iniciais do MCP.
| 1| 1060 .
A teoria
da inao resolve esse problema, uma vez que, durante a inao, o fator de escala cresce
exponencialmente e, como a densidade total inversamente proporcional ao quadrado do
fator de escala, como vemos de (2.42), ento
Podemos ver isso da seguinte maneira: identicando o nal da inao como o comeo
da era de dominao da radiao, esse ajuste no teria que valer tambm para o m da
inao, denominado
tf .
| 1|t=tf
ai
af
2
e-folds
(3.5)
0 = 1.
e-folds
necessrio
para o perodo inacionrio resolver esse problema. Contudo, esse limite menos forte
que o limite imposto pelo problema do horizonte, por exemplo.
Se pensarmos no problema da planura como um problema da entropia, podemos lembrar que o problema existe uma vez que a entropia em um volume comvel se conserva,
pois a expanso adiabtica. Assim, se em um intervalo de tempo nito no universo jovem essa expanso for no-adiabtica, podemos postular que a entropia ir variar durante
a inao da forma:
Sf = Z 3 Si ,
em que
(3.6)
ticamente, com
S = Sf .
90
S = 10
Z = 1030 ,
40
dada por
S (aT )3
af Tf 1030 ai Ti
Ti
af
= eN 1030 .
ai
Tf
Logo,
(3.7)
(3.8)
igual a, no mnimo, 70, uma vez que a razo das temperaturas inicial e nal
maior do que um. Contudo, vale ressaltar que a expanso do universo durante a inao
adiabtica
e por isso podemos usar durante esse perodo as equaes de FRW. O perodo
Podemos pensar, de maneira mais clara, que a inao resolve o problema da planura
uma vez que ela amplica o raio de curvatura dado por:
R=
H 1
| 1|1/2
a2
k
1/2
.
(3.9)
Assim, ela no muda a geometria global do universo que continuar sempre a mesma, mas
sim sua geometria local, fazendo com que o universo parea plano localmente, uma vez
que seu raio de curvatura torna-se muito grande e indetectvel aps a inao.
apresentam as mesmas caractersticas estavam, ento, muito perto umas das outras antes
da inao, dado que o domnio causal entre elas ina exponencialmente durante a inao, mais rpido que a velocidade da luz. Agora, temos que saber o quanto esse domnio
tem que inar, ou seja, quanto tempo a inao tem que durar para que conecte essas
regies e resolva o problema do horizonte.
Como, para resolvermos o problema do horizonte, queremos que o nosso universo
observvel estivesse dentro do raio de Hubble no incio da inao, temos que [30]:
H01 .
em que o ndice
a0 1 a0 af 1 a0 N 1
H =
H = e HI ,
ai I
af ai I
af
41
(3.10)
Sabendo que
a0 = 1,
N & ln
af HI
a0 H0
= ln
HI
Tf H0
,
(3.11)
conforme o modelo de inao que usamos, mas seu valor ca entre 60-70
e-folds.
H 1 ,
so esticadas
exponencialmente at que quem maiores que o raio de Hubble do universo, quando param de crescer e so congeladas. As inomogeneidades com comprimento de onda maior
que o raio de Hubble cam congeladas at o universo se expandir mais e elas reentrarem
no horizonte. Esse mecanismo da inao faz com que, no m do estgio inacionrio,
todas as inomogeneidades deixem o horizonte sempre na mesma escala. Dessa forma, a
inao responsvel por homogeneizar (em grande escala) o universo. Falaremos com
mais detalhe sobre esse assunto no Captulo 4. Vale observar tambm que diversos estudos foram feitos sobre universos inicialmente
anisotrpicos
e a capacidade da inao de
isotropiz-los. Para mais informaes nesse tpico, ver referncias [37, 38].
42
Assim,
3N
e-folds
e que
(3.12)
universo ocorrida depois da inao, podemos ver que esses monopolos diluir-se-o ainda
mais um pouco, tornando-se totalmente indetectveis para ns.
do vcuo seja dinmica. Assim, necessrio acharmos um candidato dinmico que faa
com que a gravidade seja efetivamente repulsiva ao invs de atrativa, ou seja, que tenha
equao de estado, como vimos acima,
< 1/3.
campos como o componente responsvel pela inao, uma vez que esses podem produzir
densidades de energia capazes de imitar a constante cosmolgica, mas apresentando uma
evoluo dinmica. Vamos utilizar no caso um
nos fornece a equao de estado
campo escalar,
= 1.
Campos escalares foram estudados em teoria quntica de campos muito antes de sua
utilizao em cosmologia e descrevem o campo de partculas com spin 0. Estes aparecem
como uma escolha natural para modelar a inao, uma vez que s dependem do tempo em
universos homogneos e porque so importantes para o mecanismo de quebra espontnea
de simetria nas teorias de partculas, assim como nas TGUs.
utilizou-os para resolver o problema dos monopolos magnticos. Convm notar que no
necessria a utilizao de campos escalares fundamentais e vamos supor que o campo
"condensado escalar" aproximadamente homogneo.
43
Vamos denir
d4 x gL
1
4
= d x g + V () ,
2
S[] =
em que
a densidade Lagrangeana,
(3.13)
o determinante da mtrica
V ()
potencial. Para cada diferente teoria da inao temos uma forma do potencial diferente.
Temos alguns exemplos, como campo escalar massivo, V ()
2
2 2
Higgs, V () = ( M ) ; o campo escalar de auto interao
= 21 m2 ; o potencial de
V () = 4 , entre outros.
1 ,
= , , V () .
2
,
(3.14)
Podemos reescrever esse tensor na forma de um TEM de um uido ideal (2.15) se denirmos
u , / , ,
1
1
, , + V () = 2 + V ()
2
2
1 ,
1
p , V () = 2 V () ,
2
2
em que a derivada
(3.15)
(3.16)
em que
V 0 () = dV /d
e para
+ 3H + V 0 () = 0 ,
a mtrica de FRW,
g = a3 (t).
(3.17)
Essa equao tambm
44
8G 1 2
+ V () ,
H =
3
2
2
(3.18)
em que no consideramos o termo da curvatura, uma vez que, como vimos no problema
da planura, ele logo se tornar desprezvel assim que a inao comea. Podemos escrever
essa equao tambm em funo da massa de Planck, que no sistema de coordenadas que
estamos utilizando dada por
Mpl2 = 1/G.
p < /3,
p
= , para inao
e p, podemos ver de
quase-exponencial. Pela
(3.15) e (3.16) que para
a
> 0 p '
2 V () .
Ou seja, teremos inao sempre que o potencial dominar.
(3.19)
que o campo escalar est rolando lentamente pelo seu potencial. Por isso, esse regime
chamado de regime de rolagem lenta ou condio de rolagem lenta, que a condio para
que a inao ocorra. Com essa condio podemos reduzir as equaes que fornecem a
dinmica do inaton na forma:
H2 '
1
V ()
3m2pl
0
3H ' V () ,
em que
m2pl = 1/8G
(3.20)
(3.21)
3H ,
(3.22)
e por isso esse termo desprezado. Essas equaes restringem a forma do potencial, uma
vez que a condio de rolagem lenta e a condio (3.22) podem ser reescritas, utilizando
(3.20) e (3.21), da forma:
45
2
m2pl V 0
V ()
1
3
V
00
1V
3H
1.
3 H2
2
(3.23)
(3.24)
H
1 2
=
H2
2m2pl H 2
00
00
1V
V
2
sr =
,
= mpl
3 H2
V
m2pl
=
2
V0
V
2
(3.25)
(3.26)
mede a inclinao do
potencial e mostra o quanto a taxa de Hubble muda com o tempo durante a inao. O
segundo parmetro,
sr ,
= sr = /H
.
Dessas denies
= H 2 (1 ) ,
a
seja, a
> 0, temos que < 1.
(3.27)
d = dt/a (t)e
2
H
=1 2 = 2
H
mpl
":
2
(3.28)
00
=1
.
H0
(3.29)
Das condies de rolagem lenta modicadas (7.81) e (3.24), podemos ver que teremos
inao com rolagem lenta se:
1
|sr | 1 ou 1 .
46
(3.30)
(3.31)
Dessa condio temos que uma forma do perodo inacionrio acabar se as condies
de rolagem lenta forem violadas conforme o campo atinja um mnimo de seu potencial.
Assim, a inao ocorrer at
1.
limitao menos forte que a condio para que ocorra inao com rolagem lenta, possvel
que um perodo inacionrio ocorra mesmo com as condies de rolagem lenta sendo
violadas, contudo esse perodo seria muito curto.
dt
=
a (t)
da
1
= +
aH
H
da
.
aH
(3.32)
Da condio para termos inao com rolagem lenta (3.30) e, sabendo que
constante,
temos que:
1
(1 + ) + O (2) ,
H
(3.33)
em que podemos ver que o parmetro de Hubble quase constante durante o perodo
inacionrio com rolagem lenta.
e-folds
tf
N
f
H dt ' H
ti
'
1
m2pl
V
d ,
V0
(3.34)
e-folds
e-folds
47
inacionrio.
exit
graceful
e modelos de campos qunticos com potencial. Nesses modelos de campos qunticos com
potencial, que o caso que estamos estudando, podem ser implementadas modelagens
mais complexas, com muitos campos escalares ou ainda com campos de diferentes naturezas, como campos vetoriais. Vamos estudar uma classe mais simples desses modelos,
com um nico campo escalar com potencial. Nesse caso, diferentes implementaes da
inao sero dadas pelas diferentes formas que esse potencial pode assumir.
Convm ressaltar que, devido diculdades em se especicar o candidato mais exato
para o inaton, assim como devido a algumas incompatibilidades ainda no entendidas
(como a energia do vcuo), a teoria da inao desvincula-se da teoria de partculas no
sentido que na cosmologia, ao invs de postularmos a natureza exata do inaton com consideraes da teoria de partculas, trabalhamos com a inao como uma teoria que ocorre
devido a uma energia do vcuo de um campo escalar qualquer. As caractersticas desse
campo, assim como a distino entre modelos de inao so feitas observacionalmente.
catica,
modelo da inao
desenvolvido por Andrei Linde nos anos 80 [39]. Esse um dos mais simples e
amplos modelos de inao, que aceita uma grande classe de potenciais. Suas principais
caractersticas so: um modelo de um nico campo escalar; o potencial nesse modelo
deve satisfazer, em alguma regio, s condies de rolagem lenta e seu mnimo, que
onde a inao deve acabar, deve ser igual zero; e tem condies iniciais muito gerais,
que podem ser explicadas devido grande utuao durante a poca de Planck. O nome
inao catica, inclusive, refere-se a essa quase arbitrariedade das condies iniciais.
Essa uma grande qualidade desse modelo, pois "dribla" o problema de impor condies
iniciais para a inao, que teriam que ter sido construdas atravs de uma teoria para
o perodo anterior ao inacionrio (o que j seria um desao, uma vez que se trata da
era de Planck) que por sua vez requereria a imposio de condies iniciais e o trabalho
nunca acabaria. Podemos ver ainda que de (3.34), para qualquer potencial que satisfaa
as condies de rolagem lenta (3.30) e (3.31), temos que
N (i /mpl )2 .
Assim, como
o valor do inaton no nal da inao ser menor que em seu incio, temos que uma
condio na inao que
i mpl .
ainda arbitrrio.
Vrios tipos de potenciais satisfazem as condies de rolagem lenta e podem ser im-
48
1.
V ,
contudo so mais
1
V () = m2 2
2
V () = 4 ,
(3.35)
(3.36)
a (t) tp ,
com
p>1
e o potencial responsvel
r
V () = V0 exp
3.
Inao intermediria :
16
p mpl
Inao "natural" :
(3.37)
1
V () , com =
h 4 (f i 1), o que nos
f
evolui como a (t) exp (t/t0 ) , com 0<f <1.
4.
Convm notar que alguns desse potenciais podem modelar uma inao innita, uma vez
que no apresentam um mnimo global, no qual a inao deve terminar.
Temos inte-
1
V () = m2 2 ,
2
sendo
(3.38)
a massa do inaton.
12 + m2 2
1/2
+ m2 = 0 .
(3.39)
Essa equao, que representa a dinmica do inaton na inao catica com potencial
(3.38), uma equao no-linear de segunda ordem sem dependncia explcita no tempo.
49
Equaes desse tipo podem ser muito complicadas de serem resolvidas. Contudo, podemos
aqui fazer uma manipulao da equao, considerando que:
d
,
d
(3.40)
():
1/2
d
12 ( + m2 2 ) + m2
=
.
d
(3.41)
Estudando o comportamento dessa soluo via diagramas de fase, podemos ver que essa
soluo um atrator, ou seja, possui trajetrias atratoras para as quais o sistema converge
no tempo. Podemos ver na Figura 3.2.3, retirada de [31], que para diferentes pares
(, )
2 m2 2 ,
(3.42)
que a condio de rolagem lenta imposta anteriormente. Com isso, vemos que a condio
de rolagem lenta naturalmente estabelecida para quaisquer condies iniciais. Por isso
dizemos que a inao catica um modelo que aceita condies iniciais muito gerais, uma
vez que a soluo atratora e quaisquer condies iniciais convergem para as curvas em
que o regime de rolagem lenta da inao vlido. A inao acaba quando
(, )
0.
Figura 3.1: Figura retirada de [31]. Diagrama de fase da inao catica com potencial
quadrtico. As diferentes curvas representam diferentes pares de condies iniciais
As curvas horizontais
= 0
(, )
.
50
3H + m2 = 0
(3.43)
1 m2 2
.
6 m2pl
(3.44)
H2 =
2m2pl
== 2 ,
(3.45)
em que podemos ver que, para que ocorra inao no regime de rolagem lenta, temos
que
||
2mpl ( mpl ).
obtemos a restrio de que o campo tem que ser muito maior que a massa de Planck.
Para no excedermos a escala de Planck, o que invalidaria nossa descrio do sistema,
temos que
m mpl .
2
t,
(t) = i m mpl
3
"r
!#
r
1 m
1
a (t) = ai exp
i t
m mpl t2
.
6 mpl
6
Determinando o nmero de
e-folds
(3.46)
(3.47)
temos que:
N=
1
1 2i
,
2
4 mpl 2
(3.48)
N & 70 e f olds,
ento
i & 17 mpl .
Em resumo, podemos dizer que esse modelo descreve um universo que encontrava-se
em um estado de vcuo que ainda no havia decado para seu estado de mnimo global de
energia, um falso vcuo. Essa energia do vcuo, como vimos acima, provoca uma acelerao da expanso do universo. Durante o perodo inacionrio, ento, esse estado de vcuo
vai decaindo at seu estado fundamental, conforme seu campo vai rolando lentamente at
o mnimo do potencial (3.38). Nesse perodo as condies de rolagem lenta so obedecidas
e, quando o campo atinge o mnimo do potencial, essas condies so violadas. Logo, o
51
campo passa a oscilar em torno do mnimo do potencial e, para poder atingir o vcuo real
do universo atual, acopla-se a um campo de matria que decai em partculas que, por m,
reaquecem o universo. Essa fase nal tem o nome de reaquecimento e ser estudada em
mais detalhes na prxima seo.
reaquecimento.
Esse
aplicando-se essa teoria ao cenrio da Inao "Nova" em [41, 42], que utilizavam teoria
perturbativa para poderem obter a temperatura do m do reaquecimento
Treaq .
Contudo,
broad )
em que a criao
nessa dissertao e ser introduzido nesse captulo, enquanto a criao de partculas ser
estudada no Captulo 6. A partir desse estgio, com a criao de partculas, a amplitude
das oscilaes vai se tornando menor e a ressonncia torna-se cada vez mais estreita, em
que a criao de partculas ineciente. Em suma, aps a inao o inaton decai rapidamente em outras partculas por um mecanismo de ressonncia paramtrica. Essas,
conseqentemente, decaem em outras espcies de partculas, que so as responsveis por
52
termalizar o universo.
V () =
1
m2 .
2
& mpl .
Conforme o inaton vai descendo lentamente o potencial, seu valor ca menor
mpl /2.
3H
sendo o perodo que occorre aps o regime de rolagem lenta, no qual o termo cintico
se torna comparvel ao potencial,
2 /2 m2 2 /2,
quando
= reaq ' 1.
O termo de
frico
+ m2 ' 0 ,
(3.49)
(3.50)
1
hi = m2 2 , hpi = 0 ,
2
(3.51)
que representam um universo dominado por matria, como vimos no Captulo 2. Ou seja,
a oscilao do campo do inaton imita um universo com equao de estado efetiva de
matria no-relativstica com presso nula. Dessa forma, sabemos de (2.34) que o fator
de escala evolui como
2/3
a (t) = am
0 t
H = 23 t:
mpl
mpl
(t) =
,
20N
3mt
em que
N = mt/2
(3.52)
53
Treaq .
action,
backre-
mnimo de seu potencial, que no caso da inao catica zero. Outro mecanismo que
contribui para o m desse perodo o reespalhamento.
como uma coleo de partculas escalares decaindo com probabilidades prprias nitas
para cada uma delas. Para modelarmos esse decaimento, vamos introduzir a Lagrangeana
do inaton interagindo com um campo
o deslocamento
i ,
Fazendo
temos que:
L=
= .
X 2
1 X
1
( i )2 m2 (0) + gi2 2 2i
( )2 V () +
gi 2i .
i
2
2 i
{z
}
|
i
(3.53)
m2i
gi
tm dimenso de massa e
simetria
e, no caso em que
= 0,
quebra espontnea de
Vamos
e um campo ferminico
que descreve o campo dos frmions (partculas com spin semi-inteiro que obedecem a
g 2
g so capazes de
m2 m2 g2 ,
(3.54)
sendo o mesmo vlido para o campo ferminico. Vamos assumir que aps a inao:
54
H m,
(3.55)
que sempre vlido no ltimo estgio do reaquecimento, no qual vale a teoria elementar
do reaquecimento que estamos desenvolvendo.
Vamos considerar agora a produo de partculas. Como mencionamos acima, para
descrevermos fenomenologicamente o estgio nal do reaquecimento, inclumos um termo
de frico na equao de movimento (3.17), que tem o papel de amortecer as oscilaes
do campo do inaton, criando partculas.
amortecido da forma:
+ 3H + total + m2 = 0 ,
em que
(3.56)
considerando o
decaimento mais simples descrito pelo diagrama de Feynman de trs pernas a nvel de
rvore em teoria de perturbao, dado por [31, 46]:
g2 2
,
=
8m
g2 m
=
.
8
(3.57)
(3.58)
Dessas relaes, podemos notar que o decaimento do inaton pode ser lento se as constantes de acoplamento forem pequenas, fazendo com que o processo do reaquecimento seja
lento.
Sabendo que a soluo da equao fenomenolgica (3.56) tambm da forma (3.50),
podemos obter a forma da amplitude:
1
(t) = 0 exp
2
dt (3H + ) =
H = 32 t,
sendo
0 1 total t
e 2
,
t
total = + .
(3.59)
Com isso,
n =
e(3H+total )t .
m
(3.60)
Com essas solues, podemos mostrar que a evoluo da densidade de energia e densidade de nmero comveis para o inaton so:
55
d
d
a3 = total a3 ,
n a3 = total n a3 .
dt
dt
(3.61)
m m ,
total H
reaquecimento
m
total < H .
No comeo do
um certo nmero de oscilaes do inaton o decaimento passa a ser maior que o parmetro
de Hubble,
total > H , uma vez que a densidade de energia das partculas criadas decresce
com a expanso do universo muito mais rapidamente que a energia do inaton e, dessa
1
1
. Nesse
total < H
caso, o inaton decai perturbativamente em partculas relativsticas i , com densidade de
forma, o tempo de vida do inaton menor que a idade do universo,
energia dada por (2.40). Assim, o reaquecimento acaba quando o decaimento se torna da
ordem do parmetro de Hubble,
total H
Treaq ' 0, 2
g o
102 103 .
em que
de
100
g
1/4
p
total mpl ,
(3.62)
Observaes feitas pelo satlite WMAP das anisotropias da RCF estimam a massa
do inaton por
do
TGU, o que garante que as simetrias das TGU no so reestabelecidas e o problema dos
monopolos magnticos no alterado.
Essa descrio intuitiva e simples da teoria elementar do reaquecimento descreve bem o
estgio nal do reaquecimento para muitos modelos realsticos de inao e, em particular,
o catico. Para mais detalhes dessa descrio ver [46].
3.3.2 Pr-aquecimento
O estgio nal do reaquecimento, descrito acima, consiste em um processo perturbativo
que nos fornece a temperatura nal do reaquecimento devido criao de partculas
relativsticas que atingem equilbrio trmico. Essa descrio muito limitada e incapaz
de descrever os estgios iniciais do reaquecimento em que as oscilaes do inaton so
grandes e efeitos de condensao de Bose comeam a se tornar importantes.
Vamos introduzir os estgios iniciais do reaquecimento em que a criao de partcu-
56
pr-aquecimento.
escalares (bsons )
de ressonncia larga
narrow.
A criao de
que leva em conta a expanso do universo modica a amplitude das oscilaes do inaton,
o que faz com que o nmero de partculas cresa exponencialmente (em mdia), embora
em alguns momentos possa decrescer, o que caracterstico de um processo estocstico.
Essa ressonncia estocstica somente ocorre no perodo inicial de ressonncia paramtrica
larga (
vo se tornando desprezveis.
O mecanismo de ressonncia paramtrica vai se tornando cada vez menos importante
conforme efeitos de
backreaction
57
Captulo 4
Teoria das Perturbaes Cosmolgicas
No MCP consideramos o universo como homogneo e isotrpico em grandes escalas, o
que garantido por medidas atuais de catlogos de galxias [26, 27] e pelas medidas
da RCF, que nos mostram que o universo era muito homogneo e isotrpico na poca da
recombinao. Contudo, em nosso universo atual essa homogeneidade e isotropia apenas
uma aproximao [31], uma vez que observamos, em pequenas escalas, planetas, galxias
e outras estruturas no-lineares e, em escalas maiores que 100Mpc, inomogeneidades como
O advento
da cosmologia de preciso com o satlite COBE [9] e, com ainda mais preciso, o satlite
WMAP [21], tornou possvel detectar na RCF tambm desvios dessa homogeneidade,
devido a pequenas utuaes na temperatura dessa radiao, que indicam perturbaes
da densidade de energia do universo na poca da recombinao. Esses desvios na densidade
de energia, porm, so muito pequenos, da ordem de uma parte em
fundo homogneo.
105
em relao ao
surgiram em nosso universo e de que forma elas foram capazes de formar as estruturas
em larga escala que observamos hoje em dia?
Vamos estudar ento como essas inomogeneidades foram formadas e como se deu sua
evoluo at os dias atuais. Isso ser feito atravs da caracterizao dessas perturbaes
e de sua anlise, linearizando essas perturbaes, uma vez que tratamos de pequenas
inomogeneidades em um fundo homogneo e isotrpico. Dessa forma chamamos de Teoria das Perturbaes Cosmolgicas o estudo da teoria das perturbaes gravitacionais
linearizadas em um universo em expanso.
Primeiramente, iremos analisar a evoluo de pequenas inomogeneidades presentes em
um universo de FRW. Vamos estudar esse mecanismo na
es Cosmolgicas.
58
Perturbaes Cosmolgicas.
tamento das perturbaes e de como analis-las. Podemos ver essa teoria desenvolvida
em [31]. Contudo, para uma descrio mais completa de sua evoluo, sem ser necessrio
discernir entre o tipo de matria e a escala da perturbao, vamos estudar as perturbaes
no contexto da relatividade geral [48, 49, 31].
59
podermos estudar a teoria linear das perturbaes, devemos levar em conta perturbaes
muito pequenas em relao ao fundo.
(0)
g g
+ g ,
em que
(0)
|g | g .
(4.1)
(0)
ds2 = g
() + g (, x) dx dx ,
(4.2)
02
= ds20 + ds ,
(4.3)
em que:
(0)
ds20 = g
() dx dx = a2 () d 2 ij dxi dxj ,
a mtrica de um universo de FRW plano e
mento de linha das pertubaes da mtrica.
(4.4)
ds 2 = g (, x) dx dx representa o ele2
Sabemos que ds0 invariante por rotaes
e translaes no espao tridimensional, uma vez que nosso espao de FRW de fundo
homogneo e isotrpico. Vamos utilizar essa mesma simetria para classicarmos os tipos
de perturbaes da mtrica. Sabemos que a mtrica simtrica, de forma que
ter
g00
g00 (, x) = 2a2 () (, x) .
O componente no diagonal da mtrica
g0i
da forma:
(4.5)
60
decompor
Si,i
=0
um escalar e
Si
Si
Si,i = 0,
(4.6)
pois se
Si,i 6= 0,
seria possvel
Assim,
A componente
gij
(, x)e E (, x)
(4.7)
Fi (, x),
tenha divergncia nula, para sua descrio ser irredutvel, como vimos acima. Por m,
hij (, x) um tensor que, para ter uma descrio irredutvel, ou seja, para no se decompor
em novos vetores ou escalares, tem que ter trao nulo e ser transverso:
hii = 0, hij, i = 0 .
(4.8)
Com isso, podemos dividir as perturbaes da mtrica em seu modos escalares, vetoriais e tensoriais, que na teoria linear da perturbaes
no
Temos os modos
escalar
g
= a2
2
B,i
B,i 2 (ij Eij )
!
.
(4.9)
Esses modos so os de maior importncia para a formao de estruturas, uma vez que
eles so acoplados s inomogeneidades da densidade de energia e so os nicos no qual
o mecanismo de instabilidade gravitacional age. O elemento de linha das perturbaes
escalares escrito como:
ds2 = a2 () (1 + 2) d 2 + 2B,i ddxi + [(1 2) ij 2E,ij ] dxi dxj .
(4.10)
vetorial
g
= a2
0
Si
Si Fi,j + Fj,i
!
,
(4.11)
que exibem quatro graus de liberdade, descritos por dois vetores. Veremos aqui que nessa
descrio as perturbaes vetoriais no se acoplam s perturbaes da matria e, dessa
61
ds2 = a2 () d 2 + 2Si ddxi (ij Fi,j Fj,i ) dxi dxj .
(4.12)
tensorial
= a2
g
0
0
0 hij
!
,
(4.13)
que representam dois estados polarizados das ondas gravitacionais. Na aproximao linear, veremos que as ondas gravitacionais no se acoplam s perturbaes da matria.
Outra maneira de escrever a mtrica desse modo por meio de seu elemento de linha
dado por:
ds2 = a2 () d 2 (ij hij ) dxi dxj .
(4.14)
x x = x + ,
(4.15)
i,
0 , que
que pode
i
i =
+ ,i ,
em que
(4.16)
nente vetorial de divergncia nula tem dois graus de liberdade que contribuem para as
perturbaes vetoriais e mais um modo escalar,
ordenadas no induz modos tensoriais, o que j nos faz ver que as perturbaes tensoriais
so invariantes por transformaes de coordenadas.
Sabendo que a mtrica se comporta, sob uma transformao de coordenadas, da forma:
62
x x
g (
x )
x x
(0)
(0)
(0)
,
g
(x ) + g g , g
(4.18)
(0)
(
x ) +
g (
x ) ,
= g
(4.19)
g (
x ) =
na aproximao linear em
(4.17)
(0)
(0)
(0)
,
, g,
g = g g , g
(4.20)
uma vez que a mtrica usual de Friedmann nas novas coordenadas escrita na aproximao
linear da forma:
(0)
(0)
(0)
g
(x ) g
(
x ) g,
.
(4.21)
Com isso, podemos escrever as componentes escalares, vetoriais e tensoriais da mtrica transformada, conhecida a mtrica de FRW plana de fundo,
(0)
g00 = a2 ()
(0)
gij =
a2 () ij :
0
g00 = g00 2a a 0 ,
0
0
2
0
g0i = g0i + a i +
,
,i
0
0
a
0
2
0
(4.22)
(4.23)
(4.24)
Dessa forma, podemos ver como as perturbaes de cada tipo se transformam com uma
mudana de coordenadas innitesimal.
A partir desse resultado e sabendo que os diferentes modos das perturbaes da mtrica
so escritos como (4.5),(4.6) e (4.7), podemos inferir a lei de transformao das funes
escalares, vetoriais e tensoriais que descrevem as pertubaes.
Para os modos escalares, podemos ver que as variveis se transformam como:
0
1
= B + 0 0 ,
=
a 0 , B
a
a0
= + 0 , E = E + .
a
Para os modos vetoriais, temos que:
63
(4.25)
(4.26)
0
Si = Si + i , Fi = Fi + i .
(4.27)
hij ,
invariantes de calibre.
Dessa forma, vimos que os modos escalares e vetoriais exibem uma ambigidade de
calibre que pode levar ao surgimento de modos perturbativos ctcios. Podemos tratar
esse problema de duas maneiras: primeiramente, construindo uma base de variveis no
geomtricas que sejam invariantes de calibre, chamadas
variveis de Bardeen
[47]; ou
As variveis de
Modos escalares :
1
a
a BE
0
a
a
BE
(4.28)
Modos vetoriais :
0
vi = Si Fi .
(4.29)
Podemos ver que nos modos vetoriais, que apresentavam quatro graus de liberdade, somente dois deles caracterizam perturbaes fsicas, uma vez que os graus de liberdade
dependentes de calibre so eliminados com a combinao linear (4.29).
Essas variveis
no mudam por uma transformao de calibre e quaisquer combinaes delas que sejam
invariantes de calibre tambm sero "variveis de Bardeen".
Podemos tambm resolver o problema da ambigidade de calibre xando o calibre a
ser utilizado. Mesmo em problemas nos quais optamos descrever por meio de variveis
de Bardeen, ou invariantes de calibre, mostra-se conveniente tambm adotar um calibre
especco.
longitudinal
newtoniano
e o
calibre
calibre sncrono.
B = 0 , E = 0 , Si = 0 ,
que deixa o elemento de linha das perturbaes da forma:
64
(4.30)
ds2 = a2 () (1 + 2) d 2 (1 2 Fi,j Fj,i hij ) ij dxi dxj .
(4.31)
Essas escolhas de variveis xam completamente o calibre, uma vez que para termos
(4.30) , obrigatoriamente
= 0 = 0
(e
i = 0).
Tji ji ,
ao potencial gravitacional newtoniano. Isso deixa o problema com somente uma varivel
caracterizando o modo escalar das perturbaes da mtrica. Isso pode ser visto, uma vez
que nesse calibre:
= , = , i = Ei ,
em que
(4.32)
Essa a
razo pela qual este calibre tambm ser denominada de calibre newtoniano ou calibre
conforme -newtoniano.
Calibre Sncrono :
g0 = 0,
Essas
= 0, B = 0.
(4.33)
C1 (xj )
, xi = xi + C1,i xj
= +
a
em que as funes
C1
C2
d
+ C2,i xj ,
a
(4.34)
Dessa
65
0(0)
G0
1 0
3H2
0(0)
i(0)
2
ji ,
2H
+
H
,
G
=
0
,
G
=
i
j
a2
a2
(4.35)
0(0)
Ti
i(0)
= 0 , Tj
ji .
(4.36)
Nesse fundo homogneo e isotrpico, pequenas perturbaes da mtrica induzem pequenas perturbaes no tensor de Einstein que induzem pequenas perturbaes no TEM.
Dessa forma, no regime linear, as equaes de Einstein so denidas como:
G = 8GT .
(4.37)
Como sabemos, a relatividade geral uma teoria em que h liberdade de calibre e, logo, as
perturbaes do tensor de Einstein e do TEM tambm sero dependentes de calibre. Dessa
forma, adotaremos o calibre newtoniano para eliminar essa ambigidade e escreveremos
as variveis do problema em funo da variveis de Bardeen para que as equaes no
quem em funo de nenhuma varivel dependente de calibre.
Para determinarmos a
desacoplados
denida separadamente.
Modos escalares :
G ,
66
0
G00 = 2 3H + H = 4Ga2 T00 ,
0
G0i = + H = 4Ga2 Ti0 ,
,i
0
0
1 2
1
00
i
2
Gj = + H (2 + ) + 2H + H + ( ) ji ( ),i,j
2
2
(4.38)
(4.39)
(4.40)
= 4Ga2 Tji .
Modos vetoriais :
(4.41)
i
Gij = (
vi,j + vj,i ) + 2H (
vi,j + vj,i ) = 16Ga2 Tj(V
),
em que
i
Tj(V
)
(4.42)
Modos tensoriais :
00
0
i
Gij = hij + 2Hhij 2 hij = 16Ga2 Tj(T
),
em que
i
Tj(T
)
(4.43)
nula.
Como citamos anteriormente,
equao de Einstein, a parte
(i,j)
Tji ji
= .
Esse resultado vlido para qualquer contedo material com
(4.44)
Tji ji ,
ou seja, com
contedo material que possa ser escrito como um uido perfeito sem estresse anisotrpico.
Tendo denido as equaes de Einstein linearizadas para as perturbaes, temos que
denir agora o contedo material do universo. Como vimos no Captulo 2, como o universo homogneo e isotrpico, podemos escrev-lo como o TEM de um uido perfeito
(2.15) ou podemos descrev-lo como preenchido por um tipo diferente de matria, o campo
escalar. Seu TEM dado por (2.16), que tambm adota a forma de um uido perfeito
(2.15). Vamos fazer a anlise aqui para o campo escalar [48, 49], que o contedo responsvel pela acelerao do universo na era inacionria, como vimos no Captulo 3. O
estudo das perturbaes em funo de um campo escalar importante uma vez que as
67
inomogeneidade iniciais postuladas so, na verdade, criadas durante o perodo inacionrio que as gera devido a utuaes qunticas do campo do inaton (como veremos na
prxima seo). Assim, como estudamos a teoria de perturbao a partir dessas pequenas
perturbaes do campo do inaton, natural estudarmos a evoluo das perturbaes
desse componente. Dessa forma, o campo escalar perturbado denido como:
(, x) () + (, x) .
(4.45)
Podemos ver que essa perturbao, quando feita uma transformao de calibre do tipo
(4.15), se transforma como:
= + 0 ,
(4.46)
e um modo escalar de perturbao. Como feito para as variveis perturbativas da mtrica, podemos escrever uma quantidade invariante de calibre que descreve a perturbao
do campo do inaton:
0
0
+ B E .
(4.47)
V (),
T00 = a2 V, + ,
0
Ti0 = i ,
0
0 0
i
2
2
Tj = + a V, ji .
(4.48)
(4.49)
(4.50)
Modo escalar :
forma:
0 0
0
2
3H + H = 4G + a V, ,
2
+ H = 4G ,
0 0
00
0
0
02
2
2
+ 3H + H + 2H = 4G a V, .
(4.51)
(4.52)
(4.53)
Como podemos ver, os modos escalares so os nicos que esto acoplados s perturbaes
da matria, no caso do campo do inaton, e, assim, so os responsveis pela formao das
estruturas no universo.
68
00
+2 H 0
00
00
0
+ 2 H H 0 = 0,
(4.54)
em que utilizamos a equao de Klein Gordon (3.17) em tempo conforme, dada por:
00
+ 2H + a2 V, = 0 .
(4.55)
Essa equao para as perturbaes nos fornece a evoluo clssica das perturbaes cosmolgicas. Vamos estudar seu comportamento.
Primeiramente, vamos introduzir as variveis:
a
0
H/a ,
0,
(4.56)
u u
u = 0.
| {z }
00
(4.57)
m2ef f
O termo
00
Para podermos analisar o comportamento dos modos dessas perturbaes separadamente, uma vez que a teoria linear, vamos fazer a transformada de Fourier da varivel
u (x, ) =
em que
x = l/a
d3 k
(2)3/2
a coordenada conforme e
uk () eik.x ,
k = akf is
(4.58)
fornece a equao:
00
2
uk = 0 .
uk + k
00
(4.59)
Estudaremos o comportamento assinttico dessa equao. Como vamos comparar a magnitude do momento com a "massa" efetiva, importante perceber que o inverso da massa,
m1
ef f
1
m1
ef f (aH) , sendo que H
1 Caso
69
00
k 2 /,
a soluo
ik
ik
uk () = A+
+ A
,
ke
ke
em que
A
k
so constantes de integrao.
(4.60)
pertubaes invariantes de calibre, em tempo prprio, que tambm pode ser escrito como:
k (t, x) ' e
ikx
A+
k sen
dt
dt
+ Ak cos k
.
k
a
a
(4.61)
Essas solues representam perturbaes que oscilam com amplitude varivel com o
tempo. Como nesse estado o termo
00
perturbaes sentirem a expanso do universo, elas no sentem a curvatura do espaotempo. Porm, os comprimentos de onda fsicos so esticados com a expanso do universo.
Eles podem ser esticados at carem maiores que o horizonte se as perturbaes forem
esticadas mais rpido do que a velocidade com que o raio de curvatura do universo cresce.
Vamos ver que no perodo inacionrio esse mecanismo de fato ocorre, com os modos
cruzando o horizonte com uma taxa exponencial.
2 Caso
Para comprimentos de onda grandes, com
00
k 2 /,
turbaes:
00
00
uk uk = 0 ,
(4.62)
u1,k = C1 ,
u21,k
d
d
u2,k
u1,k
(= const.) .
(4.63)
00
uk + Q () uk = 0 ,
integramos o wronskiano para obter a soluo geral que da forma:
70
(4.64)
uk ' C1 + C2
d
,
2
(4.65)
A 1
0 a
a2 () d ,
(4.66)
i
em que
C1 , C2
H
a dt ,
(t, x) ' A 1
a
(4.67)
Como podemos ver, a perturbao da mtrica nos fornece duas solues fundamentais.
Vamos analisar seus comportamentos para o caso especco em que o universo se expande
como uma lei de potncia,
a tp
com
p > 0 (p 6= 1).
lp (t, x) = A
(1)
1
p
p+1
p<1
+ A(2)
1
t1+p
p > 1
(4.68)
tao: que as perturbaes com comprimento de onda grande (fora do horizonte) esto
congeladas e no crescem nem decrescem enquanto continuarem maiores que o horizonte.
Assim, podemos pensar que, quando essas perturbaes reentrarem no horizonte, elas
sero constantes, independentemente de quando saram do horizonte.
Para o caso geral, essa anlise um pouco mais complicada. Para isso, vamos reescrever
nossas equaes em termos de novas variveis.
[30]:
R+
Essa varivel conhecida como a
e utilizada em [47, 56, 57, 49].
comveis com
1 Em
= 0
2H 1 0
+
H
.
8G 0 2
(4.69)
e foi introduzida
um universo plano.
71
R =
2H 1 2
.
8G 0 2
(4.70)
Essa varivel dita conservada em perturbaes com comprimentos de onda grandes uma
vez que nesse estado assinttico o termo
desprezvel.
2 H 1 +
,
+
3 1+
em que
= p/.
uniforme
(4.71)
(1 + ) = + H 2
+2 H H
,
2
(4.72)
(1 + ) = 0 ,
em que podemos ver que
= 0,
um
R = 0
(4.73)
ou seja,
R.
Como visto
acima, o fato dessas perturbaes serem constantes mostra que quando elas reentrarem
no horizonte seu espectro ser constante. Esse fato observado experimentalmente [24]
e um dos resultados mais promissores e que corrobora a teoria inacionria. Veremos
com mais detalhe o espectro das utuaes na seo seguinte.
72
faz com que essas amplitudes congeladas sejam sempre as mesmas, a do cruzamento do
horizonte, independente de sua escala, o que fornece um espectro invariante de escala para
as perturbaes.
Modo vetorial :
2 i = 0 ,
(4.74)
i + 2Hi = 0 .
(4.75)
i (, x) = Ci (x) a2 ,
(4.76)
que representa uma soluo que decai rapidamente com o aumento do fator de escala,
ou seja, em um universo que est se expandindo. Assim, somente a partir dessa equao
j podemos ver que, para que os modos vetoriais de perturbaes sejam de importncia
cosmolgica, seus modos vetoriais seminais teriam que ter comprimento de onda muito
grandes. Como vimos nesse captulo, se a "semente" das perturbaes gerada na inao,
a teoria da inao impede que essas perturbaes sejam grandes o suciente para serem
detectadas atualmente.
Os modos vetoriais no contribuem para o colapso gravitacional e para a formao de
estruturas e representam movimentos rotacionais do uido csmico.
Modo tensorial :
(4.77)
Apesar de no
2 Essa
amplitude cresce muito pouco fora do horizonte de Hubble, o que gera pequenos desvios no
espectro plano da inao. Veremos mais sobre isso na prxima seo.
73
Podemos expandir
hij
da seguinte forma:
1
hij =
a ()
d3 k
ikx
()
(k)
e
+
c.c.
k
ij
(2)3
00
a
k + k
a
00
(4.78)
k ():
k = 0 .
(4.79)
hij
transverso e tendo trao nulo, em (4.8), temos que o elemento tensorial da expanso (4.78)
ter que ser simtrico e transverso e com trao nulo:
(4.80)
74
uma componente de campo escalar, no caso um condensado de campo escalar, sem partculas. Vamos quantizar as perturbaes cosmolgicas desse condensado e as perturbaes
de primeira ordem da mtrica em relao ao fundo homogneo e isotrpico.
Partimos da ao de Einstein-Hilbert [49], que descreve esse sistema do campo de
matria acoplado minimamente com o campo gravitacional, da forma:
1
S=
2
d4 x (Lgrav + Lm )
1
0
d4 x g R + Lm ,
=
16G
(4.81)
(4.82)
R, e a Lagran-
ao quadrtica
ciladores harmnicos para quantizarmos e vai permitir que entendamos melhor o vcuo
da teoria, que nem sempre pode ser denido em espaos curvos arbitrrios.
Como vi-
mos pelo estudo das perturbaes cosmolgicas clssicas na relatividade geral, a descrio
dessa teoria possvel ser feita somente em funo de uma varivel. Queremos encontrar,
ento, a varivel cannica que descreve essas perturbaes, e que ser nossa varivel a ser
quantizada. Para isso iremos expandir essa ao, como em uma expanso de Taylor, at
segunda ordem. Esse clculo muito extenso, principalmente por causa dos problemas
de dependncia de calibre que a relatividade geral apresenta.
equivalente
ds2 = N 2 Ni N i dt2 2Ni dxi dt gij dxi dxj ,
75
(4.83)
em que
Ni
so a
funo lapso
e o
vetor de deslocamento
gij
a mtrica do espao-
1
S=
16G
em que
R(3)
gij
Kij
o tensor de curvatura
1
Kij = N 1 (i Nj + j Ni g ij ) ,
2
e
K = Kii = gij K j .
(4.85)
Ni ,
2
R(3) Kij K ij K 2 2V () 8Gg ij i j + 8GN 2 N i i i = 0
j Kij Kij 8GN 1 N i i i i = 0 .
(4.86)
(4.87)
Com isso, podemos comparar a mtrica (4.83) com a mtrica das perturbaes (4.31) que
calculamos no calibre newtoniano para podermos comear a relacionar essas variveis com
as variveis que conhecemos. Podemos identicar:
(4.88)
76
Somente sobram,
clssicas, vemos que somente uma varivel dinmica descreve as perturbaes de cada
tipo, seja escalar ou tensorial.
variveis de
Mukhanov-Sasaki :
v zR ,
com
z = 1/ = a /H
R,
(4.89)
r
ij
Como o tensor
hij
ij
Mp2
ahij .
4
(4.90)
hij (, x) = h+ (, x) +
ij + h (, x) ij .
(4.91)
(2)
1
=
dd3 x (Lesc + Ltens )
2
00
z 2
1
0 2
3
v,i v,i + v
=
dd x v
2
z
00
X
2
a 2
1
0
3
+
dd x
,i ,i + .
2
a
=+,
(4.92)
V () em um
00
z
a
e
, dependentes do tempo, como
z
a
77
00
00
a
z
00
v v v = 0 , 2 = 0 ,
z
a
00
(4.93)
00
00
z
a
00
2
2
vk + k
vk = 0 , k + k
k = 0 .
z
a
00
(4.94)
L(2)
0
=v ,
0
v
L(2)
0
= ,
(, x) =
0
v (, x) =
(4.95)
(4.96)
que nos fornece a Hamiltoniana para o sistema, por uma transformao de Legendre:
0
0
d3 x v v + L(2)
00
00
1
z 2
1
a 2
3
2
3
2
=
d x v + v,i v,i v +
d x + ,i ,i .
2
z
2
a
H=
(4.97)
(4.98)
A dinmica das variveis de campo dada pelas equaes de Hamilton, denidas como:
iv = [v, H] , iv = [v , H] ,
0
i = [ , H] , i = [ , H] .
(4.99)
(4.100)
4.2.1 Quantizao
Com a ao quadrtica em mos, podemos passar para o procedimento de quantizao
cannica do sistema. Vamos apresentar aqui o procedimento de quantizao cannica de
um campo escalar, no caso real, em presena de um campo externo gravitacional. Esse
78
l,
Ql (, x)
e podendo ser
S [Ql ] =
dd x
Ql
2
|
em que
Ql,i Q,il
{z
L(2)
00
Zl 2
Q ,
+
Zl l
}
escalar e igual a
(4.101)
para o modo
L
L
= 0.
Ql
( Ql )
(4.102)
00
Zl
2
Ql = 0 .
Ql +
Zl
00
(4.103)
l
Q
(4.104)
Ql (, x) , l0 (, y) = ill0 (x y) ,
i
h
i h
l (, x) ,
0 (, y) = 0 .
l (, x) , Q
0 (, y) =
Q
l
l
h
(4.105)
(4.106)
i
0
Uma soluo geral das equaes (4.93) pode ser escrita como uma decomposio:
l (, x) =
Q
d3 k
(2)3/2
h
i
Qk,l () a
k,l eikx + Qk,l () a
k,l eikx ,
79
(4.107)
em que
a
k,l
a
k,l
quantizao,
segunda
i
0
a
k,l , a
k0 ,l0 = ll0 k k ,
i
h
0
0
a
k,l , a
k ,l = a
k,l , a
k0 ,l0 = 0 .
h
(4.108)
(4.109)
(4.110)
que representa o wronskiano das solues clssicas. Essa normalizao nos permite xar
a amplitude de
Qk,l ()
00
(4.111)
2 ()
k,l
O operador Hamiltoniano do sistema, em funo desses operadores de criao e aniquilao, pode ser escrito da forma:
2
k = k,l
H
() a
k a
k ,
em que
k,l ()
(4.112)
a freqncia.
|0i,
tal que
H |0i = E0 |0i.
Logo, para
a
k,l |0i = 0 , bk,l |0i = 0 , k .
ou seja, o estado que no possui partculas (ou antipartculas).
80
(4.113)
Assim, o operador
a
k
a
k,l
de operadores de criao de
a
k,l |0i = |1k, li , bk,l |0i = |1k, li
(4.114)
e todos os outros estados do sistema podem ser construdos a partir desse operador de
criao.
Apesar do procedimento de quantizao ser muito semelhante ao dos campos livres,
no sistema em presena de um campo externo a invarincia translacional no espao e no
tempo quebrada e, assim, no podemos denir uma base ortonormal nica. Ou seja, o
estado de vcuo denido em (4.113) agora dependente da base em que a quantizao
foi feita e tem direo temporal denida.
k = a
N
k a
k
no vcuo e em
k () |0i = 0 ,
h0| N
k () |ni = nk , k .
hn| N
k
N
|0, 1 i,
posterior 2 :
estado de vcuo
instante
(4.115)
a
k,l (1 ) |0, 1 i = 0
k (1 ) |0, 2 i =
h0, 2 | N
6 0.
(4.116)
a
k,l (2 )
a
k,l (2 )
em que os
!
=
coecientes de Bogoliubov k
k ,
obedecem a:
81
em
transformada de Bogoliubov :
k k
k k
e
a
k,l (1 )
a
k,l (1 )
!
,
(4.117)
|k |2 |k |2 = 1 .
(4.118)
A transformada inversa pode ser facilmente denida. Com isso em mos, podemos calcular
o nmero de partculas criadas (7.21):
(1)
Nk
E
2
= |k (1 , 2 )|2 .
(4.119)
Esse me-
Uma
denio dessas transformaes e desses clculos ser dada de maneira mais completa nos
prximos captulos.
Denido o mecanismo responsvel pela criao das perturbaes cosmolgicas na inao s falta denirmos as condies iniciais das variveis cannicas. Devido condio de
normalizao (4.110), essa tarefa se reduz determinao do tempo inicial
|0, i i
com vcuo
, que o estado de menor energia. Podemos ver isso mais claramente da seguinte
Qk,l ()
Qk,l ()
em um tempo inicial
Como essas utuaes se comportam como ondas planas, podemos fazer a substituio
[31]:
rk,l
e a fase
k,l
(4.120)
mento para os modos das variveis cannicas (4.111), que a equao de um oscilador
harmnico paramtrico com energia:
Ek,l
0 2
2
2
Qk,l + k,l |Qk,l |
"
#
1 0 2
1
2 2
=
rk,l + 2 + k,l
rk,l ,
2
rk,l
1
=
2
2
rk,l
k,l = 1,
(4.121)
(4.122)
82
Logo, sendo a
Ek,l (i ) = k,l ,
1/2
rk,l (i ) = k,l
temos que:
, rk,l (i ) = 0 .
(4.123)
1 ik,l (i )
e
,
Qk,l (i ) =
k,l
0
Davies.
k,l
indeterminada.
(4.124)
(4.125)
vcuo de Bunch-
suciente. Contudo, no Captulo 7, faremos uma anlise desse tpico mais detalhadamente
e descreveremos o vcuo de Bunch-Davies.
Sumarizando, temos que as perturbaes iniciais que evoluram para formar as estruturas em larga escala foram formadas durante a inao por utuaes qunticas em
escalas nas quais as utuaes mnimas, dadas pelo princpio da incerteza de Heisenberg,
so denidas sem ambigidade. A inao ainda responsvel por esticar essas perturbaes iniciais at grandes escalas.
esto de acordo com as observaes que fazemos hoje da RCF, que nos fornecem um
espectro invariante de escala [24]. Dessa forma, vamos calcular o espectro de potncias
das perturbaes.
0
espectro
(4.126)
Fourier:
l (, x) , Q
l , y |0i =
h0| Q
0
d3 k
eik(xy) .
3 Qk,l () Qk,l
(2) |
{z
}
Gk,l (, 0 )
83
(4.127)
PQl (k) =
em que os modos
1 3
1
k lim Gk (, ) = 2 k 3 |Qk,l ()|2 |=hc .
2
2
2
hc
(4.128)
PQl k ns 1 ,
em que
ns
(4.129)
d ln PQ
.
d ln k
(4.130)
Qk,l
vk ().
v = zR ,
(4.131)
e como vamos calcular esse espectro no limite em que as perturbaes so maiores que
o horizonte de Hubble,
k aH ,
R,
2
k 3 vk ()
.
PR = 2
2
z
Da conservao de
(4.132)
= hc ,
denido por
khc =
p 00
z /z H .
Assim, para
z,
84
hc (k)
ou
thc (k),
em tempo
2
k 3 2
z (t)
|vk (thc (k))|2 .
PR = 2 z (t)
2
z (thc (k))
(4.133)
vk (thc (k))
so proporcionais,
PR
k 3 2
a (thc (k)) |vk (ti )|2 .
2
2
(4.134)
Uma vez que as condies iniciais so dadas por (4.124), ou seja, so as condies iniciais
do vcuo de Bunch-Davies adiabtico, temos que
PR k 3
em que utilizamos
H2 1
= H2 ,
k2 k
(4.135)
H 2.
de Hubble quase constante na inao com rolagem lenta, mas exibe uma dependncia
com
H2
ns
no ser
ns = 1 2sr 6 = 1 2 4 ,
que durante a inao com condies de rolagem lenta em que
ns . 1.
(4.136)
Isso nos mostra que o ndice espectral medido sempre ser menor que um, ou
Pog
2
k 3 4 X ()
.
= 2 2
2 Mp =+, a
(4.137)
No vamos calcular aqui esse espectro, pois foge do escopo da dissertao. Para uma
anlise mais detalhada do espectro das ondas gravitacionais e suas propriedades, ver
referncia [63].
85
relao de consistncia
[63]:
1 Pog
= 8 .
2 PR
(4.138)
V () , > 0,
temos
que:
ns = 1
em que
com
o nmero de
= 2,
e-folds.
+2
4
,r =
,
N
N
(4.139)
ns 0, 94
70 e-folds,
que condiz
r 0, 11.
Podemos comparar ento com as observaes do WMAP [24] que nos fornecem:
ns = 0, 94+0,014
0,013 ,68% CL ,
(4.140)
(4.141)
Esses valores so compatveis com os obtidos pelo modelo inacionrio catica com po3
tencial quadrtico ,
V () = m2 /2,
inao.
3 No
Captulo 5
Efeito Schwinger Esttico
Efeitos de criao de pares de eltrons e psitrons devido perturbao do vcuo por um
campo eltrico externo da
no triviais que vm sendo estudados h mais de cinco dcadas. Desde os trabalhos seminais de Sauter [69], Euler e Heisenberg [70] e Weisskopf [71], foram descobertos os
fenmenos de polarizao do vcuo quntico da QED, assim como espalhamentos ftonfton e produo de pares a partir do vcuo. Contudo, foi somente com Julian Schwinger,
em 1951 [72], que o efeito de produo de partculas do vcuo instvel da QED por um
feito
campo eltrico esttico foi estudado. Dessa forma, foi dado a esse efeito o nome de e
Schwinger esttico.
O estudo desse fenmeno de grande importncia para a QED, uma vez que revela
nuances sobre a estrutura instvel do vcuo quntico, assim como para o estudo da QED
em um limite no-perturbativo. Muitos efeitos qunticos surgem do fato do vcuo apresentar essas utuaes, pois isso modica a idia clssica de seu comportamento e nos faz
v-lo como um meio polarizvel. A QED uma teoria que apresenta-se muito bem comprovada, sendo que experimentos como o
Lamb shift
de energia entre os nveis 2S e 2P do hidrognio), do momento magntico anmalo do eltron [91, 92, 93], do espalhamento Delbrck [94], espalhamento Compton no-linear [95],
efeito Casimir [96, 97, 98], entre outros, foram observados experimentalmente e comprovam as previses da QED com incrvel preciso. Contudo, todos esses efeitos so efeitos
perturbativos da QED. Efeitos no-perturbativos da QED como a produo no espalhamento fton-fton e o efeito Schwinger so muito fracos e ainda no foram detectados
experimentalmente. Sua comprovao de grande importncia para a QED.
Outra diculdade que o efeito Schwinger enfrentou foi a de seu estudo terico, uma
vez que esse efeito altamente no-linear e no-perturbativo. Schwinger, em seu trabalho
clssico de 1951, analisou o caso de um campo ferminico acoplado minimamente a um
campo externo eletromagntico. Ele o fez utilizando o mtodo da Lagrangeana efetiva. A
existncia de uma parte imaginria nessa Lagrangeana efetiva, quando
E2 B2 > 0,
com
87
probabilidade de criao de pares por unidade de volume. Ele calculou essa probabilidade
exatamente para o caso do campo eltrico esttico, que o que chamamos aqui de efeito
Schwinger esttico. Nesse trabalho Schwinger logo vericou que eram necessrios campos
muito fortes, praticamente impossveis de se reproduzirem em laboratrio, para que esse
efeito pudesse ser observado.
O efeito Schwinger ainda no foi detectado experimentalmente.
possvel, so necessrios campos eltricos estticos muito fortes com energia da ordem
de
Baseado no
88
ressante analisar tambm o caso do campo escalar complexo interagindo com um campo
eltrico externo, alm de tambm representar uma simplicao do campo de Dirac. Devido a essa analogia, outros formalismos foram utilizados, ainda, para descrever o efeito
Schwinger, assim como o formalismo dos modos normais ou das transformadas de Bogoliubov.
a TQC para campos interagindo com potenciais externos. Fazemos esse clculo para o
campo escalar complexo e ferminico. Apesar de necessrio para o captulo, a descrio
do problema para um campo escalar de grande importncia para a dissertao, uma vez
que ser diretamente utilizado no captulo central (Captulo 7) em que fazemos a analogia
com a inao.
A criao de partculas foi determinada via teoria de espalhamento, transformadas
de Bogoliubov e seu formalismo complementar dos estados
squeezed.
A descrio via
squeezed
criao de partculas.
Convm salientar que o campo ser prescrito
no sero considerados.
No Apndice A, calculamos o efeito Schwinger esttico pelo mtodo das Lagrangeanas
efetivas, por sua motivao histrica.
89
2 ,
=
e seu hermitiano conjugado.
1 + i2
,
2
(5.1)
S=
R
1
=
2
onde
d 4 x (L (1 ) + L (2 ))
(5.2)
d4 x D (D ) m2 ,
(5.3)
d xL =
6= , D = + ieA , e
a carga do campo e
Lint =
ie
[( ) A A ( )] + e2 A2 .
2
(5.4)
Assim, como
S = 0
temos que:
D D + m2 = 0 ,
e analogamente para
(5.5)
Klein-Gordon.
Para podermos estudar separadamente o comportamento de cada modo de Fourier,
reescrevemos o sistema acima no espao de momentos, decompondo o campo atravs de
uma transformada de Fourier:
1
(t, x) =
(2)3
d3 k k (t) eik.x .
90
(5.6)
Uma soluo geral da equao de Klein-Gordon (5.5) pode ser escrita como uma decomposio:
1
(x) =
(2)3
em que
ak
bk
d3 k
ak eikx + bk eikx ,
2k
(5.7)
S=
n
o
d k k k + k (t) k k ,
3
dt
R3
(5.8)
onde:
k2 (t) = k 2 + m2 + 2iek A + e2 A2 .
(5.9)
paramtricos:
k + k2 (t) k = 0 .
(5.10)
pk =
Lk
k
= k
p =
k
Lk
= k
(5.11)
d kHk =
H=
R
=
R3
R3
pk k + pk k Lk
pk pk + k2 (t) k k ,
(5.12)
k .
91
Quantizao Cannica
Passaremos agora para o procedimento de quantizao cannica. Como vimos no captulo
anterior, para quantizarmos o campo, as variveis cannicas so promovidas a operadores:
= k k
p p = L = = pk pk = k
(5.13)
(5.14)
k = pk p + k2 (t) k .
H
k
k
(5.15)
bk
a
k
bk .
ak
varivel campo se torna um operador que age nos estados qunticos de partculas. Suas
regras de comutao so denidas, para o campo escalar complexo, em tempos iguais,
como:
h
i
h
i
a
k , a
k = (k k0 ) , [
ak , a
k0 ] = a
k , a
k0 = 0
h
i
h
i h
i
.
b , b 0 = (k k0 ) , b , b 0 = b , b 0 = 0
k k
k k
k k
(5.16)
k = k (t) a
H
k a
k + bkbk .
(5.17)
Sabe-se que a Hamiltoniana tem auto-estados com autovalores dados pela energia.
Como vimos no captulo anterior, da positividade da Hamiltoniana quadrtica sabemos
que deve existir um estado com energia mais baixa,
|0i,
tal que
H |0i = E0 |0i.
Logo,
a
k |0i = bk |0i = 0 ,
(5.18)
bk
a
k
mente, e
a
k e bk
92
.
a
k |0i = |1ki , bk |0i = 1k
O nmero de partculas e antipartculas dado por
(5.19)
k = a
N
k a
k
= b b ,
N
k
k k
seu valor
k |0i = 0 ,
h0| N
k |ni = nk , k .
hn| N
(5.20)
Campo ferminico
Feita a descrio do campo escalar complexo, podemos partir para o campo ferminico
ou campo de Dirac, no caso aqui associado aos frmions de spin 1/2. O procedimento
basicamente anlogo, somente sendo necessrio tomar cuidado com as peculiaridades do
campo ferminico.
A equao de Dirac para o campo ferminico
(x)
dada por:
(i D m) (x) = 0 ,
em que
so as matrizes de Dirac,
(5.21)
a carga do eltron e
a massa do eltron.
L = (x) (i D m) (x)
e
A ,
= i
| {z }
(5.22)
Lint
onde
e
o adjunto do campo.
de Dirac). O adjunto tambm tem uma equao de Dirac chamada de equao de Dirac
adjunta.
93
respectivamente:
i m = e A
i
+ m = e
A
(5.23)
em que o lado esquerdo corresponde equao de Dirac livre (ou de Dirac adjunta),
enquanto no lado direito temos uma termo de corrente, que corresponde interao com
o campo eletromagntico.
A equao de Dirac exige a presena de antipartculas. Podemos ver isso decompondo
o campo de Dirac, da mesma forma feita com o campo escalar complexo, em termos das
solues de onda plana da equao de Dirac. A decomposio descrita na forma (ou a
soluo geral arbitrria da equao de Dirac):
(x) =
1
(2)3
X
d3 k
(r)
ik.x
+fr (k) v (r) (k) eik.x ,
dr (k) u (k) e
|
{z
}
| {z }
k (t) /m r=1,2
(+)
em que
dr
fr
(5.24)
()
(+)
()
so, respectivamente, as
k0
seja
0 . Podemos ver que essa expanso contm um nmero quntico a mais, denominado
por r , ou ndice espinorial. A origem desse nmero quntico pode ser vista se substituirmos
por
a expanso acima na equao de Dirac, o que implica que temos duas equaes:
( k m) u (k) = 0 ,
( k + m) v (k) = 0 .
(5.25)
Dessa forma, as solues so compostas por matrizes coluna com quatro componentes,
pois as matrizes de Dirac so
44.
2 2.
22 e logo,
L
0 = i ,
= L = i 0 .
= i
(0 )
0
(5.26)
94
dre, por:
i 0 0
0 L
D D0
2
1 0
0
= d3 x
D D ,
2
H=
d3 x
(5.27)
Hk =
k (t) dr (k) dr (k) + fr (k) fr (k) ,
(5.28)
r
em que
k (t) =
(p eA)2 + m2 .
f (k) , f (k) = nmero
c,
(5.29)
Hk =
k (t) dr (k) dr (k) + fr (k) fr (k) .
(5.30)
Quantizao cannica
Para o campo ferminico, introduzindo os operadores de campo e momento da mesma
forma que o campo escalar, vemos que, para mantermos a positividade da energia, temos
que utilizar anticomutadores na quantizao. Logo, os operadores de campo e momento
devem obedecer a:
o
n
(y, t) = (x y)
(x, t) ,
n
o n
o
(5.31)
i
1 h 0
0
D D .
H=
2
(5.32)
95
n
o
n
o n
o
(r) (s)
(r) (s)
d(r) , d(s) = rs (k k0 ) ,
dk , dk 0 = dk , dk 0
=0
k
k
n
o
n
o n
o
.
(r) (s)
(r) (s)
0
f(r) , f(s)
(k
k
)
,
f
,
f
=
f
,
f
=
0
rs
k
k
k
k0
k0
k0
(5.33)
k =
H
i
(r) (r)
(r) (r)
k (t) dk dk + fk fk .
(5.34)
r.
dinmica
na seo anterior possvel agora estudar a criao de partculas induzida pelo campo
externo, ou seja a interao entre os campos escalar complexo ou o campo ferminico com
um campo eletromagntico externo.
Como mencionamos a dinmica do efeito Schwinger pode ser descrita por diversas
tcnicas baseadas ou em diferentes descries da TQC, ou em diferentes analogias feitas
para o efeito e que levam a diferentes interpretaes do fenmeno. Apresentaremos aqui
a descrio do efeito Schwinger em trs diferentes mtodos em que a criao de partculas
surge do formalismo de maneiras distintas. Cada uma das descries do efeito Schwinger apresentada tem um intuito diferente. Primeiramente, passaremos por dois mtodos
baseados na matriz S: via teoria de espalhamento, muito utilizada em fsica de partculas, que nos apresenta uma boa descrio do fenmeno para aplicao experimental; e
via transformadas de Bogoliubov, muito utilizada em problemas em presena de campos
gravitacionais, assim como em ptica quntica, ser apresentada com o intuito de fazer
analogia com o problema de criao de partculas na presena de campos gravitacionais,
no Captulo 7. Apesar de ambos basearem-se na descrio da interao atravs da matriz
S, apresentam diferenas no s em sua formulao como na interpretao do resultado,
ou seja, da criao de partculas. Por m, utilizaremos o formalismo dos estados
squeezed,
comumente utilizado na mecnica quntica, mas que tambm aparece em analogias para
problemas com campos gravitacionais, e que utilizamos para ilustrarmos a criao de partculas. Essas tcnicas foram escolhidas, tambm, por serem mtodos mais amplamente
utilizados na literatura e, portanto mais familiares.
96
Esse
mtodo se apresenta como uma outra maneira de quanticar os efeitos induzidos por um
campo clssico externo em um sistema quntico.
Essencial para uma descrio precisa da evoluo temporal de um espalhamento a
localizao das partculas envolvidas no processo ou, no nosso caso, a determinao dos
estados.
seguinte arranjo. Primeiramente, temos um estgio inicial, em que o estado inicial xado
assintoticamente longe do evento no qual o potencial age. Temos que denir tambm um
estgio nal, que ocorre aps o espalhamento, em que o estado nal no sofra inuncia
do potencial espalhador. Ou seja, os estados inicial e nal so estados livres. Temos que
observar que quando trabalhamos nesse formalismo, nossos estados iniciais e nais so
pr-denidos, no sendo possvel estudar a evoluo do estado.
ligado adiabaticamente em tempos nitos. Com isso os campos qunticos inicial e nal
so diferentes e, portanto, seus vcuos tambm sero diferentes, denidos como:
97
ink
(5.35)
S,
ou matriz de espalha-
mento. Matematicamente, como esse conjunto inicial e nal de estados completo, existe
uma transformao unitria,
in
out
e contm toda a
|0iin = S |0iout .
(5.36)
in
out
so relacionados da
forma:
in = Sout S 1 .
A matriz
(5.37)
4
S = lim U (t) = T exp i d xLint (x) ,
(5.38)
t+
em que
U (t)
ralmente. Em toda teoria sem acoplamento derivativo, como o caso, temos que:
Hint (t) =
d xHint =
d3 xLint ,
(5.39)
no
emitir pares:
S0
(5.40)
rando com as equaes (A.16) e (A.17), que a matriz S se relaciona com a parte imaginria
da Lagrangeana efetiva, ou seja, a matriz S computa efeitos de absoro.
Logo, pode-
98
4
Sb = T exp i d xLint (x)
ie
2
= T exp
( A A ) + ieA
,
2
(5.41)
b.
Estamos interessados em calcular a probabilidade vcuo-vcuo, ou seja, a probabilidade de no criar nenhum par. A amplitude de probabilidade associada a essa probabilidade dada por:
S0,b (A) =
X
(ie)n Y
dxi
n n!
2
n=0
i=1
h0| T ( A A ) + ieA2 (x1 ) |0i . . .
h0| T (( ) A A ( )) ieA2 (xn ) |0i .
(5.42)
S0
(5.43)
onde o determinante e o trao so escritos com letras maisculas, pois envolvem integraes em variveis contnuas.
(i)
Assim, em
calcular
(i)
(ii)
(5.44)
99
b =
onde
G0
e2 A2 + 2eP A
(P eA)2 m2 + i
G
=
=
,
b
2
2
2
2
P m + i
P m + i
G0
(5.45)
complexo interagindo com um potencial clssico. Isso pode ser facilmente calculado das
equaes de movimento da Lagrangeana do sistema, vista em (5.3).
Logo, substituindo esses resultados, a amplitude vcuo-vcuo pode ser escrita como:
(P eA)2 m2 + i
S0,b (A) = Det1
P 2 m2 + i
i
h
2
m2 +i
.
= exp T r (P eA)
P 2 m2 +i
(5.46)
A forma da amplitude acima no vlida para qualquer campo externo, uma vez que
o modelo no tem soluo exata para um campo externo qualquer, mas somente em casos
especiais como o de um campo eltrico constante.
(5.47)
X
(ie)n Y
dxi
S0,f (A) =
n!
n=0
i=1
h0in | (x1 ) (x1 ) A (x1 ) . . . (xn ) (xn ) A (xn ) |0in i ,
(5.48)
Det [I f ],
em que determinamos
1
f = e A (x) P m+i
,
S0,f (A) =
100
1
S0,f (A) =Det I e A (x)
P m + i
1
= exp T r ln [ P m]
.
P e A (x) m + i
(5.49)
Assim como no caso do campo escalar, a forma da amplitude acima no vlida para
qualquer campo externo, uma vez que o modelo no tem soluo exata para um campo
externo qualquer.
Como no podemos utilizar as amplitudes de probabilidade (5.46) e (5.49) para o
clculo para um potencial qualquer, vamos colocar essas amplitudes em uma forma mais
geral.
T.
T.
Para
Tb (A) = V + V
T b (A) = V + V
onde
V =
1
G0
G1
T b (A) = Tb (A).
P2
1
Tb (A) ,
m2 + i
(5.50)
P2
1
T b (A) ,
m2 i
(5.51)
T f = 0 Tf 0 ,
Tf (A)
Tf (A) =e A (x) 1 +
P m + i
T f (A)
T f (A) =e A (x) 1 +
,
P m i
(5.52)
T (A) T (A) = i (+) + () ,
com isso, denimos os operadores de densidade de estado:
101
(5.53)
()
2 P 0 P 2 m 2
()
2 [ P + m] (P 0 ) (P 2 m 2 ) ,
(5.54)
clculos o propagador retardado ao invs do propagador livre, todos esses termos cclicos
se anulariam, dado que o propagador retardado nulo no cone de luz futuro, assim como os
termos cclicos. Com isso temos que
= 0.
Gr =
1
,
P 2 m2 +i
temos que:
Det
E no caso ferminico,
Sr =
(P eA)2 m2 + i
P 2 m2 + i
P +m
(P +i)2 m2
!
=1.
(5.55)
1
, logo
P mi
Det I e A (x)
P m i
=1.
(5.56)
|S0 (A)|2
como:
|S0 (A)|2 = exp Tr ln I T (A)(+) T (A) () ,
(5.57)
Uma vez que a probabilidade de no emitir pares pode ser escrita como
eV T ,
em que
o volume,
o tempo e
P0 = e
d4 x
B (x) = hx| ln I T (A)(+) T (A) () |xi ,
(5.58)
F (x) = tr hx| ln I T (A)(+) T (A) () |xi ,
(5.59)
b (x)
F (x)
so densidades
102
bsons,
d4 x tr hx| ln
|
(P 2 m2 + i)
(P eA)2 m2 + i
{z
B (x)
|xi .
(5.60)
Vamos utilizar o mtodo do tempo prprio para computar o logaritmo acima. Nesse
mtodo podemos escrever o logaritmo na forma:
=
ln D
0
h
i
ds
i s .
exp i D
s
B (x) = 2Re
0
Para o campo
para obtermos
(5.61)
dado como:
ds is(m2 )
e
hx| exp is [P eA (x)]2 P 2 |xi .
s
ferminico,
(5.62)
ds is(m2 )
e
F (x) =Re
s
0
n h
io
e
tr hx| exp is [P eA (x)]2 + F P 2 |xi ,
2
[P eA (x)]2 + 2e F
(i e A + m).
(5.63)
Vamos calcular a taxa de criao de pares para um campo puramente eltrico constante. O campo tem que ser puramente eltrico uma vez que a acelerao devido ao
campo eltrico que possibilita s partculas tunelarem pela barreira de potencial
2m.
E2 B2 > 0
103
E = E k ,
(5.64)
A3 (x) = Et ,
(5.65)
trao para bsons e para frmions praticamente o mesmo, diferindo apenas por um
termo extra proporcional ao tensor eletromagntico para frmions. Assim, no caso dos
frmions :
is[[P eA(x)]2 + 2e F ]
tr hx| e
|xi =4 cosh (eEs)
d4 p d4 k i(pk)x
e
(2)4 (2)4
is P 2 P 2 e2 E 2 X 2
0 3
i P P
0 3
iP P
0
eE
e
|ki e eE
hp| e 0 T
2eE
2
2 2 2
=
d h| eis(P0 e E X0 ) |i ,
2 cosh (eEs)
(2)
{z
}
|
(5.66)
(I)
em que, usando
[X0 , P0 ] = i
P0 P3
P0 P3
e
e
[P eA (x)]2 + F = e(i eE ) P02 P2 e2 E 2 t2 e(i eE ) + F ,
2
2
(5.67)
sendo que para o caso bosnico temos a mesma expresso para o trao, desconsideramos
o termo proporcional ao tensor eletromagntico
Para podermos resolver a integral (I) acima, vamos fazer uma analogia com o oscilador harmnico.
i .
correspondncia:
P0 P
(5.68)
X0 Q
(5.69)
2ieE 0
(5.70)
1/2
m0
(5.71)
P02 e2 E 2 X02 P 2 +
02
4
104
Q2 =
P
+
2m20
m02
2
Q2 .
(5.72)
is(P02 e2 E 2 X02 )
d h| e
2
P
m0 02 2
|i =Tr exp is
+
Q
2m20
2
X
=
exp [eEs (2n + 1)]
(5.73)
n=0
1
1
=
.
2 senh (eEs)
(5.74)
1
B (x) =
2 (2)2
h
i
ds
1
1
ism2
,
eE
Re
ie
s2
senh (eEs) s
1
F (x) =
2 (2)2
i
h
ds
1
ism2
eE
coth
(eEs)
,
Re
ie
s2
s
(5.76)
(5.75)
e = 0
em (5.62) e, como o
.
Calculando essa integral complexa em um caminho que engloba o eixo imaginrio
E 2 X (1)n+1
nm2
B =
exp
,
2 2 n=1
n2
|eE|
(5.77)
E 2 X 1
nm2
exp
F = 2
.
n=1 n2
|eE|
(5.78)
Podemos ver que esse resultado sempre maior do que zero mas menor do que um,
ou seja, h uma probabilidade no-nula de criao de partculas. Tanto a frmula (5.78)
do caso ferminico, quanto a frmula (5.77) no caso bosnico apresentam o principal
fator:
2
exp nm
,
|eE|
2m.
Como um campo
magntico constante puro no pode transferir energia para uma partcula carregada, temos
que campos magnticos no criam partculas.
Notemos que as expresses nais da probabilidade de criao de pares, por unidade
de volume e por unidade de tempo, para o caso ferminico (5.78) e bosnico (5.77),
diferenciam, essencialmente, por um fator dois, proveniente do grau de liberdade de spin.
105
F ,
do caso ferminico.
Podemos vericar que, para que o efeito seja observado, so necessrios campos eltricos estticos com energia da ordem de
|eE| m
como conseqncia esse fenmeno (o efeito Schwinger esttico) nunca foi observado.
in
out
in
out,
bert distintos, mas sim dois espaos de Fock distintos. Logo, qualquer estado
in
pode ser
out, e vice-versa, por meio de uma transformao cannica, uma vez que os estados in e out so conjuntos de estados ortonormais. Os
escrito como uma combinao de estados
106
in
out,
in
out ,
in
respectivamente [109].
out,
t +,
respectivamente.
Sendo um
conjunto completo de solues ortogonais, podemos escrever uma como combinao linear
da outra, ou seja, podemos fazer uma transformao conectando esses estados:
= +
in
b out
b out
= +
in
out
= b in b out
= b out + b out
out
out
out
(5.79)
Das relaes de comutao (5.14), impostas na quantizao cannica, podemos ver que,
se
x = y,
temos que:
|b |2 |b |2 = 1 ,
(5.80)
in
= +
in
f out
f out
= +
in
out
out
out ,
= f in f out
= f out + f out
out
out
(5.81)
E nesse caso, de acordo com as regras de anticomutao (5.31), temos que as condies
de Bogoliubov so dadas por:
|n |2 + |n |2 = 1 .
(5.82)
107
e aniquilao.
1
in (x) =
(2)3
in (x) =
1
(2)3
d3 k
Ak eikx + Bk eikx ,
2k
(5.83)
dk X
(r)
ik.x
+Fr (k) v (r) (k) eik.x ,
Dr (k) u (k) e
|
{z
}
|
{z
}
k /m r=1,2
(+)
(5.84)
()
em que
in :
Ak |0in i = Dr (k) |0in i = 0
.
Bk |0in i = Fr (k) |0in i = 0
out
(5.85)
bk
para bsons e
estado
out,
a saber
ak , ak , bk
in, ou seja:
ak |0in i =
6 0 , dr (k) |0in i =
6 0,
(5.86)
bk |0in i =
6 0 , fr (k) |0in i =
6 0.
(5.87)
Isso pode ser visto uma vez que, a partir das decomposies dos campos, ca claro que
podemos tambm relacionar os operadores de criao e aniquilao por uma transformada
de Bogoliubov:
A = x a + x b
k
1k k
2k k
B = x a + x b
k
2k k
1k k
a = x A + x B
k
2k k
1k k
,
b = x A + x B
k
2k
1k
(5.88)
(5.89)
D = y d + y f
k
1k k
2k k
F = y d + y f
k
2k
1k k
d = y D y F
k
2k k
1k k
,
f = y D + y F
k
2k
1k
108
|x1k |2 |x2k |2 = 1 .
(5.90)
|y1k |2 + |y2k |2 = 1 .
(5.91)
x =
b
1k
x =
2k
b
y =
f
1k
y =
2k
(5.92)
1 k
x2k
2 k
1 k
= k x2k + i
x1k .
2 k
ix 1k = k x1k + i
ix 2k
(5.93)
| |2 = hN (t)i , se hN (t )i = 0
b
k
k 1
0
(5.94)
sendo que
hNk (t1 )i
de antipartculas criado, uma vez que so criados pares. Dizemos que, na primeira equao de (5.94), houve uma produo espontnea de partculas e na segunda de produo
estimulada.
Para as
partculas ferminicas :
hNk (t)i = h0| ak (t) ak (t) |0i = hNk (t1 )i + |f |2 1 hNk (t1 )i N k (t1 ) ,
se hN (t )i =
6 0,
k
sendo que
hNk (t1 )i
109
(5.95)
N k (t1 )
desestimulada.
1
hN (t)i =
(2)3
d3 k hNk (t)i .
(5.96)
n
= , p = i ,
|i [, , t].
p i
; e
(5.97)
p i
; e
h|i =
em que
D2 = DD
D2 (, ) (, ) ,
(5.98)
Esse funcional que representa o estado em nosso formalismo pode ser visto como uma
superposio entre um estado geral e esse "estado de base de campo":
(, ) = h, |i .
(5.99)
Assim, determinadas as caractersticas da nossa representao, partimos para a descrio do nosso sistema.
110
Os
auto-estados de qualquer Hamiltoniana quadrtica podem ser escritos como estados gaussianos [109]. Logo, podemos fazer o
ansatz:
0
0
3
3 0
[, , t] = N (t) exp d x d x (x) x, x ; t x
,
em que
Esse
0
x, x ; t
ansatz
(5.100)
hout 0|0in i.
d
= H
(5.102)
dt
3
i
i
2
2 2
= dx
+ (i ) + ieb A i + m eb A
(5.103)
[, , t]
As funes
N (t)
(5.104)
ansatz
(5.100) na equao
N
= T r ,
N
= i2 + i$2 ,
(5.105)
(5.106)
em que:
1 No
forma:
D2 d3 xd3 y + d3 x (a + b) =
1
= det () exp d3 xd3 ya 1 b .
111
(5.101)
d3 x (x).
0
d3 x x, x , t ,
0
2
= d3 y (x, y, t) y, x , t ,
(5.107)
$ = 2 + m2 + 2ieb Ai (x, t) i .
(5.108)
T r =
Temos que lembrar que, em nosso caso, o campo externo depender somente do tempo.
Se formos para o espao dos momentos, considerando esse funcional como uma funo
de innitos componentes de Fourier do campo,
k (k k ) ,
(5.109)
k
podemos reescrever a equao de Schrdinger (5.102) na forma:
1 2 1 2
+ k (t) 2 = i
,
Hk =
2
2 k
2
t
(5.110)
em que a freqncia a mesma que a dada na seo (5.9). O estado gaussiano dado por
k [, , t] = Nk (t) ek (t)k .
As equaes para as funes
Nk (t)
k (t)
(5.111)
em (5.110):
N k
= k , k = i2k + ik2 .
Nk
(t)
(5.112)
e
k (t)
so equaes de
Ricati no lineares. No caso geral, a soluo de (5.112), para cada modo, pode ser escrita
na forma:
k = i
em que
fk
fk
,
fk
(5.113)
fk + k2 fk = 0 .
As funes
N (t)
Nk (t)
(5.114)
h|i = 1.
2 (Re)
Nk (t) =
112
1/2
.
(5.115)
Notamos um fator
1/2,
ao invs do convencional
1/4
Y 2 (Rek ) 1/2
k
tal que
ek (t)k ,
(5.116)
h1 |2 i =
dk dk 1 2
(5.117)
dk dk
2 (Re1,k )
1/2
2 (Re2,k )
1/2
(5.118)
4 (Re1 ) (Re2 )
.
|h1 |2 i| = det
(1 + 2 ) (1 + 2 )
2
Escrevendo
funes
(5.119)
f:
f2,k
f2,k
f1,k f1,k
f1,k
f1,k f2,k f2,k
.
|h1 |2 i|2 = det
out ),
(5.120)
in )
de um
demos ento relacionar essas funes atravs de uma transformada de Bogoliubov como
feito anteriormente, uma vez que o campo externo depende somente do tempo. Assim,
temos que:
(5.121)
,
f1,k = k f2,k k f2,k
(5.122)
ou,
113
|n |2 |n |2 = 1 .
(5.123)
e
f2,k f2,k
f2,k
f2,k
so cons-
tantes e iguais a um. Portanto, temos que a probabilidade de no emitir pares dada
por:
P0,b = det
Como
fk
evoluo de
1
|k |2
= det
1
1 + |k |2
= det
1
1 + hNk (t)i0
.
(5.124)
fk
A=A(x)
d2 k
2
+
k = 0 ,
d 2
| {z }
(5.125)
2 ( )
em que
e
b Etkz
e
eb E
(k2 +m2 )
eb E
Dp (z):
(5.126)
Queremos escolher nosso estado inicial como sendo vcuo para valores de
negativos. Para isso temos que denir um estado adiabtico em relao freqncia
como estado inicial.
muito
( ),
que utilizamos para isso. Com essa aproximao podemos tambm aproximar a forma da
114
soluo.
A aproximao WKB vlida no limite em que:
Q/ 2 1 ,
onde
(5.127)
3 1
Q
4 2
d
d
2
1 d2
,
2 d 2
(5.128)
k + 2 ( ) Q k = 0 .
A funo de modo WKB, soluo de (5.129), dada por
(5.129)
wkb,k =
1
2
exp
Q
1
= 1
2 2
2 1+
52
1
,
2
2 2 2 1 +
(5.130)
e, nos instantes em que essa condio vlida, podemos determinar a soluo aproximada:
k
k
0
0
0
0
= exp i
d + exp +i
d ,
2
2
ini
em que
ini < 0.
(5.131)
ini
/ , |Q/ 2 |
WKB vlida. Com isso, podemos denir bem o vcuo nessas regies,
|0iin
em
out.
in e out,
= 0,
em torno de
0
0
Para determinarmos os coecientes de Bogoliubov, podemos ver que a fase
d ,
ini
com
( )
115
"
#
r
r
0 0
2
ini
2
ini
d =
1+
1+
2
ini
!
!
r
r
2
2
ini
ini
+ ln + 1 +
ln + 1 +
,
que no limite
1,
(5.132)
(5.133)
tende a:
0 0
| |
1
2
| | + |ini | +
ln | | + ln |ini | .
d
2
2
ini
(5.134)
No limite em que
(5.135)
k = k
1
2
2
2
ei(1i)/4 (1 i)(1+i)/2 2ei|ini | /2 |ini |i/2 wkb,k +
i
+ 2
{z
}
(5.136)
2
+ k ei(1+i)/2 + k (1 + i)(1+i)/2 2ei|ini | /2 |ini |i/2 wkb,k ,
|
{z
}
(5.137)
e como
k = 1
k =
k = 0
k :
1
2
+ i
2
1
2 ei(1i)/4 (1 i)(1+i)/2 ei|ini | /2 |ini |i/2 ,
2
2
(5.138)
k = k ei(1+i)/2 .
(5.139)
e, usando os
|k |2 = 1 + e , |k |2 = e ,
(5.140)
P0b .
hN (t)i
116
P0b = det
1
1 + e
= exp Tr ln 1 + e .
Tr
d 3 x,
(5.141)
obtemos:
"
b E 2 X (1)n+1
nm2b
P0b = exp V T
exp
2 2 n=1
n2
eb E
#
(5.142)
= exp [V T b ] .
(5.143)
Esse resultado o mesmo que o apresentado por Schwinger em seu artigo original e
equivale ao obtido via teoria de espalhamento, apresentado aqui.
Para calcularmos o nmero de partculas criadas temos, de (5.94 ), que:
"
hNk (t)i0 = e
k + m2
= exp
eE
#
.
(5.144)
com o intuito de
termos uma viso grca da criao de partculas. Nesse formalismo iremos apenas reexpressar as transformaes de Bogoliubov de uma maneira diferente. De forma ilustrativa
vamos somente expressar esse resultado para o campo escalar.
Partindo de (5.90), podemos reparametrizar esses coecientes de Bogoliubov da forma:
em que as quantidades
rk , k
(5.145)
(5.146)
so funes do tempo e
rk (0) = k (0) = 0.
Essas
k
cos 2k ,
k
k
= 2k sen2k coth 2rk ,
k
1 k
= k
sen2k tanh 2rk .
2 k
2rk =
2 k
117
(5.147)
squeezing :
hNk (t)i = cosh2 rk .
(5.148)
2
k (k = 0, 1
kz = 0, 01)
2 Na
verdade esse a densidade de nmero de partculas. Para seu valor total preciso integrar essa
quantidade como mostrado em (5.96).
118
Captulo 6
Efeito Schwinger Dinmico
Neste captulo vamos estudar o anlogo dinmico do efeito Schwinger, em que a criao
de partculas ocorre devido aplicao de um campo varivel com o tempo, em lugar
de um campo esttico.
Schwinger esttico ocorrer, vericamos que seriam necessrios campos eltricos estticos
muito fortes, da ordem de
Ec =
m2 c3
e~
1, 4 1016 V /cm.
de serem criados, dado que mesmo a tecnologia atual de lasers ainda est algumas ordens
de magnitude abaixo desse valor, e a criao de campos eltricos estticos um desao
ainda maior.
Portanto, interessante generalizar esse efeito.
Schwinger esttico o efeito Schwinger dinmico (ESD), no qual o campo externo aplicado
varia com o tempo.
O problema da produo de pares por um campo externo inomogneo j havia sido
apontado por Schwinger em 1954 [120] . Contudo, esse efeito somente foi estudado a partir dos anos 1970. Quando se comeou a pensar nesse problema, logo se percebeu que a
forma do potencial utilizado inuenciaria muito no resultado, uma vez que no possvel
resolver o problema para qualquer tipo de potencial. Havia o interesse claro de computar
a criao de partculas no caso de lasers para que o efeito fosse descrito num contexto
mais prximo da fsica experimental. No caso de lasers, a forma do campo eltrico externo senoidal,
ou cossenoidal, em que
a freqncia do campo
calcular o efeito. Essa aproximao foi estudada detalhadamente por Brezin e Itzykson
[74], baseado no trabalho de L. V. Keldysh [73], e por Popov e Marinov [121].
Nesse
caso, o efeito Schwinger dinmico chamado de efeito Schwinger oscilatrio (ESO). Esse
ser nosso caso de estudo.
vitacional (veja o captulo 7), utilizando campos externos tambm oscilatrios, mas de
origem gravitacional. Esse caso tambm importante j que, com a recente melhoria na
119
em que
esse efeito utilizando a descrio via transformadas de Bogoliubov. Eles vericaram que,
para um campo externo desse tipo, as equaes de Dirac e Klein-Gordon se reduzem a
equaes hipergeomtricas e podem ser facilmente resolvidas.
Finalmente, alguns anos depois, Popov [153], via clculo da Lagrangeana efetiva, derivou a probabilidade de produo de pares exata para um campo eltrico com dependncia
temporal arbitrria. Para esse campo vericou-se que o problema se reduz a encontrar o
comportamento assinttico da soluo de uma equao clssica simples do tipo oscilador
harmnico.
Posteriormente, uma nova classe de fenmenos de criao de partculas dinmica (ou
criao de partculas por sistemas qunticos com parmetros dependentes do tempo) comeou a surgir. Esses fenmenos surgiram tambm como generalizaes de um outro fenmeno de instabilidade do vcuo quntico: o efeito Casimir. O efeito Casimir [96, 97, 98]
consiste, simplicadamente, no surgimento de uma fora entre placas paralelas no vcuo,
devido s utuaes do vcuo. O efeito Casimir dinmico (ECD) o fenmeno de criao de ftons a partir do vcuo, quando essas placas movem-se aceleradamente. Ele se
assemelha ao efeito Schwinger dinmico, uma vez que fronteiras mveis, ou as condies
de contorno de fronteiras mveis, so equivalentes a potenciais dependentes do tempo.
Isso foi sugerido por Munier
de massa
et al
que uma dessas paredes estava em movimento. Nesse trabalho, os autores resolveram o
problema sujeito a condies de contorno da parede mvel. Contudo, fazendo transformaes cannicas apropriadas, vericaram que, na equao de Schrdinger do problema,
surgia um termo dependente do tempo no lado direito da equao. Isso corresponde exatamente ao problema de um campo livre em presena de um campo externo dependente
do tempo. Assim, surgiu a analogia entre o que seria chamado de efeito Casimir dinmico
e o efeito Schwinger dinmico. Isso nos leva a concluir que a analogia entre problemas
em um campo externo aplicado com mtricas de fundo (como mtricas no estticas ),
assim como com paredes mveis, tambm pode ser feita para o fenmeno de criao de
120
Radiao) [127]. Devido analogia entre os ECD e o ESD, e, uma vez que o ESD ainda
tem que esperar pela prxima gerao de lasers, o ECD surge como a grande esperana
de vericao experimental da criao de partculas dinmica.
Neste captulo iremos calcular o efeito Schwinger oscilatrio, em que o campo externo
aplicado tem um comportamento oscilatrio. Descreveremos esse efeito em dois formalismos: via teoria de espalhamento, baseado no trabalho de Itzykson e Brezin [74], e via
transformaes de Bogoliubov. A descrio via teoria de espalhamento feita nesse captulo de forma completa, seguindo um mtodo derivado do mtodo Schwinger. Apesar de
ser muito extensa, sua principal motivao pode ser vista no nal do clculo, em que os limites em que a criao de partculas ocorre so determinados. Em seguida, investigaremos
o caso central do captulo e que deve ser considerado com mais ateno, em que a criao
de partculas determinada via transformadas de Bogoliubov. Como mencionamos, para
o potencial que iremos utilizar no temos um resultado analtico para descrevermos o
problema via essas transformadas. Com isso, desenvolvemos nesse trabalho um mtodo
analtico baseado no mtodo utilizado para o pr-aquecimento [46], para o clculo via
transformadas de Bogoliubov do efeito Schwinger oscilatrio. Esse mtodo ainda no foi
aplicado na literatura no caso do efeito Schwinger oscilatrio e fornece uma maneira muito
mais clara e direta de determinao desse efeito. A importncia desse formalismo reside
no fato de que a partir dessa descrio que faremos a analogia com a criao de partculas no pr-aquecimento no Captulo 7. Apresentamos, como uma extenso do formalismo
via transformada de Bogoliubov, a descrio da criao de partculas via formalismo dos
estados
O mecanismo de criao de partcula que est presente em cada formalismo tambm ser
discutido.
Em seguida, passaremos para a descrio do ECD via formalismo de Bogoliubov. Faremos a exposio do fenmeno de maneira simplicada em 1+1 dimenses (uma dimenso
espacial e uma temporal), utilizando condies de contorno de Dirichlet nas fronteiras e
em 3+1 dimenses determinando o nmero de partculas criadas no regime de ressonncia paramtrica para o modo TM. Estabelecido o formalismo do efeito, descreveremos o
experimento que o mais forte candidato para vericao do ECD, e com isso, da criao de partculas dinmica: o experimento MIR do grupo de Pdua, na Itlia. Dessa
121
descrio extensa e detalhada, temos como principais componentes que devemos nos ater
a analogia com a criao de partculas no efeito Schiwnger oscilatrio e a determinao
do nmero de partculas criadas, importante para o entendimento da possibilidade de
vericao experimental desse efeito pelo experimento MIR.
Contudo, seu
principal resultado que queremos obter e que ser utilizado na dissertao so seus limites
de observao.
Impomos que o campo externo aplicado um campo puramente eltrico oscilatrio
com dependncia apenas temporal, o que nos permite obter as caractersticas principais
do fenmeno sem perda de generalidade. Exigimos tambm que esse campo seja igual a
zero para tempos grandes, ou seja, que ele seja adiabaticamente ligado e desligado em
um tempo nito. Com isso, possvel associar o problema com um espalhamento de uma
onda livre em um potencial oscilatrio, descrito por uma equao de Lippmann- Schwinger
unidimensional. Com isso em mos, ser possvel utilizar o mtodo semiclssico, ou WKB,
para obtermos as solues do problema.
Aps estabelecido o problema, obteremos a taxa de criao de partculas utilizando os
resultados obtidos na Seo 5.2.1 para campos arbitrrios.
122
0 m.
eE m2 .
Quando formos
calcular a taxa de criao de partculas, por meio de (5.58), veremos que essa condio nos
diz que os termos que correspondem criao de mais de um par podem ser ignorados.
Essa limitao satisfeita por todos os feixes de lasers existentes. interessante perceber
que, no clculo oscilatrio, diferentemente do esttico, a prpria condio do problema
j nos fornece condies de energia para que o efeito seja energeticamente possvel de ser
observado.
Vamos considerar o sistema de um campo escalar complexo interagindo com um potencial oscilatrio, dependente do tempo com freqncia
Esse
com freqncia
d
2
+ k (t) k (t) = 0 ,
dt
2
k2 (t) = k
+ m2 + (k3 eA (t))2 .
(6.1)
B (x) = hx| ln I T (A)(+) T (A) () |xi ,
T (A)
V = 2k3 A (t) + e A (t).
T (A)
(6.2)
V,
mensional [107]:
d2
2
+ (t) = V (t) (t) .
dt2
(6.3)
Essa analogia pode ser feita, uma vez que por hiptese, o potencial amortecido
adiabaticamente para tempos grandes e, assim, longe do potencial, em
estados so livres (ondas planas). Logo, o potencial
|t| ,
os
de curto alcance. Isso estabelece o problema como um espalhamento descrito pela equao
de Lippmann-Schwinger. Contudo, essa equao descreve um espalhamento diferente do
usual, uma vez que o papel da varivel de congurao feito pelo tempo.
Com esse tratamento dado ao problema, podemos escrever a taxa de criao de partculas em uma forma que pode ser melhor interpretada por essa nova descrio em funo
da equao de Lippmann-Schwinger. Sabendo que podemos escrever a probabilidade como
4
P0 = eW = e d x B , ento temos que:
123
dW
=
dV
dt
0
d4 k d4 k 0 hk 0 | T (A)(+) T (A) () |ki ei(pp )x ,
(6.4)
matriz, temos que a probabilidade por unidade de volume de no emitir pares dada por:
1
dW
=
dV
2
p
= p2 + m2
matriz |h| T |i|
com
e onde
|i
d3 p
2
2 |h| T |i| ,
(2)
(6.5)
k0 .
O elemento de
bra
Assim, necessrio
eit + beit , t
(t)
aeit , t + .
(6.6)
(t) = 0 (t)
(6.7)
Ento, fazendo uma transformada de Fourier, podemos reescrever essa soluo da forma:
1
0
(t) = e
+
dt0 ei(tt ) V (t0 ) (t0 )
i
f +it
= eit +
e
,
it
em que
f = h| T |i.
(6.8)
124
b=
h| T |i , (a 1) =
h| T |i .
i
i
(6.9)
dW
1
=
dV
(2)3
Logo, precisamos identicar o coeciente
d3 k |b|2 .
(6.10)
b.
Queremos escolher nosso estado inicial como sendo um estado livre, para
t .
k
eA (t) (k3 eA (t))
=
3/2 ,
k2
2
m2 + k
+ (k3 eA (t))2
(6.11)
que representa o parmetro WKB, em primeira ordem, podemos ver que para os estados
assintticos (em
|t| ),
E0
k
< eE0 < eE0 1 ,
2 m2 + k 2
m2
k
|t| ,
(6.12)
eE0 m2 .
Assim, como a
Como feito na Seo 5.2.2, nos instantes em que (6.12) vlida, podemos escrever a
soluo geral da equao de Klein-Gordon na forma:
wkb
(t) =
(6.13)
t
0
dt0 (t0 ).
Nessa soluo
que so
() = 1, (+) = 0 ,
125
(6.14)
que so as condies de contorno do problema. Logo, substituindo essas condies de contorno na soluo geral e relacionando as solues assintticas (6.6) com o comportamento
assinttico de (6.13) , podemos determinar os parmetros
aeb
de Bogoliubov:
n
o
a = (+) exp i + dt [ (t) ]
n
o
b = () exp 2i 0 dt [ (t) ] .
(6.15)
dW
1
=
dV
(2)3
d3 k | ()|2 .
(6.16)
(t)
(t).
impor mais condies sobre esses coecientes, de tal forma que a determinao de um
coeciente seja suciente para determinarmos ambos. Assim, vamos impor condies em
(t)
ser um nmero imaginrio. Assim, derivando a soluo geral podemos divid-la em uma
parte real e uma imaginria e sabemos que a parte real dessa derivada tem que ser igual
a zero. Com isso, temos a condio:
i = 0 .
e
i + e
(6.17)
(t)
i
ei ei .
e =
(t)
(6.18)
h
i
= (t)
( e2i )
2(t)
h
i
= (t)
( e2i ) .
2(t)
(6.19)
Essas equaes obedecem a algumas condies. Para obt-las temos que lembrar que,
como sabemos que o campo externo adiabaticamente ligado e desligado em tempos
nitos, ento, quando
, constante.
|t| (t) 0.
e2i
,
0
coecientes e
126
(t)
= (t) (t)
.
(0)
(t) =
(t)
1/2
, (0) (t) = 0.
= h| T |i,
(a 1) i
(6.20)
temos que:
+ h
i
1/2
i
h| T |i =
exp i
dt 2 + V (t)
1 .
(6.21)
partculas, uma vez que a direo da onda incidente a mesma da nal, em analogia com
o espalhamento de partculas. A criao de partculas corresponde a uma amplitude de
espalhamento para trs,
h| T |i
(0)
(t),
que
+
(t0 ) 2i(t0 )
e
.
=
dt0
2 (t0 )
(6.22)
t
Para podermos calcular a probabilidade por unidade de volume de no criar partculas,
vemos que precisamos determinar o mdulo da amplitude de espalhamento para trs. Com
|h| T |i| =
| ()|,
o que segundo a
dW
=
dV
+
2
0
d p
(t ) 2i(t0 )
0
dt
e
.
2 (t0 )
(2)3
3
(6.23)
T /2
T /2.
127
dW
dV dT
1
T T
= lim
+T
/2
0
d3 p
(t
)
0
0
2i(t )
dt
e
.
2 (t0 )
(2)3
T /2
(6.24)
Podemos, agora, colocar a forma explcita do campo externo oscilatrio que vamos
utilizar. Esse campo um campo puramente eltrico da forma
potencial, portanto
A (t) =
E0
0
Seu
cos (0 t) .
2 #1/2
eE0
(t) = m2 + p2 + p3
cos 0 t
.
0
"
(t),
(6.25)
podemos integr-la:
t
dt0 (t0 )
(t) =
0
"
2 #1/2
eE
d (0 t)
0
cos 0 t
m2 + p2 + p3
=t
2
0
|0
{z
}
2 #1/2
eE
d (0 t)
0
+
m2 + p2 + p3
cos 0 t
2
0
2
|
{z
}
"
(t)
= t + (t) ,
em que a funo
(t)
(6.26)
malizada.
Substituindo essa decomposio na taxa de criao de partculas (6.24) e expandindo a
parte peridica em uma srie de Fourier,
(t)
e2i(t)
2(t)
as integrais obtendo:
128
in0 t
, podemos realizar
n= cn e
+T
/2
3
1
dp
0
in0 t 2i(t0 )
dt cn e
e
= lim
T T
(2)3
n=
T /2
+
d3 p X
2
= 0
n
|cn |2
2
(2) n=
0
d3 p |c |2
eE
d3 p |c|2
,
= 0
0
2
(2)2 0
(2)2 0
+
X
(6.27)
a soma discreta em
X
(t) 2i(t)
e
=
cn ein0 t
f (0 t) =
2 (t)
n=
a expanso de Fourier, seu coeciente dado, substituindo
1
c =
2
i 2
x
dx f (x) e
n 2/0 ,
(6.28)
por:
, x = 0 t .
(6.29)
Logo, como:
0
cos
x
senx p3 eE
0
2i(t)
,
f (x) =
2 e
eE0
2
2
m + p + p3 0 cos 0 t
(6.30)
c=
dx
2
exp
eE0
0
senx p3
2
2
m + p + p3
2i x
0
"
dx0
cos x
eE0
0
cos 0 t
2i[t+(t)]
2 e
2 #1/2
eE0
m2 + p2 + p3
cos 0 t
,
(6.31)
|c|2 .
perodo 2
2/0
c = 2iImc1 .
129
2
dy
exp y 3/2 =
2y
3
du u 2
e = i,
2u
3
(6.32)
e1
1
= 0
9
d3 p 2A
e
cos2 B .
(2)2
(6.33)
Podemos analisar em (6.33) que a exponencial decrescente indica que os pares tendem
a ser emitidos com momento pequeno. Com isso podemos estimar essa taxa seguindo os
seguintes passos:
p3
cos2 B
0 2
1/2
1
.
m + p2
x0 = + i sinh1
2
| eE
{z
}
(6.34)
2 (m2 + p2 )
A=
eE
1
0
x0
dado, obtemos:
1 y2
dy
2
2
2
2 2 ,
2
1 + y 0 m + p /e E
{z
}
|
(6.35)
4
g (z) =
1
dy
1 y2
.
1 + z2y2
(6.36)
0
A normalizao dessa funo escolhida de forma que
o
g (0) = 1.
(eE)3
=
1802
em que o parmetro
= m0 /eE
eE 2
du u exp 2 u g (u) ,
0
(6.37)
u g (u)
(0 /m)
(eE/m2 ),
e importante
eE 2
eE 2
m2
u
g
(u)
g
()
=
g () 1 .
02
02
eE
130
(6.38)
1
m2
E 2
exp
g () .
=
2 g () + 12 g 0 ()
eE
(6.39)
Esse resultado mostra a probabilidade por unidade de volume e por unidade de tempo
de no criar partculas.
Com isso, a partir de
1
1. Na
o limite de campo forte e baixa freqncia que o caso do campo constante em que
; o limite de campo fraco e alta freqncia que o limite perturbativo com
Figura 6.1, podemos ver como a funo
g ()
g (),
retirada de [74].
Limites
g
4
g (z) w
sinh1 . Para o limite
1
em que pequeno, essa expresso diverge por um fator . Assim, para cada um desses
4
Podemos aproximar de forma uniforme a funo
por
w
w
E 2
2
E 2
8
2
exp m
, 1
eE
4m/0
eE
, 1.
2m0
(6.40)
Veremos que esse resultado retoma o resultado do efeito Schwinger esttico no limite
de baixas freqncias e campo alto, exceto por um fator
2m/0 .
Com isso, podemos vericar os limites experimentais necessrios para que se observe
131
criao de pares. Para observarmos pares, o fator na exponencial de (6.39) deve ser menor
do que um, caso contrrio a criao de partculas exponencialmente amortecida. Com
isso, a condio para a criao de partculas :
eE & m2 g () ,
(6.41)
eE &
em que recolocamos as contantes
~,
m0 c
,
sinh (~0 /4mc2 )
(6.42)
iguais a um, mas que so necessrias para uma previso numrica do limite de criao de
partculas.
46, 6GeV /c eltrons com pulsos pticos de laser com potncia da ordem de
132
et al.
lidade da vericao do efeito Schwinger so o ELI [128] e o GSI, com o laser PHELIX
[129], ambos em construo.
Um modelo que visa diminuir a energia necessria para a vericao do efeito Schwinger foi proposto por R. Schtzhold (2008) [130]. Nele estuda-se a criao de partculas
do vcuo de Dirac induzida por um campo eltrico forte e que varia lentamente (efeito
Schwinger esttico), que sobreposto por um campo eltrico fraco e rapidamente varivel
(Efeito Schwinger dinmico). Seu impacto combinado aumenta signicativamente a taxa
de criao de partculas no regime subcrtico, regime no qual os dois efeitos separados seriam fortemente suprimidos. Ilustrando esse mecanismo, pensemos que ele age da seguinte
forma: o campo eltrico forte diminui a barreira para a criao dinmica de partculas
ou, alternativamente, o campo eltrico fraco gera sementes adicionais para o mecanismo
de Schwinger esttico. Esse mecanismo da combinao dos dois efeitos pode ser muito
importante para a observao do efeito Schwinger nessa nova gerao de lasers.
Alguns autores armam que o efeito Schwinger ser primeiramente observado de maneira indireta em sistemas astrofsicos como estrelas de quarks [131] e estrelas de nutrons
[132].
Nosso
interesse com a descrio do efeito por esse formalismo , alm de demonstrar um mtodo
mais direto para o clculo do ESO, fazer a analogia com sistemas submetidos a campos
gravitacionais, ou mtricas no estticas. Essa descrio tambm faz um paralelo com a
descrio do ECD, que ser apresentada na prxima seo. Dessa forma, faremos aqui os
clculos somente para o campo escalar.
Nesta seo apresentaremos o clculo do ESO utilizando o mtodo das transformadas de Bogoliubov.
133
x3 ,
da forma:
E0
sen (0 t)
0
(6.43)
Aplicando esse potencial nas equaes de movimento (5.10), da Subseo 5.1 , eles cam
da forma:
k + k2 (t) k = 0 ,
(6.44)
k2
E0
(t) = k + m + 2ek3 sen (0 t) (ie)2
0
2
eE0
2
2
= k + m + k3 +
sen (0 t)
0
2
2
E0
sen (0 t) .
0
(6.45)
A equao (6.44) com freqncia dada por (6.45) conhecida como equao de Hill.
Podemos ver isso se considerarmos
onde
z = 0 t/2,
em que obtemos:
1
d2 k
+ 0 + 2 cos 2z + cos 4z k = 0 ,
dz 2
2
e2 E 2
0
02 0 = k32 + 2 0 , = 4eE20 k3 e = 2eE
.
(6.46)
k3
0
k3 + eE
sen (0 t)
0
do eixo.
k3 = 0,
estaremos simplesmente transladando o potencial para que seu mnimo seja em zero. Ao
invs disso, podemos tambm utilizar a condio
que adotamos inicialmente no Captulo 4.
todas as componentes de
k,
mas o termo
A = k3 A3 = 0, do calibre de Coulomb
k3 A3
some da equao.
ltima condio.
Esse argumento conrmado matematicamente, uma vez que, na anlise do comportamento da equao de Hill, utilizamos as equaes de Mathieu para vericarmos os
regimes estabilidade ou instabilidade. Isso feito, pois essa anlise quase no apresenta
diferena para essas duas equaes [133].
134
Assim, podemos reduzir nossa equao de movimento para os modos para uma equao
da forma:
e2 E02
2
2
2
k + k + m + 2 sen (0 t) k = 0 ,
0
(6.47)
k2 (t) = k 2 + m2 +
e2 E02
sen2 (0 t) .
02
(6.48)
k.
Logo, para
0 t = z ,
que faz
em que
d 2 k
+ (Ak 2q cos 2z) k = 0 ,
dz 2
2
(m2 +k2 )
eE0
Ak =
+
2q
e
q
=
. O fato de podermos
2
2 2
0
(6.49)
a uma equao de Mathieu nos traz informaes sobre o sistema, uma vez que suas
solues exibem caractersticas especiais como uma estrutura de bandas de ressonncia,
determinadas pelos valores de
A e q.
Existe
uma quantidade muito grande de solues para esta equao, quer sejam peridicas e
no-peridicas, que no podem ser escritas em termo de funes elementares. Como os
coecientes da equao so peridicos, aplica-se o teorema de Floquet, que arma que uma
equao diferencial com coecientes peridicos admite uma soluo peridica da forma:
k = u (z, ) eN z ,
em que
o ndice de Floquet e
(6.50)
Essas solues apresentam uma estrutura de bandas de ressonncia que, dependendo dos
valores de
Figura 6.2: Espao de fase da equao de Mathieu. Podemos ver a estrutura de bandas de
instabilidade e estabilidade que as solues apresentam. A escala do grco arbitrria. O
ou
q 1,
ressonncia ampla (
k.
eE0
0
<
de
narrow ), em que
eE0
0
> 0
ou
q 1,
temos um regime de
Nesse regime vemos que a amplitude de oscilao maior que sua freqncia.
Por outro lado, podemos ver que a condio para criao de partculas obtida na seo
anterior, (6.42), corresponde a:
m2
eE0
&
4
1,
02
02
|{z}
(6.51)
1
senh
0 /m 1.
Com essa
de (6.42),
eE0
mc
mc
4m2
>
'
'
.
02
0 senh (~0 /4mc2 )
0 ~0 /4mc2
02
(6.52)
Podemos utilizar o resultado obtido para frmions no caso de bsons, uma vez que, como
visto no Captulo 5 , eles diferenciam somente por uma constante multiplicativa.
Ou seja, a condio de criao de partculas
ampla (
broad ).
corresponde
condio de ressonncia
de ressonncia ampla.
136
Assim,
vamos estudar somente esse regime, que no pode ser resolvido pelos mtodos usuais de
resoluo do caso da ressonncia estreita (
narrow ) [133].
A estratgia
broad,
fsica mais interessante da ressonncia paramtrica. Apesar de j ter sido utilizado para a
determinao da criao de partculas em [46], apresentamos aqui sua primeira utilizao
no efeito Schwinger oscilatrio.
Esse mtodo basea-se no fato de que
tculas no cresce entre os instantes em que o campo externo aplicado igual a zero,
A (tj ) = 0 , j = 1, 2, 3....
no-adiabtica.
Conectamos
mudana na freqncia deixa de ser adiabtica. Isso pode ser visto tambm, e de maneira
mais precisa, com ajuda do parmetro adiabtico, ou parmetro WKB, denido na Seo
5.2.2, equaes (5.127) e (5.128). Assim, nos instantes (e em sua vizinhana) em que o
potencial oscilante aplicado zero, temos a violao da adiabaticidade,
|Q/ 2 | & 1,
podemos ver na Figura 6.3. So nesses instantes que temos a criao de partculas.
137
como
Figura 6.3: Mostramos nesse grco, em vermelho, o formato do potencial externo aplicado. Em verde representamos a freqncia e em azul o parmetro WKB (divido por 30
para ser compatvel com a escala). Pode-se observar que nos instantes em que o campo
muito pequeno, temos a violao da adiabaticidade (WKB). Nesses instantes que ocorre
a criao de partculas.
tj
nk ,
nk
tj
in
out
para cada
k + k 2 + m2 + e2 E02 (t tj )2 k = 0 ,
(k2 +m2 )
= eE0 (t tj ) e = eE0 , que nos fornece, para cada j :
(6.53)
d2 k
+ + j2 k = 0 ,
2
d
| {z }
de
(6.54)
2 ( )
que equivalente equao (5.125). Com isso, reduzimos nosso problema da resoluo de
uma equao de Mathieu com potencial oscilatrio para um problema de espalhamento
138
tj ).
t1
j=1.
Sabe-
tambm, da Seo 5.2.2, que para denirmos o nmero de partculas criadas precisamos
somente denir o estado inicial, desde que o nal seja tambm adiabtico.
denimos o estado
in
Com isso,
1
wkb,k = exp i
2
0 0
d ,
(6.55)
ini
que soluo de (5.129) no instante
in.
Podemos ver aqui claramente que reduzimos nosso problema quele da Seo 5.2.2,
para cada oscilao do campo externo. Assim, como feito anteriormente, nos instantes em
que a condio de adiabaticidade vlida, a soluo do problema dada pela aproximao:
(1)
(0)
(0)
(6.56)
(0)
(0)
em que esses instantes so menores que t2 e k e k so os coecientes de Bogoliubov,
2
2
(0)
(0)
com k k = 1. O rtulo (0) nos coecientes de Bogoliubov acima denotam que
essa a primeira oscilao do campo.
Como nosso estado inicial o vcuo adiabtico, temos que
limite (
lim
/
(0)
k
= wkb,k ),
k = 1
k = 0
nesse
(1)
Nk
(0) 2
= k ,
(6.57)
(0) 2
,
k = e
(6.58)
tj
tj ,
antes do espalhamento em
dado por:
(j)
(j)
(j)
(6.59)
em que os coecientes
(j)
espalhamento, no intervalo
(j+1)
k
em que
(j+1)
(j+1)
(j)
(j+1)
( ) ' k
(j+1)
wkb,k
wkb,k ( ) + k
so constantes no intervalo
Logo, aps o
( ) ,
(6.60)
(0)
(0)
para o campo:
(j+1)
(0)
(0) (j)
( ) ' k k ( ) + k j
k ( ) ,
(6.61)
(j+1)
k
(j+1)
k
(0)
(0)
k k
(0)
(0)
k k
(j)
k
(j)
k
!
.
(6.62)
Por meio dessas relaes de recorrncia, o nmero de partculas criadas dado por:
(j+1) 2
nj+1
=
k
k
(0) 2
(0) (j) (0) (j)
= njk + k 1 + 2njk + k k k k .
(0) (j) (0) (j)
= njk + e 1 + 2njk + k k k k .
{z
}
|
(6.63)
(6.64)
termo de fase
nj
j+1.
j,
nmero de partculas ir crescer ou decrescer, uma vez que o todo o problema depende
da interferncia das funes de onda, ou seja, da correlao ou anticorrelao da fase
entre espalhamentos sucessivos. Isso ocorre uma vez que a criao de partculas em um
campo externo varivel no so autoestados do nmero de partculas do estadosim um estado-
in squeezed
in,
mas
ao decrescimento do nmero de partculas. Uma vez com isso presente, iremos estudar na
prxima seo esse mesmo problema, porm utilizando o formalismo de estados
squeezed.
A estrutura dos resultados obtidos nos permite vericar que a criao de partculas,
140
que ocorre a cada oscilao do campo externo aplicado, ocorre entre plats de estados
adiabticos, nos quais o nmero de partculas aumenta. Ou seja, pela forma de (6.64),
podemos ver que o nmero de partculas uma funo do tipo degrau, que cresce em
e
tj+1
tj
criaes de ordem mais alta teriam a mesma forma, com a diferena que o nmero de
partculas no estado anterior, responsvel pela estimulao, seriam maiores, pois levariam
em conta que a primeira criao de partculas considera o nmero de partculas inicial.
squeezing.
Figura 6.4: Nmero de partculas criadas no tempo. No grco observamos que as partculas so criadas nos instantes em que h violao do parmetro WKB.
141
Seo anterior, a criao de partculas ocorre em ciclos e tem um comportamento de degrau, ou seja, sempre ocorre entre dois instantes adiabticos, em que a ao do campo
praticamente nula.
O nmero de partculas cresce em geral. Contudo, em alguns ciclos podemos ver que
o nmero decresce, como mencionado na Seo 6.2 devido a fase do estado anterior, e
aparece naturalmente no formalismo de estados
squeezed.
142
Apesar de
Naquele trabalho,
Moore concluiu que haveria criao de partculas, contudo essa criao seria muito pequena. Muitos trabalhos posteriormente dedicaram-se, baseados na descrio de Moore,
tarefa de aumentar essa taxa de criao para que o efeito fosse detectvel.
Law, em 1994, considerou pela primeira vez condies de ressonncia no ECD [137].
Essas condies amplicam muito a criao de partculas. No entanto, os primeiros clculos foram feitos de maneira perturbativa ou numrica.
Dodonov e A.B. Klimov [147] foram feitos os primeiros clculos analticos do efeito, utilizando o formalismo das transformadas de Bogoliubov.
O problema da cavidade em uma dimenso o modelo mais simplicado para se
estudar esses problemas de TQC com condies de contorno. No caso de uma cavidade
em trs dimenses (3+1 dimenses) o problema mais desaador.
A generalizao do
efeito em uma dimenso foi feita em [139, 140, 141, 142]. Esse problema importante,
uma vez que sua modelagem mais prxima s situaes reais de cavidade.
Um outro sistema, que consiste em um espelho (condutor) nico movendo-se aceleradamente no vcuo, tambm considerado um tipo de efeito Casimir dinmico e foi
considerado, principalmente por P.A. Maia Neto [143]. O ECD tambm foi estudado em
diferentes geometrias [144].
Convm ressaltar que o ECD somente ocorre se o espelho estiver se movendo aceleradamente.
143
em 3+1 dimenses, trs espaciais e uma temporal. Vamos demostrar aqui o efeito em 1+1
dimenses e em 3+1 dimenses, ou seja, o movimento de uma parede de uma cavidade.
Esse sistema a descrio terica simplicada do problema experimental que veremos
abaixo.
(t, x),
dada por:
L=
em que
1
2
"
a massa do campo.
2
2
#
m2 2 ,
(6.65)
campo,
1
S=
2
dt
"
dx
2
2
#
m2 2 ,
(6.66)
I(t)
que est connada em um intervalo dependente do tempo
Por ser um
problema com fronteiras, temos que impor condies de contorno para o campo nos pontos
nais do intervalo. Diferentes condies podem ser impostas no problema, dependendo
do sistema fsico em considerao. Algumas das condies de contorno mais usadas nesse
tipo de problema so:
144
Neumann :
(t, 0) =
(t, l (t)) = 0,
x
x
(t, l (t)) = 0 , ou
Mista(DirichletNeumann) : (t, 0) = x
(t, 0) = (t, l (t)) = 0.
x
(6.67)
"
2
2
#
m2 (t, x) = 0, com (t, 0) = (t, l (t)) = 0 ,
(6.68)
2
rador Laplaciano,x , reais, dependentes do tempo
{n (t, x)}
de autovalores:
I(t)
(6.69)
n2 (t),
e sujeitas s condies
qualquer tempo .
Para determinarmos essas autofunes, supomos que as placas estejam paradas, em
um intervalo esttico
[0, l0nq
]. O
2
sen
l0
n
x
l0
o
, com
n=1,2,...,
com autovalores
(n/l0 )2 ,
condies de contorno para qualquer instante , o que as fora a ser dependentes do tempo.
Assim, as autofunes de nosso problema podem ser escritas como:
s
n (t, x) =
com freqncia
n (t) =
2
sen [n (t) x] ,
l (t)
(6.70)
n
e que satisfazem s condies de ortonormalidade e completeza
l(t)
requeridas. Isso nos permite expandir o campo escalar nessas autofunes introduzindo
as funes de modo (variveis cannicas)
qn (t):
145
(t, x) =
qn (t) n (t, x) .
(6.71)
n
Inserindo essa expanso em (6.68), multiplicando por
e utilizando as condies
qn + 2n (t) qn 2
2n (t) = n2 (t) + m2
para obtermos as
qn :
Mnm (t) qm +
i
Xh
M mn (t) Nnm (t) qm = 0 ,
m
em que
I(t)
(6.72)
m
e
como:
dx n (t, x) m (t, x) =
Mnm (t) =
l(t)
2nm
m2 n2
se n 6= m
0 se n = m
I(t)
Nnm (t) =
l(t)
(1)n+m
dx n (t, x) m (t, x) =
Mnk Mmk .
(6.73)
I(t)
Mnm (t).
efeito de acelerao.
squeezing
Mnm
Mnm (t),
l(t).
depende do
antissimtrica, assim
Como vimos acima, esse simples modelo de um campo escalar em 1+1 dimenses j
nos fornece as caractersticas mais importantes encontradas no ECD.
Dessa forma, podemos generalizar o problema para um caso mais realstico: o de uma
146
E (t, x) = 0 , B (t, x) = 0
E (t, x) = t B (t, x) , B (t, x) = t E (t, x) .
(6.74)
(6.75)
x
apontando na direo x, isso impe condies de contorno no
em que
Ek = 0 x
E=0
(6.76)
B = 0
x B = 0,
(6.77)
respectivamente.
Dadas essa condies, se considerarmos agora um dos espelhos em movimento, na
direo
E(T E) (t, x) x
= 0 e B(T M ) (t, x) x
= 0. Com isso,
(T E)
(T M )
podemos denir tambm potenciais vetores A
eA
que do origem a esses campos.
transverso magntico (TM), com
A(T E) (t, x) x
=0
A(T M ) (t, x) x
= 0.
147
(6.78)
a posio do espelho
t0 , a posio do
espelho considerada como sendo xespelho = l (t0 ) (t t0 ) + l (t0 ), em que l (t0 ) a posio
0
do espelho em t0 . Logo, o referencial comvel de Lorentz, S (t0 ), no qual as condies de
contorno devem ser impostas, est relacionado com S (t0 ) via transformaes de Lorentz.
mvel dada por
xespelho = l (t),
S (t0 ),
S (t0 ).
0
0
0
t0 A(T E) t = 0, x = 0, xk = 0 ,
0
0
0
(T M )
0
x A
t = 0, x = 0, xk = 0 ,
em que as coordenadas com
x0 = (x + vt )
(6.80)
d/dt
(6.79)
, com
= 1/ 1 v 2 ,
t0 = (vx + t ) =
A(T E) t, x = l (t) , xk = 0 ,
(x + vt ) A(T M ) t, x = l (t) , xk = 0 ,
(6.81)
(6.82)
sendo que no modo TE, como a derivada total era igual a zero, ento o potencial ser
igual a uma constante, que pode ser igual a zero, sem perda de generalidade.
Aqui, chegamos a um importante resultado. Como pudemos ver acima, os modos TE
so sujeitos a condies de contorno de Dirichlet e os modos TM esto sujeitos a condies
de contorno de Neumann generalizada, ou seja, condies de contorno de Neumann e
derivada temporal.
Com isso em mos, consideremos agora a cavidade retangular feita de paredes perfeitamente condutoras com dimenses
(lx = l (t) , ly , lz ),
das condies de contorno derivadas acima que o modo TE pode ser relacionado com um
campo escalar sujeito a condies de contorno de Dirichlet. Analogamente, isso pode ser
feito para o modo TM e as condies de contorno de Neumann generalizadas. Com isso,
podemos descrever a dinmica de um campo eletromagntico em uma cavidade retangular
como um problema de um campo escalar com condies de contorno separadas para as
polarizaes:
148
Figura 6.6: Cavidade tridimensional com paredes perfeitamente condutoras, em que uma
(t, x) = 0, com
paredes =
0, modo TE
(6.83)
( + v ) |
x
t
x=l(t) = x |paredes estticas , modo TM
n (t, x) =
e para
t 0,
1
(3)
2n (t)
s
r
2
nx
2
ny
2
nz
cos
x
cos
y
cos
z ,
lx
lx
ly
ly
lz
lz
t > 0:
(6.84)
n (t, x) =
1
(3)
2k
2
kx
cos
x
l (t)
l (t)
s
r
2
2
ky
kz
cos
y
cos
z ,
ly
ly
lz
lz
149
(6.85)
em que
(kx , ky , kz ) > 0
(3)
4(3) ,
do tempo:
v
2
2
u
u nx 2
ny
ny
(3)
n (t) = u
.
+
u l (t) +
ly
ly
t
{z
}
|
(6.86)
kk2
Cada modo
n = (nx , ny , nz ).
m (t, x)
2
(t) qn = 2 (t)
qn + (3)
n
2 (t) l2 (t)
Mnm qm
Nnm (t) qm
i
Xh
(t) l2 (t) (t) Qnm qm
Nnm
m
(6.87)
(t) l2 (t)
Nnm t qm ,
m
em que os coecientes de acoplamento so dados por [82, 156]:
Mnm
l(t) ly lz
n (t, x)
= l (t) dx dy dz
m (t, x)
l (t)
0
0
0
(1)nx +mx 2nx mx
, se nx 6= mx ,
m2x n2x ny my nz mz
=
, se n = m ,
ny my nz mz
Qnm
(6.89)
l(t) ly lz
= dx dy dz v n (t, x) m (t, x) ,
0
(6.88)
(6.90)
l(t) ly lz
h 00
i
0 0
2
(3) 2
= l (t) dx dy dz v m v n (t, x) m (t, x) + 2v n (t, x) m (t, x) ,
0
0
(6.91)
150
exibiria o mesmo tipo de acoplamento que o caso anterior unidimensional [156, 82].
Contudo, utilizamos o modo TM, uma vez que em todos os modos TE temos
nx = 0.
ly , lz
Com esses resultados em mo, podemos calcular o nmero de partculas (ftons) criados. Vamos discutir aqui alguns resultados analticos conhecidos.
t < tin
t > tout ,
tin
tout ,
Primeiramente
em que a fronteira
tin
in : in
n = n (t < tin ) = const 6= 0,
out : out
n = n (t > tout ) = const 6= 0, Mnm (t > tout ) = 0 ,
(6.92)
em que, como feito anteriormente, a congurao inicial no tem que ser igual nal.
Podemos escrever, como feito para o campo na Seo 5.2.2, as variveis cannicas em
funo dos operadores de criao e aniquilao no estado
out.
in
e, separadamente, no estado
in
out
nos permite escrever o nmero de partculas criadas da forma (5.94), como j obtida
anteriormente na Seo 5.2.2, para o caso em que o estado inicial vcuo. Para a criao
estimulada, no ECD, vemos que a frmula (5.94) vlida, faltando apenas um termo
vindo do acoplamento dos modos.
O caso em que temos solues analticas para um movimento oscilatrio da parede:
(6.93)
cav = 2in
n .
squeezing,
como
feito na Seo 5.2.2.4, com parametrizao invertida em relao feita na Seo 5.2.2.4.
Logo, o nmero mdio de ftons no modo TM criados, ou para a criao de partculas
escalares com condies de Neumann, para os modos no-desacoplados
151
k,
dado por
[155]:
n
Nn (t) = sinh (n t) , com n = in
n
2
2
.
l0
(6.94)
dimenso [147] obtiveram um valor para o nmero mdio de partculas criadas que crescia
linearmenteno tempo.
6.3.3 Experimentos
O ECD o fenmeno de criao de partculas que apresenta propostas experimentais de
sua vericao viveis para um futuro prximo. Dessa forma, representa uma esperana
para a vericao experimental da criao de partculas dinmica, o que validaria tambm
o ESD, uma vez que a analogia entre os efeitos clara.
O conhecido efeito Casimir foi vericado experimentalmente em 1997 por Steve K.
Lamoreaux do Laboratrio Nacional de Los Alamos [157, 158] e por Umar Mohideen
da Universidade da Califrnia e seu colega Anushree Roy [159], em que as diculdades
experimentais de se realizar um arranjo experimental de duas placas paralelas foi vencido
utilizando um sistema de uma placa e um esfera, para garantir o paralelismo.
Contudo, o ECD, no qual uma das placas acelerada de forma no-uniforme, ou
de forma mais conhecida, quando a superfcie uma superfcie metlica e passa a oscilar, ainda no foi experimentalmente observado.
svel obter-se um experimento com uma cavidade com uma parede mvel.
As maiores
freqncias atingidas atualmente para um movimento mecnico esto na faixa dos giga
hertz e seguindo a necessidade do efeito Casimir dinmico de amplicao paramtrica,
isso implica em cavidades em microondas com dimenses na faixa de 1cm a 1m. Temos
ainda que o movimento mecnico de uma das paredes dessa cavidade requer uma quantidade muito grande de energia. Por exemplo, se a parede de um cavidade feita de um
152
3 108 W
para mover
et al
das paredes ainda no foram realizados. Com isso, vamos expor o experimento MIR, que
apresenta uma alternativa para as oscilaes mecnicas da parede substitudas por um
movimento induzido, com o uso de um supercondutor. Esse experimento j est montado
e em fase nal de testes, como vamos ver abaixo.
et al.
[162]
153
Figura 6.7: Esquema do experimento MIR, em que podemos ver o mecanismo que produz
o movimento da parede, em que o supercondutor, devido ao laser pulsante incidente, muda
suas propriedades de totalmente reetor para totalmente transparente [127].
O arranjo experimental dividido em sistema de laser, cavidade ressonante com semicondutor, cmara de recepo e aquisio de dados. Podemos ver pela Figura 6.8, que
o esquema experimental da cavidade consiste em uma cavidade de niobium de dimenses
9 1 8 cm3
uma camada de
GaAs
Nb.
GaAs
103
104
pulsos em
1a8
est totalmente reetora, ela se comporta como um espelho; quando ela est totalmente
transparente, a parede de niobium que faz o papel de espelho, dando a impresso de
que o espelho foi deslocado.
154
Convm salientar que esse arranjo experimental permite uma grande variao dos
parmetros experimentais como a temperatura, podendo assim vericar possveis efeitos
trmicos e alteraes nas previses do efeito Casimir dinmico a temperaturas mais altas; a
freqncia do laser e, conseqentemente o movimento efetivo do espelho, vericando assim
o comportamento para freqncias diferentes da freqncia de ressonncia paramtrica; e
diferentes materiais e grossuras do espelho.
Alguns problemas experimentais ainda esto sendo resolvidos. Os referentes ao laser,
ao semicondutor e deteco so os principais.
timo, sendo necessrio serem determinados qual o mnimo sinal (nmero de partculas)
que possvel ser detectado e um rudo da radiao de corpo negro. Algumas medidas
foram feitas e estima-se que, considerando esses efeitos, a sensibilidade de deteco de
aproximadamente 100 ftons.
155
Sabendo que, se zermos uma estimativa da quantidade de ftons que ser possvel
detectar no experimento, utilizando parmetros realsticos experimentalmente e as estimativas tericas feitas por V. V. Dodonov
et al.
N > 103
por pulsos do laser. Com isso, vemos que a sensibilidade do experimento muito boa.
No ano de 2008, os ajustes nais do experimento ainda estavam sendo feitos, bem
como suas calibraes. O grupo responsvel acreditava que resultados preliminares seriam
medidos no nal de 2008, assim uma estimativa mais que otimista para a comunidade
cientca de resultados para 2009.
156
Captulo 7
Anlogos Cosmolgicos
Introduzimos nos captulos anteriores a teoria da inao que resolve os problemas do
MCP e tambm nos fornece uma explicao para a criao das pertubaes iniciais responsveis pela formao das estruturas em larga escala de nosso universo.
Para isso a
teoria da inao combina a relatividade geral e a teoria quntica, sem esbarrar no problema da necessidade de uma teoria da gravitao quntica.
campos qunticos interagindo com campos externos clssicos que no caso do efeito Schwinger eletromagntico e no caso cosmolgico gravitacional, somente mudando a origem
do campo externo aplicado.
Essa analogia de grande importncia, uma vez que a vericao experimental em
Terra dos efeitos de criao de partculas eletromagnticos evidenciaria a possibilidade
de existncia do mecanismo cosmolgico equivalente, o que relevante uma vez que esses mecanismos inacionrios de criao de partculas so cruciais para o entendimento
moderno sobre a origem e a evoluo do universo e ainda permanecem como previses
puramente tericas. Como vimos nos Captulos 5 e 6 esses efeitos esto prximos de serem
detectados experimentalmente.
Vamos primeiramente mostrar a equivalncia entre os mecanismo de criao de partculas estticos, mostrando que possvel escrevermos o processo inacionrio com equaes
anlogas ao efeito Schwinger esttico. Em seguida passaremos para o efeito dinmico, em
que mostraremos que as equaes de criao de partculas do pr-aquecimento naturalmente apresentam a mesma forma do efeito Schwinger oscilatrio.
157
(ou
densidade de nmero de partculas criadas) como feito nos captulos do efeito Schwinger ao
invs dos observveis usuais de cosmologia, o espectro de potncias ou funo de correlao
de dois pontos, que so utilizados no contexto cosmolgico, uma vez que so relacionados
com sua possibilidade de observao. Contudo, para o estudo dos mecanismos de criao
de partculas, o observvel a ser utilizado deve ser o nmero de partculas criadas, uma
vez que essa criao ocorre fora do equilbrio trmico e esse observvel um
invariante
adiabtico.
criao de partculas deve ser muito forte para que o mecanismo de criao seja eciente.
No universo primordial temos que o campo gravitacional muito forte, da ordem de
H/mpl 105 .
Dessa
158
1
S [] =
2
d4 x gg .
(7.1)
na forma:
1
S [] =
2
h 0
i
d4 x a2 () 2 ij i j .
(7.2)
Vamos fazer uma transformada de Fourier do campo escalar para podermos estudar
modo a modo o problema. No caso vamos reescalonar os modos de Fourier por convenincia por um fator de
a1 (),
obtendo:
1
(, x) =
a ()
em que como o campo escalar real,
d3 k
3/2
(2)
k = k .
k () eikx ,
(7.3)
1
S=
2
k =
1
2
dk
I
R
k + ik
0
R
k
2
0
Ik
2
0
a R R
0
k k + Ik Ik
2
a
'
(7.4)
R3+
+
h
0
i
a2
2
R 2
I 2
k
k + k
.
a2
R,I
k .
pR,I
k =
R,I
k :
0
L
R,I
k
= R,I
a R,I
.
a k
(7.5)
159
0
0
1
a R R
a I I
1
R 2
I 2
2
2
R 2
I 2
+
,
p k + 2 k pk + k k
pk + 2 k pk + k k
dk
2
a
2
a
3
H=
R3+
(7.6)
que, como a Lagrangeana, consiste na soma de duas Hamiltonianas para a parte real e
para a parte imaginria.
Nosso intuito comparar essa Hamiltoniana que descreve um campo escalar em um
espao-tempo curvo com a Hamiltoniana do efeito Schwinger (5.12). Essas Hamiltonianas diferem por termos lineares no momento canonicamente conjugado.
Contudo, essa
diferena apenas aparente e essas Hamiltonianas descrevem processos semelhantes. Podemos ver que se incluirmos na Lagrangeana em (7.4) um termo de derivada total da
forma:
0
0
1 d a
a
R 2
I 2
+
,
2 d a k
a k
(7.7)
1
S=
2
dk
0
R
k
2
0
Ik
2
h
00
i
a
2
R 2
I 2
k
k + k
,
a
(7.8)
R3+
em que
00
k2 () = k 2 a /a,
00
00
1
a
1
a
2
2
R 2
R 2
I 2
I 2
dk
k
k
pk +
k
+
pk +
k
.
2
a
2
a
3
H=
(7.9)
R3+
Agora podemos ver que a Hamiltoniana e a Lagrangeana acima tm a mesma forma que
a do efeito Schwinger esttico, (5.8) e (5.12), de um oscilador paramtrico com freqncia
dependente do tempo, que equivale ao processo de um campo escalar quntico em presena
de um campo externo. Isso pode ser visto tambm anteriormente quando calculamos as
perturbaes escalares e tensoriais durante a inao no Captulo 4 que obedecem ao
mesmo tipo de Lagrangeana que a do efeito Schwinger.
Contudo, como esse campo externo diferente em cada caso, a dependncia temporal
da freqncia tambm diferente em ambos os casos, mas eles descrevem essencialmente
o mesmo mecanismo. Assim, as Hamiltonianas (7.6) e (7.9) so sicamente idnticas e
descrevem a mesma teoria em duas verses conectadas por uma transformao cannica:
(7.6) tem a forma que emerge naturalmente no caso das perturbaes cosmolgicas e (7.9)
160
tem a mesma forma que o efeito Schwinger esttico. Isso nos faz ver que a viso de um
campo em presena de um fundo dependente do tempo e a de um campo interagindo
com um potencial gravitacional so anlogas.
la
Schwinger
na verdade o campo
1
S=
2
dk
0
R
k
2
0
Ik
2
00
i
a h R 2
2
2 2
I 2
k +a m
k + k
,
a
(7.10)
R3+
que equivalente ao do efeito Schwinger esttico, com freqncia
00
a2 m2 a /a.
k2 () = k 2 +
a () =
1
.
HI
(7.11)
m2
2 2 .
HI
(7.12)
k2
Essa massa muito pequena,
1
() = k 2
m mpl
Podemos ver aqui, novamente, a equivalncia entre a equao de movimento que descreve o efeito Schwinger esttico e a equao da qual poderemos calcular a criao de
partculas da inao (perturbaes) acima. Essa equivalncia pode ser vista tambm ao
vermos que as perturbaes cosmolgicas, (4.111), que obedecem s mesmas equaes de
movimento de um oscilador paramtrico que o efeito Schwinger esttico, conrmando que
o mesmo mecanismo de criao de partculas est presente em todos os casos, somente
mudando a origem da fonte clssica.
Temos que, no caso de efeito Schwinger esttico, a freqncia dependia do tempo
como
t2
1/ 2 .
Essa
161
z.
k, sendo preferencial
k.
00
k + k2 () 2k = 0 ,
(7.13)
Quantizao Cannica
Podemos fazer o procedimento de quantizao cannica do caso inacionrio de maneira
anloga ao feito para o efeito Schwinger esttico, uma vez que representam o mesmo
mecanismo. Assim, vamos promover o campo quntico, que nossa varivel cannica, e
o momento canonicamente conjugado a operadores e impor as regras de comutao em
tempos iguais:
i
h
0
0
= i x x ,
(, x) , p , x
(7.14)
(, x) =
em que
a
k
a
k
d3 k
(2)3/2
h
i
k () a
k eikx + k () a
k eikx ,
o,
(7.15)
segunda quantiza-
a
k , a
k0
= kk
(7.16)
k k k k = i ,
(7.17)
que representa o wronskiano das solues clssicas, que nos permite xar a amplitude de
162
k ()
Com esses operadores, a Hamiltoniana do sistema pode ser escrita na forma diagonal:
k = 2 () a
H
k a
k .
k
(7.18)
a
k |0i = 0 , k .
(7.19)
a
k |0i = |1ki ,
(7.20)
e todos os outros estados do sistema podem ser construdos a partir desse operador de
criao.
Como visto anteriormente, no caso em presena de um campo externo, a invarincia
translacional, no espao e no tempo, quebrada e assim no podemos denir uma base
ortonormal nica. Ou seja, o estado de vcuo denido em (7.19) agora dependente da
base em que a quantizao foi feita e tem direo temporal denida e isso que possibilita
a criao de partculas.
Nosso interesse calcular o nmero de partculas criadas. Como feito no Captulo 4,
na Seo 4.2 e no Captulo 5, sabemos que o valor do operador nmero de partculas em
um tempo inicial
1 ,
|0, 1 i
mas diferente de
2 :
k (1 ) |0, 2 i =
h0, 2 | N
6 0.
(7.21)
a
k (2 )
a
k (2 )
em que os
!
=
k k
k k
a
k (1 )
a
k (1 )
!
,
(7.22)
a:
|k |2 |k |2 = 1 .
Dessa forma, sabemos que o nmero de partculas criadas dado por:
163
(7.23)
(1)
Nk
E
2
| ( , )|2 .
k
1 2
=
hN (t )i + | |2 (1 + 2 hN (t )i) , se hN (t )i =
6 0
k 1
b
k 1
k 1
(7.24)
de Hankel
funes
k () =
C1 H(1) (k) + C2 H(2) (k) ,
(7.25)
em que os coecientes da combinao podem ser xados pela normalizao (7.17) e com
coeciente:
9 m2
.
4 H2
(7.26)
partculas
um
nmero de
Isso consistente com o que vimos no Captulo 4, que as utuaes qunticas no comeo
da inao se comportam como ondas planas num espao-tempo de Minkowski.
164
Esse
resultado pode ser visto tambm da soluo da equao de movimento (7.25), em que, no
limite assinttico para
z k 1,
nos fornece:
h
i
,
k () exp i z
2
4
(7.27)
Q/ 2 1 ,
com
(7.28)
00
k + k2 () Q k = 0 .
(7.29)
Para o nosso caso, em que a freqncia dada por (7.12), temos que:
1 6 (k/)2
Q
1
=
,
2 42
2 3
1 (k/)
em que
(7.30)
= (m2 /HI2 ) 2.
Figura 7.1:
m2 1025 ,
ou seja,
2.
k ,
a adiabaticidade no violada.
Podemos ver na Figura 7.1, que a condio WKB violada em instantes de tempo
nitos, sendo que no innito passado,
165
k
k
0
0
0
0
= exp i
d + exp +i
d ,
2
2
ini
(7.31)
(7.32)
ini
wkb,k
Para o estado adiabtico inicial,
1
exp k d .
=
2k
k ,
(7.33)
utilizando as expanses assintticas da funo de Hankel nesse limite, dadas por (C.1) e
(C.2). Podemos determinar os coecientes
k2
() = k 2/
, tomando
C1
C2
1
wkb,k () =
2k
i
exp (ik) ,
1
k
(7.34)
que o vcuo de Bunch-Davies [62]. No Captulo 4 j havamos visto que o estado inicial
da inao era o vcuo de Bunch-Davies. Esse um resultado de extrema importncia que
decorre naturalmente da anlise WKB, uma vez que a fase inacionria implica na validao do mtodo WKB para o universo jovem e, conseqentemente, garante que podemos
escolher um estado de vcuo inicial bem denido, no caso o vcuo de Bunch-Davies.
uma vez que a condio adiabtica no obedecida. Isso signica que no estado nal a
curvatura ainda sentida e no podemos denir um estado de vcuo nico nesse limite.
Sabendo que o comprimento de onda correspondente a um modo de Fourier dado
por:
() =
em que
2
a () ,
k
(7.35)
a2
,
a0
k 0,
lH () =
os comportamentos nos limites
lH ,
(7.36)
correspondem s escalas
lH
dentro do horizonte, uma vez que como o comprimento de onda muito pequeno em
166
lH ,
lH ,
k 0,
mais vlida . Logo, no possvel aplicarmos a aproximao WKB, como feito no caso
do efeito Schwinger, para determinarmos os estados iniciais e nais adiabticos entre os
2
V () = m2 2 /2,
2/3
, imitando um
a (t) = am
0 t
a () 1/ , < < 0,
2
como a () , 0 < .
Q 1 1 6 (k)2
=
3 0 , k ,
2 4
1 (k)2
(7.37)
1 Esse problema anlogo ao conhecido problema de como a frmula de Balmer para os nveis de energia
do tomo de hidrognio pode ser reconstruda pela aproximao WKB. Como no caso inacionrio, no
limite em que r 0, a aproximao WKB no mais vlida [64].
2 Apesar de apresentar esse problema, mtodos baseados na aproximao WKB, so utilizados para o
clculo das perturbaes cosmolgicas, em que o problema em k 0 contornado. Eles representam
um novo mtodo de aproximao diferente da aproximao de rolagem lenta usualmente utilizada em
cosmologia inacionria. Podemos ver esse mtodo em [65].
167
vlida.
Dessa forma, os estgios adiabticos inicial (
in )
out )
e nal (
criao de partculas so bem denidos e a soluo WKB vlida. Com isso, possvel
calcular os coecientes de Bogoliubov da maneira usual feita para o efeito Schwinger
esttico, e determinar o nmero de partculas criadas na inao
Ninf l = |k |2
(nenhuma
V () = 4 /4,
teramos
7.2.1 Pr-aquecimento
O pr-aquecimento o perodo em que partculas escalares so criadas. Dessa forma, para
podemos descrever esse modelo, temos a Lagrangeana em que o inaton acoplado ao
168
campo escalar
(, m )
[46]:
1
1
1
1
1
1
L = m2 2 + m2 2 g 2 2 2 + R2 ,
2
2
2
2
2
2
em que
so constantes de acoplamento,
(7.38)
a curvatura do espao-tempo.
V () 21 m2 ( )2 ,
21 g 2 2 2 se transforma
o termo de interao
em
em
mpl ,
como
visto no Captulo 3. Dessa forma, essa amplitude inicial muito maior que qualquer outro
parmetro como
V () = 12 m2 2 .
(x, t) =
d3 k
(2)3/2
k (t) eikx ,
(7.39)
a
k + 3 k + k 2 + m2 R + g 2 2 k = 0 .
a
(7.40)
Vamos considerar tambm que somente criamos partculas leves durante o pr-aquecimento,
ou seja, que quando
= 0,
a massa do campo
m m .
m m
possvel, mas fortemente suprimida. Por isso, durante o pr-aquecimento para que seja
possvel termos a produo de partculas necessria para termos o universo trmico atual,
as partculas criadas tm que ser partculas leves para que o processo seja eciente.
A criao de partculas mais eciente se
como vimos na Seo 3.3. Assim, podemos considerar uma primeira aproximao em que
ignoramos a expanso do universo fazendo
a = 1.
1
1
1
1
L = m2 2 + g 2 2 2 .
2
2
2
2
(7.41)
169
Quantizao Cannica
Como feito inmeras vezes nessa dissertao, para quantizarmos canonicamente esse sistema, denimos o momento canonicamente conjugado a
p=
e promovemos as variveis
k k
pk = k pk ).
como:
L
= 0 = ,
0
(7.42)
i
(t, y) = i (x y) ,
(t, x) ,
(7.43)
com todos os outros comutadores iguais a zero ou, para as variveis no espao de Fourier,
[k , pk0 ] = k k
(, x) =
(2)3/2
na representao de Heisenberg:
ikx
dk a
k k (t) e
a
k k
ikx
(t) e
(7.44)
em que passamos para os operadores de criao e aniquilao o papel de operador. Aplicando as regras de quantizao, teremos que esses operadores tm que obedecer a:
a
k , a
k0
= kk
(7.45)
com os outros comutadores iguais a zero. Essas regras de comutao somente so vlidas
se os modos
(7.46)
que representa o wronskiano das solues clssicas. Essas variveis obedecem, ento, a
equao de movimento:
k + k 2 + m2 + g 2 2 k = 0 ,
em que
(7.47)
m m.
(7.48)
k + k 2 + m2 + g 2 2 sen2 (mt) k = 0 .
(7.49)
170
k2 = k 2 + m2 + g 2 2 sen2 (mt).
forma:
em que
z = mt
d 2 k
+ (Ak 2q cos 2z) k = 0 ,
dz 2
(7.50)
k 2 + m2
g 2 2
+
2q
,
q
=
.
Ak =
m2
4m2
(7.51)
e:
z.
so equivalentes.
Essa armao pode ser feita tambm se examinarmos as Lagrangeana que descrevem
ambos os sistemas.
1
1
ie
1
L = m2 + [( ) A A ( )] + e2 A2 ,
2
2
2
2
em que
(7.52)
A = 0
termo que diferencia as duas descries dos sistemas que est no termo que contm um
derivada primeira. Podemos mostrar facilmente que, se considerarmos um campo escalar
no complexo no efeito Schwinger oscilatrio, anlogo ao do pr-aquecimento, da forma:
1
1
1
L = m2 2 + ie ( ) A + e2 A2 2 .
2
2
2
(7.53)
Esse termo de derivada primeira do campo pode ser retirado da Lagrangeana subtraindo
uma derivada total da forma:
1
ieA 2 .
2
(7.54)
Esse termo equivale a soma de um termo nulo uma vez que, pelo teorema da (quadri)divergncia, o termo dentro da derivada total se anula na superfcie innita.
171
A e q, correspondem
q 1,
broad )
g > m
ou
q 1,
temos um regime de
broad ).
estreita (narrow )
maior que sua amplitude, ou seja, o inaton oscila mais rapidamente em torno do mnimo
de seu potencial e a amplitude dessas oscilaes menor.
que esse regime ocorre depois de um certo nmero de oscilaes do inaton, em que sua
energia j decaiu quase completamente com a criao de partculas.
Podemos analisar
esse perodo pelos mtodos usuais de tratamento da equao de Mathieu em que aplica-se
o teorema de Floquet, que arma que uma equao diferencial com coecientes peridicos
(a de Mathieu) admite uma soluo peridica da forma:
k = u (z, ) ek z ,
em que
o ndice de Floquet e
(7.55)
172
q 1,
k m.
qz
k ek mt e 2 e
g 2 2
8m
(7.56)
ou seja, esse modo cresce exponencialmente. Nesse caso, o nmero de partculas criadas,
que corresponde a um processo de ressonncia com decaimento de duas partculas de
inaton
com momento
k m,
cresce exponencialmente
[46]:
k
nk =
2
| k |2
+ |k |2
k2
g 2 2
1
e2k mt e 4m .
2
(7.57)
q 0, 1
Figura 7.2: Figura retirada de [46], que mostra o logaritmo do nmero de partculas
criadas em um modelo sem expanso do universo. Esse um simulao em que
e o tempo dado em termos do nmero de oscilaes do inaton,
m/2 .
As pequenas
k 1,
sendo que
o nmero de partculas criadas por esse regime no seria o suciente, contando a durao
do reaquecimento, para reaquecer o universo.
Dessa forma, temos que considerar o regime de ressonncia larga (broad), em que a
criao de partculas eciente e que responsvel pela criao de praticamente todas as
partculas elementares do universo.
173
2q
q 1,
A =
modos com
k 2 /m2 = A 2q .
A = 2q traada, correspondente
correspondem aos valores de k dentro dessas
k = 0.
bandas de instabilidade.
A criao de partculas no regime de ressonncia ampla ocorre durante uma parte
da oscilao do inaton, quando
1 cos z q 1
[45].
pelo acoplamento dos campos e essa sempre menor que a massa do inaton,
g 2 2 /2 < m.
m2ef f, =
m ,
g
m,
desde que a
m2 /m.
Contudo, nesse regime de ressonncia no podemos aplicar os mtodos usuais de resoluo aplicado no regime estrito. Para isso, vamos adotar um mtodo analtico para a
resoluo desse sistema [46]. Utilizamos o mesmo mtodo analtico na resoluo do efeito
Schwinger oscilatrio.
Como visto, utilizaremos o mtodo analtico em que o campo
abtica dada pelos instantes em que o campo externo aplicado igual a zero,
0 , j = 1, 2, 3...,
A (tj ) =
modelo de inao catica. A criao de partculas ocorre entre esses instantes, que tm
evoluo no-adiabtica. Com isso, podemos formular a teoria da criao de partculas
em um campo oscilatrio em termos da aproximao adiabtica (WKB) ou semi-clssica,
em que o nmero de partculas criadas dada pelo coeciente de Bogoliubov derivado da
passagem entre dois estados adiabticos.
Como o inaton oscila em torno do mnimo de seu potencial quadrtico, quando ele
passar no mnimo, o que equivale a no termos um campo externo aplicado no modelo
do efeito Schwinger oscilatrio, temos de
O q
1/2
174
k (t),
A massa
mef f, (t) = g (t) muito maior que a massa do inaton m durante grande parte
perodo de oscilao de . Dessa forma, podemos ter uma variao adiabtica dessa
efetiva,
do
|Q/ 2 | & 1.
& 1.
2
(7.58)
Figura 7.3:
Durante a maior parte do tempo temos que a freqncia varia lentamente, ou seja,
que
||
2.
||
& 2 , em que a freqncia est na vizinhana de seu
inaton) em tj = j/m, j = 1, 2, . . . , temos que a massa do
175
inaton se anula. A condio adiabtica violada fortemente nesses instante e pode ser
reescrita da forma:
4t/4t
& 1,
k 2 4t2 + (4t/4t )2
em que consideramos um pequeno intervalo
1/2
4t ' (gm)
4t m1
1
=
m
g
m
(7.59)
na vizinhana de
tj
e com:
1/2
.
(7.60)
4t 4t
prximos de
tj , [tj 4t , tj + 4t ]
p
gm .
(7.61)
4t 1 ,
na Figura 7.63 acima, e consistente com o princpio da incerteza e nos faz ver a origem
totalmente quntica dessas perturbaes do vcuo.
tj
k + k 2 + m2 + g 2 2 (t tj )2 k = 0 ,
uma vez que
(t tj )
(7.62)
tj .
em que
k/k
d2k
2
2
+
j k = 0 ,
d 2
j (t tj ) /4t (desconsiderando m
(7.63)
que muito pequeno). Essa
equao anloga equao (5.125), em que o mtodo WKB utilizado para um campo
externo esttico. Isso possibilita utilizarmos o mtodo WKB em cada oscilao.
No instante inicial, a soluo o vcuo adiabtico, em que
( lim
/
(0)
k
= wkb,k ),
k = 1
k = 0,
dada por:
wkb,k
1
= exp i dt ,
(7.64)
176
(0)
k
(1)
k (t) = exp i
2
(0)
k
dt +
exp +i
0
em que
(0)
(0)
dt ,
(7.65)
(0) 2 (0) 2
k
k = 1.
O rtulo
(0) nos coecientes de Bogoliubov acima denotam que esse o primeiro espalhamento do
campo. Como calculado no Captulo 5, temos que:
|k |2 = 1 + e , |k |2 = e .
2
(7.66)
tj
dada por:
(j)
k
(j)
k (t) = exp i
2
(j)
k
dt +
em que
tj ,
kj
kj
(j+1)
Aps o espalhamento em
dada por:
(j+1)
k
(t) =
exp i
2
(j+1)
k
dt +
(j+1)
(j+1)
dt .
exp +i
0
em que
(7.67)
a soluo em
dt ,
exp +i
(7.68)
so constantes no intervalo
(j+1)
(0) (j)
(0) (j)
(t) = k k + k k
(7.69)
(j+1)
k
(j+1)
k
!
=
=
em que
k = 2
tj
0
!
!
(0)
(0)
(j)
k k
k
(0)
(0)
(j)
k k
k
!
2
1 + e2 eik
ie(/2) +2ik
2
ie(/2) 2ik
1 + e2 eik
dt + arg kj arg kj
k = arg
1+i2
2
2
2
(7.70)
(j)
k
(j)
k
1 + ln 22
(7.71)
177
tj
dado por:
nj+1
k
(0) 2
(j+1) 2 (0) 2
(0) (j) (0) (j)
j
= k = k + nk 1 + 2 k + k k k k
(0) 2
(0) (j) (0) (j)
j
= nk + k 1 + 2njk + k k k k
q
p
2
2
j
= njk + e 1 + 2njk 2e(/2) 1 + e2 njk 1 + njk sentotal
,
|
{z
}
(7.72)
(7.73)
(7.74)
termo de fase
em que:
j
total
= k k .
(7.75)
A criao estimulada foi considerada em todos os instantes exceto no inicial que foi
considerado como sendo vcuo. Contudo, se pensarmos que tnhamos inao antes do
pr-aquecimento, ento, como vimos na seo anterior, temos nosso estado inicial no praquecimento no vcuo, mas sim um estado adiabtico contendo
l
ninf
k
partculas. Dessa
forma, a criao de partculas ser ainda maior, uma vez que no primeiro espalhamento
teremos criado:
(1)
nk
(0) 2
(0) 2
inf l
= k + nk
1 + 2 k .
(7.76)
No nosso caso em que temos ressonncia paramtrica larga sem expanso do universo,
sabemos que os parmetros
q , 2
tj
k =
/m
k dt =
k dt ,
tj1
178
kj = k . j ,
com:
(7.77)
em que
/m
de sua oscilao.
q,
ou
seja, para a ressonncia no regime largo. Isso pode ser visto pela coincidncia das bandas
de instabilidade/estabilidade que obtemos pelo mtodo analtico em comparao com a
resoluo numrica da equao de Mathieu da forma pelos mtodos usuais [46].
Para visualizarmos explicitamente as bandas de ressonncia obtidas pelo mtodo analtico, temos que determinar o parmetro
k ,
relaes de recorrncia obtidas acima. Vamos fazer isso para o regime em que
qual
j j
,
k
k
njk 1,
no
fase:
1
1
kj = e(k +ik )j , kj = ei e(k ik )j .
2
2
(7.78)
e(k +ik ) =
p
2
1 + e2 eik + ie(/2) i .
(7.79)
1
1
kj = e(k +ik +i)j , kj = ei e(k ik i)j ,
2
2
(7.80)
e(k +ik ) =
p
2
1 + e2 e+ik + ie(/2) i .
(7.81)
k , excluindo
p
ek = |cos (k k )| 1 + e2
q
+ (1 + e2 ) cos2 (k k ) 1 ,
que fornece o nmero de partculas criadas pelo tempo
179
t j/m,
(7.82)
Na banda de instabilidade
esteja na banda
|tg (k k )| e(/2) ,
k com k dada
2
que g/m:
em que a dependncia de
do universo e usando
acima e
(7.83)
/m
p
2g 2
g
2
2
2
k =
+
ln
+ 4 ln 2 + 1
dt k + g (t)
m
2
m2
0
m 2
k2
+ 4 ln 2 + 1 .
= 4 q + 2 ln 4q
4 qm
k
Com isso, tendo a dependncia em
de
k k ,
(7.84)
plicando o termo :
arg
para
2 1,
1 + i2
2
0, 9822 ,
(7.85)
que fornece:
k2
k k 4 q + 2 (ln q + 9, 474) ,
8 qm
para obtermos
k .
(7.86)
q = (64/4)
esses resultados coincidem, ou seja, suas bandas de instabilidade (ou estabilidade) coincidem (pelo menos em primeira aproximao), como podemos ver na Figura 7.4 retirada
de [46].
180
squeezing.
que anlogo ao feito no caso esttico, sendo que utilizaremos a mesma parametrizao
dos coecientes de Bogoliubov e
k2 = k 2 + m2 + g 2 2 sen2 (mt).
181
Figura 7.5: No quadro da esquerda temos a simulao feita por ns para o logaritmo
do nmero de partculas criadas pr-aquecimento, sem expanso do universo no regime
de ressonncia larga.
g > m.
feita em que a criao de partculas ocorre entre plats, como uma funo degrau no
tempo. No grco colocamos tambm a funo WKB para mostrarmos que a criao de
partculas ocorre exatamente nos instantes em que a adiabaticidade violada. No quadro
da direita da mesma gura mostramos a simulao do mesmo sistema feita na referncia
[46], que exibe maior preciso em seus resultados.
Como vimos anteriormente, no caso do pr-aquecimento o nmero de partculas tambm cresce em geral, mas pode decrescer em alguns ciclos. Esse resultado aparece naturalmente no formalismo de estados
squeezed
(soluo) tem antes do espalhamento, uma vez que esses estados a serem espalhados no
so estados puros, mas sim estados
squeezed.
sejam grandes.
182
g & 2m
H
m
1/4
,
(7.87)
em que, como vimos, durante a primeira oscilao do inaton sua amplitude dada por
(3.52), que fornece um parmetro de Hubble da ordem de
um pr-aquecimento eciente,
0, 1m.
> m/g .
H 1/4 , devido
q0 & 10
q0
k + k2 Xk = 0 ,
X
(7.88)
com:
k2 =
k2
+ g 2 2 sen2 (mt) + ,
a2 (t)
(7.89)
em que:
m2
2
a
3 a
R .
a
2 a
Essa equao tem a mesma forma da equao (7.49), uma vez que o termo
(7.90)
muito
a
/a m2 e dessa forma podemos desconsiderar o termo . Contudo,
temos que considerar nesse caso a dependncia em a (t) com cuidado.
g 2 2
(k/a)2
Ak =
+
2q
,
q
=
,
m2
4m2
em que
z = mt.
redshift,
(7.91)
183
k/a.
2/3
a (t) t
larga (q 1
q t2 N 1 ,
uma
Portanto, se tivermos o
em apenas algumas oscilaes, fazendo com que o conceito da anlise das bandas de
estabilidade/instabilidade do grco de Mathieu no possa ser aplicado.
Mesmo com
1
n (t) =
(2a)3
d3 k nk (t) ,
(7.92)
sendo que a a matriz dos coecientes de Bogoliubov a mesma que em (7.70) e, dessa
forma,
nk (t)
Podemos diferenciar, para o caso com expanso do universo, a fase (7.75) acumulada
entre dois zeros da oscilao do inaton:
tj
kj
g
2g 2
+
ln
+ 4 ln 2 + 1
k dt
m
2
m2
tj1
gmpl
+ O 2 .
5mj
q0
(7.93)
q
k w
.
2N 2
(7.94)
Ou seja, para os momentos importantes para o sistema, essa variao muito maior que
primeiras:
estocstica
q 1/4
' ,
2
(7.95)
j
total
,
em funo
j
da fase aleatria k e, assim, considerando a fase total aleatria, de (7.74), podemos
vericar que o nmero de partculas criadas dado por:
184
nj+1
k
njk
q
2
(0) 2
(/2)2j
1 + 2 k 2sene
1 + ej njk ,
(7.96)
sendo que esse nmero de partculas pode aumentar ou diminuir devido fase aleatria.
J havamos observado esse comportamento no caso sem expanso do universo, devido
ao formalismo
squeezed,
Figura 7.6: Figura retirada de [46] que mostra o logaritmo do nmero de partculas criadas
durante o pr-aquecimento considerando a expanso do universo, devido ressonncia
estocstica.
Com isso, a ressonncia estocstica mais ampla e mais estvel que a ressonncia
paramtrica larga vista anteriormente, fazendo com que seja menos sensvel a mecanismos
responsveis pelo m desse regime, fazendo com que a criao de partculas seja mais
eciente.
O mecanismo de ressonncia estocstica acaba aps completadas
Nestocastica oscilaes,
backreaction.
q . 103 ,
185
backreaction
backreaction
somente uma boa aproximao, para seus estgios iniciais, em que a criao de partculas mais signicativa, sendo necessria outra anlise, considerando
backreaction,
desse
segundo estgio do pr-aquecimento. Dessa forma, nossa anlise vlida para os estgios
iniciais do pr-aquecimento. Para ver mais sobre o estudo do pr-aquecimento considerando efeitos de
186
Captulo 8
Concluso
Nessa dissertao analisamos efeitos associados a utuao do vcuo quntico, especicamente a possibilidade de se fazer uma analogia entre os efeitos Schwinger esttico e
a inao e entre o efeito Schwinger oscilatrio e o pr-aquecimento, como uma forma
de possibilitar a vericao desses efeitos qunticos de criao de partculas no universo
jovem.
O efeito Schwinger, que consiste em um sistema quntico submetido a um campo externo eletromagntico clssico, descrito com um oscilador paramtrico com dependncia
temporal proporcional a
t2 .
geanas efetivas, que foi reproduzido em linguagem mais moderna no Apndice A dessa
dissertao; via teoria de espalhamento, com o intuito de obteno dos limites observacionais do efeito e via transformadas de Bogoliubov para a obteno do nmero de partculas
criadas. Atravs desse ltimo mtodo, foi calculado o nmero de partculas criadas pela
aproximao semi-clssica, ou adiabtica, em que as partculas so criadas entre estados
iniciais e nais adiabticos.
Mostramos que possvel obtermos a mesma descrio para o perodo inacionrio.
Durante esse perodo o universo se expande rapidamente e isso faz com que surjam perturbaes do vcuo de origem quntica. Essas perturbaes so a criao de partculas
que inomogeneizam o universo. Esse efeito de criao de partculas na inao devido
expanso do universo pode ser escrita, somando uma derivada total na ao de EinsteinHilbert que descreve o inaton em um espao curvo que se expande exponencialmente,
como a ao do inaton quntico sujeito a um potencial externo gravitacional, assim
como descrito o efeito Schwinger. A dependncia temporal da freqncia do oscilador
paramtrico que descreve a inao difere da do efeito Schwinger esttico apresentando
uma dependncia proporcional a
1/ 2 ,
fsica. Dessa forma, possvel aplicar o mesmo mtodo que no caso do efeito Schwinger
esttico para a obteno do nmero de partculas criadas.
No caso inacionrio, o estado inicial o vcuo de Bunch-Davies, que emerge naturalmente da validade da aproximao adiabtica no limite de comprimentos de onda
187
menores que o raio de Hubble. Contudo, para comprimentos de onda maiores que o raio
de Hubble, a aproximao WKB no vlida e no possvel denir um estado adiab-
out ).
tico nal (
ento, calcular o nmero de partculas criadas na inao pelo mesmo mtodo feito no
efeito Schwinger esttico.
Esse resultado importante uma vez que como impossvel termos um experimento
que refaa o perodo inacionrio, ao vermos a analogia entre os dois fenmenos, temos que
a deteco experimental do efeito Schwinger esttico seria uma corroborao da existncia
desse mecanismo de criao de partculas na inao.
Ecrit
Hill, para o caso do campo escalar complexo, que pode ser reduzida a uma equao de
Mathieu considerando a condio de ortogonalidade
k3 A3 = 0.
Se modelarmos o efeito
Schwinger oscilatrio com um campo escalar (no complexo), podemos obter uma descrio do efeito por uma equao de Mathieu, somando uma derivada total na Lagrangeana
que descreve o efeito, eliminando o termo linear no potencial externo.
Vimos que a condio de criao no regime no-perturbativo, obtida via teoria de espalhamento, coincide com o regime de criao de ressonncia larga, que o mais eciente.
Para resolvermos essa equao de Mathieu do efeito Schwinger oscilatrio, foi adotado um
mtodo analtico em que, nos instantes em que o campo eletromagntico externo passa
pelo mnimo de seu potencial, podemos escrever nossa equao que descreve o fenmeno
como em presena de um potencial parablico, anlogo ao caso esttico. Aplicamos, assim, o mtodo semi-clssico para a obteno da criao de partculas entre cada um desses
instantes em que o campo nulo e os estados so adiabticos. A criao de partculas
ocorre em "degraus", sendo que a criao nos instantes anteriores amplicam as prximas
188
de partculas .
Mostramos que esse efeito anlogo criao de partculas no pr-aquecimento, que
o estgio inicial do reaquecimento, perodo no qual quase todas as partculas elementares
existentes hoje (ou suas precursoras) foram criadas. No reaquecimento, que ocorre aps
o perodo inacionrio, o inaton que atingiu o fundo de seu potencial passa a oscilar
em torno dele. Esse perodo pode ser descrito como um campo escalar na presena do
inaton oscilante, em que se considerarmos o caso em que no h expanso do universo e
no consideramos efeito de
Mathieu, da mesma forma que o efeito Schwinger oscilatrio. Dessa forma, novamente foi
possvel fazer a analogia entre o efeito eletromagntico e o gravitacional, que apresentam
a mesma dinmica.
Focamos nossa anlise ao perodo em que a criao de partculas mais eciente no
pr-aquecimento, que ocorre quando a ressonncia paramtrica larga, assim como no
efeito Schwinger esttico. Utilizamos o mesmo mtodo analtico para a resoluo desse
sistema, em que a criao de partculas ocorre entre os instantes em que o inaton passa
pelo mnimo de seu potencial, descrito tambm como um oscilador paramtrico com potencial parablico. O mtodo semi-clssico foi utilizado para obter a criao de partculas
em "degraus", como no efeito Schwinger oscilatrio, em que a mesma amplicao foi
observada.
Em ambos os casos o nmero de partculas cresce em geral, apesar de que pode decrescer em alguns perodos, dependendo da fase inicial do estado. Contudo, se no caso do
pr-aquecimento for considerada a expanso do universo, a mesma anlise pelo mtodo
analtico para a criao de partculas pode ser feita. Esse sistema descreve uma oscilao
estocstica, em que a fase inicial aleatria, ento o crescimento/decrescimento em cada
"degrau" tambm aleatrio, apesar de em geral crescer.
Uma vez que esse efeitos so anlogos, novamente a vericao experimental do efeito
Schwinger oscilatrio seria uma importante vericao da validade da hiptese do mecanismo de criao de partculas no pr-aquecimento. Contudo, apesar de campos eltricos
oscilatrios serem mais fceis de serem obtido experimentalmente, a comprovao do efeito
eletromagntico ainda no foi possvel.
Mostramos que uma esperana no sentido da vericao desse efeito est no efeito
anlogo chamado efeito Casimir dinmico, uma vez que esse efeito oscilatrio, um anlogo
ao conhecido efeito Casimir, que consiste na criao de partculas do vcuo pela oscilao
da(s) parede(s) de um capacitor ou se de uma cavidade pode ser descrito como um campo
na presena de um potencial externo, assim como os efeito Schwinger oscilatrio e o praquecimento. Um experimento baseado nesse efeito, o
deve nos fornecer resultados em 2010.
189
MIR,
Referncias Bibliogrcas
[1] A.
Zur
Einstein,
Quantentheorie
der
Strahlung
(Alemanha,
1917),
http://nausikaa2.rz-berlin.mpg.de/di...g/&pn=2&ws=1.5.
[2] A. Einstein, em
London 1953).
[3] E. Hubble, Proc. Nat. Acad. Sci.
[9] http://lambda.gsfc.nasa.gov/product/cobe/.
[10] A. H. Guth, Phys. Rev.
[13] A. G. Riess
[14] A. G. Riess
[15] A. H. Jae
[16] H. B. Callen,
1985).
[17] http://www.astro.iag.usp.br/~ronaldo/.
[18] W. L. Freedman
(Wiley,
et al.,
170,
Astrophys. J. Suppl.
377 (2007),
astro-
ph/0603449.
[24] WMAP, E. Komatsu
[26] http://www.sdss.org/.
[27] J. Yadav, S. Bharadwaj, B. Pandey e T. R. Seshadri, Mon. Not. Roy. Astron. Soc.
[30] S. Weinberg,
Cosmology
[31] V. Mukhanov,
(Wiley, 1972).
USA, 2005).
[32] S. Dodelson,
Modern Cosmology
Pitrou,
T.
S.
Pereira,
and
J.-P.
Uzan,
JCAP
0804,
004
(2008),
astro-
ph/0801.3596.
[39] A. D. Linde, Phys. Lett.
191
48, 1437
B117, 29 (1982).
B127, 30 (1983).
73,
3195 (1994),
hep-th/9405187.
[46] L. Kofman, A. D. Linde e A. A. Starobinsky, Phys. Rev.
[47] J. M. Bardeen, Phys. Rev.
215,
203
(1992).
2000).
[52] J. M. Bardeen, P. J. Steinhardt and M. S. Turner, Phys. Rev.
[53] J. Martin and D. J. Schwarz, Phys. Rev.
D61,
ph/9912510.
[60] A. Riotto, (2002), 0210162v1.
[61] R. Arnowitt, S. Deser, and C. W. Misner, (1962), gr-qc/0405109; em:
192
Gravitation:
(Cambridge Univ.
103516 (2005),
gr-qc/0510103.
[66] L. A. Kofman, astro- ph/9605155.
[67] L.F. Abbott e D.D. Harari, Nucl. Phys.
[71] V. Weisskopf, The electrodynamics of the vacuum based on the quantum theory of
the electron. In *Miller, A.I.: Early quantum electrodynamics* 206-226.
[72] J. Schwinger, Phys. Rev.
1980).
[76] A. Zee,
2003).
[77] S. Weinberg,
2000).
[78] G. T. Moore, J. Math. Phys.
3 (2007).
193
[83] C. Braggio
72,
Jae, J. Phys. A
ph/0106045.
[99] T. Damour,
Mecnica Quntica
34 (1), 58 (1958).
[109] J. Blaizot e G. Ripka, Quantum Theory of Finite Systems (The MIT Press, USA,
1985).
[110] K. Srinivasan e T. Padmanabhan, (1998), gr-qc/9807064v1.
[111] M. F. Atiyah e I. G. MacDonald,
Press, 1969).
[112] S. P. Kim e F. C. Khanna, (2003), quant-ph/0308053v1.
77, 32 (1987).
77, 53 (1988).
148, 1 (1988);
9, 1153
(1994);
[119] P.A. Henning and H. Umezawa, Nucl. Phys. B
[120] J. Schwinger, Phys. Rev.
[122] http://xfel.desy.de/.
[123] N.B. Narozhnyi and A.I. Nikishov, Yad. Fiz.
11,
[125] A. Munier, J. R. Burgan, M. Feix e E. Fijalkow. J. Math. Phys. 22, 1219 (1980).
[126] J. Schwinger, Proc. Natl. Acad. Sci.
[127] A. Agnesi
[128] http://www.extreme-light-infrastructure.eu/.
[129] http://www.gsi.de/informationen/wti/library/06.pdf.
[130] R. Schtzhold, H. Gies e G. Dunne, Phys. Rev. Lett.
B559, 12 (2003).
[133] N. W. McLachlan, Theory and application of Mathieu functions (Dover Publications, USA,1964).
[134] S. Khlebnikov e I. Tkachev, Phys. Lett.
B390, 80 (1977).
39, 6261
(2006).
[145] W. G. Unruh, Phys. Rev. D
181 (1969).
15th Advanced ICFA Beam Dynamics Workshop, Monterey, CA, 49 January 1998,
World Scientic, Singapore, 1998, p. 564.
196
[152] R. Runi , in Proceedings of the 34th COSPAR Scientic Assembly - Houston, TX,
(Elsevier, USA, 2003).
[153] V. S. Popov, Phys. Lett. A
64,
013808 (2001),
66,
033811 (2002),
quant-ph/0012040.
[156] M. Crocce, D. A. R. Dalvit e F. D. Mazzitelli, Phys. Rev. A.
quant-ph/0205104.
[157] S. K. Lamoreaux, Phys. Rev. Lett.
[158] S. K. Lamoreaux, Phys. Rev. Lett
78, 5 (1997).
81, 5475 (1997).
et al., J. Phys.:
Conference Series
197
Apndice A
Dinmica via formalismo da
Lagrangeana efetiva (ou da ao
efetiva)
Um campo clssico externo pode produzir partculas (em um campo quntico) devido
a efeitos qunticos do vcuo.
contm correes qunticas. Entre essas correes temos efeitos de absoro e efeitos de
disperso.
efetiva, em que sua parte real descreve efeitos de disperso e sua parte imaginria efeitos
de absoro. Assim, o sistema de um campo quntico (escalar ou ferminico) na presena
de um campo clssico eltrico pode ser descrito em termos da Lagrangeana efetiva, sendo
que a parte imaginria da Lagrangeana efetiva nos fornece a criao de partculas, como
vamos ver.
Vamos aqui calcular o efeito Schwinger no formalismo da Lagrangeana efetiva. Como
o campo magntico no cria partculas, em nossa descrio iremos apenas considerar
um campo eltrico uniforme. Vamos calcular a Lagrangeana efetiva do problema e, em
seguida, a probabilidade por unidade de volume e tempo de no emitir pares, para bsons
e frmions.
Consideremos a densidade Lagrangeana descrita em 5.3 com o potencial vetor
A ,
para o campo escalar complexo. A teoria quntica completa do sistema pode ser descrita
pelo
kernel :
K=
DA DD exp i Ldtdx ,
(A.1)
E
0
0
G x, x = hx| G x =
198
dsK (x, x, s) ,
(A.2)
kernel
Wef f ,
exp (iW Sef f ) = exp i dtdxLef f
4
= DD exp i d xL (, A ) .
(A.3)
tragetria sobre
no
difcil para potenciais eletromagnticos arbitrrios. Assim, para possibilitar nossa tarefa,
limitamos nosso caso a um campo puramente eltrico e esttico, em que o potencial tem
dependncia temporal,
A = A (t).
exp i
onde
d4 xLef f (A ) = DD exp i d4 x [D D m2 ] ,
(A.4)
D = + ieb A .
Fazendo a integral por partes do lado direito de (A.4), ou seja, a ao, obtemos:
1
4
dado por
(A.5)
= D D + m2 .
D
1
h
i
h
i
det D
= exp Tr ln D = exp hx, t| ln D |x, ti ,
|x, ti,
(A.6)
balho original.
|x, ti.
i hx, t| ln D
Podemos reescrever
=
ln D
0
Lef f
Lef f =
h
i
ds
i s ,
exp i D
s
199
(A.7)
0+
conhecido
ds i(m2 i)s
e
K (x, x, s) ,
s
Lef f = i
0
em que
K (x, x, s)
kernel
(A.8)
dado por
Convm salientar que as condies de contorno esto implcitas em (A.8), uma vez
[0, ]
kernel
ao invs de
[, ].
G x, x
=i
(A.9)
0
Essa funo de Green tambm tem as mesmas condies de contorno da integrao no
intervalo
[0, ],
(0, 0, 0, Et),
A = (0, 0, 0, A (t)) =
para
Podemos escrever
do
kernel
,
H
P0 P3
eE
0 P3
) eis[P02 P2 e2 E 2 t2 ] e(i PeE
) |xi ,
(A.10)
kernel
K (x, x, s) =
eE
2(2)2
d h| eis(P0 e
2
1
1
2 senh(eEs)
2E2X 2
0
) |i
(A.11)
Lbef f
1
=
16
ds im2 s
eb E
e
.
2
s
senh (eb Es)
kernel
(A.12)
f = (i e A )2
H
P0 P3
P0 P3
2
2
2 2 2 e
P0 P3
eE
0 P3
) eis[P02 P2 e2 E 2 t2 ] e(i PeE
) |xi ,
200
(A.13)
tr exp
ise
F
2
= 4 cosh (seE).
feito para bsons e fazendo a analogia com o oscilador harmnico, temos que o
kernel
(A.14)
Lfef f
eE
=
8
ds im2 s
e
coth (seE) .
s2
(A.15)
Sef f
2ImSef f
P0 = e
(A.16)
Como a probabilidade acima pode ser escrita em termos de uma outra probabilidade
W, P0 = eW , de acordo com (A.3) podemos escrever = 2ImLef f , em que a probabilidade W por unidade de volume e de tempo. Logo, provamos aqui, como j havamos
armado anteriormente, que a parte imaginria da Lagrangeana efetiva que contabiliza a
criao de partculas.
Para calcularmos a parte imaginria das Lagrangeanas efetivas acima, temos primeiramente que fazer a integral no tempo prprio em (A.12) e (A.15).
tm singularidades em
sn = ni/eE ,
com
n = . . . 1, 0, 1, . . ..Escolhendo
n=0
o contorno de
n+1
(b, f )
(1)
1
2ImLef f
=
8 n=1 s2n
em que o termo em
Seus integrandos
exp
nm2
(b, f )
,
e
E
(b, f )
(b, f )
Lef f
0
quando
E 0.
(A.17)
Com isso,
E 2 X (1)n+1
nm2
b =
exp
,
2 2 n=1
n2
|eE|
(A.18)
E 2 X 1
nm2
F = 2
exp
.
n=1 n2
|eE|
(A.19)
e, para frmions,
201
no emitir pares.
202
Apndice B
Integrao complexa
Para fazermos essa integral necessrio fazer uma anlise de suas caractersticas.
expresso em
m/0 ,
x.
steepest-descent
prximo e ser utilizado aqui, uma vez que na vizinhana do ponto de interesse temos
plos e
branch points.
dos zeros de
que as partes
1/2
eE0
cos 0 t = i m2 + p2
,0 Rex0 /2 , Imx0 > 0 .
p3
0
Assumimos que
p3 > 0,
|c|2
(B.1)
p3 .
2 .
c1 ,
e1 .
c,
203
grao sejam
+ i
+ i,
com
real e arbitrrio.
Para obter o melhor contorno de integrao vemos na Figura B.1 que o caminho deve
evitar
x0
1 e 2 . Sendo c1 e c2
c2 =
c1 , ento c = 2iImc1 , em que:
c1 w exp
2eE
2i x0
0
x0
e outra ao redor de
x0
, identicados na
2 #1/2
eE0
m2 + p2 + p3
cos 0 t
"
dx0
1/2
2 2i
dx
2
2 1/2 eE
x3/2 .
exp
2i m + p
senx0
2x
3
|0
{z
}
dy
exp y 3/2 ,
2y
(B.2)
e1
u = y 3/2 ,
2
3
du u
e
2u
na Figura B.1b.
= 23 i.
204
Assim,
dy
e 1 2y
exp y 3/2 =
Apndice C
Funes de Hankel
Apresentamos aqui as expanses assintticas das funes de Hankel de primeira e segunda
x k ,
x :
espcies, sendo
Para
com
k>0
(, 0).
2 i(x 2 4 )
,
e
x
r
2 i(x 2 4 ) .
(2)
H (x)
e
x
H(1)
Para
(x)
(C.1)
(C.2)
x 0:
21 ()
x ,
(x) i
(3/2)
21 ()
x .
H(2) (x) i
(3/2)
H(1)
205
(C.3)
(C.4)